Results 71 to 80 of about 1,698,712 (321)

Characterizing downwards closed, strongly first order, relativizable dependencies

, 2019
In Team Semantics, a dependency notion is strongly first order if every sentence of the logic obtained by adding the corresponding atoms to First Order Logic is equivalent to some first order sentence.
Galliani, Pietro
core   +1 more source

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules

Advanced Functional Materials, EarlyView.
A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang, Max Gießübel, Pankaj Dharpure, Andrea Albert, Vira Niestierkina, Paul Mulvaney, Mukundan Thelakkat, Jürgen Köhler   +7 more
wiley   +1 more source

On the strictness of the quantifier structure hierarchy in first-order logic [PDF]

Logical Methods in Computer Science, 2014
We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural quantifier resource.
Yuguo He
doaj   +1 more source

Double Helical Plasmonic Antennas

Advanced Functional Materials, EarlyView.
Plasmonic double helical antennas funnel circularly polarized light to the nanoscale, offering strong chiroptical interaction and directional light emission. Extending a single helix design tool, this study combines numerical modeling with experimental validation, revealing large, broadband dissymmetry factors in the visible range.
Aleksei Tsarapkin, Luka Zurak, Krzysztof Maćkosz, Lorenz Löffler, Victor Deinhart, Ivo Utke, Thorsten Feichtner, Katja Höflich   +7 more
wiley   +1 more source

Single‐Step Synthesis of In‐plane 1T'‐2H Heterophase MoTe2 for Low‐Resistance Contacts

Advanced Functional Materials, EarlyView.
A single‐step CVD method is developed to synthesize seamless in‐plane 1T'‐2H MoTe2 heterophase junctions with precise phase control and uniform large‐area coverage. The resulting transistors, incorporating 1T' MoTe2 contacts and 2H MoTe2 channels, exhibit ultralow contact resistance, offering a scalable solution to the long‐standing challenge of ...
Ye Lin, Hanwool Lee, Junzhe Kang, Zhiyu Wang, Richard T. Haasch, Stasiu T. Chyczewski, Zetai Liu, Huai‐Chung Chuang, Jun‐Fei Zheng, Wenjuan Zhu   +9 more
wiley   +1 more source

Efficient First-Order Temporal Logic for Infinite-State Systems [PDF]

, 2007
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variety of first-order temporal logic that is both powerful enough for this form of ...
Dixon, Clare, Fisher, Michael, Konev, Boris, Lisitsa, Alexei   +3 more
core   +2 more sources

Unveiling Phonon Contributions to Thermal Conductivity and the Applicability of the Wiedemann—Franz Law in Ruthenium and Tungsten Thin Films

Advanced Functional Materials, EarlyView.
Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam, Pravin Karna, Niraj Bhatt, Sandip Thakur, Helge Heinrich, Daniel M. Hirt, Saman Zare, Christopher Jezewski, Rinus T.P. Lee, Kandabara Tapily, John T. Gaskins, Colin D. Landon, Sean W. King, Ashutosh Giri, Patrick E. Hopkins   +14 more
wiley   +1 more source

Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Technologies
The increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the originals. Although
Ahmad Ahmad Muhammad, Mahitap Ayman, Samer A. Elhossany, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Axel Jantsch, Nahla Elaraby   +8 more
doaj   +1 more source

Steep‐Switching Memory FET for Noise‐Resistant Reservoir Computing System

Advanced Functional Materials, EarlyView.
We demonstrate the steep‐switching memory FET with CuInP2S6/h‐BN/α‐In2Se3 heterostructure for application in noise‐resistant reservoir computing systems. The proposed device achieves steep switching characteristics (SSPGM = 19 mV/dec and SSERS = 23 mV/dec) through stabilization between CuInP2S6 and h‐BN.
Seongkweon Kang, Jaerok Kim, Sang‐Min Lee, Sungpyo Baek, Saeroonter Oh, Yoonmyung Lee, Sungjoo Lee   +6 more
wiley   +1 more source