IBN
Închide
Computer Science Journal of Moldova
Lista publicaţiilor cu CZU - 34, Anul - 2015, Descărcări - 160, Vizualizări - 24295.
Bounds on Global Total Domination in Graphs
Rad NaderJafari, Sharifi Elahe
University of Technology Shahrood
Nr. 1(67) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 3 June, 2015. Descarcări-8. Vizualizări-746
-----------------------------------------------------------------------------------------------------------------------------------
Construction of a transitive orientation using B-stable subgraphs
Grigoriu Nicolae
Moldova State University
Nr. 1(67) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 3 June, 2015. Descarcări-5. Vizualizări-728
-----------------------------------------------------------------------------------------------------------------------------------
Maximum Inaccuracies of Second Order
Kolikov Kiril1, Epitropov Yordan1, Corlat Andrei2, Krastev Georgi1
1 Plovdiv University „Paisii Hilendarski”,
2 Institute of Mathematics and Computer Science ASM
Nr. 1(67) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 3 June, 2015. Descarcări-4. Vizualizări-888
-----------------------------------------------------------------------------------------------------------------------------------
Measuring human emotions with modular neural networks and computer vision based applications
Albu Veaceslav, Cojocaru Svetlana
Institute of Mathematics and Computer Science ASM
Nr. 1(67) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 3 June, 2015. Descarcări-8. Vizualizări-953
-----------------------------------------------------------------------------------------------------------------------------------
Provably sender-deniable encryption scheme
Moldovyan Nikolay1, Moldovyan Alexandr2, Shcherbacov Victor3
1 Institute for Informatics and Automation of Russian Academy of Sciences Sankt Petersburg,
2 Санкт-Петербургский национальный исследовательский Университет информационных Технологий, Механики и Оптики,
3 Institute of Mathematics and Computer Science ASM
Nr. 1(67) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 3 June, 2015. Descarcări-3. Vizualizări-838
-----------------------------------------------------------------------------------------------------------------------------------
Modeling of meaning acquisition based on NL phrases using state transitions
Creţu Sergiu1, Popescu Anatol2
1 Academy of Economic Studies of Moldova,
2 Technical University of Moldova
Nr. 1(67) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 3 June, 2015. Descarcări-3. Vizualizări-926
-----------------------------------------------------------------------------------------------------------------------------------
Identity, Ontology, and Frege's Problem
Greenberg William
Necunoscută, SUA
Nr. 1(67) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 3 June, 2015. Descarcări-5. Vizualizări-866
-----------------------------------------------------------------------------------------------------------------------------------
Towards an Ontology of Individuals: Comments on "Identity, Ontology and Frege's Problem" of William Greenberg
Drugus Ioachim
Institute of Mathematics and Computer Science ASM
Nr. 1(67) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 3 June, 2015. Descarcări-6. Vizualizări-986
-----------------------------------------------------------------------------------------------------------------------------------
About FOI-2015
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-2. Vizualizări-463
-----------------------------------------------------------------------------------------------------------------------------------
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
Nikitchenko Mykola, Shkilniak Stepan
Taras Shevchenko National University of Kyiv
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-17. Vizualizări-772
-----------------------------------------------------------------------------------------------------------------------------------
BioMaxP: A Formal Approach for Cellular Ion Pumps
Aman Bogdan, Ciobanu Gabriel
Institute of Computer Science of the Romanian Academy
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-3. Vizualizări-935
-----------------------------------------------------------------------------------------------------------------------------------
Structuring of Specification Modules (extended)
Diaconescu Răzvan
"Simion Stoilow" Institute of Mathematics of Romanian Academy
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-3. Vizualizări-704
-----------------------------------------------------------------------------------------------------------------------------------
Fundamental theorems of extensional untyped lambda-calculus revisited
Lyaletsky Alexandre
Taras Shevchenko National University of Kyiv
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-3. Vizualizări-828
-----------------------------------------------------------------------------------------------------------------------------------
Finite automata over algebraic structures: models and some methods of analysis
Skobelev Volodymyr, Skobelev Volodymyr
Institute of Cybernetics, National Academy of Sciences of Ukraine
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-4. Vizualizări-697
-----------------------------------------------------------------------------------------------------------------------------------
Communicative automata based programming. Society Framework
Micu Andei, Iftene Adrian
Alexandru Ioan Cuza University of Iaşi
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-5. Vizualizări-803
-----------------------------------------------------------------------------------------------------------------------------------
The Law of Gravitation for Ontologies and Domains of Discourse
Ermolayev Vadim
Zaporizhzhia National University
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-3. Vizualizări-757
-----------------------------------------------------------------------------------------------------------------------------------
Solving Problem of Graph Isomorphism by Hybrid Model
Alhazov Artiom, Burtseva Lyudmila, Cojocaru Svetlana, Colesnicov Alexandru, Malahov Ludmila
Institute of Mathematics and Computer Science ASM
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 20 November, 2015. Descarcări-8. Vizualizări-913
-----------------------------------------------------------------------------------------------------------------------------------
Convex graph covers
Buzatu Radu, Cataranciuc Sergiu
Moldova State University
Nr. 3(69) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 26 November, 2015. Descarcări-8. Vizualizări-1064
-----------------------------------------------------------------------------------------------------------------------------------
Set-theoretic Analysis of Nominative Data
Skobelev Volodymyr1, Ivanov Ievgen2, Nikitchenko Mykola2
1 Institute of Cybernetics, National Academy of Sciences of Ukraine,
2 Taras Shevchenko National University of Kyiv
Nr. 3(69) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 26 November, 2015. Descarcări-2. Vizualizări-937
-----------------------------------------------------------------------------------------------------------------------------------
Admissibility, compatibility, and deducibility in first-order sequent logics
Lyaletski Alexander
Taras Shevchenko National University of Kyiv
Nr. 3(69) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 26 November, 2015. Descarcări-3. Vizualizări-937
-----------------------------------------------------------------------------------------------------------------------------------
1 - 20 of 34