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
  PDF

Adaptive Out-Orientations with Applications

Chekuri, Chandra ; Christiansen, Aleksander Bjørn ; Holm, Jacob ; van der Hoog, Ivor ; Quanrud, Kent ; Rotenberg, Eva ; Schwiegelshohn, Chris
part of: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages: 3062-3088, 2024
Presented at:
2024 Annual ACM-SIAM Symposium on Discrete Algorithms

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1137/1.9781611977912.110

  PDF

A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions

Fernet, Laouen Pablo Killian ; Mödersheim, Sebastian Alexander ; Viganò, Luca
part of: Proceedings of the 37th IEEE Computer Security Foundations Symposium (CSF 2024), 2024
Presented at:
2024 IEEE 37th Computer Security Foundations Symposium

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    År: 2024

  PDF

A High-Order Finite Difference Incompressible Navier-Stokes model for Water Waves and Wave-Structure Interaction

Engsig-Karup, Allan Peter ; Melander, Anders Dalsgaard
part of: Proceedings of the 39th International Workshop on Water Waves and Floating Bodies, 2024
Presented at:
The 39th International Workshop on Water Waves and Floating Bodies

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024

  PDF

A high-order shifted boundary method for water waves and floating bodies

Visbech, Jens ; Engsig-Karup, Allan P. ; Bingham, Harry B. ; Amini-Afshar, Mostafa ; Ricchiuto, Mario
part of: Proceedings of 39th International Workshop on Water Waves and Floating Bodies, 2024
Presented at:
The 39th International Workshop on Water Waves and Floating Bodies

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024

  PDF

Aligning Optimization Trajectories with Diffusion Models for Constrained Design Generation

Giannone, Giorgio ; Srivastava, Akash ; Winther, Ole ; Ahmed, Faez
part of: Proceedings of the 37th Conference on Neural Information Processing Systems, 2024
Presented at:
37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    År: 2024

 

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements

Broccia, Giovanna ; ter Beek, Maurice H. ; Lluch Lafuente, Alberto ; Spoletini, Paola ; Ferrari, Alessio
part of: Proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality, pages: 39-56, 2024
Presented at:
30th International Working Conference on Requirements Engineering: Foundation for Software Quality

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-57327-9_3

  PDF

Bayesian Metric Learning for Uncertainty Quantification in Image Retrieval

Warburg, Frederik ; Miani, Marco ; Brack, Silas ; Hauberg, Søren
part of: Proceedings of the 37th Conference on Neural Information Processing Systems, 2024
Presented at:
37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    År: 2024

 

CNN-LSTM: A Deep Learning Model to Detect Botnet Attacks in Internet of Things

Kunndra, Chetanya ; Choudhary, Arjun ; Mathur, Prashant ; Pareek, Kapil ; Choudhary, Gaurav
part of: Proceedings of the International Conference on Cryptology & Network Security with Machine Learning 2022, pages: 353-365, 2023
Presented at:
International Conference on Cryptology & Network Security with Machine Learning 2022

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-981-99-2229-1_29

  PDF

Continuous-Time Graph Representation with Sequential Survival Process

Çelikkanat, Abdulkadir ; Nakis, Nikolaos ; Mørup, Morten
part of: Proceedings of the 38th AAAI Conference on Artificial Intelligence, pages: 11177-11185, 2024
Presented at:
38th AAAI Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1609/aaai.v38i10.28995

 

Delay-masquerading Technique Upheld StrongBox

Wu, Jiaxuan ; Zeng, Shuoqiang ; Chiu, Wei-Yang ; Liu, Peichen ; Meng, Weizhi ; Kidmose, Brooke Elizabeth
part of: Proceedings of the 2023 IEEE 29th International Conference on Parallel and Distributed Systems (ICPADS), pages: 2135-2142, 2024
Presented at:
2023 IEEE 29th International Conference on Parallel and Distributed Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1109/ICPADS60453.2023.00289

  PDF

Detection of Mobile LoRa Jammers

Bleszynski, Bartlomiej Jozef ; Orfanidis, Charalampos ; Fafoutis, Xenofon
part of: Proceedings of the IEEE Virtual Conference on Communications 2023 , pages: 288-293, 2024
Presented at:
IEEE Virtual Conference on Communications 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1109/VCC60689.2023.10474753

  PDF

Differentially private approximate pattern matching

Steiner, Teresa Anna
part of: Proceedings of the 15th Innovations in Theoretical Computer Science Conference (ITCS 2024) , pages: 18, 2024
Presented at:
15th Innovations in Theoretical Computer Science Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.4230/LIPIcs.ITCS.2024.94

 

Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic

From, Asta Halkjær
part of: Selected Reflections in Language, Logic, and Information. ESSLLI 2019. , pages: 80-92, 2024
Presented at:
2019 European Summer School in Logic, Language and Information

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50628-4_5

  PDF

Foundations of Reactive Synthesis for Declarative Process Specifications

