Results 81 to 90 of about 823,326 (291)
Simulating Linear Logic in 1-Only Linear Logic
, 2017 Here is a copy of CNRS, Laboratoire de Mathematiques Discretes Pretirage no 94-02 January 28 ...
openaire +2 more sources
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley +1 more source
Context Semantics, Linear Logic and Computational Complexity
, 2006 We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an
Lago, Ugo Dal
core +3 more sources
Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?
Advanced Functional Materials, EarlyView.This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee +7 more
wiley +1 more source
Transformational Verification of Linear Temporal Logic [PDF]
, 2009 We present a new method for verifying Linear Temporal Logic (LTL) properties of finite state reactive systems based on logic programming and program transformation.
Pettorossi, Alberto +2 more
core
Relational semantics of linear logic and higher-order model-checking
, 2015 In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any ...
C Grellois +4 more
core +2 more sources
Advanced Functional Materials, EarlyView.We present a fully printed aqueous zinc‐ion microbattery (ZnIB) enabled by graphene‐decorated zinc anode and printed MnO@NC cathode using sustainable aqueous‐based ink formulations. The printed 3D electrodes ensure uniform zinc deposition, low overpotential, and long‐term stability.
Nagaraju Goli +11 more
wiley +1 more source
, 1993 We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear ...
Blass, Andreas
core +1 more source
Linear Logical Algorithms [PDF]
, 2008 Bottom-up logic programming can be used to declaratively specify many algorithms in a succinct and natural way, and McAllester and Ganzinger have shown that it is possible to define a cost semantics that enables reasoning about the running time of algorithms written as inference rules.
Simmons, Robert J., Pfenning, Frank
openaire +1 more source