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

• 2024
• 
  Ali Al-Laith, Daniel Hershcovich, Jens Bjerring-Hansen, Jakob Parby, Alexander Conroy, Timothy Tangherlini:
  Noise, Novels, Numbers. A Framework for Detecting and Categorizing Noise in Danish and Norwegian Literature. EMNLP 2024: 3344-3354
• 2023
• 
  Thomas Bjørner, Mads Strømberg Petersen, Niklas Lee Skjold Hansen, Gustav Søgaard Jakobsen, Daniel Bredgaard Hendriksen:
  How can a foundation be outlined for a successful serious game to increase reading engagement. Int. J. Serious Games 10(1): 81-95 (2023)
• 
  Martin Bernstorff, Kenneth C. Enevoldsen, Jakob Damgaard, Andreas Danielsen, Lasse Hansen:
  timeseriesflattener: A Python package for summarizing features from (medical) time series. J. Open Source Softw. 8(83): 5197 (2023)
• 
  Thomas Gebhart, Jakob Hansen, Paul Schrater:
  Knowledge Sheaves: A Sheaf-Theoretic Framework for Knowledge Graph Embedding. AISTATS 2023: 9094-9116
• 
  Jakob Grimm Hansen, Micha Heiß, Dengyun Li, Michal Kozlowski, Erdal Kayacan:
  Vessel Inspection In-the-wild: Practical Planning in Large-scale Industrial Environments. ACC 2023: 812-817
• 
  Tina W. Milbak, Jakob Grue Simonsen, Marco B. Hansen, Naja L. Holten Møller:
  Designing with Awareness* Building an Agenda for Worker- and Patient Well-being. ECSCW 2023
• 
  Mathias Micheelsen Lowes, Jakob L. Christensen, Bjørn Schreblowski Hansen, Morten Rieger Hannemose, Anders Bjorholm Dahl, Vedrana Andersen Dahl:
  Interactive Scribble Segmentation. NLDL 2023
• 
  Nicolai André Brogaard Riis, Amal Mohammed A. Alghamdi, Felipe Uribe, Silja L. Christensen, Babak Maboudi Afkham, Per Christian Hansen, Jakob Sauer Jørgensen:
  CUQIpy - Part I: computational uncertainty quantification for inverse problems in Python. CoRR abs/2305.16949 (2023)
• 
  Amal Mohammed A. Alghamdi, Nicolai André Brogaard Riis, Babak Maboudi Afkham, Felipe Uribe, Silja L. Christensen, Per Christian Hansen, Jakob Sauer Jørgensen:
  CUQIpy - Part II: computational uncertainty quantification for PDE-based inverse problems in Python. CoRR abs/2305.16951 (2023)
• 
  Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild:
  State of the Art Report: Verified Computation. CoRR abs/2308.15191 (2023)
• 2022
• 
  Rui Pimentel de Figueiredo, Jonas le Fevre Sejersen, Jakob Grimm Hansen, Martim Brandão:
  Integrated design-sense-plan architecture for autonomous geometric-semantic mapping with UAVs. Frontiers Robotics AI 9 (2022)
• 
  Dharani Maddali, Henrik Brun, Gabriel Kiss, Jon Mikkelsen Hjelmervik, Ole Jakob Elle:
  Spatial Orientation in Cardiac Ultrasound Images Using Mixed Reality: Design and Evaluation. Frontiers Virtual Real. 3 (2022)
• 
  Mads Strømberg Petersen, Niklas Lee Skjold Hansen, Gustav Søgaard Jakobsen, Daniel Henriksen, Thomas Bjørner:
  Making Fiscal Policy Engaging for Students in Social Studies by Used Game-Based Learning. DLI 2022: 153-167
• 
  Nikolaj Hansen, Simon Lorentzen, Sofie Widell, Jakob Kusnick, Stefan Jänicke:
  Tornado Visualizer: Analyzing the Destructive Impact of Tornadoes in the United States. EnvirVis@EuroVis 2022: 11-17
