Results 171 to 180 of about 9,301 (306)

Cold Quad‐Modal Nanocomplex for Precise and Quantitative In Vivo Stem Cell Tracking

Advanced Functional Materials, EarlyView.
Multimodal albumin–bismuth sulfide–superparamagnetic iron oxide (ABS) nanocomplexes are developed for stem cell tracking across four different imaging modalities: MRI, MPI, MSOT, and CT. Combining its flexibility with high sensitivity, this quad‐modal imaging agent enables a robust quantification of ABS‐labeled stem cells in vivo.
Ali Shakeri‐Zadeh, Chao Wang, Shreyas Kuddannaya, Saleem Yousf, Jeff W. M. Bulte   +4 more
wiley   +1 more source

Dynamic stability analysis of a fractional calculus-based colon cancer model with therapeutic interventions. [PDF]

Sci Rep
Tai R, Chen Z, Zhao Y, Shi R.
europepmc   +1 more source

Small, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting

, 2021
Michael Färber
openalex   +1 more source

Proof theory of the calculus of relations

, 2020
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Paolo ...
openaire   +1 more source

Encoding Magnetic Anisotropies in Digital Light Processing 3D Printing

Advanced Functional Materials, EarlyView.
A hybrid magnetic device—combining a coaxial coil within a nested Halbach array—is presented, integrated into a DLP 3D printer to enable spatially resolved magnetic field control. This system enables complex, multimodal responses by programming liquid crystal elastomer resins for magnetic and thermal actuation, and by inducing electrically conductive ...
Eléonore Aïdonidis, Andrea Cosola, Pierre Bourdon, Hichem Dammak, Marco Sangermano, Frédéric Demoly, Marco Faustini, Amélie Pérot, Didier Lairez, Rakine Mouhoubi, Sébastien Blanquer, Giancarlo Rizza   +11 more
wiley   +1 more source

Optimization of the cut configuration for skin grafts. [PDF]

Biomech Model Mechanobiol
Harbrecht H, Karnaev V.
europepmc   +1 more source

Certifying Network Calculus in a Proof Assistant

, 2013
Ensuring correct behaviour of a distributed real-time function requires bounds on the network traversal time. The network calculus is a theory designed to compute such bounds, used to certify the A380 AFDX backbone. In the PEGASE project, some enhancements have been done to the theory, and a software implementation has been developed.
Mabille, Etienne, Boyer, Marc, Féjoz, Loic, Merz, Stephan   +3 more
openaire   +1 more source

Upcycling of Disposable Face Masks into Water‐Resistant and Flame Retardant Foams

Advanced Functional Materials, EarlyView.
Disposable mask waste is upcycled into lightweight polypropylene‐based foams with tunable porosity and composite architectures reinforced by ear‐loop fibers. The sustainable solvent‐based process enables upcycling rates of 91% and solvent recovery of >90%.
Jingjing Pan, Erlantz Lizundia, Hao Jia, Lennart Bergström   +3 more
wiley   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

PRELIVE: A Framework for Predicting Lipid Nanoparticles In Vivo Efficacy and Reducing Reliance on Animal Testing

Advanced Functional Materials, EarlyView.
PREdicting LNP In Vivo Efficacy (PRELIVE) framework enables the prediction of lipid nanoparticle (LNPs) organ‐specific delivery through dual modeling approaches. Composition‐based models using formulation parameters and protein corona‐based models using biological fingerprints both achieve high predictive accuracy across multiple organs.
Belal I. Hanafy, Chuan‐En Lu, Kai Liu, Audrey Gallud   +3 more
wiley   +1 more source