yusuke1997/dblp-id-title huggingface dataset:
An Effective Message Embedding Scheme for 3D Models
Communes via Yoneda, from an Elementary Perspective
A New Time-Optimum Synchronization Algorithm for Rectangle Arrays
PathLog: a Query Language for Schemaless Databases of Partially Labeled Objects
Neighborhood Systems and Variable Precision Generalized Rough Sets
On the Power of Accepting Networks of Evolutionary Processors with Special Topologies and Random Context Filters
A New Synchronisation Model for Multi-Level Object Petri Nets
Herbrand-satisfiability of a Quantified Set-theoretic Fragment
Game-Theoretic Centrality Measures for Weighted Graphs
Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars
Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis
Rough Sets and 3-Valued Lukasiewicz Logic
Important Facts and Observations about Pairwise Comparisons (the special issue edition)
On Graph Algorithms for Degeneracy Test and Recursive Description of Stream Ciphers
Relating Reachability Problems in Timed and Counter Automata
Cryptanalysis of the Hwang-Shi Proxy Signature Scheme
Generalized Factors of Words
On Three Alternative Characterizations of Combined Traces
Synthesis of Live and Bounded Persistent Systems
Self-stabilisation of Cellular Automata on Tilings
Set-theoretical Constructions of Boolean Functions and theirs Applications in Logic Synthesis
A Comprehensive Survey on Fractional Fourier Transform
Spiking Neural P Systems with Rules on Synapses Working in Sum Spikes Consumption Strategy
Star-Connected Flat Languages and Automata
A Subtyping for Extensible, Incomplete Objects
An Improved Boolean Circuit for Maximum Matching in a Convex Bipartite Graph
An Approach to Context-Based Default Reasoning
Relational Operations and Uncertainty Measure in Rough Relational Database
Why Denotational? Remarks on Applied Denotational Semantics
Pattern Extraction from Data
A representation of partial Boolean algebras
DNA Compunting: A Review
Syntactic Elements of Declarative Programming: Symbolic Linear Equations
Nominal Groups and Their Homomorphism Theorems
Reductions for Primitive 2-Structures
Consistency Conditions in Fuzzy Consumers Theory
Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms
Algorithms for Computing the lambda-regularities in Strings
A Descriptive Tolerance Nearness Measure for Performing Graph Comparison
Superposition Principle in Composable Hybrid Automata
Simulation Complexity
A model logic for similarity relations in pawlak knowledge representation systems
On Languages of P Automata
On the Relationships among four Timed Process Algebras
Modeling Biology using Generic Reactive Animation
A Note on Asymptotic Probabilities of Existential Second-Order Minimal Classes - the Last Step
How Hard is it to Predict Sandpiles on Lattices? A Survey
A Foundational Theory of Contracts for Multi-party Service Composition
Reference Abstract Domains and Applications to String Analysis
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems
Traps, Cores, Extensions and Subdirect Decompositions of Unary Algebras
Modelling Progressive Filtering
Network Models in Neuroimaging: A Survey of Multimodal Applications
A Formal Model of Multi-Agent Organisations
Rank 2 Intersection Type Assignment in Term Rewriting Systems
Marginalia to a Theorem of Jacopini
Logic for Rough Truth
A Pricing Approach For Grid Resource Scheduling With QoS Guarantees
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks
Aligning Projection Images from Binary Volumes
A Secure Non-monotonic Soft Concurrent Constraint Language
A Logic Framework for Verification of Timed Algorithms
A Method for Hierarchical Description of Images Using Multiscale Analysis
Deterministic One-Way Turing Machines with Sublinear Space
On Learning Decision Structures
Human-aware Contingent Planning
Row and Column Spaces of Matrices over Residuated Lattices
Approximation Spaces Based on Relations of Similarity and Dissimilarity of Objects
On the Existence of Kernel Function for Kernel-Trick of k-Means in the Light of Gower Theorem
Rough Sets and Infomorphisms: Towards Approximation of Relations in Distributed Environments
Array P Systems and t.Communication
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ + and their Extensions with n -ary Roles and Numerical Domains
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
An Algorithmic Construction of Finite Elliptic Curves of Order Divisible by a Large Prime
Theory of Constructive Semigroups with Apartness - Foundations, Development and Practice
Efficient Approaches for Solving a Multiobjective Energy-aware Job Shop Scheduling Problem
Musical Sound Classification based on Wavelet Analysis
Towards Encoding of the Transition Relation in Dialogue Games Model Checking
On the Influence of Confluence in Modal Logics
A Polynomial-Time Construction of a Hitting Set for Read-Once Branching Programs of Width 3
Capacity-Raising Steganography Using Multi-Pixel Differencing and Pixel-Value Shifting Operations
Simultaneous Feature Selection and Extraction Using Feature Significance
Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces
Random-Grid Based Region Incrementing Visual Secret Sharing
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions
Insertions Yielding Equivalent Double Occurrence Words
A Fast VQ Codebook Generation Algorithm Based on Otsu Histogram Threshold
PSF - A Retrospective
Modelling nondeterministic concurrent processes with event structures
Sequentiality in Bounded Biorders
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
On lambda-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem
Approximate learning with multiple machines
Simulations Between Cellular Automata on Trees Extended by Horizontal Edges
History preserving, causal and mixed-ordering equivalence over stable event structures
Empiricism and Rationalism in Region-based Theories of Space
A Note on Forcing and Type Theory
An Integration of Cloud Transform and Rough Set Theory to Induction of Decision Trees
On Stability and Classification Tools for Genetic Algorithms
Symbolic Algorithms Computing Gram Congruences in the Coxeter Spectral Classification of Edge-bipartite Graphs, I. A Gram Classification
Representations of Recursively Enumerable Array Languages by Contextual Array Grammars
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Principal Ideal Languages and Synchronizing Automata
On the Diversity of Orderings on Strings
Incremental Computing Approximations with the Dynamic Object set in Interval-valued Ordered Information System
Completeness of Timed mCRL
Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems
A State-Efficient Mapping Scheme for Designing Two-Dimensional Firing Squad Synchronization Algorithms
Bounds for Validation
Yurii Rogozhin's Biography and Publications
Evolutionary Algorithm for Economic Lot and Delivery Scheduling Problem
Arrow Index of a Fuzzy Choice Function
A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule
Parametric Analyses of Attack-fault Trees
Solving Infinite Games in the Baire Space
Pseudopower Avoidance
Relational Contexts and Relational Concepts
Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation
True Concurrent Equivalences in Time Petri Nets
Differential Fault Attacks on Lightweight Cipher LBlock
Fuzzy Clustering for Semantic Knowledge Bases
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
A Relation-Algebraic Theory of Bisimulations
Universality and Almost Decidability
Deterministic Two-Way Restarting Automata and Marcus Contextual Grammars
Processes in Cause-Effect Systems
Simple Linear Comparison of Strings in V-order
Image Indexing by Distributed Color Temperature Descriptions
Efficient Algorithm of Affine Form Searching forWeakly Specified Boolean Function
Mining the Largest Dense Vertexlet in a Weighted Scale-free Graph
The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach
On the Notion of Elementary Description
A Comparative Study of Ordered and Covering Information Systems
The Watershed Transform: Definitions, Algorithms and Parallelization Strategies
A Granular Computing Approach to Symbolic Value Partitioning
On Controlled P Systems
Particle Swarm Optimization Based Object Tracking
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets
A Robust Digital Watermarking Based on Local Complex Angular Radial Transform
Modeling and Reasoning with Paraconsistent Rough Sets
Multiple Controlled Random Testing
Conservativity of Equational Theories in Typed Lambda Calculi
The Krohn-Rhodes Theorem and Local Divisors
Improving Short Text Classification using Information from DBpedia Ontology
Limited Asynchronous Spiking Neural P Systems
A Note on the Emptiness of Semigroup Intersections
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Distributive Evaluations of lambda-calculus
On sequents defined by means of information systems
Algebraic Aspects of Attribute Dependencies in Information Systems
Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
Tiered Objects
Regular Orthomodular Posets
Bivariate Finite Operator Calculus and Counting Ballot Paths Containing Patterns
Pretopologies and Dynamic Spaces
Interval Regression Analysis with Polynomials and Its Similarity to Rough Sets Concept
On String Languages Generated by Spiking Neural P Systems
Towards Assessment of Innovativeness Economy Determinant Correlation: the Double Self-Organizing Feature Map Approach
Complex Interval-valued Intuitionistic Fuzzy Sets and their Aggregation Operators
Optimal Proof Systems, Optimal Acceptors and Recursive Presentability
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
Semantics and Execution Time of New Timed Statecharts
Strongly Limited Automata
Compression of Dynamic Fuzzy Relation Information Systems
On Accepting Pure Lindenmayer Systems
Quantification in autoepistemic logic
Decision Problems Concerning a Power Series Generalization of DTOL Systems
Array Grammars with Contextual Operations
Real Recursive Functions and Baire Classes
Slicing of Timed Automata with Discrete Data
Machine Learning for Traffic Prediction
The c-Semantics: A Comprehensive Semantics for Functional Programs
Anatomy of the Chase
Taking Complete Finite Prefixes To High Level, Symbolically
The Impedance Mismatch in Light of the Unified State Model
Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic
A Survey of Decidability Results for Elementary Object Systems
A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them
Acyclic and Cyclic Reversing Computations in Petri Nets
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Making revision reversible: an approach based on polynomials
Discovering Concurrent Models from Data Tables with the ROSECON System
Length-k-overlap-free Binary Infinite Words
A Domain Knowledge as a Tool For Improving Classifiers
H-trees: a Model of Evolutionary Scenarios with Horizontal Gene Transfer
The Logic of Persistent Intersection
eDonkey & eMule's Kad: Measurements & Attacks
Reversible Regular Languages: Logical and Algebraic Characterisations
Codebook Partition Based Steganography without Member Restriction
Theoretical Foundations of Order-Based Genetic Algorithms
Thue Specifications, Infinite Graphs and Synchronized Product
Algorithms for Relatively Cyclotomic Primes
Using State Equation to Prove Non-Reachability in Timed Petrinets
Embedding a default system into nonmonotonic logics
The arbiter: an active system component for implementing synchronizing primitives
What Defaults can do that Hierarchies Can't
Tiling the Space by Polycube Analogues of Fedorov's Polyhedra
Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis
Decision Problems for Probabilistic Finite Automata on Bounded Languages
A Representation of Processes of Petri Nets by Matrices
Approximation Operators, Binary Relation and Basis Algebra in L-fuzzy Rough Sets
Computing Supports of Conjunctive Queries on Relational Tables with Functional Dependencies
One-Visit Caterpillar Tree Automata
Refinement of Synchronizable Places with Multi-workflow Nets
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems
Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System
Towards an Algebraic Theory of Context-Free Languages
Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics
On the Undecidability of Partial Polymorphic Type Reconstruction
On the Computational Interpretation of CK n for Contextual Information Processing
Occurrence Net Logics
On Different Models for Packet Flow in Multistage Interconnection Networks
Information retrieval systems, an algebraic approach II
Rough Equalities From Posets and Rough Difference Orders
Redundant Call Elimination via Tupling
On Modal μ-Calculus in S5 and Applications
A Comparative Study of Some Generalized Rough Approximations
Vector Quantisation
Feature Selection Algorithm for Multiple Classifier Systems: A Hybrid Approach
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching
Some Remarks on Testing Irreducibility of Polynomials and Normality of Bases in Finite Fields
Register Cellular Automata in the Hyperbolic Plane
Hoare-Style Verification of Graph Programs
On Algorithmic Study of Non-negative Posets of Corank at Most Two and their Coxeter-Dynkin Types
Membrane Systems with Qualitative Evolution Rules
Associative Omega-products of Traces
Random Surfer with Back Step
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures
Approximation-oriented Fuzzy Rough Set Approaches
A Low-complexity Distance for DNA Strings
Does Light Direct Life Toward Cosmic Awareness?
Asynchronous Systems of Parallel Communicating Finite Automata
Grayscale Image Hiding Based on Modulus Function and Greedy Method
A Controller Design for the Khepera Robot: A Rough Set Approach
Mobile Object-Net Systems and their Processes
Linking Reaction Systems with Rough Sets
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)
Bisimulation Minimisation of Weighted Automata on Unranked Trees
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution
Undecidability of Language Equivalence for Generalized Regular Expressions
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic
A Representation Theorem for Holonomic Sequences Based on Counting Lattice Paths
Measuring Semantic Closeness of Ontologically Demarcated Resources
Deterministic Complexity and Entropy
Linear Logic, Comonads and Optimal Reduction
The Membership Problem for Switching Classes with Skew Gains
Codebook-linked Watermarking Scheme for Digital Images
Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces
A Multi-facet Approach to Dynamic Agent Systems
Two Problems on Reduction Graphs in Lambda Calculus
Argumentation Systems
A Sign Function Approach to Solve Algebraically Interval System of Linear Equations for Nonnegative Solutions
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
On Recognizable Tree Languages Beyond the Borel Hierarchy
Duality in Rough Set Theory Based on the Square of Opposition
P Systems with Transport and Diffusion Membrane Channels
A syntactic approach to introspection and reasoning about the beliefs of other agents
A Simple and Efficient Tensor Calculus for Machine Learning
Quantization Step Parity-based Steganography for MP3 Audio
A Rule-based Verification Strategy for Array Manipulating Programs
Tableaux Versus Resolution a Comparison
Proof of Multicopy via Proof of File Position in Cloud
A Note on Axiom System for SBL-algebras
Rough C-means and Fuzzy Rough C-means for Colour Quantisation
Typing the Behavior of Software Components using Session Types
Actions Over a Constructive Semantics for Description Logics
On Minimal Rule Sets for Almost All Binary Information Systems
Foundations of Paraconsistent Resolution
Asymptotics for Length and Trajectory from Cumulative Chord Piecewise-Quartics
Operational and denotational semantics with explicit concurrency
Solitaire Zero-knowledge
Companions and an Essential Motion of a Reaction System
Textures and Fuzzy Rough Sets
Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms
Complexity Issues in Computational Biology
Computational Classification of Tubular Algebras
Proving the Power of Postselection
A Proof Theoretic View of Constraint Programming
Learning Rule Ensembles for Ordinal Classification with Monotonicity Constraints
Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure
On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis
Solving the Team Composition Problem in a Classroom
A Simple Butterfly Particle Swarm Optimization Algorithm with the Fitness-based Adaptive Inertia Weight and the Opposition-based Learning Average Elite Strategy
Enhanced of Key Agreement Protocols Resistant to a Denial-of-Service Attack
Simple Bisimilarity Minimization in O(m log n) Time
Designing Model Based Classifiers by Emphasizing Soft Targets
Possible Worlds Semantics for Default Logics
Involution Solid and Join codes
Factored Cost-Optimal Planning Using Message Passing Algorithms
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets
About Splicing P Systems with One Membrane
Narrowing Strategies for Arbitrary Canonical Rewrite Systems
Contextual Grammars with Subregular Choice
The Decent Philosophers: An Exercise in Concurrent Behaviour
Decision-theoretic Rough Sets-based Three-way Approximations of Interval-valued Fuzzy Sets
S-approximation Spaces: A Three-way Decision Approach
Chaotic Subshifts and Related Languages Applications to one-dimensional Cellular Automata
A Formal Language Model of DNA Polymerase Enzymatic Activity
Finite Automata with Multiset Memory: A New Characterization of Chomsky Hierarchy
Secret Image Hiding and Sharing Based on the (t, n)-Threshold
In Memory of Professor Zdzislaw Pawlak
Numeric Algorithms for Corank Two Edge-bipartite Graphs and their Mesh Geometries of Roots
Super-resolution in Clinical Conditions: Deep Brain Stimulation Case Study
Discovering Motifs in DNA Sequences
On the Accuracy of Rough Approximations of Regular Languages
Complexity of Fuzzy Probability Logics
Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma
Three-way Decisions with Rough Membership Functions in Covering Approximation Space
A Basic Logic for Reasoning about Connector Reconfiguration
Reaction Systems and Enabling Equivalence
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Stochastic Bounded Diameter Minimum Spanning Tree Problem
Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme
Detecting Irrelevant Subtrees to Improve Probabilistic Learning from Tree-structured Data
Intercode Regular Languages
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi
On Axiomatizability of the Multiplicative Theory of Numbers
Cost Problems for Parametric Time Petri Nets
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication
Automation for Dependently Typed Functional Programming
A Relational Logic for Spatial Contact Based on Rough Set Approximation
Abstract Interpretations in the Framework of Invariant Sets
Event Structures for Arbitrary Disruption
Differential Evolution Based Fuzzy Logic Controller for Nonlinear Process Control
Grammar Systems versus Membrane Computing: The Case of CD Grammar Systems
On Causality Semantics of Nets with Priorities
The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
Hybrid Analytic Flows - the Case for Optimization
Applications of Bipartite Graphs and their Adjacency Matrices to Covering-based Rough Sets
A Meta-Heuristic Algorithm Combining Between Tabu and Variable Neighborhood Search for the Minimum Latency Problem
Reasoning about ignorance: a note on the Bush-Gorbachev problem
Compression on the Twisted Jacobi Intersection
Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Arc Multiplicities
Minimal Size of Counters for (Real-Time) Multicounter Automata
Combinatorial Geometry and Coding Theory
Interactive Systems with Registers and Voices
Concept Approximation in Mathematics and Computer Science. An Essay in Homage to Zdzislsaw Pawlak
Composition Theorem for Generalized Sum
Comparing Concepts of Object Petri Net Formalisms
Automating Inductive Specification Proofs
Some New Self-avoiding Walk and Polygon Models
Categorisation of Computable Data-Base Queries
Software Agent Systems for Improving Performance of Multi-Robot Groups
Pattern and Rule Mining for Identifying Signatures of Epileptic Patients from Clinical EEG Data
Contextual Grammars: Parallelism and Blocking of Derivation
On Some Problems of Mateescu Concerning Subword Occurrences
Complex Complement Circuit Design of Four Inputs Based on DNA Strand Displacement
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems
Formal Asynchronous Systems Modelling
Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework
The Completeness of Typing for Context-Semantics
Search Result Clustering Based on Query Context
P Systems with Proteins on Membranes
SM-Algorithms for Approximating the Variable-Order Fractional Derivative of High Order
Optimization of Speech Recognition by Clustering of Phones
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions
Foundations on Coordination Languages and Software Architectures
Classification of Infinite Information Systems Depending on Complexity of Decision Trees and Decision Rule Systems
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers
Defect Theorems for Trees
From Box Algebra to Interval Temporal Logic
Extending and Implementing RASP
Complete Testing from a Stream X-Machine Specification
Universal Semi-local Election Protocol Using Forward Links
The Conditional-( g , d , k )-Connectivity and Conditional-( g , d , k )-edge-Connectivity on the Hypercubes
On String Languages Generated by Sequential Numerical P Systems
Selective Unification in (Constraint) Logic Programming
A Probabilistic Model for Molecular Systems
On the Complexity of Optimal Parallel Cooperative Path-Finding
Enhancement of Multispectral Ikonos Satellite Image Using Quantum Information Processing
On the Analysis of Fuzzy String Patterns with the Help of Extended and Stochastic GDPLL(k) Grammars
Computing Formal Concepts by Attribute Sorting
Finite IUML-algebras, Finite Forests and Orthopairs
Perfect Hashing Schemes for Mining Traversal Patterns
Trace Nets and Conflict-free Computations
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees
Digital Jordan Curves and Surfaces with Respect to a Closure Operator
On Distributed k-Anonymization
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
On the Computational Complexity of Bongartz's Algorithm
Deciding whether the frontier of a regular tree is scattered