• 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 36 matches

• 2024
• 
  Jack Hughes, Dominic Orchard:
  Program Synthesis from Graded Types. ESOP (1) 2024: 83-112
• 
  Jack Boylan, Demian Gholipour Ghalandari, Chris Hokamp, Dominic Thorn, Parsa Ghaffari, Shashank Mangla:
  KGValidator: A Framework for Automatic Validation of Knowledge Graph Construction. TEXT2KG/DQMLKG@ESWC 2024: 23
• 
  Sven Brüggemann, Dominic Nightingale, Jack Silberman, Mauricio de Oliveira:
  Learning Input Constrained Control Barrier Functions for Guaranteed Safety of Car-Like Robots. CoRR abs/2402.12512 (2024)
• 
  Jack Boylan, Shashank Mangla, Dominic Thorn, Demian Gholipour Ghalandari, Parsa Ghaffari, Chris Hokamp:
  KGValidator: A Framework for Automatic Validation of Knowledge Graph Construction. CoRR abs/2404.15923 (2024)
• 2023
• 
  Dusan Misevic, Ignacio Atal, Denis Bedard, Eric Cherel, José Escamilla, Linda Evans, Valerie Hannon, Caroline Huron, Olivier Irrmann, René F. Kizilcec, Emmanuel Lazega, Kerri Lemoie, Ariel B. Lindner, Mariana Macedo, Gaell Mainguy, Richard Mann, Camille Masselot, Pietro Michelucci, Iryna Nikolayeva, Amy Ogan, Mar Pérez-Sanagustín, Niccolo Pescetelli, Sasha Poquet, Janet Rafner, Dominic Regester, Marc Santolini, Jean-Marc Sevin, Dafna Shahaf, Jacob Friis Sherson, Jacksón Smith, Mattias Söllner, Françoise Fogelman-Soulié, François Taddei, Liubov Tupikina, Sander van der Leeuw:
  Harnessing collective intelligence for the future of learning - a co-constructed research and development agenda. Hum. Comput. 10(1): 1-30 (2023)
• 
  Pavla Krotka, Katharina Hees, Peter Jacko, Dominic Magirr, Martin Posch, Marta Bofill Roig:
  NCC: An R-package for analysis and simulation of platform trials with non-concurrent controls. SoftwareX 23: 101437 (2023)
• 
  Dominic Jack, Sarah M. Erfani, Jeffrey Chan, Sutharshan Rajasegarar, Christopher Leckie:
  It's PageRank All The Way Down: Simplifying Deep Graph Networks. SDM 2023: 172-180
• 2022
• 
  Dominic Keehan, Jack Yarndley, Nicholas Rattenbury:
  Microlensing model inference with normalising flows and reversible jump MCMC. Astron. Comput. 41: 100657 (2022)
• 
  Hayk Martiros, Aaron Miller, Nathan Bucki, Bradley Solliday, Ryan Kennedy, Jack Zhu, Tung Dang, Dominic Pattison, Harrison Zheng, Teo Tomic, Peter Henry, Gareth Cross, Josiah VanderMey, Alvin Sun, Samuel Wang, Kristen Holtz:
  SymForce: Symbolic Computation and Code Generation for Robotics. Robotics: Science and Systems 2022
• 
  Hayk Martiros, Aaron Miller, Nathan Bucki, Bradley Solliday, Ryan Kennedy, Jack Zhu, Tung Dang, Dominic Pattison, Harrison Zheng, Teo Tomic, Peter Henry, Gareth Cross, Josiah VanderMey, Alvin Sun, Samuel Wang, Kristen Holtz:
  SymForce: Symbolic Computation and Code Generation for Robotics. CoRR abs/2204.07889 (2022)
• 2020
• 
  Dominic Jack:
  Deep Learning Approaches for 3D Inference from Monocular Vision. University of Melbourne, Parkville, Victoria, Australia, 2020
• 
  Dominic Jack, Frédéric Maire, Simon Denman, Anders P. Eriksson:
  Sparse Convolutions on Continuous Domains for Point Cloud and Event Stream Networks. ACCV (1) 2020: 400-416
• 
  Nina Sofia Wyniawskyj, Filippo Contenta, Dominic Flach, Anneley Hadland, Alison Hopkin, Jack Lidgley, David Petit, Pritimoy Podder, Fortune Osadolor, Nick Walker:
  Improving Severe-Weather Resilience for Mongolian Herding Communities Using Satellite Earth Observation Imagery. IGARSS 2020: 4898-4901
• 
  Jack Hughes, Dominic Orchard:
  Resourceful Program Synthesis from Graded Linear Types. LOPSTR 2020: 151-170
• 
  Jack Hughes, Michael Vollmer, Dominic Orchard:
  Deriving Distributive Laws for Graded Linear Types. Linearity&TLLA@IJCAR-FSCD 2020: 109-131
