Results 91 to 100 of about 1,750,632 (381)
Mechanistic Modeling of Continuous Lyophilization for Biopharmaceutical Manufacturing
Advanced Science, EarlyView.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
Security Hardening and Compliance Assessment of Kubernetes Control Plane and Workloads
Journal of Cybersecurity and PrivacyContainerized applications are pivotal to contemporary cloud-native architectures, yet they present novel security challenges. Kubernetes, a prevalent open-source platform for container orchestration, provides robust automation but lacks inherent ...
Zlatan Morić +2 more
doaj +1 more source
Super Time‐Resolved Tomography
Advanced Science, EarlyView.A super time‐resolved tomography (STRT) approach is presented to reconstruct 4D X‐ray movies with an order‐of‐magnitude improvement in temporal resolution without sacrificing spatial resolution. By leveraging a physics‐informed deep learning algorithm that shares spatiotemporal features, STRT achieves high‐fidelity 3D reconstructions from sparse‐view ...
Zhe Hu +6 more
wiley +1 more source
From Tilings of Orientable Surfaces to Topological Interlocking Assemblies
Applied SciencesA topological interlocking assembly (TIA) is an assembly of blocks together with a non-empty subset of blocks called the frame such that every non-empty set of blocks is kinematically constrained and can therefore not be removed from the assembly without
Reymond Akpanya +2 more
doaj +1 more source
Mutation algebras of a nonassociative algebra
Indagationes Mathematicae, 1995 This paper contains some results on classes of Lie-admissible (nonassociative) algebras and their (left) \((p,q)\)-mutation algebras, defined by the altered product \(x \circ y : = (xp)y - (yq)x\). It is shown that every mutation of an assosymmetric algebra (defined by the property that the associator of any three elements is unchanged by permutations ...
openaire +2 more sources
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.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
Multi-order fractional nonlinear evolution equations system
Partial Differential Equations in Applied MathematicsIn this paper, the existence and uniqueness of a solution to a multi-order fractional nonlinear evolution equations system are studied by applying Banach’s Fixed Point Theorem and some properties of solution operators associated with the system.
Bambang Hendriya Guswanto +2 more
doaj +1 more source
A note on global existence for boundary value problems
International Journal of Mathematics and Mathematical Sciences, 1989 Upper and lower solutions are used in establlsning global existence results for certain two–point boundary value problems for y‴=f(x,y,y′,y″) and y(n)=f(x,y,y′,...,y(n−1)).
Chuan J. Chyan, Johnny Henderson
doaj +1 more source
In Situ Graph Reasoning and Knowledge Expansion Using Graph‐PRefLexOR
Advanced Intelligent Discovery, EarlyView.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
A Decision Method for Elementary Algebra and Geometry
, 2023 A. Tarski
semanticscholar +1 more source