Results 111 to 120 of about 582,534 (335)
Polynomial Invariants by Linear Algebra [PDF]
, 2016 We present in this paper a new technique for generating polynomial invariants, divided in two independent parts : a procedure that reduces polynomial assignments composed loops analysis to linear loops under certain hypotheses and a procedure for generating inductive invariants for linear loops. Both of these techniques have a polynomial complexity for
Oliveira, S., Bensalem, S., Prevosto, V.
openaire +3 more sources
A new drag and lift correlation for spherocylinders from fully resolved Immersed Boundary Method
AIChE Journal, EarlyView.Abstract Many industrial processes deal with non‐spherical particles, e.g., mineral mining and biomass conversion. It is crucial to understand the particles' hydrodynamics to control and optimize these processes. To extend the current state‐of‐the‐art from arrays of spherical particles to spherocylindrical particles, we performed extensive particle ...
A. H. Huijgen +4 more
wiley +1 more source
Accelerated linear algebra compiler for computationally efficient numerical models: Success and potential area of improvement. [PDF]
PLoS One, 2023 He X.
europepmc +1 more source
AIChE Journal, EarlyView.Abstract In cryogenic CO2 desublimation systems where phase change dominates both heat transfer and separation, conventional lumped thermal‐resistance treatments embed interfacial latent heat into an overall heat‐transfer coefficient, obscuring how phase‐change heat is partitioned between the gas phase and the coolant and limiting diagnostic insight ...
Shengwen Xiao +2 more
wiley +1 more source
-Orthomorphisms and -Linear Operators on the Order Dual of an -Algebra
Abstract and Applied Analysis, 2012 We consider the -orthomorphisms and -linear operators on the order dual of an -algebra. In particular, when the -algebra has the factorization property (not necessarily unital), we prove that the orthomorphisms, -orthomorphisms, and -linear operators on ...
Ying Feng, Jin Xi Chen, Zi Li Chen
doaj +1 more source
Linear algebra learning focused on plausible reasoning in engineering programs
Visión Electrónica, 2019 A methodological strategy is proposed for the teaching of Linear Algebra in engineering programs focused on plausible reasoning. These concepts were developed by [1] and [2], through the formulation and adaptation of interesting problems, whose design ...
Orlando García-Hurtado +2 more
doaj +1 more source
Inexact iterative numerical linear algebra for neural network-based spectral estimation and rare-event prediction. [PDF]
J Chem Phys, 2023 Strahan J +4 more
europepmc +1 more source
Phase Retrieval by Linear Algebra
, 2016 The null vector method, based on a simple linear algebraic concept, is proposed as a solution to the phase retrieval problem. In the case with complex Gaussian random measurement matrices, a non-asymptotic error bound is derived, yielding an asymptotic
Chen, P., Fannjiang, A., Liu, G.
core
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source