Geoffrey Irving

According to our database1, Geoffrey Irving authored at least 22 papers between 2000 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
AI safety via debate.
CoRR, 2018

2017
Deep Network Guided Proof Search.
CoRR, 2017

Deep Network Guided Proof Search.
Proceedings of the LPAR-21, 2017

2016
DeepMath - Deep Sequence Models for Premise Selection.
CoRR, 2016

TensorFlow: A system for large-scale machine learning.
CoRR, 2016

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems.
CoRR, 2016


DeepMath - Deep Sequence Models for Premise Selection.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2014
Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis.
CoRR, 2014

2013
A deterministic pseudorandom perturbation scheme for arbitrary polynomial predicates.
CoRR, 2013

2011
A quantized-diffusion model for rendering translucent materials.
ACM Trans. Graph., 2011

Compression and direct manipulation of complex blendshape models.
ACM Trans. Graph., 2011

Banded Householder representation of linear subspaces
CoRR, 2011

2009
Robust High-Resolution Cloth Using Parallelism, History-Based Collisions, and Accurate Friction.
IEEE Trans. Vis. Comput. Graph., 2009

2007
Volume conserving finite element simulations of deformable models.
ACM Trans. Graph., 2007

Hybrid simulation of deformable solids.
Proceedings of the 2007 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 2007

2006
Melting and Burning Solids into Liquids and Gases.
IEEE Trans. Vis. Comput. Graph., 2006

Efficient simulation of large bodies of water by coupling two and three dimensional techniques.
ACM Trans. Graph., 2006

Tetrahedral and hexahedral invertible finite elements.
Graphical Models, 2006

2005
Robust quasistatic finite elements and flesh simulation.
Proceedings of the 2005 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 2005

2004
Invertible finite elements for robust simulation of large deformation.
Proceedings of the 2004 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 2004

2000
Solving Kalah.
ICGA Journal, 2000


  Loading...