Results 21 to 30 of about 44,592 (230)
Mechanistic Modeling of Continuous Lyophilization for Biopharmaceutical Manufacturing
This article presents the first mechanistic model for continuous lyophilization (aka freeze drying). The model accurately describes the key phenomena and critical process parameters in continuous lyophilization, which can be used for process design, optimization, and control. Results from this work can drive the transition of (bio)pharmaceutical freeze
Prakitr Srisuma +2 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
In Situ Graph Reasoning and Knowledge Expansion Using Graph‐PRefLexOR
Graph‐PRefLexOR is a novel framework that enhances language models with in situ graph reasoning, symbolic abstraction, and recursive refinement. By integrating graph‐based representations into generative tasks, the approach enables interpretable, multistep reasoning.
Markus J. Buehler
wiley +1 more source
Finitely Generated Nil but Not Nilpotent Evolution Algebra [PDF]
To use evolution algebras to model population dynamics that both allow extinction and introduction of certain gametes in finite generations, nilpotency must be built into the algebraic structures of these algebras with the entire algebras not to be ...
Jianjun Paul, Tian, Yi Ming Zou
core
This article offers a comprehensive review of topic modeling techniques, tracing their evolution from inception to recent developments. It explores methods such as latent Dirichlet allocation, latent semantic analysis, non‐negative matrix factorization, probabilistic latent semantic analysis, Top2Vec, and BERTopic, highlighting their strengths ...
Pratima Kumari +6 more
wiley +1 more source
P-jets of finite algebras. II: $p$-typical Witt rings
We study the structure of the p-jet spaces of the p-typical Witt rings of the p-adics. We also study the p-jets of the comonad map. These data can be viewed as an arithmetic analogue, for the ring Z, of the Lie groupoid of the line and hence as an ...
A. Buium
semanticscholar +1 more source
Low‐Energy Atomic Scattering: S‐Wave Relation Between the Interaction Potential and the Phase Shift
The validity of the on‐shell approximation for s‐wave scattering is examined across one, two, and three dimensions using exactly solvable model interaction potentials. By comparing exact and approximate s‐wave components of the interaction potential, the analysis reveals that the approximation improves with increasing momentum and decreasing ...
Francesco Lorenzi, Luca Salasnich
wiley +1 more source
A model for blend electrodes is developed, parameterized, and validated using experimental data from a SiOx/Gr electrode. The model provides information about local states, such as the degree of lithiation or material‐specific C‐rates, distinguishing between the two active materials.
Maximilian Schamel +3 more
wiley +1 more source
Benefits of Open Quantum Systems for Quantum Machine Learning
Quantum machine learning (QML), poised to transform data processing, faces challenges from environmental noise and dissipation. While traditional efforts seek to combat these hindrances, this perspective proposes harnessing them for potential advantages. Surprisingly, under certain conditions, noise and dissipation can benefit QML.
María Laura Olivera‐Atencio +2 more
wiley +1 more source
Model‐Based Optimization of Fed‐Batch In Vitro Transcription
Using a mathematical model for the enzyme kinetics and solution thermodynamics of the in vitro transcription reaction, new optimized strategies are developed for fed‐batch transcription that can decrease the resource costs of mRNA synthesis while maintaining critical quality attributes for efficacy in vivo.
Nathan Merica Stover +5 more
wiley +1 more source

