Publications

Publikationer rss feed

2022
 

A Case Study in Computer-Assisted Meta-reasoning

From, Asta Halkjær ; Lund, Simon Tobias ; Villadsen, Jørgen
part of: Distributed Computing and Artificial Intelligence, pages: 53-63, 2022
Presented at:
18th International Symposium on Distributed Computing and Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-030-86887-1_5

 

Activated CFRP NSMR Ductile Strengthening System

Schmidt, Jacob Wittrup ; Christensen, Christian Overgaard ; Goltermann, Per ; Sena-Cruz, José
part of: RILEM Bookseries, pages: 349-361, 2022

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-030-76465-4_31

  PDF

A modified nitrification inhibition test for high-salinity wastewater

Chhetri, Ravi Kumar ; Karvelas, Sofoklis ; Sanchez, Diego Francisco ; Droumpali, Ariadni ; Kokkoli, Argyro ; Andersen, Henrik Rasmus
in: Chemical Engineering Journal, vol: 429

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.cej.2021.132460

  PDF

An integrated rock-mechanics tests and numerical modelling of chalk rocks

Medetbekova, M. K. ; Hajiabadi, M. R. ; Brovelli, A. ; Christensen, H. F. ; Nick, H. M.
in: Journal of Petroleum Science and Engineering, vol: 208

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.petrol.2021.109365

  PDF

A pragmatic approach for the evaluation of depth-sensing indentation in the self-similar regime

Mahdavi, Hamidreza ; Poulios, Konstantinos ; Niordson, Christian F.
in: Journal of Applied Mechanics, vol: 89, issue: 1

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1115/1.4052218

  PDF

Assessing the economic impact of diseases in Mediterranean grow-out farms culturing European sea bass

Fernández-Sánchez, José L. ; Breton, Alain Le ; Brun, Edgar ; Vendramin, Niccolò ; Spiliopoulos, Georgios ; Furones, Dolors ; Basurco, Bernardo
in: Aquaculture, vol: 547

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.aquaculture.2021.737530

 

A Theorem Proving Approach to Formal Verification of a Cognitive Agent

Jensen, Alexander Birch
part of: Distributed Computing and Artificial Intelligence, pages: 1-11, 2022
Presented at:
18th International Symposium on Distributed Computing and Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-030-86261-9_1

 

Authentication of vanillin ex glucose – A first study on the influence of the glucose-source on the δ13C and δ2H value

Wilde, Amelie Sina ; Strucko, Tomas ; Veje, Casper Rastgoie ; Mortensen, Uffe Hasbro ; Duedahl-Olesen, Lene
in: Food Control, vol: 131

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.foodcont.2021.108389

  PDF

Computational Fluid Dynamics Simulation of Deep-Water Wave Instabilities Involving Wave Breaking

Li, Yuzhu ; Fuhrman, David R.
in: Journal of Offshore Mechanics and Arctic Engineering, vol: 144, issue: 2

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1115/1.4052277

  PDF

Contribution of boulder reef habitats to oxygen dynamics of a shallow estuary

Staehr, Peter A.U. ; Staehr, Sanjina U. ; Tonetta, Denise ; Høgslund, Signe ; Nielsen, Mette Møller
in: Science of the Total Environment, vol: 805

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.scitotenv.2021.150261