Compound Knowledge Graph-Enabled AI Assistant for Accelerated Materials Discovery von Aggour, Kareem S., Detor, Andrew, Gabaldon, Alfredo, Mulwad, Varish, Moitra, Abha, Cuddihy, Paul, Kumar, Vijay S.

Volltext

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System von Meng, Baoluo, Larraz, Daniel, Siu, Kit, Moitra, Abha, Interrante, John, Smith, William, Paul, Saswata, Prince, Daniel, Herencia-Zapana, Heber, Arif, M. Fareed, Yahyazadeh, Moosa, Tekken Valapil, Vidhya, Durling, Michael, Tinelli, Cesare, Chowdhury, Omar

Volltext

Extraction of Formal Manufacturing Rules from Unstructured English Text von Kang, SungKu, Patil, Lalit, Rangarajan, Arvind, Moitra, Abha, Jia, Tao, Robinson, Dean, Ameri, Farhad, Dutta, Debasish

Volltext

Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming: System Description von Shbita, Basel, Moitra, Abha

Volltext

Attack–defense tree-based analysis and optimal defense synthesis for system design von Meng, Baoluo, Viswanathan, Arjun, Paul, Saswata, Smith, William, Moitra, Abha, Siu, Kit, Durling, Michael

Volltext

Artificial intelligence/machine learning in manufacturing and inspection: A GE perspective von Aggour, Kareem S., Gupta, Vipul K., Ruscitto, Daniel, Ajdelsztajn, Leonardo, Bian, Xiao, Brosnan, Kristen H., Chennimalai Kumar, Natarajan, Dheeradhada, Voramon, Hanlon, Timothy, Iyer, Naresh, Karandikar, Jaydeep, Li, Peng, Moitra, Abha, Reimann, Johan, Robinson, Dean M., Santamaria-Pang, Alberto, Shen, Chen, Soare, Monica A., Sun, Changjie, Suzuki, Akane, Venkataramana, Raju, Vinciquerra, Joseph

Volltext

Automated feedback generation for formal manufacturing rule extraction von Kang, SungKu, Patil, Lalit, Rangarajan, Arvind, Moitra, Abha, Jia, Tao, Robinson, Dean, Dutta, Debasish

Volltext

Automating requirements analysis and test case generation von Moitra, Abha, Siu, Kit, Crapo, Andrew W., Durling, Michael, Li, Meng, Manolios, Panagiotis, Meiners, Michael, McMillan, Craig

Volltext

Ontology-Based Ambiguity Resolution of Manufacturing Text for Formal Rule Extraction von Kang, SungKu, Patil, Lalit, Rangarajan, Arvind, Moitra, Abha, Robinson, Dean, Jia, Tao, Dutta, Debasish

Volltext

Assurance Case Synthesis from a Curated Semantic Triplestore von Paul, Saswata, Meng, Baoluo, Siu, Kit, Moitra, Abha, Durling, Michael

Volltext

Experience in Designing for Cyber Resiliency in Embedded DoD Systems von Barzeele, Jennifer, Siu, Kit, Robinson, Mike, Suantak, Liana, Merems, John, Durling, Michael, Moitra, Abha, Meng, Baoluo, Williams, Patrice, Prince, Daniel

Volltext

Automating the Assembly of Security Assurance Case Fragments von Meng, Baoluo, Paul, Saswata, Moitra, Abha, Siu, Kit, Durling, Michael

Volltext

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT von Meng, Baoluo, Viswanathan, Arjun, Smith, William, Moitra, Abha, Siu, Kit, Durling, Michael

Volltext

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence von Moitra, Abha, Cuddihy, Paul, Siu, Kit, Archer, David, Mertens, Eric, Russell, Daniel, Quick, Kevin, Robert, Valentin, Meng, Baoluo

Volltext

Automatic construction of CSP programs from sequential non-deterministic programs von Moitra, Abha

Volltext

A Maximally Parallel Balancing Algorithm for Obtaining Complete Balanced Binary Trees von Moitra, Abha, Iyengar, S. Sitharama

Volltext

AUTOMATED EQUATION ALIGNMENT THROUGH EXPRESSION SIGNATURE von MOITRA, Abha

Volltext bestellen

Voluntary preemption: A tool in the design of hard real-time systems von Moitra, Abha

Volltext

System and method for evaluating heterogeneous hydrocarbon extractor systems for hydrocarbon wells von Yousuf, Aisha, Zhang, Jinfeng, Rasheed, Adam, Moitra, Abha

Volltext bestellen

Addressing uncertainty and conflicts in cross-domain data provenance von Moitra, A, Barnett, B, Crapo, A, Dill, S J

Volltext