|
|
|
|
|
Luz Carruthers
Pág. 105 - 108
The purpose of this research is to study the intersection between 21st century architecture and infrastructure, understood as a physical fact as well as an abstract concept, through the notion of Infrastructure Space. Since the 1960s, the definition of i...
ver más
|
|
|
|
|
|
|
|
|
|
|
Chuangtao Ma, Bálint Molnár and András Benczúr
To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate repres...
ver más
|
|
|
|
|
|
|
|
|
|
|
Luz Carruthers
Pág. 68 - 77
Esta investigación propone estudiar la intersección entre la arquitectura del s. XXI y la infraestructura, entendida como hecho físico y concepto abstracto, a través de la noción de espacio infraestructura. Desde la década del 60?, la definición de infra...
ver más
|
|
|
|
|
|
|
|
|
|
|
Wytse Oortwijn, Dilian Gurov and Marieke Huisman
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular and c...
ver más
|
|
|
|
|
|