Results 31 to 40 of about 1,018,965 (272)

Dynamic-Epistemic reasoning on distributed systems [PDF]

, 2007
We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation.
Mardare, Radu
core  

Prospects of Electric Field Control in Perpendicular Magnetic Tunnel Junctions and Emerging 2D Spintronics for Ultralow Energy Memory and Logic Devices

Advanced Functional Materials, EarlyView.
Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp, Brahmdutta Dixit, Yifei Yang, Deyuan Lyu, Thomas Peterson, Qi Jia, Yu‐Chia Chen, Jian‐Ping Wang   +7 more
wiley   +1 more source

Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures

Advanced Functional Materials, EarlyView.
3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina, Luke Alexander Turnbull, Weijie Xu, Markus König, Paul Simon, Wilder Carrillo‐Cabrera, Amalio Fernández‐Pacheco, Uri Vool, Dieter Suess, Claas Abert, Vladimir M. Fomin, Claire Donnelly   +11 more
wiley   +1 more source

The risk of divergence [PDF]

, 2015
We present infinite extensive strategy profiles with perfect information and we show that replacing finite by infinite changes the notions and the reasoning tools.
Lescanne, Pierre
core   +2 more sources

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

Metal‐Organic Framework Embedded Electrospun Fibrous Membranes‐Based Hybrid Nanogenerators with Hierarchical Modified Polyamide Films for Mechanical Energy Harvesting and IoT Applications

Advanced Functional Materials, EarlyView.
Hybrid nanogenerator (HNG) based on a zinc‐metal‐organic framework‐loaded fibrous film integrated with a hierarchically modified nylon film having micropatterns and micropores is fabricated via an electrospinning technique, and its electrical properties are optimized. The HNGs are incorporated into wearable garments and automobile systems for practical
Sontyana Adonijah Graham, Anand Kurakula, Venkata Siva Kavarthapu, Jun Kyu Lee, Punnarao Manchi, Mandar Vasant Paranjape, Jae Su Yu   +6 more
wiley   +1 more source

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle [PDF]

, 2015
We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is
Jensen, Alexander Birch, Schlichtkrull, Anders, Villadsen, Jørgen   +2 more
core   +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

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

Tailored Polymer‐Based SEI via iCVD for Stable Zinc Metal Anodes in Aqueous Batteries through Modulation of Hydrophilicity and Elasticity to Inhibit Hydrogen Evolution Reactions

Advanced Functional Materials, EarlyView.
A stretchable and superhydrophobic pF1V1 polymer layer is conformally coated on Zn metal via iCVD, forming a water‐repelling interphase that inhibits the hydrogen evolution reaction. This tailored interface maintains excellent electrolyte compatibility while suppressing dendrite growth, thereby enhancing the long‐term electrochemical stability of Zn ...
Jaeyeon Lee, Moonwon Lee, Boyeon Kim, Hyunjin Jung, Kanghoon Yim, Myunghyun Ryu, Gi Su Doo, Jae‐Hak Choi, Jiyun Heo, Sung Gap Im, Kyu‐Nam Jung, Myung Seok Oh, Jinhong Lee   +12 more
wiley   +1 more source