Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Dusan Malbaski"'
Autor:
Aleksandar Kupusinac, Edita Stokic, Rade Doroslovacki, Dusan Malbaski, Biljana Srdic-Galic, Mirjana Udicki, Dragana Tomic-Naglic
Publikováno v:
Hrana i ishrana (2019) 60(1):5-10
Waist-to-height ratio (WHtR) has been shown to be a valuable predictor of cardiometabolic risk. Most studies recommend value of 0.5 as the predictive value for both genders and for all age groups. Considering body height changes with aging and gender
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4aac928fda459f21b1bf93e6b79c6494
https://doi.org/10.5937/hraish1901005s
https://doi.org/10.5937/hraish1901005s
Publikováno v:
Yugoslav Journal of Operations Research, Vol 20, Iss 2, Pp 229-236 (2010)
Proving the program correctness and designing the correct programs are two connected theoretical problems, which are of great practical importance. The first is solved within program analysis, and the second one in program synthesis, although intertw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b51cd1177c5590b9c1a68191e27dad01
https://doi.org/10.2298/yjor1002229m
https://doi.org/10.2298/yjor1002229m
Publikováno v:
Yugoslav Journal of Operations Research, Vol 17, Iss 2, Pp 275-285 (2007)
Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas repres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d588edef3550ff10567866594fe3c93
http://www.doiserbia.nb.rs/img/doi/0354-0243/2007/0354-02430702275M.pdf
http://www.doiserbia.nb.rs/img/doi/0354-0243/2007/0354-02430702275M.pdf
Autor:
Aleksandar Kupusinac, Dusan Malbaski
Publikováno v:
2012 20th Telecommunications Forum (TELFOR).
In this paper we present an approach to formalizing the general rules of the Hoare logic that is based on formulas of the first-order predicate logic defined over the abstract state space of a virtual machine, i.e. so-called S-formulas. The general r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::996879b21a077306e74cbf5b14d3b777
https://doi.org/10.1109/telfor.2012.6419526
https://doi.org/10.1109/telfor.2012.6419526
Autor:
Aleksandar Kupusinac, Dusan Malbaski
Publikováno v:
2012 20th Telecommunications Forum (TELFOR).
This paper considers formulas of the firstorder predicate logic defined on the abstract state space (briefly S-formulas) that describe three possible behavioral patterns for the WHILE loop: it does not terminate, it potentially terminates and its ter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10567323fb14349706640515e20977fa
https://doi.org/10.1109/telfor.2012.6419522
https://doi.org/10.1109/telfor.2012.6419522
Autor:
Aleksandar Kupusinac, Dusan Malbaski
Publikováno v:
2012 20th Telecommunications Forum (TELFOR).
The paper presents an analysis of the owner/component relationships. The same component may be shared by several owners thus causing their vulnerability since state changes in one owner may break the invariant of other. In order to avoid such situati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9aa548103bcabb8427fd2b40c828821f
https://doi.org/10.1109/telfor.2012.6419525
https://doi.org/10.1109/telfor.2012.6419525
Publikováno v:
Computers in biology and medicine. 43(6)
Estimation of the cardiometabolic risk (CMR) has a leading role in the early prevention of atherosclerosis and cardiovascular diseases. The CMR estimation can be separated into two parts: primary estimation (PE-CMR) that includes easily-obtained, non
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f38da9eb859e8adbd9a2f09aefb40cb4
https://pubmed.ncbi.nlm.nih.gov/23668351
https://pubmed.ncbi.nlm.nih.gov/23668351
Autor:
Aleksandar Kupusinac, Dusan Malbaski
Publikováno v:
2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers.
An invariant in the class is a predicate, which is true in every state that is proclaimed as valid, independently of what is considered to be a state. In addition, invariants themselves may be based on the behavior of a particular object or a class a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e79390e5dbbdb146d03984ea7b66bacb
https://doi.org/10.1109/telfor.2011.6143811
https://doi.org/10.1109/telfor.2011.6143811
Autor:
Aleksandar Kupusinac, Dusan Malbaski
Publikováno v:
2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers.
This paper considers automatic inference of invariants in objects with variable structure. We say for an object that it has variable structure if a part of its logical memory space is on the heap and is linked with the host with a reference (pointer)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1eedc96cea5fc2ebbc278447d6e830e3
https://doi.org/10.1109/telfor.2011.6143809
https://doi.org/10.1109/telfor.2011.6143809
Autor:
Aleksandar Kupusinac, Dusan Malbaski
Publikováno v:
2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers.
In this paper we introduce the concept of correct inheritance and establish the appropriate formal conditions that must be satisfied by the subclass. Based on that, we develop a formal recursive algorithm for automatic verification of inheritance. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76efead373c1b363d9057451406771ac
https://doi.org/10.1109/telfor.2011.6143810
https://doi.org/10.1109/telfor.2011.6143810