Results 41 to 50 of about 45,874 (260)
Smart Catheters for Diagnosis, Monitoring, and Therapy
Advanced Healthcare Materials, EarlyView.This study presents a comprehensive review of smart catheters, an emerging class of medical devices that integrate embedded sensors, robotics, and communication systems, offering increased functionality and complexity to enable real‐time health monitoring, diagnostics, and treatment. Abstract This review explores smart catheters as an emerging class of
Azra Yaprak Tarman +12 more
wiley +1 more source
A note on generalized generalization
Acta Universitatis Carolinae: Philosophica et HistoricaThe generalization rules of sequent calculi allow, under some restrictions, to derive a formula ∃χφ or ∀χφ from a formula φχ (γ), i.e. from the formula obtained by substituting a variable γ for all free occurrences of χ in φ.
Vítězslav Švejdar
doaj +1 more source
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach
, 2012 We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles.
Elaine Pimentel +3 more
core +2 more sources
Set theory in predicate calculus with equality
Archiv für Mathematische Logik und Grundlagenforschung, 1983 This paper has the same aim as that of the author's paper reviewed above, but the system of illative combinatory logic on which it is based has an extra primitive constant Q for equality. Also instead of assuming that all individuals are sets it assumes the (incompatible) property that all sets are individuals.
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.xx xx. ABSTRACT Osseointegration of orthopedic and dental implants is influenced by local and systemic factors, including their physicochemical surface properties and the patient's overall health status. Titanium and its alloys have been a longstanding standard for bone implants due to their innate biocompatibility and mechanical properties.
Dainelys Guadarrama Bello +2 more
wiley +1 more source
A Finitely Axiomatized Formalization of Predicate Calculus with Equality
Notre Dame Journal of Formal Logic, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Advanced Healthcare Materials, EarlyView.Platform system to create biofabricated 3D spinal cord tissue models: Combining high resolution PCL fiber placement, a customized, hyaluronic acid‐based hydrogel, two cell types (spinal cord neurons and astrocytes) together with three distinct laminin isoforms allow the formation of functional cell–cell network interactions.
Nicoletta Murenu +12 more
wiley +1 more source
, 2014 The consistency formula for set theory can be stated in terms of the free-variables theory of primitive recursive maps. Free-variable p. r. predicates are decidable by set theory, main result here, built on recursive evaluation of p. r.
Pfender, Michael
core
Advanced Materials Interfaces, EarlyView.Sputtered WS2 films were investigated in terms of their S‐ and O‐concentration depending on deposition power and pre‐sputter time. Chemical and structural investigations were done using EDS, TEM, SEM, AFM, XRD. In general, 20 W films exhibit a wide variation in stoichiometry and structure whereas 80 W films demonstrate a higher S/W ratio than 20 W ...
Theresa Scheler +4 more
wiley +1 more source
Weakest Preconditions for Progress [PDF]
, 1991 Predicate transformers that map the postcondition and all intermediate conditions of a command to a precondition are introduced.
Lukkien, Johan J. +1 more
core +1 more source