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

• 2024
• 
  Mohammad Hamad, Andreas Finkenzeller, Michael Kühr, Andrew Roberts, Olaf Maennel, Vassilis Prevelakis, Sebastian Steinhorst:
  REACT: Autonomous intrusion response system for intelligent vehicles. Comput. Secur. 145: 104008 (2024)
• 
  Michael Fink, Dirk Wollherr, Marion Leibold:
  Stochastic Model Predictive Control With Minimal Constraint Violation Probability for Time-Variant Chance Constraints. IEEE Control. Syst. Lett. 8: 1385-1390 (2024)
• 
  Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker:
  The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. Int. J. Softw. Tools Technol. Transf. 26(5): 551-567 (2024)
• 
  Michael Fink, Tim Brüdigam, Dirk Wollherr, Marion Leibold:
  Minimal Constraint Violation Probability in Model Predictive Control for Linear Systems. IEEE Trans. Autom. Control. 69(10): 7043-7050 (2024)
• 
  Michael Hudecheck, Daniela Maresch, Matthias Fink:
  We Keep an Eye on You! How High-Tech Security Assets Help Police Forces Make Cities Safer. IEEE Trans. Engineering Management 71: 9691-9701 (2024)
• 
  Michael Finkler:
  Der X-Faktor als industrieller Blockbuster. Wirtschaftsinformatik Manag. 16(2): 79-86 (2024)
• 
  Ben Finkelshtein, Xingyue Huang, Michael M. Bronstein, Ismail Ilkan Ceylan:
  Cooperative Graph Neural Networks. ICML 2024
• 
  Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt:
  Soundness of reset workflow nets. LICS 2024: 13:1-13:14
• 
  Mohammad Hamad, Andreas Finkenzeller, Michael Kühr, Andrew Roberts, Olaf Maennel, Vassilis Prevelakis, Sebastian Steinhorst:
  REACT: Autonomous Intrusion Response System for Intelligent Vehicles. CoRR abs/2401.04792 (2024)
• 
  Michael Fink, Tim Brüdigam, Dirk Wollherr, Marion Leibold:
  Minimal Constraint Violation Probability in Model Predictive Control for Linear Systems. CoRR abs/2402.10538 (2024)
• 
  Sam Adam-Day, Michael Benedikt, Ismail Ilkan Ceylan, Ben Finkelshtein:
  Graph neural network outputs are almost surely asymptotically constant. CoRR abs/2403.03880 (2024)
• 
  Kevin Schäfers, Jacob Finkenrath, Michael Günther, Francesco Knechtli:
  Hessian-free force-gradient integrators. CoRR abs/2403.10370 (2024)
• 
  Ben Finkelshtein, Ismail Ilkan Ceylan, Michael M. Bronstein, Ron Levie:
  Learning on Large Graphs using Intersecting Communities. CoRR abs/2405.20724 (2024)
• 
  Tommaso Benciolini, Michael Fink, Nehir Güzelkaya, Dirk Wollherr, Marion Leibold:
  Safe and Non-Conservative Trajectory Planning for Autonomous Driving Handling Unanticipated Behaviors of Traffic Participants. CoRR abs/2406.13396 (2024)
• 2023
• 
  Aurora C. Schmidt, Christopher J. Cameron, Corey Lowman, Joshua Brulé, Amruta Deshpande, Seyyed A. Fatemi, Vladimir Barash, Ariel M. Greenberg, Cash J. Costello, Eli Sherman, Rohit Bhattacharya, Liz McQuillan, Alexander Perrone, Yanni Kouskoulas, Clay Fink, June Zhang, Ilya Shpitser, Michael W. Macy:
  Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds. Comput. Math. Organ. Theory 29(1): 156-187 (2023)
• 
  Michael Winter, Rüdiger Pryss, Matthias Fink, Manfred Reichert:
  Towards measuring and quantifying the comprehensibility of process models: the process model comprehension framework. Inf. Syst. E Bus. Manag. 21(3): 723-751 (2023)
• 
  Arsalan Haider, Yongjae Cho, Marcell Pigniczki, Michael H. Köhler, Lukas Haas, Ludwig Kastner, Maximilian Fink, Michael Schardt, Yannik Cichy, Shotaro Koyama, Thomas Zeh, Tim Poguntke, Hideo Inoue, Martin Jakobi, Alexander W. Koch:
  Performance Evaluation of MEMS-Based Automotive LiDAR Sensor and Its Simulation Model as per ASTM E3125-17 Standard. Sensors 23(6): 3113 (2023)