Geatti, Luca ; Montali, Marco ; Rivkin, Andrey
part of: Proceedings of the 38th AAAI Conference on Artificial Intelligence, pages: 17416-17425, 2024
Presented at:
38th AAAI Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1609/aaai.v38i16.29690

  PDF

Gapped String Indexing in Subquadratic Space and Sublinear Query Time

Bille, Philip ; Gørtz, Inge Li ; Lewenstein, Moshe ; Pissis, Solon P. ; Rotenberg, Eva ; Steiner, Teresa Anna
part of: Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), pages: 16:1-16:21, 2024
Presented at:
41st International Symposium on Theoretical Aspects of Computer Science

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.4230/LIPIcs.STACS.2024.16

  PDF

GAST: Geometry-Aware Structure Transformer

Khomiakov, Maxim ; Andersen, Michael Riis ; Frellsen, Jes
part of: Proceedings of 2024 IEEE/CVF Winter Conference on Applications of Computer Vision, pages: 776-784, 2024
Presented at:
2024 IEEE/CVF Winter Conference on Applications of Computer Vision

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1109/WACVW60836.2024.00089

 

Generating Event Logs from Hybrid Process Models

Alman, Anti ; Maggi, Fabrizio Maria ; Montali, Marco ; Rivkin, Andrey
part of: Business Process Management Workshops - BPM 2023 International Workshops, pages: 289-301, 2024
Presented at:
International Workshops held at the 21st International Conference on Business Process Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50974-2_22

  PDF

Hubness Reduction Improves Sentence-BERT Semantic Spaces

Nielsen, Beatrix M.G. ; Hansen, Lars Kai
part of: Proceedings of the 5th Northern Lights Deep Learning Conference (NLDL), pages: 181-204, 2024
Presented at:
5th Northern Lights Deep Learning Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024

 

Identifying Variation in Personal Daily Routine Through Process Mining: A Case Study

Di Federico, Gemma ; Fernandez-Llatas, Carlos ; Ahmadi, Zahra ; Shirali, Mohsen ; Burattin, Andrea
part of: Proceedings of the 5th International Conference on Process Mining (ICPM 2023), pages: 23–234, 2024
Presented at:
5th International Conference on Process Mining

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-56107-8_17

 

Influence of the Printing Direction on the Surface Appearance in Multi-material Fused Filament Fabrication

Tonello, Riccardo ; Mollah, Md Tusher ; Weiss, Kenneth ; Spangenberg, Jon ; Strandlie, Are ; Pedersen, David Bue ; Frisvad, Jeppe Revall
part of: Computer-Aided Design and Computer Graphics, pages: 90-107, 2024
Presented at:
18th International Conference on Computer-Aided Design and Computer Graphics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-981-99-9666-7_7

 

I-PALIA: Discovering BPMN Processes with Duplicated Activities for Healthcare Domains

Fernandez-Llatas, Carlos ; Burattin, Andrea
part of: Proceedings of the 5th International Conference on Process Mining (ICPM 2023), pages: 247–258, 2024
Presented at:
5th International Conference on Process Mining

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-56107-8_19

 

Learning by Intervention in Simple Causal Domains

Thoft, Katrine Bjørn Pedersen ; Gierasimczuk, Nina
part of: Proceedings of the 5th International Workshop of Dynamic Logic. New Trends and Applications, pages: 104-118, 2024
Presented at:
Dynamic Logic. New Trends and Applications 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-51777-8_7

  PDF

Learning to Taste

Bender, Thoranna ; Søresen, Simon Moe ; Kashani, Alireza ; Hjorleifsson, K. Eldjarn ; Hyldig, Grethe ; Hauberg, Søren ; Belongie, Serge ; Warburg, Frederik
part of: Proceedings of the 37th Conference on Neural Information Processing Systems (NeurIPS 2023)., 2024
Presented at:
37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    År: 2024

 

LLMs and Process Mining: Challenges in RPA

Sani, Mohammadreza Fani ; Sroka, Michal ; Burattin, Andrea
part of: Proceedings of the 5th International Conference on Process Mining (ICPM 2023), pages: 79–391, 2024
Presented at:
5th International Conference on Process Mining

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-56107-8_29

  PDF

Neural machine translation for automated feedback on children’s early-stage writing

Jensen, Jonas Vestergaard ; Jordahn, Mikkel ; Andersen, Michael Riis
part of: Proceedings of the 5th Northern Lights Deep Learning Conference, pages: 104-112, 2024
Presented at:
5th Northern Lights Deep Learning Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024

 

NORMalize: A Tutorial on the Normative Design and Evaluation of Information Access Systems

Kruse, Johannes ; Michiels, Lien ; Starke, Alain ; Tintarev, Nava ; Vrijenhoek, Sanne
part of: Proceedings of the 2024 Conference on Human Information Interaction and Retrieval (CHIIR ’24), pages: 422–424, 2024
Presented at:
2024 Conference on Human Information Interaction and Retrieval

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1145/3627508.3638319

  PDF

