Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Vasyl Lenko"'
Publikováno v:
Scientific Bulletin of UNFU. 27:185-191
Досліджено процеси набуття та управління персональними даними і знаннями, а також комунікації в межах віртуальних дослідницьких спіль
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b2b2862edfd78032f70e4242781c019e
https://doi.org/10.15421/40270638
https://doi.org/10.15421/40270638
Autor:
Volodymyr Pasichnyk, Natalia Kunanets, Yuriy Shcherbyna, Vasyl Lenko, Antonii Rzheuskyi, Oleksandr Matsiuk
Publikováno v:
ACIT
The procedures of processing the results of sensing the subsurface layer of Ternopil city using a broadband non-contact georadar by magnetotelluric method are analyzed. The features of processing of obtained radargrams of subsurface sensing with the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4ae152ef45c48f2642445655f58d279
https://doi.org/10.1109/acitt.2019.8780085
https://doi.org/10.1109/acitt.2019.8780085
Publikováno v:
2018 IEEE First International Conference on System Analysis & Intelligent Computing (SAIC).
This paper presents an analysis of a type theory, which serves as a solid foundation for usage of the derivation system in Coq proof assistant. An overview of the extension path from simply typed lambda calculus to Calculus of Inductive Constructions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa400acb48d53e65f556ed4cfb1fe618
https://doi.org/10.1109/saic.2018.8516885
https://doi.org/10.1109/saic.2018.8516885
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783319910079
The paper describes a modern type-theoretical approach to the knowledge representation and formal reasoning in ontologies. The current state and limitations of the adopted technology for reasoning in ontologies as well as the advantages of the propos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56605c987063351d044979ab33e41f8c
https://doi.org/10.1007/978-3-319-91008-6_74
https://doi.org/10.1007/978-3-319-91008-6_74
Publikováno v:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1f503f9f27d6723d953134caffebdddf
http://www.scopus.com/inward/record.url?eid=2-s2.0-85111856802&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85111856802&partnerID=MN8TOARS