Zobrazeno 1 - 10 of 17 pro vyhledávání: '"František Simančík"'
1
Akademický článek
ENERGY DEMAND REDUCTION TO ENSURE THERMAL COMFORT IN BUILDINGS USING ALUMINIUM FOAM
Autor: Jaroslav Jerz, František Simančík, Jaroslav Kováčik, Peter Oslanec
Publikováno v: Acta Metallurgica Slovaca, Vol 22, Iss 4 (2016)
The high energy efficiency of buildings can be achieved if energy needs are almost entirely covered by the supply of renewable energy sources obtained directly on the building or in its immediate vicinity. The technology providing efficient storage o
Externí odkaz: https://doaj.org/article/f0baa1e8473f4396845c0a2b9ba67fee
Zobrazit plný text záznamu
4
The Incredible ELK
Autor: Markus Krötzsch, Yevgeny Kazakov, František Simančík
Publikováno v: Journal of Automated Reasoning. 53:1-61
? $\mathcal {E} \mathcal {L}$ is a simple tractable Description Logic that features conjunctions and existential restrictions. Due to its favorable computational properties and relevance to existing ontologies, ? ? $\mathcal {E} \mathcal {L}$ has bec
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2a0ca902e6db4a0d69c833267e597cbb
https://doi.org/10.1007/s10817-013-9296-3
Zobrazit plný text záznamu
5
Consequence-based and fixed-parameter tractable reasoning in description logics
Autor: Ian Horrocks, Boris Motik, František Simančík
Publikováno v: Artificial Intelligence. 209(1)
In this paper we investigate the consequence-based algorithms that are nowadays commonly used for subsumption reasoning with description logic ontologies, presenting the following novel results. First, we present a very general consequence-based reas
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f94c1fd1aa6648724539f94de881994
http://ora.ox.ac.uk/objects/uuid:fd576445-d352-4401-b2bc-2602cacf7c57
Zobrazit plný text záznamu
6
Concurrent Classification of $\mathcal{EL}$ Ontologies
Autor: Markus Krötzsch, Yevgeny Kazakov, František Simančík
Publikováno v: The Semantic Web – ISWC 2011 ISBN: 9783642250729
We describe an optimised consequence-based procedure for classification of ontologies expressed in a polynomial fragment \({\mathcal{ELH_{R^+}}}\) of the OWL 2 EL profile. A distinguishing property of our procedure is that it can take advantage of mu
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::55ee19195f8145b3354d90cdc48cc71c
https://doi.org/10.1007/978-3-642-25073-6_20
Zobrazit plný text záznamu
7
On recombination-induced multiple and simultaneous coalescent events
Autor: Joanna L. Davies, Thomas Mailund, Jotun Hein, František Simančík, Rune B. Lyngsø
Publikováno v: Davies, J, Simancik, F, Lyngsø, R, Mailund, T & Hein, J 2007, ' On Recombination-Induced Multiple and Simultaneous Coalescent Events ', Genetics, vol. 177, pp. 2151-2160 .
Coalescent theory deals with the dynamics of how sampled genetic material has spread through a population from a single ancestor over many generations and is ubiquitous in contemporary molecular population genetics. Inherent in most applications is a
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a22543207ec87155acd3c9e8b61ce552
https://pubmed.ncbi.nlm.nih.gov/17947442
Zobrazit plný text záznamu
8
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.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje