Results 41 to 50 of about 2,651 (92)
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
The universal-algebraic approach has proved a powerful tool in the study of the complexity of CSPs. This approach has previously been applied to the study of CSPs with finite or (infinite) omega-categorical templates, and relies on two facts.
Bodirsky, Manuel +2 more
core +2 more sources
ABSTRACT In this article, we propose a novel numerical framework for the non‐isothermal Cahn–Hilliard–Navier–Stokes two‐phase flow system, which couples the incompressible Navier–Stokes equations, the Cahn–Hilliard phase‐field equation, and the heat transport equation to capture temperature‐dependent two‐phase flow dynamics.
Guang‐An Zou +4 more
wiley +1 more source
Algebras of distributions for binary semi-isolating formulas of a complete theory
We define a class of algebras describing links of binary semi-isolating formulas on a set of realizations for a family of 1-types of a complete theory. These algebras include algebras of isolating formulas considered before. We prove that a set of labels for binary semi-isolating formulas on a set of realizations for a 1-type forms a monoid of a ...
openaire +2 more sources
Different Methods of Embodied Cognition in Pedagogy and its Effectiveness in Student Learning [PDF]
The Mathematical Ideas Analysis hypothesizes that abstract mathematical reasoning is unconsciously organized and integrated with sensory-motor experience. Basic research testing movement, language, and perception during math problem solving supports this
Durkee, Cassandra
core +1 more source
A Guide to Bayesian Optimization in Bioprocess Engineering
ABSTRACT Bayesian optimization has become widely popular across various experimental sciences due to its favorable attributes: it can handle noisy data, perform well with relatively small data sets, and provide adaptive suggestions for sequential experimentation.
Maximilian Siska +5 more
wiley +1 more source
Ray class fields of global function fields with many rational places
A general type of ray class fields of global function fields is investigated. The systematic computation of their genera leads to new examples of curves over finite fields with comparatively many rational points.Comment: Latex2e, 27 pages, 20 tables ...
Auer, Roland
core +6 more sources
Holographic microlithography enables the fabrication of fully connected 3D liquid crystalline structures in a single exposure. The process maintains precise control over the director orientation within the entire object, preventing local director distortions typically observed in sequential printing.
Lovish Gulati +8 more
wiley +1 more source
Spin dynamics in lattices of spinor atoms with quadratic Zeeman effect
A lattice system of spinor atoms or molecules experiencing quadratic Zeeman effect is considered. This can be an optical lattice with sufficiently deep wells at lattice sites, so that the system is in an isolating state, where atoms are well localized ...
Yukalov, V. I., Yukalova, E. P.
core +1 more source
Assembly of constructible factorization algebras
Abstract We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras. Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that constructible factorization algebras form a sheaf of symmetric monoidal ∞$\infty$‐categories.
Eilind Karlsson +2 more
wiley +1 more source
Modeling Interactions and Dynamic Saturation Processes in Karst Media
Abstract The simulation of karst aquifers is highly challenging due to complex conduit‐matrix interactions. This study utilizes KarstFOAM, a high‐fidelity, physics‐based numerical model, to address these challenges. KarstFOAM integrates (a) a unified single‐domain Forchheimer–Darcy–Brinkman–Stokes (FDBS) formulation that transitions naturally across ...
Fuyun Huang +5 more
wiley +1 more source

