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

• 2022
• 
  Christopher Ranisch, Heiko Koch, Timm Streul:
  Datenbasierte, adaptive Regelung von Servomotoren für Industrieroboter. Elektrotech. Informationstechnik 139(2): 250-259 (2022)
• 
  Moritz Waldmann, Alice Grosch, Christian Witzler, Matthias Lehner, Odo Benda, Walter Koch, Klaus Vogt, Christopher Kohn, Wolfgang Schröder, Jens Henrik Göbbert, Andreas Lintermann:
  An effective simulation- and measurement-based workflow for enhanced diagnostics in rhinology. Medical Biol. Eng. Comput. 60(2): 365-391 (2022)
• 
  Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven:
  Robustness Against Read Committed for Transaction Templates with Functional Constraints. ICDT 2022: 16:1-16:17
• 
  Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer:
  ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. NFM 2022: 299-317
• 
  David Moor, Yuriy Fedoryshyn, Henning Langenhagen, Jens Müllrich, Rolf Schmid, Christopher Uhl, Michael Möller, Ueli Koch, Yannik Horst, Bertold I. Bitachon, Wolfgang Heni, Benedikt Baeuerle, Marcel Destraz, Huajun Xu, Delwin L. Elder, Lewis E. Johnson, Paraskevas Bakopoulos, Elad Mentovich, Lars Zimmermann, Juerg Leuthold:
  180 GBd Electronic-Plasmonic IC Transmitter. OFC 2022: 1-3
• 
  Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven:
  Robustness against Read Committed for Transaction Templates with Functional Constraints. CoRR abs/2201.05021 (2022)
• 
  Christopher Lazarus, Mykel J. Kochenderfer:
  Deep Binary Reinforcement Learning for Scalable Verification. CoRR abs/2203.05704 (2022)
• 
  Christopher Lazarus, Mykel J. Kochenderfer:
  A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks. CoRR abs/2203.07078 (2022)
• 
  Marcel Schloz, Johannes Müller, Thomas C. Pekin, Wouter Van den Broek, Christoph T. Koch:
  Deep Reinforcement Learning for Data-Driven Adaptive Scanning in Ptychography. CoRR abs/2203.15413 (2022)
• 2021
• 
  Timo Koch, Dennis Gläser, Kilian Weishaupt, Sina Ackermann, Martin Beck, Beatrix Becker, Samuel Burbulla, Holger Class, Edward Coltman, Simon Emmert, Thomas Fetzer, Christoph Grüninger, Katharina Heck, Johannes Hommel, Theresa Kurz, Melanie Lipp, Farid Mohammadi, Samuel Scherrer, Bernd Flemisch:
  DuMu^x 3 - an open-source simulator for solving flow and transport problems in porous media with a focus on model coupling. Comput. Math. Appl. 81: 423-443 (2021)
• 
  Ulf Leser, Marcus Hilbrich, Claudia Draxl, Peter Eisert, Lars Grunske, Patrick Hostert, Dagmar Kainmüller, Odej Kao, Birte Kehr, Timo Kehrer, Christoph Koch, Volker Markl, Henning Meyerhenke, Tilmann Rabl, Alexander Reinefeld, Knut Reinert, Kerstin Ritter, Björn Scheuermann, Florian Schintke, Nicole Schweikardt, Matthias Weidlich:
  The Collaborative Research Center FONDA. Datenbank-Spektrum 21(3): 255-260 (2021)
• 
  Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, Mykel J. Kochenderfer:
  Algorithms for Verifying Deep Neural Networks. Found. Trends Optim. 4(3-4): 244-404 (2021)
• 
  Ambros M. Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp Christophel, Kati Jarck, Thorsten Koch, Jeff T. Linderoth, Marco E. Lübbecke, Hans D. Mittelmann, Derya B. Özyurt, Ted K. Ralphs, Domenico Salvagnin, Yuji Shinano:
  MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library. Math. Program. Comput. 13(3): 443-490 (2021)
