Results 61 to 70 of about 966,425 (288)
Journal of Computer and System Sciences, 1980 AbstractWe study the expressive power of various versions of Dynamic Logic and compare them with each other as well as with standard languages in the logical literature. One version of Dynamic Logic is equivalent to the infinitary logic Lω1,ωCK but regular Dynamic Logic is strictly less expressive.
Meyer, Albert R., Parikh, Rohit
openaire +2 more sources
Innovating Aircraft Repair Processes: The Role of Digitalization in Sustainability
Advanced Engineering Materials, EarlyView.This research explores how digitalization—by storing detailed non‐destructive testing data in structured DICONDE databases and creating a standard data model of the component—innovates aviation maintenance and repair processes. Coupled with a developed state‐based simulation model, it enables data‐driven, sustainable repair strategies that reduce waste,
Johanna Aigner +3 more
wiley +1 more source
Dynamic Epistemic Logic and Logical Omniscience
Logic and Logical Philosophy, 2015 Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as ...
openaire +3 more sources
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
Footer Voltage Controlled Dual Keeper Domino Logic with Static Switching Approach
Advances in Electrical and Electronic Engineering, 2020 In this paper, two circuits, namely Footer Voltage Controlled Dual Keeper domino logic (FVCDK) and Footer Voltage Controlled Dual Keeper with Static Switching domino logic (FVCDK-SS) are presented, in order to achieve high speed, low power consumption ...
Chirag Parashar +3 more
doaj +1 more source
, 2017 Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum).
AM Antonopoulos +11 more
core +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
The impact of dominant logic and competitive intensity on SMEs performance: A case from China
Journal of Innovation & Knowledge, 2019 Intangible resources are widely considered the main source of gaining competitive advantage and sustain superior performance in transition and emerging economies such as China, particularly in SMEs sector.
Kashif Ullah Khan +3 more
doaj +1 more source
Fault isolation procedure analysis method based on dynamic fault tree
Hangkong gongcheng jinzhan, 2023 The traditional fault isolation program uses the conventional static fault tree for fault analysis,which may lead to incomplete fault cause analysis,too cumbersome fault isolation path and other problems.
KE Qianyun, TU Zhiqi, LIU Yaqi
doaj +1 more source
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