Frontiers of Combining Systems
First International Workshop, Munich, March 1996
Published on 21. April 2014
Book
Paperback/Softback
XI, 388 pages
978-94-010-6643-3 (ISBN)
Description
- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. - In more developed regions, there are a high number of organs which are not utilized. This is true for heart, liver and lungs. Small waiting lists for these organs probably reflect an inadequate economic coverage for these organ transplant activities. - There is a long waiting list for cadaveric kidney transplants, which reflect poor procurement and transplant activity. - Lack of awareness by many physicians leads to the denouncing of brain deaths. In spite of these factors, we can say that there has been a significant growth in organ procuration and transplantation in 1993, after the regionalization of the INCUCAI. Conclusions Is there a shortage of organs in Argentina? There may be. But the situation in Argentina differs from that in Europe, as we have a pool of organs which are not utilized (donation refusal, operational deficits, lack of denouncing of brain deaths). Perhaps, in the future, when we are able to make good use of all the organs submitted for transplantation, we will be able to say objectively whether the number of organs is sufficient or not. Acknowledgements I would like to thank the University of Lyon and the Merieux Foundation, especially Professors Traeger, Touraine and Dr. Dupuy for the honour of being invited to talk about the issue of organ procurement.
More details
Series
Edition
1996 ed.
Language
English
Place of publication
Dordrecht
Netherlands
Target group
Professional and scholarly
Research
Illustrations
6 s/w Abbildungen
XI, 388 p. 6 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 23 mm
Weight
616 gr
ISBN-13
978-94-010-6643-3 (9789401066433)
DOI
10.1007/978-94-009-0349-4
Schweitzer Classification
Other editions
Additional editions
F. Baader | K.U. Schulz
Frontiers of Combining Systems
First International Workshop, Munich, March 1996
Book
10/1996
Kluwer Academic Publishers
€97.00
Article not available at the moment
Content
Preface. An Overview of Fibred Semantics and the Combination of Logics; D.M. Gabbay. Generalising Propositional Modal Logic Using Labelled Deductive Systems; A. Russo. A Topography of Labelled Modal Logics; D. Basin, et al. Combining Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional; L. Fariñas del Cerro, A. Herzig. A New Correctness Proof of the Nelson-Oppen Combination Procedure; C. Tinelli, M. Harandi. Cooperation of Decision Procedures for the Satisfiability Problem; C. Ringeissen. Combining Finite Model Generation with Theorem Proving: Problems and Prospects; J. Slaney, T. Surendonk. Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems; F. Giunchiglia, et al. Natural Language Presentation and Combination of Automatically Generated Proofs; B.I. Dahn, A. Wolf. Symbolic Computation: Computer Algebra and Logic; B. Buchberger. Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems; J. Calmet, K. Homann. Logic Tuple Spaces for the Coordination of Heterogeneous Agents; E. Denti, et al. Integration Systems and Interaction Spaces; C. Landauer, K.L. Bellman. Combining Constraint Solvers in a Meta CLP Architecture; E. Lamma, et al. Membership-Constraints and Complexity in Logic Programming with Sets; F. Stolzenburg. Integrating Lists, Multisets, and Sets in a Logic Programming Framework; A. Dovier, et al. CLP(chi) for Proving Program Properties; F. Mesnard, et al. First-Order Constrained Lambda Calculus; J.N. Crossley, et al. Unified Relational Framework for Programming Paradigm Combination; N. Habra, B. le Charlier. Model Checking ACTL Constrained Processes; Xiao Jun Chen.