yusuke1997/dblp-id-title huggingface dataset:
Some Problems Concerning Armstrong Relations of Dual Schemes and Relation Schemes in the Relational Datamodel
Factored Temporal Difference Learning in the New Ties Environment
On Domain and Range Tree Languages of Superlinear Deterministic Top-down Tree Transformations
Optimal Parameters of a Sinusoidal Representation of Signals
Method for simulation of digital automata
Relations and minimal keys
Schützenberger's monoids
Computer-Based Intelligent Educational Program for Teaching Chemistry
MAT Learners for Recognizable Tree Languages and Tree Series
Survey: Weighted Extended Top-down Tree Transducers Part I - Basics and Expressive Power
On isomorphic representations of generalized definite automata
Framework for Studying Substitution
A Tourist Guide through Treewidth
On the numbers of shortest keys in relational databases on non-uniform domains
Noun Phrase Recognition with Tree Patterns
Weak Dependencies in the Relational Datamodel
Verified Bit and Power Allocation for MIMO Systems: A Comparison of SVD Based Techniques With GMD
Semi Fragile Audio Crypto-Watermarking based on Sparse Sampling with Partially Decomposed Haar Matrix Structure
On compositions of root-to-frontier tree transformations
On the Projection onto a Finitely Generated Cone
Adaptive Scheduling Solution for Grid Meta-Brokering
Conditional Lindenmayer Systems with Subregular Conditions: The Extended Case
Characteristically free quasi-automata
Pickup and Delivery Vehicle Routing with Multidimensional Loading Constraints
Steiner Minimum Trees for Equidistant Points on Two Sides of an Angle
Cooperative Production Networks - Multiagent Modeling and Planning
An algebraic definition of attributed transformations
SmallSteps: An Adaptive Distance-based Clustering Algorithm
In Memoriam Csanád Imreh
Remarks on finite commutative automata
On machines as living things
A Kleene Theorem for Weighted ω-Pushdown Automata
Processing of random sequences with priority
On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops
From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers
Verkehrskybernetik I: Automatische Bremse
Groups and Semigroups Defined by some Classes of Mealy Automata
Variance of Source Code Quality Change Caused by Version Control Operations
A Note on the Emptiness of Intersection Problem for Left Szilard Languages
Automating the Refactoring Process
Towards a Block-Level ML-Based Python Vulnerability Detection Tool
Ontology Supported Domain Knowledge Module for E-Tutoring System
Comparing Structural Constraints for Accelerated Branch and Bound Solver of Process Network Synthesis Problems
Trace Simulation Semantics is not Finitely Based over BCCSP
Topological analysis of linear systems
Results concerning EOL and COL power series
On the complexity of graph grammars
Minimizing the Number of Tardy Jobs on a Single Machine with Batch Setup Times
Operations on Signed Distance Functions
A new programming methodology using attribute grammars
Fundamental Concepts of Object Oriented Databases
Zur Theorie kommutativer Automaten
Dual pushdown automata and context sensitive grammars
Integer Programming Based Optimization of Power Consumption for Data Center Networks
Word Order and Discontinuities in Dependency Grammar
2D Parallel Thinning and Shrinking Based on Sufficient Conditions for Topology Preservation
Cohesion and Balance in a Human Resource Allocation Problem
Structure of program runs of non-standard time
Multi-Cloud Management Strategies for Simulating IoT Applications
Resource-Conscious AI Planning with Conjunctions and Disjunctions
Reliable Bounding Zones and Inconsistency Measures for GPS Positioning using Geometrical Constraints
Towards languages that support program derivation, or control modularity considered harmful
Realizing Small Tournaments Through Few Permutations
Watson-Crick Walks and Roads on DOL Graphs
Evaluating Dynamically Evolving Mobile-Based Social Networks
Max/Plus Tree Automata for Termination of Term Rewriting
Maximal families of restricted subsets of a finite set
Framework for Generating Object-Oriented Databases from Conceptual Specifications
Automatic Checking of the Usage of the C++11 Move Semantics
On the congruences of finite autonomous Moore automata
An Efficient Method to Reduce the Size of Consistent Decision Tables
An Information Theoretic Image Steganalysis for LSB Steganography
On Closedness Conditions, Strong Separation, and Convex Duality
Die Rekursivität der Programmierungsprache "Lisp 1.5" in Spezialfällen der angeordneten freien holomorphen Mengen
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems
Adapting Dynamic Time Warping to the Speech of the Hearing Impaired
Directable Nondeterministic Automata
A Fast Algorithm for the Constrained Multiple Sequence Alignment Problem
Constraint Validation Support in Visual Model Transformation Systems
Binary addition and multiplication in cellular space
Quadratic Displacement Maps for Heightmap Rendering
A three-dimensional cellular space (a challenge to Codd-ICRA)
On some extensions of Russian parallel context free grammars
Zu den Ungleichungen der Informationstheorie
An Evolutionary Algorithm for Surface Modification
Product hierarchies of automata and homomorphic simulation
Strong dependencies and s-semilattices
On optimal performance in self-organizing paging algorithms
A Classification Scheme for Bin Packing Theory
On the Advice Complexity of Coloring Bipartite Graphs and Two-Colorable Hypergraphs
Basic theoretical treatment of fuzzy connectives
Languages Convex with Respect to Binary Relations, and Their Closure Properties
Parameter Estimation of Flow-Measurement in Digital Angiography
On the Boolean Structure of Fuzzy Logical Systems: A Counter Example
A Semantic Network Dictionary for Dysphasia Therapy
On cofinal and definite automata
Symbolic Regression for Approximating Graph Geodetic Number
Functional Equations, Constraints, Definability of Function Classes, and Functions of Boolean Variables
On the Finiteness of Picture Languages of Synchronous Deterministic Chain Code Picture Systems
A note on symmetric Boolean functions
Various Hyperplane Classifiers Using Kernel Feature Spaces
Test Tube Systems or How to Bake a DNA Cake
Versatile Form Validation using jSRML
Functor state machines
Independent Subspace Analysis can Cope with the 'Curse of Dimensionality'
Approximation of the Euclidean Distance by Chamfer Distances
Note on the Cardinality of some Sets of Clones
On finite nilpotent automata
The Support of a Recognizable Series over a Zero-sum Free, Commutative Semiring is Recognizable
Human Cognition of Complex Thought Patterns
A note on zero-congruences
Improving Content Management - A Semantic Approach
A Hierarchy Theorem for Regular Languages over Free Bisemigroups
Modelling of a Communication System Evolving in a Random Environment
Normal Form Relation Schemes: A New Characterization
Adding Semantics to Measurements: Ontology-Guided, Systematic Performance Analysis
A Modern Look at GRIN, an Optimizing Functional Language Back End
Multicontrol Turing machines
Factorizations of Languages and Commutativity Conditions
An Erdős-Ko-Rado Type Theorem II
On the multidimensional vector bin packing
Towards Correct Dependency Orders in Erlang Upgrades
Context-Free Tree Grammars are as Powerful as Context-Free Jungle Grammars
Spanning Tree Game as Prim Would Have Played
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm
On Minimal and Maximal Clones
Ein analog-elektrisches Modell zur Simulation der Lymphokinetik
Spectrum Skeletonization: A New Method for Acoustic Signal Feature Extraction
Codes and Infinite Words
Combining metric and topological navigation of simulated robots
Knowledge-Based Raster-Vector Conversion of Topographic Maps
On inferring zero-reversible languages
On some generalizations of cyclic networks
On cardinal numbers of sets of precomplete classes in limit-logics (in Russian)
An approach for compacting XMI documents
3-level Confidence Voting Strategy for Dynamic Fusion-Selection of Classifier Ensembles
Local and global reversibility of finite inhomogeneous cellular automaton
Varieties of Graphoids and Birkoff's Theorem for Graphs
Speech De-identification with Deep Neural Networks
The Optimistic and Cautius Semantics for Inconsistent Knowledge Bases
Synthesising Robust Schedules for Minimum Disruption Repair Using Linear Programming
On variable sized vector packing
Some Results Related to Dense Families of Database Relations
The Logic of Aggregated Data
Structural Information Aided Automated Test Method for Magic 4GL
Optimal Trajectory Generation for Petri nets
Towards a Generic Framework for Trustworthy Program Refactoring
Results on compositions of deterministic root-to-frontier tree transformations
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem
P Systems with Picture Objects
Velocity and Distance of Neighbourhood Sequences
A note on axiomatizing flowchart schemes
Closed On-Line Bin Packing
Multi Party Computation Motivated by the Birthday Problem
On graphs satisfying some conditions for cycles, II
Reconstruction of binary matrices from fan-beam projections
Distance-Based Skeletonization on the BCC Grid
Improving Storage Handling of Interval Methods for Global Optimization
Cycle Structure in Automata and the Holonomy Decomposition
On fault tolerant L-processors
A Geometric Method for Accelerated Sphere Tracing of Implicit Surfaces
On Chomsky Hierarchy of Palindromic Languages
The Recycled Kaplansky's Game
Epis of some categories of Z-continuous partial algebras
Economical Transformations of Phrase-Structure Grammars to Scattered Context Grammars
Versuch einer automatentheoretischen Beschreibung von Selektionsprozessen
Distance Functional Dependencies in the Presence of Complex Values
Decompositions of Automata and Transition Semigroups
Linear parallel maps of tessellation automata
On involutorial automata and involutorial events
Demonic Fixed Points
Camera Placement Optimization in Object Localization Systems
Single and Combined Algorithms for Open Set Classification on Image Datasets
Connection Between Version Control Operations and Quality Change of the Source Code
Subdirectly irreducible commutative automata
Generalized Harary Games
An online scheduling algorithm for a two-layer multiprocessor architecture
Clouds, p-boxes, Fuzzy Sets, and Other Uncertainty Representations in Higher Dimensions
Weighted and Unweighted Trace Automata
Complex Independent Process Analysis
On some enumeration questions concerning trees and tree-type networks
Self-Regulating Finite Automata
Equality sets for homomorphisms of free monoids
Publication List of Zoltán Ésik
On the Complexity of Dynamic Tests for Logic Functions
EA-POT: An Explainable AI Assisted Blockchain Framework for HoneyPot IP Predictions
A Decomposition Theorem for a class of infinite transformation semigroups
Kleene Theorems for skew formal power series
Synthesis of the synchronization of general pipeline systems
Monitoring Evolution of Code Complexity and Magnitude of Changes
Weak Functional Dependencies on Trees with Restructuring
Affine Iterations and Wrapping Effect: Various Approaches
On Isomorphic Representation of Nondeterministic Tree Automata
Towards Computer Aided Development of Parallel Compilers Running on Transputer Architecture
Balanced Active Learning Method for Image Classification
Using the Fisher Vector Approach for Cold Identification
Test Suite Reduction in Conformance Testing
Atomic characterizations of uniform multi-pass attribute grammars
A Pumping Lemma and Decidability Problems for Recognizable Tree Series
A note on the axiomatization of iteration theories
An approach to automata schemes synthesis
Acts Over Completely O-Simple Semigroups
Demonstration of a Problem-Solving Method
Parallel programming structures and attribute grammars
On the completeness of proving partial correctness
Unit Testing in C++ with Compiler Instrumentation and Friends
Minimal inter-particle distance in atom clusters
An implementation of the HLP
MICROTEST - A testing tool on PC
Automata on Infinite Biposets
Rotational tree structures on binary trees and triangulations
Regular tree languages and quasi orders
Selecting Execution Path for Replaying Errors
Varieties of Tree Languages Definable by Syntactic Monoids
Application Oriented Variable Fixing Methods for the Multiple Depot Vehicle Scheduling Problem
On ν i -products of automata
A Uniform Approach to Test Computational Complementarity
On Ground Word Problem of Term Equation Systems
Syntactic Monoids of Codes
On Kleene Algebras of Ternary Co-Relations
A Chomsky-Schützenberger-Stanley Type Characterization of the Class of Slender Context-Free Languages
Identification of the Place and Materials of Knocking Objects in Flow Induced Vibration
A theory of finite functions, Part I. On finite trees associated to certain finite functions
Approximations to the Normal Probability Distribution Function using Operators of Continuous-valued Logic
An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions
Hybrid Concurrency Control and Recovery for Multi-Level Transactions
Alternation Bounds for Tree Automata
Outlines of a Model of General Ontology
Loop products and loop-free products
On finite definite automata
Zero Initialized Active Learning with Spectral Clustering using Hungarian Method
Hungarian named entity recognition with a maximum entropy approach
A new method for the analysis and synthesis of finite Mealy-automata
Automating, Analyzing and Improving Pupillometry with Machine Learning Algorithms
The Structure of Pairing Strategies for k-in-a-row Type Games
Language Representations Starting from Fully Initial Languages
On the number of zero order interpolants
Business Process Quality Measurement using Advances in Static Code Analysis
Metric representations by ν i -products
On some aspects of the algebraic description of automaton mappings
The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors
On products of automata with identity
Modal logics with function symbols
On homomorphically α i -complete systems of automata
The Boolean Closure of DR-Recognizable Tree Languages
On Merging Reduction of the Process Network Synthesis Problem
Hungarian Noun Phrase Extraction Using Rule-based and Hybrid Methods
A method for minimizing partially defined Boolean functions
A Preparation Guide for Java Call Graph Comparison
Speech Recognition Experiments with Audiobooks
A Formalisation of Core Erlang, a Concurrent Actor Language
Preface - Papers from the Conference for PhD Students in Computer Science
Interval-Based Simulation of Zélus IVPs using DynIbex
An Elementary Proof of the General Poincaré Formula for λ-additive Measures
Asymptotic Approximation for the Quotient Complexities of Atoms
Automata Depository Model with Autonomous Robots
Towards Abstraction-based Probabilistic Program Analysis
Estimation of average length of search on random zero-one matrices
Hungarian Sentence Analysis Learning Application with Transformer Models
Characterizing Sliding Surfaces of Cyber-Physical Systems
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving
Optimization of multi valued logical functions based on evaluation graphs
Limited Codes Associated with Petri Nets
On homomorphic simulation of automata by α 0 -products
A Note on the Equivalence of the Set Covering and Process Network Synthesis Problems
On the isomorphism-complete problems and polynomial time isomorphism
A note on the generalized ν i -product
State Complexity of Kleene-Star Operations on Regular Tree Languages
A note on α 0 * - products of aperiodic automata
On Strong-Generalized Positive Boolean Dependencies
Telephone Speech Recognition via the Combination of Knowledge Sources in a Segmental Speech Model
Two New Approximation Algorithms for the Maximum Planar Subgraph Problem
Logical foundations for a general theory of systems
A note on the interconnection structure of cellular networks
Trips on Trees
Problem solving based on knowledge representation and program synthesis
Image Processing-based Automatic Pupillometry on Infrared Videos
The cardinality of closed sets in pre-complete classes in k-valued logics
On Extended Simple Eco-grammar Systems
A Clinical System Integration Methodology for Bio-Sensory Technology with Cloud Architecture
A Stochastic Approach to Improve Macula Detection in Retinal Images
Rootkit Detection on Embedded IoT Devices
An Approach based on Genetic Algorithms for Clustering Classes in Components
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures
In Memory of Professor Ferenc Gécseg
Techniques for Modular language implementation
Standardized Telemedicine Software Development Kit with Hybrid Cloud Support
An effective theorem proving algorithm
Some measure problems concerning the retrospective sequential functions
Mealy-Automata in Which the Output-Equivalence is a Congruence
Nonlinear Parameter Estimation by Global Optimization - Efficiency and reliability
All minimal clones on the three-element set
On the equivalence of the frontier-to-root tree transducers II
Mining Dynamic databases by Weighting
Modular Reinforcement Learning: A Case Study in a Robot Domain
Inverses of Rational Functions
Complete Finite Automata Network Graphs with Minimal Number of Edges
Decidability results concerning tree transducers II
On the supplement of sets in functional systems
Development of a Communication Environment between IPv6 and IPv4
Cooperating Distributed Grammar Systems with Random Context Grammars as Components
On a Class of Discrete Functions
Calculating Non-Equidistant Discretizations Generated by Blaschke Products
On Codes of Bi-Infinite Words
A survey of grammar forms - 1977
Market Oriented Integration of MS-Windows-Based Tools for Distributed Decision Support
Functional Dependencies over XML Documents with DTDs
Retractable state-finite automata without outputs
Projection Selection Dependency in Binary Tomography
Topic and language specific internet search engine
Geometric Newton-Raphson Methods for Plane Curves
Axiomatizing Iteration Categories
Axiomatic systems in fuzzy algebra
On the Completeness of the Traced Monoidal Category Axioms in (Rel, +)
The Extended Analog Computer and Functions Computable in a Digital Sense
Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems
Implementing a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams
Groupoids of pseudoautomata
Decomposition results concerning K-visit attributed tree transducers
Generalized Fairness and Context-Free Languages
Joint Perception in Agent Communication
An addition to the methods of test determination for fault detection in combinational circuits
Die prinzipielle Ausschaltbarkeit der rekursiven Prozeduren aus der Programmierungsprache Algol 60
Radical Theory for Group Semiautomata
Grammatical constructions in selective substitution grammars
Improved Topic Identification for Similar Document Search on Mobile Devices
Workflow processing using ERP Objects
F codes
Extracting Human Protein Information from MEDLINE Using a Full-Sentence Parser
Conference on Hungarian Computational Linguistics - Preface
Approximations of the Generalized Cascade Model
On some open problems of applied automaton theory and graph theory (suggested by the mathematical modelling of certain neuronal networks)
Factored Value Iteration Converges
On Two-Step Methods for Stochastic Differential Equations
A Comparative Study on the Privacy Risks of Face Recognition Libraries
Minimal keys and antikeys
On the lattice of clones acting bicentrally
On Competence and Completeness in CD Grammar Systems
Instantiation of Java Generics
Cooperative Localization of Drones by using Interval Methods
Invariance Groups of Threshold Functions
Accepting Multi-Agent Systems II
On the expected behaviour of the NF algorithm for a dual bin-packing problem
PICA - A graphical program development tool
Regulated Pushdown Automata
PC Grammar Systems: Recent Results, Open Problems
Identifying Concurrent Behaviours in Erlang Legacy Systems
The Debug Slicing of Logic Programs
Performance Modeling of Finite-Source Cognitive Radio Networks
Right Group-Type Automata
The Reflexive Domain of CPO's Ideals
Construction of Recursive Algorithms for Polarity Matrices Calculation in Polynomial Logical Function Representation
Generation and Reconstruction of hv-convex 8-connected Discrete Sets
Optimal strategy in games with chance nodes
On the equivalence of candidate keys with Sperner systems
The invertibility of tree transducers
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer
Über das Rechnen mit den Elementen abstrakt präsentierter Halbgruppen
M-Solid Varieties of Languages
Mobile Platforms and Multi-Mobile Platform Development
Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving
Algebraic representation of language hierarchies
A Personalized Multi-Path and Multi-User Traffic Analysis and Visualization Tool
Intuitionistic computability logic
The alternation number and a dot hierarchy of regular sets
HyperS Tableaux - Heuristic Hyper Tableaux
A Note on Decidability of Reachability for Conditional Petri Nets
Programming by steps
Synthesis of abstract algorithms
Learning Decision Trees in Continuous Space
A form of the Zermelo-von Neumann theorem under minimal assumptions
Parallel implementation for large and sparse eigenproblems
On Nilpotent Languages and Their Characterization by Regular Expressions
Community Detection by using the Extended Modularity
Graph Coloring based Heuristic for Crew Rostering
Cutting plane methods for solving nonconvex programming problems
Nondeterministic programming within the frame of first order classical logic, Part 1
A programming environment for a transputer-based multiprocessor system
On star-products of automata
The analysis of signal flow graph containing sampled-data elements
On complexity of finite moore automata
Funktionen, die von pushdown-Automaten berechnet werden
The early bird problem is unsolvable in a one-dimensional cellular space with 4 states
Multithreading Atomicity: Static Analysis Checkers
On minimal R-complete systems of finite automata
A Note on the Star-Product
On Lexicographic Enumeration of Regular and Context-Free Languages
Simulated Annealing for Aiding Genetic Algorithm in Software Architecture Synthesis
Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies
d-dependency structures in the relational model of data
Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin
Evaluating Well-Formedness Constraints on Incomplete Models
Varieties and general products of top-down algebras
Statistical Language Models within the Algebra of Weighted Rational Languages
On attributed tree transducers
Hausdorff Dimension of Univoque Sets
On the Randomized Complexity of Monotone Graph Properties
Understanding Program Slices
Zur Synthese von DOL-Systemen
Kalmár Workshop on Logic and Computer Science - Preface
On Computing the Hamming Distance
Sound Over-Approximation of Probabilities
Pixel Grouping of Digital Images for Reversible Data Hiding
Benchmarking Graph Database Backends - What Works Well with Wikidata?
A possible new model of neurons and neural processes based on the quantum-mechanical theory of measurement
A noninterleaving semantics for communicating sequential processes: a fixed-point approach
On the verification of abstract data types
The Connection between Antipatterns and Maintainability in Firefox
The use of computers in nuclear medicine
An Algebraic Approach to Energy Problems I - * -Continuous Kleene ω-Algebras
An Ontology Segmentation Tool
Dynamic Communities and their Detection
Definition of global properties of distributed computer systems by the analysis of system components method
Improved Loop Execution Modeling in the Clang Static Analyzer
On D0L systems with finite axiom sets
Multi Model Recursion for Hungarian Electricity Load Forecasting
Code Coverage Measurement Framework for Android Devices
A Graphical User Interface for Evolutionary Algorithms
On a Special Composition of Tree Automata
How Egocentric Distance Estimation Changes in Virtual Environments by Using a Desktop Display or the Gear VR