Mark Austin

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 6

Top Topics

Ontological Framework

Automatic Segmentation

Formal Verification

Top Venues

Adv. Eng. Informatics

Publications

Chenwei Xu, Jerry Yao-Chieh Hu, Aakaash Narayanan, Mattson Thieme, Vladimir Nagaslaev, Mark Austin, Jeremy Arnold, Jose Berlioz, Pierrick Hanlet, Aisha Ibrahim, Dennis Nicklaus, Jovan Mitrevski, Jason Michael St. John, Gauri Pradhan, Andrea Saewert, Kiyomi Seiya, Brian Schupbach, Randy Thurman-Keup, Nhan Tran, Rui Shi, Seda Ogrenci, Alexis Maya-Isabelle Shuping, Kyle J. Hazelwood, Han Liu
Beyond PID Controllers: PPO with Neuralized PID Policy for Proton Beam Intensity Control in Mu2e. CoRR (2023)
Nicholas Heller, Fabian Isensee, Dasha Trofimova, Resha Tejpaul, Zhongchen Zhao, Huai Chen, Lisheng Wang, Alex Golts, Daniel Khapun, Daniel Shats, Yoel Shoshan, Flora Gilboa-Solomon, Yasmeen George, Xi Yang, Jianpeng Zhang, Jing Zhang, Yong Xia, Mengran Wu, Zhiyang Liu, Edward Walczak, Seán McSweeney, Ranveer Vasdev, Chris Hornung, Rafat Solaiman, Jamee Schoephoerster, Bailey Abernathy, David Wu, Safa Abdulkadir, Ben Byun, Justice Spriggs, Griffin Struyk, Alexandra Austin, Ben Simpson, Michael Hagström, Sierra Virnig, John French, Nitin Venkatesh, Sarah Chan, Keenan Moore, Anna Jacobsen, Susan Austin, Mark Austin, Subodh Regmi, Nikolaos Papanikolopoulos, Christopher Weight
The KiTS21 Challenge: Automatic segmentation of kidneys, renal tumors, and renal cysts in corticomedullary-phase CT. CoRR (2023)
Prince Paulraj, Elijah Hall, Ana Armenta, Mark Austin
Posteriori Trust: Behavior Driven Trust on a Network Graph at Scale. Big Data (2022)
Elias Bou-Harb, Evangelos I. Kaisar, Mark Austin
On the impact of empirical attack models targeting marine transportation. MT-ITS (2017)
Leonard Petnga, Mark Austin
An ontological framework for knowledge modeling and decision support in cyber-physical systems. Adv. Eng. Informatics 30 (1) (2016)
Leonard Petnga, Mark Austin
Model-Based Design and Formal Verification Processes for Automated Waterway System Operations. Syst. 4 (2) (2016)
Matthew Mosteller, Mark Austin, Reza Ghodssi, Shahan Yang
Platforms for Engineering Biomedical Experiments. IEEE Syst. J. 9 (4) (2015)
Leonard Petnga, Mark Austin
Model-Based Systems Engineering for design and automated operation of modern waterway systems. SysCon (2014)
Leonard Petnga, Mark Austin
Cyber-physical architecture for modeling and enhanced operations of connected-vehicle systems. ICCVE (2013)
Nefretiti Nassar, Mark Austin
Model-Based Systems Engineering Design and Trade-Off Analysis with RDF Graphs. CSER (2013)
Leonard Petnga, Mark Austin
Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems. CSER (2013)
Joseph Johnnie, Mark Austin, Ganesh Sriram, Matt Conway, Ashish Misra
Systems Engineering and Metabolic Engineering: A Side-by-Side Comparison. CSER (2012)
Parastoo Delgoshaei, Mark Austin
Software Patterns for Traceability of Requirements to Finite State Machine Behavior. CSER (2012)
John Fox, David Glasspool, Vivek Patkar, Mark Austin, Liz Black, Matthew South, Dave Robertson, Charles Vincent
Delivering clinical decision support services: There is nothing as practical as a good theory. J. Biomed. Informatics 43 (5) (2010)
Kevin Fogarty, Mark Austin
System modeling and traceability applications of the higraph formalism. Syst. Eng. 12 (2) (2009)
Mark Austin, Matthew Kelly, Michael Brady
The Benefits of an Ontological Patient Model in Clinical Decision-Support. AAAI (2008)
Mark Austin, Matthew Kelly, Michael Brady
The Benefits of an Ontological Patient Model in Clinical Decision-Support. AAAI (2008)
Mark Austin, Vimal Mayank, Natalya Shmunis
Ontology-enabled validation of connectivity relationships in a home theater system. Int. J. Intell. Syst. 21 (10) (2006)
Mark Austin, Vimal Mayank, Natalya Shmunis
PaladinRM: Graph-based visualization of requirements organized for team-based design. Syst. Eng. 9 (2) (2006)
Mark Austin, Adrian Buckley, Cameron Coursey, Paul Hartman, Richard Kobylinski, Milap Majmundar, Krister Raith, James P. Seymour
Service and system enhancements for TDMA digital cellular systems. IEEE Wirel. Commun. 6 (3) (1999)
Kumar Swaminathan, A. Roger Hammons Jr., Mark Austin
Selective error protection of ITU-T G.729 codec for digital cellular channels. ICASSP (1996)