ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Asynchronous concurrent computation  (1)
  • Cardiac output  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Formal aspects of computing 7 (1995), S. 113-149 
    ISSN: 1433-299X
    Keywords: Linear logic programming ; Asynchronous concurrent computation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We propose a new framework called ACL for concurrent computation based on linear logic. ACL is a kind oflinear logic programming framework, where its operational semantics is described in terms ofproof construction in linear logic. We also give a model-theoretic semantics based onphase semantics, a model of linear logic. Our framework well captures concurrent computation based on asynchronous communication. It will, therefore, provide us with a new insight into other models of asynchronous concurrent computation from alogical point of view. We also expect ACL to become a formal framework for analysis, synthesis and transformation of concurrent programs by the use of techniques for traditional logic programming. ACL's attractive features for concurrent programming paradigms are also discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1573-2614
    Keywords: Cardiac output ; circulating blood volume ; dye dilution method ; indocyanine green ; thermodilution method ; pulse dye-densitometry ; pulse oximetry
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Abstract Objective. Pulse dye-densitometry (PDD) is a newly developed methodfor monitoring the indocyanine green (ICG) concentration in an artery withwhich cardiac output (CO) and circulating blood volume (CBV) can bedetermined. We evaluated its accuracy for clinical use. Methods. In 7patients under general anesthesia, ICG-sensitive optical probes (805 and 890nm) were attached to a finger. Following injection of ICG, the arterialconcentration of dye was recorded optically by the non-invasive testinstrument and sampled arterial blood ICG concentration was also measuredphotometrically for comparison. In order to validate the PDD analysis, CO wasalso measured by both the dye dilution cuvette method and by thermodilutionin 8 patients scheduled for coronary artery bypass grafting. In 30 otherpatients, CBV assessed by PDD was compared with its value estimated from bodysize. Results. The blood dye concentration correlated well with thevalues obtained by PDD (r = 0.953, p 〈 0.01). Meanbias for the test PDD CO was +0.15 ± 0.72 minl−1 (not significant (n.s.)) compared with the cuvette methodwhile the mean bias of the thermodilution method vs thecuvette method was +0.79 ± 0.84 min l−1 (p 〈 0.0001.). The average value of CBV obtained by PDD was 3.81± 1.39 L compared with that estimated value, 3.72 ± 0.77 L (n.s.).Conclusions. CO determined by PDD agrees wellwith cuvette densitometry, and somewhat less well with CO by thermodilution.The new method, by not requiring a pulmonary arterial catheter, is lessinvasivethan either older method, and yields in addition a value of CBV.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...