Zobrazeno 1 - 10
of 17
pro vyhledávání: '"František Simančík"'
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
Autor:
Jaroslav Kováčik, Jaroslav Jerz, Arun Gopinathan, František Simančík, Liviu Marsavina, Emanoil Linul
Publikováno v:
Materials Today: Proceedings. 78:308-313
Autor:
Juraj Koráb, Stanislav Kúdela, Jr., Pavol Štefánik, František Simančík, Naďa Beronská, Peter Tobolka
Publikováno v:
Kovove Materialy-Metallic Materials. 60
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
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
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
https://doi.org/10.1007/978-3-642-25073-6_20
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
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:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::639321b1d0cb0b2882e9da3d56965ecd
http://www.scopus.com/inward/record.url?eid=2-s2.0-84901910418&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84901910418&partnerID=MN8TOARS
Autor:
Kováčik, J., František Simančík
Publikováno v:
Jaroslav Kováčik
Publons
Scopus-Elsevier
ResearcherID
František Simančík
Publons
Scopus-Elsevier
ResearcherID
František Simančík
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::06718e23b696dea2ec8c3901a2f0e45c
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000221730900002&KeyUID=WOS:000221730900002
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000221730900002&KeyUID=WOS:000221730900002