Results 101 to 110 of about 779,559 (291)
Transformation Rules for Locally Stratified Constraint Logic Programs [PDF]
, 2004 We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model.
Fioravanti, Fabio +2 more
core
Semantics out of context: nominal absolute denotations for first-order logic and computation
, 2016 Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core +1 more source
In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device
Advanced Functional Materials, EarlyView.In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang +19 more
wiley +1 more source
Advanced Functional Materials, EarlyView.High‐entropy perovskite nanofibers serve as robust and active bifunctional air electrodes in reversible protonic ceramic electrochemical cells. Their compositional complexity stabilizes the lattice, enriches oxygen vacancies, and accelerates surface exchange.
Hyeonggeun Kim +4 more
wiley +1 more source
Local Thermal Conductivity Patterning in Rotating Lattice Crystals of Anisotropic Sb2S3
Advanced Functional Materials, EarlyView.Microscale control of thermal conductivity in Sb2S3 is demonstrated via laser‐induced rotating lattice crystals. Thermal conductivity imaging reveals marked thermal transport anisotropy, with the c axis featuring amorphous‐like transport, whereas in‐plane directions (a, b) exhibit 3.5x and 1.7x larger thermal conductivity.
Eleonora Isotta +13 more
wiley +1 more source
, 2015 We present infinite extensive strategy profiles with perfect information and we show that replacing finite by infinite changes the notions and the reasoning tools.
Lescanne, Pierre
core +2 more sources
Advanced Functional Materials, EarlyView.An adapted processing for solvent‐free argyrodite solid electrolyte films based on insights into degradation mechanisms of the widely used binder polytetrafluoroethylene is presented. By adapting the dry film processing, long‐term cycling in Si||NMC pouch cells is demonstrated over more than 1000 cycles with a capacity retention of more than 80%, and ...
Maria Rosner +10 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
Electroactive Liquid Crystal Elastomers as Soft Actuators
Advanced Functional Materials, EarlyView.Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley +1 more source
Advanced Functional Materials, EarlyView.It is reported that the ferroelectric switching behavior of rhombohedral (3R) phase transition metal dichalcogenide (TMD) bilayers strongly depends on their domain structures. Single‐domain TMDs (SD‐TMDs) with domain‐wall‐free structures exhibit robust and stable polarization switching, whereas poly‐domain TMDs (PD‐TMDs) with randomly distributed ...
Ji‐Hwan Baek +8 more
wiley +1 more source