| Publication | Date of Publication | Type |
|---|
On buoyancy‐driven viscous incompressible flows with various types of boundary conditions
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 2024-02-08 | Paper |
Regularity criteria for the Navier–Stokes equations in terms of the velocity direction and the flow of energy
Mathematical Methods in the Applied Sciences | 2023-12-20 | Paper |
Navier-Stokes equations: regularity criteria in terms of the derivatives of several fundamental quantities along the streamlines -- the case of a bounded domain
Nonlinearity | 2022-10-19 | Paper |
Propagation complete encodings of smooth DNNF theories
Constraints | 2022-09-29 | Paper |
The local regularity conditions for the Navier-Stokes equations via one directional derivative of the velocity
Lithuanian Mathematical Journal | 2022-09-12 | Paper |
Learning a propagation complete formula
| 2022-08-30 | Paper |
Unique key Horn functions
Theoretical Computer Science | 2022-06-13 | Paper |
Approximating minimum representations of key Horn functions
SIAM Journal on Computing | 2022-03-11 | Paper |
Local in time existence of solution of the Navier-Stokes equations with various types of boundary conditions
Journal of Elliptic and Parabolic Equations | 2021-12-16 | Paper |
Bounds on the size of PC and URC formulas
Journal of Artificial Intelligence Research | 2021-01-22 | Paper |
Generating clause sequences of a CNF formula
Theoretical Computer Science | 2021-01-19 | Paper |
Phase transition in matched formulas and a heuristic for biclique satisfiability
| 2020-10-22 | Paper |
A pressure associated with a weak solution to the Navier-Stokes equations with Navier's boundary conditions
Journal of Mathematical Fluid Mechanics | 2020-06-08 | Paper |
A lower bound on CNF encodings of the at-most-one constraint
Theoretical Computer Science | 2019-02-28 | Paper |
The application of anisotropic troisi inequalities to the conditional regularity for the Navier-Stokes equations
Nonlinearity | 2018-07-23 | Paper |
Small perturbations of initial conditions of solutions of the Navier-Stokes equations in the \(L^3\)-norm and applications
Advances in Mathematical Fluid Mechanics | 2017-11-22 | Paper |
A lower bound on CNF encodings of the at-most-one constraint
Lecture Notes in Computer Science | 2017-11-15 | Paper |
Regularity criterion for solutions to the Navier-Stokes equations in the whole 3D space based on two vorticity components
Journal of Mathematical Analysis and Applications | 2017-11-02 | Paper |
On robustness of a strong solution to the Navier-Stokes equations with Navier's boundary conditions in the \(L^3\)-norm
Nonlinearity | 2017-05-24 | Paper |
Hydras: complexity on general graphs and a subclass of trees
Theoretical Computer Science | 2017-02-06 | Paper |
Generating models of a matched formula with a polynomial delay
Journal of Artificial Intelligence Research | 2016-07-05 | Paper |
Solutions to the Navier-Stokes equations with mixed boundary conditions in two-dimensional bounded domains
Mathematische Nachrichten | 2016-03-08 | Paper |
Complexity issues related to propagation completeness
Artificial Intelligence | 2015-06-26 | Paper |
On \(L^3\)-stability of strong solutions of the Navier-Stokes equations with the Navier-type boundary conditions
Journal of Mathematical Analysis and Applications | 2015-02-24 | Paper |
On minimum representations of matched formulas
Journal of Artificial Intelligence Research | 2015-01-14 | Paper |
Boolean functions with long prime implicants
Information Processing Letters | 2014-04-14 | Paper |
A decomposition method for CNF minimality proofs
Theoretical Computer Science | 2014-01-13 | Paper |
A subclass of Horn CNFs optimally compressible in polynomial time
Annals of Mathematics and Artificial Intelligence | 2012-12-07 | Paper |
Solutions of the Navier-Stokes equations with various types of boundary conditions
Archiv der Mathematik | 2012-06-26 | Paper |
Properties of SLUR Formulae
SOFSEM 2012: Theory and Practice of Computer Science | 2012-06-15 | Paper |
On perturbations of solutions to the Navier-Stokes equations with large initial data and their dynamics
Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods | 2012-06-09 | Paper |
Boolean functions with a simple certificate for CNF complexity
Discrete Applied Mathematics | 2012-05-04 | Paper |
Disjoint essential sets of implicates of a CQ Horn function
Annals of Mathematics and Artificial Intelligence | 2012-03-23 | Paper |
On the Navier-Stokes flows for heat-conducting fluids with mixed boundary conditions
Journal of Mathematical Analysis and Applications | 2012-03-16 | Paper |
Analysing DNA microarray data using Boolean techniques
Annals of Operations Research | 2011-11-17 | Paper |
Basic properties of solution of the non-steady Navier-Stokes equations with mixed boundary conditions in a bounded domain
Annali dell'Università di Ferrara. Sezione VII. Scienze Matematiche | 2011-02-19 | Paper |
The time-periodic solutions of the Navier-Stokes equations with mixed boundary conditions
Discrete and Continuous Dynamical Systems. Series S | 2010-07-23 | Paper |
Exclusive and essential sets of implicates of Boolean functions
Discrete Applied Mathematics | 2010-05-05 | Paper |
Recognition of interval Boolean functions
Annals of Mathematics and Artificial Intelligence | 2009-07-13 | Paper |
scientific article; zbMATH DE number 5508337 (Why is no real title available?)
| 2009-02-16 | Paper |
scientific article; zbMATH DE number 5174795 (Why is no real title available?)
| 2007-07-26 | Paper |
Navier-Stokes equation with the generalized impermeability boundary conditions and initial data in domains of powers of the Stokes operator
| 2007-05-14 | Paper |
scientific article; zbMATH DE number 5142039 (Why is no real title available?)
| 2007-04-12 | Paper |
A note on the generalized energy inequality in the Navier-Stokes equations.
Applications of Mathematics | 2006-11-21 | Paper |
Regularity of pressure in the neighbourhood of regular points of weak solutions of the Navier-Stokes equations.
Applications of Mathematics | 2006-11-21 | Paper |
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Discrete Applied Mathematics | 2005-09-02 | Paper |
On the size of maximum renamable Horn sub-CNF
Discrete Applied Mathematics | 2005-09-02 | Paper |
scientific article; zbMATH DE number 2119433 (Why is no real title available?)
| 2004-11-26 | Paper |
A note on coupling of velocity components in the Navier-Stokes equations
ZAMM | 2004-03-15 | Paper |
scientific article; zbMATH DE number 2020332 (Why is no real title available?)
| 2002-01-01 | Paper |
An existence theorem for the Boussinesq equations with non-Dirichlet boundary conditions.
Applications of Mathematics | 2000-09-14 | Paper |
scientific article; zbMATH DE number 1405478 (Why is no real title available?)
| 2000-08-03 | Paper |
Local solutions to the Navier-Stokes equations with mixed boundary conditions
Acta Applicandae Mathematicae | 1999-11-11 | Paper |
scientific article; zbMATH DE number 1183012 (Why is no real title available?)
| 1999-07-07 | Paper |
scientific article; zbMATH DE number 1056944 (Why is no real title available?)
| 1998-11-01 | Paper |
scientific article; zbMATH DE number 888843 (Why is no real title available?)
| 1996-10-24 | Paper |
scientific article; zbMATH DE number 4036169 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3981198 (Why is no real title available?)
| 1986-01-01 | Paper |