On Masked Pre-training and the Marginal Likelihood

Moreno-Muñoz, Pablo ; Recasens, Pol G. ; Hauberg, Søren
part of: Proceedings of the 37th Conference on Neural Information Processing Systems, 2024
Presented at:
37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    År: 2024

  PDF

Pantypes: Diverse Representatives for Self-Explainable Models

Kjærsgaard, Rune ; Boubekki, Ahcène ; Clemmensen, Line
part of: Proceedings of the 38th AAAI Conference on Artificial Intelligence, pages: 13230-13237, 2024
Presented at:
38th AAAI Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1609/aaai.v38i12.29223

  PDF

Pareto-Optimal Trace Generation from Declarative Process Models

Diaz, Juan F. ; López-Acosta, Hugo-Andrés ; Quesada, Luis ; Rosero, Juan C.
part of: Proceedings of the 11th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2023), pages: 314-325, 2024
Presented at:
11th International Workshop on DEClarative, DECision and Hybrid approaches to processes

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50974-2_24

  PDF

Riemannian Laplace approximations for Bayesian neural networks

Bergamin, Federico ; Moreno-Muñoz, Pablo ; Hauberg, Søren ; Arvanitidis, Georgios
part of: Proceedings of the 37th Conference on Neural Information Processing Systems, 2024
Presented at:
37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    År: 2024

 

Securing 5G Positioning via Zero Trust Architecture

Adam, Razy Youhana ; Meng, Weizhi
part of: Proceedings of the First International Conference on Artificial Intelligence Security and Privacy, pages: 563-578, 2024
Presented at:
First International Conference on Artificial Intelligence Security and Privacy

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-981-99-9785-5_39

 

Simple and Robust Dynamic Two-Dimensional Convex Hull

Gæde, Emil Toftegaard ; Gørtz, Inge Li ; Van Der Hoog, Ivor ; Krogh, Christoffer ; Rotenberg, Eva
part of: Proceedings of 2024 SIAM Symposium on Algorithm Engineering and Experiments, pages: 144-156, 2024
Presented at:
2024 SIAM Symposium on Algorithm Engineering and Experiments

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024

 

Sparse Regular Expression Matching

Bille, Philip ; Gørtz, Inge Li
part of: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages: 3354-3375, 2024
Presented at:
2024 Annual ACM-SIAM Symposium on Discrete Algorithms

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1137/1.9781611977912.120

 

SVM-RF: A Hybrid Machine Learning Model for Detection of Malicious Network Traffic and Files

Mathur, Prashant ; Choudhary, Arjun ; Kunndra, Chetanya ; Pareek, Kapil ; Choudhary, Gaurav
part of: Proceedings of the International Conference on Cryptology & Network Security with Machine Learning 2022, pages: 29-40, 2023
Presented at:
International Conference on Cryptology & Network Security with Machine Learning 2022

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-981-99-2229-1_3

  PDF

Synchronized ESP-NOW for Improved Energy Efficiency

Magzym, Yermakhan ; Eduard, Aida ; Urazayev, Dnislam ; Fafoutis, Xenofon ; Zorbas, Dimitrios
part of: Proceedings of the 11th IEEE International Black Sea Conference on Communications and Networking, 2024
Presented at:
11th IEEE International Black Sea Conference on Communications and Networking

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    År: 2024

 

The 0'th PEPM Event: October 1987-And Andrei Petrovich Ershov: 1977-1988 (Invited Contribution)

Bjørner, Dines
part of: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, pages: 53-56, 2024
Presented at:
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2024

Type: Article in proceedings

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1145/3635800.3637448

 

Tiramisù: A Recipe for Visual Sensemaking of Multi-faceted Process Information

Alman, Anti ; Arleo, Alessio ; Beerepoot, Iris ; Burattin, Andrea ; Di Ciccio, Claudio ; Resinas, Manuel
part of: Proceedings of the 5th International Conference on Process Mining (ICPM 2023), pages: 9–31, 2024
Presented at:
5th International Conference on Process Mining

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-56107-8_2

  PDF

Towards a tailored mixed-precision sub-8-bit quantization scheme for Gated Recurrent Units using Genetic Algorithms

Miccini, Riccardo ; Cerioli, Alessandro ; Laroche, Clément ; Piechowiak, Tobias ; Sparsø, Jens ; Pezzarossa, Luca
part of: Proceedings of tinyML Research Symposium'24, 2024
Presented at:
tinyML Research Symposium'24

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    År: 2024

  PDF

Triangulations Admit Dominating Sets of Size 2n/7

Christiansen, Aleksander B.G. ; Rotenberg, Eva ; Rutschmann, Daniel
part of: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages: 1194-1240, 2024
Presented at:
2024 Annual ACM-SIAM Symposium on Discrete Algorithms

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1137/1.9781611977912.47

  PDF

Tunable Floating Point for High Quality Audio Systems: The Sound of Numbers

