Results 81 to 90 of about 2,358,795 (346)
On linear rewriting systems for Boolean logic and some applications to proof theory [PDF]
Logical Methods in Computer Science, 2017 Linear rules have played an increasing role in structural proof theory in recent years. It has been observed that the set of all sound linear inference rules in Boolean logic is already coNP-complete, i.e. that every Boolean tautology can be written as a
Anupam Das, Lutz Straßburger
doaj +1 more source
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Value Configuration in Higher Education – Intermediate Tool Development for Teaching in Complex Uncertain Environments and Developing a Higher Education Value Framework [PDF]
Athens Journal of Education, 2017 This conceptual paper addresses the issue of value creation in the field of higher education and pre-sents a new theoretical perspective by assigning the Service Dominant Logic (SD-logic) and develop-ing a higher education value framework, consisting of ...
David Wawrzinek +2 more
doaj +1 more source
A Program Logic for Union Bounds [PDF]
International Colloquium on Automata, Languages and Programming, 2016 We propose a probabilistic Hoare logic aHL based on the union bound, a tool from basic probability theory. While the union bound is simple, it is an extremely common tool for analyzing randomized algorithms.
G. Barthe +4 more
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp +7 more
wiley +1 more source
The Effects of the Underground Economy on Demand for Imports of Intermediate, Consumption and Capital Goods in Iran [PDF]
پژوهشهای اقتصادی, 2016 This paper investigates the effects of underground economy on the Iran’s imports demand for intermediate, consumption and capital goods during 1971-2011.
hamidReza horry +2 more
doaj
Deadlock detection of Java Bytecode
, 2017 This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models
AE Flores-Montoya +5 more
core +1 more source
Advanced Functional Materials, EarlyView.Ab initio calculations using the r2SCAN functional show that biaxial strain does not alter the high spin preference of cobalt‐doped BaTiO3 and PbTiO3; a small compressive uniaxial strain however results in an equally favorable low spin state for BaTiO3 and thus bistable magnetism.
Oliver J. Conquest +3 more
wiley +1 more source
BMC Family Practice, 2010 Background China has had no effective and systematic information system to provide guidance for strengthening PHC (Primary Health Care) or account to citizens on progress.
Wang Bin +5 more
doaj +1 more source
Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders
Advanced Functional Materials, EarlyView.This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao +5 more
wiley +1 more source