Zobrazeno 1 - 10
of 1 087
pro vyhledávání: '"formal model"'
Autor:
Alberto Schiraldi
Publikováno v:
Applied Microbiology, Vol 4, Iss 3, Pp 1257-1267 (2024)
A purposely naïve and semi-empirical model allows for the reproduction of the phenomenological behavior of any real microbial culture by adjusting the values of three parameters, which have a biological meaning only for a virtual microbial culture t
Externí odkaz:
https://doaj.org/article/61dcc2d2e6e5490681996352390e7cb8
Autor:
Imed El Fray, Artur Wiliński
Publikováno v:
Advances in Sciences and Technology, Vol 18, Iss 2, Pp 317-332 (2024)
In the article, a modification of Formal Model of Risk Analysis FoMRA was proposed. The Modified FoMRA (1) method takes into account the guidelines of ISO/IEC 27001 and ISO/IEC 27005 standards. The applied modification and abstraction by resources an
Externí odkaz:
https://doaj.org/article/4ea311c3cc084530bc829760f1cad7b2
Publikováno v:
Cogent Engineering, Vol 11, Iss 1 (2024)
Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is a formal
Externí odkaz:
https://doaj.org/article/00acf64b5a9448c5a3b5889bc2cc77e9
Autor:
Oleksandr Karataiev, Ihor Shubin
Publikováno v:
Радіоелектронні і комп'ютерні системи, Vol 0, Iss 4, Pp 53-64 (2023)
The use of agents across diverse domains within computer science and artificial intelligence is experiencing a notable surge in response to the imperatives of adaptability, efficiency, and scalability. The subject of this study is the application of
Externí odkaz:
https://doaj.org/article/5f9a30b0e6f448cfa5624da3950d7b65
Autor:
Georgia Kernell, P. J. Lamberson
Publikováno v:
Royal Society Open Science, Vol 10, Iss 10 (2023)
This paper develops a model of voter turnout that embeds Riker and Ordeshook’s (1968 Am. Pol. Sci. Rev. 62, 25–42 (doi:10.2307/1953324)) calculus of voting into the context of a social network. In the model, an individual’s expressive benefits
Externí odkaz:
https://doaj.org/article/aa0d591a457e4888961d182befa56acc
Publikováno v:
IEEE Open Journal of Intelligent Transportation Systems, Vol 4, Pp 294-310 (2023)
Moving Block is a railway signaling concept that paves the way for increasing line capacity while reducing maintenance and operating costs. Its implementation relies on autonomous solutions for train localization, mainly based on GNSS technology. How
Externí odkaz:
https://doaj.org/article/663a1719303147908a7af7ba636cfc2c
Autor:
Riccardo Del Gratta, Federico Boschetti, Angelo Mario Del Grosso, Luigi Bambaci, Simone Zenzaro
Publikováno v:
Umanistica Digitale, Iss 13, Pp 1-20 (2022)
In this article we introduce a formal approach to the evolution of documents with particular attention to the philological perspective and the typical related issues. We propose a mathematical model capable of formalizing various complex phenomena in
Externí odkaz:
https://doaj.org/article/aaf9c4f1c39f4a31ad9ba8db81a4d7ca
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.