I.6 SIMULATION AND MODELING | Article |
PROGNOSTICATION OF EFFICIENCY OF MEDICAL AND PROPHYLACTIC ... |
Abstract: This article is devoted to the questions of prognostication of efficiency medical and prophylactic
measures at renewal of the broken equilibrium of human organism by vegetable medications. |
I.6.3 Applications | Article |
PROGNOSTICATION OF EFFICIENCY OF MEDICAL AND PROPHYLACTIC MEASURES AT ... |
Abstract: This article is devoted to the questions of prognostication of efficiency medical and prophylactic
measures at renewal of the broken equilibrium of human organism by vegetable medications. |
H.4.2 Types of Systems | Article |
PROGRAM COMPLEX OF REGIONAL MODELS OF ELECTRICITY CONSUMPTION FOR THE RUSSIAN FE |
Abstract: There were considered main approaches, methods and features of energy consumption forecasting
and creating program complex of a regional model of environmental of wholesale electricity in R |
H.4.2 Types of Systems | Article |
Program complex of regional models of electricity consumption for the Russian... |
Abstract: There were considered main approaches, methods and features of energy consumption forecasting
and creating program complex of a regional model of environmental of wholesale electricity in R |
B.6.3 Design Aids | Article |
Program Invariants Generation over Polynomial Ring using Iterative Methods. |
Abstract: A solution for program polynomial invariant generation problem is presented. An iteration upper approximation method that was successfully applied on free algebras in this paper was adopted |
I.2.11 Distributed Artificial Intelligence | Article |
PROGRAMMING OF AGENT-BASED SYSTEMS |
Abstract: The purpose of the paper is to explore the possibility of applying the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism f |
D.1 PROGRAMMING TECHNIQUES | Article |
PROGRAMMING PARADIGMS IN COMPUTER SCIENCE EDUCATION |
Abstract: Main styles, or paradigms of programming – imperative, functional, logic, and object-oriented – are
shortly described and compared, and corresponding programming techniques are outlined |
K.6.1 Project and People Management | Article |
PROJECT MANAGEMENT IN CYBERSECURITY RESEARCH IN UKRAINE |
Abstract: This paper presents an approach to cyber security research project management. The paper
includes the Project Management Office model and conception that can be created in educational and
|
I.4.7 Feature Measurement | Article |
PROJECTIVE METHODS OF IMAGE RECOGNITION |
Abstract: We propose a method for image recognition on the base of projections. Radon transform gives an
opportunity to map image into space of its projections. Projection properties allow constructi |
F.4.1 Mathematical Logic | Article |
PROOF COMPLEXITIES OF SOME PROPOSITIONAL FORMULAE CLASSES IN DIFFERENT ... |
Abstract: In this paper the proof complexities of some classes of quasi-hard determinable (Tsgfn ) and hard
determinable ( n ) formulas are investigated in some refutation propositional systems. I |
F.4.1 Mathematical Logic | Article |
PROOF COMPLEXITIES OF SOME PROPOSITIONAL FORMULAE CLASSES IN DIFFERENT ... |
Abstract: In this paper the proof complexities of some classes of quasi-hard determinable (Tsgf n ) and hard
determinable (ψ n ) formulas are investigated in some refutation propositional systems. I |
D.2.4 Software/Program Verification | Article |
PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ... |
Abstract: The correctness proof for programs with parallelism, and interleaving concurrency with
shared memory in particular, is complicated problem because the state of separate execution thread
ca |
K.6.5 Security and Protection | Article |
PROTECTION OF COMPUTER INFORMATION SYSTEMS OF AGRICULTURAL ENTERPRISES |
Abstract: The article deals with some modern methods and technologies used in solving problems of
information support of the effective management of the agricultural enterprise. It contains the princ |
G.1.6 Optimization | Article |
PROTEIN STRUCTURE PREDICTION ON A THREE-DIMENSIONAL TRIANGULAR LATTICE |
Abstract: The protein tertiary structure prediction problem is examined, which is one of up-to-date problems of
computational biology. The results received earlier for two-dimensional case are extend |
K.3.1 Computer Uses in Education | Article |
PROTOTYPING ADAPTIVE ONLINE LEARNING COURSES1 |
Abstract: This article describes the process of prototyping adaptive online learning using the authoring tool for
developers, which is based on ontologies. The article also gives a brief overview of |
H.4.2 Types of Systems | Article |
PSYCHOLOGICAL APPROACH TO EXTRACTING KNOWLEDGE IN HUMAN-COMPUTER INTERACTION ... |
Abstract: This article describes the method of extraction and visualization of knowledge in the process of
human-computer interaction with electronic docflow system. The paper describes the experimen |
D.2.9 Management | Article |
QUALITY AND PRODUCTIVITY ANALYSIS IN A VERY SMALL ENTERPRISE USING TSPI |
Abstract: This article shows the benefits of developing a software project using TSPi in a “Very Small Enterprise”
based in quality and productivity measures. An adapted process from the current |
D.2.9 Management | Article |
QUALITY AND PRODUCTIVITY ANALYSIS IN A VERY SMALL ENTERPRISE USING TSPI |
Abstract: This article shows the benefits of developing a software project using TSPi in a “Very Small Enterprise”
based in quality and productivity measures. An adapted process from the current |
K.3.1 Computer Uses in Education | Article |
QUALITY ESTIMATION OF E-LEARNING SYSTEMS |
Abstract: Existing approaches to quality estimation of e-learning systems are analyzed. The “layered” approach
for quality estimation of e-learning systems enhanced with learning process modeling |
G.2.1 Combinatorics | Article |
RANDOMIZED PARALLELIZATION – A NEW METHOD FOR SOLVING ... |
Abstract: A new method for solving some hard combinatorial optimization problems is suggested, admitting a
certain reformulation. Considering such a problem, several different similar problems are pr |