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

2020
 

Community Targeted Phishing

Giaretta, Alberto ; Dragoni, Nicola
part of: Proceedings of 6th International Conference in Software Engineering for Defence Applications - SEDA 2018, pages: 86-93, 2020, Springer
Presented at:
6th International Conference in Software Engineering for Defence Applications, SEDA 2018

Type: Article in proceedings (Peer reviewed)

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

 

Vulnerabilities and Security Breaches in Cryptocurrencies

Sigurdsson, Gudmundur ; Giaretta, Alberto ; Dragoni, Nicola
part of: Proceedings of 6th International Conference in Software Engineering for Defence Applications - SEDA 2018, pages: 288-299, 2020, Springer
Presented at:
6th International Conference in Software Engineering for Defence Applications, SEDA 2018

Type: Article in proceedings (Peer reviewed)

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

 

When the Price Is Your Privacy

Favaretto, Margherita ; Tran Anh, Tu ; Kavaja, Juxhino ; De Donno, Michele ; Dragoni, Nicola
part of: Proceedings of 6th International Conference in Software Engineering for Defence Applications - SEDA 2018, pages: 55-75, 2020, Springer
Presented at:
6th International Conference in Software Engineering for Defence Applications, SEDA 2018

Type: Article in proceedings (Peer reviewed)

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

2019
 

Detection of multiple-mix-attack malicious nodes using perceptron-based trust in IoT networks

Liu, L. ; Ma, Zuchao ; Meng, Weizhi
in: Future Generation Computer Systems, vol: 101, pages: 865-879

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.future.2019.07.021

  PDF

Differences in mood instability in patients with bipolar disorder type I and II: a smartphone-based study

Faurholt-Jepsen, Maria ; Frost, Mads ; Busk, Jonas ; Christensen, Ellen Margrethe ; Bardram, Jakob E. ; Vinberg, Maj ; Kessing, Lars Vedel
in: International Journal of Bipolar Disorders, vol: 7, issue: 1

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1186/s40345-019-0141-4

 

Enhancing the security of FinTech applications with map-based graphical password authentication

Meng, Weizhi ; Zhu, L. ; Li, Wenjuan ; Han, Jinguang ; Li, Yan
in: Future Generation Computer Systems, vol: 101, pages: 1018-1027

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.future.2019.07.038

  PDF

Musical interaction is influenced by underlying predictive models and musical expertise

Heggli, Ole A. ; Konvalinka, Ivana ; Kringelbach, Morten L. ; Vuust, Peter
in: Scientific Reports, vol: 9, issue: 1

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1038/s41598-019-47471-3

 

The validity of daily patient-reported anxiety measured using smartphones and the association with stress, quality of life and functioning in patients with bipolar disorder

Faurholt-Jepsen, Maria ; Frost, Mads ; Christensen, Ellen Margrethe ; Bardram, Jakob E. ; Vinberg, Maj ; Kessing, Lars Vedel
in: Journal of Affective Disorders, vol: 257, pages: 100-107

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.jad.2019.07.029

 

A hybrid modelling method for improving estimates of the average energy-saving potential of a building stock

Brøgger, Morten ; Bacher, P. ; Wittchen, K. B.
in: Energy and Buildings, vol: 199, pages: 287-296

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.enbuild.2019.06.054

 

Towards detection of juice filming charging attacks via supervised CPU usage analysis on smartphones

Meng, Weizhi ; Jiang, Lijun ; Choo, Kim Kwang Raymond ; Wang, Yu ; Jiang, Chong
in: Computers and Electrical Engineering, vol: 78, pages: 230-241

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.compeleceng.2019.07.008

 

Closed-loop control with unannounced exercise for adults with type 1 diabetes using the Ensemble Model Predictive Control

Garcia-Tirado, Jose ; Corbett, John P. ; Boiroux, Dimitri ; Jørgensen, John Bagterp ; Breton, Marc D.
in: Journal of Process Control, vol: 80, pages: 202-210

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.jprocont.2019.05.017

 

Hardlock

Strøm, Tórur Biskopstø ; Sparsø, Jens ; Schoeberl, Martin
in: Journal of Systems Architecture, vol: 97, pages: 467-476

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.sysarc.2019.02.003

 

Sex-specific difference in migration schedule as a precursor of protandry in a long-distance migratory bird

