Publikationsoversigt

Benyt desuden søgefaciliteter i DTU's forskningsbase Orbit, som indeholder artikler og rapporter af instituttets medarbejdere samt fuldtekster i overensstemmelse med gældende copyright-regler.


rss feed

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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-35327-7_8

 

Introduction to Cybersecurity

Sharp, Robin

Type: Book (Peer reviewed)

Status: Published     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 2023     |    DOI: https://doi.org/10.1007/978-981-99-8739-9_11

 

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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 2021     |    DOI: https://doi.org/10.1007/978-3-030-81701-5_16

  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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 2020

  PDF

3rd SIAM Symposium on Simplicity in Algorithms

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

Type: Book

Status: Published     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 2020     |    DOI: https://doi.org/10.1007/978-3-030-62974-8_15

 

Genetic Design Automation

Baig, Hasan ; Madsen, Jan

Type: Book

Status: Published     |    År: 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     |    År: 2020     |    DOI: https://doi.org/10.1007/978-3-030-55293-0

  PDF

Introduction to Asynchronous Circuit Design.

Sparsø, Jens

Type: Book

Status: Published     |    År: 2020

 

Introduction to Medical Image Analysis

Paulsen, Rasmus Reinhold ; Moeslund, Thomas B.

Type: Book (Peer reviewed)

Status: Published     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 2020     |    DOI: https://doi.org/10.1007/978-3-030-65840-3_6