E-LIB Suche - Ergebnisse für: Davies, Misty D.

1

BERT-based Topic Modeling and Information Retrieval to Supp..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),

Mbaye, Seydou ; Walsh, Hannah S. ; Jones, Garfield. - p. 1-7 , 2023

Link: https://doi.org/10.1109/..

2

Visualizing Corridors in Terminal Airspace using Trajectory..:

, In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC),

Paradis, Carlos ; Davies, Misty D. - p. 1-9 , 2022

Link: https://doi.org/10.1109/..

3

Process Flow Modeling for an In‐Time Aviation Safety Manage..:

Mbaye, Seydou ; Jones, Garfield ; Davies, Misty D.
INCOSE International Symposium. 32 (2022) 1 - p. 888-902 , 2022

Link: https://doi.org/10.1002/..

4

The In-time Aviation Safety Management System Concept for P..:

, In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC),

Ellis, Kyle K. ; Prinzel, Lawrence J. ; Davies, Misty D.... - p. 1-10 , 2022

Link: https://doi.org/10.1109/..

5

Human Interfaces and Management of Information (HIMI) Chall..:

, In: Human Interface and the Management of Information: Applications in Complex Technological Environments; Lecture Notes in Computer Science,

Prinzel III, Lawrence J. ; Krois, Paul ; Ellis, Kyle K.... - p. 367-387 , 2022

Link: https://doi.org/10.1007/..

6

NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, U... Lecture Notes in Computer Science ; 10227;SpringerLink, Bücher

Barrett, Clark ; Davies, Misty ; Kahsai, Temesghen , 2017

Link: https://doi.org/10.1007/..

7

Real-Time Detection of In-flight Aircraft Damage:

Blair, Brenton ; Lee, Herbert K. H. ; Davies, Misty
Journal of Classification. 34 (2017) 3 - p. 494-513 , 2017

Link: https://doi.org/10.1007/..

8

GALE: Geometric Active Learning for Search-Based Software E..:

Krall, Joseph ; Menzies, Tim ; Davies, Misty
IEEE Transactions on Software Engineering. 41 (2015) 10 - p. 1001-1018 , 2015

Link: https://doi.org/10.1109/..

9

Automatically finding the control variables for complex sys..:

Gay, Gregory ; Menzies, Tim ; Davies, Misty.
Automated Software Engineering. 17 (2010) 4 - p. 439-468 , 2010

Link: https://doi.org/10.1007/..

10

TESS Discovery of an Ultra-short-period Planet around the N..:

Vanderspek, Roland ; Huang, Chelsea X ; Vanderburg, Andrew...
THE ASTROPHYSICAL JOURNAL LETTERS. , 2019

Link: https://hdl.handle.net/2..

11

TESS Discovery of an Ultra-short-period Planet around the N..:

Vanderspek, Roland ; Huang, Chelsea X ; Vanderburg, Andrew...
https://orbit.dtu.dk/en/publications/db60bc53-8a0a-4c43-b72c-c6d227386084. , 2019

Link: https://orbit.dtu.dk/en/..

12

The Transiting Multi-planet System HD15337: Two Nearly Equa..:

Gandolfi, Davide ; Fossati, Luca ; Livingston, John H...
http://arxiv.org/abs/1903.05623. , 2019

Link: http://arxiv.org/abs/190..

13

TESS Hunt for Young and Maturing Exoplanets (THYME): A plan..:

Newton, Elisabeth R ; Mann, Andrew W ; Tofflemire, Benjamin M...
http://arxiv.org/abs/1906.10703. , 2019

Link: http://arxiv.org/abs/190..

14

The Transiting Multi-planet System HD15337:Two Nearly Equal..:

Gandolfi, Davide ; Fossati, Luca ; Livingston, John H...
https://pure.au.dk/portal/en/publications/dd4cac17-7769-40e6-8f9e-13cb42fc6e46. , 2019

Link: https://pure.au.dk/porta..

15

TESS Discovery of an ultra-short-period planet around the n..:

Vanderspek, Roland ; Huang, Chelsea X ; Vanderburg, Andrew...
http://arxiv.org/abs/1809.07242. , 2018

Link: http://arxiv.org/abs/180..