44 research outputs found
Further studies on the effect of the collagen triple-helix formation on the hydroxylation of lysine and the glycosylations of hydroxylysine in chick-embryo tendon and cartilage cells
Matrix-metalloproteinase-2,-8 and-9 in serum and skin blister fluid in patients with severe sepsis
Peer reviewe
Lassie: HOL4 Tactics by Example
Proof engineering efforts using interactive theorem proving have yielded
several impressive projects in software systems and mathematics. A key obstacle
to such efforts is the requirement that the domain expert is also an expert in
the low-level details in constructing the proof in a theorem prover. In
particular, the user needs to select a sequence of tactics that lead to a
successful proof, a task that in general requires knowledge of the exact names
and use of a large set of tactics.
We present Lassie, a tactic framework for the HOL4 theorem prover that allows
individual users to define their own tactic language by example and give
frequently used tactics or tactic combinations easier-to-remember names. The
core of Lassie is an extensible semantic parser, which allows the user to
interactively extend the tactic language through a process of definitional
generalization. Defining tactics in Lassie thus does not require any knowledge
in implementing custom tactics, while proofs written in Lassie retain the
correctness guarantees provided by the HOL4 system. We show through case
studies how Lassie can be used in small and larger proofs by novice and more
experienced interactive theorem prover users, and how we envision it to ease
the learning curve in a HOL4 tutorial
Perioperative Quality Initiative (POQI) consensus statement on the physiology of blood pressure control as applied to perioperative medicine.
Background: A multi-disciplinary, international working subgroup of the Third Perioperative Quality Initiative (POQI) consensus meeting reviewed the (patho)physiology and measurement of arterial blood pressure (ABP), as applied to perioperative medicine. Methods: We addressed predefined questions by undertaking a modified Delphi analysis, in which primary clinical research and review articles were identified using MEDLINE. Strength of recommendations, where applicable, were graded by NICE guidelines. Results: Perioperative ABP management is a physiologically-complex challenge influenced by multiple factors: (i) ABP is the input pressure to organ blood flow, but is not the sole determinant of perfusion pressure; (ii) blood flow is often independent of changes in perfusion pressure, due to autoregulatory changes in vascular resistance; (iii) microvascular dysfunction uncouples microvascular blood flow from ABP (haemodynamic incoherence) From a practical clinical perspective, we identified that: (i) ambulatory measurement is the optimal method to establish baseline ABP; (ii) automated and invasive ABP measurements have inherent physiological and technical limitations; (iii) individualised ABP targets may change over time, especially during the perioperative period. There remains a need for research in non-invasive, continuous arterial pressure measurements, macro- and microcirculatory control, regional perfusion pressure measurement and the development of sensitive, specific and continuous measures of cellular function to evaluate blood pressure management in a physiologically coherent manner. Conclusion: The multivariable, complex physiology contributing to dynamic changes in perioperative ABP may be underappreciated clinically. The frequently unrecognised dissociation between ABP, organ blood flow, microvascular and cellular function requires further research that develops a more refined, contextualized clinical approach to this routine measurement
NemateriÄlo aktÄ«vu grÄmatvedÄ«bas metodoloÄŁiskÄs problÄmas Latvijas RepublikÄ
Nonfluorinated hydrophobic surfaces
are of interest for reduced
cost, toxicity, and environmental problems. Searching for such surfaces
together with versatile processing, A200 silica nanoparticles are
modified with an oligodimethylsiloxane and used by themselves or with
a polymer matrix. The goal of the surface modification is controlled
aggregate size and stable suspensions. Characterization is done by
NMR, microanalysis, nitrogen adsorption, and dynamic light scattering.
The feasibility of the concept is then demonstrated. The silica aggregates
are sprayed in a scalable process to form ultrahydrophobic and imperceptible
coatings with surface topographies of controlled nanoscale roughness
onto different supports, including nanofibrillated cellulose. To improve
adhesion and wear properties, the organosilica was mixed with polymers.
The resulting composite coatings are characterized by FE-SEM, AFM,
and contact angle measurements. Depending on the nature of the polymer,
different functionalities can be developed. PolyÂ(methyl methacrylate)
leads to almost superhydrophobic and highly transparent coatings.
Composites based on commercial acrylic car paint show âpearl-bouncingâ
droplet behavior. A light-emitting polyfluorene is synthesized to
prepare luminescent and water repellent coatings on different supports.
The interactions between polymers and the organosilica influence coating
roughness and are critical for wetting behavior. In summary, the feasibility
of a facile, rapid, and fluorine-free hydrophobization concept was
successfully demonstrated in multipurpose antiwetting applications
Kutomon viikkotuotanto on 1200 pakkaa printersiÀ, 1000 pakkaa sertinkiÀ ja 1200 pakkaa lÀhetyskangasta; tÀtÀ lankamenekkiÀ ja n. 1000 kimpun lankamyyntiÀ varten on suunniteltava kehrÀÀmö...
PROTEINS OF THE SEMINIFEROUS TUBULE FLUID IN MAN\p=m-\EVIDENCEFOR A BLOOD\p=m-\TESTISBARRIER
Summary. Seminiferou