Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Rytis Paškauskas"'
Autor:
Rytis Paškauskas
Publikováno v:
PLoS ONE, Vol 19, Iss 12, p e0311995 (2024)
In this paper, we introduce a novel approach that paves the way for the creation of affordable, high-precision rainfall sensors utilizing microphone data. The cornerstone of this methodology is an innovative algorithm capable of converting audio reco
Externí odkaz:
https://doaj.org/article/b71fb496a1d447c3beafa2e77badfdcb
Recently, Tiny Machine Learning (TinyML) has gained incredible importance due to its capabilities of creating lightweight machine learning (ML) frameworks aiming at low latency, lower energy consumption, lower bandwidth requirement, improved data sec
Autor:
Luca Bortolussi, Rytis Paškauskas
Publikováno v:
QEST 2014-Quantitative Evaluation of Systems. 11th International Conference, pp. 106–121, Florence, Italy, 5-8 September 2014
Quantitative Evaluation of Systems ISBN: 9783319106953
QEST
info:cnr-pdr/source/autori:Bortolussi L.; Paskauskas R./congresso_nome:QEST 2014-Quantitative Evaluation of Systems. 11th International Conference/congresso_luogo:Florence, Italy/congresso_data:5-8 September 2014/anno:2014/pagina_da:106/pagina_a:121/intervallo_pagine:106–121
Quantitative Evaluation of Systems ISBN: 9783319106953
QEST
info:cnr-pdr/source/autori:Bortolussi L.; Paskauskas R./congresso_nome:QEST 2014-Quantitative Evaluation of Systems. 11th International Conference/congresso_luogo:Florence, Italy/congresso_data:5-8 September 2014/anno:2014/pagina_da:106/pagina_a:121/intervallo_pagine:106–121
Markov Population Model is a commonly used framework to describe stochastic systems. Their exact analysis is unfeasible in most cases because of the state space explosion. Approximations are usually sought, often with the goal of reducing the number
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c415b65f7597828f66e884d621fb8093
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
Prominent examples of collective systems are often encountered when analysing smart cities and smart transportation systems. We propose a novel modelling and analysis approach combining statistical model checking, spatio-temporal logics, and simulati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e7403ff5f4d42b2decddc5fc9cc718d
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
Autor:
Rytis Paškauskas
Thermodynamic limit evolution of a closed quantum Heisenberg-type spin model with mean-field interactions is characterized by classifying all the symmetries of the equations of motion. It is shown that parameters of the model induce a structure in th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff1a0c20567f6617bb11b71758cc9478
Autor:
Rytis Paškauskas, Michael Kastner
Publikováno v:
Journal of Statistical Mechanics: Theory and Experiment. 2012:P02005
The time evolution of $\ell$-spin reduced density operators is studied for a class of Heisenberg-type quantum spin models with long-range interactions. In the framework of the quantum Bogoliubov-Born-Green-Kirkwood-Yvon (BBGKY) hierarchy, we introduc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78c710c35969ed035f95424ada79dbae
https://doi.org/10.1088/1742-5468/2012/02/p02005
https://doi.org/10.1088/1742-5468/2012/02/p02005