• 
  Arsalan Haider, Marcell Pigniczki, Shotaro Koyama, Michael H. Köhler, Lukas Haas, Maximilian Fink, Michael Schardt, Koji Nagase, Thomas Zeh, Abdulkadir Eryildirim, Tim Poguntke, Hideo Inoue, Martin Jakobi, Alexander W. Koch:
  A Methodology to Model the Rain and Fog Effect on the Performance of Automotive LiDAR Sensors. Sensors 23(15): 6891 (2023)
• 
  Christina van der Linden, Thea Berger, Gregor A. Brandt, Joshua N. Strelow, Hannah Jergas, Juan Carlos Baldermann, Veerle Visser-Vandewalle, Gereon R. Fink, Michael T. Barbe, Jan Niklas Petry-Schmelzer, Till Anselm Dembek:
  Accelerometric Classification of Resting and Postural Tremor Amplitude. Sensors 23(20): 8621 (2023)
• 
  Thomas Mion, Michael J. D'Agati, Sydney Sofronici, Konrad Bussmann, Margo Staruch, Jason L. Kost, Kevin Co, Roy H. Olsson III, Peter Finkel:
  High Isolation, Double-Clamped, Magnetoelectric Microelectromechanical Resonator Magnetometer. Sensors 23(20): 8626 (2023)
• 
  Robyn Mae Paul, Yani Jazayeri, Laleh Behjat, Michael Potter:
  Design of an Integrated Project-Based Learning Curriculum: Analysis Through Fink's Taxonomy of Significant Learning. IEEE Trans. Educ. 66(5): 457-467 (2023)
• 
  Christian Finke, Michael Groth, Matthias Schumann, Paul Dewitz, Jonas Gehrke, Tamino Marahrens:
  Design and Implementation of Hierarchical Digital Twins in Industrial Production Environments. HICSS 2023: 1448-1457
• 
  Jamie Lohoff, Zhenming Yu, Jan Finkbeiner, Anil Kaya, Kenneth Michael Stewart, Hin Wai Lui, Emre Neftci:
  Interfacing Neuromorphic Hardware with Machine Learning Frameworks - A Review. ICONS 2023: 16:1-16:8
• 
  Michael G. Christel, Angelina Shi, James Finkel, Hannah Baxter, Hsuan-Ju Wang, Yuchan Wu, Ricardo Washingon, Bryan S. Maher, John Balash:
  Power Core Values: Teaching Racial Bias Awareness Through a Stealth Game and Workshop. JCSG 2023: 243-256
• 
  Michael Fink, Annalena Daniels, Cheng Qian, Víctor Martínez Velásquez, Sahil Salotra, Dirk Wollherr:
  Comparison of Dynamic Tomato Growth Models for Optimal Control in Greenhouses. CoRR abs/2308.06031 (2023)
• 
  Annalena Daniels, Michael Fink, Marion Leibold, Dirk Wollherr, Senthold Asseng:
  Optimal Control for Indoor Vertical Farms Based on Crop Growth. CoRR abs/2309.07540 (2023)
• 
  Drew Linsley, John Griffin, Jason Parker Brown, Adam N. Roose, Michael J. Frank, Peter Linsley, Steven Finkbeiner, Jeremy Linsley:
  Neural scaling laws for phenotypic drug discovery. CoRR abs/2309.16773 (2023)
• 
  Ben Finkelshtein, Xingyue Huang, Michael M. Bronstein, Ismail Ilkan Ceylan:
  Cooperative Graph Neural Networks. CoRR abs/2310.01267 (2023)
• 2022
• 
  Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul D. Hovland, Valerie Taylor, Mary W. Hall:
  Autotuning PolyBench benchmarks with LLVM Clang/Polly loop optimization pragmas using Bayesian optimization. Concurr. Comput. Pract. Exp. 34(20) (2022)
• 
  Chad C. Kessens, Matthew Kaplan, Trevor Rocks, Philip R. Osteen, John G. Rogers, Ethan Stump, Arnon Hurwitz, Jonathan Fink, Long Quang, Mark Gonzalez, Jaymit Patel, Michael Diblasi, Shiyani Patel, Matthew Weiker, Dilip Patel, Joseph Bowkett, Renaud Detry, Sisir Karumanchi, Larry H. Matthies, Joel Burdick, Yash Oza, Aditya Agarwal, Andrew Dornbush, Dhruv Saxena, Maxim Likhachev, Karl Schmeckpeper, Kostas Daniilidis, Ajinkya Kamat, Aditya Mandalika, Sanjiban Choudhury, Siddhartha S. Srinivasa:
  Human-Scale Mobile Manipulation Using RoMan. Field Robotics 2(1): 1232-1262 (2022)

skipping 442 more matches