Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: 3 A B C D E F G H I K L M N O P Q R S T U V W Y о “

3
3D character	Textures Maps Complex for 3D Character Model Development
A
abilities	The Technique to Evaluate Pupils’ Intellectual and Personal Important Qualities for ICT Competences
Accounting System	Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company
Activity threshold	Software-algorithmic tool for analyzing the processes of messages distribution in social networks
Adaptive testing	Adaptive Testing Model as the Method of Quality Knowledge Control Individualizing
Adaptive Traffic Light	Reliability of adaptive traffic lights ensured by warm standby with estimation of its use
Agent-Oriented Information Technology (AOIT)	Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle
aggregation	Hesitant Fuzzy Information Processing Based on the Generalized Aggregation of Resulting Trapezoidal Linguistic Terms
Air Navigation System	Applied Artificial Intelligence for Air Navigation Sociotechnical System Development
Air traffic controller	Applied Artificial Intelligence for Air Navigation Sociotechnical System Development
algebraic programming technology	About One Approach to Building Systems for Testing Physical Knowledge
algorithm	Development of software for fuel combustion control system based on frequency regulator Algorithms Constructor
algorithmic algebra	Automated Generation of OpenCL Programs Based on Algebra-Algorithmic Approach
Algorithms	On Some Classes of Problems on Graphs
Amazon elastic cloud compute	CLOUD BASED ARCHITECTURE OF THE CORE BANKING SYSTEM
AMOS	Methodology of Using Structural Equation Modeling in Educational Research
An algorithm of activity	Intellectual Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems
Anderson’s Iris	Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back
Apache CloudStack	Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course The blended methodology of learning computer networks: cloud-based approach
API	Dynamic Signature-based Malware Detection Technique Based on API Call Tracing
API call tracing	Dynamic Signature-based Malware Detection Technique Based on API Call Tracing
approaches	Design of Approaches to the Development of Teacher’s Digital Competencies in the Process of Their Lifelong Learning
Artificial Intelligence	Applied Artificial Intelligence for Air Navigation Sociotechnical System Development
artificial neural network	An Introduction to Image Classification and Object Detection using YOLO Detector
artificial potential field	Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment
attractor	Computational Modeling and Structural Stability
augmented marks	Design of mobile augmented reality system for early literacy
augmented reality	AR and VR as gamification of cognitive tasks Augmented Reality in Training Engineering Students: Teaching Techniques Technologies of Virtual and Augmented Reality for High Education and Secondary School
augmented reality (AR)	Design of mobile augmented reality system for early literacy
authentication of digital objects	Ensuring the Security of the Full Logistics Supply Chain Based on the Вlockсhain Technology
authoring tool	COMPUTER INTELLIGENT TUTORING SYSTEM “SQLTOR”
automated algorithm design	Automated Generation of OpenCL Programs Based on Algebra-Algorithmic Approach
automated term extraction	Optimizing Automated Term Extraction for Terminological Saturation Measurement
Automatic Image Annotation	Automatic Image Annotation with Ensemble of Convolutional Neural Networks
automatic ratings	Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects
autotype equation	Information technology of digital images processing with saving of material resources
B
Balance sheet	Simplified Model of Bank Balance Sheet Management
Bank	Simplified Model of Bank Balance Sheet Management
Basic School Students	The Method for Forming the Health-Saving Component of Basic School Students’ Digital Competence
Bayesian Networks of Trust	Quality assessment of unmanned aerial systems using Bayesian Trust Networks processing of testing data
Behavior	Dynamic Signature-based Malware Detection Technique Based on API Call Tracing
behavior algorithm	Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System
behaviour	Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities
BI	Integration of Information Systems for Predicting the Employee Behavior
bibliometric systems	Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects
big data	Methodology for the Construction of Predictive Analysis Systems as Exemplified by the Mining Equipment in the Conditions of Big Data and Simulation Methods Reliability of Big Data in Hotels Management
bitwise pipeline	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
blended learning	Historical Approach to Modern Learning Environment The blended methodology of learning computer networks: cloud-based approach
Blended Teaching	Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
blockchain	Economic-based Fault-Tolerant Consensus Algorithm Formalization and Algebraic Modeling of Tokenomics Projects Ensuring the Security of the Full Logistics Supply Chain Based on the Вlockсhain Technology
Budgeting	Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company
Business Intelligence	Assessing the Reviving Risks while using the Manufacturing Resource Planning system at agribusiness enterprises
business model	The main barriers and drivers of the digital transformation of Ukraine business structures
business models	Business models of reproduction cycles for digital economy
Business Process	Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company
Business Process Management	A Method for Business Process Model Analysis and Improvement
Business Process Modeling	A Method for Business Process Model Analysis and Improvement
business school	Simulation System in Educational and Career Guidance State Policy of Ukraine
business tournament	Simulation System in Educational and Career Guidance State Policy of Ukraine
business-simulation	Simulation System in Educational and Career Guidance State Policy of Ukraine
C
C language	Innovative approaches in C introductory programming courses
C-engineering	ICT Support of Higher Education Institutions Participation in Innovation Networks
calculation method	Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence
Calculus of Inductive Constructions	Event Universes: Specification and Analysis Using Coq Proof Assistant
camp program	Activity Plan Template for Supporting Study Science with Robotics and Programming
canonical decomposition	Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence
career-guidance	Simulation System in Educational and Career Guidance State Policy of Ukraine
case method	Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services
Category theory	Simple-typed Functional Language Modelled by Category Theory Event Universes: Specification and Analysis Using Coq Proof Assistant
Cauchy problem	Software-algorithmic tool for analyzing the processes of messages distribution in social networks
causality relationship	Event Universes: Specification and Analysis Using Coq Proof Assistant
Cellular Neural Network	Heterogeneous Hybrid Neural Network for Modeling Spatially Distributed Destructive Processes
chat-bot	Intelligent Dialogue System Based on Deep Learning Technology
Chi-squared test	Dynamic Signature-based Malware Detection Technique Based on API Call Tracing
class type	Event Universes: Specification and Analysis Using Coq Proof Assistant
classification of educational videos	Educational Video in the University: Instruments, Technologies, Opportunities and Restrictions
Cloud computing	THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM
cloud services	Cloud-oriented technologies of training as a means of forming of XXI century skills of future mathematics teachers
cloud-based environment	The blended methodology of learning computer networks: cloud-based approach
cloud-based learning tools	Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back
cloud-oriented learning technologies	Cloud-oriented technologies of training as a means of forming of XXI century skills of future mathematics teachers
Cloud‭ ‬computing	The‭ ‬Comparative Analysis‭ ‬of the‭ ‬Design and Application of the‭ ‬Cloud-based Components for Mathematics‭ Learning
Cluster analysis	Cluster Analysis of Countries Inequality due to IT Development
clustering	The model "information gatekeepers" for sentiment analysis of text data
code reuse	Evaluation of the Effectiveness of Domain Modeling Methods in Terms of Model Complexity
cognitive systems	Modeling of Cognitive Process Using Complexity Theory Methods
Cognitive visualization	SEARCH ALGORITHMS LEARNING BASED ON COGNITIVE VISUALIZATION
collaboration	Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine
Color Contrast	Data Compression and Representation as Multicolor Barcodes
color separation	Information technology of digital images processing with saving of material resources
combinatory method	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
combustion control system	Development of software for fuel combustion control system based on frequency regulator
combustion regulation	Development of software for fuel combustion control system based on frequency regulator
communication rate	Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities
Competence	Integration of IT education in Ukraine into the European educational space
competence components	COMPUTER INTELLIGENT TUTORING SYSTEM “SQLTOR”
competence-based education	Computer Modeling of Educational Process as Way to Modern Learning Technologies
competency	Computer Modeling of Educational Process as Way to Modern Learning Technologies
Competency Framework	Competency framework as an instrument to assess professional competency of future seafarers
compile time computation	Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6
completeness	Program Logics of Renominative Level with the Composition of Predicate Complement
complex networks	Modeling of Cognitive Process Using Complexity Theory Methods
complex systems	Entropy analysis of crisis phenomena for DJIA index Modeling of Cognitive Process Using Complexity Theory Methods
Complexity	On Some Classes of Problems on Graphs
composite material	Application of wavelet transform for determining diagnostic signs
Composition programming	Extending the SMT-Lib Standard with Theory of Nominative Data
computation	Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence
Computational Mathematics	Computer Simulation as a Method of Learning Research in Computational Mathematics
Computer games and simulations	Using Computer Simulations and Games in Engineering Education: Views from the Field
computer graphic	Textures Maps Complex for 3D Character Model Development
computer graphics	Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying Three-Dimensional Modeling
computer modeling of educational process	Computer Modeling of Educational Process as Way to Modern Learning Technologies
computer ontologies	Ontological model of representation of university resources
computer science courses	Innovative approaches in C introductory programming courses
computer science trainee teachers	Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course The blended methodology of learning computer networks: cloud-based approach
computer simulation	Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back Computer Simulation as a Method of Learning Research in Computational Mathematics Computational Modeling and Structural Stability
computer simulation and visualization	THE SIMULTANEOUS USE OF EXEL AND GEOGEBRA TO TRAINING THE BASICS OF MATHEMATICAL MODELING
computer simulation of mechanical movement	THE SIMULTANEOUS USE OF EXEL AND GEOGEBRA TO TRAINING THE BASICS OF MATHEMATICAL MODELING
computer software	Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes
computer software used in learning of modeling	THE SIMULTANEOUS USE OF EXEL AND GEOGEBRA TO TRAINING THE BASICS OF MATHEMATICAL MODELING
computer vision	An Introduction to Image Classification and Object Detection using YOLO Detector
computer visualization	Computer visualization of logic elements of the information system based on PROTEUS
Concept dictionary	Rule-based machine translation into Ukrainian Sign Language using concept dictionary
Consensus	Economic-based Fault-Tolerant Consensus Algorithm
Consensus protocols	Random Re-Ordering of the Parties in the Consensus Protocol
Consolidated mathematical model	Forecasting Prices on the Stock Exchange Using a Trading System
Convolutional Neural Networks	News Feed in Stock Movement Prediction Automatic Image Annotation with Ensemble of Convolutional Neural Networks
Cooperation	ICT Support of Higher Education Institutions Participation in Innovation Networks Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine
Core Banking System	CLOUD BASED ARCHITECTURE OF THE CORE BANKING SYSTEM
correlation matrix	Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure
crash	Entropy analysis of crisis phenomena for DJIA index
crisis contagion	Simulation of the crisis contagion process between countries with different levels of socio-economic development
criteria for selecting	THE MAIN ASPECTS OF THE INTRODUCTION OF ERP-SYSTEMS AT THE MACHINE-BUILDING ENTERPRISES
critical competencies	Management of critical competencies in a multi-project environment
critical event	Entropy analysis of crisis phenomena for DJIA index
critical information infrastructure	Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure
crypto-economics	Formalization and Algebraic Modeling of Tokenomics Projects
cryptosystem	Polynomials Multiplier Under Irreducible Polynomial Module
CS0	Innovative approaches in C introductory programming courses
CSIRT	Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure
CUDA	Automated Generation of OpenCL Programs Based on Algebra-Algorithmic Approach Large-scale loops parallelization for GPU accelerators
curriculum	Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services
Cybersecurity	Dynamic Signature-based Malware Detection Technique Based on API Call Tracing
D
Data Compression	Data Compression and Representation as Multicolor Barcodes
decidability	Event Universes: Specification and Analysis Using Coq Proof Assistant
decision making	Applied Artificial Intelligence for Air Navigation Sociotechnical System Development Support of Investors’ Decision Making in Economic Experiments Using Software Tools Intelligent Dialogue System Based on Deep Learning Technology
Decision making in Risk	Optimization of flows and flexible redistribution of autonomous UAV routes in multilevel airspace
Decision Support System	Applied Artificial Intelligence for Air Navigation Sociotechnical System Development
decision-making	Multi-Criteria Decision Making Approaches for Rational Choice of Wireless Communication Technologies for IoT-Based Systems
decoding	Software models for investigation of Turbo-Product-codes decoding
decomposition	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
deep learning	Intelligent Dialogue System Based on Deep Learning Technology
deficiency conditions	Formalization of the Model of Management of the Technological Innovations
degree of complexity	Modeling of Cognitive Process Using Complexity Theory Methods
depth map fusion	Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
designing	Ontological model of representation of university resources
designing and implementation	THE MAIN ASPECTS OF THE INTRODUCTION OF ERP-SYSTEMS AT THE MACHINE-BUILDING ENTERPRISES
Destructive Processes	Heterogeneous Hybrid Neural Network for Modeling Spatially Distributed Destructive Processes
deterministic protocol	High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits
Development of Professional Competencies	Development of professional competencies of information technology university teachers: motivation and content
diagnostic signs	Application of wavelet transform for determining diagnostic signs
dialogue system	Intelligent Dialogue System Based on Deep Learning Technology
Didactical process modelling	Educational Analogy Dedicated for Didactical Process Simulation
Didactical process simulation	Educational Analogy Dedicated for Didactical Process Simulation
Digital Agenda of Ukraine 2020	The main barriers and drivers of the digital transformation of Ukraine business structures
Digital Badges	Competency framework as an instrument to assess professional competency of future seafarers
Digital Competence	The Method for Forming the Health-Saving Component of Basic School Students’ Digital Competence
digital competencies	Design of Approaches to the Development of Teacher’s Digital Competencies in the Process of Their Lifelong Learning
digital component	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
digital economy	Business models of reproduction cycles for digital economy
Digital Education	ICT Support of Higher Education Institutions Participation in Innovation Networks
digital image	Noise Filtration in the Digital Images Using Fuzzy Sets and Fuzzy Logic
Digital Learning Environment	Attitude to the Digital Learning Environment in Ukrainian Universities
digital original	Information technology of digital images processing with saving of material resources
digital technologies	The main barriers and drivers of the digital transformation of Ukraine business structures
Digital transformation	The main barriers and drivers of the digital transformation of Ukraine business structures
Digitalization	ICT Support of Higher Education Institutions Participation in Innovation Networks
Discrete Automaton	Heterogeneous Hybrid Neural Network for Modeling Spatially Distributed Destructive Processes
discrete optimization	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
Discrete-Continuous Stochastic Model	Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method
distance learning system	Computer Modeling of Educational Process as Way to Modern Learning Technologies
Distributed randomness	Random Re-Ordering of the Parties in the Consensus Protocol
DJIA	Entropy analysis of crisis phenomena for DJIA index
domain modeling method	Evaluation of the Effectiveness of Domain Modeling Methods in Terms of Model Complexity
domestic waste	Application of geographic information systems in the field of domestic waste management
dumps	Application of geographic information systems in the field of domestic waste management
dynamic environment	Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment
dynamic optimization	Formalization of the Model of Management of the Technological Innovations
Dynamic programming	Optimization of flows and flexible redistribution of autonomous UAV routes in multilevel airspace
dynamic quantum model	Computational Modeling and Structural Stability
Dynamic Typology	Simulation as a Tool to Identify Dynamical Typology of Water Frog Hemiсlonal Population Systems
dynamical system	Computational Modeling and Structural Stability
E
e-Competence Framework 3.0	Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements
E-governance	Can Information Technology Increase Government Effectiveness?
E-learning	Historical Approach to Modern Learning Environment Intellectual Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems
e-portfolio	Open Distance Learning For Teachers
ecological state	Spatio-Temporal Representation of the Ecological State of the Surface Waters of the Lower Section of the Dnieper River using GIS Technologies
ecologically destructive influence	Application of geographic information systems in the field of domestic waste management
economic conditions	Information-analytical Support for the Processes of Formation of "Smart Sociopolis" Truskavets
economic experiments	Support of Investors’ Decision Making in Economic Experiments Using Software Tools
Economic Growth	Government Financial Support of Higher Education and its Role in Economic Prosperity of a Society
economic modeling	Business models of reproduction cycles for digital economy Formalization and Algebraic Modeling of University Economics
editing distance	STRUCTURAL DIAGNOSIS METHOD FOR TRAINEE’S COMPUTER PROGRAMS
education	Simulation System in Educational and Career Guidance State Policy of Ukraine Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine Attitude to the Digital Learning Environment in Ukrainian Universities
education programs aimed at Master’s degree linear optimization	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
Educational analogy	Educational Analogy Dedicated for Didactical Process Simulation
educational robotics	Activity Plan Template for Supporting Study Science with Robotics and Programming
educational university	THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM
Effectiveness	Evaluation of the Effectiveness of Domain Modeling Methods in Terms of Model Complexity Intellectual Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems
efficiency	Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure
Electricity Prices	Short-term electricity price forecasting using Generalized Additive Models
Electronic Educational Gaming Resources (EEGR)	Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
Electronic Educational Resources (EER)	Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
Electronic Textbook	Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
Elementary School	Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
Engineering education	Using Computer Simulations and Games in Engineering Education: Views from the Field
Ensemble methods	Automatic Image Annotation with Ensemble of Convolutional Neural Networks
Enterprise Resource & Relationship Processing (ERP II)	THE MAIN ASPECTS OF THE INTRODUCTION OF ERP-SYSTEMS AT THE MACHINE-BUILDING ENTERPRISES
Enterprise Resource Planning (ERP)	THE MAIN ASPECTS OF THE INTRODUCTION OF ERP-SYSTEMS AT THE MACHINE-BUILDING ENTERPRISES
entropic index	Entropy analysis of crisis phenomena for DJIA index
Ergonomics	Intellectual Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems
Erlang Distribution	Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method
European e-Competence Framework	Development of professional competencies of information technology university teachers: motivation and content
EVE-NG Community	Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course The blended methodology of learning computer networks: cloud-based approach
exchange of experience	Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine
Excitation	Software-algorithmic tool for analyzing the processes of messages distribution in social networks
experience of simultaneous use Excel and Geogebra	THE SIMULTANEOUS USE OF EXEL AND GEOGEBRA TO TRAINING THE BASICS OF MATHEMATICAL MODELING
Experiment	The Method for Forming the Health-Saving Component of Basic School Students’ Digital Competence
experimental tasks in chemistry	Using the Cloud-Oriented Virtual Chemical Laboratory VLab in Teaching the Solution of Experimental Problems in Chemistry of 9th Grade Students
expert evaluation	Computation algorithm for integral indicator of socio-economic development
Expert System	Applied Artificial Intelligence for Air Navigation Sociotechnical System Development
extensions of algebras	Computations in extensions of multisorted algebras
F
fact checking	ADVANCED INFORMATION TECHNOLOGY TOOLS FOR MEDIA AND INFORMATION LITERACY TRAINING
factor analysis	Computation algorithm for integral indicator of socio-economic development Attitude to the Digital Learning Environment in Ukrainian Universities
Fast Fourier Transform	Automatic Image Annotation with Ensemble of Convolutional Neural Networks
fault-tolerant algorithm	Economic-based Fault-Tolerant Consensus Algorithm
fault-tolerant system	Methodology of defining the accident rate function for fault tolerant system with high responsibility purpose
Faults	On-Line Checking of Faults in Cyber-Physical Systems
faults in chains of the common signals	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
filtering noise	Noise Filtration in the Digital Images Using Fuzzy Sets and Fuzzy Logic
financial market	Simulation of the crisis contagion process between countries with different levels of socio-economic development
firm’s strategy	Simulation System in Educational and Career Guidance State Policy of Ukraine
First Programming Language	An Analysis of Criteria for Choosing a First Programming Language in High Schools
flowchart	Algorithms Constructor
Floyd-Hoare logic	Program Logics of Renominative Level with the Composition of Predicate Complement On the Kleene Algebra of Partial Predicates with Predicate Complement
Forecast	Forecasting Prices on the Stock Exchange Using a Trading System
Forecasting	Short-term electricity price forecasting using Generalized Additive Models
Forest Fire Spreading	Heterogeneous Hybrid Neural Network for Modeling Spatially Distributed Destructive Processes
formal methods	Formalization and Algebraic Modeling of University Economics On the Kleene Algebra of Partial Predicates with Predicate Complement
Formal natural language	On a multi-language computer support of a human mathematical activity
formalization of the economic model	Formalization and Algebraic Modeling of University Economics
formalization of the model	Formalization of the Model of Management of the Technological Innovations
formation control	Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment
Forms of Teaching	Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
ForTheL language	On a multi-language computer support of a human mathematical activity
FPGA	Polynomials Multiplier Under Irreducible Polynomial Module Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
free oscillation method	Application of wavelet transform for determining diagnostic signs
frequency regulator	Development of software for fuel combustion control system based on frequency regulator
full logistics supply chain	Ensuring the Security of the Full Logistics Supply Chain Based on the Вlockсhain Technology
Functional Behavior	Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method
Functional Safety Modeling	Multi-fragmental Markov models of functional safety of information and control system considering elimination of hardware-software faults
future bachelor of computer sciences	Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying Three-Dimensional Modeling
future teachers of mathematics	Cloud-oriented technologies of training as a means of forming of XXI century skills of future mathematics teachers
fuzzy logic	Noise Filtration in the Digital Images Using Fuzzy Sets and Fuzzy Logic
fuzzy set	Noise Filtration in the Digital Images Using Fuzzy Sets and Fuzzy Logic
G
Game based learning	Using Computer Simulations and Games in Engineering Education: Views from the Field
game personage	Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying Three-Dimensional Modeling
game surrounding	Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying Three-Dimensional Modeling
gamification	AR and VR as gamification of cognitive tasks
GDP per capita	Government Financial Support of Higher Education and its Role in Economic Prosperity of a Society
Generalized Additive Models	Short-term electricity price forecasting using Generalized Additive Models
geographic information system	Application of geographic information systems in the field of domestic waste management
geospatial analysis	Application of geographic information systems in the field of domestic waste management
GIS technology	Spatio-Temporal Representation of the Ecological State of the Surface Waters of the Lower Section of the Dnieper River using GIS Technologies
Google services	Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services
Government bureaucracy	Can Information Technology Increase Government Effectiveness?
Government Bureaucracy Effectiveness	Can Information Technology Increase Government Effectiveness?
Government Education Expenditures	Government Financial Support of Higher Education and its Role in Economic Prosperity of a Society
GPGPU	Large-scale loops parallelization for GPU accelerators
Graph of message flow	Software-algorithmic tool for analyzing the processes of messages distribution in social networks
graphical solution	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
Graphs	On Some Classes of Problems on Graphs
Green Development	Modern Information Technologies in Training of Green Business Managers
GRID-analyze	Optimization of flows and flexible redistribution of autonomous UAV routes in multilevel airspace
H
HCM	Integration of Information Systems for Predicting the Employee Behavior
Health-Saving Component	The Method for Forming the Health-Saving Component of Basic School Students’ Digital Competence
Hemiclonal Inheritance	Simulation as a Tool to Identify Dynamical Typology of Water Frog Hemiсlonal Population Systems
hesitant fuzzy set	Hesitant Fuzzy Information Processing Based on the Generalized Aggregation of Resulting Trapezoidal Linguistic Terms
heterogeneous platform	Automated Generation of OpenCL Programs Based on Algebra-Algorithmic Approach
Hier Education	Modern Information Technologies in Training of Green Business Managers
high school children	The Technique to Evaluate Pupils’ Intellectual and Personal Important Qualities for ICT Competences
Higher Education	Project Management Systems as Means of Development Students Time Management Skills Government Financial Support of Higher Education and its Role in Economic Prosperity of a Society
Higher Education Institutions	Maintaining Scientific Integrity through Academic-Industrial Research and Development Cooperation
Higher Education Standard	Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements
hotel management	Reliability of Big Data in Hotels Management
Human factor	Intellectual Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems
human resource management	Management of critical competencies in a multi-project environment
Human-machine	Intellectual Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems
Hybrid automata	On-Line Checking of Faults in Cyber-Physical Systems
hydrochemical ingredients	Spatio-Temporal Representation of the Ecological State of the Surface Waters of the Lower Section of the Dnieper River using GIS Technologies
I
ICT	Cloud-oriented technologies of training as a means of forming of XXI century skills of future mathematics teachers Simulation System in Educational and Career Guidance State Policy of Ukraine ICT IN PROFESSIONAL EDUCATION OF FUTURE PRIMARY SCHOOL TEACHERS: MODELING OF SCIENTIFIC AND RESEARCH WORK Technologies of Virtual and Augmented Reality for High Education and Secondary School Activity Plan Template for Supporting Study Science with Robotics and Programming The Method for Forming the Health-Saving Component of Basic School Students’ Digital Competence Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
ICT Support	ICT Support of Higher Education Institutions Participation in Innovation Networks
ICT-competence	Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course The blended methodology of learning computer networks: cloud-based approach
image classification	An Introduction to Image Classification and Object Detection using YOLO Detector
incompleteness of information	Formalization of the Model of Management of the Technological Innovations
indirect measurement	Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities
Industry 4.0	Methodology for the Construction of Predictive Analysis Systems as Exemplified by the Mining Equipment in the Conditions of Big Data and Simulation Methods Cluster Analysis of Countries Inequality due to IT Development
Inequality	Cluster Analysis of Countries Inequality due to IT Development
Infological model	Rule-based machine translation into Ukrainian Sign Language using concept dictionary
Information & Control System	Multi-fragmental Markov models of functional safety of information and control system considering elimination of hardware-software faults
information and communication development	Influence of the country’s information development on its tourist attractiveness
information and communication technologies	AR and VR as gamification of cognitive tasks High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits
information and learning technologies	Historical Approach to Modern Learning Environment
information gatekeeper	The model "information gatekeepers" for sentiment analysis of text data
Information Retrieval Systems	Search Query Classification Using Machine Learning for Information Retrieval Systems in Intelligent Manufacturing
information security	High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits
information signal	Application of wavelet transform for determining diagnostic signs
Information System	Integration of IT education in Ukraine into the European educational space
information systems	Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects
Information Technologies	Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements
information technology	Maintaining Scientific Integrity through Academic-Industrial Research and Development Cooperation Information technology of digital images processing with saving of material resources ADVANCED INFORMATION TECHNOLOGY TOOLS FOR MEDIA AND INFORMATION LITERACY TRAINING
information-analytical support	Information-analytical Support for the Processes of Formation of "Smart Sociopolis" Truskavets
information-driven system	Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System
information-measuring system	Information measuring system for monitoring thermal resistance
informational and communication technologies (ICT) life-long leaning (LLL)
informational computer technologies (ICT)	Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services
Innovations	ICT Support of Higher Education Institutions Participation in Innovation Networks
innovative approaches	Innovative approaches in C introductory programming courses
insertion modeling	Formalization and Algebraic Modeling of University Economics Formalization and Algebraic Modeling of Tokenomics Projects
Insulin pump	Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method
integral indicator	Computation algorithm for integral indicator of socio-economic development
integration	Integration of Information Systems for Predicting the Employee Behavior Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine
intellect	The Technique to Evaluate Pupils’ Intellectual and Personal Important Qualities for ICT Competences
Intelligent Manufacturing	Search Query Classification Using Machine Learning for Information Retrieval Systems in Intelligent Manufacturing
Intelligent Tutoring System	STRUCTURAL DIAGNOSIS METHOD FOR TRAINEE’S COMPUTER PROGRAMS
interactive multimedia object	About One Approach to Building Systems for Testing Physical Knowledge
interactive teaching forms	Computer Modeling of Educational Process as Way to Modern Learning Technologies
International tourism arrivals	Influence of the country’s information development on its tourist attractiveness
Internet of Things	Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method
interpreters of algebraic operations	Computations in extensions of multisorted algebras
Introductory Programming	An Analysis of Criteria for Choosing a First Programming Language in High Schools
investigative approach	THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM
IoT	Multi-Criteria Decision Making Approaches for Rational Choice of Wireless Communication Technologies for IoT-Based Systems
IT	Technologies of Virtual and Augmented Reality for High Education and Secondary School
IT development	Cluster Analysis of Countries Inequality due to IT Development
IT project management	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
IT spesialists’ preparation	Computer visualization of logic elements of the information system based on PROTEUS
IT-education	Integration of IT education in Ukraine into the European educational space
IT-industry	Integration of IT education in Ukraine into the European educational space
K
keypoints	Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
keywords thesaurus	The model "information gatekeepers" for sentiment analysis of text data
knowledge representation	Ontological model of representation of university resources
KPI	Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure
L
Language Selection Criteria	An Analysis of Criteria for Choosing a First Programming Language in High Schools
Laplace Transform	Reliability of adaptive traffic lights ensured by warm standby with estimation of its use
learning environment	Historical Approach to Modern Learning Environment AR and VR as gamification of cognitive tasks The Technique to Evaluate Pupils’ Intellectual and Personal Important Qualities for ICT Competences THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM The‭ ‬Comparative Analysis‭ ‬of the‭ ‬Design and Application of the‭ ‬Cloud-based Components for Mathematics‭ Learning
learning for basics of mathematical modeling	THE SIMULTANEOUS USE OF EXEL AND GEOGEBRA TO TRAINING THE BASICS OF MATHEMATICAL MODELING
learning geometric task	Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes
learning tools	THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM
Life Long Learning (LLL)	Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services
lifelong learning	Design of Approaches to the Development of Teacher’s Digital Competencies in the Process of Their Lifelong Learning
Likelihood Model	Heterogeneous Hybrid Neural Network for Modeling Spatially Distributed Destructive Processes
linguistic recognition	Intelligent Dialogue System Based on Deep Learning Technology
linguistic term	Hesitant Fuzzy Information Processing Based on the Generalized Aggregation of Resulting Trapezoidal Linguistic Terms
Liquidity risk	Simplified Model of Bank Balance Sheet Management
Logic	Extending the SMT-Lib Standard with Theory of Nominative Data
logical analysis of natural language	Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic
logical and power-oriented checkability	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
logical elements of information system	Computer visualization of logic elements of the information system based on PROTEUS
loop optimization	Large-scale loops parallelization for GPU accelerators
ludics theory	Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic
M
M-ary tree	STRUCTURAL DIAGNOSIS METHOD FOR TRAINEE’S COMPUTER PROGRAMS
machine learning	News Feed in Stock Movement Prediction Search Query Classification Using Machine Learning for Information Retrieval Systems in Intelligent Manufacturing Adaptive Testing Model as the Method of Quality Knowledge Control Individualizing An Introduction to Image Classification and Object Detection using YOLO Detector Intelligent Dialogue System Based on Deep Learning Technology
macroeconomic indicators	Simulation of the crisis contagion process between countries with different levels of socio-economic development
macrostate	Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities
Malware	Dynamic Signature-based Malware Detection Technique Based on API Call Tracing
management of innovations	Formalization of the Model of Management of the Technological Innovations
Manufacturing Resource Planning	Assessing the Reviving Risks while using the Manufacturing Resource Planning system at agribusiness enterprises
Maple®	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
Markov cascade	Computational Modeling and Structural Stability
Markov Flow	Reliability of adaptive traffic lights ensured by warm standby with estimation of its use
mathematical disciplines	THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM The‭ ‬Comparative Analysis‭ ‬of the‭ ‬Design and Application of the‭ ‬Cloud-based Components for Mathematics‭ Learning
mathematical informatics	Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back
mathematical model	Simplified Model of Bank Balance Sheet Management Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence
Mathematical modelling	Software-algorithmic tool for analyzing the processes of messages distribution in social networks
mathematical models of test	About One Approach to Building Systems for Testing Physical Knowledge
Mathematical text verification	On a multi-language computer support of a human mathematical activity
Matrix Barcode	Data Compression and Representation as Multicolor Barcodes
matrix structure	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
MAXIMA	THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM
mean squared error	Noise Filtration in the Digital Images Using Fuzzy Sets and Fuzzy Logic
measures of complexity	Entropy analysis of crisis phenomena for DJIA index
measuring and control complex	Selecting a Rational Operation Mode of Mobile Power Unit Using Measuring and Control Complex
media literacy skills	ADVANCED INFORMATION TECHNOLOGY TOOLS FOR MEDIA AND INFORMATION LITERACY TRAINING
merged-partial c-value	Optimizing Automated Term Extraction for Terminological Saturation Measurement
metaobject protocol	Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6
Method	The Method for Forming the Health-Saving Component of Basic School Students’ Digital Competence
metric	Software models for investigation of Turbo-Product-codes decoding Evaluation of the Effectiveness of Domain Modeling Methods in Terms of Model Complexity
MHAT wavelet	Application of wavelet transform for determining diagnostic signs
Microsoft Project	Project Management Systems as Means of Development Students Time Management Skills
microstate	Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities
mid-air collision	Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment
mobile application	Technologies of Virtual and Augmented Reality for High Education and Secondary School
mobile power unit	Selecting a Rational Operation Mode of Mobile Power Unit Using Measuring and Control Complex
modeling	Computational Modeling and Structural Stability
modeling process	Spatio-Temporal Representation of the Ecological State of the Surface Waters of the Lower Section of the Dnieper River using GIS Technologies
modelling of electrical circuits	Computer visualization of logic elements of the information system based on PROTEUS
Modern Information Technologies	Modern Information Technologies in Training of Green Business Managers
modular multiplication	Polynomials Multiplier Under Irreducible Polynomial Module
Monitoring and Audit	Maintaining Scientific Integrity through Academic-Industrial Research and Development Cooperation
monitoring of enclosing struc-tures	Information measuring system for monitoring thermal resistance
MOODLE	Competency framework as an instrument to assess professional competency of future seafarers
Morlet wavelet	Application of wavelet transform for determining diagnostic signs
multi-criteria approach	Multi-Criteria Decision Making Approaches for Rational Choice of Wireless Communication Technologies for IoT-Based Systems
multi-project environment	Management of critical competencies in a multi-project environment
multi-view stereo vision	Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
Multicolor Barcode	Data Compression and Representation as Multicolor Barcodes
Multifragmentary models	Multi-fragmental Markov models of functional safety of information and control system considering elimination of hardware-software faults
multiple unmanned aerial vehicles	Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment
Multiscale entropy	Entropy analysis of crisis phenomena for DJIA index
multisorted algebras	Computations in extensions of multisorted algebras
N
nearest neighbors search	Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
Network	ICT Support of Higher Education Institutions Participation in Innovation Networks
neural network	Intelligent Dialogue System Based on Deep Learning Technology
neural networks	Search Query Classification Using Machine Learning for Information Retrieval Systems in Intelligent Manufacturing The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back
new pedagogical technologies	Modeling of Cognitive Process Using Complexity Theory Methods
news	News Feed in Stock Movement Prediction
Nominative data	Extending the SMT-Lib Standard with Theory of Nominative Data
Non-Functional Software Characteristics	Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle
O
object detection	An Introduction to Image Classification and Object Detection using YOLO Detector
object-oriented design	Algorithms Constructor
obstacle collision avoidance	Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment
OEP	Open Distance Learning For Teachers
OER	Open Distance Learning For Teachers
OLAP	CLOUD BASED ARCHITECTURE OF THE CORE BANKING SYSTEM
OLTP	CLOUD BASED ARCHITECTURE OF THE CORE BANKING SYSTEM
On-line checking	On-Line Checking of Faults in Cyber-Physical Systems
online resource	ADVANCED INFORMATION TECHNOLOGY TOOLS FOR MEDIA AND INFORMATION LITERACY TRAINING
ontological model of university resources	Ontological model of representation of university resources
Ontology-Based Intelligent Agent (OBIA)	Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle
open online course	Open Distance Learning For Teachers
OpenCL	Automated Generation of OpenCL Programs Based on Algebra-Algorithmic Approach
Operation mode	Selecting a Rational Operation Mode of Mobile Power Unit Using Measuring and Control Complex
optimistic position	Hesitant Fuzzy Information Processing Based on the Generalized Aggregation of Resulting Trapezoidal Linguistic Terms
optimization	Optimizing Automated Term Extraction for Terminological Saturation Measurement
Optimization of activities	Intellectual Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems
ORB feature detector	Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
P
parallel computation	Automated Generation of OpenCL Programs Based on Algebra-Algorithmic Approach
parallelization methods	Large-scale loops parallelization for GPU accelerators
partial c-value	Optimizing Automated Term Extraction for Terminological Saturation Measurement
partial predicate	Program Logics of Renominative Level with the Composition of Predicate Complement On the Kleene Algebra of Partial Predicates with Predicate Complement
path planning	Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment
pattern recognition	An Introduction to Image Classification and Object Detection using YOLO Detector
peak signal-to-noise ratio	Noise Filtration in the Digital Images Using Fuzzy Sets and Fuzzy Logic
pedagogical‭ ‬university	The‭ ‬Comparative Analysis‭ ‬of the‭ ‬Design and Application of the‭ ‬Cloud-based Components for Mathematics‭ Learning
Pelophylax esculentus complex	Simulation as a Tool to Identify Dynamical Typology of Water Frog Hemiсlonal Population Systems
perceptron	Simulation of the crisis contagion process between countries with different levels of socio-economic development
Perl 6	Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6
Permutation entropy	Entropy analysis of crisis phenomena for DJIA index
personal learning environment	Open Distance Learning For Teachers
personality	The Technique to Evaluate Pupils’ Intellectual and Personal Important Qualities for ICT Competences
pessimistic position	Hesitant Fuzzy Information Processing Based on the Generalized Aggregation of Resulting Trapezoidal Linguistic Terms
Physics
physics experiment	Activity Plan Template for Supporting Study Science with Robotics and Programming
physics picture of the world	VIRTUAL EDUCATIONAL PHYSICS EXPERIMENT AS A MEANS OF FORMATION OF THE SCIENTIFIC WORLDVIEW OF THE PUPILS
physics test	About One Approach to Building Systems for Testing Physical Knowledge
Planning	Project Management Systems as Means of Development Students Time Management Skills
polynomials	Polynomials Multiplier Under Irreducible Polynomial Module
PostgreSQL	CLOUD BASED ARCHITECTURE OF THE CORE BANKING SYSTEM
practical labs	Augmented Reality in Training Engineering Students: Teaching Techniques
Pre-service Informatics teachers' training	SEARCH ALGORITHMS LEARNING BASED ON COGNITIVE VISUALIZATION
predicate linear logic	Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic
prediction	News Feed in Stock Movement Prediction
Predictive analysis	Methodology for the Construction of Predictive Analysis Systems as Exemplified by the Mining Equipment in the Conditions of Big Data and Simulation Methods
predictive analytics	Integration of Information Systems for Predicting the Employee Behavior
principles of educational video developing	Educational Video in the University: Instruments, Technologies, Opportunities and Restrictions
proactive management	Integration of Information Systems for Predicting the Employee Behavior
problem of the hidden faults	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
problem set	Innovative approaches in C introductory programming courses
Process Model Analysis	A Method for Business Process Model Analysis and Improvement
Process Model Improvement	A Method for Business Process Model Analysis and Improvement
Professional Competencies of Information Technology University Teachers	Development of professional competencies of information technology university teachers: motivation and content
professional development	Design of Approaches to the Development of Teacher’s Digital Competencies in the Process of Their Lifelong Learning
professional education	ICT IN PROFESSIONAL EDUCATION OF FUTURE PRIMARY SCHOOL TEACHERS: MODELING OF SCIENTIFIC AND RESEARCH WORK
Profitability	Simplified Model of Bank Balance Sheet Management
prognostication of the crop	Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence
program logic	Program Logics of Renominative Level with the Composition of Predicate Complement
programming	Innovative approaches in C introductory programming courses
Programming Paradigm	An Analysis of Criteria for Choosing a First Programming Language in High Schools
project management	Management of critical competencies in a multi-project environment
Project Management Systems	Project Management Systems as Means of Development Students Time Management Skills
Proteus	Computer visualization of logic elements of the information system based on PROTEUS
Psychological types of personality	Adaptive Testing Model as the Method of Quality Knowledge Control Individualizing
public opinion	Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities
Public verifiability	Random Re-Ordering of the Parties in the Consensus Protocol
Q
Quality Metrics	Quality assessment of unmanned aerial systems using Bayesian Trust Networks processing of testing data
quantum cryptography	High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits
quantum secure direct communication	High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits
questionnaire	Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine
quick response (QR) code	Design of mobile augmented reality system for early literacy
qutrit	High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits
R
Random re-ordering	Random Re-Ordering of the Parties in the Consensus Protocol
random sequence	Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence
Rasch model	Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course
recreational innovative structures	Information-analytical Support for the Processes of Formation of "Smart Sociopolis" Truskavets
reduction	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
reference program	STRUCTURAL DIAGNOSIS METHOD FOR TRAINEE’S COMPUTER PROGRAMS
Reliability	Reliability of adaptive traffic lights ensured by warm standby with estimation of its use
reliability model	Methodology of defining the accident rate function for fault tolerant system with high responsibility purpose
Remotely Piloted Aircraft	Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment Optimization of flows and flexible redistribution of autonomous UAV routes in multilevel airspace
reproduction cycles	Business models of reproduction cycles for digital economy
Research and Development	Maintaining Scientific Integrity through Academic-Industrial Research and Development Cooperation
research work	ICT IN PROFESSIONAL EDUCATION OF FUTURE PRIMARY SCHOOL TEACHERS: MODELING OF SCIENTIFIC AND RESEARCH WORK
resource-based approach	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
revenue management	Reliability of Big Data in Hotels Management
Reviving	Assessing the Reviving Risks while using the Manufacturing Resource Planning system at agribusiness enterprises
robotics	Activity Plan Template for Supporting Study Science with Robotics and Programming
robotics school programs	Activity Plan Template for Supporting Study Science with Robotics and Programming
S
SAD system	On a multi-language computer support of a human mathematical activity
safety analysis	Methodology of defining the accident rate function for fault tolerant system with high responsibility purpose
safety-related system	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
Sales	Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company
school curriculum
scientific activity	Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects
Scientific Integrity	Maintaining Scientific Integrity through Academic-Industrial Research and Development Cooperation
scientific work	ICT IN PROFESSIONAL EDUCATION OF FUTURE PRIMARY SCHOOL TEACHERS: MODELING OF SCIENTIFIC AND RESEARCH WORK
scientometric indicators	Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects
scientometric systems	Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects
Search algoritms	SEARCH ALGORITHMS LEARNING BASED ON COGNITIVE VISUALIZATION
Search Query	Search Query Classification Using Machine Learning for Information Retrieval Systems in Intelligent Manufacturing
security amplification	High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits
security of the telecommunication channels	Ensuring the Security of the Full Logistics Supply Chain Based on the Вlockсhain Technology
self-organizing map	Simulation of the crisis contagion process between countries with different levels of socio-economic development
semantic analysis	The model "information gatekeepers" for sentiment analysis of text data
sentiment analysis	The model "information gatekeepers" for sentiment analysis of text data
Shannon entropy	Entropy analysis of crisis phenomena for DJIA index
Signature	Dynamic Signature-based Malware Detection Technique Based on API Call Tracing
Simple Global Supply Chain	Assessing the Reviving Risks while using the Manufacturing Resource Planning system at agribusiness enterprises
Simply-typed Lambda calculus	Simple-typed Functional Language Modelled by Category Theory
Simulation	Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities Methodology for the Construction of Predictive Analysis Systems as Exemplified by the Mining Equipment in the Conditions of Big Data and Simulation Methods
Simulation Modelling	Simulation as a Tool to Identify Dynamical Typology of Water Frog Hemiсlonal Population Systems
Simulations	Using Computer Simulations and Games in Engineering Education: Views from the Field
Single Digital Market	The main barriers and drivers of the digital transformation of Ukraine business structures
skills of the XXI century	Cloud-oriented technologies of training as a means of forming of XXI century skills of future mathematics teachers
Smart city	Optimization of flows and flexible redistribution of autonomous UAV routes in multilevel airspace
Smart Kids Technology	Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
smart sociopolis	Information-analytical Support for the Processes of Formation of "Smart Sociopolis" Truskavets
SMT solver	Extending the SMT-Lib Standard with Theory of Nominative Data
Social network	Software-algorithmic tool for analyzing the processes of messages distribution in social networks
socio-economic development	Computation algorithm for integral indicator of socio-economic development
Sociotechnical system	Applied Artificial Intelligence for Air Navigation Sociotechnical System Development
software	Development of software for fuel combustion control system based on frequency regulator Evaluation of the Effectiveness of Domain Modeling Methods in Terms of Model Complexity
software development	Design of mobile augmented reality system for early literacy
software development kit (SDK)	Design of mobile augmented reality system for early literacy
Software Engineering	Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements
software model	Software models for investigation of Turbo-Product-codes decoding
Software Requirements	Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle
Software Requirements Specification (SRS)	Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle
software synthesis	Automated Generation of OpenCL Programs Based on Algebra-Algorithmic Approach
Software system	Algorithms Constructor
software tools	Support of Investors’ Decision Making in Economic Experiments Using Software Tools
software verification	Program Logics of Renominative Level with the Composition of Predicate Complement On the Kleene Algebra of Partial Predicates with Predicate Complement
solutions	Using the Cloud-Oriented Virtual Chemical Laboratory VLab in Teaching the Solution of Experimental Problems in Chemistry of 9th Grade Students
soundness	Program Logics of Renominative Level with the Composition of Predicate Complement
spatial similarity	Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
specialized software	Information technology of digital images processing with saving of material resources
Spiking Neuron	Heterogeneous Hybrid Neural Network for Modeling Spatially Distributed Destructive Processes
spreadsheets	Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back
SQL computer learning clustering	COMPUTER INTELLIGENT TUTORING SYSTEM “SQLTOR”
state policy	Simulation System in Educational and Career Guidance State Policy of Ukraine
STEM	Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine Activity Plan Template for Supporting Study Science with Robotics and Programming
STEM education	Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services
Stock exchange	Forecasting Prices on the Stock Exchange Using a Trading System
stock market	News Feed in Stock Movement Prediction Entropy analysis of crisis phenomena for DJIA index
structural automatic model	Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System
Structural Automaton Model	Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method
structural equation modeling	Methodology of Using Structural Equation Modeling in Educational Research
structural stability	Computational Modeling and Structural Stability
structure from motion	Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
structure similarity	Noise Filtration in the Digital Images Using Fuzzy Sets and Fuzzy Logic
Students’ Independent Work	Computer Simulation as a Method of Learning Research in Computational Mathematics
Sufficiency of Requirements Information	Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle
summer camp	Activity Plan Template for Supporting Study Science with Robotics and Programming
super-criteria	Multi-Criteria Decision Making Approaches for Rational Choice of Wireless Communication Technologies for IoT-Based Systems
support of learning processes	Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes
survey	Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine Attitude to the Digital Learning Environment in Ukrainian Universities
Syllabus	Integration of IT education in Ukraine into the European educational space
symbolic computations	Computations in extensions of multisorted algebras
symbolic modeling	Formalization and Algebraic Modeling of Tokenomics Projects
synergetics	Modeling of Cognitive Process Using Complexity Theory Methods
synthetic learning environment	AR and VR as gamification of cognitive tasks
system of constraints	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
systems of computer mathematics	Cloud-oriented technologies of training as a means of forming of XXI century skills of future mathematics teachers Computations in extensions of multisorted algebras The‭ ‬Comparative Analysis‭ ‬of the‭ ‬Design and Application of the‭ ‬Cloud-based Components for Mathematics‭ Learning
Systems of computer mathematics for educational purposes	Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes
T
TALIS methodology	Methodology of Using Structural Equation Modeling in Educational Research
teacher training	Design of Approaches to the Development of Teacher’s Digital Competencies in the Process of Their Lifelong Learning
teacher’s self-efficacy	Methodology of Using Structural Equation Modeling in Educational Research
teaching methodology of Physics
technical device	ADVANCED INFORMATION TECHNOLOGY TOOLS FOR MEDIA AND INFORMATION LITERACY TRAINING
Technical Diagnosis	Quality assessment of unmanned aerial systems using Bayesian Trust Networks processing of testing data
technological innovation	Formalization of the Model of Management of the Technological Innovations
technology	Technologies of Virtual and Augmented Reality for High Education and Secondary School
Technology Transfer	ICT Support of Higher Education Institutions Participation in Innovation Networks
temperature and heat flux sensors	Information measuring system for monitoring thermal resistance
terminological saturation	Optimizing Automated Term Extraction for Terminological Saturation Measurement
test pattern	About One Approach to Building Systems for Testing Physical Knowledge
Testing	Quality assessment of unmanned aerial systems using Bayesian Trust Networks processing of testing data
texture map	Textures Maps Complex for 3D Character Model Development
texturing	Textures Maps Complex for 3D Character Model Development
the Gauss-Jordan method	The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
the Travel and Tourism Competitiveness Index	Influence of the country’s information development on its tourist attractiveness
Theorem proving	On a multi-language computer support of a human mathematical activity
thermal resistance	Information measuring system for monitoring thermal resistance
three-dimensional modeling	Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying Three-Dimensional Modeling
Time Management Skills	Project Management Systems as Means of Development Students Time Management Skills
tokenomic modeling	Formalization and Algebraic Modeling of Tokenomics Projects
tokenomics	Economic-based Fault-Tolerant Consensus Algorithm Formalization and Algebraic Modeling of Tokenomics Projects
tonality analysis	The model "information gatekeepers" for sentiment analysis of text data
tools capabilities	Application of geographic information systems in the field of domestic waste management
Topology	Optimization of flows and flexible redistribution of autonomous UAV routes in multilevel airspace
trace	STRUCTURAL DIAGNOSIS METHOD FOR TRAINEE’S COMPUTER PROGRAMS
Trading system	Forecasting Prices on the Stock Exchange Using a Trading System
trainee’s program	STRUCTURAL DIAGNOSIS METHOD FOR TRAINEE’S COMPUTER PROGRAMS
training of engineering students	Augmented Reality in Training Engineering Students: Teaching Techniques
Translation algorithm	Rule-based machine translation into Ukrainian Sign Language using concept dictionary
transparent intensional logic	Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic
transport company	Hesitant Fuzzy Information Processing Based on the Generalized Aggregation of Resulting Trapezoidal Linguistic Terms
Tsallis entropy	Entropy analysis of crisis phenomena for DJIA index
Turbo-Product code	Software models for investigation of Turbo-Product-codes decoding
Type theory	Simple-typed Functional Language Modelled by Category Theory
U
Ukrainian Sign Language	Rule-based machine translation into Ukrainian Sign Language using concept dictionary
Ukrainian teachers	Methodology of Using Structural Equation Modeling in Educational Research
Undetected Software Failure	Multi-fragmental Markov models of functional safety of information and control system considering elimination of hardware-software faults
Universal Logistics System	Assessing the Reviving Risks while using the Manufacturing Resource Planning system at agribusiness enterprises
University	Attitude to the Digital Learning Environment in Ukrainian Universities
University-Enterprise Cooperation	Maintaining Scientific Integrity through Academic-Industrial Research and Development Cooperation
Unmanned Aerial Systems	Quality assessment of unmanned aerial systems using Bayesian Trust Networks processing of testing data
Unmanned Aerial Vehicle	Applied Artificial Intelligence for Air Navigation Sociotechnical System Development Optimization of flows and flexible redistribution of autonomous UAV routes in multilevel airspace
unmanned aerial vehicles	Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
V
ViAL+	Simulation System in Educational and Career Guidance State Policy of Ukraine
video content	Educational Video in the University: Instruments, Technologies, Opportunities and Restrictions
virtual case environment	Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services
virtual chemical laboratories	Using the Cloud-Oriented Virtual Chemical Laboratory VLab in Teaching the Solution of Experimental Problems in Chemistry of 9th Grade Students
virtual cloud lab	Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course
virtual laboratories	VIRTUAL EDUCATIONAL PHYSICS EXPERIMENT AS A MEANS OF FORMATION OF THE SCIENTIFIC WORLDVIEW OF THE PUPILS
virtual laboratory	Computer visualization of logic elements of the information system based on PROTEUS
virtual physics experiment	VIRTUAL EDUCATIONAL PHYSICS EXPERIMENT AS A MEANS OF FORMATION OF THE SCIENTIFIC WORLDVIEW OF THE PUPILS
Virtual reality	AR and VR as gamification of cognitive tasks Technologies of Virtual and Augmented Reality for High Education and Secondary School
virtual reality (VR)	Design of mobile augmented reality system for early literacy
volatility	The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting
vuforia	Design of mobile augmented reality system for early literacy
W
Warm Standby	Reliability of adaptive traffic lights ensured by warm standby with estimation of its use
Wavelet analysis	The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting
wavelet coherence	The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting
wavelet multiple correlation and cross correlation	The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting
wavelet transform	Application of wavelet transform for determining diagnostic signs
wireless communication technology	Multi-Criteria Decision Making Approaches for Rational Choice of Wireless Communication Technologies for IoT-Based Systems
Workflow	Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company
workforce analitics (WFA)	Integration of Information Systems for Predicting the Employee Behavior
Y
Yuor 1st freely chosen keyword (knowledge transfer)	Development Of The State University Of Infrastructure And Technologies Knowledge Transfer Strategy For Improving The Quality Of Higher Education
Yuor 2st freely chosen keyword (strategy)	Development Of The State University Of Infrastructure And Technologies Knowledge Transfer Strategy For Improving The Quality Of Higher Education
Yuor 3st freely chosen keyword (quality of higher education)	Development Of The State University Of Infrastructure And Technologies Knowledge Transfer Strategy For Improving The Quality Of Higher Education
Yuor 4st freely chosen keyword ("knowledge triangle")	Development Of The State University Of Infrastructure And Technologies Knowledge Transfer Strategy For Improving The Quality Of Higher Education
Yuor 5st freely chosen keyword (mechanism of an innovative university formation)	Development Of The State University Of Infrastructure And Technologies Knowledge Transfer Strategy For Improving The Quality Of Higher Education
о
оxy-fuel combustion boiler	Development of software for fuel combustion control system based on frequency regulator
“
“Operations research”	THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM