Results 51 to 60 of about 290 (150)
Interval Arithmetic in Cylindrical Algebraic Decomposition
Journal of Symbolic Computation, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
George E. Collins +2 more
openaire +2 more sources
Evolution and Conceptual Insights into the Geometric Phase of Light: A Comprehensive Review
Advanced Photonics Research, Volume 7, Issue 6, June 2026.This review presents a unified account of the geometric phase of light, linking its fundamental principles to diverse manifestations in polarization, spatial, and vector modes. By connecting theoretical frameworks with key experimental realizations, it reveals a coherent physical picture that deepens understanding and stimulates new directions in ...
A. Srinivasa Rao
wiley +1 more source
Characterizing relativized cylindric algebras
, 1991 We obtain the class NA of noncommutative cylindric algebras from the class CA of cylindric algebras by weakening the axiom C4 of commutativity of cylindrifications (to C ∗ 4, see below, and we obtain NCA from CA by omitting C4 completely).
Richard J. Thompson
core
Boolean reducts of relation and cylindric algebras and the cube problem
, 1987 It is shown that not every Boolean algebra is the Boolean part of a nondiscrete relation or cylindric algebra, but every nonatomless Boolean algebra is. Solutions of Tarski’s Cube Problem for nondiscrete relation and cylindric algebras are given.
H. Andréka
core +1 more source
A ribbon graph derivation of the algebra of functional renormalization for random multi-matrices with multi-trace interactions. [PDF]
Lett Math Phys, 2022 Pérez-Sánchez CI.
europepmc +1 more source
AIChE Journal, Volume 72, Issue 6, June 2026.Abstract This article demonstrates the integration of in‐line mass spectrometry as a process analytical technology (PAT) tool with model‐based soft sensors in a continuous filtration‐drying carousel system for solid–liquid separation (SLS) of crystal slurries.
Inyoung Hur +3 more
wiley +1 more source
A formalization of logic in diagonal-free cylindric algebras
, 2012 We exhibit a quasi-projectional relation algebra reduct of any diagonal-free cylindric algebra of dimension 3 having sufficiently strong projection and equality parameters.
Ylvisaker, Andrew +1 more
core +1 more source
Engineering Reports, Volume 8, Issue 6, June 2026.Non‐Newtonian blood flow through multiple tilted ellipsoidal stenoses is numerically investigated using the DeKee‐Turcotte‐Papanastasiou model. The results reveal asymmetric velocity fields, elevated wall shear stress, significant pressure drops, and shear‐dependent thermal effects, highlighting the critical hemodynamic risks associated with eccentric ...
Azad Hussain, Huma Naz
wiley +1 more source
Engineering Reports, Volume 8, Issue 6, June 2026.This study investigates a nonlinear Navier‐Stokes‐type model for elastic cylindrical vessels. Exact solutions are derived via the Bäcklund transformation and the ϕ6$$ {\phi}^6 $$‐expansion method, and dynamical behaviors are analyzed using bifurcation and chaos tools, revealing diverse wave structures and parameter‐dependent propagation characteristics.
Sheikh Zain Majid +2 more
wiley +1 more source
International Journal for Numerical Methods in Fluids, Volume 98, Issue 6, Page 709-730, June 2026.We introduce an efficient open‐source numerical framework for the automated search for the placements of injection and production wells in hot fracture‐controlled reservoirs that sustainably optimize geothermal energy production. We model the reservoirs as discrete fracture networks in 3D. The fluid flow and heat transport in the reservoirs are modeled
Ondřej Pártl, Ernesto Meneses Rioseco
wiley +1 more source