Results 41 to 50 of about 290 (150)
Galois theory for cylindric algebras and its applications
, 1984 A Galois correspondence between cylindric set algebras and permutation groups is presented in this paper. Moreover, the Galois connection is used to help establish two important algebraic properties for certain classes of finite-dimensional cylindric ...
Stephen D. Comer
core +1 more source
Influence of Arc Faults on Pressure Production Characteristics in AC Turret of UHV Transformers
High Voltage, EarlyView.ABSTRACT The overpressure caused by arc fault in the oil tank can lead to a transformer explosion. Since the AC turret of transformers serves to connect the transformer windings with the AC busbar, the arc current can be extremely high if an earth fault arc occurs leading to potentially hazardous pressure.
Yuhang Li +4 more
wiley +1 more source
Progressively Projected Newton's Method
Computer Graphics Forum, EarlyView.Abstract Newton's Method is widely used to find the solution of complex non‐linear simulation problems. To guarantee a descent direction, it is common practice to clamp the negative eigenvalues of each element Hessian prior to assembly—a strategy known as Projected Newton (PN)—but this perturbation often hinders convergence.
J. A. Fernández‐Fernández +2 more
wiley +1 more source
Survey on differential estimators for 3d point clouds
Computer Graphics Forum, EarlyView.Abstract Recent advancements in 3D scanning technologies, including LiDAR and photogrammetry, have enabled the precise digital replication of real‐world objects. These methods are widely used in fields such as GIS, robotics, and cultural heritage. However, the point clouds generated by such scans are often noisy and unstructured, posing challenges for ...
Léo Arnal–Anger +4 more
wiley +1 more source
Completions and Complete Representability for Cylindric Algebras [PDF]
, 2012 Book description: Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics.
Hirsch, R, Hodkinson, I
core
The relational model of data and cylindric algebras
, 1984 It is shown how the theory of cylindric algebras (a notion introduced by Tarski and others as a tool in the algebraization of the first order predicate calculus) can give a new insight into Codd's relational model of data.
Imieliński, Tomasz, Lipski, Witold
core +1 more source
Hierarchical Optimization of the As‐Rigid‐As‐Possible Energy
Computer Graphics Forum, EarlyView.Abstract The As‐Rigid‐As‐Possible (ARAP) energy [SA07] has become a versatile ingredient in various geometry processing and machine learning methods. The classic method for its minimization is a block coordinate descent, alternating between local rotation estimation and a global linear solve, which converges slowly for large problem instances.
Hendrik Meyer, Bernd Bickel, Marc Alexa
wiley +1 more source
Cylindrical Algebraic Decomposition in Macaulay2
CoRRCylindricalAlgebraicDecomposition.m2 is the first implementation of Cylindrical Algebraic Decomposition (CAD) in Macaulay2. CAD decomposes space into 'cells' where input polynomials are sign-invariant. This package computes an Open CAD (full-dimensional cells only) for sets of real polynomials with rational coefficients, enabling users to solve ...
Corin Lee +2 more
openaire +2 more sources
Measure‐valued processes for energy markets
Mathematical Finance, Volume 35, Issue 2, Page 520-566, April 2025.Abstract We introduce a framework that allows to employ (non‐negative) measure‐valued processes for energy market modeling, in particular for electricity and gas futures. Interpreting the process' spatial structure as time to maturity, we show how the Heath–Jarrow–Morton approach can be translated to this framework, thus guaranteeing arbitrage free ...
Christa Cuchiero +3 more
wiley +1 more source
Optimal model‐based design of experiments for parameter precision: Supercritical extraction case
The Canadian Journal of Chemical Engineering, Volume 104, Issue 7, Page 3775-3795, July 2026.Abstract This study investigates the process of chamomile oil extraction from flowers. A parameter‐distributed model consisting of a set of partial differential equations is used to describe the governing mass transfer phenomena in a cylindrical packed bed with solid chamomile particles under supercritical conditions using carbon dioxide as a solvent ...
Oliwer Sliczniuk, Pekka Oinas
wiley +1 more source