Projekteja vuodessa
Sormenjälki
Sukella tutkimusaiheisiin, joissa Luigia Petre on aktiivinen. Käsitteet on luotu henkilön julkaisuja ja asiasanoja louhimalla. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 6 Samanlaiset profiilit
Projektit
- 5 Päättynyt
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Projekti: Research
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L., Walden, M., Kamali, M., Kamali, M., Neovius, M. & Sandvik, P.
01/01/13 → 31/12/15
Projekti: Research
-
DEPLOY: Industrial deployment of system engineering methods providing high dependability and productivity
Troubitsyna, E., Walden, M., Petre, L., Boström, P., Neovius, M., Olszewska, M. & Sere, K.
01/01/08 → 31/12/12
Projekti: Research
-
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M., Sere, K., Troubitsyna, E., Petre, L., Boström, P., Tsiopoulos, L., Jansson, M. & Engblom, N.
01/05/00 → 28/02/03
Projekti: Research
-
DESIRE: Design of Reliable Embedded Systems (Academy of Finland)
Walden, M., Sere, K., Troubitsyna, E., Petre, L., Jansson, M. & Qvist, M.
01/01/99 → 31/12/01
Projekti: Research
Julkaisut
-
Anomaly Detection in Gravitational Waves data using Convolutional AutoEncoders
Morawski, F., Bejger, M., Cuoco, E. & Petre, L., 31 maaliskuuta 2021, julkaisussa: Machine Learning: Science and Technology. 29 SivumääräTutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open access -
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2021, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). s. –Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen
Tiedosto10 Lataukset (Pure) -
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System
Petre, I., Sanwal, M. U., Shah, G., Panchal, C., Tiwari, D. & Petre, L., 2020, julkaisussa: Fundamenta Informaticae. 171, 1-4, s. 331–343Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
-
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Dongol, B. (toim.), Petre, L. (toim.) & Smith, G. (toim.), 2019, Springer Verlag.Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
-
Preface
Dongol, B., Petre, L. & Smith, G., 2019, Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019. Dongol, B., Petre, L. & Smith, G. (toim.). Springer Verlag, s. v–viTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu