نتایج جستجو برای: 0055

تعداد نتایج: 140  

2001
Antonis N. Andriotis Madhu Menon Deepak Srivastava George Froudakis

Antonis N. Andriotis,* Madhu Menon, Deepak Srivastava, and George Froudakis Institute of Electronic Structure and Laser, Foundation for Research and Technology-Hellas, P.O. Box 1527, 71110 Heraklio, Crete, Greece Department of Physics and Astronomy, University of Kentucky, Lexington, Kentucky 40506-0055 Center for Computational Sciences, University of Kentucky, Lexington, Kentucky 40506-0045 NA...

2005
Debra Boyd-Kimball H. Fai Poon Bert C. Lynn Jian Cai William M. Pierce Jon B. Klein Jmil Ferguson Christopher D. Link Allan Butterfield

a Department of Chemistry, Center of Membrane Sciences, and Sanders-Brown Center on Aging, 121 Chemistry-Physics Building, University of Kentucky, Lexington, KY 40506-0055, USA b Core Proteomics Laboratory, University of Kentucky, Lexington, KY, USA c Sanders-Brown Center on Aging, University of Kentucky, Lexington, KY, USA d Department of Pharmacology and Toxicology, University of Louisville S...

2001
Jian Chen Apparao M. Rao Sergei Lyuksyutov Mikhail E. Itkis Mark. A. Hamon Hui Hu Robert W. Cohn Peter C. Eklund Daniel T. Colbert Richard E. Smalley Robert C. Haddon

Jian Chen,†,| Apparao M. Rao,† Sergei Lyuksyutov,‡ Mikhail E. Itkis,†,⊥ Mark. A. Hamon,†,⊥ Hui Hu,†,⊥ Robert W. Cohn,‡ Peter C. Eklund,† Daniel T. Colbert,§ Richard E. Smalley,§ and Robert C. Haddon*,†,⊥ Departments of Chemistry and Physics, AdVanced Carbon Materials Center, UniVersity of Kentucky, Lexington, Kentucky 40506-0055, Carbon Solutions, Inc, A 152 ASTeCC Building, UniVersity of Kentu...

2002
Antonis N. Andriotis Madhu Deepak Srivastava Leonid Chernozatonskii

Antonis N. Andriotis,*Madhu Menon, Deepak Srivastava, and Leonid Chernozatonskii Institute of Electronic Structure and Laser, Foundation for Research and Technology-Hellas, P.O. Box 1527, 71110 Heraklio, Crete, Greece Department of Physics and Astronomy, University of Kentucky, Lexington, Kentucky 40506-0055 Center for Computational Sciences, University of Kentucky, Lexington, Kentucky 40506-00...

1998
A. Cant K. A. Eastaughffe Stephane Collignon

Safety critical computer-based systems are now in widespread use in Defence. A number of current standards such as the UK Defence Standards 0055 and 00-56 and the recently proposed Def (Aust) Standard DR5679 require the use of formal mathematical modeling and reasoning to provide sufficient assurance of safety of system design. The analysis of system design at an early stage is a crucial step i...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید