Scientific publications from Section for Coastal Ecology - Section for Coastal Ecology, DTU Aqua

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 | Year: 2023 | DOI: https://doi.org/10.1145/3583131.3590392

5G Attacks and Countermeasures

Angelo Bjerre, Sebastian ; Wøidemann Klæbel Blomsterberg, Mikkel ; Andersen, Birger
part of: Proceedings of 25th International Symposium on Wireless Personal Multimedia Communications, 2023
Presented at: 25th International Symposium on Wireless Personal Multimedia Communications

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.1109/WPMC55625.2022.10014962

Absorption Cooling System Powered by a Low Concentration Collector

Teles, Mavd P.R. ; Arabkoohsar, Ahmad ; Silva, Brenda V.F.
part of: Recent Advances in Mechanical Engineering, pages: 7-17, 2023, Singapore
Presented at: 3rd Biennial International Conference on Future Learning Aspects of Mechanical Engineering

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.1007/978-981-99-1894-2_2

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: 50^th ACM SIGPLAN Symposium on Principles of Programming Languages

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 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 | Year: 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 | Year: 2023 | DOI: https://doi.org/10.1016/j.brs.2023.01.105

Accurate compression strength predictions of composites for wind turbine blades

Mikkelsen, Lars P. ; Poulios, Konstantinos ; Jeppesen, Niels
part of: Proceedings of the Twenty-third International Conference on Composite Materials (ICCM23), 2023
Presented at: 23rd International Conference on Composite Materials

Type: Conference abstract in proceedings (Peer reviewed)

Status: Published | Year: 2023

A CFD Approach to Investigate the Effect of the Flow Field on Heat and Moisture Transport Enhancement of a Small-Scale MOF Dehumidifier

Zu, Kan ; Qin, Menghao
part of: Proceedings of the 5th International Conference on Building Energy and Environment, pages: 159–166, 2023
Presented at: 5th International Conference on Building Energy and Environment

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.1007/978-981-19-9822-5_18

Achieving Enhanced Phasor POD Performance by Introducing a Control-Input Model

Haugdal, Hallvar ; Uhlen, Kjetil ; Jóhannsson, Hjörtur
part of: Proceedings of 2023 IEEE Belgrade PowerTech, 2023
Presented at: 2023 IEEE Belgrade PowerTech

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.1109/PowerTech55446.2023.10202902

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 | Year: 2023 | DOI: https://doi.org/10.1109/ICBC56567.2023.10174971

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 | Year: 2023 | DOI: https://doi.org/10.1109/ICMLA55696.2022.00193

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: 26^th International Conference on Artificial Intelligence and Statistics

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023

Adaptive Turbo Equalization of Probabilistically Shaped Constellations

Da Silva, Edson Porto ; Plamenov Yankov, Metodi
part of: Proceedings of 2023 Optical Fiber Communications Conference and Exhibition, 2023
Presented at: 2023 Optical Fiber Communications Conference and Exhibition

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.23919/OFC49934.2023.10117022

A data-based modelling approach for a vented oscillating water column wave energy converter

Rosati, M. ; Ringwood, J. V. ; Bingham, H. B. ; Joensen, B. ; Nielsen, K.
part of: Trends in Renewable Energies Offshore , pages: 339-350, 2023, London
Presented at: Proceedings of the 5th International Conference on Renewable Energies Offshore (Renew 2022)

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023

A Data-Driven Assessment of the Electricity Demand- the Case of Albania

Sevdari, Kristian ; Islami, Albi ; Haxhiraj, Elgi ; Voshtina, Elio
part of: Proceedings of 2022 International Conference on Renewable Energies and Smart Technologies, 2023
Presented at: 2022 International Conference on Renewable Energies and Smart Technologies

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.1109/REST54687.2022.10022956

A Data-Driven Method for Hazard Zone Identification in Construction Sites with Wearable Sensors

Hong, Kepeng ; Teizer, Jochen
part of: Proceedings of the CIBW099W123, pages: 41-48, 2023
Presented at: CIB W099 & W123 Annual International Conference

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023

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), 2023
Presented at: 37th IEEE Computer Security Foundations Symposium

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press | Year: 2023

