Results 91 to 100 of about 7,042,113 (292)
Introduction. Two types of constructive solutions for fusion of subaxial cervical spine traumatic injury are possible. The first is an independent combination of interbody implant and anterior plating, the second one is the single telescopic ...
Ievgenii I. Slynko +1 more
doaj +1 more source
Bound Water as a Reinforcing Element for Ultra‐Strong Polyacrylamide
Rather than acting as a conventional plasticizer, bound water serves as a reinforcing element in polyacrylamide by constructing strong PAM–water–PAM hydrogen‐bond networks. This water‐mediated architecture delivers ultra‐high mechanical strength and exceptional flame resistance, redefining the role of water in polymer reinforcement.
Sirawit Pruksawan +10 more
wiley +1 more source
Sheaf Semantics in Constructive Algebra and Type Theory [PDF]
In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory. In the first part we study Newton-Puiseux
Mannaa, Bassel
core +1 more source
The concept of linear impactor electromechanical converter combined type with a single inductor excited by capacitive energy storage aperiodic pulse is proposed. The concept combines induction and electromagnetic converters.
V.F. Bolyukh +2 more
doaj
This research is focused on alpine building heritage in Sauris, a settlement in Carnia. Its residential building type is characterized by almost homogeneous spatial distribution and construction techniques, historically developed due to geographical ...
Carlo Antonio Stival +2 more
doaj +1 more source
Constructive Identities for Physics [PDF]
Homotopy Type theory instantiates a new form of axiomatic approach, which is more friendly to physics than the standard axiomatic approach stemming from Hilbert.
Rodin, A. V.
core
CA9‐targeted PET imaging could be a noninvasive approach to characterize clear cell renal cell carcinoma and associated tumor biology. PET uptake correlates with tumor CA9 expression and is linked to angiogenic activity, immune remodeling, and metabolic reprogramming.
Kailei Chen +19 more
wiley +1 more source
Quantum Type Indeterminacy in Dynamic Decision-Making: Self-Control through Identity Management
The Type Indeterminacy model is a theoretical framework that uses some elements of quantum formalism to model the constructive preference perspective suggested by Kahneman and Tversky. In a dynamic decision context, type indeterminacy induces a game with
Jerome Busemeyer +1 more
doaj +1 more source
Ferroelectric Catalysts in the Hydrogen Evolution Reaction: A Perspective
This perspective summarizes recent advances in ferroelectric (FE) catalysts for the hydrogen evolution reaction (HER). It first introduces HER fundamentals and FE mechanisms, then classifies FE catalysts into single‐phase, single‐atom‐modified, heterostructured, and other engineered types, with representative examples.
Rongxuan Lu +6 more
wiley +1 more source
This work demonstrates a design paradigm of phonon‐driven negative‐thermal‐expansion (NTE) flexible framework that exploits the intrinsic lattice flexibility of NTE frameworks to simultaneously suppress thermal expansion and activate oxide‐ion conduction, offering a promising strategy to mitigate TEC mismatch in solid‐state ionic devices.
Xiaohui Li +10 more
wiley +1 more source

