yusuke1997/dblp-id-title huggingface dataset:
Simple-typed Functional Language Modeled by Category Theory
Comparative Analysis of Learning in Three-Subjective Didactic Model
Building Agreed Vocabularies and Data Structures for Successful Open City Data Sharing
Experimental FMECA-based Assessing of the Critical Information Infrastructure Importance in Aviation
Lazy Parallel Synchronous Composition of Infinite Transition Systems
Quality Assessment of Teaching the Disciplines in the E-learning Environment of Sumy State University
Learning System FRIMAN
Interactive Augmented Reality Technologies for Model Visualization in the School Textbook
Remote IoT-based Control System of the Mobile Caterpillar Robot
A Formal Proof of Correctness of a Distributed Presentation Software System
The Comparative Analysis of the Cloud-based Learning Components Delivering Access to Mathematical Software
Dynamic Negotiations in Multi-Agent Systems
Mobile Learning Approach as a Supplementary Approach in the Organization of the Studying Process in Educational Institutions
Entropy Analysis of Crisis Phenomena for DJIA Index
Support of Investors' Decision Making in Economic Experiments Using Software Tools
Models of Class Specification Intersection of Object-Oriented Programming
Two Approaches to Modelling Logical Time in Cyber-Physical Systems
The Review of the Adaptive Learning Systems for the Formation of Individual Educational Trajectory
Decomposition and Isomorphism of Logical Systems
Usable Security Versus Secure Usability: an Assessment of Attributes Interaction
Calculation Method for a Computer's Diagnostics of Cardiovascular Diseases Based on Canonical Decompositions of Random Sequences
Reliability of Adaptive Traffic Lights Ensured by Warm Standby with Estimation of its Use
Short-term Electricity Price Forecasting Using Generalized Additive Models
A Movement of Higher Education Institutions to Consortiums of Institutions Banding Together to Create a Position of Strength
Verification of Systems: Deadlock Analysis Based on Petri Nets
Experience of Foundation STEM-School
Applied Artificial Intelligence for Air Navigation Sociotechnical System Development
Data Analysis of Private Investment Decision Making Using Tools of Robo-Advisers in Long-Run Period
Logical Time Models to Study Cyber-Physical Systems
Pedagogical Design of Digital Learning for Future Art Teachers in a Virtual Classroom
Information and Communication Technologies in Education, Research, and Industrial Applications - 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6-10, 2020, Revised Selected Papers
Auditing of the Software of Computer Accounting System
Structural Diagnosis Method for Computer Programs Developed by Trainees
Information Competence of University Students in Ukraine: Development Status and Prospects
Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, Kherson, Ukraine, June 12-15, 2019
Combinatorial Strand Algebra in Insertion Modeling System
SMT-LIB Theory of Nominative Data
Analysis of Ergonomic Indicators and Compliance with the Principles of the Instructional Design of Education Courses in Adaptive Learning Systems
Our Approach to Formal Verification of Token Economy Models
Information and Communication Technologies in Education, Research, and Industrial Applications - 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers
New Technique for Hiding Data Using Adaptively Generated Pseudorandom Sequences
Integration of Information Technologies' Dynamic Development into Academic Teaching Process
High-Frequency Trade as a Component of Algorithmic Trading: Market Consequences
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions
ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Matrix Analogues of the Diffie-Hellman Protocol
Digital Learning Environment of Ukrainian Universities: The Main Components to Influence the Competence of Students and Teachers
Patching the Firewall Software to Improve the Availability and Security: Markov Models for Internet of Things Based Smart Business Center
Availability as a Cloud Service for Control System of Critical Energy Infrastructure
A Hybrid Approach for Feature Selection in Data Mining Modeling of Credit Scoring
Efficiency Assessment of Computer-Oriented Learning Environment of an Institute of Postgraduate Pedagogical Education: Factors, Criteria, Characteristics
OntoElect Approach for Iterative Ontology Refinement: a Case Study with ICTERI Scope Ontology
Digital Storytelling in a Foreign Language Classroom of Higher Educational Establishments
Technique for Cyberattacks Detection Based on DNS Traffic Analysis
Cross-Diagram UML Design Verification
Information and Communication Technologies in Education, Research, and Industrial Applications - 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019, Revised Selected Papers
Design and Development of MOOCs
SCADA Systems and Augmented Reality as Technologies for Interactive and Distance Learning
The Use of Digital Technologies for Flipped Learning Implementation
Assessment of Test Items Quality and Adaptive Testing on the Rasch Model
Application of 3D Printing and 3D Scanning Technologies in Educational Activities
Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements
Algorithms Constructor
Efficient Search in Short Documents
Extending the SMT-Lib Standard with Theory of Nominative Data
Distance Learning Technologies in Institution of Higher Education by Means of LCMS Moodle
Development of an Online-Course Syllabus "Operations Research Oriented to Cloud Computing in the CoCalc System"
An Information System to Support Internal Quality Assurance of Educational Programs
On the Results of a Study of the Willingness and the Readiness to Use Dynamic Mathematics Software by Future Math Teachers
Combining Verification and MDE Illustrated by a Formal Java Development
An Introduction to Image Classification and Object Detection using YOLO Detector
Calculation Methods of the Prognostication of the Computer Systems State under Different Level of Information Uncertainty
Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics
The Model "Information Gatekeepers" for Sentiment Analysis of Text Data
Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic
Intelligent Cyber Defense System
Modeling of Effectiveness of Media Investment Based on Data Science Technologies for Ukrainian Bank
Protoautomata as Models of Systems with Data Accumulation
ICT Using in Integrated Teaching Management Core Courses in a Foreign Language
Optimizing Automated Term Extraction for Terminological Saturation Measurement
Scientific E-conference as a Tool of Development Students Research Competences: Local Study
On Existence of Total Input-Output Pairs of Abstract Time Systems
Availability Model of Critical NPP I&C Systems Considering Software Reliability Indices
The Concept of Benchmarking in Librarianship
Application of Ordered Fuzzy Decision Trees in Construction of Structure Function of Multi-State System
Influence of the Labor Market upon the Forming of Competence of Future IT Specialists
The Use of ICT for Training Future Teachers: An Example of the Course on «Art Education of Preschool Children»
Deliverology Implementation at the Local Government Level of Ukraine
Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company
Educational Computer Modelling in Natural Sciences Education: Chemistry and Biology Aspects
Using the Cloud-Oriented Virtual Chemical Laboratory VLab in Teaching the Solution of Experimental Problems in Chemistry of 9th Grade Students
A Data Transfer Model of Computer-Aided Vehicle Traffic Coordination System for the Rail Transport in Ukraine
C-Clause Calculi and Refutation Search in First-Order Classical Logic
A Composite Indicator of K-society Measurement
Understanding Clock Constraints Coalgebraically
A Random Flat Graph Drawing Generation Algorithm for Testing Printed Circuit Board Tracing Software
Application of Wavelet Transform for Determining Diagnostic Signs
Implementation of an ICT Curriculum - Tips and Pitfalls of New Learning Concepts
TIO - a Software Toolset for Mobile Learning in MINT Disciplines
Universal Properties of the General Agent-Based Market Model through Computational Experiments
The Usage of Educational Portal for Distance Learning
Strategic learning towards equilibrium. Exploratory analysis and models
Checking Inconsistencies in UML Design
Proceedings of the 9th Illia O. Teplytskyi Workshop on Computer Simulation in Education (CoSinE 2021) co-located with 17th International Conference on ICT in Education, Research, and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI 2021), Kherson, Ukraine, October 1, 2021
Rankings of Students Based on Experts' Assessment of Levels of Verification of Learning Outcomes by Test Items
Integrated Information and Communication System as a Basis for Strategic Partnership in Agribusiness
Information Technologies in Training of Green Business Managers
KSU Feedback Service as a Tool for Getting Feedback in Educational Institutions. Perspectives of Use in Government Organizations and Commercial Companies
Artificial Neural Networks for Recognition of Brain Tumors on MRI Images
Perspective Analysis of the Use of Electronic Social Networks in a Learning Environment
A Business Culture Quantitative Analysis Method
The Use of Digital Tools for Mastering Practical Disciplines in the Distance Format of Training Bachelors of Preschool Education
Collaboration between Research Institutions and University Sector Using Cloud-based Environment
Using Chatbots to Approach Individual Learning Trajectories in Physics for Foreign Students
Cognitive Abilities' Research Technology as a Tool for STEM-Education
Information Technology of Digital Images Processing with Saving of Material Resources
Formalization and Algebraic Modeling of Tokenomics Projects
Availability Assessment of Information and Control Systems with Online Software Update and Verification
Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems
The Key Features of the CoCalc Cloud Service Use in the Process of Mathematics and Science Teachers Training
Simulation of Agricultural Policy Scenarios Using the AGMEMOD Model
Random Re-Ordering of the Parties in the Consensus Protocol
Efficient Algorithm for Reachability Checking in Modeling
Specializations in Symbolic Verification
Spatio-Temporal Representation of the Ecological State of the Surface Waters of the Lower Section of the Dnieper River using GIS Technologies
Developing a Self-regulation Environment in an Open Learning Model with Higher Fidelity Assessment
Computer Intelligent Tutoring System "SQLTOR"
System for Testing Physics Knowledge
A Study of Bi-Objective Models for Decision Support in Software Development Process
Scientific and Educational Project "IT-OSVITA" as a Part of the Training System of Specialists for the Needs of IT Industry of Ukraine
Implementation of Robo-Advisor Services for Different Risk Attitude Investment Decisions Using Machine Learning Techniques
AHP-Based Comparative Analysis of Electricity Generating Portfolios for the Companies in EU and Ukraine: Criteria, Reliability, Safety
DDoS Botnet Detection Technique Based on the Use of the Semi-Supervised Fuzzy c-Means Clustering
Game Theoretic Analysis of Multi-Processor Schedulers: Matrix Multiplication Example
Deep Learning Forecasts of the Electricity Price with Special Consideration of the Electricity Supply
Engineering in Educational Institutions: Standards for Arduino Robots as an Opportunity to Occupy an Important Niche in Educational Robotics in the Context of Manufacturing 4.0
An Agent-Based Simulation for Optimizing the Parameters of a Railway Transport System
A Markov Model of IoT System Availability Considering DDoS Attacks and Energy Modes of Server and Router
Developing Training Materials for the On-Line Course "Project Method in Teaching Higher Mathematics"
ICT for Performance Assessment of Emergent Technologies Operators
Software Packages for Econometrics: Financial Time Series Modeling
Adaptive Testing Model as the Method of Quality Knowledge Control Individualizing
An Interleaving Reduction for Reachability Checking in Symbolic Modeling
University-Enterprises Cooperation in Ukrainian Game Industry
Fluid Flow Modeling in Houdini
Development of the Professional Competence of Bachelors in Preschool Education Through Online Interaction
Cognitive Technologies and Competence Development: Bibliometric Analysis
Using Computer Simulations and Games in Engineering Education: Views from the Field
Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems
Use of Neural Networks for Monitoring Beam Spectrum of Industrial Electron Accelerators
An Information Technology for Detection and Fixing Effort Estimation of Business Process Model Structuredness Errors
A Lightweight Approach to Contact Data Synchronization in Mobile Social Networks
Quality Assessment and Assurance of Machine Learning Systems: A Comprehensive Approach
Experience in the Use of Mobile Technologies as a Physics Learning Method
Self-directed Learning in Chemistry Laboratory via Simulations
General Disciplines and Tools for E-Learning Software Engineering
Regional Policy of Advanced ICT in the Minds of Forming Economy Knowledge
Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method
Cloud Resources and Services for Development of Self-Educational Competence of Future IT Specialists: Business Process Modelling and Examples of Using
Plausible Event-Tree Networks for Knowledge Representation in Real-Time GIS-Based Decision Support Systems
Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics
Lyapunov Exponents as Indicators of the Stock Market Crashes
Neuro-Genetic Hybrid System for Management of Organizational Development Measures
Cloud-oriented Training Technologies as a Means of Forming the XXI Century Skills of Future Mathematics Teachers
Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model
Quality of an Ontology as a Dynamic Optimisation Problem
Economic Modeling of Energy Security: Simulation of Economic Processes (Case of Ukraine Gas System)
Automated Monitoring of Content Demand in Distance Learning
Technologies of Virtual and Augmented Reality for High Education and Secondary School
On Some Classes of Problems on Graphs
Modeling of the TV3-117 Aircraft Engine Technical State as Part of the Helicopter Power Plant in the Form of the Markov Process of Death and Reproduction
A Company-Specific Business Process 'Accounting of Cash on the Bank Accounts' in the Global Electronic Payment System
Modeling of Cognitive Process Using Complexity Theory Methods
Ergonomics of Cyberspace. Mathematical Modeling to Create Groups of Operators for Error-Free and Timely Implementation of Functions in a Distributed Control System
Selection of Mobile ICT for Learning Informatics of Future Professionals in Engineering Pedagogy
Intelligent Support of the Business Process Model Analysis and Improvement Method
Direct and Indirect Impact Analysis of Ukrainian Industries on Gross Output and Labor Market in Leontief Model
Some ways of increasing the efficiency of teaching data structures
Building an Extensible Symbiotic University-Enterprises Cooperation in Ukrainian Game Industry
E-Learning Managers Training at Universities: Projection, Design and Efficiency Indicators
Scenario-Based Markovian Modeling of Web-System Availability Considering Attacks on Vulnerabilities
The Relevance of Training Primary School Teachers Computational Thinking
Method of Evaluation of Electronic Educational Resource Quality for Conformity Assessment (Certification)
Innovative Complex of Information and Technological Support of Professional Training in Smart Cities
Maintainability Metrics of UML Design
Minimalism in Designing User Interface of the Online Platform "Higher School Mathematics Teacher"
Program Algebras with Monotone Floyd-Hoare Composition
On the Kleene Algebra of Partial Predicates with Predicate Complement
Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems)
The Hybrid Service Model of Electronic Resources Access in the Cloud-Based Learning Environment
Computer Modeling of Hydrodynamic and Heat-Mass Transfer Processes in the Vortex Type Granulation Devices
A Petri net-based simulation of synchronized curriculum for IT-specialists
Measuring the Effectiveness of the Implementation of Individual Educational Trajectories by University Students
Theoretical Fundamentals of Search Engine Optimization Based on Machine Learning
Binary Quasi Equidistant and Reflected Codes in Mixed Numeration Systems
Applied Aspects of Instrumental Digital Didactics: M-learning with the Use of Smartphone Sensors
Soft Computing Algorithm for Arithmetic Multiplication of Fuzzy Sets Based on Universal Analytic Models
Learning Style Identification System: Design and Data Analysis
Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6
Educator's e-Portfolio in the Modern University
Towards On-The-Fly Creation of Modeling Language Jargons
A Demo Processor as an Educational Tool
A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems
Training of E-learning Managers at Universities
A Mixed Method of Parallel Software Auto-Tuning Using Statistical Modeling and Machine Learning
Software Reliability Growth Model's Assumptions in Context of the Secondary Faults
Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back
ICT and e-Business Development by the Ukrainian Enterprises: The Empirical Research
An Approach to Forming Dashboards for Business Process Indicators Analysis using Fuzzy and Semantic Technologies
Cloud Services in the Distance Learning System for Future Sailors
Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System
Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017
A Roadmap For Implementing The Sustainable Software Engineering Curricula In Ukraine According To European E-Competence Framework And Student-Centered Learning Conception
Computational modelling of stochastic processes for learning research
The System of Simultaneous Equations in Regional Economic Potential Assessment within Smart Specialisation Framework
How Do Computer Science Students Use Distributed Version Control Systems?
GeoGebra Classroom as a Component for the ICT support of Inquiry-based Mathematics Education in Blended Learning
A Formal Model of Resource Sharing Conicts in Multithreaded Java
Formal Foundations for RDF Evolution and Repair
An Implementation of Agent-Based Ontology Alignment
Automated Design of a Neuroevolution Program Using Algebra-Algorithmic Tools
Markov Model of FPGA Resources as a Service Considering Hardware Failures
Identification of Persons with Epilepsy from Electroencephalogram Signals Using Fuzzy Decision Tree
Formation and Self-Development of the Students' Digital Competencies Within the Lifelong Learning System
Designing a Chat Bot for Learning a Subject in a Telegram Messenger
Analysis of the Possibilities of Unauthorized Access in Content Management Systems Using Attack Trees
Mathematical Model of Banking Firm as Tool for Analysis, Management and Learning
Computations in Extensions of Multisorted Algebras
Evaluation and Analysis of the NLP Model Zoo for Ukrainian Text Classification
Using Modern Simultaneous Interpretation Tools in the Training of Interpreters at Universities
Advanced Information Technology Tools for Media and Information Literacy Training
Choice Method of Analytical Platform for Smart Cities
Digitalization of Science as a Modern Trend of the Information Society Development
The Computational Modeling: Dynamic Quantum Model Approach
Coalgebraic Understanding of Random Systems with Output
Collecting University Rankings for Comparison Using Web Extraction and Entity Linking Techniques
Electronic Textbooks for Ukrainian Education: Statistics, Models of Development, Quality Problems
Performance Efficiency of University Teachers in the Context of Generational Balance: Measurement Tools and Application Mechanisms
Impact of the Environmental Externalities and Technological Progress on the Stability of Economic System Development on the Example of the Ingulets River Basin
Web Indicators of ICT Use in the Work of Ukrainian Dissertation Committees and Graduate Schools as Element of Open Science
ICT for Training and Evaluation of the Solar Impact on Aviation Safety
Organization of Independent Work of Students in LMS Moodle Using a Metacognitive Approach (on the Example of Physical and Mathematical Disciplines)
A Multi-channel Communication Framework
Intelligent Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems
Assessing the Reviving Risks while using the Manufacturing Resource Planning System at Agribusiness Enterprises
Complex Systems Theory and Crashes of Cryptocurrency Market
Recognition of Price Discrimination in the Online Sale of Airline Tickets
Influence of the Country's Information Development on its Tourist Attractiveness
A Unification of the Study of Terminological Resource Management in the Automated Translation Systems as an Innovative Element of Technological Training of Translators
Weight-based Load Balancing in Raspberry Pi MPICH Heterogeneous Cluster with Fuzzy Estimation of Node Computational Performance
Electricity Price Forecasting: A Methodological ANN-based Approach with Special Consideration of Time Series Properties
Challenges and Confusions in Learning Version Control with Git
Pedagogical Diagnostics with Use of Computer Technologies
Proceedings of the PhD Symposium at 14th International Conference on ICT in Education, Research, and Industrial Applications ICTERI 2018 co-located with 14th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2018), Kyiv, Ukraine, May 16, 2018
Exploring Students' Views on ICT Skills as the Components of Journalists' Professional Competence: EDM Aspect
Smart Learning Environments: a Shift of Paradigm
Econometric Analysis of Educational Process on the Web Site
Latent Representations of Terrain in Aerial Image Classification
The Use of Virtual Physics Laboratories in Professional Training: the Analysis of the Academic Achievements Dynamics
The Determinants of Trade Credit for Firms Listed on the Zagreb Stock Exchange: An Empirical Analysis
A Model-Based Framework for Adaptive Resource Management in Mobile Augmented Reality System
Integration of Delivery Services Business Cases for Improvement of Business and Environmental Sustainability of E-Commerce Solutions
Simulation Model for Computerized Testing of Learning Success in Quality Management Systems
Design and Implementation of Didactic Process Based on Simulation
Analysis of ICT Application in Technology Transfer Management within Industry 4.0 Conditions (Education Based Approach)
How to Make High-tech Industry Highly Developed? Effective Model of National R&D Investment Policy
Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14-17, 2018
Availability Models of the Healthcare Internet of Things System Taking into Account Countermeasures Selection
Implementation of Immersive Technologies in Professional Training of Teachers
Mathematical Models of Supporting the Solution of the Algebra Tasks in Systems of Computer Mathematics for Educational Purposes
Systematic Business Process Modeling in a Nutshell