Results 51 to 60 of about 1,731,030 (337)

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

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Boolean basis, formula size, and number of modal operators [PDF]

Logical Methods in Computer Science
Is it possible to write significantly smaller formulae when using Boolean operators other than those of the De Morgan basis (and, or, not, and the constants)?
Christoph Berkholz, Dietrich Kuske, Christian Schwarz   +2 more
doaj   +1 more source

Functional Materials for Environmental Energy Harvesting in Smart Agriculture via Triboelectric Nanogenerators

Advanced Functional Materials, EarlyView.
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva, Giulio Fatti, Emanuel Carlos, Guilherme Ferreira, Sumita Goswami, Suman Nandy, Luiz H. C. Mattoso, Elvira Fortunato, Caio G. Otoni, Rodrigo Martins   +9 more
wiley   +1 more source

Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses

Inteligencia Artificial, 2020
We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj   +1 more source

Complementary Logic Driven by Dielectrophoretic Assembly of 2D Semiconductors

Advanced Functional Materials, EarlyView.
Scalable, parallel fabrication of complementary logic gates is demonstrated using electric‐field‐driven deterministic assembly of electrochemically exfoliated 2D n‐type MoS2 and p‐type WSe2 nanosheets. This strategy yields MoS2 and WSe2 transistors featuring average mobilities of 4.3 and 3.0 cm2 V−1 s−1, respectively, and on/off ratios of > 104 ...
Dongjoon Rhee, Okin Song, Ji Yun Park, Yonghyun Albert Kwon, Jae Hyung Kim, In Soo Kim, Zdeněk Sofer, Jeong Ho Cho, Deep Jariwala, Hyesung Park, Joohoon Kang   +10 more
wiley   +1 more source

Modal Logic in Sixteenth-Century Mexico

Crítica, 2018
En este artículo el autor examina varios puntos de la lógica modal de Alonso de la Vera Cruz (1504-1584). Lo hace utilizando el instrumental de la lógica matemática, tal como ya lo ha hecho en otros trabajos.
Walter Redmond
doaj   +1 more source

On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco   +2 more
doaj   +1 more source

High‐Spatiotemporal‐Resolution Transparent Thermoelectric Temperature Sensor Arrays Reveal Temperature‐Dependent Windows for Reversible Photothermal Neuromodulation

Advanced Functional Materials, EarlyView.
Thermoelectric temperature sensors are developed that directly measure heat changes during optical‐based neural stimulation with millisecond precision. The sensors reveal the temperature windows for safe reversible neural modulation: 1.4–4.5 °C enables reversible neural inhibition, while temperatures above 6.1 °C cause permanent thermal damage.
Junhee Lee, Dongjo Yoon, Jungha Lee, Duhee Kim, Eunui Kim, Jong‐Hyeok Yoon, Hyuk‐Jun Kwon, Seungjun Chung, Yoonkey Nam, Hongki Kang   +9 more
wiley   +1 more source

A Monadic Formalization of ML5 [PDF]

Electronic Proceedings in Theoretical Computer Science, 2010
ML5 is a programming language for spatially distributed computing, based on a Curry-Howard correspondence with the modal logic S5. Despite being designed by a correspondence with S5 modal logic, the ML5 programming language differs from the logic in ...
Daniel R. Licata, Robert Harper
doaj   +1 more source