Cardarilli, G. C. ; Di Nunzio, L. ; Fazzolari, R. ; La Cesa, R. ; Nannarelli, Alberto ; Re, Marco
part of: Proceedings of 57th Annual Asilomar Conference on Signals, Systems, and Computers, pages: 1547-1551, 2024
Presented at:
57th Annual Asilomar Conference on Signals, Systems, and Computers 

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1109/IEEECONF59524.2023.10476741

 

Typed Petri Nets with Variable Arc Weights

Lomazova, Irina A. ; Mitsyuk, Alexey A. ; Rivkin, Andrey
part of: Business Process Management Workshops - BPM 2023 International Workshops, pages: 483-495, 2024
Presented at:
International Workshops held at the 21st International Conference on Business Process Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50974-2_36

  PDF

Viola

Di Federico, Gemma ; Meroni, Giovanni ; Burattin, Andrea
part of: Business Process Management Workshops - BPM 2023 International Workshops, pages: 118-130, 2024
Presented at:
International Workshops held at the 21st International Conference on Business Process Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50974-2_10

2023
 

3-Objective Pareto Optimization for Problems with Chance Constraints

Neumann, Frank ; Witt, Carsten
part of: Proceedings of the 2023 Genetic and Evolutionary Computation Conference (GECCO), pages: 731-739, 2023
Presented at:
2023 Genetic and Evolutionary Computation Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3583131.3590392

 

A Calculus for Amortized Expected Runtimes

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph ; Verscht, Lena
part of: Proceedings of the ACM on Programming Languages, 2023
Presented at:
50th ACM SIGPLAN Symposium on Principles of Programming Languages

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3571260

 

Accomplishing More With Less

Li, Ziru ; Vu, Simon Nam Thanh ; Dragoni, Nicola ; Doherty, Kevin
part of: Proceeding of Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing, 2023
Presented at:
2023 CHI Conference on Human Factors in Computing Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3544549.3585597

 

Accurate and flexible personalized head modeling and its validation using MR current density imaging

Thielscher, Axel ; Puonti, Oula ; Gregersen, Frodi ; Madsen, Kristoffer ; Hanson, Lars
in: Brain Stimulation, vol: 16, pages: 148-149
Presented at:
5th International Brain Stimulation Conference

Type: Conference abstract in journal (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1016/j.brs.2023.01.105

 

A Characterisation of Ambiguity in BPM

Franceschetti, Marco ; Seiger, Ronny ; López-Acosta, Hugo-Andrés ; Burattin, Andrea ; Garcia-Banuelos, Luciano ; Weber, Barbara
part of: Proceedings of the 42nd International Conference on Conceptual Modeling (ER), pages: 277–295, 2023
Presented at:
42th International Conference on Conceptual Modeling

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-47262-6_15

 

A Closer Look at Cross-Domain Maximal Extractable Value for Blockchain Decentralisation

Sjursen, Johan Hagelskjar ; Meng, Weizhi ; Chiu, Wei-Yang
part of: Proceedings of the 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2023
Presented at:
2023 IEEE International Conference on Blockchain and Cryptocurrency

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/ICBC56567.2023.10174971

 

A Continual Learning System with Self Domain Shift Adaptation for Fake News Detection

Basterrech, Sebastian ; Kasprzak, Andrzej ; Platos, Jan ; Wozniak, Michal
part of: Proceedings of the 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA), 2023
Presented at:
2023 IEEE 10th International Conference on Data Science and Advanced Analytics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/DSAA60987.2023.10302539

 

Active learning of causal probability trees

Herlau, Tue
part of: Proceedings of 2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA), pages: 1196-1202, 2023
Presented at:
2022 IEEE 21st International Conference on Machine Learning and Applications

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/ICMLA55696.2022.00193

  PDF

Adaptive Cholesky Gaussian Processes

Bartels, Simon ; Stensbo-Smidt, Kristoffer ; Moreno-Munoz, Pablo ; Boomsma, Wouter ; Frellsen, Jes ; Hauberg, Søren
part of: Proceedings of the 26th International Conference on Artificial Intelligence and Statistics, pages: 408-452, 2023
Presented at:
26th International Conference on Artificial Intelligence and Statistics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

 

AdaSub: Stochastic Optimization Using Second-Order Information in Low-Dimensional Subspaces

Da Mata, Joao Victor Galvao ; Andersen, Martin S.
part of: Proceedings of the 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA), 2023
Presented at:
2023 IEEE 10th International Conference on Data Science and Advanced Analytics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/DSAA60987.2023.10302473

  PDF

Aesop: White-Box Best-First Proof Search for Lean

Limperg, Jannis ; From, Asta Halkjær
part of: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, pages: 253-266, 2023
Presented at:
12th ACM SIGPLAN International Conference on Certified Programs and Proofs

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3573105.3575671

 

A Formulation of Classical Higher-Order Logic in Isabelle/Pure

Villadsen, Jørgen
part of: Proceedings of Logic & Artificial Intelligence, pages: 223-238, 2023
Presented at:
Logic and Artificial Intelligence 2022

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

 

