yusuke1997/dblp-id-title huggingface dataset:
Query Answering Using Views for Data Integration over the Web
A Path Querying Language for Federation of RDF and Relational Database
Mining Enterprise Websites for Association Thesaurus Construction
Incremental Maintenance of Hypertext Views
DataVizard: Recommending Visual Presentations for Structured Data
FOREST: Focused Object Retrieval by Exploiting Significant Tag Paths
XML Information Retrieval Considering Physical Page Layout of Logical Elements
The ranking game
Extracting Patterns and Relations from the World Wide Web
A Unified Algorithm for Cache Replacement and Consistency in Web Proxy Servers
An Evaluation and Comparison of Current Peer-to-Peer Full-Text Keyword Search Techniques
The Query Set Specification Language (QSSL)
Processing Class-Constraint K-NN Queries with MISP
Weighted Path Queries on Web Data
Proceedings of the 15th International Workshop on the Web and Databases 2012, WebDB 2012, Scottsdale, AZ, USA, May 20, 2012
Best-Match Querying from Document-Centric XML
View Selection for Stream Processing
Minimising Simple XPath Expressions
XPath Rewriting Using Multiple Views: Achieving Completeness and Efficiency
Fast and accurate identification of implicit enterprise users in social media
Cost-Effective Conceptual Design Over Taxonomies
Computer's Analysis Method and Reliability Assessment of Fault-Tolerance Operation of Information Systems
Monitoring of Efficiency of Feedback Systems Use on the Base of Kherson State University
Application of Open and Specialized Geoinformation Systems for Computer Modelling Studying by Students and PhD Students
Improving the Efficiency of Synchronized Product with Infinite Transition Systems
The Use of Electronic Open Journal Systems in Scientific and Pedagogic Research: Results of Experiment
On-Line Checking of Faults in Cyber-Physical Systems
Insertion Modeling and its Applications
Professional Development of Teachers Using Cloud Services During Non-formal Education
The Neuromarketing ICT Technique for Assessing Buyer Emotional Fatigue
Asymptotical Information Bound of Consecutive Qubit Binary Testing
Computer Simulation of the Competencies and Motivation Levels in the Context of Student - Tutor Interaction
Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution
Interdisciplinary Approach in Physics Education Using Modeling of Physical Processes
The Role of Informatization in the Change of Higher School Tasks: the Impact on the Professional Teacher Competences
Formalization and Algebraic Modeling of University Economics
The Simultaneous Use of Excel and GeoGebra to Training the Basics of Mathematical Modeling
Methodology for Teachers' Digital Competence Developing through the Use of the STEAM-oriented Learning Environment
Behavioral Aspects of Financial Anomalies in Ukraine
Decision Making in Information Technologies Governance of Companies
The Concept, Principles of Design and Implementation of the University Cloud-based Learning and Research Environment
The algorithm for knowledge assessment based on the Rusch model
A Markov Model of Healthcare Internet of Things System Considering Failures of Components
Public Information Environment of a Modern University
Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers
Information-Communication Technologies of IoT in the "Smart Cities" Projects
The Main Barriers and Drivers of the Digital Transformation of Ukraine Business Structures
Cellular Technology Based Overlay Networks for the Secure Control of Intelligent Mobile Objects: Models and Numerical Study
Automatic Tests and Practical Tasks Generation in Distance Learning Systems
The Introduction of the Competence-based Approach in Educational Process of Training of Skippers
Fuzzy Technology-Based Cause Detection of Structural Cracks of Stone Buildings
Conceptual Aspects of Interpreter Training Using Modern Simultaneous Interpretation Technologies
The Сoncept of a Cyber-Physical System for Intelligent Battery Health Assessment and Road Range Forecast
Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools
Global Digital Identity and Public Key Infrastructure
Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure
The Group Methodology of Using Cloud Technologies in the Training of Future Computer Science Teachers
Reliability Synthesis for UAV Flight Control System
Teaching Conceptual Modeling in ER: Chen Worlds
Developing Practical Recommendations for Increasing the Level of Digital Business Transformation Index
Pseudoprime Numbers: Basic Concepts and the Problem of Security
Planning and Implementation of the Project "Cloud Services to Each School"
Software Models for Investigation of Turbo-Product-codes Decoding
The Bookbinder and the Exorcist: The Future of Digitalisation in Education (and Everything Else Besides)
On Induction for Diamond-Free Directed Complete Partial Orders
Government Financial Accountability and Transparency in the Digital World
Toward Synthesis of Event-Pattern Detectors for Event Complex Processing with Using Machine Learning
Towards Requirements Variability in Agile Software Product Line Development
Analysis of the Effectiveness of Implementing a CRM System in an Enterprise
Which Data Can Be Useful to Make Decisions on Foreign Exchange Markets?
The Technique for Metamorphic Viruses' Detection Based on Its Obfuscation Features Analysis
Conception of Programs Factory for Representing and E-Learning Disciplines of Software Engineering
A Case Study in Combining Formal Verification and Model-Driven Engineering
Using Blippar Augmented Reality Browser in the Practical Training of Mechanical Engineers
University as a Corporation Which Serves Educational Interests
On Industrial Strength Bio-design Automation
Information and Communication Technologies in Education, Research, and Industrial Applications - 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
Program Logics of Renominative Level with the Composition of Predicate Complement
Development of Software for Developing Information Systems Design Skills Considering Issues for Visually Impaired People Inclusion
Attitude of Ukrainian Educators toward the Use of Digital Tools for Teaching and Professional Development: Survey Results
Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality
Augmented and Virtual Reality Technologies in Teacher Retraining
Abstracting an Operational Semantics to Finite Automata
Training of Future Primary School Teachers for Application of ICT at Language Lessons
Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying 3D Modeling
Ontology Alignment and Applications in 90 Minutes
ICT as a Key Instrument for a Balanced System of Pedagogical Education
Education Statistics: Looking for Case-Study for Modeling
The Method for Forming the Health-Saving Component of Basic School Students' Digital Competence
Experimental Research of Educational Content Tracking by Students Group for Distance Learning
Informatization of School Education in Ukraine under Globalization and Europeanization
Approaches and Economic Benefits of Property Registers Digitalization: Evidence from Ukraine
Using augmented reality for early literacy
Information Technologies to Estimation the Effectiveness of Water Supply Systems Control Depending on the Degree of Model Uncertainty
On a Multi-language Computer Support of a Human Mathematical Activity
Enhanced WARS Model Proposal for Advancing Reasoning Consistency Based on Probabilistically Bounded Staleness
Future and Experienced Teachers Should Collaborate on ICT Integration
The General Dynamic Market Model and Software Application for Support Modeling Process
Universal Direct Analytic Models for the Minimum of Triangular Fuzzy Numbers
ICT and Personal Income Tax Control in Ukraine
Design and Development of Information System of Scientific Activity Indicators
Wireframe Model for Simulating Quantum Information Processing Systems
Motivating Students and Improving Quality of Learning Using Peer-Reviews
Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services
Selecting Cloud Service for Healthcare Applications: From Hardware to Cloud Across Machine Learning
Dening Finitely Supported Mathematics over Sets with Atoms
Ukrainian Company Cost Accounting System Development from the Evolutionary Theory Position
Item Matching Based on Collection and Processing Customer Perception of Images
Answering Conjunctive Queries over a Temporally-Ordered Finite Sequence of ABoxes sharing one TBox
Personalized and Adaptive ICT-Enhanced Learning: A Brief Review of Research from 2010 to 2019
A Method to Ensure the Effectiveness and Attractiveness of E-Learning. Human-Oriented Systemic Ergonomic Approach
Educational Video in the University: Instruments, Technologies, Opportunities and Restrictions
Competence Approach to Modeling and Control of Students' Learning Pathways in the Cloud Service
Educational Analogy Dedicated for Didactical Process Simulation
The Learning Technique of the SageMathCloud Use for Students Collaboration Support
Implementation of Propagation-Based Constraint Solver in IMS
Information Technology for Configuration of System-on-Chip in Cloud Environment
The Power of Good Old-Fashioned AI for Urban Traffic Control
Web-Service Management System for Job Search Using Competence- Based Approach
Instrumental Digital Didactics of Physics Study in the Aspect of M-learning
Business Analysis Learning Perspectives in ICT Education
Proceedings of the 17th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, PhD Symposium, and Posters, Kherson, Ukraine, September 28 - October 2, 2021
The Construction of the IRT Profiles Using Fractures that Store the Average
Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects
9th Illia O. Teplytskyi Workshop on Computer Simulation in Education - Summary
General Theory of Interaction and Cognitive Architectures
Technology Oriented Assessment of Software Reliability: Big Data Based Search of Similar Programs
Information-Analytical Support for the Processes of Formation of "Smart Sociopolis" of Truskavets
Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems
The Concepts of Software Development for OOP and BAP Self-Learning Courses
Models and Applied Tools for Prediction of Student Ability to Effective Learning
ICT as a Tool for Improving the Quality of Methodical Work in the First Link of the System of Education - Extended Abstract
Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities
Models, Methods and Tools for Effectiveness Estimation of Post Object-Oriented Technologies in Software Maintenance
Using Hybrid Algorithms Based on GMDH-Type Neural Networks for Solving Economic Problems
Extended Floyd-Hoare Logic over Relational Nominative Data
Computer Visualization of Logic Elements of the Information System Based on PROTEUS
Information System for Controlling Transport-Technological Unit With Variable Mass
Features of Introduction of Components of Gamification in the Course of Development of Constructive Strategies of Overcoming Youth's Life Crises
Using an Evolutionary Algorithm to Improve Investment Strategies for Industries in an Economic System
Vulnerability Detection of Smart Contracts Based on Bidirectional GRU and Attention Mechanism
Modeling of the internal certification system of educational resources view or update
The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting
Data Compression and Representation as Multicolor Barcodes
Application of Space-Time Patterns in Tutoring
Metamorphic Viruses Detection Technique Based on the the Modified Emulators
Approach to E-Learning Fundamental Aspects of Software Engineering
Production Activity of Agricultural Business Structures and Its Efficiency in Ukraine
New Approaches of Teaching ICT to Meet Educational Needs of Net Students Generation
Towards the Method and Information Technology for Evaluation of Business Process Model Quality
Development and Using of a Virtual Laboratory to Study the Graph Algorithms for Bachelors of Software Engineering
Exploring the ICT Proficiency Level among Primary and Secondary School Teachers in Lao PDR
On the Problem of Multi-Channel Communication
Issues of Model-Based Distributed Data Processing: Higher Education Resources Evaluation Case Study
The Internet of Things - Technical Challenges for Interoperability
Safety-critical Certification of FPGA-based Platform against Requirements of U.S. Nuclear Regulatory Commission (NRC): Industrial Case Study
Towards the Notion of an Abstract Quantum Automaton
Is Your Ontology a Burden or a Gem? - Towards Xtreme Ontology Engineering
Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Electroencephalogram Signals Classification by Ordered Fuzzy Decision Tree
The Digital Capabilities Model of University Teachers in the Educational Activities Context
Proceedings of ICTERI 2019. Volume III: PhD Symposium co-located with 15th International Conference "ICT in Education, Research, and Industrial Applications 2019" (ICTERI 2019), Kherson, Ukraine, June 12 - 15, 2019
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems
Project Management Systems as Means of Development Students Time Management Skills
The Concept of an Innovative Educational Ecosystem of Ukraine in the Context of the Approach "Education 4.0 for Industry 4.0"
Formal Approaches to Identify Cadet Fatigue Factors by Means of Marine Navigation Simulators
The Hybrid Cloud-based Service Model of Learning Resources Access and its Evaluation
Design of Electronic Learning Courses for IT Students Considering the Dominant Learning Style
Methodology of Using Structural Equation Modeling in Educational Research
Open Distance Learning For Teachers
Innovative Approaches in C Introductory Programming Courses
Cryptographically Properties of Random S-Boxes
Estimation of the Production Potential of Ukraine's Regions Using Kohonen Neural Network
Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools
Complexity Class of Semantics-related Tasks of Text Processing
Hybrid Cloud-Oriented Educational Environment for Training Future IT Specialists
Model of the Curriculum Revision System in Computer Science
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement
A Complete Axiomatization for Reduced Clock Constraint Specification Language
Activity Plan Template for Supporting Study Science with Robotics and Programming
Functional Diversity Design of Safety-Related Systems
Simulation Agent-Based Model of Heterogeneous Firms Through Software Module
Methods of Future Natural Sciences Teachers Training to Use Smart-technologies on the Basis of Learning Apps
Computational Modeling and Structural Stability
Optimization of the Activity of Operators of Critical Systems by Methods of Regulating Operational-Tempo Tension
Category Methods for Modelling Logical Time Based on the Concept of Clocks
Simulation of the Crisis Contagion Process Between Countries with Different Levels of Socio-Economic Development
The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems
An Intelligent Approach to Increase Efficiency of IT-Service Management Systems: University Case-Study
3L-Person: Report
Dynamic Model of Double Electronic Vickrey Auction
Conceptualizing and Formalizing Requirements for Ontology Engineering
Synthesis of Time Series Forecasting Scheme Based on Forecasting Models System
Modeling Input Financial Flows of Insurance Companies as a Component of Financial Strategy
ANN-Based Electricity Price Forecasting Under Special Consideration of Time Series Properties
On Convergence of Controlled Snowball Sampling for Scientific Abstracts Collection
Nonlinear Dynamic Model of a Microeconomic System with Different Reciprocity and Expectations Types of Firms: Stability and Bifurcations
The SAD System: a Current State and Future Work
Principles of Intellectual Control and Classication Optimization in Conditions of Technological Processes of Beneciation Complexes
Automated Software Design for FPGAs on an Example of Developing a Genetic Algorithm
Software Quality Standards and Models Evolution: Greenness and Reliability Issues
Improved Secure Stream Cipher for Cloud Computing
About One Approach to Building Systems for Testing Physical Knowledge
Model of Information and Control Systems in Smart Buildings with Separate Maintenance by Reliability and Security
Bridging Business Analysts Competence Gaps: Labor Market Needs Versus Education Standards
Case-Based and Project-Based Methods for Effective E-learning in ICT Safety and Security
Use of Natural LUT Redundancy to Improve Trustworthiness of FPGA Design
Exploring Student Uses of Mobile Technologies in University Classrooms: Audience Response Systems and Development of Multimedia
Bitcoin Response to Twitter Sentiments
Event Universes: Specification and Analysis Using Coq Proof Assistant
Information Technology of Evaluating the Sufficiency of Information on Quality in the Software Requirements Specifications
The Design and Evaluation of the Cloud-based Learning Components with the Use of the Systems of Computer Mathematics
Evolutionary Revision Model for Improvement of Computer Science Curriculum
RAMS Issues in Hotels Management
Designing Massive Open Online Courses
Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils
Three-Subjective Didactic Model
Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps
Evaluating the Fitness of a Domain Ontology to Formalized Stakeholder Requirements
Linux Online Virtual Environments in Teaching Operating Systems
Pre-automata and Complex Event Processing
Natural Computing Modelling of the Polynomial Space Turing Machines
Mobile Post-Emergency Monitoring System for Nuclear Power Plants
Internet of Things Approach for Automation of the Complex Industrial Systems
Information-Measuring System for Monitoring Thermal Resistance
Experience of Use of Electronic Educational Resources by Ukrainian Teachers During the Distance Learning due to the COVID-19 Pandemic (March-May 2020)
Development of the Universal Data Transfer Protocol: Mobile Solution
Architecting for Adaptive Resource Management in Mobile Augmented Reality Systems: Models, Metrics and Prototype Software Solutions
Models and Methods for Computer Support of Adaptive Training of Algorithmic Tasks Solution
Econometric Analysis on the Site "Lesson Pulse"
TuningGenie: Auto-Tuning Framework Based on Rewriting Rules
The Development of a Multi-Agent System for Controlling an Autonomous Robot
Historical Approach to Modern Learning Environment
Simulation as a Tool to Identify Dynamical Typology of Water Frog Hemiсlonal Population Systems
Neuro-Fuzzy Model of Development Forecasting and Effective Agrarian Sector Transformations of Ukraine
Choice of Ship Management Strategy Based on Wind Wave Forecasting
Information and Communication Technologies in the Study of Mathematical Methods in Psychology
The Adaptive Course of Physics at a Technical University
AIC Algorithm for a decision to choose the supermarket: Evidence from Vietnam
Application of Structure Function in System Reliability Analysis based on Uncertain Data
Maintaining Scientific Integrity through Academic-Industrial Research and Development Cooperation
Implementation of Stakeholders' Requirements and Innovations for ICT Curriculum Through Relevant Competences
Development of Software Architecture and Machine Learning Modules of Robo-Advisor System for Personalized Investment Portfolio Generation
Distributed Datastores: Towards Probabilistic Approach for Estimation of Dependability
Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings
ICT in Professional Education of Future Primary School Teachers: Modeling of Scientific and Research Work
Similar Terms Grouping Yields Faster Terminological Saturation
Algebraic Virtual Machine and Its Applications
Proceedings of the 16th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kharkiv, Ukraine, October 06-10, 2020
Assurance Case Driven Design based on the Harmonized Framework of Safety and Security Requirements
How Participation in an Intensive Project Can Increase 3rd Level Students' Awareness of Entrepreneurship
A Taxonomic Representation of Scientific Studies
Integration of IT Education in Ukraine into the European Educational Space
Evaluation of the Effectiveness of Domain Modeling Methods in Terms of Model Complexity
Smart-Systems in STEM Education
Study of Digital Competence of the Students and Teachers in Ukraine
Rigorous Semantics and Renement for Business Processes
Practical Realizationof English Knowledge Control of Future IT-specialists Using Distance Learning
Cross-Evaluation of Automated Term Extraction Tools by Measuring Terminological Saturation
Optimized Term Extraction Method Based on Computing Merged Partial C-Values
Business Models of Reproduction Cycles for Digital Economy
Ukrainian Students' Digital Competencies: Various Aspects of Formation and Impact on Students' Learning Achievements
Formalization of the Model of Management of the Technological Innovations
Ensuring the Security of the Full Logistics Supply Chain Based on the Вlockсhain Technology
Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models
Management of Critical Competencies in a Multi-Project Environment
Features of Hidden Fault Detection in Pipeline Digital Components of Safety-Related Systems
Computerized System for Remote Level Control with Discrete Self-Testing
Methodology for the Selection of an Optimal Location of Remote Tower Centre
A Self-Assessment Tool of the Level of Digital Competence of Ukrainian Teachers in the Context of Lifelong Learning: The Results of an Online Survey 2021
Adaptive Technology for Students' Knowledge Assessment as a Prerequisite for Effective Education Process Management
The Information System as a Tool to Manage R&D at the National Academy of Pedagogical Sciences of Ukraine
Open Data in Electrical Energy Balancing of Ukraine: Green Deal and Security Aspects
Methodology of Defining the Accident Rate Function for Fault Tolerant System with High Responsibility Purpose
Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013
Identifying the Gaps in the Preparing of a Business Analyst between the Requirements of the Labor Market and the Standards of Study Programs: Case of Ukraine
Intelligent Cyber Defense System Using Artificial Neural Network and Immune System Techniques
Ontology-based learning environment model of scientific studies
Mechanism Design for Foreign Producers of Unique Homogeneity Product
Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
Mechanical Engineers' Training in Using Cloud and Mobile Services in Professional Activity
Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode
An Advanced Active Data Dictionary Based Framework for Flexible Corporate Systems
Social Economic Factors of ICT Use in Education: Lessons from the Pandemic