Results 11 to 20 of about 10,370 (163)
This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +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
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
Distinct Biotypes of Visual Perception in Major Depressive Disorder
In a discover dataset (272 acute MDD patients), this work identifies a novel depression biotype characterized by impaired visual motion perception, using machine learning clustering. An independent dataset confirms the robustness of this biotype through cross‐validation and demonstrates its generalizability.
Zhuoran Cai +13 more
wiley +1 more source
The tangent complex and Hochschild cohomology of E_n-rings
In this work, we study the deformation theory of $\cE_n$-rings and the $\cE_n$ analogue of the tangent complex, or topological Andr\'e-Quillen cohomology. We prove a generalization of a conjecture of Kontsevich, that there is a fiber sequence $A[n-1] \ra
Cohen, John Francis, Lurie, Toën, Toën
core +1 more source
A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source
Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors
Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko +3 more
wiley +1 more source
AI in chemical engineering: From promise to practice
Abstract Artificial intelligence (AI) in chemical engineering has moved from promise to practice: physics‐aware (gray‐box) models are gaining traction, reinforcement learning complements model predictive control (MPC), and generative AI powers documentation, digitization, and safety workflows.
Jia Wei Chew +4 more
wiley +1 more source
Abstract In pharmaceutical industries, continuous manufacturing methods have already been well established to improve productivity and process intensification. However, to better understand the trade‐offs of continuous crystallizers over the existing batch production systems, a robust technoeconomic cost and sustainability analysis is necessary to ...
Jungsoo Rhim, Zoltan K. Nagy
wiley +1 more source
Coloring Operads for Algebraic Field Theory
In these proceedings we summarize previous work where we formalize a general concept of algebraic field theories using operads. After giving a gentle reminder of algebraic quantum field theory, operads and their algebras, we construct field theory ...
Bruinsma, Simen
core +1 more source

