Aurora C. Schmidt

25 papers A 3B 2C 1Misc 4Journal 7Unranked 7

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Towards Trustworthy Distributed AI Demand Response. ICAA Raphael Norman-Tenazas, Cameron Hickert, Tamim Sookoor, Aurora C. Schmidt, Edward Staley, Joseph Maurio, Jesse Silverberg, Paul Wood, Yair Amir
2023	—	`conf`	A Safety Fallback Controller for Improved Collision Avoidance. ICAA Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha
2023	—	`conf`	MACAIF: Machine Learning Auditing for Clinical AI Fairness. TAS Pepita Barnard, John Robert Bautista, Joshua Krook, Anqi Liu, Héctor Menéndez, Aurora C. Schmidt, Tamim Sookoor
2023	J	`jnl`	Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds. Comput. Math. Organ. Theory 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
2022	J	`jnl`	Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns. CoRR Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
2022	J	`jnl`	Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns. Int. J. Softw. Tools Technol. Transf. Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
2021	—	`conf`	Formal Verification of Neural Network Controllers for Collision-Free Flight. VSTTE Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt
2021	—	`conf`	Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm. NFM Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado
2020	B	`conf`	A Twitter Social Contagion Monitor. ASONAM Vladimir Barash, Clayton Fink, Christopher J. Cameron, Aurora C. Schmidt, Wei Dong, Michael Macy, John Kelly, Amruta Deshpande
2020	J	`jnl`	Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples. CoRR Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt
2018	—	`conf`	Using Spectral Clustering of Hashtag Adoptions to Find Interest-Based Communities. ICC Aurora C. Schmidt, Clay Fink, Vladimir Barash, Christopher J. Cameron, Michael Macy
2017	J	`jnl`	A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
2017	J	`jnl`	Combining Deep Universal Features, Semantic Attributes, and Hierarchical Classification for Zero-Shot Learning. CoRR Jared Markowitz, Aurora C. Schmidt, Philippe M. Burlina, I-Jeng Wang
2017	B	`conf`	Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics. ITP Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin
2017	Misc	`conf`	Hierarchical zero-shot classification with convolutional neural network features and semantic attribute learning. MVA Jared Markowitz, Aurora C. Schmidt, Philippe M. Burlina, I-Jeng Wang
2016	J	`jnl`	Complex contagions and the diffusion of popular Twitter hashtags in Nigeria. Soc. Netw. Anal. Min. Clay Fink, Aurora C. Schmidt, Vladimir Barash, Christopher J. Cameron, Michael Macy
2016	A	`conf`	Investigating the Observability of Complex Contagion in Empirical Social Networks. ICWSM Clay Fink, Aurora C. Schmidt, Vladimir Barash, John Kelly, Christopher J. Cameron, Michael Macy
2015	A	`conf`	A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. TACAS Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2015	Misc	`conf`	Formal verification of ACAS X, an industrial airborne collision avoidance system. EMSOFT Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2015	C	`conf`	Zero Shot Deep Learning from Semantic Attributes. ICMLA Philippe M. Burlina, Aurora C. Schmidt, I-Jeng Wang
2014	A	`conf`	Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation. ICWSM Aurora C. Schmidt, Clay Fink, Nathan Bos
2013	—	`—`	Scalable Sensor Network Field Reconstruction with Robust Basis Pursuit. Aurora C. Schmidt
2012	—	`conf`	Compressed sensing radar surveillance networks. SAM Aurora C. Schmidt, Joel B. Harley, José M. F. Moura
2012	Misc	`conf`	Distributed field reconstruction with model-robust basis pursuit. ICASSP Aurora C. Schmidt, José M. F. Moura
2009	Misc	`conf`	Field inversion by consensus and compressed sensing. ICASSP Aurora C. Schmidt, José M. F. Moura