• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 15 matches

• 2023
• 
  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:
  Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds. Comput. Math. Organ. Theory 29(1): 156-187 (2023)
• 2022
• 
  Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé:
  Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns. Int. J. Softw. Tools Technol. Transf. 24(3): 371-394 (2022)
• 
  Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé:
  Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns. CoRR abs/2205.04833 (2022)
• 2021
• 
  Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado:
  Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm. NFM 2021: 214-230
• 
  Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt:
  Formal Verification of Neural Network Controllers for Collision-Free Flight. VSTTE 2021: 147-164
• 2020
• 
  Charlotte Robinson, Emeline Brulé, James Jackson, Alice Torjussen, Joshua T. Kybett, Tom Appshaw:
  Tricks and Treats: Designing Technology to Support Mobility Assistance Dogs. CHI 2020: 1-14
• 
  Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt:
  Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples. CoRR abs/2008.01204 (2020)
• 2018
• 
  Joshua Brulé:
  Causal programming: inference with structural causal models as finding instances of a relation. CoRR abs/1805.01960 (2018)
• 
  Joshua Brulé:
  Whittemore: An embedded domain specific language for causal programming. CoRR abs/1812.11918 (2018)
• 2017
• 
  Joshua Brulé:
  A causation coefficient and taxonomy of correlation/causation relationships. CoRR abs/1708.05069 (2017)
• 2016
• 
  Joshua Brulé:
  The Computational Power of Dynamic Bayesian Networks. AIC 2016: 158-166
• 
  Joshua Brulé:
  The Computational Power of Dynamic Bayesian Networks. CoRR abs/1603.06125 (2016)
• 
  Joshua Brulé, Kevin Engel, Nick Fung, Isaac Julien:
  Evolving Shepherding Behavior with Genetic Programming Algorithms. CoRR abs/1603.06141 (2016)
• 2015
• 
  Fan Du, Joshua Brulé, Peter Enns, Varun Manjunatha, Yoav Segev:
  MetroViz: Visual Analysis of Public Transportation Data. CoRR abs/1507.05215 (2015)
• 2013
• 
  Joshua Brulé:
  Review of probably approximately correct by Leslie Valiant. SIGACT News 44(3): 38-39 (2013)