Results 101 to 110 of about 156,774 (303)

A Modal Logic for Termgraph Rewriting

, 2010
We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles.
Balbiani, Ph., Echahed, R., Herzig, A.
core   +3 more sources

Standalone Integrated Magnonic Devices

Advanced Materials, EarlyView.
A standalone (not requiring external bias magnetic field) and tunable magnonic device is reported with all‐electric input and output, fully integrated on silicon (total footprint of 100 × 150 µm) and 3–8 GHz frequency band. This is achieved by monolithic integration of a CoFeB conduit with RF antennas and an assembly of NiFe and SmCo micromagnets ...
M. Cocconcelli, F. Maspero, A. Micelli, A. Toniato, A. Del Giacco, N. Pellizzi, A. E. Plaza, A. Cattoni, M. Madami, R. Silvani, C. Adelmann, A. A. Hamadeh, P. Pirro, S. Tacchi, F. Ciubotaru, R. Bertacco   +15 more
wiley   +1 more source

Does Treewidth Help in Modal Satisfiability?

, 2010
Many tractable algorithms for solving the Constraint Satisfaction Problem (CSP) have been developed using the notion of the treewidth of some graph derived from the input CSP instance.
A. Herzig, B. Cate ten, B. Courcelle, E. Fischer, G. Pan, G. Pan, H. Chen, H.L. Bodlaender, H.L. Bodlaender, I. Adler, J. Flum, J.H. Reif, J.Y. Halpern, J.Y. Halpern, M. Fellows, M. Grohe, M. Samer, M.Y. Vardi, P. Blackburn, P. Enjalbert, R. Fagin, R.E. Ladner, V. Dalmau, V.R. Pratt, Y. Kazakov   +24 more
core   +1 more source

Additive Manufacturing of Neuromorphic Systems

Advanced Materials, EarlyView.
The crossover of additive Manufacturing (AM) and neuromorphic engineering promises a new paradigm in the fabrication of intelligent hardware—one that is sustainable, scalable, cost‐efficient, and customizable. The AM‐printed neuromorphic hardware (electronics and mechanical systems) is examined, and we discussed the technological integration.
Jiongyi Yan, Yutai Su, James P. K. Armstrong, Andrew Gleadall   +3 more
wiley   +1 more source

Lewis meets Brouwer: constructive strict implication

, 2017
C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective.
Litak, Tadeusz, Visser, Albert
core   +1 more source

High Performance P‐Channel Transistor Based on Amorphous Tellurium Trioxide

Advanced Materials, EarlyView.
This study introduces a breakthrough in p‐channel transistors by transforming crystalline 2D tellurium into amorphous tellurium trioxide (a‐TeO3) via UV‐O3 treatment. This transformation enhances electronic properties, resulting in transistors with reduced hysteresis, superior on/off characteristics, and low barrier height, highlighting the potential ...
Seungho Bang, Chaewon Lee, Deogkyu Choi, Dae Young Park, Dong Hyeon Kim, Dohyeon Lee, Dong‐Joon Yi, Jungeun Song, Seok Joon Yun, Dong‐Wook Kim, Mun Seok Jeong   +10 more
wiley   +1 more source

Heterojunction‐Driven Stochasticity: Bi‐Heterojunction Noise‐Enhanced Negative Transconductance Transistor in Image Generation

Advanced Materials, EarlyView.
This work engineered a bi‐heterojunction noise‐enhanced negative transconductance (BHN‐NTC) transistor using a half‐PTCDI‐C13 layer, achieving expanded and tunable noise characteristics. This advancement enables efficient multi‐bit TRNGs for AI‐driven image generation and enhances logic circuit applications.
Youngmin Han, Ryun‐Han Koo, Jaechan Song, Chang‐Hyun Kim, Eun Kwang Lee, Wonjun Shin, Hocheon Yoo   +6 more
wiley   +1 more source

Localized Spin Textures Stabilized by Geometry‐Induced Strain in 2D Magnet Fe3GeTe2

Advanced Materials, EarlyView.
Strain engineering in 2D van der Waals ferromagnet Fe₃GeTe₂ is studied using scanning transmission X‐ray microscopy. Spatially varying strain from micropillar arrays induced local 10 K Curie temperature increases, stabilizing magnetic domains including skyrmions and skyrmion bags near pillar corners.
Yuhan Sun, Max T. Birch, Simone Finizio, Lukas Powalla, Sayooj Satheesh, Tim Priessnitz, Eberhard Göring, Ernst Knöckl, Christoph Kastl, Alexander Holleitner, Klaus Kern, Markus Weigand, Sebastian Wintz, Marko Burghard   +13 more
wiley   +1 more source

Detachable and Reusable: Reinforced π‐Ion Film for Modular Synaptic Reservoir Computing

Advanced Materials, EarlyView.
This study presents a reinforced π‐ion film for organic electrochemical transistors (OECTs), addressing the rapid degradation of organic semiconductor layers. By introducing a mesh support and utilizing a scalable solvent exchange method, the π‐ion film enhances detachability and stability.
Gyu Won Woo, Chang Min Lee, Won Woo Lee, Min Ju Jung, Seung Min Lee, Hye Won Lee, Hocheon Yoo, Yong Hee Kim, Eun Kwang Lee   +8 more
wiley   +1 more source

Nonreciprocal Spin Waves in Nanoscale Hybrid Néel–Bloch–Néel Domain Walls Detected by Scanning X‐Ray Microscopy in Perpendicular Magnetic Anisotropic Fe/Gd Multilayers

Advanced Materials, EarlyView.
Using scanning transmission X‐ray microscopy, nonreciprocal spin‐wave behavior is revealed in real space in Fe/Gd multilayers with perpendicular magnetic anisotropy, highlighting their functionality for magnonic logic circuits operating at GHz frequencies.
Ping Che, Axel J. M. Deenen, Andrea Mucchietto, Joachim Gräfe, Michael Heigl, Korbinian Baumgaertl, Markus Weigand, Michael Bechtel, Sabri Koraltan, Gisela Schütz, Dieter Suess, Manfred Albrecht, Dirk Grundler   +12 more
wiley   +1 more source