E-LIB Suche - Ergebnisse für: Brulé, Joshua

1

Envelopes and waves: safe multivehicle collision avoidance ..:

Kouskoulas, Yanni ; Machado, T. J. ; Genin, Daniel...
International Journal on Software Tools for Technology Transfer. 24 (2022) 3 - p. 371-394 , 2022

Link: https://doi.org/10.1007/..

2

Searching for explanations: testing social scientific metho..:

Schmidt, Aurora C. ; Cameron, Christopher J. ; Lowman, Corey...
Computational and Mathematical Organization Theory. 29 (2022) 1 - p. 156-187 , 2022

Link: https://doi.org/10.1007/..

3

Formal Verification of Neural Network Controllers for Colli..:

, In: Lecture Notes in Computer Science; Software Verification,

Genin, Daniel ; Papusha, Ivan ; Brulé, Joshua... - p. 147-164 , 2022

Link: https://doi.org/10.1007/..

4

Good Fences Make Good Neighbors: Using Formally Verified Sa..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Kouskoulas, Yanni ; Wu, Rosa ; Brulé, Joshua... - p. 214-230 , 2021

Link: https://doi.org/10.1007/..

5

Review of probably approximately correct by Leslie Valiant:

Brulé, Joshua
ACM SIGACT News. 44 (2013) 3 - p. 38-39 , 2013

Link: https://dl.acm.org/doi/1..

6

Review of probably approximately correct by Leslie Valiant:

Brulé, Joshua
ACM SIGACT News. 44 (2013) 3 - p. 38-39 , 2013

Link: https://doi.org/10.1145/..

7

Envelopes and Waves: Safe Multivehicle Collision Avoidance ..:

Kouskoulas, Yanni ; Machado, T. J ; Genin, Daniel...
http://arxiv.org/abs/2205.04833. , 2022

Link: http://arxiv.org/abs/220..

8

Incorrect by Construction: Fine Tuning Neural Networks for ..:

Papusha, Ivan ; Wu, Rosa ; Brulé, Joshua...
http://arxiv.org/abs/2008.01204. , 2020

Link: http://arxiv.org/abs/200..

9

Whittemore: An embedded domain specific language for causal..:

Brulé, Joshua
http://arxiv.org/abs/1812.11918. , 2018

Link: http://arxiv.org/abs/181..

10

Causal programming: inference with structural causal models..:

Brulé, Joshua
http://arxiv.org/abs/1805.01960. , 2018

Link: http://arxiv.org/abs/180..

11

A causation coefficient and taxonomy of correlation/causati..:

Brulé, Joshua
http://arxiv.org/abs/1708.05069. , 2017

Link: http://arxiv.org/abs/170..

12

Evolving Shepherding Behavior with Genetic Programming Algo..:

Brulé, Joshua ; Engel, Kevin ; Fung, Nick.
http://arxiv.org/abs/1603.06141. , 2016

Link: http://arxiv.org/abs/160..

13

The Computational Power of Dynamic Bayesian Networks:

Brulé, Joshua
http://arxiv.org/abs/1603.06125. , 2016

Link: http://arxiv.org/abs/160..

14

MetroViz: Visual Analysis of Public Transportation Data:

Du, Fan ; Brulé, Joshua ; Enns, Peter..
http://arxiv.org/abs/1507.05215. , 2015

Link: http://arxiv.org/abs/150..

15

Tricks and Treats: Designing Technology to Support Mobility..:

, In: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems,

Robinson, Charlotte ; Brulé, Emeline ; Jackson, James... - p. 1-14 , 2020

Link: https://dl.acm.org/doi/1..