Results 131 to 140 of about 40,102 (181)

Finite Element Approach for Rheological Behavior in Colloidal Electrolytes in Lithium-Ion Battery Performance. [PDF]

ACS Omega
Raza A, Manzoor T, Iqbal S, Anwar T, Ashraf A, Manzoor HU.   +5 more
europepmc   +1 more source

TANGO: Analysis and curation of particles in cryo-electron tomography. [PDF]

Nat Commun
Schreiber M, Turoňová B.
europepmc   +1 more source

Non-invasively measured myocardial torsional modulus: Comparison to invasive evaluation of diastolic function. [PDF]

J Cardiovasc Magn Reson
Aufan MR, Gupta H, Sharifov OF, Perry GJ, Denney TS, Lloyd SG.   +5 more
europepmc   +1 more source

A-Mode Ultrasound Bladder Volume Estimation Algorithm Based on Wavelet Energy Ratio Adaptive Denoising. [PDF]

Sensors (Basel)
Jin R, Huang Q, Jiang J, Hu P.
europepmc   +1 more source

Full-Wave Image Reconstruction in Transcranial Photoacoustic Computed Tomography Using a Finite Element Method. [PDF]

IEEE Trans Med Imaging
Luo Y, Huang HK, Sastry K, Hu P, Tong X, Kuo J, Aborahama Y, Na S, Villa U, Anastasio MA, Wang LV.   +10 more
europepmc   +1 more source

Interval Arithmetic in Cylindrical Algebraic Decomposition

Journal of Symbolic Computation, 2002
Cylindrical algebraic decomposition requires many very time consuming operations, including resultant computation, polynomial factorization, algebraic polynomial gcd computation and polynomial real root isolation.
George E Collins, Jeremy R Johnson, Werner Krandick   +2 more
exaly   +4 more sources

Cylindrical Algebraic Decomposition using validated numerics

Journal of Symbolic Computation, 2006
We present a version of the Cylindrical Algebraic Decomposition (CAD) algorithm which uses interval sample points in the lifting phase, whenever the results can be validated.
Adam Strzebonski
exaly   +4 more sources

Fully incremental cylindrical algebraic decomposition

Journal of Symbolic Computation, 2020
Collins introduced the cylindrical algebraic decomposition method for eliminating quantifiers in real arithmetic formulas. In our work we use this method for satisfiability checking in satisfiability modulo theories solver technologies, and tune it by ...
Gereon Kremer, Erika Abraham
exaly   +4 more sources

The Geometry of Cylindrical Algebraic Decomposition

ACM Communications in Computer Algebra
The decision problem of the first order theory over the reals is a fundamental problem in symbolic computation. Because many problems emerging from other areas of science and engineering can be directly expressed by a decision problem over the reals ...
Rizeng Chen
semanticscholar   +2 more sources