A High-order Spectral Element based Time-Domain Simulation of a Model-Scale Floating Offshore Wind Turbine

Visbech, Jens ; Bingham, Harry B. ; Eskilsson, Claes ; Palm, Johannes ; Engsig-Karup, Allan P.
part of: Proceedings of the 33rd (2023) International Ocean and Polar Engineering Conference, pages: 279-279, 2023
Presented at:
33rd International Ocean and Polar Engineering Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

 

A Hybrid Mechanism for Advance IoT Malware Detection

Khan, Aijaz ; Choudhary, Gaurav ; Shandilya, Shishir Kumar ; Sharma, Durgesh M. ; Sharma, Ashish K.
part of: Proceedings of the International Conference on IoT, Intelligent Computing and Security, pages: 247-259, 2023
Presented at:
International Conference on, Intelligent computing and Security 2021

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-981-19-8136-4_21

 

AI-Based Detection of Droplets and Bubbles in Digital Microfluidic Biochips

Xu, Jianan ; Fan, Wenjie ; Madsen, Jan ; Tanev, Georgi Plamenov ; Pezzarossa, Luca
part of: Proceedings of the 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023
Presented at:
2023 Design, Automation and Test in Europe Conference and Exhibition

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.23919/DATE56975.2023.10136887

  PDF

Alignment of Wikidata lexemes and Det Centrale Ordregister

Nielsen, Finn Årup
part of: Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa), 2023
Presented at:
24th Nordic Conference on Computational Linguistics 

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

 

A method for developing predictive models of quality metrics and gas flow variables for 316L PBF-LB/M printed components based on image analysis

Frandsen, L. N. ; Kristensen, C. K. ; Haahr-Lillevang, L. ; Klingaa, C. G. ; Mohanty, S. ; Pedersen, M. M.
part of: European Society for Precision Engineering and Nanotechnology, Conference Proceedings , pages: 115-118, 2023
Presented at:
23rd International Conference of the European Society for Precision Engineering and Nanotechnology

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

  PDF

A Middleware for Hybrid Blockchain Applications: Towards Fast, Affordable, and Accountable Integration

Yessenbayev, Olzhas ; Comuzzi, Marco ; Meroni, Giovanni ; Nguyen, Dung Chi Duy
part of: Proceedings of 21st International Conference on Service-Oriented Computing, pages: 307–322, 2023
Presented at:
21st International Conference on Service-Oriented Computing

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-48421-6_21

 

A Min-Heap-Based Accelerator for Deterministic On-the-Fly Pruning in Neural Networks

Jelcicova, Zuzana ; Kasapaki, Evangelia ; Andersson, Oskar ; Sparsø, Jens
part of: Proceedings of the 2023 IEEE International Symposium on Circuits and Systems (ISCAS), 2023
Presented at:
2023 IEEE International Symposium on Circuits and Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/ISCAS46773.2023.10181440

  PDF

Amortised Analysis of Dynamic Data Structures

Rotenberg, Eva
part of: Proceedings of 40th International Symposium on Theoretical Aspects of Computer Science, 2023
Presented at:
40th International Symposium on Theoretical Aspects of Computer Science

Type: Conference abstract in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.4230/LIPIcs.STACS.2023.2

  PDF

A Naive Prover for First-Order Logic

From, Asta Halkjær ; Villadsen, Jørgen
part of: Proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, pages: 468–480, 2023
Presented at:
32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-43513-3_25

 

An Algebraic Attack Against McEliece-like Cryptosystems Based on BCH codes

Elbro, Freja ; Majenz, Christian
part of: Proceedings of the 2023 IEEE Information Theory Workshop (ITW), pages: 70-75, 2023
Presented at:
2023 IEEE Information Theory Workshop

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/ITW55543.2023.10161620

 

An Analysis of Spatial-Spectral Dependence in Hyperspectral Autoencoders

Laprade, William Michael ; Westergaard, Jesper Cairo ; Nielsen, Jon ; Nielsen, Mads ; Dahl, Anders Bjorholm
part of: Proceedings of the 22nd Scandinavian Conference, SCIA 2023, pages: 191-202, 2023
Presented at:
22nd Scandinavian Conference on Image Analysis

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-31438-4_13

  PDF

An analysis of war impact on Ukrainian critical infrastructure through network measurements

Singla, Rishabh ; Srinivasa, Shreyas ; Reddy, Narasimha ; Pedersen, Jens Myrup ; Vasilomanolakis, Emmanouil ; Bettati, Riccardo
part of: Proceedings of Network Traffic Measurement and Analysis Conference 2023, 2023
Presented at:
7th Network Traffic Measurement and Analysis Conference 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.23919/TMA58422.2023.10199005

 

An Automatic Guidance and Quality Assessment System for Doppler Imaging of Umbilical Artery

