Filters








5 Hits in 6.1 sec

The living universe: NASA and the development of astrobiology

2005 ChoiceReviews  
to an accuracy of 10-5 seconds of arc," or 10 , 19921, 49.)  ...  FIGURE 5 . 2 . 52 Alan Schwartz and his research group at the University of Nijmegen, the Netherlands, 1987. (Courtesy A. Schwartz). on 19-20 June 1979.  ...  1993 2002-Note: The headquarters exobiology program managers were renamed "discipline scientists" in the mid-1980s. a Also planetary protection officer.  ... 
doi:10.5860/choice.42-4629 fatcat:36iiud3dufhifoqggbl6lr7e3m

A formally verified algorithm for interactive consistency under a hybrid fault model

P. Lincoln, J. Rushby
FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing  
, The Netherlands, January 1992.  ...  Vytopil, editor, Formal Tech- niques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes [31] [32] [33] [34] [35] [36] [37] in Computer Science, pages 217-236, Nijmegen  ...  These properties were described and justified in detail in Section 4.1. Nonetheless, there is always a concern when properties are stated axiomatically that they might be unrealizable.  ... 
doi:10.1109/ftcs.1993.627343 dblp:conf/ftcs/LincolnR93 fatcat:4gexxthlg5anxh7hs56vhvfaiy

Chronica

2000 Ephemerides Theologicae Lovanienses. Louvain Journal of Theology and Canon Law  
Gesa THIESEN (Ireland), and Toine VAN DEN HOOGEN (K.U. Nijmegen, The Netherlands).  ...  Leuven and the Netherlands School for Advanced Studies in Theology and Religion (NOSTER) 3 .  ... 
doi:10.2143/etl.76.4.557 fatcat:tt3kee3ojfc5ddccpfzzqwx66u

Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Seminar 14022) Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) Planning with Epistemic Goals (Dagstuhl Seminar 14032)

Frederik Armknecht, Helena Handschuh, Tetsu Iwata, Bart, Bernd Bremer, Valerio Mohr, Martin Pascucci, Schulz, Erika Ábrahám, Alberto Avritzer, Anne Remke, William Sanders (+13 others)
2014 unpublished
In Proc. of the 5th IEEE International Symposium on Software Engineering (ISSRE'04), pp. 367-378, 2004. 8 D. Medhi.  ...  Analysing system safety and dependability is supported by key techniques such as (dynamic) fault tree analysis (FTA), (dynamic) Failure Modes and Effects Analysis (FMEA), fault tolerance evaluation, and  ...  Even when researchers make attempts at protecting the privacy of subjects, things can go wrong, e.g. Facebook's Tastes, ties and Time project and the release of data in 2008.  ... 
fatcat:iqk466everfcdhf5guvz5ph2ee

"We Must Always Be Converted": The Church and the Challenge of Renewal [chapter]

Stephan van Erp, Karim Schelkens
Conversion and Church  
The post-Easter conversion of the disciples could, therefore, be investigated with a purely historical approach and at the same time be disclosed by the believer as an act of God and interpreted as well  ...  Does this mean that the whole enterprise of deducing from the New Testament texts on resurrection how a conversion might come about as a human reaction to Jesus' life and death has no real apologetic value  ...  The pope only speaks of the connection between renewal, conversion, and reform in UUS 16. It is labelled as part of the teaching of the Second Vatican Council.  ... 
doi:10.1163/9789004319165_002 fatcat:eeltv7lbtrblrgfetlojq2eveq