Publications

Overview of publications written by staff at DTU Compute

In addition to this publication list, please use the search facilities in DTU Orbit for articles and reports of employees at DTU Compute. You will find full-texts of articles in accordance with the applicable copyright policies.

rss feed

Sort:
Year
  • Peer reviewed
  • First author
  • Title
  • Year
ALL ARTICLE (3318) DISSERTATION (367) BOOK (269) CONF (2571) REPORT (181) MISC (47) PATENT (27) PEER REV (6128)
2024
 

A Survey on Frame Representations and Operator Orbits

Christensen, Ole ; Hasannasab, Marzieh
part of: Applied and Numerical Harmonic Analysis, pages: 349-370, 2024

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-41130-4_13

 

Statistical Modelling of Occupant Behaviour

Møller, Jan Kloppenborg ; Schweiker, Marcel ; Andersen, Rune Korsholm ; Gunay, Burak ; Yilmaz, Selin ; Barthelmes, Verena Marie ; Madsen, Henrik

Type: Book (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1201/9781003340812

2023
 

Amortized Variational Peak Fitting For Spectroscopic Data

Hansen, David Frich ; Alstrom, Tommy Sonne ; Schmidt, Mikkel N.
part of: Proceedings of IEEE 33rd International Workshop on Machine Learning for Signal Processing, 2023
Presented at: 2023 IEEE 33rd International Workshop on Machine Learning for Signal Processing

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/MLSP55844.2023.10285981

 

Applicable Formal Methods for Safe Industrial Products

Haxthausen, Anne Elisabeth ; Huang, Wen-ling (Editor) ; Roggenbach, Markus (Editor)

Type: Book (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-40132-9

  PDF

Are Sex-Based Physiological Differences the Cause of Gender Bias for Chest X-Ray Diagnosis?

Weng, Nina ; Bigdeli, Siavash ; Petersen, Eike ; Feragen, Aasa
part of: Clinical Image-Based Procedures, Fairness of AI in Medical Imaging, and Ethical and Philosophical Issues in Medical Imaging , pages: 142-152, 2023

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-45249-9_14

  PDF

A Review of Multiple-Time-Scale Dynamics

Kristiansen, Kristian Uldall
part of: Mathematics Online First Collections, pages: 1-55, 2023

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/16618_2023_75

 

A secure automation solution to provide flexibility at low-level grid - middleware services

Ebrahimy, Razgar ; Banaei, Mohsen ; Madsen, Henrik ; Gallardo, Jaime Chen ; Rodríguez, Manuel Diaz ; Escalante, Juan Jacobo Peralta ; Piotrowski, Krzysztof
part of: Proceedings of 27th International Conference on Electricity Distribution , pages: 3305-3309, 2024
Presented at: 27th International Conference on Electricity Distribution

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1049/icp.2023.0860

 

Blockchain for Business

Comuzzi, Marco ; Grefen, Paul ; Meroni, Giovanni

Type: Book (Peer reviewed)

Status: Published     |    Year: 2023

 

Data Quality Assessment for ML Decision-Making

Moloiu, Alexandra-Ştefania ; Albeanu, Grigore ; Madsen, Henrik ; Popenţiu-Vlădicescu, Florin
part of: Applications in Reliability and Statistical Computing, pages: 163-178, 2023

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-21232-1_8

  PDF

Decomposing the Verification of Interlocking Systems

Haxthausen, Anne E. ; Fantechi, Alessandro ; Gori, Gloria
part of: Applicable Formal Methods for Safe Industrial Products , pages: 96-113, 2023

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-40132-9_7

 

Domain Modelling

Bjørner, Dines
part of: Theories of Programming and Formal Methods, pages: 165-210, 2023

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-40436-8_7

  PDF

Explainability as statistical inference

Senetaire, Hugo Henri Joseph ; Garreau, Damien ; Frellsen, Jes ; Mattei, Pierre-Alexandre
part of: Proceedings of the 40th International Conference on Machine Learning, pages: 30584-30612, 2023
Presented at: 40th International Conference on Machine Learning

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023

 

Fordele og ulemper ved hjemmearbejde

Hansen, John Paulin ; Hjartarson, Björgvin ; Kirchner, Kathrin ; Rasmussen, Tobias Engelhardt ; Ipsen, Christine
part of: Hybride arbejdsformer, pages: 169-189, 2023

Type: Book chapter

Status: Published     |    Year: 2023

 

Geomechanical Modelling the Evolution of a Connected Natural Fracture Network to Explain Fluid Flow Variations Across a Fractured Chalk-Marl Reservoir

Glad, Aslaug C. ; Welch, Michael John ; Oldfield, Simon John ; Nick, Hamid M. ; Jørgensen, Thomas M. ; Clausen, Ole Rønø
part of: Geomechanical Controls on Fracture Development in Chalk and Marl in the Danish North Sea, pages: 215-243, 2023

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-35327-7_8

 

Introduction to Cybersecurity

Sharp, Robin

Type: Book (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-41463-3

  PDF

Introduction to Occupant Modeling

O’brien, William ; Calì, Davide ; De Simone, Marilena ; Tabadkani, Amir ; Azar, Elie ; Rajus, Vinu Subashini ; Agee, Philip ; Schweiker, Marcel ; Rysanek, Adam
part of: Occupant-Centric Simulation Aided Building Design, pages: 104-144, 2023

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1201/9781003176985-6

 

Multi-View Self-Supervised Learning For Multivariate Variable-Channel Time Series

Brusch, Thea ; Schmidt, Mikkel N. ; Alstrom, Tommy S.
part of: Proceedings of the 2023 IEEE 33rd International Workshop on Machine Learning for Signal Processing, 2023
Presented at: 2023 IEEE 33rd International Workshop on Machine Learning for Signal Processing

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/MLSP55844.2023.10285993

 

ON or OFF!? How Arab Students Perceive Using Webcams in Online Learning

Salha, Soheil ; Saifuddin Khalid, Md ; Affouneh, Saida ; Tlili, Ahmed
part of: Education in the Post-COVID-19 Era—Opportunities and Challenges, pages: 161-177, 2024
Presented at: 2022 International Conference on Learning and Teaching in the Digital World

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-981-99-7293-7_10

 

Optimization for Learning and Control

Hansson, Anders ; Andersen, Martin Skovgaard

Type: Book (Peer reviewed)

Status: Published     |    Year: 2023

  PDF

Private Authentication with Alpha-Beta Privacy

Fernet, Laouen ; Mödersheim, Sebastian
part of: Proceedings of the Open Identity Summit 2023, pages: 61-72, 2023
Presented at: Open Identity Summit 2023

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.18420/OID2023_05

 

SDitH in the QROM

Aguilar-Melchor, Carlos ; Hülsing, Andreas ; Joseph, David ; Majenz, Christian ; Ronen, Eyal ; Yue, Dongze
part of: Advances in Cryptology – ASIACRYPT 2023, pages: 317-350, 2023
Presented at: 29th International Conference on the Theory and Application of Cryptology and Information Security

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-981-99-8739-9_11

  PDF

Stochastic Differential Equations for Science and Engineering

Thygesen, Uffe Høgsbro

Type: Book

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1201/9781003277569

 

Using Videoconferencing Systems and Interactive Tools: Empirical French Investigation

Impedovo, Maria ; Ett, Benjamin ; Khalid, Md Saiffudin
part of: Methodologies and Intelligent Systems for Technology Enhanced Learning, Workshops, pages: 368-377, 2024
Presented at: 13th International Conference on Methodologies and Intelligent Systems for Technology Enhanced Learning

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-42134-1_37

2022
  PDF

Blue Book: A set of cybersecurity roadmaps and challenges for researchers and policymakers

Markatos, Evangelos (Editor) ; Rannenberg, Kai (Editor) ; Athanasopoulos, Elias ; Kompara, Marko ; Bountakas, Panagiotis ; Kotzanikolaou, Panayiotis ; Chaudhary, Sunil ; Krenn, Stephan ; Daoudagh, Said ; Lioy, Antonio ; Dionysiou, Antreas ; Lluch Lafuente, Alberto ; Douligeris, Christos ; Manifavas, Harry ; Ferreira, Afonso ; Marchetti, Eda ; Fischer-Hübner, Simone ; Patsakis, Constantinos ; Gkioulos, Vasileios ; Roberto Peres, Joao ; Horn Iwaya, Leonardo ; Sion, Laurens ; Jensen, Meiko ; Sisinni, Silvia ; Joosen, Wouter ; Xenakis, Christos

Type: Book (Peer reviewed)

Status: Published     |    Year: 2022

 

Cloud Storage Client Forensic: Analysis of MEGA Cloud

Mishra, Himanshu ; Sihag, Vikas ; Choudhary, Gaurav ; Dragoni, Nicola ; You, Ilsun
part of: Futuristic Trends in Networks and Computing Technologies, pages: 1099-1110, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-981-19-5037-7_79

 

Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds

Böttjer, Till ; Ørnskov Rønsch, Georg ; Gomes, Cláudio ; Ramanujan, Devarajan ; Iosifidis, Alexandros ; Gorm Larsen, Peter
part of: Proceedings of the Changeable, Agile, Reconfigurable and Virtual Production Conference and the World Mass Customization & Personalization Conference, pages: 431-439, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-030-90700-6_49

  PDF

Data-Driven Methods for Efficient Operation of District Heating Systems

Bergsteinsson, Hjörleifur G ; Møller, Jan Kloppenborg ; Thilker, Christian Ankerstjerne ; Guericke, Daniela ; Heller, Alfred ; Nielsen, Torben Skov ; Madsen, Henrik
part of: Handbook of Low Temperature District Heating. Green Energy and Technology, pages: 129–163, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-031-10410-7_6

 

Détection de séries de changements dans des séries d’images SAR polarimétriques

Conradsen, Knut ; Skriver, Henning ; Canty, Morton J. (Invited author) ; Nielsen, Allan Aasbjerg
part of: Détection de changements et analyse des séries temporelles d'images 1, pages: 41-81, 2022

Type: Book chapter (Peer reviewed)     |     Invited contribution

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.51926/ISTE.9056.ch2

 

DIMDA: Deep Learning and Image-Based Malware Detection for Android

Sihag, Vikas ; Prakash, Surya ; Choudhary, Gaurav ; Dragoni, Nicola ; You, Ilsun
part of: Futuristic Trends in Networks and Computing Technologies, pages: 895-906, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-981-19-5037-7_64

  PDF

Interactive Theorem Proving for Logic and Information

Villadsen, Jørgen ; From, Asta Halkjær ; Jensen, Alexander Birch ; Schlichtkrull, Anders
part of: Natural Language Processing in Artificial Intelligence, pages: 25-48, 2022
Presented at: 13th International Conference on Agents and Artificial Intelligence

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-030-90138-7_2

 

Lightweight and Practical Privacy-Preserving Image Masking in Smart Community

Liu, Zhen ; Liu, Yining ; Meng, Weizhi
part of: Information and Communications Security, pages: 221-239, 2022
Presented at: 24th International Conference on Information and Communications Security

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-031-15777-6_13

  PDF

On the constant D(q) defined by Homma

Beelen, Pieter Hendrik Turdus ; Montanucci, Maria ; Vicino, Lara
part of: Arithmetic, Geometry, Cryptography, and Coding Theory 2021, pages: 33-40, 2022
Presented at: 18th International Conference Arithmetic, Geometry, Cryptography and Coding Theory

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022

 

Optimization of Heat Production for Electricity Market Participation

Guericke, Daniela ; Schledorn, Amos ; Madsen, Henrik
part of: Handbook of Low Temperature District Heating, pages: 179–193, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-031-10410-7_8

 

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Collart-Dutilleul, Simon (Editor) ; Haxthausen, Anne Elisabeth ; Lecomte, Thierry (Editor)

Type: Book

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-031-05814-1

 

Sandbox Environment for Real Time Malware Analysis of IoT Devices

Kachare, Gaurav Pramod ; Choudhary, Gaurav ; Shandilya, Shishir Kumar ; Sihag, Vikas
part of: Computing Science, Communication and Security, pages: 169–183, 2022
Presented at: 2022 Computing Science, Communication and Security

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-031-10551-7_13

  PDF

Streaming Process Mining

Burattin, Andrea
part of: Process Mining Handbook, pages: 349-372, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-031-08848-3_11

2021
 

ActAnyware - Blockchain-Based Software Licensing Scheme

Chiu, Wei Yang ; Zhou, Lu ; Meng, Weizhi ; Liu, Zhe ; Ge, Chunpeng
part of: International Conference on Blockchain and Trustworthy Systems, pages: 559-573, 2021
Presented at: 2021 International Conference on Blockchain and Trustworthy Systems

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-981-16-7993-3_43

 

Algebraic Iterative Reconstruction Methods

Hansen, Per Christian
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 211-249, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch11

 

Automatic Detection of Rail Defects from Images

Hovad, Emil ; Hansen, Helena ; da Silva Rodrigues, André Filipe ; Dahl, Vedrana Andersen
part of: Intelligent Quality Assessment of Railway Switches and Crossing, pages: 187-205, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-62472-9_11

 

Benign Interaction of Security Domains

Nielson, Flemming ; Hansen, René Rydhof ; Nielson, Hanne Riis
part of: Protocols, Strands, and Logic , pages: 312-331, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-91631-2_17

  PDF

Blended Learning at Universities of Bangladesh: Initiatives and Challenges during COVID-19 Lockdown

Khalid, Md Saifuddin ; Al Sire, Sheriff
part of: Blended Learning in Higher Education, pages: 1-14, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021

 

Change Detection in Time Series of Polarimetric SAR Images

Conradsen, Knut ; Skriver, Henning ; Canty, Morton J. (Invited author) ; Nielsen, Allan Aasbjerg
part of: Change Detection and Image Time Series Analysis 1, pages: 35-71, 2021

Type: Book chapter (Peer reviewed)     |     Invited contribution

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1002/9781119882268.ch2

 

Computational Diffusion MRI

Gyori, Noemi (Editor) ; Hutter, Jana (Editor) ; Nath, Vishwesh (Editor) ; Palombo, Marco (Editor) ; Pizzolato, Marco

Type: Book (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-73018-5

 

Computed Tomography

Hansen, Per Christian ; Jørgensen, Jakob Sauer ; Lionheart, William R.B. (Editor)

Type: Book

Status: Published     |    Year: 2021

 

Deep Learning for Automatic Railway Maintenance

Hovad, Emil ; Wix, Thomas ; Khomiakov, Maxim ; Vassos, Georgios ; da Silva Rodrigues, André Filipe ; de Miguel Tejada, Alejandro ; Clemmensen, Line H.
part of: Intelligent Quality Assessment of Railway Switches and Crossings, pages: 207-228, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-62472-9_12

 

Deep Learning for High-dimensional Parameter Retrieval

Malmgren-Hansen, David
part of: Deep Learning for the Earth Sciences: A Comprehensive Approach to Remote Sensing, Climate Science, and Geosciences, pages: 240-257, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1002/9781119646181.ch16

  PDF

Digital Learning Technology Blend in Assessment Activities of Higher Education: A Systematic Review

Chowdhury, Sabbir Ahmed ; Khalid, Md Saifuddin ; Arefin, A. S. M. Shamsul
part of: Blended Learning in Higher Education, pages: 102–11, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021

 

Discretization Models and the System Matrix

Batenburg, K.J. ; Hansen, Per Christian ; Jørgensen, Jakob Sauer
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 155-181, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch9

 

Domain Analysis and Description – Sorts, Types, Intents

Bjørner, Dines
part of: Formal Methods in Outer Space, pages: 35-60, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-87348-6_3

 

Efficient Attribute-Based Signature for Monotone Predicates

Zhang, Jixin ; Chen, Jiageng ; Meng, Weizhi
part of: International Conference on Provable Security, pages: 346-362, 2021
Presented at: 2021 International Conference on Provable Security

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-90402-9_19

 

Facial and Cochlear Nerves Characterization Using Deep Reinforcement Learning for Landmark Detection

López Diez, Paula ; Sundgaard, Josefine Vilsbøll ; Patou, François ; Margeta, Jan ; Paulsen, Rasmus Reinhold
part of: Medical Image Computing and Computer Assisted Intervention, pages: 519-528, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-87202-1_50

 

Filtered Back-Projection

Jørgensen, Jakob Sauer ; Lionheart, William R.B.
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 73-103, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch6

  PDF

Forest Variable Estimation and Change Monitoring Solutions Based on Remote Sensing Big Data

Miettinen, Jukka ; Bonnet, Stéphanie ; Nielsen, Allan Aasbjerg ; Huurinainen, Seppo ; Tergujeff, Renne
part of: Big Data in Bioeconomy, pages: 321-334, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-71069-9_24

 

Formalized Soundness and Completeness of Epistemic Logic

From, Asta Halkjær
part of: Logic, Language, Information, and Computation, pages: 1-15, 2021
Presented at: 27th International Workshop on Logic, Language, Information and Computation

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-88853-4_1

  PDF

Geometrically Enriched Latent Spaces

Arvanitidis, Georgios ; Hauberg, Søren ; Schoelkopf, Bernhard
part of: Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021
Presented at: 24th International Conference on Artificial Intelligence and Statistics

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021

 

How Few Annotations are Needed for Segmentation Using a Multi-planar U-Net?

Laprade, William Michael ; Perslev, Mathias ; Sporring, Jon
part of: MICCAI Workshop on Deep Generative Models, pages: 209-216, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-88210-5_20

 

I Can Think Like You! Towards Reaction Spoofing Attack on Brainwave-Based Authentication

Chiu, Wei-Yang ; Meng, Weizhi ; Li, Wenjuan
part of: Security, Privacy, and Anonymity in Computation, Communication, and Storage, pages: 251-265, 2021
Presented at: 13th International Conference onSecurity, Privacy, and Anonymity in Computation, Communication, and Storage

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-68851-6_18

  PDF

Impact of Blended Learning on Teacher Education for Tutors at Bangladesh Open University

Rahman, Md. Mizanoor ; Hossain, Khondoker Mokaddem ; Khalid, Md Saifuddin
part of: Blended Learning in Higher Education, pages: 50–59, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021

  PDF

Improving predictions of Bayesian neural nets via local linearization

Immer, Alexander ; Korzepa, Maciej ; Bauer, Matthias
part of: Proceedings of the 24th International Conference on Artificial Intelligence and Statistics , 2021
Presented at: 24th International Conference on Artificial Intelligence and Statistics

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021

 

Information Security and Privacy – Challenges and Outlook

Furnell, Steven ; Haskell-Dowland, Paul ; Agrawal, Manish ; Baskerville, Richard ; Basu, Anirban ; Bishop, Matt ; Cuellar, Jorge ; Foresti, Sara ; Futcher, Lynn ; Gal-Oz, Nurit ; Herath, Teju ; Damsgaard Jensen, Christian ; Johnston, Allen ; Joosen, Wouter ; Livraga, Giovanni ; Lopez, Javier ; Marsh, Stephen ; Martinelli, Fabio ; Massacci, Fabio ; Pasic, Aljosa ; Schinagl, Stef ; Shahim, Abbas ; Thomson, Kerry Lynn ; Vaidya, Jaideep ; Vance, Tony ; Warkentin, Merrill
part of: Advancing Research in Information and Communication Technology, pages: 383-401, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-81701-5_16

 

Intelligent Quality Assessment of Railway Switches and Crossings

Galeazzi, Roberto ; Danielsen, Hilmar K. ; Ersbøll, Bjarne K. ; Juul Jensen, Dorte ; Santos, Ilmar F.

Type: Book (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-62472-9

  PDF

Isometric Gaussian Process Latent Variable Model for Dissimilarity Data

Jorgensen, Martin ; Hauberg, Soren
part of: Proceedings of the 38th International Conference on Machine Learning, 2021
Presented at: 38th International Conference on Machine Learning

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021

 

Is Segmentation Uncertainty Useful?

Czolbe, Steffen ; Arnavaz, Kasra ; Krause, Oswin ; Feragen, Aasa
part of: Information Processing in Medical Imaging, pages: 715-726, 2021
Presented at: International Conference on Information Processing in Medical Imaging

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-78191-0_55

 

Just Enough Linear Algebra

Hansen, Per Christian
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 27-34, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch3

 

Just Enough Physics

Sijbers, J. ; Jørgensen, Jakob Sauer
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 35-54, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch4

 

Labelling the State of Railway Turnouts Based on Repair Records

Vassos, Georgios ; Hovad, Emil ; Duroska, Pavol ; Thyregod, Camilla ; da Silva Rodrigues, André Filipe ; Clemmensen, Line H.
part of: Intelligent Quality Assessment of Railway Switches and Crossings, pages: 167-185, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-62472-9_10

 

Looking Ahead

Hansen, Per Christian ; Jørgensen, Jakob Sauer ; Lionheart, William R.B.
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 317-318, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch14

 

Model Predictive Control Based on Stochastic Grey-Box Models

Thilker, Christian Ankerstjerne ; Junker, Rune Grønborg ; Bacher, Peder ; Jørgensen, John Bagterp ; Madsen, Henrik
part of: Towards Energy Smart Homes, pages: 329-380, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-76477-7_11

 

Object Detection on TPU Accelerated Embedded Devices

Kovács, Bertalan ; Henriksen, Anders D. ; Stets, Jonathan Dyssel ; Nalpantidis, Lazaros
part of: Computer Vision Systems, pages: 82-92, 2021
Presented at: 13th International Conference on Computer Vision Systems

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-87156-7_7

 

Optimization Methods for Tomography

Andersen, Martin Skovgaard
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 275-315, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch13

 

Proceedings of 14th Interaction and Concurrency Experience

Lange, Julien (Editor) ; Mavridou, Anastasia (Editor) ; Safina, Larisa (Editor) ; Scalas, Alceste

Type: Book (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.4204/EPTCS.347

 

Protocol for Construction of Genome-Wide Epistatic SNP Networks Using WISH-R Package

Kadarmideen, Haja N. ; Carmelo, Victor Adriano Okstoft
part of: Methods in Molecular Biology, pages: 155-168, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-1-0716-0947-7_10

 

Protocols, Strands, and Logic

Dougherty, Daniel (Editor) ; Meseguer, José (Editor) ; Mödersheim, Sebastian Alexander ; Rowe, Paul (Editor)

Type: Book (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-91631-2

 

Regularization Techniques for Tomography Problems

Dong, Yiqiu
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 251-273, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch12

  PDF

Sampling in Combinatorial Spaces with SurVAE Flow Augmented MCMC

Jaini, Priyank ; Nielsen, Didrik ; Welling, Max
part of: Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021
Presented at: 24th International Conference on Artificial Intelligence and Statistics

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021

  PDF

Security Protocols as Choreographies

Bruni, Alessandro ; Carbone, Marco ; Giustolisi, Rosario ; Mödersheim, Sebastian Alexander ; Schürmann, Carsten
part of: Protocols, Strands, and Logic , pages: 98-111, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-91631-2_5

 

Singular Values and Functions of the Radon Transform

Hansen, Per Christian ; Lionheart, William R.B.
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 105-121, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch7

 

SVD Analysis of Tomography Problems

Hansen, Per Christian
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 183-209, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch10

  PDF

The 15th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team

Jensen, Alexander Birch ; Villadsen, Jørgen ; Weile, Jonas ; Gylling, Erik Kristian
part of: Multi-Agent Progamming Contest, pages: 46-81, 2021
Presented at: The Multi-Agent Programming Contest 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-88549-6_3

  PDF

The Human Longevity Record May Hold for Decades

Lenart, Adam ; Aburto, José Manuel ; Stockmarr, Anders ; Vaupel, James W.
part of: Exceptional Lifespans, pages: 49-55, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-49970-9_5

 

The Radon Transform

Jørgensen, Jakob Sauer ; Lionheart, William R.B.
part of: Computed Tomography: Algorithms, Insight, and Just Enough Theory, pages: 55-72, 2021

Type: Book chapter

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1137/1.9781611976670.ch5

 

Three Branches of Accountability

Mödersheim, Sebastian Alexander ; Cuellar, Jorge
part of: Protocols, Strands, and Logic , pages: 293-311, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-91631-2_16

  PDF

Tight Adaptive Reprogramming in the QROM

Grilo, Alex B. ; Hövelmanns, Kathrin ; Hülsing, Andreas ; Majenz, Christian
part of: International Conference on the Theory and Application of Cryptology and Information Security, pages: 637-667, 2022
Presented at: 27th International Conference on the Theory and Application of Cryptology and Information Security

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2021     |    DOI: https://doi.org/10.1007/978-3-030-92062-3_22

2020
  PDF

31st Annual Symposium on Combinatorial Pattern Matching

Gørtz, Inge Li ; Weimann, Oren (Editor)

Type: Book

Status: Published     |    Year: 2020

  PDF

3rd SIAM Symposium on Simplicity in Algorithms

Farach-Colton, Martín (Editor) ; Gørtz, Inge Li

Type: Book

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1137/1.9781611976014.fm

  PDF

Acquiring and predicting multidimensional diffusion (MUDI) data: an open challenge

Pizzolato, Marco ; Palombo, Marco ; Bonet-Carne, Elisenda ; Tax, Chantal M.W. ; Grussu, Francesco ; Ianus, Andrada ; Bogusz, Fabian ; Pieciak, Tomasz ; Ning, Lipeng ; Larochelle, Hugo ; Descoteaux, Maxime ; Chamberland, Maxime ; Blumberg, Stefano B. ; Mertzanidou, Thomy ; Alexander, Daniel C. ; Afzali, Maryam ; Aja-Fernández, Santiago ; Jones, Derek K. ; Westin, Carl-Fredrik ; Rathi, Yogesh ; Baete, Steven H. ; Cordero-Grande, Lucilio ; Ladner, Thilo ; Slator, Paddy J. ; Hajnal, Joseph V. ; Thiran, Jean-Philippe ; Price, Anthony N. ; Sepehrband, Farshid ; Zhang, Fan ; Hutter, Jana
part of: Computational Diffusion MRI, pages: 195-208, 2020
Presented at: 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-52893-5_17

  PDF

Adaptive Security Policies

Nielson, Flemming ; Hansen, René Rydhof ; Nielson, Hanne Riis
part of: Engineering Principles, pages: 280-294, 2020
Presented at: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-61470-6_17

  PDF

Bygninger som energilager i et smart-grid

Jensen, Ole Michael ; Wittchen, Kim B. ; Real, Jaume Palmer ; Madsen, Henrik

Type: Book

Status: Published     |    Year: 2020

 

Computational Intelligence Approaches for Software Quality Improvement

Albeanu, Grigore ; Madsen, Henrik ; Popențiu-Vlădicescu, Florin
part of: Reliability and Statistical Computing, pages: 305-317, 2020

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-43412-0_18

  PDF

Creating Semantic Representations

Nielsen, Finn Årup ; Hansen, Lars Kai
part of: Statistical Semantics , pages: 11-31, 2020

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-37250-7_2

 

ELD: Adaptive Detection of Malicious Nodes under Mix-Energy-Depleting-Attacks Using Edge Learning in IoT Networks

Ma, Zuchao ; Liu, Liang ; Meng, Weizhi
part of: Information Security, pages: 255-273, 2020
Presented at: 23rd International Conference on Information Security

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-62974-8_15

 

Genetic Design Automation

Baig, Hasan ; Madsen, Jan

Type: Book

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-52355-8

 

Global Riemannian Geometry: Curvature and Topology

Hurtado, Ana ; Markvorsen, Steen ; Min-Oo, Maung ; Palmer, Vicente

Type: Book

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-55293-0

  PDF

Introduction to Asynchronous Circuit Design.

Sparsø, Jens

Type: Book

Status: Published     |    Year: 2020

 

Introduction to Medical Image Analysis

Paulsen, Rasmus Reinhold ; Moeslund, Thomas B.

Type: Book (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-39364-9

  PDF

Kompetencer - forskning og uddannelse

Bolander, Thomas
part of: Hvad skal vi med AI? , pages: 7-12, 2021

Type: Book chapter

Status: Published     |    Year: 2020

  PDF

Leave-One-Out Cross-Validation for Bayesian Model Comparison in Large Data

Magnusson, Måns ; Andersen, Michael Riis ; Jonasson, Johan ; Vehtari, Aki
part of: Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, pages: 341-350, 2020
Presented at: 23rd International Conference on Artificial Intelligence and Statistics

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020

 

Network and Storage

Schwarz, R. ; Lacalandra, F. ; Schewe, L. ; Bettinelli, A. ; Vigo, D. ; Bischi, A. ; Parriani, T. ; Martelli, E. ; Vuik, K. ; Lenz, Robin ; Madsen, H. ; Blanco, Ignacio ; Guericke, Daniela ; Yüksel-Ergün, I. ; Zittel, J.
part of: Mathematical Optimization for Efficient and Robust Energy Networks, pages: 89-105, 2021

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-57442-0_6

 

Optimized Response Function Estimation for Spherical Deconvolution

Dela Haije, Tom ; Feragen, Aasa
part of: Computational Diffusion MRI. Mathematics and Visualization, pages: 25-34, 2020

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-52893-5_3

 

Parameterized Complexity of Dynamic Belief Updates

Bolander, Thomas ; Lequen, Arnaud
part of: Dynamic Logic. New Trends and Applications , pages: 87-102, 2020
Presented at: 3rd International Workshop on Dynamic Logic

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-65840-3_6


Show all