yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014
Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007
Foundational proof certificates: making proof universal and permanent
Towards extracting explicit proofs from totality checking in twelf
Higher-order abstract syntax in classical higher-order logic
Some constructions on ω-groupoids
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009
A Generic Approach to Proofs about Substitution
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006
Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008
Implementing HOL in an Higher Order Logic Programming Language
Theory support for weak higher order abstract syntax in Isabelle/HOL
Internal Adequacy of Bookkeeping in Coq
A Rewrite System for Proof Constructivization
Hybrid Extensions in a Logical Framework
Motion planning for manipulators in complex environments
The algorithm by Schwartz, Sharir and Collins on the piano mover's problem
Models of robot manipulators
Applications of geometric homology
Hamiltonian cycles in Delaunay complexes
A practical exact motion planning algorithm for polygonal object amidst polygonal obstacles
Contact manipulation and geometric reasoning
Motion from point matches: multiplicity of solutions
Placement of Polygons
Some examples of algorithm analysis in computational geometry by means of mathematical morphological techniques
Triangulation in 2d and 3d space
Singular configurations of parallel manipulators and Grassmann geometry
Curves and Computer Algebra
An optimal algorithm for the boundary of a cell in a union of rays
Effective Semialgebraic Geometry
Geometric reasoning in motion planning
Planning collision free trajectories by a configuration space approach
Geometry and Robotics, Workshop, Toulouse, France, May 26-28, 1988, Proceedings
Modelling positioning uncertainties
Trajectory planning and motion control for mobile robots
Content Formation Method in the Web Systems
Enhanced LSA Method with Ukraine Language Support
ECG Signal Processing Based on Linguistic Chain Fuzzy Sets
The Fuzzy Logic for Machine Vision System Effectiveness Assessment
Face Detection for Video Surveillance-based Security System
Identifying fake news in political discourse behavior using machine learning methods
Comparative Analysis of Using Different Parts of Speech in the Ukrainian Texts Based on Stylistic Approach
Ontologies as a Set to Describe Legal Information
AR Interface for Teaching Students with Special Needs
Causality for Question Answering
Formalization of Ukrainian-Language Content for Fuzzy Product in Court
Application of the C-Means Fuzzy Clustering Method for the Patient's State Recognition Problems in the Medical Monitoring System
Text Data Vectorization Model of Ukrainian-Language Internet Communication Content
Logical Networks and Their Usage in Solving of Morphological Tasks
Automatic Speech Recognition System with Dynamic Time Warping and Mel-Frequency Cepstral Coefficients
Spatial Interpretation of the Notion of Relation and Its Application in the System of Artificial Intelligence
Elaborative Trademark Similarity Evaluation Using Goods and Services Automated Comparison
Development of Information System for Textual Content Categorizing Based on Ontology
Mining Methods for Adaptation Metrics in E-Learning
Development of Traffic Flows and Smart Parking System for Smart City
Using Internet News Flows as Marketing Data Component
Proceedings of the 8th International Conference on Computational Linguistics and Intelligent Systems. Volume III: Intelligent Systems Workshop, Lviv, Ukraine, April 12-13, 2024
Knowledge presentation methods development in the intelligent business analytics systems based on ontologies and models
Lung X-Ray Images Preprocessing Algorithms for COVID-19 Diagnosing Intelligent Systems
Fuzzy expert system for assessing the quality of well completion in complicated geological conditions
Methodology for Countering Malicious Information on Social Networks
Computer Linguistic Systems Design and Development Features for Ukrainian Language Content Processing
Multithreshold neurons with smoothed activation functions
Choosing the Method of Finding Similar Images in the Reverse Search System
Regional Annotation within GRAC, a Large Reference Corpus of Ukrainian: Issues and Challenges
Model of Educational Process Organizing Using Artificial Intelligence Technologies
Proceedings of the 7th International Conference on Computational Linguistics and Intelligent Systems. Volume III: Intelligent Systems Workshop, Kharkiv, Ukraine, April 20-21, 2023
Computer-assisted Linguistic Researches on the Basis of Spanish Dictionary Text
Econometric Analysis of the Impact of Expert Assessments on the Business Activity in the Context of Investment and Innovation Development
Adaptive Recovery of Distorted Data Based on Credibilistic Fuzzy Clustering Approach
Modern State and Prospects of Information Technologies Development for Natural Language Content Processing
Methods of Creating Service-oriented Software Systems
Intelligent System for Semantically Similar Sentences Identification and Generation Based on Machine Learning Methods
The Decision Support System Education Career Choice Using Fuzzy Model
Neural Networks for Financial Stability of Economic System
Evaluation the Efficiency of Information Technology of Big Data Intelligence Analysis and Processing
The Comparison of Holt - Winters and Box - Jenkins Methods for Software Failures Prediction
Applied Intelligent Systems of Support for Public-Private Partnership in Foreign Economic Activity
Proceedings of the PhD Workshop on Artificial Intelligence in Computer Science at 9th International Conference on Computational Linguistics and Intelligent Systems, AICS-CoLInS-2025, Kharkiv, Ukraine, May 15-16, 2025
Formation of Integrated Repositories of Social and Communication Data by Consolidating the Resources of Museums, Libraries and Archives in Smart Cities Projects
Adaptive neo-fuzzy bagging metamodel and its fast learning
Method for Synthesizing the Semantic Kernel of Web Content
Building of Regression Models for Cryptocurrency Price Prediction
Cluster Analysis of Discussions Change Dynamics on Twitter about War in Ukraine
A method of statistical idiolect/genderlect profiling for automated authorship attribution
Mastering Computer Linguistics for the Designation of Risks in Cooperation Communications
The Criterion of Optimality in the Convex Vector Problem of Optimization
Sоcіаl Nеtwоrks: Аnаlуsіs, Аlgоrіthms аnd Thеіr Іmрlеmеntаtіоn
The National System of Higher Education and Government Procurement for Its Services as Activators of the Development of IT Entrepreneurship
Anthropocentrism as Implementation of a Testator/Testatrix's Communicative Goal
Ontological Harmonization of Railway Transport Information Systems
SMART Intelligence Models for Managing Innovation Projects
VESUM: A Large Morphological Dictionary of Ukrainian As a Dynamic Tool
A Comparative Study on TF-IDF Feature Weighting Method and Its Analysis Using Unstructured Dataset
Semantic Analysis and Natural Language Text Search for Internet Portal
People's Emotions Analysis while Watching YouTube Videos
Comparative Analysis of Instant Messaging Protocols and Technologies for Effective Communication in Computer-Mediated Environment
Analysis of Recommendation System Methods for Accuracy of Predicted Estimates
CLIPTraVeLGAN for Semantically Robust Unpaired Image Translation
Automated Data Mining of the Reference Stars from Astronomical CCD Frames
Designing an Application for Monitoring the Ukrainian Spoken Language
Classification of Dynamic Objects Using a Multilayer Perceptron
Objects Segmentation in Augmented Reality Environment
Synonymizer of the Ukrainian Language: Stage of Creation, Features of Database Update and Software Implementation
Authorship Determination of Natural Language Texts by Several Classes of Indicators with Customizable Weights
Comparative analysis of activation functions in U-Net for binary water segmentation using Sentinel-2 imagery
Multi-agent Clinical Decision Support System using Case-Based Reasoning
Proceedings of the 6th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2022). Volume I: Main Conference, Gliwice, Poland, May 12-13, 2022
Gender Marked Intimate Conversational Interaction of Spouses in Modern English
Proceedings of the 5th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2021). Volume I: Main Conference, Lviv, Ukraine, April 22-23, 2021
Translating emotion metaphors from English into Ukrainian: based on the parallel corpus of fiction
Modeling of the Information System for Processing of a Large Distilled Data for the Investigation of Competitiveness of Enterprises
The Multifactor Method Applied for Authorship Attribution on the Phonological Level
Current Trends in Knowledge Management: Problems and Challenges
Automated Identification of Metaphors in Annotated Corpus(Based on Substance Terms)
Combining Experimental and Analytical Methods for Penetration Testing of AI-Powered Robotic Systems
Generalized Semantic Analysis Algorithm of Natural Language Texts for Various Functional Style Types
Programming the Formation of Difference Color Models for Lossless Image Compression
Semantic Annotation for Ukrainian: Categorization Scheme, Principles, and Tools
Parallelization of the Simplex Method Based on the OpenMP Technology
Computational Technology and Software Tool for Translation of Business Rules into Database Creation Scripts
Design and Construction of a Popularizing Internet Resources System Using External Ranking Factors
Applying Recurrence Plots to Classify Time Series
Intelligent System of Epidemic Situation Monitoring and Control
Innovative Methods of Assessing the Academic Success of Students in Higher Education Institutions
Redistribution of the Compressed Data Between Modified DEFLATE-Blocks in the Image Compression Process Without Lossless
A document-oriented LMS with integrated text classification for gender equality assessment
Method for Forecasting of Helicopters Aircraft Engines Technical State in Flight Modes Using Neural Networks
Similarity Based Fuzzy Logic Modeling for the Software Reliability Assessment
Application of Machine Learning Methods for Forecasting Real Estate Value
Proceedings of the Intelligent Systems Workshop at 9th International Conference on Computational Linguistics and Intelligent Systems, CoLInS-2025, Kharkiv, Ukraine, May 15-16, 2025
Quantitative characteristics of the author's idiostyle
Modeling of Decision Making Ontology
Improving Accuracy by Ensuring Invariance of Two-Dimensional Binary Images in Intelligent Systems
A dual-layered artificial intelligence solution for classifying disinformation in socially oriented systems
Aircraft detection in aerial imagery based on YOLO architectures
A Conceptual Text Classification Model Based on Two-Factor Selection of Significant Words
Structural Modeling of Technical Text Analysis and Synthesis Processes
Approach to Recognizing of Visualized Human Emotions for Marketing Decision Making Systems
A Method of Detecting Bot Networks Based on Graph Clustering in the Recommendation System of Social Network
Research of Methods for Practical Educational Tasks Generation Based on Various Difficulty Levels
Corpus research of semantic transformations of deterministic lexicon using the example of the lexeme virus
Proceedings of the 8th International Conference on Computational Linguistics and Intelligent Systems. Volume IV: Computational Linguistics Workshop, Lviv, Ukraine, April 12-13, 2024
W2V-SA: A Deep Neural Network-based Approach to Smart Contract Vulnerability Detection
Construction Features of the Industrial Environment Control System
Simulation the Impact of Eco Expenditure on the Effectiveness of Eco Projects: the Railways of Ukraine Case
Traffic-sign Recognition for Visually Impaired Pedestrians in Kyrgyzstan: Two-keypoint SIFT/BRISK Descriptor with CameraX
Gender Classification of Surnames: Ukrainian aspect
Contextual Concept Meaning Alignment Based on Prototype Theory
Plastic Waste on Water Surfaces Detection Using Convolutional Neural Networks
Logico-Linguistic Model of Ukrainian Text
Proceedings of the 8th International Conference on Computational Linguistics and Intelligent Systems. Volume II: Modeling, Optimization, and Controlling in Information and Technology Systems Workshop (MOCITSW-CoLInS 2024), Lviv, Ukraine, April 12-13, 2024
Intelligent Methods and Models for Assessing Level of Student Adaptation to Online Learning
Development of Predictors to Increase the Efficiency of Progressive Hierarchic Context-Independent Compression of Images Without Losses
Feminine Personal Nouns in Ukrainian: Dynamics in a Corpus
Remote Selection of Staff Based on Socionic Analysis of Social Network Content
Minimizing Security Risks and Improving System Reliability in Blockchain Applications: а Testing Method Analysis
Ukrainian Language Chatbot for Sentiment Analysis and User Interests Recognition based on Data Mining
Forecasting Demand for Food Delivery Services
Assessing Flexibility of Organizations for Strategic Development of Agricultural Business Projects
On One Approach to Building a Temporal Model of the Knowledge Base
Statistical Analysis of the Short Stories by Roman Ivanychuk
Intelligent system for reconfiguring the redundant structure of ship actuators without disturbance
Method for post-traumatic stress disorder manifestation analyzing in text content
Comparative Study of Noisy-MAX Nodes and General Nodes in Bayesian Network Models
Reference Model for Collaborative Business Intelligence Virtual Assistant
Technology of Fake News Recognition Based on Machine Learning Methods
The Web-Application Development for Analysis of Social Graph of the User in Network
Intelligent System Control of the Vessel Executive Devices Redundant Structure
Analysis of Streaming Video Content and Generation Relevant Contextual Advertising
Teaching in the Internet Environment Against the Background of COVID-19: Integration of Video Content into E-Learning
Visualization Modeling of Management Processes in Knowledge-Oriented Systems
Dynamic Random Access Memory Based on Fiber Optic Lines for Optical Computers. Computer Modeling
AI assistant for intelligent interaction and route optimization in offshore turbine maintenance system
Model of Adaptive Language Synthesis Based On Cosine Conversion Furies with the Use of Continuous Fractions
Selection of large language model for development of interactive chat bot for SaaS solutions
Proceedings of the 7th International Conference on Computational Linguistics and Intelligent Systems. Volume II: Computational Linguistics Workshop, Kharkiv, Ukraine, April 20-21, 2023
Word2Vec Model Analysis for Semantic and Morphologic Similarities in Turkish Words
Language evolution and GPT-revolution
Goal-driven Situation Awareness Process Based on Predictive Modeling
Creating effective translation and localization strategies to promote Korean culture on the Ukrainian-language internet
Leadership Detection Across Social Media Hashtags
Harnessing the Advantages of Binary Networks for Neural-Symbolic Computing
Holistic Adaptive Optimization Techniques for Distributed Data Streaming Systems
Research of Digital-Analog Conversion Method for Reproduction of Mechanical Oscillations
Social Computing of the Social Well-being of Refugees and Internally Displaced Persons in Ukraine Using Data Mining Methods
Development of System for Auto-Tagging Articles, Based on Neural Network
Building an Intelligent System for Managing Emigration Labor Resources in Conditions of Uncertainty of Military Actions Based on Markov Chains
Development of Conjunctive Decomposition Tools
Application of Neural Networks to Identify of Fake News
Extended Model of Software Quality Assessment Scenario: Concept, Operations, Application
Linguistic representation of Ukraine in English-language media discourse: a corpus-assisted approach
Analysis of Geo-Economic Distribution of Scientific Publications Citation and Self-Citation Standardized Indices Based on Machine Learning
The chi-square test and the Student's t-test used for authorial style characterization
The Object Model of the Subject Domain with the Use of Semantic Networks
Using Probabilistic Dynamics of Innovations to Manage the Recovery and Modernization of Ukrainian Industries
Random Forest as a Method of Predicting the Presence of Cardiovasculars Diseases
Going parallel: using earlier translations as background for facilitating re-translation technique
Creating a Thesaurus "Crime-Related Web Content" Based on a Multilingual Corpus
Detecting political manipulations techniques in Internet posts: thresholds auto-selection in multiclass decision space
Web Content Monitoring System Development
Enhancement of Conception and Embedding the Enterprise Social Network in Academy Information Space
Intelligent adaptive model for the helicopter turboshaft engines gas temperature sensor readings correction
Evaluating Real Checkability for FPGA-Based Components of Safety-Related Systems
A Comparative Study on Algorithms of Computer Vision and Deep Learning for Facial Expressions Analysis
Rejection of the Inefficient Replacements while Forming the Schedule of the Modified Algorithm LZ77 in the Process of Progressive Hierarchical Compression of Images without Losses
Scoring System Based on Neural Networks for Identification of Factors in Image Perception
Representation of Knowledge by Temporal Cases in Humanitarian Response
An Intelligent System Based on Ontologies for Determining the Similarity of User Preferences
Features of Information System Development of Interactive Communication in Foreign Languages
Conceptual Model of Process Formation for the Semantics of Sentence in Natural Language
Ukrainian Redaction of Church Slavonic (URCS): Needs for Digitalization and Text Corpora Platform Generation. Part I
Ontological Approach to Plot Analysis and Modeling
Modern Ukrainian Electronic Dictionaries: the Problem of Implementing Spelling Changes
Application of Machine Algorithms for Classification and Formation of the Optimal Plan
Parsing technique in computer lexicography (case of Spanish dictionary DLE 23)
Quantitative Parameters of J. London's Short Stories Collection "Children of the Frost" and its Translation
Statistical Research of the Colour Component ЧОРНИЙ (BLACK) in R. Ivanychuk's Text Corpus
Ukrainian Big Data: The Problem of Databases Localization
An Intelligent Adaptive DC Voltage Stabilization with a Digital Control Contour
Method of Multi-Purpose Text Analysis Based on a Combination of Knowledge Bases for Intelligent Chatbot
The Content Analysis Method for the Information Resources Formation in Electronic Content Commerce Systems
Machine Learning Models Efficiency Analysis for Image Classification Problem
Register Distribution of English Detached Nonfinite/ Nonverbal with Explicit Subject Constructions: a Corpus-Based and Machine-Learning Approach
Using Part-of-Speech Tagging for Building Networks of Terms in Legal Sphere
Information-retrieval System "Base of the World Slavic Linguistics (iSybislaw)" in Language Education
Topic Modelling of Ukraine War-Related News Using Latent Dirichlet Allocation with Collapsed Gibbs Sampling
TEI Advances for Concordance Compiling: a case study of Erich Fromm's novel "The Art of Loving"
Investigating Hand Gesture Recognition Models: 2D CNNs vs. Visual Transformers
Using sentiment text analysis of user reviews in social media for e-tourism mobile recommender systems
Mathematical Modeling to Evaluate the Accuracy of Computer Vision for the Near-Zero Motion Detection of Astronomical Objects
Information Technology to Improve the Quality of Printed Image Reproduction by Ink Printing Systems
Cross-cultural examination of the WAR concept: a statistical comparative analysis in English, Ukrainian, and Dutch
Correlation Analysis of Text Author Identification Results Based on N-Grams Frequency Distribution in Ukrainian Scientific and Technical Articles
Comparator-based identification of food edibility from natural language description
Reward-based Crowdfunding: successful signaling from an entrepreneur
Intelligent UAV-UGV-SN-based system for monitoring and preventing forest fires
Intelligent System of Visual Simulation of Passenger Flows
The Method for Ranking Quasi-Optimal Alternatives in Interval Game Models Against Nature
Dataset for NLP-Enhanced Image Classification
Unsupervised semantic analysis and zero-shot learning of newsgroup topics
Intelligent Control of Industrial Compensating Devices Based on the Application of Fuzzy Logic
Usage of Sentiment Analysis to Tracking Public Opinion
Sentinel-2 and MODIS Data Fusion for Generation of Daily Cloud-Free Images at the Sentinel Resolution Level
An Option of Building the Distance Learning System with Artificial Intelligence Elements
Social Networks as Tools to Promote the Majors of Higher Education Institutions During the Pandemic
Hybrid Neo-Fuzzy Neural Networks Based on Self-Organization and Their Application for Forecasting in Financial Sphere
Use of the Smart City Ontology for Relevant Information Retrieval
Digitally Lexicographized Neologisms of Douglas Coupland's Novel "Generation X": Software for Bilingual Electronic Dictionary
Proceedings of the Computational Linguistics Workshop, CLW-CoLInS 2025, at the 9th International Conference on Computational Linguistics and Intelligent Systems, CoLInS 2025, Kharkiv, Ukraine, May 15-16, 2025
Cloud Technologies Application at English Language Studying for Maritime Branch Specialists
The Intelligent System Development for Psychological Analysis of the Person's Condition
Big Data Analysis for Structuring FX Market Volatility due to Financial Crises and Exchange Rate Overshooting
Development of Information System for Aggregation and Ranking of News Taking into Account the User Needs
Estimation of Informativeness of Recognition Signs at Extreme Information Machine Learning of Knowledge Control System
Estimation of the Level of Interest and Modeling of the Topic of Innovation Through Search in Google
Application of Data Mining to Exchange Rate Influence Identification
Peculiarities of Generation of Semantics of Natural Language Speech by Helping Unlimited and Context-Dependent Grammar
Clustering Methods Analysis for Terrain Colors Characteristics Determination
"Accuracy" vs "Unambiguity" in Linguistics
Corpus study of lexicon dynamics in Ukrainian-Polish economic and political relations
Keyword-based Study of Thematic Vocabulary in British Weather News
Negative Citing: Scenario Analysis of Inaccurate Evaluation of Scientific Content
Proceedings of the 8th International Conference on Computational Linguistics and Intelligent Systems. Volume I: Machine Learning Workshop, Lviv, Ukraine, April 12-13, 2024
Forecast Method for Natural Language Constructions Based on a Modified Gated Recursive Block
Adaptive ADALINE Robust Training Algorithm Under the Maximum Correntropy Criterion With Variable Center
Information System of Psycholinguistic Text Analysis
Planning and Control Method Based on Fuzzy Logic for Intelligent Machine
Proceedings of the 7th International Conference on Computational Linguistics and Intelligent Systems. Volume I: Machine Learning Workshop, Kharkiv, Ukraine, April 20-21, 2023
Developing an Application with Sensors in Smart Phones
Sustainable Development by a Statistical Analysis of Country Rankings by the Population Happiness Level
Network Security Analysis Based on Consolidated Threat Resources
Influence of Digital Technologies on the Labor Market of HR Specialists
Comparison of Object Detection Algorithms for the Task of Detecting Possible Road Accident
Intelligent Methods of Secure Routing in Software-Defined Networks
Linguistic Methods in Social Media Marketing