Xie

Results: 586



#Item
541Computing / Software / Model checkers / Model checking / Logic in computer science / NuSMV / Software testing / Formal verification / Role-based access control / Formal methods / Access control / Security

Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc.

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2009-05-06 01:00:00
542Alternative energy / West Texas A&M University / Sustainability / Research / Wind farm / Renewable Energy Systems / WAsP / Building engineering / Architectural engineer / Energy / Wind power / Alternative Energy Institute

Special points of interest: Volume 1, Issue 1  Check out our student spotlight: Yudan Xie, winner of the WTAMU Student Employee of the Year!

Add to Reading List

Source URL: www.windenergy.org

Language: English - Date: 2013-05-10 15:26:01
543Geological Society of London / Elements: An International Magazine of Mineralogy /  Geochemistry /  and Petrology / National Center for Earth-surface Dynamics / Mineral exploration / Xie Xuejing / AAG Gold Medal / Geology / Geochemistry / Association of Applied Geochemists

techniques; processes of dispersion of elements in rocks, soils, vegetation, water and the atmosphere; differentiation of geogenic and anthropogenic sources; statistical methods applied to interpretation; and related env

Add to Reading List

Source URL: www.appliedgeochemists.org

Language: English - Date: 2014-05-22 19:59:45
544

Jacques Boussard Les destinées de la Neustrie du IXe au XIe siècle In: Cahiers de civilisation médiévale. 11e année (n°41), Janvier-mars[removed]pp[removed]Citer ce document / Cite this document :

Add to Reading List

Source URL: www.persee.fr

Language: French
    545Nanowire / Lithium-ion batteries / Electromagnetism / Transistor / Nanotechnology / Nanoelectronics / Emerging technologies / Technology

    Letter pubs.acs.org/NanoLett Long Term Stability of Nanowire Nanoelectronics in Physiological Environments Wei Zhou,†,§ Xiaochuan Dai,†,§ Tian-Ming Fu,† Chong Xie,† Jia Liu,† and Charles M. Lieber*,†,‡

    Add to Reading List

    Source URL: cml.harvard.edu

    Language: English - Date: 2014-03-17 13:28:59
    546

    Invitation XIe forum des associations en partenariat avec Communiquer

    Add to Reading List

    Source URL: www.lesenfantsdujardin.fr

    Language: French - Date: 2010-05-21 05:44:02
      547Economic geology / Geophysics / Mineral exploration / Geologist / Association of Applied Geochemists / Xie Xuejing / Geology / Geochemistry / Science

      Funding for this initiative will be obtained and is sought from contributions from industry. These funds will be leveraged though the Natural Sciences and Engineering Research Council of Canada (NSERC) to secure additio

      Add to Reading List

      Source URL: www.mdru.ubc.ca

      Language: English - Date: 2014-03-12 19:04:54
      548Endocrine disruptors / Nutrition / Chinese tea / Green tea / Japanese tea

      May 8, 2014 VIA ELECTRONIC SUBMISSION Yun Xie, Ph.D. NIEHS/NIH P.O. Box 12233, MD K2-03 Research Triangle Park, NC 27709

      Add to Reading List

      Source URL: www.crnusa.org

      Language: English - Date: 2014-05-08 10:34:56
      549Medicine / Optical imaging / Optics / Raman spectroscopy / Raman scattering / Optical coherence tomography / Microscopy / Spectroscopy / Xiaoliang Sunney Xie / Physics / Science / Observational astronomy

      PDF Document

      Add to Reading List

      Source URL: www.modern-medical-science.site88.net

      Language: English - Date: 2013-02-01 20:06:48
      550Linxia Hui Autonomous Prefecture / English people / Bus / The Organ / Ken Livingstone / Local government in London / British people / Lanzhou / Gansu

      May Day Means Pay Day for University Student Swindlers in Lanzhou, China by Jerry Leonard and Xie Yingjun In honor and remembrance of the May Fourth generation in China, 1919. MAY DAY, or International Workers’ Day, is

      Add to Reading List

      Source URL: www.bannedthought.net

      Language: English - Date: 2012-05-17 19:55:53
      UPDATE