Aurora C. Schmidt

According to our database, Aurora C. Schmidt authored at least 23 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds.

Aurora C. Schmidt, Christopher J. Cameron, Corey Lowman, Joshua Brulé, Amruta Deshpande, Seyyed A. Fatemi, Vladimir Barash, Ariel M. Greenberg, Cash J. Costello, Eli Sherman, Rohit Bhattacharya, Liz McQuillan, Alexander Perrone, Yanni Kouskoulas, Clay Fink, June Zhang, Ilya Shpitser, Michael W. Macy

Comput. Math. Organ. Theory, March, 2023

MACAIF: Machine Learning Auditing for Clinical AI Fairness.

Pepita Barnard, John Robert Bautista, Joshua Krook, Anqi Liu, Héctor Menéndez, Aurora C. Schmidt, Tamim Sookoor

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

A Safety Fallback Controller for Improved Collision Avoidance.

Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé

Int. J. Softw. Tools Technol. Transf., 2022

2021

Formal Verification of Neural Network Controllers for Collision-Free Flight.

Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt

Proceedings of the Software Verification - 13th International Conference, 2021

Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.

Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.

Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt

CoRR, 2020

A Twitter Social Contagion Monitor.

Vladimir Barash, Clayton Fink, Christopher J. Cameron, Aurora C. Schmidt, Wei Dong, Michael Macy, John Kelly, Amruta Deshpande

Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2020

2018

Using Spectral Clustering of Hashtag Adoptions to Find Interest-Based Communities.

Aurora C. Schmidt, Clay Fink, Vladimir Barash, Christopher J. Cameron, Michael Macy

Proceedings of the 2018 IEEE International Conference on Communications, 2018

2017

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer

Int. J. Softw. Tools Technol. Transf., 2017

Combining Deep Universal Features, Semantic Attributes, and Hierarchical Classification for Zero-Shot Learning.

Jared Markowitz, Aurora C. Schmidt, Philippe M. Burlina, I-Jeng Wang

CoRR, 2017

Hierarchical zero-shot classification with convolutional neural network features and semantic attribute learning.

Jared Markowitz, Aurora C. Schmidt, Philippe M. Burlina, I-Jeng Wang

Proceedings of the Fifteenth IAPR International Conference on Machine Vision Applications, 2017

Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.

Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

Complex contagions and the diffusion of popular Twitter hashtags in Nigeria.

Clay Fink, Aurora C. Schmidt, Vladimir Barash, Christopher J. Cameron, Michael Macy

Soc. Netw. Anal. Min., 2016

Investigating the Observability of Complex Contagion in Empirical Social Networks.

Clay Fink, Aurora C. Schmidt, Vladimir Barash, John Kelly, Christopher J. Cameron, Michael Macy

Proceedings of the Tenth International Conference on Web and Social Media, 2016

2015

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Zero Shot Deep Learning from Semantic Attributes.

Philippe M. Burlina, Aurora C. Schmidt, I-Jeng Wang

Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Formal verification of ACAS X, an industrial airborne collision avoidance system.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation.

Aurora C. Schmidt, Clay Fink, Nathan Bos

Proceedings of the Eighth International Conference on Weblogs and Social Media, 2014

2013

Scalable Sensor Network Field Reconstruction with Robust Basis Pursuit.

Aurora C. Schmidt

PhD thesis, 2013

2012

Compressed sensing radar surveillance networks.

Aurora C. Schmidt, Joel B. Harley, José M. F. Moura

Proceedings of the IEEE 7th Sensor Array and Multichannel Signal Processing Workshop, 2012

Distributed field reconstruction with model-robust basis pursuit.

Aurora C. Schmidt, José M. F. Moura

Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

2009

Field inversion by consensus and compressed sensing.

Aurora C. Schmidt, José M. F. Moura

Proceedings of the IEEE International Conference on Acoustics, 2009