Results 101 to 110 of about 2,584,296 (324)
A Characterisation of Medial as Rewriting Rule [PDF]
, 2007 International audienceMedial is an inference rule scheme that appears in various deductive systems based on deep inference. In this paper we investigate the properties of medial as rewriting rule independently from logic.
Strassburger, Lutz
core +2 more sources
Advanced Functional Materials, EarlyView.Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu +17 more
wiley +1 more source
Integrating Context of Statements within Description Logics
CoRR, 2017 We address the problem of providing contextual information about a logical formula (eg provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism.
Antoine Zimmermann +1 more
openaire +2 more sources
Advanced Functional Materials, EarlyView.A large number of MoS2 flakes were screened to obtain high‐quality flakes based on optical intensities in R, G, and B channel images. The flakes were classified from Level 1 to 6 based on optical intensities in the R, G, and B channel images. Low‐quality flake exhibited wrinkled, folded, or overlapped features, while high‐quality displayed a neat ...
Sanghyun Lee +11 more
wiley +1 more source
Education SciencesIn this theoretical paper, an epistemic logical model for analysis of students’ argumentation and proof processes is presented. The model is conceived as a methodological tool addressed to the researcher in mathematics education that aims to shed light ...
Miglena Asenova
doaj +1 more source
Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor
Advanced Functional Materials, EarlyView.Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben +6 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Interphase chemistry governs the stability of multivalent metal batteries. We summarize state‐of‐the‐art developments in calcium and magnesium metal batteries by focusing on the correlation among electrolytes, interphase layers, and the electrochemical performance of corresponding metal anodes.
Huijun Lin +4 more
wiley +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
Logos i Ethos, 2012 The subject of the article is a role of metaphor In Jozef Tischner’s philosophy. In late seventies he shaped an idea of „thinking within metaphor”, which was an essential modification of phenomenological method Tischner used before.
Dobrosław Kot
doaj +1 more source
Lakatos on justificationism [PDF]
According to the scientific "justificationist" method, knowledge consisted of proven sentences. Classical intellectuals (or "rationalists," in the narrow sense of the term) have accepted extremely varied - and powerful "proofs", through revelation ...
Sfetcu, Nicolae
core