Results 41 to 50 of about 776,600 (243)

Fuzzy Logic in Computer Science

, 2011
Many researchers and practitioners in the field of artificial intelligence (and intelligent systems in particular) want to make computers smart. Unlike computers, human beings have great capacities to deal with ill-defined concepts, e.g., natural language.
Radim Belohlavek, Rudolf Kruse, Christian Moewes   +2 more
openaire   +1 more source

Mathematical Logic and Deduction in Computer Science Education [PDF]

Informatics in Education, 2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education. We present a heterogeneous study both theoretical based and empirically based which points out the key role of logic in computer
Hashim HABIBALLA, Tibor KMET
openaire   +3 more sources

In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device

Advanced Functional Materials, EarlyView.
In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang, Rohan Dhall, Matthew M. Schneider, Cun Li, Chengyu Song, Sundar Kunwar, Hongyi Dou, Natanii R. Yazzie, Henry Tran, Daniel Appuing, Jim Ciston, Nicholas G. Cucciniello, Pinku Roy, Michael T. Pettes, John Watt, Winson Kuo, Haiyan Wang, Ye Cao, Rodney J. McCabe, Aiping Chen   +19 more
wiley   +1 more source

Understanding Science Through Knowledge Organizers: An Introduction [PDF]

, 2004
We propose, in this paper, a teaching program based on a grammar of scientific language borrowed mostly from the area of knowledge representation in computer science and logic.
G., Nagarjuna, Kharatmal, Meena
core  

Rational Device Design and Doping‐Controlled Performance in Fast‐Response π‐Ion Gel Transistors

Advanced Functional Materials, EarlyView.
π‐Ion gel transistors (PIGTs) achieve extraordinary transconductance and stability through device configuration optimization, high‐mobility conjugated polymer selection, and hole scavenger doping. The optimized PIGTs maintain performance on flexible substrates, enabling printed, fast‐response, and wearable electronics.
Masato Kato, Soh Kushida, Nafees Umar Draz, Dan Kyotani, Emanuel Smarsly, Kyota Yoshinaga, Wenhao He, Uwe H. F. Bunz, Kazuhiro Marumoto, Tatsuya Mori, Yohei Yamamoto   +10 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

Asymmetric Contact Engineering for Bottleneck‐Free Transport in 2D MoS2 Field‐Effect Transistor

Advanced Functional Materials, EarlyView.
Performance of 2D semiconductor transistors is limited by carrier transport bottlenecks arising from specific device geometries. By identifying this structural limitation, a bottleneck‐free asymmetric transistor architecture (BATA) is introduced to improve carrier transport.
Jinhyeok Pyo, Junsung Byeon, Jungmoon Lim, Sohyeon Park, Sungsan Kang, Byeongchan Kim, Gyuhwi Jeong, Haerim Kim, Bongjun Kim, SeungNam Cha, Sangyeon Pak   +10 more
wiley   +1 more source

Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4

Advanced Functional Materials, EarlyView.
An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante, Valeria Demontis, Karl Jonas Riisnaes, Lam Hoi Tung, Sebastiano De Stefano, Daniela Marongiu, Adolfo Mazzotti, Aditya Bhardwaj, Francesco Mattana, Elisa Pili, Selene Matta, Federico Paolucci, Michele Saba, Andrea Mura, Giovanni Bongiovanni, Monica F Craciun, Saverio Russo, Antonio Di Bartolomeo   +17 more
wiley   +1 more source

Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips

Advanced Functional Materials, EarlyView.
This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee, Sofía Cruces, Xiaohua Liu, Yang Chen, Vasilis A. Maroufidis, Janghyun Jo, Lukas Völkel, Dennis Braun, Michael Möller, Leon Brackmann, Holger Kalisch, Michael Heuken, Andrei Vescan, Rafal E. Dunin‐Borkowski, Joachim Mayer, Stefan Wiefels, Max C. Lemme   +16 more
wiley   +1 more source

A New Threshold Switching Device With Tunable Negative Differential Resistance Based on ErMnO3 Polymorphs

Advanced Functional Materials, EarlyView.
Polymorph engineering in ErMnO3 enables low‐voltage, forming‐free threshold switching with tunable negative differential resistance. Conducting orthorhombic regions embedded in an insulating hexagonal matrix provide controlled Joule‐heating‐enhanced Poole–Frenkel transport. The hexagonal phase prevents excessive heating and breakdown.
Rong Wu, Florian Maudet, Thanh Luan Phan, Wassim Hamouda, Richard Schroedter, Ahmet Samil Demirkol, Ronald Tetzlaff, Veeresh Deshpande, Catherine Dubourdieu   +8 more
wiley   +1 more source