Results 71 to 80 of about 9,301 (306)

On noncommutative extensions of linear logic [PDF]

Logical Methods in Computer Science, 2019
Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj   +1 more source

Photoswitchable Conductive Metal–Organic Frameworks

Advanced Functional Materials, EarlyView.
A conductive material where the conductivity can be modulated remotely by irradiation with light is presented. It is based on films of conductive metal–organic framework type Cu3(HHTP)2 with embedded photochromic molecules such as azobenzene, diarylethene, spiropyran, and hexaarylbiimidazole in the pores.
Yidong Liu, Mersad Mostaghimi, Abhinav Chandresh, Saibal Jana, Wolfgang Wenzel, Lars Heinke   +5 more
wiley   +1 more source

Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting [PDF]

, 2022
Michael Färber
openalex   +1 more source

2-Sequent calculus: a proof theory of modalities

Annals of Pure and Applied Logic, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Proof System for Applied Pi Calculus [PDF]

, 2010
A symbolic-style proof system is presented to reason about observational equivalence for applied pi-calculus. The proofs of the soundness and completeness of the system rely on a recently developed theory of symbolic bisimulation for applied pi-calculus.
Jia Liu, Huimin Lin
openaire   +1 more source

Quantum Emitters in Hexagonal Boron Nitride: Principles, Engineering and Applications

Advanced Functional Materials, EarlyView.
Quantum emitters in hexagonal boron nitride have emerged as a promising candidate for quantum information science. This review examines the fundamentals of these quantum emitters, including their level structures, defect engineering, and their possible chemical structures.
Thi Ngoc Anh Mai, Md Shakhawath Hossain, Nhat Minh Nguyen, Yongliang Chen, Chaohao Chen, Xiaoxue Xu, Quang Thang Trinh, Toan Dinh, Toan Trong Tran   +8 more
wiley   +1 more source

NanoMOF‐Based Multilevel Anti‐Counterfeiting by a Combination of Visible and Invisible Photoluminescence and Conductivity

Advanced Functional Materials, EarlyView.
This study presents novel anti‐counterfeiting tags with multilevel security features that utilize additional disguise features. They combine luminescent nanosized Ln‐MOFs with conductive polymers to multifunctional mixed‐matrix membranes and powder composites. The materials exhibit visible/NIR emission and matrix‐based conductivity even as black bodies.
Moritz Maxeiner, Ruben Maile, Murat Cuvalli, Andreas Wolf, Ayisha Komal, Robert Oestreich, Christoph Janiak, Karl Mandel, Alexander Knebel, Klaus Müller‐Buschbaum   +9 more
wiley   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

Lipid Nanoparticles for the Delivery of CRISPR/Cas9 Machinery to Enable Site‐Specific Integration of CFTR and Mutation‐Agnostic Disease Rescue

Advanced Functional Materials, EarlyView.
Lipid nanoparticles (LNPs) are optimized to co‐deliver Cas9‐encoding messenger RNA (mRNA), a single guide RNA (sgRNA) targeting the endogenous cystic fibrosis transmembrane conductance regulator (CFTR) gene, and homologous linear double‐stranded donor DNA (ldsDNA) templates encoding CFTR.
Ruth A. Foley, Paul G. Ayoub, Vrishti Sinha, Colin Juett, Alicia Sanoyca, Emily C. Duggan, Lindsay E. Lathrop, Priyanka Bhatt, Kevin Coote, Beate Illek, Brigitte N. Gomperts, Donald B. Kohn, Steven J. Jonas   +12 more
wiley   +1 more source

A Strong Bisimulation for a Classical Term Calculus [PDF]

Logical Methods in Computer Science
When translating a term calculus into a graphical formalism many inessential details are abstracted away. In the case of $\lambda$-calculus translated to proof-nets, these inessential details are captured by a notion of equivalence on $\lambda$-terms ...
Eduardo Bonelli, Delia Kesner, Andrés Viso   +2 more
doaj   +1 more source