Aurora Schmidt
Titel
Geciteerd door
Geciteerd door
Jaar
A formally verified hybrid system for the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ...
International Conference on Tools and Algorithms for the Construction and …, 2015
722015
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ...
International Journal on Software Tools for Technology Transfer 19 (6), 717-741, 2017
312017
Formal verification of ACAS X, an industrial airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ...
2015 International Conference on Embedded Software (EMSOFT), 127-136, 2015
242015
Complex contagions and the diffusion of popular Twitter hashtags in Nigeria
C Fink, A Schmidt, V Barash, C Cameron, M Macy
Social Network Analysis and Mining 6 (1), 1, 2016
212016
Investigating the Observability of Complex Contagion in Empirical Social Networks.
C Fink, A Schmidt, V Barash, J Kelly, CJ Cameron, M Macy
ICWSM, 121-130, 2016
152016
Accurate sparse recovery of guided wave characteristics for structural health monitoring
JB Harley, AC Schmidt, JMF Moura
2012 IEEE International Ultrasonics Symposium, 158-161, 2012
122012
A distributed sensor fusion algorithm for the inversion of sparse fields
A Schmidt, JMF Moura
2009 Conference Record of the Forty-Third Asilomar Conference on Signals …, 2009
122009
Field inversion by consensus and compressed sensing
A Schmidt, JMF Moura
2009 IEEE International Conference on Acoustics, Speech and Signal …, 2009
102009
Probabilistic model checking of the next-generation airborne collision avoidance system
RW Gardner, D Genin, R McDowell, C Rouff, A Saksena, A Schmidt
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-10, 2016
92016
Distributed field reconstruction with model-robust basis pursuit
A Schmidt, JMF Moura
2012 IEEE International Conference on Acoustics, Speech and Signal …, 2012
82012
Formally verified safe vertical maneuvers for non-deterministic, accelerating aircraft dynamics
Y Kouskoulas, D Genin, A Schmidt, JB Jeannin
International Conference on Interactive Theorem Proving, 336-353, 2017
62017
Zero shot deep learning from semantic attributes
PM Burlina, AC Schmidt, IJ Wang
2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015
62015
Hierarchical zero-shot classification with convolutional neural network features and semantic attribute learning
J Markowitz, AC Schmidt, PM Burlina, IJ Wang
2017 Fifteenth IAPR International Conference on Machine Vision Applications …, 2017
42017
Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation
A Schmidt, C Fink, N Bos
Eighth International AAAI Conference on Weblogs and Social Media, 2014
32014
Scalable sensor network field reconstruction with robust basis pursuit
AC Schmidt
32013
Using spectral clustering of hashtag adoptions to find interest-based communities
A Schmidt, C Fink, V Barash, C Cameron, M Macy
2018 IEEE International Conference on Communications (ICC), 1-7, 2018
22018
Compressed sensing radar surveillance networks
A Schmidt, JB Harley, JMF Moura
2012 IEEE 7th Sensor Array and Multichannel Signal Processing Workshop (SAM …, 2012
22012
Combining Deep Universal Features, Semantic Attributes, and Hierarchical Classification for Zero-Shot Learning
J Markowitz, AC Schmidt, PM Burlina, I Wang
arXiv preprint arXiv:1712.03151, 2017
12017
Dynamic Bayesian networks for the classification of spinning discs
AC Schmidt
Massachusetts Institute of Technology, 2004
12004
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
I Papusha, R Wu, J Brulé, Y Kouskoulas, D Genin, A Schmidt
arXiv preprint arXiv:2008.01204, 2020
2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20