Pedersen, Lykke ; Jakobsen, Nina Munkholt ; Strandberg, Roine ; Thorup, Kasper ; Tøttrup, Anders P.
in: Science of Nature, vol: 106, issue: 7-8

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/s00114-019-1637-6

 

Symbolic computation of differential equivalences

Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea
in: Theoretical Computer Science, vol: 777, pages: 132-154

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.tcs.2019.03.018

  PDF

Deconvolution of autoencoders to learn biological regulatory modules from single cell mRNA sequencing data

Kinalis, Savvas ; Nielsen, Finn Cilius ; Winther, Ole ; Bagger, Frederik Otzen
in: BMC Bioinformatics, vol: 20, issue: 1

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1186/s12859-019-2952-9

  PDF

Y-DWMS - A digital watermark management system based on smart contracts

Zhao, Bo ; Fang, Liming ; Zhang, Hanyi ; Ge, Chunpeng ; Meng, Weizhi ; Liu, Liang ; Su, Chunhua
in: Sensors (Switzerland), vol: 19, issue: 14

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.3390/s19143091

 

Designing collaborative blockchained signature-based intrusion detection in IoT environments

Li, Wenjuan ; Tug, Steven ; Meng, Weizhi ; Wang, Yu
in: Future Generation Computer Systems, vol: 96, pages: 481-489

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.future.2019.02.064

 

Detecting malicious nodes via gradient descent and support vector machine in Internet of Things

Liu, Liang ; Yang, Jingxiu ; Meng, Weizhi
in: Computers and Electrical Engineering, vol: 77, pages: 339-353

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.compeleceng.2019.06.013

 

Individual differences in replicated multi-product experiments with Thurstonian mixed models for binary paired comparison data

Linander, Christine Borgen ; Christensen, Rune Haubo Bojesen ; Cleaver, Graham ; Brockhoff, Per Bruun
in: Food Quality and Preference, vol: 75, pages: 220-229

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.foodqual.2019.01.010

 

Linear codes associated to skew-symmetric determinantal varieties

Beelen, Peter ; Singh, Prasant
in: Finite fields and their applications, vol: 58, pages: 32-45

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.ffa.2019.03.004

  PDF

DTU-forskere: Omstillingen til vedvarende energi i Danmark er klar til at blive gennemført. Hvad venter vi på?

Mikkelsen, Lars Pilgaard ; Andreasen, Jens Wenzel
in: Raeson

Type: Contribution to newspaper - Newspaper article

Status: Published     |    Year: 2019

  PDF

Cyber-storms come from clouds

De Donno, Michele ; Giaretta, Alberto ; Dragoni, Nicola ; Bucchiarone, Antonio ; Mazzara, Manuel
in: Future Internet, vol: 11, issue: 6

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.3390/fi11060127

 

Long-term electricity load forecasting

Lindberg, K. B. ; Seljom, P. ; Madsen, H. ; Fischer, D. ; Korpås, M.
in: Utilities Policy, vol: 58, pages: 102-119

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.jup.2019.04.001

 

Photogrammetric water level determination using smartphone technology

Elias, Melanie ; Kehl, Christian ; Schneider, Danilo
in: Photogrammetric Record, vol: 34, issue: 166, pages: 198-223

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1111/phor.12280

 

Spectral element FNPF simulation of focused wave groups impacting a fixed FPSO-type body

Engsig-Karup, Allan P. ; Eskilsson, Claes
in: International Journal of Offshore and Polar Engineering, vol: 29, issue: 2, pages: 141-148

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.17736/ijope.2019.jc753

 

Time domain room acoustic simulations using the spectral element method

Pind, Finnur ; Engsig-Karup, Allan P. ; Jeong, Cheol Ho ; Hesthaven, Jan S. ; Mejling, Mikael S. ; Strømann-Andersen, Jakob
in: Journal of the Acoustical Society of America, vol: 145, issue: 6, pages: 3299-3310

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1121/1.5109396

 

Frequency control of air conditioners in response to real-time dynamic electricity prices in smart grids

Hu, Maomao ; Xiao, Fu ; Jørgensen, John Bagterp ; Wang, Shengwei
in: Applied Energy, vol: 242, pages: 92-106

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.apenergy.2019.03.127

  PDF

A modality-adaptive method for segmenting brain tumors and organs-at-risk in radiation therapy planning

