Aurora C. Schmidt

Comput. Math. Organ. Theory, March, 2023

MACAIF: Machine Learning Auditing for Clinical AI Fairness.

[BibT_eX]

[DOI]

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

A Safety Fallback Controller for Improved Collision Avoidance.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

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

[BibT_eX]

[DOI]

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

2021

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2020

A Twitter Social Contagion Monitor.

[BibT_eX]

[DOI]

Vladimir Barash

Clayton Fink

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.

[BibT_eX]

[DOI]

Clay Fink

Vladimir Barash

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Yanni Kouskoulas

Daniel Genin

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

2016

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

[BibT_eX]

[DOI]

Clay Fink

Vladimir Barash

Michael Macy

Soc. Netw. Anal. Min., 2016

Investigating the Observability of Complex Contagion in Empirical Social Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Zero Shot Deep Learning from Semantic Attributes.

[BibT_eX]

[DOI]

Philippe M. Burlina

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

PhD thesis, 2013

2012

Compressed sensing radar surveillance networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

José M. F. Moura

Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

2009

Field inversion by consensus and compressed sensing.

[BibT_eX]

[DOI]