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

• 2024
• 
  Brenton A. Wilder, Christine M. Lee, Adam Chlus, Hans-Peter Marshall, Jodi Brandt, Alicia M. Kinoshita, Josh Enterkine, Thomas Van Der Weide, Nancy F. Glenn:
  Computationally Efficient Retrieval of Snow Surface Properties From Spaceborne Imaging Spectroscopy Measurements Through Dimensionality Reduction Using k-Means Spectral Clustering. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17: 8594-8605 (2024)
• 
  Tobias Dörr, Florian Schade, Jürgen Becker, Georgios Keramidas, Nikos Petrellis, Vasilios I. Kelefouras, Michail Mavropoulos, Konstantinos Antonopoulos, Christos P. Antonopoulos, Nikolaos S. Voros, Alexander Ahlbrecht, Wanja Zaeske, Vincent Janson, Phillip Nöldeke, Umut Durak, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Clemens Reichmann, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Wolfgang Gabler, Katrin Weiden, Xavier Anzuela Recasens, Sakir Sezer, Fahad Siddiqui, Rafiullah Khan, Kieran McLaughlin, Sena Yengec Tasdemir, Balmukund Sonigara, Henry Hui, Esther Soriano Viguer, Aridane Álvarez Suárez, Vicente Nicolau Gallego, Manuel Muñoz Alcobendas, Miguel Masmano Tello:
  XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems. DATE 2024: 1-6
• 2023
• 
  Carlo Weidemann, Nils Mandischer, Frederick van Kerkom, Burkhard Corves, Mathias Hüsing, Thomas Kraus, Cyryl Garus:
  Literature Review on Recent Trends and Perspectives of Collaborative Robotics in Work 4.0. Robotics 12(3): 84 (2023)
• 
  Theresa Junge, Rike Brendgen, Carsten Graßmann, Thomas Weide, Anne Schwarz-Pfeiffer:
  Development and Characterization of Hybrid, Temperature Sensing and Heating Yarns with Color Change. Sensors 23(16): 7076 (2023)
• 
  Brenton A. Wilder, Nancy F. Glenn, Christine M. Lee, Hans-Peter Marshall, Jodi Brandt, Alicia M. Kinoshita, Thomas Van Der Weide, Josh Enterkine:
  Global Optical Snow properties via High-speed Algorithm With K-means clustering (GOSHAWK). IGARSS 2023: 118-120
• 2022
• 
  Anshu Dubey, Klaus Weide, Jared O'Neal, Akash Dhruv, Sean M. Couch, James Austin Harris, Tom Klosterman, Rajeev Jain, Johann Rudi, Bronson Messer, Michael Pajkos, Jared Carlson, Ran Chu, Mohamed Wahib, Saurabh Chawdhary, Paul M. Ricker, Dongwook Lee, Katie Antypas, Katherine M. Riley, Christopher S. Daley, Murali K. Ganapathy, Francis X. Timmes, Dean M. Townsley, Marcos Vanella, John Bachan, Paul M. Rich, Shravan Kumar, Eirik Endeve, W. Raphael Hix, Anthony Mezzacappa, Thomas Papatheodore:
  Flash-X: A multiphysics simulation software instrument. SoftwareX 19: 101168 (2022)
• 
  Kevin A. Huck, Xingfu Wu, Anshu Dubey, Antigoni Georgiadou, James Austin Harris, Tom Klosterman, Matthew Trappett, Klaus Weide:
  Performance Debugging and Tuning of Flash-X with Data Analysis Tools. ProTools@SC 2022: 1-10
• 
  Anshu Dubey, Klaus Weide, Jared O'Neal, Akash Dhruv, Sean M. Couch, James Austin Harris, Tom Klosterman, Rajeev Jain, Johann Rudi, Bronson Messer, Michael Pajkos, Jared Carlson, Ran Chu, Mohamed Wahib, Saurabh Chawdhary, Paul M. Ricker, Dongwook Lee, Katie Antypas, Katherine M. Riley, Christopher S. Daley, Murali K. Ganapathy, Francis X. Timmes, Dean M. Townsley, Marcos Vanella, John Bachan, Paul Rich, Shravan Kumar, Eirik Endeve, W. Raphael Hix, Anthony Mezzacappa, Thomas Papatheodore:
  Flash-X, a multiphysics simulation software instrument. CoRR abs/2208.11630 (2022)