Agn, Mikael ; Munck af Rosenschöld, Per ; Puonti, Oula ; Lundemann, Michael J. ; Mancini, Laura ; Papadaki, Anastasia ; Thust, Steffi ; Ashburner, John ; Law, Ian ; Van Leemput, Koen
in: Medical Image Analysis, vol: 54, pages: 220-237

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.media.2019.03.005

 

A time-predictable TTEthenet node

Lund, Maja ; Pezzarossa, Luca ; Sparso, Jens ; Schoeberl, Martin
part of: Proceedings of the 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing,, pages: 229-233, 2019, IEEE
Presented at:
22nd IEEE International Symposium on Real-Time Distributed Computing, ISORC 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1109/ISORC.2019.00048

 

Peak Detection and Baseline Correction Using a Convolutional Neural Network

Schmidt, Mikkel N. ; Alstrom, Tommy S. ; Svendstorp, Marcus ; Larsen, Jan
part of: Proceedings of 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 , pages: 2757-2761, 2019, IEEE
Presented at:
44th IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1109/ICASSP.2019.8682311

 

Quantum and non-signalling graph isomorphisms

Atserias, Albert ; Mančinska, Laura ; Roberson, David E. ; Šámal, Robert ; Severini, Simone ; Varvitsiotis, Antonios
in: Journal of Combinatorial Theory. Series B, vol: 136, pages: 289-328

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.jctb.2018.11.002

 

Simultaneous image fusion and denoising by using fractional-order gradient information

Mei, Jin Jin ; Dong, Yiqiu ; Huang, Ting Zhu
in: Journal of Computational and Applied Mathematics, vol: 351, pages: 212-227

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.cam.2018.11.012

 

Stable and unstable equilibrium states in a fishery–aquaculture model

Bergland, Harald ; Pedersen, Pål Andreas ; Wyller, John
in: Natural Resource Modeling, vol: 32, issue: 2

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1111/nrm.12200

  PDF

An Adaptive Robotic System for Doing Pick and Place Operations with Deformable Objects

Jørgensen, Troels Bo ; Jensen, Sebastian Hoppe Nesgaard ; Aanæs, Henrik ; Hansen, Niels Worsøe ; Krüger, Norbert
in: Journal of Intelligent and Robotic Systems: Theory and Applications, vol: 94, issue: 1, pages: 81-100

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/s10846-018-0958-6

 

Towards quality-of-control-aware scheduling of industrial applications on fog computing platforms

Barzegaran, Mohammadreza ; Cervin, Anton ; Pop, Paul
part of: Proceedings of the 2019 Workshop on Fog Computing and the IoT, 2019, Association for Computing Machinery
Presented at:
2019 Workshop on Fog Computing and the IoT, IoT-Fog 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1145/3313150.3313217

  PDF

Evaluation method for the hourly average CO2eq. Intensity of the electricity mix and its application to the demand response of residential heating

Clauß, John ; Stinner, Sebastian ; Solli, Christian ; Lindberg, Karen Byskov ; Madsen, Henrik ; Georges, Laurent
in: Energies, vol: 12, issue: 7

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.3390/en12071345

 

Domain analysis and description principles, techniques, and modelling languages

Bjørner, Dines
in: ACM Transactions on Software Engineering and Methodology, vol: 28, issue: 2

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1145/3295738

 

Muscle fibre morphology and microarchitecture in cerebral palsy patients obtained by 3D synchrotron X-ray computed tomography

Borg, Leise ; Sporring, Jon ; Dam, Erik B. ; Dahl, Vedrana A. ; Dyrby, Tim B. ; Feidenhans'l, Robert ; Dahl, Anders B. ; Pingel, Jessica
in: Computers in Biology and Medicine, vol: 107, pages: 265-269

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.compbiomed.2019.02.008

 

Numerical predictions of U-notched sample failure based on a discrete energy argument

Zahedi, S. A. ; Kodsi, Costy ; Berto, F.
in: Theoretical and Applied Fracture Mechanics, vol: 100, pages: 298-306

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.tafmec.2018.12.014

 

The application of Software Defined Networking on securing computer networks

Sahay, Rishikesh ; Meng, Weizhi ; Jensen, Christian D.
in: Journal of Network and Computer Applications, vol: 131, pages: 89-108