• 
  Dominic Jack, Frédéric Maire, Simon Denman, Anders P. Eriksson:
  Sparse Convolutions on Continuous Domains for Point Cloud and Event Stream Networks. CoRR abs/2012.01170 (2020)
• 2019
• 
  Christopher Lueg, Bridgette Banks, Josephine Michalek, Jack Dimsey, Dominic Oswin:
  Close Encounters of the Fifth Kind: Recognizing System-Initiated Engagement as Interaction Type. J. Assoc. Inf. Sci. Technol. 70(6): 634-637 (2019)
• 
  Dominic Jack, Frédéric Maire, Sareh Shirazi, Anders P. Eriksson:
  IGE-Net: Inverse Graphics Energy Networks for Human Pose Estimation and Single-View Reconstruction. CVPR 2019: 7075-7084
• 
  Mateusz Michalkiewicz, Jhony Kaesemodel Pontes, Dominic Jack, Mahsa Baktashmotlagh, Anders P. Eriksson:
  Implicit Surface Representations As Layers in Neural Networks. ICCV 2019: 4742-4751
• 
  Mateusz Michalkiewicz, Jhony K. Pontes, Dominic Jack, Mahsa Baktashmotlagh, Anders P. Eriksson:
  Deep Level Sets: Implicit Surface Representations for 3D Shape Inference. CoRR abs/1901.06802 (2019)
• 2018
• 
  Dominic Wright, Luca Capriotti, Jacky Lee:
  Machine learning and corporate bond trading. Algorithmic Finance 7(3-4): 105-110 (2018)
• 
  Dominic Jack, Jhony K. Pontes, Sridha Sridharan, Clinton Fookes, Sareh Shirazi, Frédéric Maire, Anders P. Eriksson:
  Learning Free-Form Deformations for 3D Object Reconstruction. ACCV (2) 2018: 317-333
• 
  Dominic Jack, Jhony K. Pontes, Sridha Sridharan, Clinton Fookes, Sareh Shirazi, Frédéric Maire, Anders P. Eriksson:
  Learning Free-Form Deformations for 3D Object Reconstruction. CoRR abs/1803.10932 (2018)
• 2017
• 
  Dominic Jack, Frédéric Maire, Anders P. Eriksson, Sareh Shirazi:
  Adversarially Parameterized Optimization for 3D Human Pose Estimation. 3DV 2017: 145-154
• 2014
• 
  Michael A. Brown, James Pinchin, Jesse M. Blum, Sarah Sharples, Dominic Shaw, Gemma Housley, Sam Howard, Susan Jackson, Martin Flintham, Kelly Benning, John Blakey:
  Exploring the Relationship between Location and Behaviour in Out of Hours Hospital Care. HCI (27) 2014: 395-400
• 
  Alessandro Marras, Aschkan Allahgholi, Julian Becker, L. Bianco, Annette Delfs, Peter Goettlicher, Alexander Klyuev, S. Jack, Sabine Lange, Igor Sheviakov, Ulrich Trunk, Qingqing Xia, Jiaguo Zhang, Manfred Zimmer, Roberto Dinapoli, Dominic Greiffenberg, Davide Mezza, Aldo Mozzanica, Bernd Schmitt, Xintian Shi, Robert Klanner, Joern Schwandt, Heinz Graafsma:
  Vertically integrated circuits: Example of an application to an x-ray detector. ICECS 2014: 243-246
• 2013
• 
  Jack H. Townsend, Richard Gomer, William Fyson, Dominic Hobson, Huw Fryer, Andrea Prieto, Gail Taylor, Nigel Shadbolt:
  Creating an Open Data Application for Sustainability Education: Globe-Town. Veni@OKCon 2013
• 2011
• 
  Dagmar Waltemath, Richard R. Adams, Daniel A. Beard, Frank T. Bergmann, Upinder S. Bhalla, Randall Britten, Vijayalakshmi Chelliah, Mike T. Cooling, Jonathan Cooper, Edmund J. Crampin, Alan Garny, Stefan Hoops, Michael Hucka, Peter J. Hunter, Edda Klipp, Camille Laibe, Andrew K. Miller, Ion I. Moraru, David P. Nickerson, Poul M. F. Nielsen, Macha Nikolski, Sven Sahle, Herbert M. Sauro, Henning Schmidt, Jacky L. Snoep, Dominic P. Tolle, Olaf Wolkenhauer, Nicolas Le Novère:
  Minimum Information About a Simulation Experiment (MIASE). PLoS Comput. Biol. 7(4) (2011)
• 1999
• 
  Jack Choquette, Mayank Gupta, Dominic McCarthy, Jack Veenstra:
  High performance RISC microprocessors. IEEE Micro 19(4): 48-55 (1999)
• 1994
• 
  Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi:
  Applications of Parallel Constraint Logic Programming to Molecular Biology and Genetics. HPCN 1994: 236-237

skipping 6 more matches