• 
  Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven:
  Robustness against Read Committed for Transaction Templates. Proc. VLDB Endow. 14(11): 2141-2153 (2021)
• 
  Jan Bavendiek, Teresa Koch, Christopher Brockmeier, Lutz Eckstein:
  An Expert Informed Approach to Assess Challenges in Automotive HMI Development and Their Implications on Development Processes. AHFE (12) 2021: 181-188
• 
  Christoph Spang, Yannick Lavan, Marco Hartmann, Florian Meisel, Andreas Koch:
  DExIE - An IoT-Class Hardware Monitor for Real-Time Fine-Grained Control-Flow Integrity. DASIP 2021: 26-34
• 
  Mark W. Kroll, Dorin Panescu, Peter E. Perkins, Reinhard Hirtler, Michael Koch, Christopher J. Andrews:
  Ventricular Fibrillation Threshold vs Alternating Current Shock Duration. EMBC 2021: 1257-1263
• 
  Christopher Lazarus, Mykel J. Kochenderfer:
  A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks. AISafety@IJCAI 2021
• 
  Christoph Spang, Florian Meisel, Andreas Koch:
  RT-LIFE: Portable RISC-V Interface for Real-Time Lightweight Security Enforcement. SAMOS 2021: 179-194
• 
  Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer:
  Generating Probabilistic Safety Guarantees for Neural Network Controllers. CoRR abs/2103.01203 (2021)
• 
  Sydney M. Katz, Anthony L. Corso, Christopher A. Strong, Mykel J. Kochenderfer:
  Verification of Image-based Neural Network Controllers Using Generative Models. CoRR abs/2105.07091 (2021)
• 
  Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer:
  ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. CoRR abs/2106.05325 (2021)
• 
  Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven:
  Robustness against Read Committed for Transaction Templates. CoRR abs/2107.12239 (2021)
• 2020
• 
  David Rueckel, Manuel Mühlburger, Stefan Koch:
  An Updated Framework of Factors Enabling Digital Transformation. Pac. Asia J. Assoc. Inf. Syst. 12(4): 1 (2020)
• 
  Marvin Ludwig, Christian M. Runge, Nicolas Friess, Tiziana L. Koch, Sebastian Richter, Simon Seyfried, Luise Wraase, Agustin Lobo, Maria-Teresa Sebastià, Christoph Reudenbach, Thomas Nauss:
  Quality Assessment of Photogrammetric Methods - A Workflow for Reproducible UAS Orthomosaics. Remote. Sens. 12(22): 3831 (2020)
• 
  Amir Shaikhha, Mohammed Elseidy, Stephan Mihaila, Daniel Espino, Christoph Koch:
  Synthesis of Incremental Linear Algebra Programs. ACM Trans. Database Syst. 45(3): 12:1-12:44 (2020)
• 
  Arash Pourhabibi Zarandi, Siddharth Gupta, Hussein Kassir, Mark Sutherland, Zilu Tian, Mario Paulo Drumond, Babak Falsafi, Christoph Koch:
  Optimus Prime: Accelerating Data Transformation in Servers. ASPLOS 2020: 1203-1216
• 
  Marina Konrad, Sabine Koch-Sonneborn, Christopher Lentzsch:
  The Right to Privacy in Socio-Technical Smart Home Settings: Privacy Risks in Multi-Stakeholder Environments. HCI (40) 2020: 549-557
• 
  Bas Ketsman, Christoph Koch:
  Datalog with Negation and Monotonicity. ICDT 2020: 19:1-19:18
• 
  Benedikt Baeuerle, Wolfgang Heni, Claudia Hoessbacher, Yuriy Fedoryshyn, Arne Josten, Ueli Koch, Christian Haffner, Tatsuhiko Watanabe, Christopher Uhl, Horst Hettrich, Delwin L. Elder, Larry R. Dalton, Michael Möller, Juerg Leuthold:
  Low-Power Data Center Transponders Enabled by Micrometer-Scale Plasmonic Modulators. OFC 2020: 1-3

skipping 357 more matches