Results 41 to 50 of about 109,474 (252)

Automated Reasoning over Deontic Action Logics with Finite Vocabularies

, 2014
In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel ...
Castro, Pablo F., Maibaum, Thomas S. E.
core   +2 more sources

Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces

Advanced Functional Materials, EarlyView.
A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai, Yi Ning Zheng, Lei Zhang, Xiao Qing Chen, Giuseppe Castaldi, Tie Jun Cui, Vincenzo Galdi   +6 more
wiley   +1 more source

From explainable to interpretable deep learning for natural language processing in healthcare: How far from reality?

Computational and Structural Biotechnology Journal
Deep learning (DL) has substantially enhanced natural language processing (NLP) in healthcare research. However, the increasing complexity of DL-based NLP necessitates transparent model interpretability, or at least explainability, for reliable decision ...
Guangming Huang, Yingya Li, Shoaib Jameel, Yunfei Long, Giorgos Papanastasiou   +4 more
doaj   +1 more source

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Almost structural completeness; an algebraic approach [PDF]

, 2014
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can
M. Stronkowski, Michał, Wojciech Dzik
core  

Alkali Ion‐Incorporated HfO2 Dielectrics for Reconfigurable Neuromorphic Computing

Advanced Functional Materials, EarlyView.
This work presents an indium gallium zinc oxide (IGZO) transistor with an alkali cation‐integrated hafnium dioxide (HfO2) dielectric exhibiting synaptic behavior via ion retention. The solution‐based film fabrication strategy overcomes the limitations of atomic layer deposition (ALD) and precursor coating, enabling the control of synaptic retention ...
Seung Yeon Ki, In Cheol Kwak, Seonkwon Kim, Jihyun Kim, Dong Gue Roe, Se‐Jin Kim, Joohoon Kang, Jeong Ho Cho   +7 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, Jonas Riisnaes Karl, 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

The Modal and Epistemic Arguments against the Invariance Criterion for Logical Terms [PDF]

Journal of Philosophy, 2015
The essay discusses a recurrent criticism of the isomorphism-invariance criterion for logical terms, according to which the criterion pertains only to the extension of logical terms, and neglects the meaning, or the way the extension is fixed. A term, so claim the critics, can be invariant under isomorphisms and yet involve a contingent or a posteriori
openaire   +2 more sources

Computer Science and Metaphysics: A Cross-Fertilization

, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Benzmüller, Christoph, Kirchner, Daniel, Zalta, Edward N.   +2 more
core   +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