Search

Your search keyword '"van Delft, Andre"' showing total 7 results
Start Over Author "van Delft, Andre"

Refine your results

7 results on '"van Delft, Andre"'

1. Some New Directions for ACP Research

Author

van Delft, Andre

Subjects
Computer Science - Logic in Computer Science, 68Q85, D.1.3, D.3.1, D.3.2, F.1.2, F.4.2, F.4.3
Abstract

This paper lists some new directions for research related to the Algebra of Communicating Processes (ACP). Most of these directions have been inspired by work on SubScript, an ACP based extension to the programming language Scala. SubScript applies several new ideas that build on ACP, but currently these lack formal treatment. Some of these new ideas are rather fundamental. E.g. it appears that the theory of ACP may well apply to structures of any kind of items, rather than to just processes. The aim of this list is to raise awareness of the research community about these new ideas; this could help both the research area and the programming language SubScript., Comment: 8 pages, 2 figures

Published
2015

2. Declarative Programming with Algebra

Author

van Delft, Andre, Kmetyuk, Anatoliy, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kiselyov, Oleg, editor, and King, Andy, editor

Published
2016
Full Text
View/download PDF

6. Innovative management tools of quality performance over time for historical and monumental buildings

Author

Di Giulio, Roberto, Turillazzi, Beatrice, Van Delft, Andre, and Schippers-Trifan, Oana

Subjects
11. Sustainability
Abstract

The success of the strategies for safeguarding, preserving and maintaining the precious assets of the huge European Cultural Heritage still represents a challenge that many countries tackle with limited or inadequate actions or systems, despite the fact that the international community is now aware of the serious risks endangering its heritage. The nature of this fragile context requires the knowledge of data and information other than the technical and construction characteristics of buildings. The paper describes an innovative management tool for inspection and maintenance of historical and monumental buildings, developed within the Horizon 2020 European research project INCEPTION (Inclusive Cultural Heritage in Europe through 3D semantic modelling)., TECHNE - Journal of Technology for Architecture and Environment, TECHNE 20 (2020): Time and architecture

Published
2020
Full Text
View/download PDF

7. Nuovi strumenti di gestione della qualità nel tempo per i edifìci storici e monumentali.

Author

Di Giulio, Roberto, Turillazzi, Beatrice, van Delft, Andre, and Schippers-Trifan, Oana

Subjects
HISTORIC buildings, CULTURAL property, BUILDING design & construction, BUILDING maintenance, HORIZON
Abstract

Copyright of TECHNE: Journal of Technology for Architecture & Environment is the property of Firenze University Press and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results