• 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 1,365 matches

• 2024
• 
  Ashkan Pakzad, W. K. Cheung, Coline H. M. Van Moorsel, Kin Quan, Nesrin Mogulkoc, Brian J. Bartholmai, H. W. Van Es, Alper Ezircan, Frouke Van Beek, Marcel Veltkamp, Ronald A. Karwoski, T. Peikert, R. D. Clay, Finbar Foley, Cassandra Braun, Recep Savas, Carole H. Sudre, Tom Doel, Daniel C. Alexander, Peter A. Wijeratne, Dave Hawkes, Yipeng Hu, John R. Hurst, Joseph Jacob:
  Evaluation of automated airway morphological quantification for assessing fibrosing lung disease. Comput. methods Biomech. Biomed. Eng. Imaging Vis. 12(1) (2024)
• 
  Maren S. Barth, Katharina Palm, Henrik Andersson, Tobias Andersson Granberg, Anders N. Gullhav, Andreas Krüger:
  Emergency exit layout planning using optimization and agent-based simulation. Comput. Manag. Sci. 21(1): 1 (2024)
• 
  Maciej Besta, Robert Gerstenberger, Emanuel Peter, Marc Fischer, Michal Podstawski, Claude Barthels, Gustavo Alonso, Torsten Hoefler:
  Demystifying Graph Databases: Analysis and Taxonomy of Data Organization, System Designs, and Graph Queries. ACM Comput. Surv. 56(2): 31:1-31:40 (2024)
• 
  Konstantin Schall, Werner Bailer, Kai Uwe Barthel, Fabio Carrara, Jakub Lokoc, Ladislav Peska, Klaus Schoeffmann, Lucia Vadicamo, Claudio Vairo:
  Interactive multimodal video search: an extended post-evaluation for the VBS 2022 competition. Int. J. Multim. Inf. Retr. 13(2): 15 (2024)
• 
  Jean Barthélemy, Eric Mengus, Guillaume Plantin:
  The central bank, the treasury, or the market: Which one determines the price level? J. Econ. Theory 220: 105885 (2024)
• 
  Bartholomew E. Jardine, Lucian P. Smith, Herbert M. Sauro:
  MakeSBML: a tool for converting between Antimony and SBML. J. Integr. Bioinform. 21(1) (2024)
• 
  Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Benjamin Grégoire, Mélissa Rossi, Mehdi Tibouchi:
  Masking the GLP Lattice-Based Signature Scheme at Any Order. J. Cryptol. 37(1): 5 (2024)
• 
  Richmond Opoku-Sarkodie, Ferenc A. Bartha, Mónika Polner, Gergely Röst:
  Bifurcation analysis of waning-boosting epidemiological models with repeat infections and varying immunity periods. Math. Comput. Simul. 218: 624-643 (2024)
• 
  Johannes Gnörich, Mara Köhler, Karin Wind-Mark, Carolin Klaus, Artem Zatcepin, Giovanna Palumbo, Manvir Lalia, Laura Sebastian Monasor, Leonie Beyer, Florian Eckenweber, Maximilian Scheifele, Franz-Josef Gildehaus, Barbara von Ungern-Sternberg, Henryk Barthel, Osama Sabri, Peter Bartenstein, Jochen Herms, Sabina Tahirovic, Nicolai Franzmeier, Sibylle Ziegler, Matthias Brendel:
  Towards multicenter β-amyloid PET imaging in mouse models: A triple scanner head-to-head comparison. NeuroImage 297: 120748 (2024)
• 
  Simon Patrick Hammond, Gianfranco Polizzi, Claire Duddy, Y'etsha Bennett-Grant, Kimberley J. Bartholomew:
  Children's, parents' and educators' understandings and experiences of digital resilience: A systematic review and meta-ethnography. New Media Soc. 26(5): 3018-3042 (2024)
• 
  Lachlan Baer, Karissa Barthelson, John H. Postlethwait, David L. Adelson, Stephen M. Pederson, Michael Lardelli:
  Differential allelic representation (DAR) identifies candidate eQTLs and improves transcriptome analysis. PLoS Comput. Biol. 20(2) (2024)
• 
  Santiago Arranz Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe:
  High-assurance zeroization. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024(1): 375-397 (2024)
• 
  Haishan Liu, Peng Hao, Yejia Liao, Shams Tanvir, Kanok Boriboonsomsin, Matthew J. Barth:
  Eco-Friendly Crowdsourced Meal Delivery: A Dynamic On-Demand Meal Delivery System with a Mixed Fleet of Electric and Gasoline Vehicles. IEEE Trans. Intell. Transp. Syst. 25(9): 11397-11410 (2024)
