-
1
المؤلفون: Michael E. Brown, Samantha Trumbo, William Denman
مصطلحات موضوعية: Earth and Planetary Astrophysics (astro-ph.EP), Chemical Physics (physics.chem-ph), Geophysics, Space and Planetary Science, Physics - Chemical Physics, Earth and Planetary Sciences (miscellaneous), FOS: Physical sciences, Astronomy and Astrophysics, Astrophysics - Instrumentation and Methods for Astrophysics, Instrumentation and Methods for Astrophysics (astro-ph.IM), Astrophysics - Earth and Planetary Astrophysics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f605e7c8529dd7eec7989600521824cf
https://resolver.caltech.edu/CaltechAUTHORS:20220203-318272000 -
2
المؤلفون: Michael E. Brown, Samantha Trumbo, William Denman
مصطلحات موضوعية: Earth and Planetary Astrophysics (astro-ph.EP), Chemical Physics (physics.chem-ph), Geophysics, Space and Planetary Science, Physics - Chemical Physics, Earth and Planetary Sciences (miscellaneous), FOS: Physical sciences, Astronomy and Astrophysics, Astrophysics - Instrumentation and Methods for Astrophysics, Instrumentation and Methods for Astrophysics (astro-ph.IM), Astrophysics - Earth and Planetary Astrophysics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::779dc978994055a566b27d0a51ec5952
-
3
المؤلفون: William Denman, Guy Bois, Sofiène Tahar, Mohamed H. Zaki
المصدر: Journal of Aerospace Computing, Information, and Communication. 6:373-392
مصطلحات موضوعية: High-level verification, Theoretical computer science, Functional verification, Computer science, Runtime verification, Aerospace Engineering, Computer Science Applications, Intelligent verification, Predicate abstraction, Computer engineering, Symbolic trajectory evaluation, Electrical and Electronic Engineering, Formal verification, Software verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c6a24141c8d7b55b1e3762a3f5a336e3
https://doi.org/10.2514/1.44289 -
4
المؤلفون: Matthew Forman, Michael D. Risley, Kelly E Cohen, Rosalyn Mazey, Alastair McKelvey, Edward D. Johnstone, Asma Khalil, Rachel Hulme, William Denman, Brenda Kelly, Hatem A Mousa, Aris T. Papageorghiou
المصدر: Ultrasound in Obstetrics & Gynecology
مصطلحات موضوعية: 0301 basic medicine, Trisomy 13 Syndrome, diagnosis, Pregnancy, High-Risk, Aneuploidy, Chromosome Disorders, Trisomy, 0302 clinical medicine, Pregnancy, Medicine, Single-Blind Method, education.field_of_study, 030219 obstetrics & reproductive medicine, Framingham Risk Score, Radiological and Ultrasound Technology, Maternal Serum Screening Tests, Obstetrics and Gynecology, Gestational age, General Medicine, sequencing, Middle Aged, Original Papers, Predictive value of tests, Female, non‐invasive, Maternal Age, Adult, Down syndrome, medicine.medical_specialty, Adolescent, Population, fetal DNA, Gestational Age, 03 medical and health sciences, Young Adult, Predictive Value of Tests, Humans, Radiology, Nuclear Medicine and imaging, Genetic Testing, aneuploidy, education, Gynecology, Original Paper, Chromosomes, Human, Pair 13, business.industry, screening, medicine.disease, Pregnancy Trimester, First, 030104 developmental biology, Reproductive Medicine, Karyotyping, Down Syndrome, business, Chromosomes, Human, Pair 18, Trisomy 18 Syndrome
-
5
المؤلفون: William Denman
المصدر: Lecture Notes in Computer Science ISBN: 9783319061993
NASA Formal Methodsمصطلحات موضوعية: Automated theorem proving, Nonlinear system, Theoretical computer science, Reachability, Hybrid system, Benchmark (computing), Hybrid automaton, Nonlinear Sciences::Pattern Formation and Solitons, Quantum, Algorithm, Mathematics, Abstraction (linguistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5d3dc220f56e8879546b283bbd1e84f7
https://doi.org/10.1007/978-3-319-06200-6_15 -
6
المؤلفون: William Denman, César A. Muñoz
المصدر: Lecture Notes in Computer Science ISBN: 9783319064093
FMمصطلحات موضوعية: Theoretical computer science, Transcendental function, Computer science, Programming language, Decision theory, computer.software_genre, Interval arithmetic, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Development (topology), Special functions, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Transcendental number, computer, Real number
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0d649e06601e3ff97c1d060d0af81cff
https://doi.org/10.1007/978-3-319-06410-9_14 -
7
المؤلفون: Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues, William Denman
المصدر: Lecture Notes in Computer Science ISBN: 9783642203978
NASA Formal Methodsمصطلحات موضوعية: Nichols plot, Computer science, Control engineering, Transfer function, law.invention, Visual inspection, Automated theorem proving, Control theory, law, Control system, Autopilot, Leverage (statistics), MATLAB, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::38cababa9019fff6773d820ed7e85acc
https://doi.org/10.1007/978-3-642-20398-5_8 -
8
المصدر: FMCAD
مصطلحات موضوعية: Piecewise linear function, Laplace transform, Computer science, Elementary function, Inverse Laplace transform, Closed-form expression, Transfer function, Formal verification, Algorithm, Analytic function
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c721fa9c919a8b0a9e87437392020f84
https://doi.org/10.1109/fmcad.2009.5351136 -
9كتاب
-
10
المؤلفون: Carruth, William Denman
الموضوعات: Portland cement Additives Testing., Soil stabilization Testing., Cement Additives Testing., Soils Additives Testing., Polymers Mechanical properties Testing., Fibers Mechanical properties Testing., Shear strength of soils Testing., Soil mechanics., Sols Résistance au cisaillement Essais., Mécanique des sols., soil mechanics., Cement Additives Testing., Portland cement Additives Testing., Shear strength of soils Testing., Soil mechanics., Soil stabilization Testing.
مصطلحات الفهرس: Soil stabilization, Fine grained soils, Polymer fibers, Portland cement, Electronic resources, Electronic theses/dissertations, Master's theses, Academic theses., Academic theses., Thèses et écrits académiques.