Type: Review (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.jnca.2019.01.019

 

Iterations as the result of social and technical factors: empirical evidence from a large-scale design project

Piccolo, Sebastiano A. ; Maier, Anja M. ; Lehmann, Sune ; McMahon, Chris A.
in: Research in Engineering Design, vol: 30, issue: 2, pages: 251-270

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/s00163-018-0301-z

 

Development and metrological validation of a new automated scanner system for freeform measurements on wind turbine blades in the production

Lyngby, Rasmus Ahrenkiel ; Nielsen, Ewa ; De Chiffre, Leonardo ; Aanæs, Henrik ; Dahl, Anders Bjorholm
in: Precision Engineering, vol: 56, pages: 255-266

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.precisioneng.2018.12.006

 

REWARDS: Privacy-preserving rewarding and incentive schemes for the smart electricity grid and other loyalty systems

Dimitriou, Tassos ; Giannetsos, Thanassis ; Chen, Liqun
in: Computer Communications, vol: 137, pages: 1-14

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.comcom.2019.01.009

 

The future of sensorimotor communication research

Pezzulo, Giovanni ; Donnarumma, Francesco ; Dindo, Haris ; D'Ausilio, Alessandro ; Konvalinka, Ivana ; Castelfranchi, Cristiano
in: Physics of Life Reviews, vol: 28, pages: 46-51

Type: Comment/debate (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.plrev.2019.03.012

 

Vorticity topology of vortex pair interactions at low Reynolds numbers

Andersen, Morten ; Schreck, Cédric ; Hansen, Jesper Schmidt ; Brøns, Morten
in: European Journal of Mechanics, B/Fluids, vol: 74, pages: 58-67

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.euromechflu.2018.10.022

 

Design of multi-view based email classification for IoT systems via semi-supervised learning

Li, Wenjuan ; Meng, Weizhi ; Tan, Zhiyuan ; Xiang, Yang
in: Journal of Network and Computer Applications, vol: 128, pages: 56-63

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.jnca.2018.12.002

 

Upper Bounds on the Running Time of the Univariate Marginal Distribution Algorithm on OneMax

Witt, Carsten
in: Algorithmica, vol: 81, issue: 2, pages: 632-667

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/s00453-018-0463-0

 

Are sensorimotor experiences the key for successful early intervention in infants with congenital brain lesion?

Ritterband-Rosenbaum, Anina ; Justiniano, Mikkel Damgaard ; Nielsen, Jens Bo ; Christensen, Mark Schram
in: Infant Behavior and Development, vol: 54, pages: 133-139

Type: Review (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.infbeh.2019.02.001

 

Diversity of Cortico-descending Projections

Innocenti, Giorgio M. ; Caminiti, Roberto ; Rouiller, Eric M. ; Knott, Graham ; Dyrby, Tim B. ; Descoteaux, Maxime ; Thiran, Jean Philippe
in: Cerebral Cortex, vol: 29, issue: 2, pages: 788-801

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1093/cercor/bhx363

 

Pupillary measurement during an assembly task

Bækgaard, Per ; Jalaliniya, Shahram ; Hansen, John Paulin
in: Applied Ergonomics, vol: 75, pages: 99-107

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.apergo.2018.09.004

 

Speeding up stochastic and deterministic simulation by aggregation

Tribastone, Mirco ; Vandin, Andrea
part of: Proceedings of the 2018 Winter Simulation Conference, pages: 336-350, 2019, IEEE
Presented at:
2018 Winter Simulation Conference, WSC 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1109/WSC.2018.8632364

 

Statistical analysis of CARMA models

Galpin, Vashti ; Georgoulas, Anastasis ; Loreti, Michele ; Vandin, Andrea
part of: Proceedings of the 2018 Winter Simulation Conference, pages: 395-409, 2019, IEEE
Presented at:
2018 Winter Simulation Conference, WSC 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1109/WSC.2018.8632456

 

Limits to anatomical accuracy of diffusion tractography using modern approaches

Schilling, Kurt G. ; Nath, Vishwesh ; Hansen, Colin ; Parvathaneni, Prasanna ; Blaber, Justin ; Gao, Yurui ; Neher, Peter ; Aydogan, Dogu Baran ; Shi, Yonggang ; Ocampo-Pineda, Mario ; Schiavi, Simona ; Daducci, Alessandro ; Girard, Gabriel ; Barakovic, Muhamed ; Rafael-Patino, Jonathan ; Romascano, David ; Rensonnet, Gaëtan ; Pizzolato, Marco ; Bates, Alice ; Fischi, Elda ; Thiran, Jean Philippe ; Canales-Rodríguez, Erick J. ; Huang, Chao ; Zhu, Hongtu ; Zhong, Liming ; Cabeen, Ryan ; Toga, Arthur W. ; Rheault, Francois ; Theaud, Guillaume ; Houde, Jean Christophe ; Sidhu, Jasmeen ; Chamberland, Maxime ; Westin, Carl Fredrik ; Dyrby, Tim B. ; Verma, Ragini ; Rathi, Yogesh ; Irfanoglu, M. Okan ; Thomas, Cibu ; Pierpaoli, Carlo ; Descoteaux, Maxime ; Anderson, Adam W. ; Landman, Bennett A.
in: NeuroImage, vol: 185, pages: 1-11

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.neuroimage.2018.10.029

 

System bandwidth and the existence of generalized shift-invariant frames

Führ, Hartmut ; Lemvig, Jakob
in: Journal of Functional Analysis, vol: 276, issue: 2, pages: 563-601

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.jfa.2018.10.014

  PDF

Topological principles and developmental algorithms might refine diffusion tractography

Innocenti, Giorgio M. ; Dyrby, Tim B. ; Girard, Gabriel ; St-Onge, Etienne ; Thiran, Jean Philippe ; Daducci, Alessandro ; Descoteaux, Maxime
in: Brain Structure and Function, vol: 224, issue: 1, pages: 1–8

Type: Review (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/s00429-018-1759-1

  PDF

A verified prover based on ordered resolution

Schlichtkrull, Anders ; Blanchette, Jasmin Christian ; Traytel, Dmitriy
part of: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, pages: 152-165, 2019, Association for Computing Machinery
Presented at:
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1145/3293880.3294100

 

Discussion on “Søren Bisgaard’s contributions to Quality Engineering

Kulahci, Murat
in: Quality Engineering, vol: 31, issue: 1, pages: 154-156

Type: Comment/debate (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1080/08982112.2018.1537447

 

A differential privacy workflow for inference of parameters in the rasch model

Steiner, Teresa Anna ; Nyrnberg, David Enslev ; Hansen, Lars Kai
part of: Proceedings of ECML PKDD 2018 Workshops - MIDAS 2018 and PAP 2018, pages: 113-124, 2019, Springer
Presented at:
3rd Workshop on Mining Data for Financial Applications, MIDAS 2018 and 2nd International Workshop on Personal Analytics and Privacy, PAP 2018 held at 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-13463-1_9

 

A minimal network interface for a simple network-on-chip

Schoeberl, Martin ; Pezzarossa, Luca ; Sparsø, Jens
part of: Architecture of Computing Systems - ARCS 2019, pages: 295-307, 2019, Springer
Presented at:
32nd International Conference on Architecture of Computing Systems, ARCS 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-18656-2_22

  PDF

An artificial pancreas based on simple control algorithms and physiological insight

Jørgensen, John Bagterp ; Boiroux, Dimitri ; Mahmoudi, Zeinab
in: IFAC-PapersOnLine, vol: 52, issue: 1, pages: 1018-1023
Presented at:
12th IFAC Symposium on Dynamics and Control of Process Systems, including Biosystems, DYCOPS 2019

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.ifacol.2019.06.196

 

A New Iterative Method for CT Reconstruction with Uncertain View Angles

Riis, Nicolai André Brogaard ; Dong, Yiqiu
part of: Proceedings of 7th International Conference on Scale Space and Variational Methods in Computer Vision, pages: 156-167, 2019, Springer
Presented at:
7th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-22368-7_13

 

An integrated framework to develop domain-specific languages

Zarrin, Bahram ; Baumeister, Hubert ; Sarjoughian, Hessam
part of: Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers, pages: 159-184, 2019, Springer
Presented at:
6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-11030-7_8

 

An Iteration Method for X-Ray CT Reconstruction from Variable-Truncation Projection Data

Huo, Limei ; Luo, Shousheng ; Dong, Yiqiu ; Tai, Xue Cheng ; Wang, Yang
part of: Proceedings of 7th International Conference on Scale Space and Variational Methods in Computer Vision, pages: 144-155, 2019, Springer
Presented at:
7th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-22368-7_12

 

Contrast Invariant SNR and Isotonic Regressions

Weiss, Pierre ; Escande, Paul ; Bathie, Gabriel ; Dong, Yiqiu
in: International Journal of Computer Vision, vol: 127, issue: 8, pages: 1144-1161

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/s11263-019-01161-9

  PDF

Faces are Protected as Privacy

Tang, Lihong ; Ma, Wanlun ; Grobler, Marthie ; Meng, Weizhi ; Wang, Yu ; Wen, Sheng
in: IEEE Access, vol: 7, pages: 75556-75567

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1109/ACCESS.2019.2921029

 

Finding Integral Distinguishers with Ease

Eskandari, Zahra ; Kidmose, Andreas Brasen ; Kölbl, Stefan ; Tiessen, Tyge
part of: Selected Areas in Cryptography – SAC 2018 , pages: 115-138, 2019, Springer
Presented at:
25th International Conference on Selected Areas in Cryptography, SAC 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-10970-7_6

  PDF

Fuzzy Clustering for Exploratory Analysis of EEG Event-Related Potentials

Masulli, Paolo ; Masulli, Francesco ; Rovetta, Stefano ; Lintas, Alessandra ; Villa, Alessandro E.P.
in: IEEE Transactions on Fuzzy Systems

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2019     |    DOI: https://doi.org/10.1109/TFUZZ.2019.2910499

  PDF

How does 6 months of active bike commuting or leisure-time exercise affect insulin sensitivity, cardiorespiratory fitness and intra-abdominal fat? A randomised controlled trial in individuals with overweight and obesity

Blond, Martin Bæk ; Rosenkilde, Mads ; Gram, Anne Sofie ; Tindborg, Marie ; Christensen, Anders Nymark ; Quist, Jonas Salling ; Stallknecht, Bente Merete
in: British Journal of Sports Medicine

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1136/bjsports-2018-100036

  PDF

Individuals with 22q11.2 deletion syndrome show intact prediction but reduced adaptation in responses to repeated sounds

Larsen, Kit Melissa ; Mørup, Morten ; Birknow, Michelle Rosgaard ; Fischer, Elvira ; Olsen, Line ; Didriksen, Michael ; Baaré, William Frans Christiaan ; Werge, Thomas Mears ; Garrido, Marta Isabel ; Siebner, Hartwig Roman
in: NeuroImage: Clinical, vol: 22

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.nicl.2019.101721

 

Leros

Schoeberl, Martin ; Petersen, Morten Borup
part of: Architecture of Computing Systems - ARCS 2019 - 32nd International Conference, Proceedings, pages: 115-127, 2019, Springer
Presented at:
32nd International Conference on Architecture of Computing Systems, ARCS 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-18656-2_9

 

Lightweight information flow

Nielson, Flemming ; Nielson, Hanne Riis
part of: Models, Languages, and Tools for Concurrent and Distributed Programming, pages: 455-470, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-21485-2_25

 

Multi-valued Logic for Static Analysis and Model Checking

Nielson, Flemming ; Nielson, Hanne Riis ; Zhang, Fuyuan
part of: Models, Mindsets, Meta: The What, the How, and the Why Not?, pages: 89-109, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-22348-9_7

  PDF

N-Dimensional Approximation of Euclidean Distance

Cardarilli, Gian Carlo ; Di Nunzio, Luca ; Fazzolari, Rocco ; Nannarelli, Alberto ; Re, Marco ; Spano, Sergio
in: IEEE Transactions on Circuits and Systems II: Express Briefs

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2019     |    DOI: https://doi.org/10.1109/TCSII.2019.2919545

 

On chromatic number and minimum cut

Alishahi, Meysam ; Hajiabolhassan, Hossein
in: Journal of Combinatorial Theory. Series B

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.jctb.2019.02.007

 

On Ludvig Lorenz and his 1890 treatise on light scattering by spheres

Frisvad, Jeppe Revall ; Kragh, Helge
in: European Physical Journal H

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1140/epjh/e2019-100022-y

 

Outliers detection using an iterative strategy for semi-supervised learning

Frumosu, Flavia D. ; Kulahci, Murat
in: Quality and Reliability Engineering International

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1002/qre.2522

  PDF

Security, privacy, and trust on internet of things

Kolias, Constantinos ; Meng, Weizhi ; Kambourakis, Georgios ; Chen, Jiageng
in: Wireless Communications and Mobile Computing, vol: 2019

Type: Editorial (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1155/2019/6452157

  PDF

Sequential l1 quadratic programming for nonlinear model predictive control

Boiroux, Dimitri ; Jørgensen, John Bagterp
in: IFAC-PapersOnLine, vol: 52, issue: 1, pages: 474-479
Presented at:
12th IFAC Symposium on Dynamics and Control of Process Systems, including Biosystems, DYCOPS 2019

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.ifacol.2019.06.107

 

SocialAuth

Meng, Weizhi ; Li, Wenjuan ; Jiang, Lijun ; Zhou, Jianying
part of: ICT Systems Security and Privacy Protection - 34th IFIP TC 11 International Conference, SEC 2019, Proceedings, pages: 180-193, 2019, Springer
Presented at:
34th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-22312-0_13

  PDF

Speech-specific audiovisual integration modulates induced theta-band oscillations

Lindborg, Alma ; Baart, Martijn ; Stekelenburg, Jeroen J. ; Vroomen, Jean ; Andersen, Tobias S.
in: PLOS ONE, vol: 14, issue: 7

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1371/journal.pone.0219744

  PDF

Unmixing oscillatory brain activity by EEG source localization and empirical mode decomposition

Hansen, Sofie Therese ; Hemakom, Apit ; Gylling Safeldt, Mads ; Krohne, Lærke Karen ; Madsen, Kristoffer Hougaard ; Siebner, Hartwig R. ; Mandic, Danilo P. ; Hansen, Lars Kai
in: Computational Intelligence and Neuroscience, vol: 2019

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1155/2019/5618303

 

Vector coloring the categorical product of graphs

Godsil, Chris ; Roberson, David E. ; Rooney, Brendan ; Šámal, Robert ; Varvitsiotis, Antonios
in: Mathematical Programming

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/s10107-019-01393-0

  PDF

Accelerating dynamics of collective attention

Lorenz-Spreen, Philipp ; Mønsted, Bjarke Mørch ; Hoevel, Philipp ; Lehmann, Sune
in: Nature Communications, vol: 10

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1038/s41467-019-09311-w

 

Acousto-electric tomography with total variation regularization

Adesokan, Bolaji James ; Jensen, Bjorn ; Jin, Bangti ; Knudsen, Kim
in: Inverse Problems, vol: 35, issue: 3

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1088/1361-6420/aaece5

 

Adaptive machine learning-based alarm reduction via edge computing for distributed intrusion detection systems

Wang, Yu ; Meng, Weizhi ; Li, Wenjuan ; Liu, Zhe ; Liu, Yang ; Xue, Hanxiao
in: Concurrency and Computation: Practice & Experience

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2019     |    DOI: https://doi.org/10.1002/cpe.5101

 

A Deep Learning Approach for Real-Time Detection of Atrial Fibrillation

Andersen, Rasmus Sten ; Peimankar, Abdolrahman ; Puthusserypady, Sadasivan
in: Expert Systems with Applications, vol: 115, pages: 465-473

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.eswa.2018.08.011

  PDF

A Discontinuous-Galerkin Finite-Element Method for Simulation of Packed Bed Chromatographic Processes

Horsholt, A. ; Christiansen, L. H. ; Meyer, K. ; Huusom, J. K. ; Jorgensen, J. B.
in: IFAC-PapersOnLine, vol: 52, issue: 1, pages: 346-351
Presented at:
12th IFAC Symposium on Dynamics and Control of Process Systems

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.ifacol.2019.06.086

  PDF

Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members

Ortiz-Alvarez, Gonzalo ; Daclin, Marie ; Shihavuddin, ASM ; Lansade, Pauline ; Fortoul, Aurelien ; Clavreul, Solene ; Lalioti, Maria-Eleni ; Taraviras, Stavros ; Hippenmeyer, Simon ; Livet, Jean ; Meunier, Alice ; Genovesio, Auguste ; Spassky, Nathalie
in: Neuron, vol: 102, issue: 1, pages: 159-172

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.neuron.2019.01.051

  PDF

Advances of matrix–analytic methods in risk modelling

Peralta Gutierrez, Oscar

Type: Ph.D. thesis

Status: Published     |    Year: 2019

  PDF

Affordable Fabrication of Conductive Electrodes and Dielectric Films for a Paper-based Digital Microfluidic Chip

Soum, Veasna ; Kim, Yunpyo ; Park, Sooyong ; Chuong, Mary ; Ryu, Soo Ryeon ; Lee, Sang Ho ; Tanev, Georgi Plamenov ; Madsen, Jan ; Kwon, Oh-Sun ; Shin, Kwanwoo
in: Micromachines, vol: 10, issue: 2

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.3390/mi10020109

  PDF

A Fitts’ Law Study of Pupil Dilations in a Head-Mounted Display

Bækgaard, Per ; Hansen, John Paulin ; Minakata, Katsumi ; MacKenzie, I. Scott
part of: Proceedings of ETRA '19, 2019
Presented at:
ETRA ´19

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2019     |    DOI: https://doi.org/10.1145/3314111.3319831

  PDF

A framework for quantitative modeling and analysis of highly (re)configurable systems

ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea
in: I E E E Transactions on Software Engineering

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2019     |    DOI: https://doi.org/10.1109/TSE.2018.2853726

  PDF

A Hierarchical Multigrid Method for Oil Production Optimization

Hørsholt, Steen ; Nick, Hamid ; Jørgensen, John Bagterp
in: IFAC-PapersOnLine, vol: 52, issue: 1, pages: 492-497
Presented at:
12th IFAC Symposium on Dynamics and Control of Process Systems

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.ifacol.2019.06.110

  PDF

Air void analysis of hardened concrete by means of photogrammetry

Wolter, Sofie ; Uhre, Frederik Alexander Hvelplund ; Hasholt, Marianne Tange ; Dahl, Vedrana Andersen ; Anton, François
in: Construction and Building Materials, vol: 226, pages: 953-964

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.conbuildmat.2019.07.203

 

AI vil give store samfundsgevinster

Brockhoff, Per B. ; Nielsen, Mads ; Damsgaard, Jan
in: Boersen, pages: 5

Type: Contribution to newspaper - Comment/debate

Status: Published     |    Year: 2019

  PDF

A large-scale screening for the taiga tick, Ixodes persulcatus, and the meadow tick, Dermacentor reticulatus, in southern Scandinavia, 2016

Kjær, Lene Jung ; Soleng, Arnulf ; Edgar, Kristin Skarsfjord ; Lindstedt, Heidi Elisabeth H ; Paulsen, Katrine Mørk ; Andreassen, Åshild Kristine ; Korslund, Lars ; Kjelland, Vivian ; Slettan, Audun ; Stuen, Snorre ; Kjellander, Petter ; Christensson, Madeleine ; Teräväinen, Malin ; Baum, Andreas ; Isbrand, Anastasia ; Jensen, Laura Mark ; Klitgaard, Kirstine ; Bødker, Rene
in: Parasites and Vectors, vol: 12, issue: 1

Type: Letter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1186/s13071-019-3596-3

 

A Markov-Switching model for building occupant activity estimation

Wolf, Sebastian ; Møller, Jan Kloppenborg ; Bitsch, Magnus Alexander ; Krogstie, John ; Madsen, Henrik
in: Energy and Buildings, vol: 183, pages: 672-683

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/j.enbuild.2018.11.041

 

A massively scalable distributed multigrid framework for nonlinear marine hydrodynamics

Glimberg, Stefan Lemvig ; Engsig-Karup, Allan Peter ; Olson, Luke N.
in: International Journal of High Performance Computing Applications

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2019     |    DOI: https://doi.org/10.1177/1094342019826662

  PDF

A Mixed-dimensional Discontinuous Galerkin Method for Coupled Flow and Transport in Fractured Porous Media

Kadeethum, Teeratorn ; Nick, Hamid ; Salimzadeh, Saeed ; Richardson, C N. ; Ballarin, F. ; Lee, S.
Presented at:
InterPore2019 - 11th Annual Meeting

Type: Conference abstract for conference (Peer reviewed)

Status: Published     |    Year: 2019

  PDF

A Model for Spatial Spreading and Dynamics of Fox Rabies on a Growing Domain

Meng, Yue ; Lin, Zhigui ; Pedersen, Michael
in: Applied Mathematical Modelling

Type: Journal article (Peer reviewed)

Status: Submitted     |    Year: 2019