Wong, Chun Kit ; Lin, Manxi ; Raheli, Alberto ; Bashir, Zahra ; Svendsen, Morten Bo Søndergaard ; Tolsgaard, Martin Grønnebæk ; Feragen, Aasa ; Christensen, Anders Nymark
part of: Proceedings of The 4th International Workshop of Advances in Simplifying Medical UltraSound (ASMUS), pages: 13-22, 2023
Presented at:
4th International Workshop of Advances in Simplifying Medical Ultrasound

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-44521-7_2

  PDF

An Efficient Implementation for Kernel-based Regularized System Identification with Periodic Input Signals

Shen, Zhuohua ; Xu, Yu ; Andersen, Martin Skovgaard ; Chen, Tianshi
part of: Proceedings of 62nd IEEE Conference on Decision and Control, pages: 1480-1485, 2024
Presented at:
62nd IEEE Conference on Decision and Control

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/CDC49753.2023.10383860

 

A Newton-like Method based on Model Reduction Techniques for Implicit Numerical Methods

Ritschel, Tobias K.S.
part of: Proceedings of 2023 European Control Conference, 2023
Presented at:
2023 European Control Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.23919/ECC57647.2023.10178156

  PDF

Angular Central Gaussian and Watson Mixture Models for Assessing Dynamic Functional Brain Connectivity During a Motor Task

Olsen, Anders S. ; Ortvald, Emil ; Madsen, Kristoffer H. ; Schmidt, Mikkel N. ; Mørup, Morten
part of: Proceedings of the 2023 IEEE International Conference on Acoustics, Speech, and Signal Processing Workshops (ICASSPW), 2023
Presented at:
2023 IEEE International Conference on Acoustics, Speech, and Signal Processing Workshops

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/ICASSPW59220.2023.10193021

  PDF

Angular dependent reflectance spectroscopy of RGBW pigments

Pranovich, Alina ; Vazquez, Abigail Trujillo ; Nyström, Daniel ; Valyukh, Sergiy ; Frisvad, Jeppe Revall ; Klein, Susanne ; Parraman, Carinna
part of: Advances in Printing and Media Technology, pages: 19-24, 2023
Presented at:
48th International Research Conference of iarigai

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.14622/Advances_48_2022_13

 

An Interpretable and Attention-Based Method for Gaze Estimation Using Electroencephalography

Weng, Nina ; Plomecka, Martyna ; Kaufmann, Manuel ; Kastrati, Ard ; Wattenhofer, Roger ; Langer, Nicolas
part of: Proceedings of the 26th International Conference Medical Image Computing and Computer Assisted Intervention, pages: 734-743, 2023
Presented at:
26th International Conference on Medical Image Computing and Computer Assisted Intervention

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-43895-0_69

  PDF

An Open-Source Modeling Editor for Declarative Process Models

Tamo, Lucien Kiven ; Abbad-Andaloussi, Amine ; Trinh, Dung My Thi ; López-Acosta, Hugo-Andrés
part of: Proceedings of the Demonstration Track at International Conference on Cooperative Information Systems 2023, 2023
Presented at:
International Conference on Cooperative Information Systems 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

  PDF

An urgent computing oriented architecture for dynamic climate risk management framework

Pour, Shahrzad ; Balouek, Daniel ; Masoumi, Amir ; Brynskov, Martin
part of: Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing, 2024
Presented at:
IEEE/ACM 16th International Conference on Utility and Cloud Computing

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3603166.3632539

 

A one-size-fits-all artificial pancreas for people with type 1 diabetes based on physiological insight and feedback control

Ritschel, Tobias K.S. ; Reenberg, Asbjorn Thode ; Lindkvist, Emilie B. ; Laugesen, Christian ; Svensson, Jannet ; Ranjan, Ajenthen G. ; Norgaard, Kirsten ; Dammann, Bernd ; Jorgensen, John Bagterp
part of: Proceedings of 2023 European Control Conference, 2023
Presented at:
2023 European Control Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.23919/ECC57647.2023.10178186

 

Approximate Constrained Lumping of Polynomial Differential Equations

Leguizamon-Robayo, Alexander ; Jiménez-Pastor, Antonio ; Tribastone, Micro ; Tschaikowski, Max ; Vandin, Andrea
part of: Proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB, pages: 106-123, 2023
Presented at:
21st International Conference on Computational Methods in Systems Biology

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-42697-1_8

  PDF

Approximate Selection with Unreliable Comparisons in Optimal Expected Time

Huang, Shengyu ; Liu, Chih Hung ; Rutschmann, Daniel
part of: Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023
Presented at:
40th International Symposium on Theoretical Aspects of Computer Science

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.4230/LIPIcs.STACS.2023.37

  PDF

Artifact-Driven Process Monitoring at Scale

Meroni, Giovanni ; Garda, Szabolcs
part of: Proceedings of 21st International Conference on Service-Oriented Computing, pages: 3-12, 2023
Presented at:
21st International Conference on Service-Oriented Computing

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-48424-7_1

  PDF

