Results 31 to 40 of about 3,384 (264)
Karl Popper and the Mechanisms of Hydrogen Embrittlement
Advanced Engineering Materials, EarlyView.Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley +1 more source
Zeitschrift für digitale Geisteswissenschaften, 2015 Traditionally, ontology engineering is based on the presumption that the meaning of a proposition results from the combination of the meaning of its elements (concepts) and its syntactical structure.
Stefan Heßbrüggen-Walter
doaj +1 more source
Polymer Substrates for Flexible Sensors: Advances and Contributions to Smart Agriculture
Advanced Functional Materials, EarlyView.This review comprehensively summarizes recent advances in polymer‐based flexible sensors for smart agriculture, focusing on polymer substrate design, interface engineering, and applications in soil, plant, animal, aquaculture, and post‐harvest monitoring.
Yihui Li +12 more
wiley +1 more source
Proof-graphs for Minimal Implicational Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs.
Marcela Quispe-Cruz +2 more
doaj +1 more source
Structural completeness in propositional logics of dependence [PDF]
Archive for Mathematical Logic, 2016 In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed.
Rosalie Iemhoff, Fan Yang 0004
openaire +5 more sources
Advanced Materials, EarlyView.This review examines passive, active, and hybrid liquid manipulation strategies, highlighting hybrid approaches as an emerging route to reconcile energy efficiency with adaptive control. By actively reconstructing passive surfaces to store programmable interfacial energy, hybrid systems enable flexible yet low‐power liquid transport, with perspectives ...
Jiaqi Miao +3 more
wiley +1 more source
The Nature of Propositional Deduction—a Piagetian Perspective
Studia Semiotyczne, 2022 Logic was once thought to describe the laws of thought; however, a plurality of logics has now replaced classical logic, obscuring rather than clarifying the nature of deduction with an embarrassment of riches.
M. A. Winstanley
doaj
Crítica, 2019 Fear and Uncertainty discusses Robert Gordon’s thesis according to which fear is an epistemic —as opposed to factive— emotion inasmuch as S’s fearing p requires S’s being uncertain whether p or ∼p, and also requires that the uncertainty implicit in ...
Olbeth Hansberg
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Advanced Science, EarlyView.This study reveals a conserved half‐open active pocket in Fe(II)/α‐ketoglutarate‐dependent dioxygenases through protein structuromics, distinguished by structural features comprising highly flexible loop elements. Enhanced sampling simulations‐guided mutagenesis experiments elucidated how this flexible loop regulates pocket open/closed conformations ...
Lunjie Wu +10 more
wiley +1 more source