Results 21 to 30 of about 41,558 (198)

Herbrand-Confluence for Cut Elimination in Classical First Order Logic [PDF]

, 2012
We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing.
Hetzl, Stefan
core   +1 more source

Active Thermal Field Integration for Marangoni‐Driven Salt Rejection and Water Collection

Advanced Functional Materials, EarlyView.
A thermal gradient fabric (TGF) evaporator with an auxiliary active thermal field can simultaneously increase evaporation rates and achieve long‐term salt rejection. The auxiliary active thermal field is well integrated with solar energy to construct moderate, extensive, and circulating Marangoni flow for salt rejection.
Can Ge, Shuai Guo, Wei Li, Xunlong Zhang, Bin Chen, Xiao Feng, Shichang Yang, Duo Xu, Zhen Yu, Sai Kishore Ravi, Weilin Xu, Jian Fang, Swee Ching Tan   +12 more
wiley   +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

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination [PDF]

, 1996
This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical ...
Carbone, Alessandra, Semmes, S.
core   +1 more source

Generic Modal Cut Elimination Applied to Conditional Logics [PDF]

, 2011
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide
A. Ciabattoni and K. Terui, Dirk Pattinson, G. Gentzen, J. Burgess, J. Rasga, L. Giordano and C. Schwind, L. Schröder and D. Pattinson, Lutz Schröder, Martin Giese, N. Olivetti, G. L. Pozzato, and C. Schwi, R. Ladner, S. Kraus, D. J. Lehmann, and M. Magidor   +11 more
core   +1 more source

Towards High‐Acuity Vision Restoration: Hybrid Retinal Prosthesis Composed of a High‐Density Multielectrode Array Integrated With Glutamatergic Cells

Advanced Functional Materials, EarlyView.
This work introduces a novel Hybrid Retinal Implant (HRI), composed of a high‐density electrode array integrated with glutamatergic neurons to overcome key limitations of current retinal prostheses. The significant reduction of activation threshold and of electrode cross‐talk yields in an improved spatial resolution.
Nairouz Farah, Amos Markus, Gal Shpun, Yoav Chemla, Erel Lasnoy, Tamar Azrad‐Leibovitch, Fikre Fentahon, Zeev Zalvesky, Yossi Mandel   +8 more
wiley   +1 more source

Generating facets for the cut polytope of a graph by triangular elimination [PDF]

, 2006
The cut polytope of a graph arises in many fields. Although much is known about facets of the cut polytope of the complete graph, very little is known for general graphs. The study of Bell inequalities in quantum information science requires knowledge of
Avis, David, Imai, Hiroshi, Ito, Tsuyoshi   +2 more
core   +2 more sources

Design and Applications of Multi‐Frequency Programmable Metamaterials for Adaptive Stealth

Advanced Functional Materials, EarlyView.
This article provides a comprehensive overview of metamaterials, including their fundamental principles, properties, synthesis techniques, and applications in stealth, as well as their challenges and future prospects. It covers topics that are more advanced than those typically discussed in existing review articles, while still being closely connected ...
Jonathan Tersur Orasugh, Ankita Mohanty, Amit Malakar, Suryasarathi Bose, Suprakas Sinha Ray   +4 more
wiley   +1 more source

A Patient‐Specific 3D Printed Carotid Artery Model Integrating Vascular Structure, Flow, and Endothelium Responses

Advanced Healthcare Materials, EarlyView.
This study introduces the first miniaturized, patient‐specific carotid artery model created via 3D printing using GelMA with embedded vascular cells. Combining CFD, PIV, and flow perfusion, the model replicates anatomically dependent hemodynamics and cellular responses.
Jorge A. Catano, Louis Jun Ye Ong, Mingyang Yuan, Yunkun Qu, Jessica Benitez, Prasad KDV Yarlagadda, Yi‐Chin Toh, Zhiyong Li   +7 more
wiley   +1 more source