Zobrazeno 1 - 10
of 114
pro vyhledávání: '"Henning Christiansen"'
Autor:
Henning Christiansen, Anja Lindelof
Publikováno v:
EAI Endorsed Transactions on Creative Technologies, Vol 7, Iss 25 (2020)
This article investigates the appearance of robots on stage in contemporary performance. As a convincing demonstration of the relevance of robots – as artefact, concept and metaphor – we take Blanca Li’s 2013 dance performance Robot! as our sta
Externí odkaz:
https://doaj.org/article/fb2213eb0388494a96a8b035f8e8e699
Autor:
Henning Christiansen, Bjorn Laursen
Publikováno v:
EAI Endorsed Transactions on Creative Technologies, Vol 4, Iss 12, Pp 1-8 (2017)
A book is a book – or is it? With present-day, affordable technology, we can scale a book to become a spatial object, or even a space in itself, of almost arbitrary size. We describe our design of and experiences with a generic interactive installa
Externí odkaz:
https://doaj.org/article/3f16643b1ba349bc8495ab447925e888
The concept of “constraint” is widely used in linguistics, computer science, and psychology. However, its implementation varies widely depending on the research domain: namely, language description, knowledge representation, cognitive modelling,
Publikováno v:
International Journal of Approximate Reasoning. 105:217-228
Convergence of an abstract reduction system is the property that the possible derivations from a given initial state all end in the same final state. Relaxing this by “modulo equivalence” means that these final states need not be identical, only
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030594909
ISMIS
ISMIS
We propose a new schema for training and use of deep convolutional neural networks for classification of renal tumors as benign or malign from CT scanning images. A CT scanning of a part of the human body produces a stack of 2D images, each represent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fae7443d0d0eaaff355319cbfc9a274c
https://doi.org/10.1007/978-3-030-59491-6_42
https://doi.org/10.1007/978-3-030-59491-6_42
Publikováno v:
Formal Aspects of Computing. 29:57-95
Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of confluence modul
Autor:
Marcin Stonawski, Torkild Hovde Lyngstad, Adrian Farner Rogne, Henning Christiansen, Henrik Bang
In this article, we study how the local concentration of ethnic minorities relates to the likelihood of out-migration by natives in Copenhagen, the capital of Denmark. In US studies, a high or increasing proportion of racial or ethnic minorities in i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a67a342dae7d7ddd7bca6b7631713e03
https://doi.org/10.31235/osf.io/tx7b6
https://doi.org/10.31235/osf.io/tx7b6
Publikováno v:
Functional and Constraint Logic Programming ISBN: 9783030162016
WFLP
WFLP
Confluence of a nondeterministic program ensures a functional input-output relation, freeing the programmer from considering the actual scheduling strategy, and allowing optimized and perhaps parallel implementations. The more general property of con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::385da9c53731b5b88c550affbb09cab8
https://doi.org/10.1007/978-3-030-16202-3_7
https://doi.org/10.1007/978-3-030-16202-3_7
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783030138370
LOPSTR
LOPSTR
simulation of one transition system by another is introduced as a means to simulate a potentially infinite class of similar transition sequences within a single transition sequence. This is useful for proving confluence under invariants of a given sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc1fb4015bdc9ba2edb1e36d48a82418
https://doi.org/10.1007/978-3-030-13838-7_6
https://doi.org/10.1007/978-3-030-13838-7_6
Publikováno v:
Pedersen, M, Andersen, M B, Christiansen, H & Azawi, N H 2020, ' Classification of renal tumour using convolutional neural networks to detect oncocytoma ', European Journal of Radiology, vol. 133, 109343 . https://doi.org/10.1016/j.ejrad.2020.109343
Purpose To investigate the ability of convolutional neural networks (CNNs) to facilitate differentiation of oncocytoma from renal cell carcinoma (RCC) using non-invasive imaging technology. Methods Data were collected from 369 patients between Januar