Results 51 to 60 of about 113,481 (327)
Tor: modular search with hookable disjunction [PDF]
, 2013 Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the ...
Desouter, Benoit, Schrijvers, Tom
core
Advanced Functional Materials, EarlyView.Multicolor optoelectronic synapses are realized by vertically integrating solution‐processed MoS2 thin‐film and SWCNT. The electronically disconnected but interactive MoS2 enables photon‐modulated remote doping, producing a bi‐directional photoresponse.
Jihyun Kim +8 more
wiley +1 more source
Languages, 2019 Two fundamental aspects of conceptual and linguistic structure are examined in relation to one another: organization into strata, each a baseline giving rise to the next by elaboration; and the conceptions of reality implicated at successive levels of ...
Ronald W. Langacker
doaj +1 more source
Mathematics, 2022 The quantum model has been considered to be advantageous over the Markov model in explaining irrational behaviors (e.g., the disjunction effect) during decision making.
Xiaoyang Xin +4 more
doaj +1 more source
Device Integration Technology for Practical Flexible Electronics Systems
Advanced Functional Materials, EarlyView.Flexible device integration technologies are essential for realizing practical flexible electronic systems. In this review paper, wiring and bonding techniques critical for the industrial‐scale manufacturing of wearable devices are emphasized based on flexible electronics.
Masahito Takakuwa +5 more
wiley +1 more source
Anales del Jardín Botánico de Madrid, 2008 Microcnemum is a monotypic genus of Salicornioideae comprising rare, annual, hygrohalophytic herbs growing in hypersaline inland lagoons and salt pans. Microcnemum coralloides shows an East-West disjunction in the Mediterranean region: M.
Gudrun Kadereit, Ahmet Emre Yaprak
doaj +1 more source
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]
, 2020 In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica +2 more
core +1 more source
Advanced Functional Materials, EarlyView.3D porous carbons with tunable density are crucial for energy storage, separations, and load‐bearing applications; however, their fabrication is often constrained by shrinkage during pyrolysis. This study optimizes and demonstrates the versatility of a template–coating pair strategy, producing materials that largely retain their shape and hierarchical ...
Adarsh Suresh +7 more
wiley +1 more source
The child’s “or” construction: it’s all about choice
Frontiers in Communication“Or” is associated, in Gricean approaches, with the readings Inclusive (“at least one, and possibly both, options are true”) and Exclusive (“exactly one option is true”).
Mira Ariel +3 more
doaj +1 more source
A Formalism for Action Representation Inspired by Mīmāṁsā
Journal of Intelligent Systems, 2012 This paper endeavors to formalize imperatives that convey actions. Imperatives, unlike propositions, do not hold the value of true or false. Peter Vranas proposed an alternate logical formalism in the literature of imperative logic with three values ...
Srinivasan Bama, Parthasarathi Ranjani
doaj +1 more source