02050nam0 2200373 i 450 SUN005818320201021101523.35635-402-9067-20.0020070307d2006 |0engc50 baengDE|||| |||||Applied parallel computingstate of the art in scientific computing7th international workshop, PARA 2004Lyngby, Denmark, June 2004Jack Dongarra, Kaj Madsen, Jerzy Wasniewski (eds.)BerlinSpringer2006XXII, 1174 p.24 cm.001SUN00294382001 *Lecture notes in computer science3732210 BerlinSpringer1973-.68UxxComputing methodologies and applications [MSC 2020]MFSUNC01967368W30Symbolic computation and algebraic computation [MSC 2020]MFSUNC01977165-XXNumerical analysis [MSC 2020]MFSUNC01977268RxxDiscrete mathematics in relation to computer science [MSC 2020]MFSUNC02035868U07Computer science aspects of computer-aided design [MSC 2020]MFSUNC02035968N19Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020]MFSUNC028606BerlinSUNL000066Dongarra, JackSUNV046010Madsen, KajSUNV046011Wasniewski, JerzySUNV046012International workshop on applied parallel computing in physics, chemistry and engineering science7.2004LyngbySUNV046013725635SpringerSUNV000178650ITSOL20201026RICA/sebina/repository/catalogazione/documenti/Dongarra, Madsen, Wasniewski - Applied parallel computing 2006.pdfContentsSUN0058183UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 1171 08 7672 II 20070307 Applied parallel computing1425850UNICAMPANIA01792nam 2200469Ia 450 991070081800332120111024130815.0(CKB)5470000002412840(OCoLC)758381649(EXLCZ)99547000000241284020111024d2011 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierError propagation analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT tool framework[electronic resource] /Brian W. LaValley, Philip D. Little, and Chris J. WalterHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2011]1 online resource (29 pages) color illustrationsNASA/CR ;2011-217149Title from title screen (viewed on Oct. 24, 2011)."May 2011."Includes bibliographical references (page 29).Error propagation analysis in the SAE Architecture Analysis and Design Language Design analysisnasatError analysisnasatFault tolerancenasatReliabilitynasatDesign analysis.Error analysis.Fault tolerance.Reliability.LaValley Brian W1388126Little Philip D1388127Walter C. J(Chris J.)1388128Langley Research Center.GPOGPOBOOK9910700818003321Error propagation analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT tool framework3438531UNINA04959oam 2200817I 450 991078293200332120231106232900.01-134-63409-997866127779290-203-18205-71-282-77792-01-134-63410-20-203-17092-X10.4324/9780203182055(CKB)1000000000007000(EBL)166153(OCoLC)559317087(SSID)ssj0000239805(PQKBManifestationID)11205987(PQKBTitleCode)TC0000239805(PQKBWorkID)10252388(PQKB)11174852(MiAaPQ)EBC166153(EXLCZ)99100000000000700020180706d2001 uy 0engur|n|---|||||txtccrRoutledge philosophy guidebook to Hume on religion /David O'ConnorLondon ;New York :Routledge,2001.1 online resource (249 p.)Routledge Philosophy GuideBooksDescription based upon print version of record.0-415-20195-0 0-415-20194-2 Includes bibliographical references (pages 219-222) and index.Cover; Hume on Religion; Copyright; Contents; Preface; A Note on the Edition of the Dialogues Used; Abbreviations; 1. Introduction: Hume's Life, His Philosophy of Religion, and His Influence; Life; Hume on Religion; Hume's Philosophy of Religion; Hume's Influence; 2. An Overview of the Dialogues; Introduction; The Dialogues in Outline; Natural Religion and Religion in Practice; 3. The Scope and Legitimacy of Natural Religion (Prologue, and Dialogues, Part I); Introduction; The Limits of Reason; 4. Cleanthes' First Design Argument (Dialogues, Part II); IntroductionCleanthes' First Design ArgumentThe Criteria of Good Analogical Arguments; Philo's Criticism and Cleanthes' Rebuttal; 5. Cleanthes' Second Design Argument: The 'Irregular' Argument (Dialogues, Part III); Introduction; The 'Irregular' Design Argument; Are Basic Religious Beliefs Natural Beliefs?; 6. 'A Mind Like the Human' (Dialogues, Parts IV and V); Introduction; Mysticism, Anthropomorphism, Scepticism (Dialogues, Part IV); Like Effects, Like Causes (Dialogues, Part V); Philo's Concession of Design; 7. Naturalism and Scepticism (Dialogues, Parts VI, VII, and VIII); IntroductionThe Hypothesis of Living Matter and an Inherent Principle of Order (Dialogues, Part VI)Ranking Four Causal Principles: Reason, Instinct, Generation, Vegetation (Dialogues, Part VII); 'The Old Epicurean Hypothesis' (Dialogues, Part VIII); 8. Further Weakening of Natural Religion (Dialogues, Part IX); Introduction; Demea's Case for a Necessary First Cause; Philo's Naturalistic Hypothesis Again; 9. The Problem of Evil (Dialogues, Parts X and XI); Introduction; Theism's Problem of Evil (Dialogues, Part X); Cleanthes' Response to the Inference Problem: Limited Theism (Dialogues, Part XI)Hume's Articulation of the Basic Presuppositions in the Standard Debate on the Problem of Evil (Dialogues, Part XI)The Hypothesis of Indifference (Dialogues, Part XI); 10. 'True Religion' (Dialogues, Part XII); Introduction; Appearance and Reality in Philo's Concession of Design in Nature; True Religion and Vulgar Superstition; The Five 'Ifs'; Scepticism, Deism, Naturalism, Irony; In Conclusion: Faith and Reason; Afterword: Where Is Hume in Hume's Dialogues?; Who Speaks for Hume?; Does Hume Conceal His Thinking in the Dialogues?; Bibliography; IndexDavid Hume was the most important British philosopher of the eighteenth century. His Dialogues Concerning Natural Religion is a classic text in the philosophy of religion.Hume on Religion introduces and asseses:*Hume's life and the background to the Dialogues *the ideas and text of Dialogues *Hume's continuing importance to philosophy.Routledge Philosophy GuideBooksHume on religionHeidegger, MartinHume, DavidNatural theologyPhilosophical anthropologyPhilosophical anthropologyNatural theologyPhilosophyHILCCPhilosophy & ReligionHILCCHeidegger, Martin.Hume, David.Natural theology.Philosophical anthropology.Philosophical anthropology.Natural theologyPhilosophyPhilosophy & Religion193210O'Connor David1949-,891822AU-PeELAU-PeELAU-PeELBOOK9910782932003321Routledge philosophy guidebook to Hume on religion3743702UNINA