Publications

Publikationer rss feed

2019
 

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

 

Analysis of Mass Cytometry Data

Pedersen, Christina B. ; Olsen, Lars R.
part of: Mass Cytometry: Methods and Protocols, pages: 267-279, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-1-4939-9454-0_17

 

Analysis of Panel Data Using R

Henningsen, Arne ; Henningsen, Geraldine
part of: Panel Data Econometrics, pages: 345-398, 2019, Academic Press

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1016/B978-0-12-814367-4.00012-5

 

Analytical Challenges and Practical Solutions for Enforcing Labeling of Nanoingredients in Food Products in the European Union

Correia, Manuel ; Verleysen, Eveline ; Löschner, Katrin
part of: Nanomaterials for food applications, pages: 273-311, 2019, Elsevier Editora, Amsterdam, Netherlands

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019

 

Applications of Correlation Singular Optics

Angelsky, O.V. ; Maksimyak, Peter P. ; Zenkova, C. Yu ; Hanson, Steen Grüner ; Guo, Bin ; Chen, Zhebo
part of: Introduction to Singular Correlation Optics, 2019, SPIE - International Society for Optical Engineering

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019

 

A Process Calculus for Design and Modeling of Retro-Synthesis

Broholm, Gabriel ; Hammeken, Maliina ; Hansen, Marcus Skov ; Juhl, Alexander ; Larsen, Marc Storm ; Nilsson, Jørgen Fischer ; Pethick, Thomas ; Sørensen, Magnus Gether
part of: Information Modelling and Knowledge Bases XXX, pages: 20 - 31, 2019, IOS Press

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.3233/978-1-61499-933-1-20

 

Aquaculture production systems and environmental interactions

Angel, Dror ; Jokumsen, Alfred ; Lembo, Giuseppe
part of: Organic Aquaculture, pages: 103-118, 2019, Springer

Type: Book chapter (Peer reviewed)

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

 

A Two-Tiered Segmentation Approach for Transaction Data Warehousing

Liu, Xiufeng ; Huo, Huan ; Iftikhar, Nadeem ; Nielsen, Per Sieverts
part of: Emerging Perspectives in Big Data Warehousing, 2019

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.4018/978-1-5225-5516-2.ch001

  PDF

Beyond animal feed?: The valorisation of brewers’ spent grain

Bolwig, Simon ; Mark, Michael Spjelkavik ; Happel, Maaike Karlijn ; Brekke, Andreas
part of: From Waste to Value: Valorisation Pathways for Organic Waste Streams in Circular Bioeconomies, 2019, Taylor & Francis

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.4324/9780429460289