Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS) von Leahy, Kevin, Serlin, Zachary, Vasile, Cristian-Ioan, Schoer, Andrew, Jones, Austin M., Tron, Roberto, Belta, Calin

Volltext

A Robust Prescriptive Framework and Performance Metric for Diagnosing and Predicting Wind Turbine Faults Based on SCADA and Alarms Data with Case Study von Leahy, Kevin, Gallagher, Colm, O’Donovan, Peter, Bruton, Ken, O’Sullivan, Dominic

Volltext

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints von Leahy, Kevin, Zhou, Dingjiang, Vasile, Cristian-Ioan, Oikonomopoulos, Konstantinos, Schwager, Mac, Belta, Calin

Volltext

MYC overrides HIF-1α to regulate proliferating primary cell metabolism in hypoxia von Copeland, Courtney A, Olenchock, Benjamin A, Ziehr, David, McGarrity, Sarah, Leahy, Kevin, Young, Jamey D, Loscalzo, Joseph, Oldham, William M

Volltext

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams von Leahy, Kevin, Jones, Austin, Vasile, Cristian-Ioan

Volltext

Pembrolizumab-Associated Bullous Pemphigoid with Laryngeal Involvement von Triantafillou, Vasiliki, Leahy, Kevin

Volltext

Invasive pseudomembranous upper airway and tracheal Aspergillosis refractory to systemic antifungal therapy and serial surgical debridement in an Immunocompetent patient von Khan, Shihan N., Manur, Rashmi, Brooks, John S., Husson, Michael A., Leahy, Kevin, Grant, Matthew

Volltext

Tracking a Markov Target in a Discrete Environment With Multiple Sensors von Leahy, Kevin, Schwager, Mac

Volltext

Cellular Adaptive Inflammation Mediates Airway Granulation in a Murine Model of Subglottic Stenosis von Ghosh, Ankona, Malaisrie, Nora, Leahy, Kevin P., Singhal, Sunil, Einhorn, Eugene, Howlett, Paul, Cohen, Noam A., Mirza, Natasha

Volltext

Diagnostic utility of flexible fiberoptic nasopharyngolaryngoscopy recorded onto a smartphone: A pilot study von Brant, Jason A., Leahy, Kevin, Mirza, Natasha

Volltext

Diagnosing and PredictingWind Turbine Faults from SCADA Data Using Support Vector Machines von Leahy, Kevin, Lily Hu, R., C. Konstantakopoulos, Ioannis, J. Spanos, Costas, M. Agogino, Alice, T. J. O’Sullivan, Dominic

Volltext

Pulse Steroid Therapy Inhibits Murine Subglottic Granulation von Ghosh, Ankona, Philiponis, Genevieve, Lee, Jennifer Y., Leahy, Kevin P., Singhal, Sunil, Cohen, Noam A., Mirza, Natasha

Volltext

Economic analysis of bevacizumab, cetuximab, and panitumumab with fluoropyrimidine-based chemotherapy in the first-line treatment of KRAS wild-type metastatic colorectal cancer (mC... von Lawrence, Donna, Maschio, Michael, Leahy, Kevin J., Yunger, Simon, Easaw, Jacob C., Weinstein, Milton C.

Volltext

Inflammatory Protein Expression in Human Subglottic Stenosis Tissue Mirrors That in a Murine Model von Haft, Sunny, Lee, Jennifer Y., Ghosh, Ankona, Philiponis, Genevieve, Malaisrie, Nora, Leahy, Kevin P., Singhal, Sunil, Cohen, Noam A., Mirza, Natasha

Volltext

Industrial Big Data Pipeline for Wind Turbine PHM in a Large Manufacturing Facility von Leahy, Kevin, Gallagher, Colm, O’Donovan, Peter, O’Sullivan, Dominic T.J.

Volltext

Differential privacy for symbolic systems with application to Markov Chains von Chen, Bo, Leahy, Kevin, Jones, Austin, Hale, Matthew

Volltext

Differentially Private LQ Control von Yazdani, Kasra, Jones, Austin, Leahy, Kevin, Hale, Matthew

Volltext

Cost effectiveness of a gene expression score and myocardial perfusion imaging for diagnosis of coronary artery disease von Phelps, Charles E., PhD, O’Sullivan, Amy K., PhD, Ladapo, Joseph A., MD, PhD, Weinstein, Milton C., PhD, Leahy, Kevin, BA, Douglas, Pamela S., MD

Volltext

Cost Effectiveness of Targeted High-dose Atorvastatin Therapy Following Genotype Testing in Patients with Acute Coronary Syndrome von Parthan, Anju, Leahy, Kevin J., O’Sullivan, Amy K., Iakoubova, Olga A., Bare, Lance A., Devlin, James J., Weinstein, Milton C.

Volltext

Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach von Cohen, Max H., Serlin, Zachary, Leahy, Kevin, Belta, Calin

Volltext