Sort by
Refine Your Search
-
logics are a major component of software formal methods, and these involve grafting logic formalisms onto the syntax of a programming language to allow rigorous specifications and proofs about program
-
RAP opportunity at National Institute of Standards and Technology NIST Analytical Methods Development for Metabolomics Location Material Measurement Laboratory, Biomolecular Measurement Division
-
, with raw data accessible from a CDCS database hosted at https://potentials.nist.gov/ . Calculation methods will be integrated into the iprPy calculation framework [1], with source code available
-
RAP opportunity at National Institute of Standards and Technology NIST Developing Novel Additive Manufacturing Processing Methods Location Material Measurement Laboratory, Materials Science and
-
RAP opportunity at National Institute of Standards and Technology NIST Measuring morphology, dynamics, and transport in polymers with advanced NMR methods Location Material Measurement
-
RAP opportunity at National Institute of Standards and Technology NIST Advanced Methods for Measuring Microbial Viability Location Material Measurement Laboratory, Biosystems and Biomaterials
-
NIST only participates in the February and August reviews. Additive manufacturing (AM) of metals represents a suite of emerging technologies that manufactures three-dimensional objects directly from digital models through an additive process. AM enables the rapid production of complex parts with...
-
RAP opportunity at National Institute of Standards and Technology NIST Compressive Sensing Methods for Electron Microscopy and Microanalysis Location Material Measurement Laboratory, Materials
-
experience preferable). Staff webpage: https://www.nist.gov/people/david-deisenroth Testbed wepage: https://www.nist.gov/el/intelligent-systems-division-73500/flami key words metal additive manufacturing
-
RAP opportunity at National Institute of Standards and Technology NIST Analytical Methods Development for the Determination of Anthropogenic Contaminants in the Marine Environment Location