Results 41 to 50 of about 186,512,308 (212)
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +1 more source
Descriptor‐Informed Screening of Interface‐Active Molecules for Efficient Magnesium Metal Anodes
Advanced Materials, EarlyView.A descriptor‐informed molecular screening strategy identifies 4‐bromo‐N, N‐dimethylaniline (BrNNA) as an interface‐active electrolyte component that enables fast Mg stripping/plating in Mg(TFSI)2‐based electrolytes. By simultaneously regulating Mg2+ solvation and interphase formation, the BrNNA‐containing electrolyte delivers activation‐free Mg ...
Hao Xu +16 more
wiley +1 more source
Breaking Bottlenecks in Solid Electrolyte Discovery With Large Artificial Intelligence Models
Advanced Materials, EarlyView.Large AI models are presented as a route to break key bottlenecks in solid electrolyte discovery by linking materials databases, machine‐learning interatomic potentials, large language models, and autonomous experiments. This perspective highlights how AI can accelerate the identification of solid electrolytes with fast ion transport, stable interfaces,
Eric Jianfeng Cheng +24 more
wiley +1 more source
Modal Extensions of Abelian Logic [PDF]
, 2018 This thesis studies the semantics and proof theory of modal extensions of abelian ...
Schnüriger, Laura Janina
core
Free Choice in Modal Inquisitive Logic
, 2023 This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements.
Nygren, Karl,
core +1 more source
Advances in Bio‐Integrated Edge Computing Systems for Smart and Connected Health
Advanced Materials, EarlyView.This review explores advances in bio‐integrated edge computing for healthcare, focusing on co‐designing computing, sensing, and energy strategies to overcome integration and power challenges for optimized, decentralized operation. ABSTRACT Recent advances in bio‐integrated healthcare technologies have enabled continuous, high‐resolution monitoring and ...
Gyuwon Kim +4 more
wiley +1 more source
, 2007 Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent.
Krister, Segerberg, Lindström, Sten,
core
On the connection between the categorical and the modal logic approaches to Quantum Mechanics [PDF]
, 2013 This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps.
Cinà, Giovanni
core
Bacteria‐Trained, MnO2‐Armored Dendritic Cells for Immunotherapy
Advanced Materials, EarlyView.MnO2‐armored, bacteria‐trained dendritic cells undergo tumor‐responsive mechanical and immunological transformation. The nanocoating masks immune ligands and maintains a mechanically stiff, quiescent state during circulation, while the tumor microenvironment removes the armor and restores cellular deformability and immune accessibility.
Zhao Guo +9 more
wiley +1 more source
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
, 2022 Bi-intuitionistic logic is an extension of intuitionistic propositional logic with a binary operator that is residuated with respect to disjunction.
Pattinson, Dirk, de Groot, Jim
core +1 more source