yusuke1997/dblp-id-title huggingface dataset:
Formal Verification and Safety Assessment of a Hemodialysis Machine
Approximating Weighted Completion Time for Order Scheduling with Setup Times
Using n-grams for the Automated Clustering of Structural Models
A Uniform Programmning Language for Implementing XML Standards
Online Minimum Spanning Tree with Advice - (Extended Abstract)
Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation
Matching Points with Rectangles and Squares
Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem
String Representations of Java Objects: An Empirical Study
On the Efficiency of Superscalar and Vector Computer for some Problems in Scientif Computing
From Outermost Termination to Innermost Termination
Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes
Target Set Selection Parameterized by Clique-Width and Maximum Threshold
Sufficient Conditions for Polynomial-Time Detection of Induced Minors
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
Properties of SLUR Formulae
A Model Transformation Language Based on Logic Programming
A Hybrid Approach for XML Similarity
Parameterized Prefix Distance between Regular Languages
ABS: A High-Level Modeling Language for Cloud-Aware Programming
Element Distinctness and Sorting on One-Tape Off-Line Turing Machines
Algorithms for Rational Agents
Forest Covers and Bounded Forest Covers
A Methodology of Visual Modeling Language Evaluation
Strong Authentication over Lock-Keeper
Graph Searching and Search Time
Minimal Schnyder Woods and Long Induced Paths in 3-Connected Planar Graphs
Compacting a Dynamic Edit Distance Table by RLE Compression
Games, Time, and Probability: Graph Models for System Design and Analysis
On the Complexity of the Metric TSP under Stability Considerations
Combining Traditional Map Labeling with Boundary Labeling
Technology Diffusion in Social Networks
Social Information Access: The Other Side of the Social Web
Solving and Approximating Combinatorial Optimization Problems (Towards MAX CUT and TSP)
Some Notes on the Information Flow in Read-Once Branching Programs
From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
Immune-Inspired Online Method for Service Interactions Detection
Outerplanar and Forest Storyplans
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors
On the Periodic Decompositions of Multidimensional Configurations
Webpage Menu Detection Based on DOM
Relating Sublinear Space Computability Among Graph Connectivity and Related Problems
The Computational Power of Continuous Time Neural Networks
A Constructive Arboricity Approximation Scheme
On the Complexity of the Highway Pricing Problem
On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract)
On the Computational Complexity of Generalized Common Shape Puzzles
A Hierarchical Markovian Mining Approach for Favorite Navigation Patterns
Building an Ontological Base for Experimental Evaluation of Semantic Web Applications
Randomized Gossiping by Packets in Faulty Networks
New Bounds on the Half-Duplex Communication Complexity
Not Another Look at the Turing Test!
Integrity and Consistency for Untrusted Services - (Extended Abstract)
Multi Feature Indexing Network MUFIN for Similarity Search Applications
A Sensitive Metaheuristic for Solving a Large Optimization Problem
Validity Conditions in Agreement Problems and Time Complexity
Incremental Computation of the Set of Period Sets
Visualization of Bipartite Graphs in Limited Window Size
Database Support for Multisource Multiresolution Scientific Data
Model-Driven Development in Practice: From Requirements to Code
Boolean Functions with a Low Polynomial Degree and Quantum Query Algorithms
Automata Classes Accepting Languages Whose Commutative Closure is Regular
Fuzzy Logic From The Logical Point of View
Taming of Pict
A Formal Representation for State Diagrams in the OMT Methodology
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
Conducting a Web Browsing Behaviour Study - An Educational Scenario
Generic Heuristic Approach to General Game Playing
Recent Advances in Graph Drawing
Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations
Introduction to Android 5 Security
Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience
Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring
Information Society Technologies in Healthcare
Model Checking Communication Protocols
On the Complexity of Minimum Membership Dominating Set
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents
How to Smooth Entropy?
Stable Divisorial Gonality is in NP
On Lower Bounds for the Time and the Bit Complexity of Some Probabilistic Distributed Graph Algorithms - (Extended Abstract)
Audit of Information Systems: The Need for Cooperation
Complexity of Spherical Equations in Finite Groups
Online Makespan Scheduling with Sublinear Advice
Agent Oriented Methodology Construction and Customization with HDA
Heuristics for Opinion Diffusion via Local Elections
Models of Computation, Riemann Hypothesis, and Classical Mathematics
Safety Contracts for Timed Reactive Components in SysML
Position Heaps for Permuted Pattern Matching on Multi-Track String
Min-Max Coverage in Multi-interface Networks
Design Patterns Instantiation Based on Semantics and Model Transformations
Packed Acyclic Deterministic Finite Automata
About the Termination Detection in the Asynchronous Message Passing Model
A Normal Sequence Compressed by PPM * But Not by Lempel-Ziv 78
A Performance Comparison of Monile Agents and RPC
Linearizing Genomes: Exact Methods and Local Search
SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
Ordered Restarting Automata for Picture Languages
Priority Scheduling in the Bamboo Garden Trimming Problem
Logic Programming in RPL and RQL
On the Distributed Realization of Parallel Algorithms
A Formal Lazy Replication Regime for Spreading Conversion Functions over Objectbases
Two-Layer Planarization: Improving on Parameterized Algorithmics
How Hard Is It to Take a Snapshot?
Two-Head Finite-State Acceptors with Translucent Letters
Exact Algorithms to Clique-Colour Graphs
Expected Density of Random Minimizers
Adding Matrix Control: Insertion-Deletion Systems with Substitutions III
High Performance Computing - The Computational Chemistry Perspective
A New Plane-Sweep Algorithm for the K-Closest-Pairs Query
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories
Worst Case Analysis of Non-local Games
Gene expression data mining guided by genomic background knowledge
Theory and Practice in Internationally Rich Distributed Systems
On the Effects of Nondeterminism on Ordered Restarting Automata
Removable Online Knapsack with Bounded Size Items
Web Science: The Digital-Heritage Case
The Web of Things: Extending the Web into the Real World
Slicing Petri Nets with an Application to Workflow Verification
Quantum Random Walks - New Method for Designing Quantum Algorithms
A Lisp-Based System for Generating Diagnostic Keys
Knowledge-Based Diagnosis of Electronic Instrumentation
Explaining Concepts in Expert Systems: The CLEAR System
Extraction of Expert System Rules from Text
A Planning System with Analysis
Knowledge Acquisition Through Natural Language Dialogue
ANALYST II: A Knowledge-Based Intelligence Support System
Inexact Reasoning in Expert Systems: A Stochastic Parallel Network Approach
A Knowledge Represenation for Reasoning About Petroleum Geology
Directed Search with Feedback
The ES/AG Environment-Its Development and Use in Expert System Applications
A Homogeneous Architecture for Knowledge-Based Image Understanding Systems
The Role of AI in Computer Vision
Evaluation of Expert Systems: An Approach and Case Study
PEARL: A Knowledge-Based Expert Assisted CAD Tool
A Natural Language Database Interface That Provides Cooperative Answers
Problem Solving: A Methodology for Modeling and Generating Heuristics
Incorporating Knowledge Rules in a Semantic Data Model: An Approach to Integrated Knowledge Management
Mission Planning System for an Autonomous Vehicle
SUBEX: A Focus of Attention Technique for Rule-Based Inference
The Knowledge-Based Test Assitant's Wave/Signal Editor: An Interface for the Management of Timing Constraints
Progress in Knowledge-Based Flight Monitoring
A Retrospective View of CACE-III: Considerations in Coordinating Symbolic and Numeric Computation in a Rule-Based Expert System
On the Futility of Arbitrarily Increasing Memory Capabilities of Stochastic Learning Automata
Opportunistic Scheduling for Robotic Machine Tending
Sensor-Based Fault Diagnosis in a Flight Expert System
Dynamic Programming in the Recognition of Connected Handwritten Script
WELDEX-An Expert System for Nondestructive Testing of Welds
TIME-1: Semantic System for Dynamic Object Domain
SKIPPER: A Prototype Sailing Instructor
A General Purpose Language for Coupled Expert Systems
Tatting Inference Nets with Bayes' Theorem
A Survey of Expert System Tools
Representation of Spatial Structure and Function in Diagnosis
An Expert System for Data Reduction
Task Bidding and Distributed Planning in Flexible Manufacturing
Generic Tasks in Knowledge-Based Reasoning: Characterizing and Designing Expert Systems at the 'Right' Level of Abstraction
A Rule-Based System for Improving on Image Segmentation
GENIE: An Inference Engine with Diverse Applications
Using Rule Induction to Combine Declarative and Procedural Knowledge Representations
Knowledge Represenation and Classification of Chromatographic Data for Diagnostic Medical Decision Making
Representation of Procedural Knowledge for Expert Systems
Symbolic Stereo from Structural Descriptions
ESSA: An Approach to Acquiring Decision Rules for Diagnostic Expert Systems
An Intelligent Pilot for an Autonomous Vehicle System
Low-Level Learning for a Mobile Robot: Environment Model Acquisition
Learned Navigation Paths for a Robot in Unexplored Terrain
How to Do with Probabilities What People Say You Can't
GROK-A Knowledge-Based Text Processing System
Artificial Intelligence: Problems and Issues
A Knowledge-Based Tactical Decision Support System Integrating Terrain and Weather Data
Finding Trajectories of Feature Points in a Monocular Image Sequence
Evolution and Modification of Probability in Knowledge Bases
Doing R1 with Style
Three-Dimensional Shape Reconstruction from Image by Minimum Energy Principle
A Man-Machine Interface to a Knowledge-Based System for Validating Oceanographic Reports
Two-Dimensional Heuristic Augmented Transition Network Parsing
Representing Knowledge for Portfolio Management Decision Making
Behavior Rule Systems for Distributed Process Control
Automatic Generation of Expert Systems from Examples
Building Knowledge-Based Operating System Consultants
Positional Representation of English Words
Relational Knowledge Acquisition
Visual Debugger for Prolog
Knowledge-Directed Recursive Rule Compilation in Expert Database Systems
*Sub-Definiteness, Over-Definiteness, and Absurdity in Knowledge Representation (Some Algebraic Aspects)
MicroScope: Rule-Based Analysis of Programming Environments
Intelligent Instrumentation and Process Control
The COMPASS Expert System: Verification, Technology Transfer, and Expansion
Automatic Classification and Summarization of Banking Telexes
An Architecture for Consideration of Multiple Faults
Learning Causal Models by Understanding Real-World Natural Language Explanations
An Exercise in Engineering Circuit Design Using an Expert System
PAGE-1: A Troubleshooting Aid for Nonimpact Page Printing Systems
Fractal Actors for Distributed Manufacturing Control
MEDCAT/CATS: Two Contrasting Artificial Intelligence Applications in Medical Education
SPIRIT: A Flexible Tutoring Style in an Intelligent Tutoring System
A Knowledge-Based System Approach to Document Retrieval
A Recursive Expert Troubleshooting System Utilizing General and Specific Knowledge
A VLSI Implementation of Fuzzy Inference Engine: Toward an Expert System on a Chip
Branch and Bound Search for Automatic Linking Process of Seismogram
Computer Algebra Applied to the Design of Optical-Sensor Platforms
Extended Production Rules for Validity Maintenance
MERLIN: A Tool for Automated Inferencing with Uncertainty
KARMA: Knowledge-Based Assistant to a Database System
Validation of a Multivariate Specified Pictorial Pattern Class Description for Completeness by Evaluation of Random Generated Instances
Word Shape Analysis ini a Knowledge-Based System for Reading Text
Problem Solving in the Domain of Quantitative Well Log Interpretation
E. T. Expert Technician/Experience Trapper
A Distributed Computational Model of Plausible Classification Reasoning
EP-X: A Knowledge-Based System to Aid in Searches of the Environmental Pollution Literature
A Comparative Study of Different Approaches to Qualitative Physics Theories
Raising User Proficiency Through Active Assistance: An Intelligent Editor
Artificial Intelligence Versus Machine Intelligence: Facts and Fiction
Reasoning About Causation in Knowledge-Based Systems
Improving Human-Ciomputer Interaction by Learning Model of User Preferences
Finding Simple Routes: 'Ease of Description' as an Objective Function in Automated Route Selection
Complexity, Uncertainty, and Opportunistic Scheduling
Where Knowledge Acquisition Tools Fit in the Scheme of Things
INKA: The INGLISH Knowledge Aquisition Interface for Electronic Instrument Troubleshooting Systems
An Expert Diagnostic and Prediction System Based on Minimal Cut Set Techniques
DAS/Logic TM : A Rule-Based Logic Design Assistant
Management of User Expectations in a Conversational Advisory System
Using information Retrieval Techniques in an Expert System
Creating Relational Databeses from English Texts
Process Tracing as a Method for Initial Knowledge Acquisition
Natural Language Understanding: How Natural Can It be?
Hierarchical Evidence
A Knowledge Represenation for Roving Robots
Using a Predictive Parse to Create a Modeless Editor
One Cornerstone in the Mathematical Foundations for a System of Fuzzy-Logic Programming
Recognition of 3-D Objects Via Spatial Understanding of 2-D Images
Rapid Acquisition and Combination of Knowledge from Multiple Experts in the Same Domain
Artificial Intelligence Applications, CAIA 1985, The Engineering of Knowledge-Based Systems, Proceedings of the Second Conference, Miami Beach, Florida, USA, December 11-13, 1985
Can You Do Linguistics With Deep Learning? (invited talk)
Development of a Rule-based Lemmatization Algorithm Through Finite State Machine for Uzbek Language
Enhancements to the BOUN Treebank Reflecting the Agglutinative Nature of Turkish
Benchmarking Azerbaijani Neural Machine Translation
Proceedings of the ALTNLP The International Conference and workshop on Agglutanative Language Technologies as a challenge of Natural Language Processing, Virtual Event, Koper, Slovenia, June, 7th and 8th, 2022
UzbekStemmer: Development of a Rule-Based Stemming Algorithm for Uzbek Language
Annotated Lexicon for Sentiment Analysis in Bosnian Language
Anwesha: A Tool for Semantic Search in Bangla
NLP for Indigenous Languages of the Americas: Transfer Learning Meets Translation (invited talk)
POS Tagging Model for Malay Tweets Using New POS Tagset and BiLTSM-CRF Approach
A Machine Transliteration Tool Between Uzbek Alphabets
Finding the Optimal Vocabulary Size for Turkish Named Entity Recognition
A Description of Turkish Discourse Bank 1.2 and an Examination of Common Dependencies in Turkish Discourse
TransMorpher: A Phonologically Informed Transformer-based Morphological Analyzer
Fake News Detection for Hindi Language
Accuracy of the Uzbek Stop Words Detection: a Case Study on "School Corpus"
Boosting Dependency Parsing Performance by Incorporating Additional Features for Agglutinative Languages
BoAT v2 - A Web-Based Dependency Annotation Tool with Focus on Agglutinative Languages
A Modular Machine Translation Pipeline for Greenlandic (invited talk)
A Metagrammar of Causatives in Morphologically Rich Languages
Uzbek Sentiment Analysis Based on Local Restaurant Reviews
Creating a Morphological and Syntactic Tagged Corpus for the Uzbek Language
A formative evaluation of an eHealth service for patients with COPD
"IPLOS" - Countable Care? Use of Care Mapping for Statistical Purposes in Norwegian Municipalities - What are the Challenges for Nurses?
Exploring Online Health Information Seeking in Scotland
Improving Nurses' Hand Hygiene Compliance using Gamification
Co-design in specialist care - aspects to consider
Information Given to Patients Undergoing Nuclear Medicine Procedures
Generativity for Infrastructuring eHealth
LEt's GO! - Workshop Creativity With Mockups of Locations
On Evaluation of Automatically Generated Clinical Discharge Summaries
Digital Patients: A Typology of Emerging Patient Roles
Breast cancer patients experiences with information and communication in cancer disease trajectories
Federated Privileged Identity Management for Break-the-Glass: A Case Study with OpenAM
Planning for Post-hospital Care - Local Challenges to General Benefits of E-messages: Hospital Staff's Perspectives
Toward a Comprehensive Model of eHealth Literacy
Exploring medical students' needs and feedback on using clinical guidelines websites - a case study
The Language of Pain - Better Requirements for Pain Tools
Security Considerations for Tablet-based eHealth Applications
Online patient information about breast cancer - a discourse analysis
Moving towards a Comprehensive Medication Dispensing Service for Patients in Transition from Hospital to Primary Care
Proceedings of the 2nd European Workshop on Practical Aspects of Health Informatics, Trondheim, Norway, May 19-20 , 2014
Shaping of Technology and Place in Municipal Healthcare in Norway - an Explorative Study
Contemporary eHealth Literacy Research - An Overview with Focus on Germany
Electronic Tracking of Users with Cognitive Impairment (Contrasting a Literature Review with Local Experience)
MediTake, A Medication App to Improve Adherence - A Service Design Evaluation
Hearing Impairment: An Initial Exploration of Information Sharing Practices
Does information quality matter?
Development of a Medication Reconciliation Tool for Norwegian Primary Care EPR Systems: Experiences from a User-initiated Project
Normalizing E-messaging in Healthcare: Experiences with Routine Development among Healthcare Workers in Two Municipalities
Proceedings of the 4th European Workshop on Practical Aspects of Health Informatics (PAHI 2017), Levanger, Norway, May 15-16, 2017
Patient documentation in home health nursing in Norway - a study of attitudes among professionals
Proceedings of the 3rd European Workshop on Practical Aspects of Health Informatics, PAHI 2015, Elgin, Scotland, UK, October 27, 2015
A Flexible Metamodelling Approach for Healthcare Systems
Medication supply in closed loop medication - conceptual understanding and prerequisites
Remotely Supported Prehospital Ultrasound: Real-time Communication for Diagnosis in Remote and Rural Communities
Proceedings of the Second Workshop on Generative Technologies, WGT@ETAPS 2010, Paphos, Cyprus, March 27, 2010
Proceedings of the Third Workshop on Generative Technologies, WGT@ETAPS 2011, Saarbrücken, Germany, March 27, 2011
Proceedings of the First Workshop on Generative Technologies, WGT@ETAPS 2008, Budapest, Hungary, April 5, 2008
Econophysics of sustainability indices
The impact of COVID-induced shock on the risk-return correspondence of agricultural ETFs
Modelling of trade relations between EU countries by the method of minimum spanning trees using different measures of similarity
Modeling the Stability of the Country's Financial System
Analysis of Regional Development Disparities in Ukraine Using Fuzzy Clustering
Matrix Models for Assessing the Taxation Subjects' Interaction Under Uncertainty of Socio-Economic Processes
Information System for Monitoring Banking Transactions Related to Money Laundering
Assessment of the Economy Structural Changes Based on the Consistency
Assessment of Trends in the Development of the Ukrainian Economy Based on the Structural Shifts Analysis
The use of genetic algorithms for multicriteria optimization of the oil and gas enterprises financial stability
The impact of intangible assets on the financial performance of Slovak ICT companies: a panel data regression analysis
Diagnostics of Persistence for Quotes Dynamics in High-Tech Stock Markets
University competitiveness in the knowledge economy: a Kohonen map approach
Driving Digital Transformation Through e-Government
Machine learning approaches for financial time series forecasting
Proceedings of the Selected and Revised Papers of 10th International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2022), Virtual Event, Kryvyi Rih, Ukraine, November 17-18, 2022
Predicting the economic efficiency of the business model of an industrial enterprise using machine learning methods
The cryptocurrencies risk measure based on the Laplace distribution
Proceedings of the Selected and Revised Papers of 9th International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2021), Odessa, Ukraine, May 26-28, 2021
The impact of the war in Ukraine on globalization processes and world financial markets: a wavelet entropy analysis
Fuzzy modelling of Big Data of HR in the conditions of Industry 4.0
Nonlinear dynamics of electric vehicle sales in China: a fractal analysis
Using non-metric multidimensional scaling for assessment of regions' economy in the context of their sustainable development
A flexible machine learning model for optimizing organizational capital development strategies and resource allocation
Fuzzy Production Model for Managing Court Decisions in the Case of Theft
Complex networks theory and precursors of financial crashes
High-order network analysis for financial crash identification
Maximizing customer satisfaction and business profits through Big Data technology in Society 5.0: a crisis-responsive approach for emerging markets
Modelling of cryptocurrency market using fractal and entropy analysis in COVID-19
Computational method determining integral risk indicators of regional socio-economic development
Irreversibility of financial time series: a case of crisis
Scenario forecasting information transparency of subjects' under uncertainty and development of the knowledge economy
Assessing the educational dimension of national economy innovative development
Fuzzy cluster analysis of indicators for assessing the potential of recreational forest use
Modeling state regulation of the labour market
Modeling the optimal management of the distribution of profits of an oil and gas company taking into account risks
Experimental Economics and Machine Learning for Prediction of Emergent Economy Dynamics
Digitalization as a Global Trend and Growth Factor of the Modern Economy
Prediction of Business Confidence Index Based on a System of Economic Indicators
Multiagent Model of Price Dispersion in the Retail Market of Petroleum Products
Emergent Properties Manifestation in the Risk Assessment of Oil and Gas Companies
Recurrence plot-based analysis of financial-economic crashes
Machine learning of emerging markets in pandemic times
Assessment of bank's financial security levels based on a comprehensive index using information technology
Recurrence quantification analysis of energy market crises: a nonlinear approach to risk management
Big Data based marketing forecasting
Non-linear Forecasting of the State of a Socio-eco-oriented Innovative Economy in the Context of Systemic Crises
Proceedings of the Selected Papers of the Special Edition of International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2020), Odessa, Ukraine, July 13-18, 2020
Comparative analysis of the stock quotes dynamics for IT and the entertainment industry companies based on the characteristics of memory depth
Assessment of the Dynamics of Bifurcation Transformations in the Economy
Model for assessing and implementing resource-efficient strategy of industry