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

• 2025
• 
  Oliver S. Bak, Mathias W. B. Christiansen, Oliver V. Eriksen, Sergio Feo-Arenis, Peter Gjøl Jensen, Marcus D. Jensen, Simas Juozapaitis, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Andreas Windfeld:
  GPU Accelerating Statistical Model Checking for Extended Timed Automata. Principles of Verification (2) 2025: 267-292
• 2024
• 
  Anu Kukkonen-Macchi, Sampsa Hautaniemi, Katharina F. Heil, Merja Heinäniemi, Lars Juhl Jensen, Sini Junttila, Lukas Käll, Asta Laiho, Peter Maccallum, Matti Nykter, Bengt Persson, Tomi Suomi, Tim Van Den Bossche, Tommi H. Nyrönen, Laura L. Elo:
  ECCB2024: The 23rd European Conference on Computational Biology. Bioinform. 40(Supplement_2): ii1-ii3 (2024)
• 
  Søren D. Petersen, Lucas Levassor, Christine M. Pedersen, Jan Madsen, Lea G. Hansen, Jie Zhang, Ahmad K. Haidar, Rasmus J. N. Frandsen, Jay D. Keasling, Tilmann Weber, Nikolaus Sonnenschein, Michael K. Jensen:
  teemi: An open-source literate programming approach for iterative design-build-test-learn cycles in bioengineering. PLoS Comput. Biol. 20(3): 1011929 (2024)
• 
  Sreekanth Vemulapalli, Adebayo Adebiyi, Christopher Jensen, E. Hope Weissler, Taku Inohara, S. James Chen, Emily Rakestraw, Kevin Southerland, Amanda Randles:
  Leveraging Computational Fluid Dynamics for Next-Generation Preoperative Planning in Vascular Surgery. EMBC 2024: 1-4
