Case series report on long-term result of endovascular approach to thrombosed limb or limb graft occlusion of aortoiliac endoprosthetic stent graft using the first-order percutaneous mechanical arterial advanced thrombectomy technology protocol. [PDF]
J Vasc Surg Cases Innov TechCartwright A +6 more
europepmc +1 more source
Effect of radiation-induced vacancy saturation on the first-order phase transformation in nanoparticles: insights from a model. [PDF]
Beilstein J NanotechnolShirinyan A, Bilogorodskyy Y.
europepmc +1 more source
Jamming is a first-order transition with quenched disorder in amorphous materials sheared by cyclic quasistatic deformations. [PDF]
Nat CommunDeng Y, Pan D, Jin Y.
europepmc +1 more source
Application of a Modified First-Order Plate Theory to Structural Analysis of Sensitive Elements in a Pyroelectric Detector. [PDF]
Micromachines (Basel)Lian M +5 more
europepmc +1 more source
External evaluation of neonatal vancomycin population pharmacokinetic models: Moving from first-order equations to Bayesian-guided therapeutic monitoring. [PDF]
PharmacotherapyBlouin M +9 more
europepmc +1 more source
Polarized Raman Study of First-Order Phonons in Self-Flux Grown Single-Crystalline WTe2. [PDF]
Nanomaterials (Basel)Rafailov PM +3 more
europepmc +1 more source
Related searches:
Summary: In ``Locus solum'' [ibid. 11, 301--506 (2001; Zbl 1051.03045)], \textit{J.-Y. Girard} presented a new theory, The Ludics, which is a model of realisability of logic that associates proofs with designs, and formulas with behaviours. In this article we study the interpretation in this semantics of formulas with first-order quantifications and ...
Marie-Renée Fleury, Myriam Quatrini
openaire +1 more source