Results 181 to 190 of about 9,301 (306)

Symbolic Calculus for a Class of Pseudodifferential Operators with Applications to Compactness. [PDF]

J Geom Anal
Bényi Á, Oh T, Torres RH.
europepmc   +1 more source

A proof-theoretic study of bi-intuitionistic propositional sequent calculus

, 2017
Luís Pinto, Tarmo Uustalu
openalex   +2 more sources

Calculus of structures and proof-nets (Abstract)

Electronic Notes in Theoretical Computer Science
AbstractThe Calculus of Structures is a new logical formalism developped by A. Gugliemi, L. Strassburger et al. Using the central idea of CS, namely local rewritings of proofs at any depth, but directly in the formalism of Proof-Nets, I will give an alternative characterisation of the Multiplicative fragment of Multiplicative Linear Logic Proof Nets.
openaire   +1 more source

Hybrid Microdiscs for Magnetically Induced Non‐Cytotoxic Thermal Actuation and Programmable Biomolecule Delivery

Advanced Functional Materials, EarlyView.
Hybrid magnetic microdiscs with customizable size and composition are engineered through refined photolithography and LbL assembly. Embedded Fe3O4 nanoparticles enable localized, non‐cytotoxic heating, while protein cargos can be incorporated in tunable quantities.
Daniela Iglesias‐Rojas, Danny Villanueva, Jon Mentxaka‐Salgado, Nerea Lete, Ane Olazagoitia‐Garmendia, Eduardo Fernández, Iñaki Orue, Alfredo García‐Arribas, Maria Luisa Fdez‐Gubieda, Ainara Castellanos‐Rubio, Robert Morel, Bernard Dieny, Maite Insausti, Idoia Castellanos‐Rubio   +13 more
wiley   +1 more source

Fractal fractional approach to investigate the forecasting and dynamics of malaria disease for early control precaution. [PDF]

Sci Rep
Farman M, Hurdoganoglu U, Hincal N, Gokbulut N, Guler E, Suer K, Sambas A, Hincal E.   +7 more
europepmc   +1 more source

Theory‐Guided Design of Non‐Precious Single‐Atom Catalyst for Electrocatalytic Chlorine Evolution

Advanced Functional Materials, EarlyView.
To overcome the reliance on noble metals for the chlorine evolution reaction (CER), we designed a non‐precious single‐atom catalyst (SAC), NiN3O–O. It achieves a low overpotential of 75 mV, 95.8% Cl2 selectivity, and outperforms commercial dimensionally stable anodes (DSAs).
Kai Ma, Longfei Yang, Xiaojin Yang, Chang Zhang, Di Zhang, Linda Zhang, Li Wei, Chenliang Ye, Hao Li, Weijie Yang   +9 more
wiley   +1 more source

A fractional model based on caputo derivative for tuberculosis transmission using real data from Kenya. [PDF]

Sci Rep
Bhatia B, Bhatter S, Purohit SD, Baleanu D, Suthar DL.   +4 more
europepmc   +1 more source

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus [PDF]

K. D. Irani
openalex  

A typed parallel lambda-calculus via 1-depth intermediate proofs

, 2020
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco   +2 more
openalex   +2 more sources

From Mechanics to Electronics: Influence of ALD Interlayers on the Multiaxial Electro‐Mechanical Behavior of Metal–Oxide Bilayers

Advanced Functional Materials, EarlyView.
Ultrathin AlOxHy interlayers between aluminum films and polymer substrates significantly improve electro‐mechanical properties of flexible thin film systems. By precisely controlling interlayer thickness using atomic layer deposition, this study identifies an optimal interlayer thickness of 5–10 nm that enhances ductility and delays cracking.
Johanna Byloff, Vivek Devulapalli, Daniele Casari, Thomas E. J. Edwards, Claus O. W. Trost, Megan J. Cordill, Shuhel Altaf Husain, Pierre‐Olivier Renault, Damien Faurie, Barbara Putz   +9 more
wiley   +1 more source