• 
  Abby O'Neill, Abdul Rehman, Abhiram Maddukuri, Abhishek Gupta, Abhishek Padalkar, Abraham Lee, Acorn Pooley, Agrim Gupta, Ajay Mandlekar, Ajinkya Jain, Albert Tung, Alex Bewley, Alexander Herzog, Alex Irpan, Alexander Khazatsky, Anant Rai, Anchit Gupta, Andrew Wang, Anikait Singh, Animesh Garg, Aniruddha Kembhavi, Annie Xie, Anthony Brohan, Antonin Raffin, Archit Sharma, Arefeh Yavary, Arhan Jain, Ashwin Balakrishna, Ayzaan Wahid, Ben Burgess-Limerick, Beomjoon Kim, Bernhard Schölkopf, Blake Wulfe, Brian Ichter, Cewu Lu, Charles Xu, Charlotte Le, Chelsea Finn, Chen Wang, Chenfeng Xu, Cheng Chi, Chenguang Huang, Christine Chan, Christopher Agia, Chuer Pan, Chuyuan Fu, Coline Devin, Danfei Xu, Daniel Morton, Danny Driess, Daphne Chen, Deepak Pathak, Dhruv Shah, Dieter Büchler, Dinesh Jayaraman, Dmitry Kalashnikov, Dorsa Sadigh, Edward Johns, Ethan Paul Foster, Fangchen Liu, Federico Ceola, Fei Xia, Feiyu Zhao, Freek Stulp, Gaoyue Zhou, Gaurav S. Sukhatme, Gautam Salhotra, Ge Yan, Gilbert Feng, Giulio Schiavi, Glen Berseth, Gregory Kahn, Guanzhi Wang, Hao Su, Haoshu Fang, Haochen Shi, Henghui Bao, Heni Ben Amor, Henrik I. Christensen, Hiroki Furuta, Homer Walke, Hongjie Fang, Huy Ha, Igor Mordatch, Ilija Radosavovic, Isabel Leal, Jacky Liang, Jad Abou-Chakra, Jaehyung Kim, Jaimyn Drake, Jan Peters, Jan Schneider, Jasmine Hsu, Jeannette Bohg, Jeffrey Bingham, Jeffrey Wu, Jensen Gao, Jiaheng Hu, Jiajun Wu, Jialin Wu, Jiankai Sun, Jianlan Luo, Jiayuan Gu, Jie Tan, Jihoon Oh, Jimmy Wu, Jingpei Lu, Jingyun Yang, Jitendra Malik, João Silvério, Joey Hejna, Jonathan Booher, Jonathan Tompson, Jonathan Yang, Jordi Salvador, Joseph J. Lim, Junhyek Han, Kaiyuan Wang, Kanishka Rao, Karl Pertsch, Karol Hausman, Keegan Go, Keerthana Gopalakrishnan, Ken Goldberg, Kendra Byrne, Kenneth Oslund, Kento Kawaharazuka, Kevin Black, Kevin Lin, Kevin Zhang, Kiana Ehsani, Kiran Lekkala, Kirsty Ellis, Krishan Rana, Krishnan Srinivasan, Kuan Fang, Kunal Pratap Singh, Kuo-Hao Zeng, Kyle Hatch, Kyle Hsu, Laurent Itti, Lawrence Yunliang Chen, Lerrel Pinto, Li Fei-Fei, Liam Tan, Linxi Jim Fan, Lionel Ott, Lisa Lee, Luca Weihs, Magnum Chen, Marion Lepert, Marius Memmel, Masayoshi Tomizuka, Masha Itkina, Mateo Guaman Castro, Max Spero, Maximilian Du, Michael Ahn, Michael C. Yip, Mingtong Zhang, Mingyu Ding, Minho Heo, Mohan Kumar Srirama, Mohit Sharma, Moo Jin Kim, Naoaki Kanazawa, Nicklas Hansen, Nicolas Heess, Nikhil J. Joshi, Niko Sünderhauf, Ning Liu, Norman Di Palo, Nur Muhammad (Mahi) Shafiullah, Oier Mees, Oliver Kroemer, Osbert Bastani, Pannag R. Sanketi, Patrick Tree Miller, Patrick Yin, Paul Wohlhart, Peng Xu, Peter David Fagan, Peter Mitrano, Pierre Sermanet, Pieter Abbeel, Priya Sundaresan, Qiuyu Chen, Quan Vuong, Rafael Rafailov, Ran Tian, Ria Doshi, Roberto Martín-Martín, Rohan Baijal, Rosario Scalise, Rose Hendrix, Roy Lin, Runjia Qian, Ruohan Zhang, Russell Mendonca, Rutav Shah, Ryan Hoque, Ryan Julian, Samuel Bustamante, Sean Kirmani, Sergey Levine, Shan Lin, Sherry Moore, Shikhar Bahl, Shivin Dass, Shubham D. Sonawani, Shuran Song, Sichun Xu, Siddhant Haldar, Siddharth Karamcheti, Simeon Adebola, Simon Guist, Soroush Nasiriany, Stefan Schaal, Stefan Welker, Stephen Tian, Subramanian Ramamoorthy, Sudeep Dasari, Suneel Belkhale, Sungjae Park, Suraj Nair, Suvir Mirchandani, Takayuki Osa, Tanmay Gupta, Tatsuya Harada, Tatsuya Matsushima, Ted Xiao, Thomas Kollar, Tianhe Yu, Tianli Ding, Todor Davchev, Tony Z. Zhao, Travis Armstrong, Trevor Darrell, Trinity Chung, Vidhi Jain, Vincent Vanhoucke, Wei Zhan, Wenxuan Zhou, Wolfram Burgard, Xi Chen, Xiaolong Wang, Xinghao Zhu, Xinyang Geng, Xiyuan Liu, Liangwei Xu, Xuanlin Li, Yao Lu, Yecheng Jason Ma, Yejin Kim, Yevgen Chebotar, Yifan Zhou, Yifeng Zhu, Yilin Wu, Ying Xu, Yixuan Wang, Yonatan Bisk, Yoonyoung Cho, Youngwoon Lee, Yuchen Cui, Yue Cao, Yueh-Hua Wu, Yujin Tang, Yuke Zhu, Yunchu Zhang, Yunfan Jiang, Yunshuang Li, Yunzhu Li, Yusuke Iwasawa, Yutaka Matsuo, Zehan Ma, Zhuo Xu, Zichen Jeff Cui, Zichen Zhang, Zipeng Lin:
  Open X-Embodiment: Robotic Learning Datasets and RT-X Models : Open X-Embodiment Collaboration. ICRA 2024: 6892-6903