Adverse outcome pathway network for endocrine disruption targeting estrogen, androgen and steroidogensis modalities – aspects for methodology development

Zilliacus, J. ; Draskau, M. K. ; Johansson, H. K. ; Rosenmai, A. K. ; Christiansen, S. ; Elmelund, E. ; Holmer, M. L. ; Damdimopoulou, P. ; Panagiotou, E. M. ; van Duursen, M. ; Bouftas, N. ; Svingen, T. ; Beronius, A.
in: Toxicology Letters, vol: 384, issue: Supplement 1, pages: S77

Type: Conference abstract in journal (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.1016/S0378-4274(23)00453-8

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

Limperg, Jannis ; From, Asta Halkjær
part of: Proceedings of the 12^th 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 | Year: 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 | Year: 2023

A framework for meta-disciplinary building analysis

McGinley, T. ; Krijnen, T.
part of: ECPPM 2022 - eWork and eBusiness in Architecture, Engineering and Construction 2022 , pages: 654-661, 2023, London
Presented at: 14th European Conference on Product and Process Modelling (ECPPM 2022)

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.1201/9781003354222-83

A Full Eulerian Wave-Body Interaction Solver for Incompressible Two-Phase Flows with High Density and Viscosity Ratios

Farahbakhsh, Iman ; Amini-Afshar, Mostafa ; Bingham, Harry B.
Presented at: 38th IWWWFB

Type: Paper (Peer reviewed)

Status: Published | Year: 2023

A Guide for LCA Modelling of Plastics for Safe, Sustainable, and Circular Transition Planning

Logan, Heather Margaret ; De Meester, Steven ; Hansen, Steffen Foss ; Laurent, Alexis ; Damgaard, Anders
part of: Abstract Book of SETAC Europe 33rd Annual Meeting, pages: 751-751, 2023
Presented at: SETAC Europe 33rd Annual Meeting

Type: Conference abstract in proceedings (Peer reviewed)

Status: Published | Year: 2023

A head and neck array add-on to the two-channel Nova coil using six SCC elements and Nova 32 channel receive array at7T-MRI

Güler, Sadri ; Zhurbenko, Vitaliy ; Zivkovic, Irena ; Christensen, Hanne ; Rosenbaum, Sverre ; Havsteen, Inger Birgitte ; Petersen, Esben Thade
part of: Proceedings of the 2023 ISMRM, 2023
Presented at: 2023 ISMRM & ISMRT Annual Meeting & Exhibition

Type: Conference abstract in proceedings (Peer reviewed)

Status: Published | Year: 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, 2023
Presented at: 33^rd International Ocean and Polar Engineering Conference

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press | Year: 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 | Year: 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 | Year: 2023 | DOI: https://doi.org/10.23919/DATE56975.2023.10136887

Alkaline electrolysis for green hydrogen production

Lingkang, Jin ; Nakashima, Rafael Nogueira ; Comodi, Gabriele ; Frandsen, Henrik Lund
part of: Proceedings of ECOS 2023 - The 36th International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems 2023, pages: 908-919, 2023
Presented at: 36th International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.52202/069564-0082

A Loop-Mediated Isothermal Amplification (Lamp)-Based Point-of-Care System for Rapid on-Site Clinical Detection of Sars-Cov-2 Viruses

Nguyen, Trieu ; Vinayaka, Aaydha Chidambara ; Huynh, Van Ngoc ; Linh, Quyen Than ; Andreasen, Sune Zoega ; Golabi, Mohsen ; Bang, Dang Duong ; Moller, Jens Kjølseth ; Wolff, Anders
part of: Proceedings of 2023 IEEE 36th International Conference on Micro Electro Mechanical Systems (MEMS), pages: 437-439, 2023
Presented at: 2023 IEEE 36th International Conference on Micro Electro Mechanical Systems

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023 | DOI: https://doi.org/10.1109/MEMS49605.2023.10052467

A methodology for the evaluation of congestion induced costs in distribution grid operation

Cheilas, Damianos ; Bindner, Henrik W. ; Weckesser, Tilman
part of: Proceedings of 27th International Conference on Electricity Distribution, 2023
Presented at: 27th International Conference on Electricity Distribution

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2023