• 
  Jakob Grimm Hansen, Micha Heiß, Michal Kozlowski, Erdal Kayacan:
  UAV Trajectory Evaluation in Large Industrial Environments: A Cost-Effective Solution. ECC 2022: 1336-1341
• 2021
• 
  Jakob Cetti Hansen, Adam Husted Kjelstrøm, Andreas Pavlogiannis:
  Tight bounds for reachability problems on one-counter and pushdown systems. Inf. Process. Lett. 171: 106135 (2021)
• 
  Rune Inglev, Emil Møller, Jonas Højgaard, Ole Bang, Jakob Janting:
  Optimization of All-Polymer Optical Fiber Oxygen Sensors with Antenna Dyes and Improved Solvent Selection Using Hansen Solubility Parameters. Sensors 21(1): 5 (2021)
• 
  Jakob Hansen, Robert Ghrist:
  Opinion Dynamics on Discourse Sheaves. SIAM J. Appl. Math. 81(5): 2033-2060 (2021)
• 
  Dongsheng Wang, Casper Hansen, Lucas Chaves Lima, Christian Hansen, Maria Maistro, Jakob Grue Simonsen, Christina Lioma:
  Multi-head Self-attention with Role-Guided Masks. ECIR (2) 2021: 432-439
• 
  Mads Strømberg Petersen, Gustav Søgaard Jakobsen, Daniel Bredgaard Hendriksen, Niklas Lee Skjold Hansen, Thomas Bjørner:
  Can a Serious Game Be Designed to Increase Engagement in a Mandatory Postmodern Novella at Danish Gymnasiums? GALA 2021: 57-67
• 
  Per Christian Hansen, Jakob Sauer Jørgensen, Peter Winkel Rasmussen:
  Stopping Rules for Algebraic Iterative Reconstruction Methods in Computed Tomography. ICCSA (Workshops) 2021: 60-70
• 
  Rui Pimentel de Figueiredo, Jonas le Fevre Sejersen, Jakob Grimm Hansen, Martim Brandão, Erdal Kayacan:
  Real-Time Volumetric-Semantic Exploration and Mapping: An Uncertainty-Aware Approach. IROS 2021: 9064-9070
• 
  Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Christina Lioma:
  Projected Hamming Dissimilarity for Bit-Level Importance Coding in Collaborative Filtering. WWW 2021: 261-269
• 
  Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
  Unsupervised Multi-Index Semantic Hashing. WWW 2021: 2879-2889
• 
  Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Christina Lioma:
  Projected Hamming Dissimilarity for Bit-Level Importance Coding in Collaborative Filtering. CoRR abs/2103.14455 (2021)
• 
  Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
  Unsupervised Multi-Index Semantic Hashing. CoRR abs/2103.14460 (2021)
• 
  Rui Pimentel de Figueiredo, Jakob Grimm Hansen, Jonas Le Fevre, Martim Brandão, Erdal Kayacan:
  On the Advantages of Multiple Stereo Vision Camera Designs for Autonomous Drone Navigation. CoRR abs/2105.12691 (2021)
• 
  Per Christian Hansen, Jakob Sauer Jørgensen, Peter Winkel Rasmussen:
  Stopping Rules for Algebraic Iterative Reconstruction Methods in Computed Tomography. CoRR abs/2106.10053 (2021)
• 
  Rui Pimentel de Figueiredo, Jonas le Fevre Sejersen, Jakob Grimm Hansen, Martim Brandão, Erdal Kayacan:
  Real-Time Volumetric-Semantic Exploration and Mapping: An Uncertainty-Aware Approach. CoRR abs/2109.01474 (2021)
• 
  Thomas Gebhart, Jakob Hansen, Paul Schrater:
  Knowledge Sheaves: A Sheaf-Theoretic Framework for Knowledge Graph Embedding. CoRR abs/2110.03789 (2021)

skipping 101 more matches