The Computer Science Journal of Moldova, Volume 24

Volume 24, Number 1, April 2016

Mathematical logic and foundations

• 
  Ioachim Drugus:
  Universics: a Theory of Universes of Discourse for Metamathematics and Foundations. 3-26
• 
  Alexey Chentsov:
  Many-Sorted First-Order Composition-Nominative Logic as Institution. 27-54

Cryptography

• 
  Nikolay A. Moldovyan, A. V. Shcherbacov, Victor A. Shcherbacov:
  Some applications of quasigroups in cryptology. 55-67
• 
  Nikolay A. Moldovyan, Alexander A. Moldovyan, Dmitriy N. Moldovyan, Victor A. Shcherbacov:
  Stream Deniable-Encryption Algorithms. 68-82

Game Theory

• 
  Valeriu Ungureanu:
  Taxonomy of Strategic Games with Information Leaks and Corruption of Simultaneity. 83-105

Natural language processing

• 
  Svetlana Cojocaru, Alexander Colesnicov, Ludmila Malahova, Tudor Bumbu:
  Optical Character Recognition Applied to Romanian Printed Texts of the 18th-20th Century. 106-117

Modeling

• 
  Vladimir Rogojin, Ion Petre:
  Large-scale executable biology using rapid integration of computational models. 118-135

Image Processing

• 
  Liudmila Burtseva:
  Advantages of application of unconventional computing to image processing and whence these advances come. 136-144

Volume 24, Number 2, August 2016

Natural language processing

• 
  Illia Savchenko:
  Estimation of Morphological Tables Using Text Analysis Results. 148-156
• 
  Svetlana Cojocaru, Mircea Petic, Grigorii Horos:
  Tools for Texts Monitoring and Analysis Aimed at the Field of Social Disasters, Catastrophes, and Terrorism. 157-171

Modeling

• 
  Tatyana V. Shulkevich, Y. M. Selin:
  Feasible approach to modeling of ecological component of the sustainable development paradigm. 172-183
• 
  Inga Titchiev:
  Quantitative analysis of the evacuation system by means of Generalized Stochastic Petri nets. 184-191

Software Engineering

• 
  Alexey G. Malishevsky:
  The general prioritization framework. 192-201

Decision Support Systems

• 
  Svetlana Cojocaru, Constantin Gaindric, Iulian Secrieru, Sergiu Puiu, Olga Popcova:
  Multilayered Knowledge Base for Triage Task in Mass Casualty Situations. 202-212

Graph theory

• 
  David Slutzky, Vitaly I. Voloshin:
  The Chromatic Spectrum of a Ramsey Mixed Hypergraph. 213-233
• 
  Julian A. Allagan, Christopher Serkan:
  Bell Numbers of Complete Multipartite Graphs. 234-242
• 
  Tayebe Balegh, Nader Jafari Rad:
  Hat problem on graphs with exactly three cycles. 243-254

Probability theory

• 
  Gh. Mishkoy, Diana Bejenari, Lilia Mitev, Ionela R. Ticu:
  Numerical solutions of Kendall and Pollaczek-Khintchin equations for exhaustive polling systems with semi-Markov delays. 255-272

Data Warehouse

• 
  Shahidul Islam Khan, Abu Sayed Md. Latiful Hoque:
  Digital Health Data: A Comprehensive Review of Privacy and Security Risks and Some Recommendations. 273-292

Volume 24, Number 3, November 2016

Mathematical logic and foundations

• 
  Ivano Ciardelli:
  Propositional inquisitive logic: a survey. 295-311
• 
  Eberhard Guhe:
  "The absence of the difference from a pot is potness" - Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Nyāya. 312-334

Order, lattices, ordered algebraic structures

• 
  Mitrofan Choban, Ivan Budanaev:
  About Applications of Distances on Monoids of Strings. 335-356

Theory of computing

• 
  Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko:
  Insertion Modeling and Its Applications. 357-370

Theoretical aspects of software system development

• 
  Ievgen Ivanov, Mykola S. Nikitchenko, Volodymyr G. Skobelev:
  Proving Properties of Programs on Hierarchical Nominative Data. 371-398

Natural Language Processing

• 
  Dan Cristea:
  Natural Language Processing versus Logic. Pros and cons on the dispute whether logic is useful in the computational interpretation of language. 399-416

Computer system organization

• 
  Sinica Alboaie, Lenuta Alboaie, Mircea-Florin Vaida, Cristina Olariu:
  Executable choreographies applied in OPERANDO. 417-436