Zobrazeno 1 - 10
of 424
pro vyhledávání: '"Hernich, A"'
Autor:
Siwiec-Cielebon, Michał
Publikováno v:
Wadoviana. Przegląd historyczno-kulturalny / Wadoviana the historical and cultural Review. (23):55-76
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=974159
Autor:
Jordi Henrich, María Celeste Pereira
Publikováno v:
On the W@terfront, Vol 61, Iss 2 (2019)
Jordi Henrich ha sido uno de los protagonistas del desarrollo del espacio público de Barcelona a lo largo de más de dos décadas, tanto desde su actividad como arquitecto municipal, arquitecto del Área Metropolitana de Barcelona y su actividad pro
Externí odkaz:
https://doaj.org/article/66ad72ff475b4c298837a052870f696f
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
On the w@terfront; 2019: Núm.: 61/2 Espais públics; p. 3-50
Jordi Henrich ha estat un dels protagonistes del desenvolupament de l’espai públic de Barcelona al llarg de més de dues dècades, tant des de la seva activitat com a arquitecte municipal, arquitecte de l’Àrea Metropolitana de Barcelona i la se
Autor:
GOTTLOB, GEORG1 georg.gottlob@cs.ox.ac.uk, HERNICH, ANDRÉ2 andre.hernich@gmail.com, KUPKE, CLEMENS3 clemens.kupke@strath.ac.uk, LUKASIEWICZ, THOMAS1 thomas.lukasiewicz@cs.ox.ac.uk
Publikováno v:
Journal of the ACM. Sep2021, Vol. 68 Issue 5, p1-87. 87p.
Autor:
M. V. Hernich, S. V. Kliuchyk
Publikováno v:
Nauka ta progres transportu, Iss 3-4(99-100), Pp 70-78 (2022)
Purpose. The purpose of the study was to determine the stress-strain state and operating characteristics of the existing steel-reinforced-concrete span structure under the railway after long-term operation under static and dynamic loads. Methodology.
Externí odkaz:
https://doaj.org/article/fe194a927ba84b33ba78fe068c3ded63
We study the complexity of ontology-mediated querying when ontologies are formulated in the guarded fragment of first-order logic (GF). Our general aim is to classify the data complexity on the level of ontologies where query evaluation w.r.t. an ont
Externí odkaz:
http://arxiv.org/abs/1804.06894
Publikováno v:
Logical Methods in Computer Science, Volume 9, Issue 1 (March 13, 2013) lmcs:938
We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space. The resulting logic LREC has a data complexity in LOGSPACE, and it defines LOGSPACE-compl
Externí odkaz:
http://arxiv.org/abs/1212.6567
Autor:
Hernich, Andre
Publikováno v:
Logical Methods in Computer Science, Volume 7, Issue 3 (September 1, 2011) lmcs:904
Relational data exchange is the problem of translating relational data from a source schema into a target schema, according to a specification of the relationship between the source data and the target data. One of the basic issues is how to answer q
Externí odkaz:
http://arxiv.org/abs/1107.1456
We study the randomized version of a computation model (introduced by Grohe, Koch, and Schweikardt (ICALP'05); Grohe and Schweikardt (PODS'05)) that restricts random access to external memory and internal memory space. Essentially, this model can be
Externí odkaz:
http://arxiv.org/abs/cs/0703081