|
|
|
Gábor Kusper and Csaba Biró
In a previous paper we defined the black and white SAT problem which has exactly two solutions, where each variable is either true or false. We showed that black and white 2-SAT problems represent strongly connected directed graphs. We presented also the...
ver más
|
|
|
|
|
|
Olena Cherniak, Nataliia Sorocolat, Iryna Kanytska
Pág. 169 - 175
The subject of research in the article is a method for determining a complex quality indicator of qualimetry objects that have quality indicators with different units of measurement. The purpose of the work is proposing a method for determining a complex...
ver más
|
|
|
|
|
|
Hendry - Pratama,Johanes Fernandes Andry
Pág. 81 - 85
PT. Walepay Finansial Teknologi (Walepay) is a Financial Technology Company. In this company, the author wants to know how good Walepay implemented IT Governance. With COBIT 4.1 and Balanced Scorecard, the author will measure the maturity level. The auth...
ver más
|
|
|
|
|
|
Carolina Ureta,Ángela P. Cuervo-Robayo,Edith Calixto-Pérez,Constantino González-Salazar,Emiliano Fuentes-Conde
Pág. 221 - 254
Mexican islands are one of the most diverse territories in the world and consequently their conservation should be a national and international priority. Three main threats to islands? diversity have been detected: invasive species, land use change and c...
ver más
|
|
|
|
|
|
Dusan Jolovic, Aleksandar Stevanovic, Soheil Sajjadi, Peter T. Martin
Pág. 403 - 416
The Highway Capacity Manual (HCM) 2015 freeway facilities methodology offers a supplemental computational engine FREEVAL, which is a macroscopic/mesoscopic tool that enables users to implement HCM-based freeway analysis quickly and conveniently. On the o...
ver más
|
|
|