E-LIB Suche - Ergebnisse für: Christiansen, Henning

1

$$\text {SPL}^{{index}}$$: A Spatial Polygon Learned Index:

, In: Lecture Notes in Computer Science; Foundations of Intelligent Systems,

Vahedi, Masoumeh ; Christiansen, Henning - p. 271-281 , 2024

2

Ethnic segregation and native out-migration in Copenhagen:

Stonawski, Marcin ; Rogne, Adrian Farner ; Christiansen, Henning..
European Urban and Regional Studies. 29 (2021) 2 - p. 168-188 , 2021

Link: https://doi.org/10.1177/..

3

Classification of renal tumour using convolutional neural n..:

Pedersen, Mikkel ; Andersen, Michael Brun ; Christiansen, Henning.
European Journal of Radiology. 133 (2020) - p. 109343 , 2020

Link: https://doi.org/10.1016/..

4

Efficient and Precise Classification of CT Scannings of Ren..:

, In: Lecture Notes in Computer Science; Foundations of Intelligent Systems,

Pedersen, Mikkel ; Christiansen, Henning ; Azawi, Nessn H. - p. 440-447 , 2020

Link: https://doi.org/10.1007/..

5

Towards a Constraint Solver for Proving Confluence with Inv..:

, In: Functional and Constraint Logic Programming; Lecture Notes in Computer Science,

Christiansen, Henning ; Kirkeby, Maja H. - p. 112-130 , 2019

Link: https://doi.org/10.1007/..

6

Confluence of CHR Revisited: Invariants and Modulo Equivale..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Christiansen, Henning ; Kirkeby, Maja H. - p. 94-111 , 2019

Link: https://doi.org/10.1007/..

7

Flexible Query Answering Systems: 13th International Confer..

Lecture Notes in Artificial Intelligence, 11529

Cuzzocrea, Alfredo ; Greco, Sergio ; Larsen, Henrik Legind... - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

8

Confluence and convergence modulo equivalence in probabilis..:

Kirkeby, Maja H. ; Christiansen, Henning
International Journal of Approximate Reasoning. 105 (2019) - p. 217-228 , 2019

Link: https://doi.org/10.1016/..

9

Widening the Experience of Artistic Sketchbooks:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Interactivity, Game Creation, Design, Learning, and Innovation,

Christiansen, Henning ; Laursen, Bjørn - p. 220-227 , 2017

Link: https://doi.org/10.1007/..

10

Partiality and Underspecification in Information, Languages..:

Christiansen, Henning ; Jiménez López, María Dolores ; Loukanova, Roussanka , 2017

Link: https://search.ebscohost..

11

On proving confluence modulo equivalence for Constraint Han..:

Christiansen, Henning ; Kirkeby, Maja H.
Formal Aspects of Computing. 29 (2017) 1 - p. 57-95 , 2017

Link: https://doi.org/10.1007/..

12

Recorder Recital: Petri, Michala - CORELLI, A. / BACH, J.S...

Naxos Music Library

Eyck, Jacob van ; Anonymous ; Corelli, Arcangelo... , 2016

Link: http://suub.naxosmusicli..

13

Modeling and Using Context

9th International and Interdisciplinary Conference, CONTEXT... Lecture Notes in Computer Science ; 9405;SpringerLink, Bücher

Christiansen, Henning ; Stojanovic, Isidora ; Papadopoulos, George A. - 1st ed. 2015 . , 2015

Link: https://doi.org/10.1007/..

14

Recorder Recital: Petri, Michala - JACOB, G. / ARNOLD, M. /..

Naxos Music Library

Jacob, Gordon ; Arnold, Malcolm ; Borup-Jørgensen, Axel... , 2015

Link: http://suub.naxosmusicli..

15

Constraints and Language:

Christiansen, Henning ; Dahl, Verónica ; Duchier, Denys.. , 2014

Link: https://search.ebscohost..