Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Petr Dluhoš"'
Autor:
Jaroslav Vítků, Petr Dluhoš, Joseph Davidson, Matěj Nikl, Simon Andersson, Přemysl Paška, Jan Šinkora, Petr Hlubuček, Martin Stránský, Martin Hyben, Martin Poliak, Jan Feyereisl, Marek Rosa
Publikováno v:
PLoS ONE, Vol 15, Iss 5, p e0230432 (2020)
Research in Artificial Intelligence (AI) has focused mostly on two extremes: either on small improvements in narrow AI domains, or on universal theoretical frameworks which are often uncomputable, or lack practical implementations. In this paper we a
Externí odkaz:
https://doaj.org/article/d98a1d71d6e64652821d4c762dda02ec
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 92, Iss Proc. HSB 2012, Pp 73-87 (2012)
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of con
Externí odkaz:
https://doaj.org/article/9933d5bca09c4e358c727b72b4417b0c
Autor:
Martin Hyben, Martin Poliak, Joseph Davidson, Přemysl Paška, Simon Andersson, Matěj Nikl, Jaroslav Vítků, Jan Šinkora, Marek Rosa, Petr Hlubuček, Jan Feyereisl, Petr Dluhoš, Martin Stránský
Publikováno v:
PLoS ONE, Vol 15, Iss 5, p e0230432 (2020)
PLoS ONE
PLoS ONE
Research in Artificial Intelligence (AI) has focused mostly on two extremes: either on small improvements in narrow AI domains, or on universal theoretical frameworks which are often uncomputable, or lack practical implementations. In this paper we a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b34aa29949cadff7c75d08192c910ba
https://doaj.org/article/d98a1d71d6e64652821d4c762dda02ec
https://doaj.org/article/d98a1d71d6e64652821d4c762dda02ec
Autor:
Daniel Schwarz, Petr Dluhoš, René S. Kahn, Hugo G. Schnack, Jiri Horacek, Tomáš Kašpárek, Neeltje E.M. van Haren, Wiepke Cahn, Filip Spaniel
Publikováno v:
NeuroImage, 155, 10. Academic Press Inc.
One of the biggest problems in automated diagnosis of psychiatric disorders from medical images is the lack of sufficiently large samples for training. Sample size is especially important in the case of highly heterogeneous disorders such as schizoph
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da51965770faea696edb28d07c064ba0
https://dspace.library.uu.nl/handle/1874/350004
https://dspace.library.uu.nl/handle/1874/350004
Publikováno v:
Frontiers in Plant Science. 8
Red clover (Trifolium pratense) is an important forage plant worldwide. This study was directed to broadening current knowledge of red clover’s coding regions and enhancing its utilization in practice by specific reanalysis of previously published
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a8e845afd3823488cf50bfe9b9cf820
https://doi.org/10.3389/fpls.2017.00367
https://doi.org/10.3389/fpls.2017.00367
Publikováno v:
Information and Computation. 236:52-67
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dda4b5c8aeaad1b7188a5ef64bbc5f29
https://doi.org/10.1016/j.ic.2014.01.012
https://doi.org/10.1016/j.ic.2014.01.012
Publikováno v:
Frontiers in Plant Science
Red clover (Trifolium pratense) is an important forage plant worldwide. This study was directed to broadening current knowledge of red clover's coding regions and enhancing its utilization in practice by specific reanalysis of previously published as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::169120b9a7b0a705d01bcc136d3a32a7
https://pubmed.ncbi.nlm.nih.gov/28382043
https://pubmed.ncbi.nlm.nih.gov/28382043
Publikováno v:
HSB
Electronic Proceedings in Theoretical Computer Science, Vol 92, Iss Proc. HSB 2012, Pp 73-87 (2012)
Electronic Proceedings in Theoretical Computer Science, Vol 92, Iss Proc. HSB 2012, Pp 73-87 (2012)
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c53948ca9321c97d2b865aba3c0ac34a
http://arxiv.org/abs/1208.3853
http://arxiv.org/abs/1208.3853
Publikováno v:
Schizophrenia Research. 153:S311
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f93156f68a3f34af597593ce0970fbee
https://doi.org/10.1016/s0920-9964(14)70882-5
https://doi.org/10.1016/s0920-9964(14)70882-5