Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Salado, Alejandro
181  Ergebnisse:
Personensuche X
?
1

Early Implementation of a Cognitive Assistant for Identifyi..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
Campagnari, Nicholas ; Macholtz, Chris A. ; Eng, Nicholas C... - p. 411-423 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Framework for and Progress of Adoption of Digital and Model..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
McDermott, Tom ; Henderson, Kaitlin ; Van Aken, Eileen. - p. 69-82 , 2024
Link: https://doi.org/10.1007/..
 
?
3

A Systems-Theoretical Formalization of Closed Systems:

Shadab, Niloofar ; Cody, Tyler ; Salado, Alejandro.
IEEE Open Journal of Systems Engineering.  2 (2024)  - p. 26-37 , 2024
Link: https://doi.org/10.1109/..
 
?
4

Product Herding for Intelligent Systems:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
Shadab, Niloofar ; Cody, Tyler ; Beling, Peter. - p. 397-409 , 2024
Link: https://doi.org/10.1007/..
 
?
5

Implementing a Student Rover Design Exercise in the Digital..:

, In: 2024 IEEE Aerospace Conference,
Gregory, Joe ; Salado, Alejandro - p. 1-11 , 2024
Link: https://doi.org/10.1109/..
 
?
6

An ontology‐based digital test and evaluation master plan (..:

Gregory, Joe ; Salado, Alejandro
Systems Engineering.  , 2024
Link: https://doi.org/10.1002/..
 
?
7

Formal Inconsistencies of Expertise Aggregation Techniques ..:

Stephen, Cynthia ; Kannan, Hanumanthrao ; Salado, Alejandro
Systems.  12 (2024)  5 - p. 180 , 2024
Link: https://doi.org/10.3390/..
 
?
8

Emergent knowledge patterns in verification artifacts:

Jung, Sukhwan ; Salado, Alejandro
Systems Engineering.  , 2024
Link: https://doi.org/10.1002/..
 
?
9

A Semantic Approach to Spacecraft Verification Planning Usi..:

, In: 2024 IEEE Aerospace Conference,
Gregory, Joe ; Salado, Alejandro - p. 1-12 , 2024
Link: https://doi.org/10.1109/..
 
?
10

Verification Complexity: An Initial Look at Verification Ar..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
Jung, Sukhwan ; Salado, Alejandro - p. 211-224 , 2024
Link: https://doi.org/10.1007/..
 
?
11

Model-Based Verification Strategies Using SysML and Bayesia..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,
Gregory, Joe ; Salado, Alejandro - p. 19-33 , 2024
Link: https://doi.org/10.1007/..
 
?
12

Introduction to the Systems Engineering's Top Space Challen..:

Newcamp, Jeffrey ; Miller, Michael Z. ; Golkar, Alessandro..
Journal of Aerospace Information Systems.  20 (2023)  7 - p. 368-368 , 2023
Link: https://doi.org/10.2514/..
 
?
13

A UCB-Based Tree Search Approach to Joint Verification-Corr..:

Xu, Peng ; Deng, Xinwei ; Salado, Alejandro
IEEE Transactions on Systems, Man, and Cybernetics: Systems.  53 (2023)  9 - p. 5430-5441 , 2023
Link: https://doi.org/10.1109/..
 
?
14

Core and Periphery as Closed-System Precepts for Engineerin..:

, In: Artificial General Intelligence; Lecture Notes in Computer Science,
Cody, Tyler ; Shadab, Niloofar ; Salado, Alejandro. - p. 209-219 , 2023
Link: https://doi.org/10.1007/..
 
?
15

A comparative experiment between textual requirements and m..:

Salado, Alejandro ; Shadab, Niloofar
Systems Engineering.  27 (2023)  3 - p. 556-569 , 2023
Link: https://doi.org/10.1002/..
 
1-15