Results 71 to 80 of about 45,065 (245)
Resolution Principle and Fuzzy Logic
, 2012 Fuzzy Predicate Logic with Evaluated Syntax (FPL) (Novak, V.) is a well-studied and wide-used logic capable of expressing vagueness. It has a lot of applications based on robust theoretical background. It also requires an efficient formal proof theory.
openaire +4 more sources
Advanced Materials, Volume 37, Issue 11, March 19, 2025.Phase‐change materials (PCMs) are transforming reconfigurable photonics with their electrically tunable optical properties. This review examines the thermal challenges of scaling PCM devices to larger volumes beyond storage‐class applications, emphasizing thermal transport mechanisms, material properties, and design strategies.
Kiumars Aryana +10 more
wiley +1 more source
Advanced Materials, Volume 37, Issue 13, April 2, 2025.Liquid‐phase transmission electron microscopy enables visualization of nanoscale processes involving liquid media. Yet, it suffers from beam effects, such as radiolysis of the liquid, sample heating, and membrane charging. This review summarizes beam effect fundamentals, describes modeling and assessment, and illustrates handling strategies.
Birk Fritsch +5 more
wiley +1 more source
Resolution theorem proving in reified modal logics
Journal of Automated Reasoning, 1994 This paper is concerned with the application of the resolution theorem proving method to reified logics. The logical systems treated include the branching temporal logics and logics of belief based on K and its extensions. Two important problems concerning the application of the resolution rule to reified systems are identified.
Aitken, J. +2 more
openaire +3 more sources
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
Broadband THz Modulation via Solid‐State Organic Electrochemical Devices
Advanced Materials, Volume 37, Issue 11, March 19, 2025.A novel organic electrochemical device achieving over 90% reversible THz modulation via a conducting polymer is developed. The device demonstrates stability under repeated and continuous voltage switching and can operate in either depletion or accumulation modes.
Jonathan Scott +6 more
wiley +1 more source
Large Spin‐Orbit Torque with Multi‐Directional Spin Components in Ni4W
Advanced Materials, EarlyView.Ni4W is theoretically proposed and experimentally verified as a promising unconventional spin‐orbit torque (SOT) material for generating multi‐directional spins. Epitaxial Ni4W thin films with outstanding crystallinity are grown by magnetron sputtering.
Yifei Yang +17 more
wiley +1 more source
A derivation-loop method for temporal logic
Lietuvos Matematikos Rinkinys, 2019 Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature.
Romas Alonderis, Haroldas Giedra
doaj +1 more source
Advanced Materials, EarlyView.A multifunctional memristor is demonstrated for in‐memory sensing and computing, leveraging a MoWS₂/VOx heterojunction to enable high ON/OFF ratio up to 10⁸ with ultralow operating voltages of ±0.2 V. This bio‐inspired multimodal design exhibits tunable synaptic behavior across electrical, optical, and humidity stimuli, enabling in situ modulation of ...
Abdul Momin Syed +8 more
wiley +1 more source
Informal Logic, 2005 Argument-giving reasons for a view-is our model of rational dispute resolution. Fogelin (1985) suggests that certain "deep" disagreements cannot be resolved in this way because features of their context "undercut the conditions essential to arguing" (p ...
Dale Turner, Larry Wright
doaj +1 more source