Results 101 to 110 of about 67,082 (308)
Propositional Temporal Linear Logic and its Application to Concurrent Systems
, 2000 as data consumption and of time such as execution time are very important. Logical systems which can treat them have been applied in that field. Linear logic has been called a resource conscious logic. The expressive power is enough to describe a dynamic
Summary In Computer Science
core
Abduction at the interface of Logic and Philosophy of Science [PDF]
, 2007 Abduction is a typical theme where logic and philosophy of science meet today: occasionally, with computer science as a go-between. This is just one instance of a broader study of ‘styles of reasoning’, dating back to Bolzano and Peirce.
van Benthem, J. +3 more
core +1 more source
Advanced Functional Materials, EarlyView.A fully transparent, all‐metal‐oxide neuromorphic transistor using a sodium‐embedded alumina (SEA) electrolyte is demonstrated. By precisely tuning the thermal annealing process, the chemical composition of the SEA layer is controlled, allowing for the deterministic realization of both short‐term and long‐term synaptic plasticity within the same device
Yonghyun Albert Kwon +7 more
wiley +1 more source
The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs [PDF]
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of ...
Helder Coelho +2 more
core
Formation of Quasi‐Decoupling Interface on Li‐Metal Anodes in High Donor Electrolyte
Advanced Functional Materials, EarlyView.Li‐metal anode (LMA) is stabilized by introducing Li2Te2 as an electrolyte additive for Li‐metal batteries. Upon contact with Li, Li2Te2 spontaneously converts to Li2Te, which electronically isolates Li from dimethyl sulfoxide due to its large bandgap and minimal Bader charge transfer.
Hyerim Kim +9 more
wiley +1 more source
Dual‐Mode Magnetic Elastomer for On‐Demand Motion and Degradation
Advanced Functional Materials, EarlyView.A dual‐mode magnetic elastomer is introduced, enabling DC field‐driven programmable actuation and AC field‐driven magnetothermal degradation. GHz‐range magnetic fields generate ultrafast heating of magnetic nanoparticles that activates cleavage of the silicone elastomer matrix.
Jieun Han +13 more
wiley +1 more source
Description Logics: Foundations for Class-based Knowledge Representation
, 2002 Class-based languages express knowledge in terms of objects and classes, and have inspired a huge number of formalisms in computer science. Description logics form a family of both class-based and logic-based knowledge representation languages which ...
Giuseppe De Giacomo +4 more
core +1 more source
Design by contract - Deontic design language for multiagent systems [PDF]
, 2005 Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines),relying on mutual obligations and benefits made explicit by assertions.
Garion, C. +4 more
core +1 more source
Advanced Functional Materials, EarlyView.Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg +6 more
wiley +1 more source
, 1982 Logic, Methodology and Philosophy of Science VI.Includes bibliographical references and index.Electronic reproduction.Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version
Cohen, L. Jonathan(Laurence Jonathan) +1 more
core