• 
  Nynne Sophie Holdt-Caspersen, Claus Dethlefsen, Ole K. Hejlesen, Peter Vestergaard, Stine Veje Hangaard, Iben Engelbrecht Giese, Julie Egmose, Morten Hasselstrøm Jensen:
  Discordance Between Mealtimes Reported by Trial Participants with Type 2 Diabetes and Healthcare Professionals. MIE 2024: 1849-1853
• 
  Jannie T. D. Nørlev, Thomas Kronborg, Ole K. Hejlesen, Morten Hasselstrøm Jensen, Peter Vestergaard, Stine Veje Hangaard:
  Detailed Insights into Basal Insulin Adherence in People with Type 2 Diabetes Using a Data-Driven Assessment Method. MIE 2024: 73-77
• 
  Camilla Heisel Nyholm Thomsen, Stine Veje Hangaard, Thomas Kronborg, Peter Vestergaard, Ole K. Hejlesen, Morten Hasselstrøm Jensen:
  Development of a Basal Insulin Titration System to Support Healthcare Providers in Treatment of People with Type 2 Diabetes: Preliminary Results. MIE 2024: 1735-1736
• 
  Camilla Heisel Nyholm Thomsen, Jannie T. D. Nørlev, Stine Veje Hangaard, Morten Hasselstrøm Jensen, Sika N. S. Kristensen, Tinna B. Aradóttir, Peter Vestergaard, Ole K. Hejlesen, Thomas Kronborg:
  Intelligent Diabetes Telemonitoring for Patients on Insulin Therapy: A Randomized Controlled Trial Protocol. MIE 2024: 1737-1738
• 
  Benyuan Zhu, Tommy Geisler, Peter Ingo Borel, Rasmus V. Jensen, Matthias Stegmaier, Bera Palsdottir, David W. Peckham, David J. DiGiovanni:
  Advanced Low-Loss Fibers for High-Capacity Transmission: from Data Center to Undersea. OFC 2024: 1-3
• 
  Rebekka V. Woldseth, Ole Sigmund, Peter Dørffler Ladegaard Jensen:
  An 808 Line Phasor-Based Dehomogenisation Matlab Code For Multi-Scale Topology Optimisation. CoRR abs/2405.14321 (2024)
• 2023
• 
  Maria Hoffmann Jensen, Peter Axel Nielsen, John Stouby Persson:
  From Big Data Technologies to Big Data Benefits. Computer 56(6): 52-61 (2023)
• 
  Maria Hoffmann Jensen, John Stouby Persson, Peter Axel Nielsen:
  Measuring benefits from big data analytics projects: an action research study. Inf. Syst. E Bus. Manag. 21(2): 323-352 (2023)
• 
  Heidi Rimer, Melina Sofie Jensen, Sara Elisabeth Dahlsgaard-Wallenius, Lise Eckhoff, Peter Thye-Rønn, Charlotte Kristiansen, Malene Grubbe Hildebrandt, Oke Gerke:
  2-[18F]FDG-PET/CT in Cancer of Unknown Primary Tumor - A Retrospective Register-Based Cohort Study. J. Imaging 9(9): 178 (2023)
• 
  Rikke Hagensby Jensen, Stine S. Johansen, Nicolai Brodersen Hansen, Ashna Mahmood Zada, Peter Axel Nielsen:
  Tensions in Data Journey Activities: Mobilising, Processing, Producing, and Re-purposing Data in Environmental Assessment Practice. Proc. ACM Hum. Comput. Interact. 7(CSCW2): 1-22 (2023)
• 
  Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
  A toolchain for domestic heat-pump control using Uppaal Stratego. Sci. Comput. Program. 230: 102987 (2023)
