Zobrazeno 1 - 10
of 91
pro vyhledávání: '"Hernich, A"'
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
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.
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
Autor:
Hernich, Andre, Schweikardt, Nicole
We study a generalized version of reversal bounded Turing machines where, apart from several tapes on which the number of head reversals is bounded by r(n), there are several further tapes on which head reversals remain unrestricted, but size is boun
Externí odkaz:
http://arxiv.org/abs/cs/0608036
Autor:
M. V. HERNICH, S. V. KLIUCHNYK
Publikováno v:
Bridges and tunnels: Theory, Research, Practice. :27-32
Purpose. The purpose of this work is to analyze the use of the property of the floating railway bridge NZM-56 for the technical cover of important transport facilities and the rapid restoration of road traffic through water obstacles in the territori
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a41b5421c3d1c1e39290361ea4c6edbc
https://doi.org/10.15802/bttrp2022/268185
https://doi.org/10.15802/bttrp2022/268185
Publikováno v:
Scopus-Elsevier
We tackle the problem of defining a well-founded semantics for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In particular, we provide a well-founded semantics (WFS) for the recent Datalog+/- fami
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2ab5abc01004336e56b599eb9860d1b
https://doi.org/10.1609/aaai.v26i1.8227
https://doi.org/10.1609/aaai.v26i1.8227
Publikováno v:
Bridges and tunnels: Theory, Research, Practice. :28-37
Purpose. The purpose of this work is to analyze the existing composite reinforced concrete girder structures of bridges, determine their advantages and disadvantages, study of stress changes in the elements of the girder structure and its deflections
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f63d9e9644cf4d8dd5216d95c4401dd4
https://doi.org/10.15802/bttrp2021/233872
https://doi.org/10.15802/bttrp2021/233872