• 
  Xiaonian Shan, Changxin Wan, Peng Hao, Guoyuan Wu, Matthew J. Barth:
  Developing A Novel Dynamic Bus Lane Control Strategy With Eco-Driving Under Partially Connected Vehicle Environment. IEEE Trans. Intell. Transp. Syst. 25(6): 5919-5934 (2024)
• 
  Matthias Maszuhn, Frerk Müller-von Aschwege, Felix Jansen, Andreas Hein, Hester Knol, David Snowdon, Michael Buschermöhle, Dominik Barth, Luisa Haag, Nadine Wohlers, Linda Rüde, Oliver Pieske:
  Bridging Gaps in Fracture Rehabilitation: A Mobile Solution Proposal for Comprehensive Recovery. BIOSTEC (2) 2024: 646-653
• 
  José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
  Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) 2024: 384-421
• 
  Tanja Harbaum, Alexey Serdyuk, Fabian Kreß, Tim Hamann, Jens Barth, Peter Kämpf, Florent Imbert, Yann Soullard, Romain Tavenard, Éric Anquetil, Jessica Delahaie:
  KIHT: Kaligo-Based Intelligent Handwriting Teacher. DATE 2024: 1-6
• 
  Wenqian Cui, Pedro Sarmento, Mathieu Barthet:
  MoodLoopGP: Generating Emotion-Conditioned Loop Tablature Music with Multi-granular Features. EvoMUSART 2024: 97-113
• 
  Saumik Shashwat, Parth Barthwal, Deep Sharma, Richa Gupta, Shourya Pathak:
  Talktile: Accessible Educational Tool to Augment Independent Learning for Students with BVI. HCI (15) 2024: 159-173
• 
  Björn Fischer, Berit Barthelmes, Sven Eric Panitz, Eva-Maria Iwer, Ralf Dörner:
  Seeking Consent for Programming Process Data Collection with Trustee-Based Encryption. ICER (1) 2024: 131-142
• 
  Kai Uwe Barthel, Florian Tim Barthel, Peter Eisert, Nico Hezel, Konstantin Schall:
  Creating Sorted Grid Layouts with Gradient-based Optimization. ICMR 2024: 1199-1206
• 
  Daniel R. Assumpcao, Can M. Knaut, Aziza Suleymanzade, Yan-Cheng Wei, Pieter-Jan Stas Stas, Yan-Qi Huan, Bartholomeus Machielse, Erik N. Knall, Madison Sutula, Gefen Baranes, Neil Sinclair, Chawina De-Eknamkul, David S. Levonian, Mihir K. Bhaskar, Hongkun Park, Marko Loncar, Mikhail Lukin:
  Remote Entanglement of Quantum Memories over a Metropolitan Network. OFC 2024: 1-3
• 
  Yangang Xing, Purna Kar, Jordan J. Bird, Alex Sumich, Benedict Carpenter van Barthold, Andrew Knight, Ahmad Lotfi:
  Exploring Machine Learning Applications for Biophilic Art Displays to Promote Health and Well-being. PETRA 2024
• 
  Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar:
  They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks. Software Engineering 2024: 143-144
• 
  Trung H. Le, Huynh Anh Duy Nguyen, Xavier Barthélémy, Tien T. Nguyen, Quang Phuc Ha, Ningbo Jiang, Hiep Duc, Merched Azzi, Matthew Riley:
  Visualization Platform for Multi-Scale Air Pollution Monitoring and Forecast. SII 2024: 1-6
• 
  Marcel Fourné, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar:
  "These results must be false": A usability evaluation of constant-time analysis tools. USENIX Security Symposium 2024
• 
  Florian Barthel, Anna Hilsmann, Peter Eisert:
  Multi-View Inversion for 3D-aware Generative Adversarial Networks. VISIGRAPP (4): VISAPP 2024: 194-203
• 
  Armin P. Barth:
  Neugier am Brennen halten. Wirksamer Informatikunterricht 2024: 23-33
• 
  Weiming Shen, Jean-Paul A. Barthès, Junzhou Luo, Tie Qiu, Xiaobo Zhou, Jinghui Zhang, Haibin Zhu, Kunkun Peng, Tianyi Xu, Ning Chen:
  27th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2024, Tianjin, China, May 8-10, 2024. IEEE 2024, ISBN 979-8-3503-4918-4 [contents]
• 
  Wenqian Cui, Pedro Sarmento, Mathieu Barthet:
  MoodLoopGP: Generating Emotion-Conditioned Loop Tablature Music with Multi-Granular Features. CoRR abs/2401.12656 (2024)

skipping 1,335 more matches