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

• 2024
• 
  Florian Bruse, Martin Lange:
  Model checking timed recursive CTL. Inf. Comput. 298: 105168 (2024)
• 
  Martijn C. Schut, Dave A. Dongelmans, Dylan W. De Lange, Sylvia Brinkman, D. P. Verbiest, L. F. te Velde, E. M. van Driel, T. Rijpstra, P. H. J. Elbers, A. P. I. Houwink, L. Georgieva, E. Verweij, R. M. de Jong, F. M. van Iersel, T. J. J. Koning, E. Rengers, N. Kusadasi, M. L. Erkamp, R. Van den Berg, C. J. M. G. Jacobs, J. L. Epker, A. A. Rijkeboer, M. T. de Bruin, P. Spronk, A. Draisma, D. J. Versluis, A. E. van den Berg, M. Vrolijk-de Mos, J. A. Lens, R. V. Pruijsten, H. Kieft, J. Rozendaal, Fleur G. C. A. Nooteboom, D. P. Boer, I. T. A. Janssen, L. van Gulik, M. P. Koetsier, V. M. Silderhuis, R. M. Schnabel, I. Drogt, Wouter de Ruijter, Robert-Jan Bosman, T. Frenzel, Louise C. Urlings-Strop, A. Dijkhuizen, I. Z. Hené, A. R. de Meijer, J. W. M. Holtkamp, N. Postma, A. J. G. H. Bindels, R. M. J. Wesselink, E. R. van Slobbe-Bijlsma, Peter H. J. van der Voort, B. J. W. Eikemans, D. Jannet Mehagnoul-Schipper, D. Gommers, J. G. Lutisan, M. Hoeksema, M. G. W. Barnas, Barbara Festen-Spanjer, M. van Lieshout, N. C. Gritters, Martijn van Tellingen, Gert B. Brunnekreef, J. Vandeputte, T. P. J. Dormans, M. E. Hoogendoorn, M. de Graaff, D. Moolenaar, Auke C. Reidinga, J. J. Spijkstra, R. de Waal, D. Ramnarain, Nicolette F. de Keizer, Ameen Abu-Hanna:
  Development and evaluation of regression tree models for predicting in-hospital mortality of a national registry of COVID-19 patients over six pandemic surges. BMC Medical Informatics Decis. Mak. 24(1): 7 (2024)
• 
  Mahesh Kumar Sha, Martine De Mazière, Justus Notholt, Thomas Blumenstock, Pieter Bogaert, Pepijn Cardoen, Huilin Chen, Filip De Smet, Omaira Elena García, David W. T. Griffith, Frank Hase, Pauli Heikkinen, Benedikt Herkommer, Christian Hermans, Nicholas Jones, Rigel Kivi, Nicolas Kumps, Bavo Langerock, Neil A. Macleod, Jamal Makkor, Winfried Markert, Christof Petri, Qiansi Tu, Corinne Vigouroux, Damien Weidmann, Minqiang Zhou:
  Fiducial Reference Measurement for Greenhouse Gases (FRM4GHG). Remote. Sens. 16(18): 3525 (2024)
• 
  Martin Eigel, Robert Gruhlke, David Sommer:
  Less Interaction with Forward Models in Langevin Dynamics: Enrichment and Homotopy. SIAM J. Appl. Dyn. Syst. 23(3): 1870-1908 (2024)
• 
  Andreas Habring, Martin Holler, Thomas Pock:
  Subgradient Langevin Methods for Sampling from Nonsmooth Potentials. SIAM J. Math. Data Sci. 6(4): 897-925 (2024)
• 
  Florian Bruse, Maurice Herwig, Martin Lange:
  Weights of formal languages based on geometric series with an application to automatic grading. Theor. Comput. Sci. 983: 114295 (2024)
• 
  Maurice Herwig, Norbert Hundeshagen, John Hundhausen, Stefan Kablowski, Martin Lange:
  Problem-Specific Visual Feedback in Discrete Modelling. DeLFI 2024
• 
  Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange:
  Verifying and Interpreting Neural Networks Using Finite Automata. DLT 2024: 266-281
• 
  Vera Lange, Charlotte Vera Swart, Jasper Jeurens, Eric Martin Velleman:
  Tools for Novice and Expert Accessibility Professionals: Requirements for the Next Generation Web Accessibility Evaluation Tools List. ICCHP (1) 2024: 72-83
• 
  Christian Mollière, Lukas Kondmann, Martin Langer, Julia Gottfriedsen:
  A Roadmap to subdaily Land Surface Temperature. IGARSS 2024: 1296-1299
• 
  Fabian Schöttl, Andrea Spichtinger, Julian Franquinet, Martin Langer:
  Real-Time On-Orbit Fire Detection on FOREST-2. IGARSS 2024: 2360-2364
• 
  Thomas Weber, Monalisha Ojha, Mohammad Sadeghi, Lars König, Martin Armbruster, Arne Lange, Erik Burger, Colin Atkinson:
  Towards Deep Reactions in Multi-Level, Multi-View Modeling. MoDELS (Companion) 2024: 760-769
• 
  Simon Martinus Koop, Mark A. Peletier, Jacobus Willem Portegies, Vlado Menkovski:
  Neural Langevin Dynamics: Towards Interpretable Neural Stochastic Differential Equations. NLDL 2024: 130-137
• 
  Florian Bruse, Martin Lange:
  Computing All Minimal Ways to Reach a Context-Free Language. RP 2024: 38-53
