JNAS | JOURNALS OF NATIONAL ACADEMY OF SCIENCES OF UKRAINE
JOURNALS
BROWSE
SEARCH
SUBJECTS
LibNAS UA
Проблеми програмування. 2018 (2-3)
ARCHIVE
(All issues)
Problems in programming
2018. Issue 2-3
Transition systems as method of designing applications in GPGPU technology
.
Context term calculus for rewriting systems
.
Logics of general non-deterministic predicates: semantic aspects
.
Parallel software auto-tuning using statistical modeling and machine learning
.
Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Intel Xeon Phi
.
System aspects of design guaranteased cloud calculations
.
Extension of the program synthesis system to analyze large data sets
.
Game-theory analysis of multi-processor schedulers. Simulation model
.
Multi-level model of parallel computing for linear algebra problems
.
Equivalence of two parallel execution systems
.
Architecture of software system for hierarhical fuzzy inference
.
Use of metods of algebraic programming for the formal verification of legal acts
.
Interactive method for cumulative analysis of software formal models behavior
.
Formal foundations for software model to model transformation operation
.
Ontological similar systems for analysis of texts of natural language
.
Optimal placement of a multi-sensor system
.
Automated extraction of structured information from a variety of web pages
.
About relationship between table algebra of infinite tables and multiset table algebra
.
Credibility of fuzziness: theory and application
.
Characteristics for choice of models in the ansables classification
.
On the classes of causal networks, identifiable by simple independence tests
.
Predicting the probability of exceeding critical system thresholds
.
Theoretical principles of use of ontologies for semantization of the Web resources
.
Specification of the process of the semantic annotation the web services
.
Mapping of the relational algebra to the description logic
.
Use of semantic technologies for dialogue between labor market subjects
.
The system of models of domain "Software Metatechnology"
.
The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials
.
Research and development workstation environment: the new class of Current Research Information Systems
.
Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems
.
Specialised computer simulator "SimEnPhysiol"
.
Simulation and genetic optimization of control systems by LabVIEW programming
.
Software means of modeling of the vector type of reactive engine control system
.
National Academy of Sciences of Ukraine
Library portal of National Academy of Sciences of Ukraine | LibNAS
http://libnas.nbuv.gov.ua
Vernadsky National Library of Ukraine (VNLU)
Institute of Information Technologies of VNLU
+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209