Results 41 to 50 of about 3,377 (263)
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source
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
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
A Dislocation Perspective on Strength and Toughness in Ceramics
Advanced Engineering Materials, EarlyView.Dislocations in ceramics enjoy a long but yet under‐appreciated history. The three research waves for dislocations in ceramics highlight the topic evolution over the last 90 years. This review focuses on the impact of dislocation on strength and toughness in ceramics.
Xufei Fang
wiley +1 more source
Advanced Science, EarlyView.Nitrosyl heme emerges as an extracellular nitrodilator that dilates arteries without crossing the cell membrane. Instead, heme‐NO mobilizes NO moieties from a preformed intracellular NO store within vascular smooth muscle, providing both functional and chemical evidence for the NANOS model, revealing a previously unrecognized mechanism of arterial ...
Taiming Liu +9 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.A multifunctional terahertz (THz) platform is demonstrated, in a model material Fe4Nb2O9, exhibiting a large intrinsic THz phase shift alongside distinct THz magnon excitations in its antiferromagnetic phase. This coexistence of phase modulation and spin dynamics offers a promising pathway toward integrated THz communication and magnonic computation ...
Brijesh Singh Mehra +10 more
wiley +1 more source