• 
  Maria Hoffmann Jensen, Peter Axel Nielsen, John Stouby Persson:
  Improving the impact of Big Data Analytics Projects with Benefits Dependency Networks. Scand. J. Inf. Syst. 35(1): 2 (2023)
• 
  David Zimmerer, Peter M. Full, Fabian Isensee, Paul Jäger, Tim Adler, Jens Petersen, Gregor Köhler, Tobias Roß, Annika Reinke, Antanas Kascenas, Bjørn Sand Jensen, Alison Q. O'Neil, Jeremy Tan, Benjamin Hou, James Batten, Huaqi Qiu, Bernhard Kainz, Nina Shvetsova, Irina Fedulova, Dmitry V. Dylov, Baolun Yu, Jianyang Zhai, Jingtao Hu, Runxuan Si, Sihang Zhou, Siqi Wang, Xinyang Li, Xuerun Chen, Yang Zhao, Sergio Naval Marimont, Giacomo Tarroni, Victor Saase, Lena Maier-Hein, Klaus H. Maier-Hein:
  Abstract: MOOD 2020 - A Public Benchmark for Out-of-distribution Detection and Localization on Medical Images. Bildverarbeitung für die Medizin 2023: 312
• 
  Maria Hoffmann Jensen, Peter Axel Nielsen, John Stouby Persson:
  Benefits from Big Data Analytics Projects: A Critical System Heuristics Approach to Boundary Judgements. ECIS 2023
• 
  Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
  Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. FMICS 2023: 113-130
• 
  Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik:
  Elimination of Detached Regions in Dependency Graph Verification. SPIN 2023: 163-179
• 
  Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
  Shielded Reinforcement Learning for Hybrid Systems. AISoLA 2023: 33-54
• 
  Maya Bordum, Emil Engberg, Peter Blomsgård Hansen, Nickolai Frederik Schouborg Jensen, Martin Fritzbøger Jægerlund, Jeppe Nygaard Mouritzen, Hannibal Hjelming Poulsen, Lukas Gade Ravnsborg, Celine Zeh Rybak, Frederik Hald Stappert, Bjørn Troldahl, Julius Ebenau Winther, Rolf Nordahl:
  Pain Distraction for Children Through VR- or Audio-haptic Soundscapes in Situ. VRST 2023: 69:1-69:3
• 
  Pracheta Amaranath, Peter J. Haas, David D. Jensen, Sam Witty:
  Causal Dynamic Bayesian Networks for Simulation Metamodeling. WSC 2023: 746-757
• 
  Peter Dørffler Ladegaard Jensen, Tim Felle Olsen, Jakob Andreas Bærentzen, Niels Aage, Ole Sigmund:
  Efficient Inverse-designed Structural Infill for Complex Engineering Structures. CoRR abs/2307.09518 (2023)
• 
  Nikolas Borrel-Jensen, Somdatta Goswami, Allan P. Engsig-Karup, George Em Karniadakis, Cheol-Ho Jeong:
  Sound propagation in realistic interactive 3D scenes with parameterized sources using deep neural operators. CoRR abs/2308.05141 (2023)
• 
  Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
  Shielded Reinforcement Learning for Hybrid Systems. CoRR abs/2308.14424 (2023)
• 2022
• 
  Peter J. Bradbury, Terry M. Casstevens, Sarah E. Jensen, L. C. Johnson, Z. R. Miller, Brandon Monier, M. C. Romay, B. Song, Edward S. Buckler:
  The Practical Haplotype Graph, a platform for storing and using pangenomes for imputation. Bioinform. 38(15): 3698-3702 (2022)
• 
  Jeanne Vuaille, Maja Holbak, Mathias Perslev, Efstathios Diamantopoulos, Signe M. Jensen, Merete E. Styczen, Carsten T. Petersen, Bjarne W. Strobel, Per Abrahamsen:
  Can information on past and near-future weather and field conditions predict the safest pesticide application day? Comput. Electron. Agric. 203: 107454 (2022)
• 
  Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist:
  Methods for Efficient Unfolding of Colored Petri Nets. Fundam. Informaticae 189(3-4): 297-320 (2022)

skipping 164 more matches