yusuke1997/dblp-id-title huggingface dataset:
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing
Intensional Sets Using Explicit Substitutions
[Demo abstract] Scripthica: a web environment for collective algorithmic composition
Combining functional programming and hardware verification (abstract of invited talk)
Datatype generic programming in F#
Session types for Rust
Typed syntactic meta-programming
Deriving backtracking monad transformers
FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Virtual Event, Korea, 27 August 2021
The chilling descent: making the transition to a conventional curriculum
Effectiveness of Data Resampling in Mitigating Class Imbalance for Object Detection
Mathematical model of the energy resource consumption process in the form of a random process with piecewise homogeneous components
Multiparametric neural network clustering in prediction the risk of surgical complications after revascularization on main arteries of the lower limbs
Field Test Data Processing for the Implementation of Accelerated Rig Test of Sprayer Booms
Predictive modeling of academic outcomes based on socioeconomic variables
Bayesian long short-term memory model for crane stability prediction and uncertainty quantification in safety monitoring systems
Automated System for Determining a Damage Class for Sections of a Wastewater Disposal Network
Comparative analysis of data representing models using e-commerce data
Solving problems using the General Environment Description Language
Traffic optimization in a simple network using Deep Reinforcement Learning
Comparison of interpolation methods for modelling the characteristics of oxide-containing epoxy composites
Preprocessing Methods Study to Improve Information Technology for Person Identification by Occluded Image
Use of neural networks for modelling the mechanical characteristics of epoxy composites treated with electric spark water hammer
The Digital Business Transformation Index Determining and Monitoring: Development of a National Online Platform
An algorithm that minimizes cloud computing costs
Cyber-physical system for monitoring water resources
On-board Hybrid Neural Network Classifier of Helicopters Turboshaft Engines Operational Status
Test Automatic Generation an Algorithm for an Automated Testing System
Test Data Processing Use for Structural Fatigue Life Assessment
The prediction of structural properties of Ni-Ti shape memory alloy by the supervised machine learning methods
The physical model of the thermodynamic conditions of the friction system of self-regulation
Method and system for choosing kinds of sport based on human morphofunctional indicators
Semi-supervised learning for hyperspectral landmine detection
Proceedings of the 4th International Workshop on Information Technologies: Theoretical and Applied Problems 2024, Ternopil, Ukraine and Opole, Poland, October 23-25, 2024
Towards Digital Twins in Rehabilitation Processes - Examples of Publicly Available Datasets
Proceedings of the 2nd International Workshop on Information Technologies: Theoretical and Applied Problems (ITTAP 2022), Ternopil, Ukraine, November 22-24, 2022
Proceedings of the 1st International Workshop on Information Technologies: Theoretical and Applied Problems 2021, Ternopil, Ukraine, November 16-18, 2021
Arduino-based triaxial measurement system for vibration monitoring in mobile machinery
Development of a Method for Generating Material Input Flow for Transport Conveyor Using Experimental Data
Modelling the Distribution of Laser Energy in the Pulse by the Photoemulsion Method
Creation of a Mathematical Model of Personalized Prediction of Osteodeficiency in Chronic Pancreatitis
Model of vibrations as periodically non-stationary random processes for identification of the condition of electrical motor
Algorithm for conceptual problem-solving using General Environment Description Language
Modified Helicopters Turboshaft Engines Neural Network On-board Automatic Control System Using the Adaptive Control Method
Transformation Of Intellectual Capital Into Intellectual-Information In The Process Of Formation And Implementation Of Modern Information
Models and Characteristics of Identification of Noise Stochastic Signals of Research Objects
Use of Analytical Hierarchy Process in Scenarios Design for a Digital Museum with XR components
Modelling of Ultrasonic Testing and Diagnostics of Materials by Application of Inverse Problems
Information Security System Based on Chaotic Signals
Information and analytical support for technical monitoring systems with a multi-level structure
Customer Churn Prediction in the Software by Subscription models IT business using machine learning methods
Comparative Analysis of Cryptocurrency Trading Platforms Using the Analytic Hierarchy Process
Energy Monitoring System based on IoT
Generation of camouflage based on the use of generative-competitive neural networks
NEURAL NETWORK BASED ESTIMATOR OF THE ELECTRODE DEVIATION IN ROBOTIC WELDING WITH ARC OSCILLATIONS
Information System for Logistical Support of Volunteer Tasks: Basics and Functionality
Conceptual modeling of the subject area 'Aseptic Wound' for AI-based medical systems
Cyber-physical systems at "Digital University"
The multifactor regression model for export-oriented sustainable management of enterprise profitability
Mathematical and computer modelling to assess accuracy and adequacy in torque measurement
Advanced data encryption method based on the monochrome pixel alphabet
Application of Radon Fan Transform in Systems of Correlation Analysis and Localization of Acoustic Noises
Integration of SQL Server Reporting Services into modern application infrastructure
Efficiency of Regression Testing Strategies in CI/CD Environments
Data-driven decision-making methods and hierarchical analysis in cloud-based medical service management systems
Stages of cluster analysis in the diagnosis of Lyme disease in children
Application of artificial intelligence to improve the work of educational platforms
Fourier Model Fitting for Vibration Analysis of Car Wheel Suspension Enhanced Damping System
A multi-stage model for detecting and preventing SQL injections in the XAMPP/MySQL environment
Microcontroller system for air quality monitoring
Optimization Method of Advertising Texts Based on Generative Models
Mathematical model of coherent the electron transfer for nanostructures with an applied magnetic field of constant strength
A Speech Enhancement Based on Minimum Variance Distortion Response Beamformer in Adverse Recording Scenario
Digital Twins for Optimisation of Industry 5.0 Smart Manufacturing Facilities
Method for Determining the Electromagnetic Compatibility of Biomaterials
Cybersecurity Aspects of Smart Manufacturing Transition to Industry 5.0 Model
Stationarity, Ergodicity and Mixing Properties of Conditional Linear Time Series Models
Pattern Handling for Quantifying Hardware Components of Signature-Based Cybersecurity Systems
Hybrid data protection method combining homomorphic encryption and steganography
Model Study of the Q-factor of a Varicap Diode by Its Equivalent Circuits
Photovoltaic technologies: problems, technical and economic losses, prospects
Remote Air Pollution Monitoring System Based on Internet of Things
Information Technologies Use in the Study of Functional Properties of Wheeled Vehicles
Information Technologies of Digitization of Museum Collections: World Experience and Ukrainian Realities
Comparison of artificial intelligence algorithms and expert approach in risk classification in nephrology
Intelligent Information Technology in the System of Teachers' Advanced Training
Improvement of intelligent systems for creating personalized products
Utilization of cloud infrastructure for dataset markup
Synthesis of an analytical system prototype using MQTT and AWS in the Industry 4.0 context
The Method of Detection of Speech Process Signs in the Structure of Electroecephalographic Signals
Information system for positioning and orienting antenna system
Computerized Radiometric System for Measuring Microwave Radiation of Biological Objects
Comparison of 3D data acquisition methods for wound size assessment in crisis situations
Automated processing and analysis of medical texts
Method and Technology for Ensuring the Software Security by Identifying and Classifying the Failures and Vulnerabilities
Microprocessor system for calibrating the antenna position sensor
Cognitive design of educational brain-computer interfaces
Proceedings of the 5th International Conference on Information Technologies: Theoretical and Applied Problems 2025, Ternopil, Ukraine, October 22-24, 2025
Digital Object Detection of Construction Site Based on Building Information Modeling and Artificial Intelligence Systems
Character Recognition using Approaches of Artificial Neural Network: A Review
Adaptive method for assessing information reliability under uncertainty for 5G and IoT systems
Proceedings of the 3rd International Workshop on Information Technologies: Theoretical and Applied Problems 2023, Ternopil, Ukraine, Opole, Poland, November 22-24, 2023
Software implementation of the multivariate method for the Hodgkin-Huxley model
Analysis and strategy development for improving the performance of the Paillier cryptosystem algorithm in medical data processing
Digital health data infrastructure and analytics with focus on the polish regional centre
A Comparison of Frame-by-Frame and Aggregation Approaches for Gesture Classification Using Machine Learning
Multimodal sentiment analysis with Grad-CAM for urban revitalization
Augmented Reality Enhanced Learning Tools Development for Cybersecurity Major
Mathematical modeling of the nanotubes implementation into a solid-state matrix using a powerful laser
Information and measurement system for analyzing images of fundus tissue using computer-integrated technologies
Formalization of Chinese Image Medicine Diagnostic Space in Ontooriented Information Systems for Integrative Scientific Medicine
Mathematical modeling and experimental evaluation of the information content completeness at fixed memory volumes: application of compression algorithms
Development of the reactive power compensation laboratory bench and its integration into the training simulator of dispatch control system
Decision Making Support System for Individual Educational Trajectory Choice in LMS
nCode GlyphWorks Software Use for Test Data Processing
Domain-Specific Language for Adaptive Development of "Smart- Home" Applications
Jordan-Gauss graphs and quadratic public keys of Multivariate Cryptography
Modern Medical Information Technologies: Implementation Issues and Development Vectors
Meta-ensemble methods for outlier detection in real estate
Geo-information system for ensuring the functioning of the VHF range radio direction finding network
Intelligent Supporting System to Building-Technical Expertise Process
Visualization Methods to Support Real-time Process Monitoring
Particulate Matter PM2.5 and PM10 and Its Impact on Air Quality in Urban and Rural Areas
Computer assisted analysis of transgranular and intergranular micromechanisms of brittle fracture
Mathematical Models and Software for Modelling the Spread of Malware in Energy Facilities
Mathematical modelling of daily computer network traffic
Cyclic Durability Modeling of Parts During Finish-Turning
Property Analysis of Conditional Linear Random Process as a Mathematical Model of Cyclostationary Signal
Optimal bin number for histogram binning method to calibrate binary probabilities
Mathematical and numerical modeling of nonlinear deformation processes
MATHEMATICAL MODELS FOR THE ANALYSIS OF THE PARAMETERS OF CHANNELS IN THE PLANNING OF MECHANICAL PROCESSING AND WELDING OPERATIONS
Use of Information Technologies and Marketing Tools for The Formation of An Educational Platform
The Method of Materials Surface Defects Analysis Created by Laser Processing
Automated Energy-efficient System for Cleaning and Disinfection of Reusable Objects
Intellectual information technologies for the study of filtration in multidimensional nanoporous particles media
Information System Of Optimal Allocation Of Enterprise Development Resources
Using the variational principle of leveling illumination in images
MODELING of the MEASUREMENT CONTROL PROCESS in EDDY-CURRENT STRUCTROSCOPY USING APRIORI INFORMATION ABOUT OBJECTS
Using ensemble methods of machine learning to predict real estate prices
IoT Evolution: Unleashing Cloud-Fog-Edge Computing Synergy for Enhanced Applications
Terahertz rectangular antenna for biomedical application
Real-time Health Monitoring Computer System Based on Internet of Medical Things
Neural network-based automation of spatial solutions in modern interior design
Automated algorithm for determining surface's oil capacity based on the analysis of the Abbot-Firestone diagram's parameters
Mathematical modeling and statistical validation of the amplitude variability function of electrocardiographic signals
Mathematical and Algorithmic Support of Detection Useful Radiosignals in Telecommunication Networks
Ergodicity and Mixing of Conditional Linear Random Processes in the Problems of Information Signal Modelling and Analysis
Information and measurement technologies for solving problems of energy informatics
A mathematical modeling of surface periodic relief after nanosecond laser processing
Numerical modelling of engine operation with a variable state of compression
Methodology of the Formation of Sports Matches Statistical Information Using Neural Networks
System Analysis Methodology for Determining the City Smartness
Software module for project analysis in mechanical processing and welding of frame structures
Analysis of the vibration signals based on PCRP representation
Modeling of War-Induced Ukrainian Migration's Impact on Poland's Trade Using Machine Learning
Bayesian click model and methods of estimating its parameters
Method of adaptation of interleaving/deinterleaving devices in wireless data transmission systems with LDPC codes
Secure information system for Chinese Image medicine knowledge consolidation
Computational Methods of Integration of Deterministic Systems, which are Described by Systems of Ordinary Differential Equations
Performance Benchmarking of Continuous Processing and Micro-Batch Modes in Spark Structured Streaming
Biosafety and Biosafety of Health and the Environment on the Basis of Information Technologies Column
Methods and Means of Automatic Statistical Assessment of Information Measuring Systems
A Risks management method based on the quality requirements communication method in agile approaches
Modelling of automotive steel fatigue lifetime by machine learning method
Advanced Signal Processing and Classification of EEG Patterns in Neurointerface Systems
Comparative Analysis of Camera Calibration Algorithms for Soccer Applications
The climate control system using ESP8266 and Arduino IoT Cloud
Mathematical, Algorithmic and Software Support for Phonocardiographic Signal Processing to Detect Mitral Insufficiency of Human Heart Valves
Computer Model of the Building Envelope the Thermophysical Characteristics Determining Process
Highly Sensitive Hardware Methods and Means of Determining Acupuncture Points
Decoding Emotional Complexity: Challenges in Emotions Classification Using the CMU Dataset
Comparative analysis of models for assessing asthma severity based on paraclinical studies
Principles of construction of an adaptive multilevel system of monitoring and diagnostics of complex technical objects
Peculiarities of Augmented Reality Usage in a Mobile Application: the Case of the Ivan Puluj Digital Museum
Object path modeling with external disturbance compensation and adaptive replanning
Analysis of a Dataset for Modeling a Transport Conveyor
The Method of User Identification by Speech Signal
AutoML TPOT with XAI analysis: optimization and interpretation of a machine learning model for the classification of epoxy composites
Characteristic Function of Conditional Linear Random Process
Application of machine learning methods to the prediction of NO2 concentration in the air environment
YOLOv5-based Object Detection for Construction Site Efficiency: Equipment, Tool, and Vehicle Recognition
Open Source Intelligence Telegram-bot development
System for Determination of Legal Responsibility/Penalty for a Cybersecurity Breach
On the expanding graphs of large girth and algorithms of key establishment
Improved robust handling of electromyograms with mining of new diagnostic signs
Method of Periodically Non-stationary Random Signals Demodulation with Hilbert Transform
Water Consumption Periodic Autoregressive Time Series Iterative Forecasting
Hardware-Software System for Measuring Thermophysical Characteristics of the Materials and Products
Analysis and Prediction of Humus Balance in Soils of Ukraine Using Informational Tools
Proactive concurrency control for data lakehouse: a meta-scheduling framework for urban construction data pipelines
Simulation of gas consumption process based on the mathematical model in the form of cyclic random process considering the scale factors
Design and Implementation of Advanced Web-based Dictionary System for Ukrainian and German Languages
Emotion-aware film recommendation with heterogeneous graph neural networks
Comparison of the efficiency of autoencoders for solving clustering problems
Choosing the Optimal Quantity of Factors for Prediction the Severity of Bronchial Asthma in Children Using Linear Regression Models
User authentication method information and telecommunication systems based on cascading multimodal biometric identification
Multi-layer secured architecture of a local automated centralized alert system
Selection of Face Detection and Recognition Algorithms for the E-learning System
Method and tool of detecting software architecture patterns in the process of computer systems development
Intellectual processing of information of multi-level monitoring and diagnostics systems of complex technical objects
Mathematical model of diffusion in a layered zeolite medium with spherical symmetry
Neuro-Fuzzy System for Detection Fuel Consumption of Helicopters Turboshaft Engines
Preconditions and Main Features of Electric Vehicles Application for Frequency Regulation in the Power System
An Adaptive Post - Filtering - Based Generalized Sidelobe Canceller Beamformer's Speech Enhancement
Development of a personalized prognostic model for assessing the risk of exocrine pancreatic insufficiency in patients with chronic pancreatitis
Evaluating Hashing Algorithms in the Age of ASIC Resistance
The optimal controller parametric synthesis using variational calculus for a dynamic system general mathematical model
Improving data rebalancing in distributed databases using adaptive and elitist genetic algorithms
Information technology sets formation and "TNTU Smart Campus" services network support
Schubert cells and quadratic public keys of Multivariate Cryptography
Numerical models of novel discrete-time chaotic systems
Comparison of feature extraction tools for network traffic data
3D-hybrid mathematical model for analysis of abnormal neurological movements for the purposes of diagnosis and treatment of limb tremor
The use of the Emotiv Epoc Flex kit in applications involving artificial intelligence
Component method for analyzing the energy consumption signal as a periodically correlated random process
Virtual crystal approximation study of the complex refractory carbides based on Ti-Nb-Mo-V-C system with CASTEP computer code
Microcontroller-based system for automated room temperature monitoring and actuation
On families of stream ciphers based on the approximations of regular forests
Shear Deformation Of Compressed Elastic-Plastic Arrays With Collinear Systems Of Cracks
Analysis of Information Security Issues in Balancing Multiple Independent Containers on a Single Server
Analysis of the accuracy, stiffness and stability of shell structures of mirror antennas using computer modeling
Methods for integrating large language models into requirements management in agile methodologies
Modifications of method for solving inverse heat and mass transfer problems
Digital Transformation of the Construction Design Based on the Building Information Modeling and Internet of Things
Identification of Dynamical System's Parameters Using Neural Networks
Determining the volume of revolutionary bodies from Two-Dimensional photographic images
A Survey on Hardware Solutions for Signature-Based Security Systems
Modeling of Phased Array Antenna for Data Transmission in Urban Environment
Development of the strategy for selection of information-communication system security tools based on game theory
The sub-system for project methodology choosing in the information technology
Mathematics and software for controlling mobile software devices based on brain activity signals
The Degree of Non-parabolicity of the Surface, Close to a Rotational Paraboloid
Information System for Design of Thin Multilayer Film Processes Parameters Management based on Diffusion
Information-measuring Technology for Buildings Enclosing Structures Thermal Resistance Control
Information software of multi-level systems of monitoring and diagnostics of complex technical objects
YOLOv8, YOLOv9, and YOLOv10: A Study in Automated Vehicle Damage Detection
Methods for Solving the Traveling Salesman Problem Based on Reinforcement Learning and Metaheuristics
Modification of the Permanent Decomposition Method for the Meeting Schedule Problem
The selection of a structure of a neural network model for predicting the flow parameters of transport systems
Bi-periodically correlated random processes as a model for gear pair vibration
Programmable Power Unit Supplies Based on Quick Charge Technology
Modelling the hydrodynamics of wind flow around a building in the conditions of surrounding buildings
Method for Determining the Number of Lines of Manually Written Source Code
Detection of multi-vector attacks in IoT networks: a graph attention network-based approach
An approach to evaluate a classification model to predict a construction object's state
Behavioral model of autonomous robotic systems using reinforcement learning methods
Identification of the Entrant's Abilities on the Basis Fuzzy Inference Systems
Identification of Lennard-Jones potential parameters from concentration distributions using machine learning
Qualitative and Quantitative Comparative Analysis of Results of Numerical Simulation of Cyber-Physical Biosensor Systems
Mathematical modeling of diffusion transfer for charged particles in the layered composite medium
The Development of automated system for monitoring the information leakage into the darknet
Predicting the risk of surgical complications based on multiparametric neural network clustering at revascularization of main arteries of the lower limbs
Modeling of highly loaded distributed system supporting the process of assessing the technical condition of objects
Analysis technology of neurological movements considering cognitive feedback influences of cerebral cortex signals
Criteria and Rules for Classification of Software Failures and Vulnerabilities
Advancing Computational Architectures for Analyzing and Simulation of Systems of nanoporous particles filtration Software
Application of Virtual and Augmented Reality Technologies for Creation of a Digital Museum of Scientific and Cultural Heritage of Ivan Puluj
Assessing Fake News Impact on Polish Political Attitudes Toward the Ukraine War
Computer robust parameter design of surface eddy current probes. Developing software design of numerical experiments creating
Linear Regression Approximate Models for Predicting Severe Course of Bronchial Asthma
Improve data backup strategies with machine learning predictive analytics
Resistorless electronically tunable inductance simulator employing controlled current conveyors (CCCIIS)
Modeling and simulation of high capacitance ratio RF MEMS shunt switch
Trimming methodologies for compensating process variation errors in second-order bandgap voltage reference circuits
Multiple carry asynchronous estimated adder
Low-cost fault-tolerant microprocessing system for control and educational applications
D3L - A framework on fighting against non-invasive attacks to integrated circuits for security applications