Results 51 to 60 of about 2,799,711 (314)
Automated Termination Proofs for Logic Programs by Term Rewriting
, 2008 There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the logic program. Transformational approaches transform a logic program into
Giesl, J. +3 more
core +2 more sources
A decidable weakening of Compass Logic based on cone-shaped cardinal directions [PDF]
, 2015 We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition letters and spatial relations are induced by the four cone-shaped cardinal
Montanari, Angelo +2 more
core +5 more sources
Advanced Functional Materials, EarlyView.A unique 2D bionanozyme, engineered from a single amino acid and copper ions, demonstrates peroxidase‐mimicking catalytic activity. This efficient and simple bionanozyme allows for ultrasensitive, equipment‐free visual detection of key biomarkers in both test and real samples, meeting the WHO‐REASSURE standards for practical diagnostic applications ...
Subrat Vishwakarma +5 more
wiley +1 more source
Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]
, 2010 We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
A. Dawar +27 more
core +2 more sources
A Multi-Bit Neuromorphic Weight Cell Using Ferroelectric FETs, suitable for SoC Integration
IEEE Journal of the Electron Devices Society, 2018 A multi-bit digital weight cell for high-performance, inference-only non-GPU-like neuromorphic accelerators is presented. The cell is designed with simplicity of peripheral circuitry in mind.
Borna Obradovic +6 more
doaj +1 more source
Journal of Electrochemical Science and Engineering, 2020 When performing electrochemical impedance spectroscopy (EIS) measurements on a system, we must make sure it fulfills certain conditions. One of them is that it should be stationary that is to say, steady-state and time-invariant. Commonly studied systems
Nicolas Murer +2 more
doaj +1 more source
Sensors, 2021 This paper presents a computational method based on non-classical logic dedicated to routing management and information stream control in communication networks. Paraconsistent logic (PL) was used to create an algorithmic structure whose main property is
João Inácio Da Silva Filho +10 more
doaj +1 more source
Ultrasoft Iontronics: Stretchable Diodes Enabled by Ionically Conductive Bottlebrush Elastomers
Advanced Functional Materials, EarlyView.This work introduces a solvent‐free, ultrasoft, and stretchable ionic diode based on oppositely charged bottlebrush elastomers (BBEs). The BBE diode exhibits an ultralow Young's modulus (<23 kPa), a high rectification ratio of 46, and stretchability over 400%.
Xia Wu +6 more
wiley +1 more source