Results 41 to 50 of about 39,738 (264)
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
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
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
Almost Linear Büchi Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA).
Tomáš Babiak +2 more
doaj +1 more source
Kripke Models and Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1970 In [10], Kripke gave a definition of the semantics of the intuitionistic logic. Fitting [2] showed that Kripke's models are equivalent to algebraic models (i.e., pseudo-Boolean models) in a certain sense. As a corollary of this result, we can show that any partially ordered set is regarded as a (characteristic) model of a intermediate logic ^ We shall ...
openaire +2 more sources
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
Al-JabarBackground: The effectiveness of learning strategies plays a pivotal role in enhancing the educational experience, engaging students, and ensuring comprehension of the subject matter.
Kodirun Kodirun, Busnawir Busnawir
doaj +1 more source
Intermediate Logics and Visser's Rules
Notre Dame Journal of Formal Logic, 2005 A set \(R\) of admissible rules forms a basis of admissible rules for a logic \(L\) if all the admissible rules of \(L\) can be derived from \(R\). It was proved by the author [J. Symb. Log. 66, 281--294 (2001; Zbl 0986.03013)] that the so-called Visser's rules form a basis of admissible rules for the intuitionistic propositional calculus \textbf{IPC}.
openaire +4 more sources
On an Application of Intermediate Logics [PDF]
Nagoya Mathematical Journal, 1960 In [1] I investigated some logics intermediate between intuitionistic and classical predicate logics. The purpose of this paper is to show the possibility of applying some intermediate logics to mathematics namely, to show that some mathematical theorems which are provable in the classical logic but not provable in the intuitionistic logic are provable
openaire +3 more sources
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source