default search action
The Computer Science Journal of Moldova, Volume 23
Volume 23, Number 1, 2015
- Nader Jafari Rad, Elahe Sharifi:
Bounds on Global Total Domination in Graphs. 3-10 - Nicolae Grigoriu:
Construction of a transitive orientation using B-stable subgraphs. 11-23
- Kiril Kolikov, Yordan Epitropov, Andrei Corlat, Georgi Krastev:
Maximum Inaccuracies of Second Order. 24-39
- Veaceslav Albu, Svetlana Cojocaru:
Measuring human emotions with modular neural networks and computer vision based applications. 40-61
- Nikolay A. Moldovyan, Alexander A. Moldovyan, Victor Scerbacov:
Provably sender-deniable encryption scheme. 62-71
- Sergiu Cretu, Anatol Popescu:
Modeling of meaning acquisition based on NL phrases using state transitions. 72-84 - William J. Greenberg:
Identity, Ontology, and Frege's Problem. 85-91 - Ioachim Drugus:
Towards an Ontology of Individuals: Comments on "Identity, Ontology and Frege's Problem" of William Greenberg. 92-96
Volume 23, Number 2, 2015
- About FOI-2015. 99-101
- Mykola S. Nikitchenko, Stepan S. Shkilniak:
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates. 102-122 - Bogdan Aman, Gabriel Ciobanu:
BioMaxP: A Formal Approach for Cellular Ion Pumps. 123-134 - Razvan Diaconescu:
Structuring of Specification Modules (extended). 135-152 - Alexandre Lyaletsky:
Fundamental theorems of extensional untyped lambda-calculus revisited. 153-164
- Volodymyr V. Skobelev, Volodymyr G. Skobelev:
Finite automata over algebraic structures: models and some methods of analysis. 165-188 - Andrei Micu, Adrian Iftene:
Communicative automata based programming. Society Framework. 189-208
- Vadim Ermolayev:
The Law of Gravitation for Ontologies and Domains of Discourse. 209-236
- Artiom Alhazov, Liudmila Burtseva, Svetlana Cojocaru, Alexandru Colesnicov, Ludmila Malahova:
Solving Problem of Graph Isomorphism by Hybrid Model. 237-248
Volume 23, Number 3, 2015
- Radu Buzatu, Sergiu Cataranciuc:
Convex graph covers. 251-269
- Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko:
Set-theoretic Analysis of Nominative Data. 270-288
- Alexander V. Lyaletski:
Admissibility, compatibility, and deducibility in first-order sequent logics. 289-303
- Artiom Alhazov, Rudolf Freund, Petr Sosík:
Small P Systems with Catalysts or Anti-Matter Simulating Generalized Register Machines and Generalized Counter Automata. 304-328
- William J. Greenberg:
Extensionality, Proper Classes, and Quantum Non-Individuality. 329-342
- Marjan Kuchaki Rafsanjani, Zahra Asghari Varzaneh:
Edge detection in digital images using Ant Colony Optimization. 343-359
- Sidoine Djimnaibeye, Daniel Tieudjo, Norbert Youmbi:
Probability on groups and an application to cryptography. 360-375
- Iulian Secrieru, Svetlana Cojocaru, Constantin Gaindric, Olga Popcova, Svetlana Turcan:
Classification of Early Stages of NAFLD Based on Dual Diagnostic Methods. 376-385 - Sergiu Ivanov:
Annotation on PhD Thesis. 386-388
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: