Results for:
"
Lois+McMaster+Bujold
" in Documents
- IOS Press Verification of the TESLA protocol in MCMAS-X
- Abstract. We use MCMAS-X to verify authentication properties in the TESLA secure stream protocol. MCMAS-Xis an extension to explicit and deductive knowledge of the OBDD-based model checker MCMAS a ver...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Reproductive Biology and 2004
- Uterine extracellular matrix components are altered during defective decidualization in interleukin-11 receptor a deficient mice
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- Virus infection and apoptosis (issue I). Dedicated to the memory of Lo...
- Apoptosis is a highly regulated programmed cell death process, which is activated during normal development and by various stimuli that disturb cellular metabolism and physiology. It is a fundamental ...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2003-9-10
- Mayo Clinic office visit. Sleeping pills. An interview with Lois Krahn...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2007-9-28
- Introducing Lois E. H. Smith, the 2008 recipient of the Friedenwald Aw...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2008-8-19
- Lois Jovanovic: giving hope to diabetic mothers.
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2005-11-18
- Gpcg A Case Study In The Performance And Scalability Of Optimization A...
- GPCG is an algorithm within the Toolkit for Advanced Optimization (TAO) for solving bound constrained, convex quadratic problems. Originally developed by Mor'e and Toraldo [19], this algorithm was des...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Profile of Lois Jovanovic.
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2006-5-9