R. Bruce van Dover

According to our database, R. Bruce van Dover authored at least 12 papers between 2011 and 2023.

Collaborative distances:

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

2023

Probabilistic Phase Labeling and Lattice Refinement for Autonomous Material Research.

Ming-Chiang Chang, Sebastian Ament, Maximilian Amsler, Duncan R. Sutherland, Lan Zhou, John M. Gregoire, Carla P. Gomes, R. Bruce van Dover, Michael O. Thompson

CoRR, 2023

Physically Informed Graph-Based Deep Reasoning Net for Efficient Combinatorial Phase Mapping.

Yimeng Min, Ming-Chiang Chang, Shufeng Kong, John M. Gregoire, R. Bruce van Dover, Michael O. Thompson, Carla P. Gomes

Proceedings of the International Conference on Machine Learning and Applications, 2023

2021

Automating crystal-structure phase mapping by combining deep learning with constraint reasoning.

Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes

Nat. Mach. Intell., 2021

Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning.

Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes

CoRR, 2021

Autonomous synthesis of metastable materials.

Sebastian Ament, Maximilian Amsler, Duncan R. Sutherland, Ming-Chiang Chang, Dan Guevarra, Aine B. Connolly, John M. Gregoire, Michael O. Thompson, Carla P. Gomes, R. Bruce van Dover

CoRR, 2021

2018

Phase Mapper: Accelerating Materials Discovery with AI.

Junwen Bai, Yexiang Xue, Johan Bjorck, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein, Santosh K. Suram, Robert Bruce van Dover, John M. Gregoire, Carla P. Gomes

AI Mag., 2018

2017

Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.

Yexiang Xue, Junwen Bai, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein, Johan Bjorck, Liane Longpre, Santosh K. Suram, Robert Bruce van Dover, John M. Gregoire, Carla P. Gomes

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2015

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.

Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Challenges in Materials Discovery - Synthetic Generator and Real Datasets.

Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Crowdsourcing Backdoor Identification for Combinatorial Optimization.

Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover

Proceedings of the IJCAI 2013, 2013

2012

SMT-Aided Combinatorial Materials Discovery.

Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.

Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011