Zobrazeno 1 - 10
of 113
pro vyhledávání: '"Logical formula"'
Publikováno v:
Energies, Vol 16, Iss 12, p 4724 (2023)
In recent days, due to the increasing number of electric vehicle charging stations (EVCSs) and additional power consumption by domestic, commercial, and industrial consumers, the overall power system performance suffers, which further degrades voltag
Externí odkaz:
https://doaj.org/article/05768fda6b6a43edb9a86bd4d2a0a3af
Publikováno v:
IEEE Access, Vol 8, Pp 100509-100520 (2020)
The algebraic model and logical representations of a real network are important but very challenging issues in automatic network verification. In this paper, we abstract the concrete network to its corresponding abstract graph with enhanced vertices
Externí odkaz:
https://doaj.org/article/d2821f4734774476b90359a870789390
Publikováno v:
Energies; Volume 16; Issue 12; Pages: 4724
In recent days, due to the increasing number of electric vehicle charging stations (EVCSs) and additional power consumption by domestic, commercial, and industrial consumers, the overall power system performance suffers, which further degrades voltag
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=multidiscipl::2bff172d5a9345c43bbfe326f6b84041
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.
Autor:
Bat-Chen Rothenberg
Publikováno v:
APR@ICSE
Formal program repair automatically finds a patch to a program that makes it meet a formal specification, such as a logical formula. That is, a repair obtained through formal program repair is required to satisfy the specification for all possible in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be3f432f6188497505d354120b18ee33
https://doi.org/10.1109/apr52552.2021.00015
https://doi.org/10.1109/apr52552.2021.00015
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030714710
Bounded model checking (BMC) is one of the most interesting and practical methods of software quality assurance; it converts the program to a logical formula, which is checked for correctness using SAT or SMT solvers. An inherent problem of BMC is ho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05040c54bc222d5b962b24c036cd0f56
https://doi.org/10.1007/978-3-030-71472-7_12
https://doi.org/10.1007/978-3-030-71472-7_12
Autor:
Vitalii Shymko
Publikováno v:
Психолінгвістика, Vol 24, Iss 1, Pp 403-424 (2018)
This article is devoted to describing results of conceptualization of the idea of mind at the stage of maturity. Delineated the acquisition by the energy system (mind) of stable morphological characteristics, which associated with such a pivotal form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d55571e3e16ef201b126f94cf35c3347
https://doi.org/10.31470/2309-1797-2018-24-1-403-424
https://doi.org/10.31470/2309-1797-2018-24-1-403-424
Autor:
Joanna Klara Teske
Publikováno v:
Roczniki Filozoficzne. 66:87-106
This paper reconsiders the possibility of applying the procedure of falsification, which consists in testing a theory by confronting hypotheses derived from the theory with empirical data, in the studies of culture, in particular when evaluating inte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a06a24eea4f29be0f83bef699ae11ef3
https://doi.org/10.18290/rf.2018.66.2-5
https://doi.org/10.18290/rf.2018.66.2-5