Zobrazeno 1 - 10
of 2 936
pro vyhledávání: '"Ivankovic A"'
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
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:
In Science of the Total Environment 15 December 2024 956
Autor:
Vuoriheimo, Tomi, Hakola, Antti, Likonen, Jari, Krieger, Karl, Balden, Martin, Bogdanović Radović, Iva, Provatas, Georgios, Siketić, Zdravko, Ivanković Nizić, Karla, Rasinski, Marcin, Brezinsek, Sebastijan
Publikováno v:
In Nuclear Materials and Energy December 2024 41
Publikováno v:
In Composites Part A December 2024 187