A sensitivity analysis on the effect of hyperparameters in deep neural operators applied to sound propagation

Borrel-Jensen, Nikolas ; Engsig-Karup, Allan Peter ; Jeong, Cheol-Ho
part of: Proceedings of 10th Convention of the European Acoustics Association, 2023
Presented at:
10th Convention of the European Acoustics Association

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

  PDF

A Sustainable West? Analyzing Clusters of Public Opinion in Sustainability Western Discourses in a Collection of Multilingual Newspapers (1999-2018)

Fernández, Elena Fernández ; Savcisens, Germans
part of: Proceedings of Digital Humanities in the Nordic and Baltic Countries 2023. Sustainability, Environment, Community, Data., pages: 165-187, 2024
Presented at:
Digital Humanities in the Nordic and Baltic Countries 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.5617/dhnbpub.10660

 

Asynchronous Circuit Design in Chisel Using Phase-Decoupled Click Elements

Hesse, Kasper ; Petersen, Tjark ; Sparsø, Jens
part of: Proceedings of the 2023 26th Euromicro Conference on Digital System Design (DSD), pages: 168-175, 2024
Presented at:
26th Euromicro Conference on Digital System Design

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/DSD60849.2023.00033

 

A Threat and Risk Analysis of Internet Communication Technology Use

Panwar, Kanika ; Sihag, Vikar ; Choudhary, Gaurav ; Dragoni, Nicola
part of: Proceedings of the 8th International Conference on ICT for Sustainable Development, pages: 407-414, 2023
Presented at:
8th International Conference on ICT for Sustainable Development

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-981-99-5652-4_36

 

Attention! Dynamic Epistemic Logic Models of (In)attentive Agents

Belardinelli, Gaia ; Bolander, Thomas
part of: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, pages: 391-399, 2023
Presented at:
2023 International Conference on Autonomous Agents and Multiagent Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

  PDF

Automated Compositional Verification of Interlocking Systems

Haxthausen, Anne E. ; Fantechi, Alessandro ; Gori, Gloria ; Mikkelsen, Óli Kárason ; Petersen, Sofie Amalie
part of: Proceedings of 5th International Conference Reliability, Safety, and Security of Railway Systems, pages: 146-164, 2023
Presented at:
5th International conference on Reliability, Safety and Security of Railway Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-43366-5_9

 

Automated Medical Coding on MIMIC-III and MIMIC-IV

Edin, Joakim ; Borgholt, Lasse ; Junge, Alexander ; Maistro, Maria ; Havtorn, Jakob D. ; Ruotsalo, Tuukka ; Maaløe, Lars
part of: Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, pages: 2572-2582, 2023
Presented at:
46th International ACM SIGIR Conference on Research and Development in Information Retrieval

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3539618.3591918

 

Autonomy Loops for Monitoring, Operational Data Analytics, Feedback, and Response in HPC Operations

Boito, Francieli ; Brandt, Jim ; Cardellini, Valeria ; Carns, Philip ; Ciorba, Florina M. ; Egan, Hilary ; Eleliemy, Ahmed ; Gentile, Ann ; Gruber, Thomas ; Hanson, Jeff ; Haus, Utz Uwe ; Huck, Kevin ; Ilsche, Thomas ; Jakobsche, Thomas ; Jones, Terry ; Karlsson, Sven ; Mueen, Abdullah ; Ott, Michael ; Patki, Tapasya ; Raghavan, Krishnan ; Simms, Stephen ; Shoga, Kathleen ; Showerman, Michael ; Tiwari, Devesh ; Wilde, Torsten ; Yamamoto, Keiji
part of: Proceedings of 2023 IEEE International Conference on Cluster Computing Workshops and Posters, pages: 37-43, 2023
Presented at:
25th IEEE International Conference on Cluster Computing Workshops

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/CLUSTERWorkshops61457.2023.00016

  PDF

Behavioral Recommender System for Process Automation Steps

Sani, Mohammadreza Fani ; Nikraftar, Fatemeh ; Sroka, Michal ; Burattin, Andrea
part of: Proceedings of the 12th International Conference on Data Science, Technology and Applications DATA, pages: 255-262, 2023
Presented at:
12th International Conference on Data Science, Technology and Applications

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.5220/0012060800003541

 

BlockPAT: A Blockchain-Enabled Second-Hand Physical Asset Tokenization Management System

Wu, Jiaxuan ; Chiu, Wei-Yang ; Meng, Weizhi ; Lampe, Brooke Elizabeth
part of: Proceedings of the 2023 IEEE 43rd International Conference on Distributed Computing Systems, pages: 1041-1042, 2023
Presented at:
2023 IEEE 43rd International Conference on Distributed Computing Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/ICDCS57875.2023.00135

 

Broadcast-Optimal Four-Round MPC in the Plain Model

Ciampi, Michele ; Damgård, Ivan ; Ravi, Divya ; Siniscalchi, Luisa ; Xia, Yu ; Yakoubov, Sophia
part of: Proceedings of the 21st International Conference on Theory of Cryptography, pages: 3-32, 2023
Presented at:
21st International conference on Theory of Cryptography Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-48618-0_1

 

