<--- Back to Details
First PageDocument Content
Validity / Ethology / Technology readiness level / Technology transfer / Systems engineering / Brassboard / Simulation / Validation / Prototype / Technology / Science / Pharmaceutical industry
Date: 2005-12-02 10:59:15
Validity
Ethology
Technology readiness level
Technology transfer
Systems engineering
Brassboard
Simulation
Validation
Prototype
Technology
Science
Pharmaceutical industry

Microsoft Word - Document1

Add to Reading List

Source URL: esto.nasa.gov

Download Document from Source Website

File Size: 14,78 KB

Share Document on Facebook

Similar Documents

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

DocID: 1xVEM - View Document

Markov processes / Game theory / Strategy / Stochastic game / Markov decision process / Probability and statistics / Probability / Computability theory

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

DocID: 1xUZA - View Document

Music / Computer music / Learning / Artificial intelligence / Unsupervised learning / Machine learning / Cognitive science / Generative adversarial network / Generative model / Artificial neural network / Synthesizer / Algorithmic composition

Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s

DocID: 1xUni - View Document

Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

DocID: 1xTqe - View Document