• 
  Frank Förster, Marta Romeo, Patrick Holthaus, Maria Jose Galvez Trigo, Joel E. Fischer, Birthe Nesset, Christian Dondrup, Christine Murad, Cosmin Munteanu, Benjamin R. Cowan, Leigh Clark, Martin Porcheron, Heloisa Candello, Raina Langevin:
  Working with Trouble and Failures in Conversation between Humans and Robots (WTF 2023) & Is CUI Design Ready Yet? CoRR abs/2401.04108 (2024)
• 
  Martin Alkämper, Stephan Hilb, Andreas Langer:
  A primal-dual adaptive finite element method for total variation based motion estimation. CoRR abs/2404.03125 (2024)
• 
  Markus Hillemann, Robert Langendörfer, Max Heiken, Max Mehltretter, Andreas Schenk, Martin Weinmann, Stefan Hinz, Christian Heipke, Markus Ulrich:
  Novel View Synthesis with Neural Radiance Fields for Industrial Robot Applications. CoRR abs/2405.04345 (2024)
• 
  Marco Sälzer, Eric Alsmann, Martin Lange:
  The Computational Complexity of Formal Reasoning for Encoder-Only Transformers. CoRR abs/2405.18548 (2024)
• 
  Remi Laumont, Yiqiu Dong, Martin S. Andersen:
  Sampling Strategies in Bayesian Inversion: A Study of RTO and Langevin Methods. CoRR abs/2406.16658 (2024)
• 
  Maximilian Brock, Martin Brückmann, Elmar Langetepe, Raphael Wude:
  Simple Grid Polygon Online Exploration Revisited. CoRR abs/2407.17208 (2024)
• 
  Jacqueline Lammert, Nicole Pfarr, Leonid Kuligin, Sonja Mathes, Tobias Dreyer, Luise Modersohn, Patrick Metzger, Dyke Ferber, Jakob Nikolas Kather, Daniel Truhn, Lisa Christine Adams, Keno K. Bressem, Sebastian Lange, Kristina Schwamborn, Martin Boeker, Marion Kiechle, Ulrich A. Schatz, Holger Bronger, Maximilian Tschochohei:
  Large Language Models-Enabled Digital Twins for Precision Medicine in Rare Gynecological Tumors. CoRR abs/2409.00544 (2024)
• 2023
• 
  Martin Langer:
  Secured Time Synchronization Using Packet-Based Time Protocols. Braunschweig University of Technology, Germany, 2023
• 
  Iacopo Vagliano, Maurice Y. Kingma, Dave A. Dongelmans, Dylan W. De Lange, Nicolette F. de Keizer, Martijn C. Schut:
  Automated identification of patient subgroups: A case-study on mortality of COVID-19 patients admitted to the ICU. Comput. Biol. Medicine 163: 107146 (2023)
• 
  Tobias Wand, Martin Heßler, Oliver Kamps:
  Memory Effects, Multiple Time Scales and Local Stability in Langevin Models of the S&P500 Market Correlation. Entropy 25(9): 1257 (2023)
• 
  Florian Bruse, Martin Lange:
  The tail-recursive fragment of timed recursive CTL. Inf. Comput. 294: 105084 (2023)
• 
  Xenia Specka, Daniel Martini, Claus Weiland, Daniel Arend, Senthold Asseng, Franziska Boehm, Til Feike, Juliane Fluck, David Gackstetter, Aida Gonzales-Mellado, Thomas Hartmann, Jan-Henrik Haunert, Florian Hoedt, Carsten Hoffmann, Patrick König, Matthias Lange, Stephan Lesch, Birte Lindstädt, Gunnar Lischeid, Markus Möller, Uwe Rascher, Jochen Christoph Reif, Markus Schmalzl, Matthias Senft, Ulrike Stahl, Nikolai Svoboda, Björn Usadel, Heidi Webber, Frank Ewert:
  FAIRagro: Ein Konsortium in der Nationalen Forschungsdateninfrastruktur (NFDI) für Forschungsdaten in der Agrosystemforschung. Inform. Spektrum 46(1): 24-35 (2023)
• 
  Stephan Hilb, Andreas Langer, Martin Alkämper:
  A Primal-Dual Finite Element Method for Scalar and Vectorial Total Variation Minimization. J. Sci. Comput. 96(1): 24 (2023)
• 
  Martin Chak, Nikolas Kantas, Grigorios A. Pavliotis:
  On the Generalized Langevin Equation for Simulated Annealing. SIAM/ASA J. Uncertain. Quantification 11(1): 139-167 (2023)
• 
  Sebastian Klein, Nora Wuerdemann, Imke Demers, Christopher Kopp, Jennifer Quantius, Arthur Charpentier, Yuri Tolkach, Klaus Brinker, Shachi Jenny Sharma, Julie George, Jochen Hess, Fabian Stögbauer, Martin Lacko, Marijn Struijlaart, Mari F. C. M. van den Hout, Steffen Wagner, Claus Wittekindt, Christine Langer, Christoph Arens, Reinhard Büttner, Alexander Quaas, Hans Christian Reinhardt, Ernst-Jan Speel, Jens Peter Klussmann:
  Predicting HPV association using deep learning and regular H&E stains allows granular stratification of oropharyngeal cancer patients. npj Digit. Medicine 6 (2023)
• 
  Timon Ziegenbein, Shahbaz Syed, Felix Lange, Martin Potthast, Henning Wachsmuth:
  Modeling Appropriate Language in Argumentation. ACL (1) 2023: 4344-4363

skipping 448 more matches