Broadcast-Optimal Two Round MPC with Asynchronous Peer-to-Peer Channels

Damgård, Ivan ; Ravi, Divya ; Siniscalchi, Luisa ; Yakoubov, Sophia
part of: Proceedings of the 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, pages: 87-106, 2023
Presented at:
8th International Conference on Cryptology and Information Security in Latin America

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-44469-2_5

  PDF

C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments

Raun, Kristo ; Nielsen, Max ; Burattin, Andrea ; Awad, Ahmed
part of: Proceedings of CAiSE: International Conference on Advanced Information Systems Engineering 2023, pages: 437–453, 2023
Presented at:
35th International Conference on Advanced Information Systems Engineering

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1007/978-3-031-34560-9_26

  PDF

can-logic: Automotive Intrusion Detection via Temporal Logic

Kidmose, Brooke Elizabeth ; Meng, Weizhi
part of: Proceedings of the 13th International Conference on the Internet of Things, pages: 113-120, 2024
Presented at:
13th International Conference on the Internet of Things

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3627050.3627059

 

can-train-and-test: A New CAN Intrusion Detection Dataset

Lampe, Brooke ; Meng, Weizhi
part of: Proceedings of 98th IEEE Vehicular Technology Conference, 2023
Presented at:
98th IEEE Vehicular Technology Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/VTC2023-Fall60731.2023.10333756

 

Challenges in HPCQC Integration

Elsharkawy, Amr ; To, Xiao-Ting Michelle ; Seitz, Philipp ; Chen, Yanbin ; Stade, Yannick ; Geiger, Manuel ; Huang, Qunsheng ; Guo, Xiaorang ; Ansari, Muhammad Arslan ; Ruefenacht, Martin ; Schulz, Laura ; Karlsson, Sven ; Mendl, Christian B. ; Kranzlmüller, Dieter ; Schulz, Martin
part of: Proceedings of 2023 IEEE International Conference on Quantum Computing and Engineering , pages: 405-406, 2023
Presented at:
2023 IEEE International Conference on Quantum Computing and Engineering

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/QCE57702.2023.10304

  PDF

Characterizing Polarization in Social Networks using the Signed Relational Latent Distance Model

Nakis, Nikolaos ; Celikkanat, Abdulkadir ; Boucherie, Louis ; Djurhuus, Christian ; Burmester, Felix ; Holmelund, Daniel Mathias ; Frolcová, Monika ; Mørup, Morten
part of: Proceedings of the 26th International Conference on Artificial Intelligence and Statistics, pages: 11489-11505, 2023
Presented at:
26th International Conference on Artificial Intelligence and Statistics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

 

Cheaper than you thought? A dive into the darkweb market of cyber-crime products

Georgoulias, Dimitrios ; Yaben, Ricardo ; Vasilomanolakis, Emmanouil
part of: Proceedings of The 18th International Conference on Availability, Reliability and Security (ARES 2023), 2023
Presented at:
The 18th International Conference on Availability, Reliability and Security

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3600160.3605012

 

Classifying Head Movements to Separate Head-Gaze and Head Gestures as Distinct Modes of Input

Hou, Baosheng James ; Newn, Joshua ; Sidenmark, Ludwig ; Khan, Anam Ahmad ; Bækgaard, Per ; Gellersen, Hans
part of: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023
Presented at:
2023 CHI Conference on Human Factors in Computing Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1145/3544548.3581201

 

Climate friendly and nutritionally adequate? An explorative case study using mathematical optimization on the Danish diet

Nordman, Matilda ; Stockmarr, Anders ; Lassen, Anne Dahl ; Trolle, Ellen
in: Annals of Nutrition and Metabolism, vol: 79, pages: 933-933

Type: Conference abstract in journal (Peer reviewed)

Status: Published     |    År: 2023

  PDF

Coherent energy and force uncertainty in deep learning force fields

Jørgensen, Peter Bjørn ; Busk, Jonas ; Winther, Ole ; Schmidt, Mikkel N.
part of: Proceedings of ELLIS Advancing Molecular Machine Learning Workshop, 2023
Presented at:
ELLIS Advancing Molecular Machine Learning Workshop

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023

  PDF

Comparison of 2D SURE and 3D CT imaging of cortical vessels in a rat kidney

Hansen, Lauge Naur ; Kjer, Hans Martin ; Amin Naji, Mostafa ; Panduro, Nathalie Sarup ; Sørensen, Charlotte Mehlin ; Gundlach, Carsten ; Dahl, Anders Bjorholm ; Jensen, Jørgen Arendt
part of: Proceedings of 2023 IEEE International Ultrasonics Symposium, 2023
Presented at:
2023 IEEE International Ultrasonics Symposium

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2023     |    DOI: https://doi.org/10.1109/IUS51837.2023.10306856