Results 81 to 90 of about 65,816 (273)

Relevant Logics Obeying Component Homogeneity [PDF]

, 2018
This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results.
Ciuni, Roberto, Ferguson, Thomas Macaulay, Szmuc, Damian   +2 more
core   +1 more source

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

Compactness of first-order fuzzy logics

, 2019
One of the nice properties of the first-order logic is the compactness of satisfiability. It state that a finitely satisfiable theory is satisfiable.
Khatami, Seyed Mohammad Amin
core  

Leaftronics: Bio‐Fractal Scaffolds From Leaf Venation for Low‐Waste Electronics

Advanced Materials, EarlyView.
“Leaftronics” transforms naturally evolved leaf venation into quasi‐fractal scaffolds for sustainable electronics. Polymer‐infiltrated leaf skeletons can be used to fabricate ultra‐smooth, reflow‐ and thin‐film‐compatible decomposable substrates, while making the same lignocellulose networks conducting results in flexible transparent electrodes.
Rakesh Rajendran Nair, Hrisheekesh Thachoth Chandran, Karl Leo, Hans Kleemann   +3 more
wiley   +1 more source

Natural Deduction for Three-Valued Regular Logics [PDF]

, 2016
In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M.
Petrukhin, Yaroslav
core   +1 more source

Intrinsic Coordination Architecture Governing Selectivity Divergence Between Extended and Single‐Site Electrocatalysts

Advanced Materials, EarlyView.
Catalyst coordination acts as a loaded dice biasing reaction selectivity. Single‐atom site catalysts lock intermediates in exposed configurations, enabling continued hydrogenation and favoring oxygen‐retaining products. In contrast, extended metal surfaces fully coordinate and shield reactive centers, promoting deoxygenation pathways. This work reveals
Chengyi Zhang, Ziyun Wang
wiley   +1 more source

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

LP, K3, and FDE as Substructural Logics [PDF]

, 2017
Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems.
Shapiro, Lionel
core  

High‐Performance, Paper‐Based Microelectronics via a Micromodular Fabrication Process

Advanced Materials Interfaces, EarlyView.
This study demonstrates high‐performance silicon micromodular transistors on cellulose nanomaterial‐coated paper, with interconnects formed via e‐jet printing. Transistors exhibit excellent electrical properties and maintain performance under applied strain.
Rebecca K. Banner, Hubert N. Elly, Kaifan Yue, Cyra Moobed, Siddharth Kurup, Daniel Aziz, Kira L. Barton, Victor Breedveld, Eric M. Vogel, Michael A. Filler   +9 more
wiley   +1 more source

Decision Support System Driven by Thermo-Complexity: Algorithms and Data Manipulation

IEEE Access
Today, making decisions in multi-parameter contexts requires long computational times and increasingly powerful computers. In addition, we are often interested not only in the final decision to be made, but above all in the decision-making path to follow,
Gerardo Iovane
doaj   +1 more source