Zobrazeno 1 - 10
of 2 897
pro vyhledávání: '"A, Ivankovic"'
Autor:
Vijayvergiya, Manushree, Salawa, Małgorzata, Budiselić, Ivan, Zheng, Dan, Lamblin, Pascal, Ivanković, Marko, Carin, Juanjo, Lewko, Mateusz, Andonov, Jovan, Petrović, Goran, Tarlow, Daniel, Maniatis, Petros, Just, René
Modern code review is a process in which an incremental code contribution made by a code author is reviewed by one or more peers before it is committed to the version control system. An important element of modern code review is verifying that code c
Externí odkaz:
http://arxiv.org/abs/2405.13565
In this paper, we study the limiting behavior of the perimeter and diameter functionals of the convex hull spanned by the first $n$ steps of two planar random walks. As the main results, we obtain the strong law of large numbers and the central limit
Externí odkaz:
http://arxiv.org/abs/2403.17705
Autor:
Chen, Zimin, Salawa, Malgorzata, Vijayvergiya, Manushree, Petrovic, Goran, Ivankovic, Marko, Just, Rene
Diff-based mutation testing is a mutation testing approach that only mutates lines affected by a code change under review. Google's mutation testing service integrates diff-based mutation testing into the code review process and continuously gathers
Externí odkaz:
http://arxiv.org/abs/2306.09130
Publikováno v:
ACS Omega, Vol 9, Iss 24, Pp 26020-26029 (2024)
Externí odkaz:
https://doaj.org/article/6943d3e2f4a9497c9ca29018bc8baff4
Autor:
Ressler, Antonia, Zakeri, Setareh, Dias, Joana, Hannula, Markus, Hyttinen, Jari, Ivanković, Hrvoje, Ivanković, Marica, Miettinen, Susanna, Schwentenwein, Martin, Levänen, Erkki, Frankberg, Erkka J.
Publikováno v:
In Ceramics International 1 August 2024 50(15):27403-27415
Autor:
Addo P.1 addophyllis@uhas.edu.gh, M., Djekic-Ivankovic2, Abdu A.3, Boadi P.3, Eyo O.4, Baguignan M. Y.5, Atakoun A. M.6, Adamagnon E.7, Oso O.8, Owusu J. S.9, Nwabuko S.10, Naïm S.11, Marquis, G. S.3
Publikováno v:
African Journal of Food, Agriculture, Nutrition & Development. Oct2024, Vol. 24 Issue 10, p24725-24773. 49p.
There is a growing interest in modeling and analyzing the spread of diseases like the SARS-CoV-2 infection using stochastic models. These models are typically analyzed quantitatively and are not often subject to validation using formal verification a
Externí odkaz:
http://arxiv.org/abs/2211.00605
Autor:
Ressler, Antonia, Marić, Marina Monika, Ohlsbom, Roope, Ivanković, Tomislav, Hannula, Markus, Frankberg, Erkka J., Gebraad, Arjen, Pakarinen, Toni-Karri, Hyttinen, Jari, Miettinen, Susanna, Ivanković, Hrvoje, Ivanković, Marica
Publikováno v:
In Materialia May 2024 34
Publikováno v:
Heliyon, Vol 10, Iss 13, Pp e33757- (2024)
This paper addresses the critical role of drag reduction technology in the evolution of road vehicle design amidst the ongoing climate crisis. With transportation accounting for a substantial portion of the EU's greenhouse gas emissions, the shift to
Externí odkaz:
https://doaj.org/article/6be9d8167c7441fab3bf53de0b9fbcf2
Publikováno v:
EPTCS 355, 2022, pp. 13-26
We present two formal models for the OSPF routing protocol, designed for the model checker Uppaal. The first one is an optimised model of an existing model that allows to check larger network topologies. The second one is a specialised model for adja
Externí odkaz:
http://arxiv.org/abs/2203.09882