• 2021
• 
  Ralf Borndörfer, Thomas Eßer, Patrick Frankenberger, Andreas Huck, Christoph Jobmann, Boris Krostitz, Karsten Kuchenbecker, Kai Mohrhagen, Philipp Nagl, Michael Peterson, Markus Reuther, Thilo Schang, Michael Schoch, Hanno Schülldorf, Peter Schütz, Tobias Therolf, Kerstin Waas, Steffen Weider:
  Deutsche Bahn Schedules Train Rotations Using Hypergraph Optimization. INFORMS J. Appl. Anal. 51(1): 42-62 (2021)
• 
  Jared O'Neal, Mohamed Wahib, Anshu Dubey, Klaus Weide, Tom Klosterman, Johann Rudi:
  Domain-Specific Runtime to Orchestrate Computation on Heterogeneous Platforms. Euro-Par Workshops 2021: 154-165
• 
  Rajeev Jain, Klaus Weide, Saurabh Chawdhary, Thomas Klostermann:
  Checkpoint/Restart for Lagrangian particle mesh with AMR in community code FLASH-X. CoRR abs/2103.04267 (2021)
• 
  Frauke Wilm, Michaela Benz, Volker Bruns, Serop Baghdadlian, Jakob Dexl, David Hartmann, Petr Kuritcyn, Martin Weidenfeller, Thomas Wittenberg, Susanne Merkel, Arndt Hartmann, Markus Eckstein, Carol I. Geppert:
  Fast whole-slide cartography in colon cancer histology using superpixels and CNN classification. CoRR abs/2106.15893 (2021)
• 2020
• 
  Martin Bromberger, Thomas Sturm, Christoph Weidenbach:
  A complete and terminating approach to linear integer solving. J. Symb. Comput. 100: 102-136 (2020)
• 2016
• 
  Ralf Borndörfer, Markus Reuther, Thomas Schlechte, Kerstin Waas, Steffen Weider:
  Integrated Optimization of Rolling Stock Rotations for Intercity Railways. Transp. Sci. 50(3): 863-877 (2016)
• 
  Thomas Sturm, Marco Voigt, Christoph Weidenbach:
  Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. LICS 2016: 86-95
• 2015
• 
  Christian Ruf, Andrea Back, Henk Andreas Weidenfeld:
  Designing Tablet Banking Apps for High-Net-Worth Individuals: Specifying Customer Requirements with Prototyping. Bled eConference 2015: 11
• 
  Martin Bromberger, Thomas Sturm, Christoph Weidenbach:
  Linear Integer Arithmetic Revisited. CADE 2015: 623-637
• 
  Thomas Sturm, Marco Voigt, Christoph Weidenbach:
  Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. CoRR abs/1511.08999 (2015)
• 
  Martin Bromberger, Thomas Sturm, Christoph Weidenbach:
  Linear Integer Arithmetic Revisited. CoRR abs/1503.02948 (2015)
• 2014
• 
  Paul Müller, Petra Schwille, Thomas Weidemann:
  PyCorrFit - generic data evaluation for fluorescence correlation spectroscopy. Bioinform. 30(17): 2532-2533 (2014)
• 2013
• 
  Ralf Borndörfer, Andreas Löbel, Markus Reuther, Thomas Schlechte, Steffen Weider:
  Rapid branching. Public Transp. 5(1-2): 3-23 (2013)
• 
  Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach:
  From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics 2013: 169-193
• 
  Thomas Hillenbrand, Christoph Weidenbach:
  Superposition for Bounded Domains. Automated Reasoning and Mathematics 2013: 68-100
• 
  David Büttner, Jean-Thomas Acquaviva, Josef Weidendorfer:
  Real Asynchronous MPI Communication in Hybrid Codes through OpenMP Communication Tasks. ICPADS 2013: 208-215
• 
  Thomas Müller, Josef Weidendorfer, Andreas Blaszczyk:
  Expression Tree Evaluation by Dynamic Code Generation - Are Accelerators Up for the Task? ICPP 2013: 230-239
• 2012
• 
  Michael Gerndt, Frank Hannig, Andreas Herkersdorf, Andreas Hollmann, Marcel Meyer, Sascha Roloff, Josef Weidendorfer, Thomas Wild, Aurang Zaib:
  An integrated simulation framework for invasive computing. FDL 2012: 209-216
• 2011
• 
  Thomas L. van der Weide:
  Arguing to motivate decisions. Utrecht University, Netherlands, 2011
• 
  Thomas L. van der Weide, Frank Dignum:
  Reasoning about and Discussing Preferences between Arguments. ArgMAS 2011: 117-135
• 
  Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
  Multi-criteria Argument Selection in Persuasion Dialogues. ArgMAS 2011: 136-153
• 
  Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
  Multi-criteria argument selection in persuasion dialogues. AAMAS 2011: 921-928

skipping 25 more matches