yusuke1997/dblp-id-title huggingface dataset:
Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems
Erratum for "Shuffle of Words and Araucaria Trees"
Gene Expression by Software Mechanisms
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
New polynomial-time instances to various knapsack-type problems
Natural Computation for Natural Language
Finding Symmetries of Algebraic System Nets
Relations between Proto-fuzzy Concepts, Crisply Generated Fuzzy Concepts, and Interval Pattern Structures
CCS(25, 12) is Turing-complete
Efficient Algorithms for Games Played on Trees with Back-edges
Integrating Distributed Algorithms into Distributed Systems
Adaptive Differential Evolution with Elite Opposition-Based Learning and its Application to Training Artificial Neural Networks
Petri Net Processes for Zero-Safe Nets
Diameter of General Knödel Graphs
Path Compression in Timed Automata
An Image Retrieval Method Based on Color-Complexity and Spatial-Histogram Features
Termination of Graph Rewriting is Undecidable
A logically justified model of computation II
A Complete Axiomatization of Process Temporal Logic
A Translator of Java Programs to TADDs
NovelWatermarking Authentication Schemes for Binary Images Based on Dual-Pair Block Pixel Patterns
Rough Mereology in Information Systems with Applications to Qualitative Spatial Reasoning
Decidability Problems of a Basic Class of Object Nets
Infinite Product of Traces Represented by Projections
On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection
Towards Syntactic Epistemic Logic
Rough Sets and Learning by Unification
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Smaller Universal Spiking Neural P Systems
Certifying Dictionary Construction in Isabelle/HOL
A semantic approach to fairness
Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri Nets
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins
Proving Theorems by Program Transformation
Checking Reachability Properties for Timed Automata via SAT
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)
Atomicity and Concurrency Control in Process Calculi
Normalized-scale Relations and Their Concept Lattices in Relational Databases
Data Mining with Histograms and Domain Knowledge - Case Studies and Considerations
Analysis of the Effectiveness of the Genetic Algorithms based on Extraction of Association Rules
A P_Lingua Based Simulator for P Systems with Symport/Antiport Rules
Typical Paths of a Graph
Formal Framework for Data Mining with Association Rules and Domain Knowledge - Overview of an Approach
On the General Position Number of Complementary Prisms
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Boundaries, Borders, Fences, Hedges
Properties of Almost All Graphs and Generalized Quantifiers
Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars
What Agents Can Probably Enforce
Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems
Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras
First-Order Ground Non-Monotonic Modal Logic
On Four Partial Ordering Semantics for a Process Calculus
A Rough Set Approach to Information Systems Decomposition
Exp(-ϕ(η))-expansion Method and Shifted Chebyshev Wavelets for Generalized Sawada-Kotera of Fractional Order
Finitary Compositions of Two-way Finite-State Transductions
A Fully Precise Null Extended Nested Relational Algebra
Tabular Expressions Operators
On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs
Spanning Structures in Walker-Breaker Games
Interval-valued Fuzzy Soft Decision Making Methods Based on MABAC, Similarity Measure and EDAS
Abstract Interpretation of an Object Calculus for Synchronization Optimizations
A C Library for Simulating P Systems
An Improved Bound for an Extension of Fine and Wilf's Theorem and Its Optimality
Comparison of Different Data Mining Methods to Determine Disease Progression in Dissimilar Groups of Parkinson's Patients
Asynchronous Circuits, Communicating Processes, and Muller Automaton
The Ground Tree Transducer Game
On Insecure Uses of BGN for Privacy Preserving Data Aggregation Protocols
PageRank Topic Model: Estimation of Multinomial Distributions using Network Structure Analysis Methods
Complex Decision Systems and Conflicts Analysis Problem
Minimal Regions of ENL-Transition Systems
Grill Determined L-Approach Merotopological Spaces
Comparing Problem Solving Strategies for NP-hard Optimization Problems
Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction Program
RAM Simulation of BGS Model of Abstract-state Machines
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets
Analysis of Recognition of a Musical Instrument in Sound Mixes Using Support Vector Machines
On Abelian Longest Common Factor with and without RLE
A hierarchy of context-free derivations
Residual Power Series Method for Fractional Diffusion Equations
Fundamental Properties of Pythagorean Fuzzy Aggregation Operators
On Total Contextual Grammars with Restricted Choice
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
Exclusive Access to Resources in Distributed Shared Memory Architecture
The Nondeterministic Information Logic NIL is PSPACE-complete
Optimal Unification of Infinite Sets of Types
Dynamic Behavior of Simple Insertion Sort Algorithm
On the amount of non-determinism in pushdown in pushdown automata
Processes in Systems with Limited Resources in the Context of Non-extensive Thermodynamics
A Proof System for Dependencies for Information Relations
An Algorithm for BCH Codes Extended with Finite State Automata
Complete Orders, Categories and Lattices of Approximations
Computerized Tomography Noise Reduction by CICT Optimized Exponential Cyclic Sequences (OECS) Co-domain
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
Data Clustering Using Multi-objective Differential Evolution Algorithms
Finding Minimum Locating Arrays Using a CSP Solver
DSD: Maintain Data Cubes More Efficiently
Applying Modern SAT-solvers to Solving Hard Problems
Counting a Type's (Principal) Inhabitants
A Comparative Study of Algebra Viewpoint and Information Viewpoint in Attribute Reduction
Reduction of Pregrammars
On the Behaviours Produced by Instruction Sequences under Execution
Substitution up to Isomorphism
Abnormal Breast Detection in Mammogram Images by Feed-forward Neural Network Trained by Jaya Algorithm
Geometric transform Invariant Texture Analysis based on Modified Zernike Moments
Lower Bag Domains
Clusters, Confusion and Unfoldings
More About Converting BNF to PEG
Shadowed Sets and Related Algebraic Structures
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
Transactional Workflows in Distributed Systems
Axiomatizing Rectangular Grids with no Extra Non-unary Relations
On the Classification and Aggregation of Hierarchies with Different Constitutive Elements
P Systems with Rule Production and Removal
A Simple and Scalable Algorithm for the IP Address Lookup Problem
Supporting Secure Coordination in SecSpaces
A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem
Towards Efficient Searching on the Secondary Structure of Protein Sequences
Towards a Pragmatic Mereology
A Propositional Proof System with Quantification Over Permutations
Eliminating Introns in Ant Colony Programming
A Provably Secure Anonymous Two-Factor Authenticated Key Exchange Protocol for Cloud Computing
SAT-Based Reachability Checking for Timed Automata with Discrete Data
Greedy Algorithm for Construction of Partial Association Rules
Certificateless Public Key Cryptography in the Standard Model
A Strong Gram Classification of Non-negative Unit Forms of Dynkin Type 𝔸 r
Relational Algebra and Equational Proofs
Institution-independent Ultraproducts
Greedy Algorithm for Attribute Reduction
A Relation Between Unambiguous Regular Expressions and Abstract Data Types
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices
A Neuro-Fuzzy System Combined with Particle Swarm Optimization for Handwritten Character Recognition
Interpolation in conditional equational logic
A Behavioural Theory of Recursive Algorithms
Scalable Clustering for Mining Local-Correlated Clusters in High Dimensions and Large Datasets
Comparative Analysis of Deterministic and Nondeterministic Decision Tree Complexity
Reasoning and Facts Explanation in Valuation Based Systems
Computing the Edge Irregularity Strength of Bipartite Graphs and Wheel Related Graphs
Algorithmic triviality of abstract structures
Discrete Duality for Rough Relation Algebras
Logic-based Reasoning Support for SBVR
Attribute Reduction in Formal Contexts: A Covering Rough Set Approach
A Categorical View of Timed Behaviours
A Multiple-category Classification Approach with Decision-theoretic Rough Sets
On Rational Stochastic Languages
Sequence Semantics for Modelling Reason-based Preferences
Asymptotic Analysis of a Semelparous Species Model
On McNaughton Families of Languages That Are Specified by Some Variants of Monadic String-Rewriting Systems
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
Reflexive Autoepistemic logic
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets
Flow Graphs and Intelligent Data Analysis
A Novel Chaotic System and its Modified Compound Synchronization
Time Distribution in Structural Workflow Nets
Higher-Order Rank Functions on Directed Graphs
Deterministic Integer Factorization with Oracles for Euler's Totient Function
Verifying a Class: combining Testing and Proving
Minimal k-connected Graphs with Small Number of Vertices of Degree k
P Colonies Processing Strings
Structural Feature-Based Image Hashing and Similarity Metric for Tampering Detection
Implementing Typeful Program Transformations
On Finding the Maximum and Minimum Density Axes-parallel Regions in IR d
Characterising Strongly Normalising Intuitionistic Terms
Gained and Excluded Private Actions by Process Observations
Can Proofs be Animated by Games?
Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues
Coalition Formation: Towards Feasible Solutions
P Systems with Insertion and Deletion Exo-Operations
Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Tomography and Applications
Interactive Knapsacks
Perseus. Software for Analyzing Persuasion Process
Disassembly Scheduling with Parts Commonality Using Petri Nets with Timestamps
A Multi-swarm Approach to Multi-objective Flexible Job-shop Scheduling Problems
Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata
Behavioral Pattern Identification Through Rough Set Modeling
A Predictor-corrector Infeasible-interior-point Algorithm for Semidefinite Optimization in a Wide Neighborhood
A Strong Completeness Result for a MAS Logic
On partial languages
On Rough Approximations of Languages under Infinite Index Indiscernibility Relations
The Axiomatization of the Rough Set Upper Approximation Operations
First-Order Rough Logic I: Approximate Reasoning via Rough Sets
Behaviour Algebras
A Set Theory for Rough Sets. Toward A Formal Calculus of Vague Statements
Parameters and Parametrization in Specification, Using Distributive Categories
An Algebraic Characterization of the Halting Probability
A remark on the syntactic partition
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Non-dominating Sequences of Vectors Using only Resets and Increments
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types
ChariTime - Concepts of Analysis and Design of an Agent-Oriented System for Appointment Management
Second Order Fuzzy Measure and Weighted Co-Occurrence Matrix for Segmentation of Brain MR Images
Refinement in Finite State Machine Testing
The Reachability Problem for Object Nets
Solution to the Range Problem for Combinatory Logic
Tackling Permutation-based Optimization Problems with an Algebraic Particle Swarm Optimization Algorithm
Application of learning theorems
Toward Intelligent Searching the Rough Set Database System (RSDS): an Ontological Approach
A Note on the Logical Definability of Rational Trace Languages
More on modal aspects of default logic
Petri nets and resource bisimulation
Rough Sets and Vague Concepts
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations
On Taxicab Distance Mean Functions and their Geometric Applications: Methods, Implementations and Examples
Number-conserving cellular automaton rules
A New Method of Circumscribing Beliefs: The Propositional Case
Interpolation Models for Spatiotemporal Association Mining
A Discrete Representation for Dicomplemented Lattices
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
A Neuro-Genetic Framework for Pattern Recognition in Complex Systems
Adaptive Ant Colony Optimization Algorithm Based on Information Entropy: Foundation and Application
A New Incompleteness Result in Kripke Semantics
High Capacity Data Hiding for Grayscale Images
A New Approach to Preferential Structures
Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers
On Finite Model Property of the Equational Theory of Kleene Algebras
A Simple Architecture for Computing Moments and Orientation of an Image
A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
Trim Strongly Connected Synchronizing Automata and Ideal Languages
Communication Error Determination System for Multi-layered or Chained Situations
Certificate-based Fair Exchange Protocol of Schnorr Signatures in Chosen-key Model
On J-additivity and Bounded Additivity
RoFa: A Robust and Flexible Fine-Grained Access Control Scheme for Mobile Cloud and IoT based Medical Monitoring
Music Recommendation Based on Multidimensional Description and Similarity Measures
L-systems from 3D-imaging of Phenotypes of Arborized Structures
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms
On the 2-domination Number of Cylinders with Small Cycles
Properties of Java Simple Closures
Pushdown Automata Free of Explicit Nondeterminism and an Infinite Hierarchy of Context-free Languages
A Resolution Calculus with Shared Literals
Rough Sets for Handling Imbalanced Data: Combining Filtering and Rule-based Classifiers
Universal Computation in a Simplified Brownian Cellular Automaton with von Neumann Neighborhood
Recurrent Construction of MacWilliams and Chebyshev Matrices
Approaches to Conflict Dynamics Based on Rough Sets
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n
Computing with Böhm Trees
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions
On uniqueness of the Wulff shape for cellular automata
Time Petri Nets for Modelling and Analysis of Biochemical Networks
A Novel Method for Elimination of Inconsistencies in Ordinal Classification with Monotonicity Constraints
Building Knowledge Scouts Using KGL Metalanguage
Static Scheduling with Load Balancing for Solving Triangular Band Linear Systems on Multicore Processors
Adaptive Merging on Phase Change Memory
Minimizing the Number of Successor States in the Stubborn Set Method
Studying Word Equations by a Method of Weighted Frequencies
On the Distributions of Absorbed Particles in Crossing a Field Containing Absorption Points
Static BiLog: a Unifying Language for Spatial Structures
Stochastic Semantics
A Formalization of Viewpoints
Associativity of Infinite Synchronized Shuffles and Team Automata
Incremental Induction of Medical Diagnostic Rules Based on Incremental Sampling Scheme and SubRule Layers
Petri Net Controlled Finite Automata
Verification of Timed Automata Based on Similarity
An Algebraic Semantics for QVT-Relations Check-only Transformations
A Dynamical System Approach to Polyominoes Generation
A Numerical Algorithm and a Variational Iteration Technique for Solving Higher Order Fuzzy Integro-differential Equations
TripICS - a Web Service Composition System for Planning Trips and Travels
From Branching to Linear Time, Coalgebraically
Complexity of the Soundness Problem of Workflow Nets
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A logically justified model of computation I
Resource Driven Automata Nets
Stochastic Model of Evolutionary and Immunological Multi-Agent Systems: Mutually Exclusive Actions
An Insight Into The Z-number Approach To CWW
A Local Version of the MLEM2 Algorithm for Rule Induction
Additional Winning Strategies in Reachability Games
Representation Theorems for Lattice-ordered Modal Algebras and their Axiomatic Extensions
Improvement of Cerebral Microbleeds Detection Based on Discriminative Feature Learning
Vector controlled concurrent systems, part II: comparisons
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
Automated Discovery of Properties of Rough Sets
Two-Dimensional Finite State Recognizability
Rough Approximations in Varieties of Regular Languages
Applying Classical Concepts to Parsing Expression Grammar
Compressible Infinite Information Systems
Colored Fuzzy Petri Nets for Dealing with Genetic Regulatory Networks
Evolvability by Mimicking Common Properties of a Nervous System and Computer Software
DNA and Membrane Algorithms for SAT
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters
A Generalization of the Assignment Problem, and its Application to the Rank Aggregation Problem
Separating Multi-Color Points on a Plane with Fewest Axis-Parallel Lines
Nearness of Objects: Extension of Approximation Space Model
Optimization Problems for Decision Trees
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs
Synchronization in Petri Nets
Logical Aspects of Dealing with Domain Knowledge in Data Mining with Association Rules
Untraceable Blind Signature Schemes Based on Discrete Logarithm Problem
Towards Deriving Conclusions from Cause-effect Relations
Erratum to the paper: "A Logic-Based System for e-Tourism"
Unsupervised and Supervised Learning Approaches Together for Microarray Analysis
On the Computational Complexity of Matrix Semigroup Problems
An Efficient Message Passing Election Algorithm based on Mazurkiewicz's Algorithm
Outlier Detection by Interaction with Domain Experts
A Resolution Calculus for First-order Schemata
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
A New Family of the Local Fractional PDEs
An Incidence Algebra Approach to Knowledge Granulation in Pawlak Information Systems
A Boolean Approach for Disentangling the Roles of Submodules to the Global Properties of a Biomodel
On Insertion Grammars with Maximum Parallel Derivation
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
Armin: Automatic Trance Music Composition using Answer Set Programming
Computing Singular Elements Modulo Squares
A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification
A Sweep-Line Method for Büchi Automata-based Model Checking
Approximating Algebraic Tomography Methods by Filtered Backprojection: A Local Filter Approach
ReMembrane Systems with Coupled Transport: Universality and Normal Forms
Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas
Jungle evaluation
A Semantics for Evaluation Logic
Closed sets of Boolean terms in relational databases
Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode
RFCM: A Hybrid Clustering Algorithm Using Rough and Fuzzy Sets
Non-Monotonic Attribute Reduction in Decision-Theoretic Rough Sets
Additional Closeness and Networks Growth
Asynchronous Box Calculus
The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes
Infinite Traces and Symbolic Dynamics - the Minimal Shift Case
The Set of Probabilistic Algorithmic Formulas Valid in a Finite Structure is Decidable with Respect to Its Diagram
Continuous Pairwise Comparisons
Boldface Recursion on Platek Spaces
Classifying and Visualizing Emotions with Emotional DAN
Formalizing Context in Intuitionistic Type Theory
String Covering: A Survey
Update Propagator for Joint Scalable Storage
Tentative Prune-and-Search for Computing Fixed-Points with Applications to Geometric Computation
Automata-Theoretic Decision Procedures for Information Logics
On Synchronization Languages
Relational Data and Rough Sets
Evolution of Collective Commitment during Teamwork
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
On the Regularity of Iterated Hairpin Completion of a Single Word
An Image Hiding Scheme Based on Multi-bit-reference Substitution Table Using Dynamic Programming Strategy
Physical Computational Complexity and First-order Logic
Development of Near Sets Within the Framework of Axiomatic Fuzzy Sets
Reversible Data Embedding Based on Prediction Approach for VQ and SMVQ Compressed Images
Unfoldings and Coverings of Weighted Graphs
Discrete Dualities for Heyting Algebras with Operators
Multi-Dimensional Relational Sequence Mining
Life and Work of Zdzislaw Pawlak
Measuring Resemblances Between Swarm Behaviours: A Perceptual Tolerance Near Set Approach
Update of Probabilistic Beliefs: Implementation and Parametric Verification
A Note on a priori Estimations of Classification Circuit Complexity
P System Software Simulator
K-Comma Codes and Their Generalizations
On i-v Fuzzy Subgroups
Improvement of Automated Essay Grading by Grouping Similar Graders
An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar
On First-Order Fragments for Mazurkiewicz Traces
Evolutionary Rough Parallel Multi-Objective Optimization Algorithm
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing
A Novel Index Coding Scheme for Vector Quantization
Spearman Permutation Distances and Shannon's Distinguishability
A Threshold for a Polynomial Solution of #2SAT
Pebble Macro Tree Transducers with Strong Pebble Handling
PAL - propositional algorithmic logic
An Interface Group for Process Components
Interacting Workflow Nets for Workflow Process Re-Engineering
A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem
From Mirkin's Prebases to Antimirov's Word Partial Derivatives
A Quantifier-free First-order Knowledge Logic of Authentication
High-degree Compression Functions on Alternative Models of Elliptic Curves and their Applications
Content-based Image Retrieval using Visual Attention Point Features
Araucaria Trees: Construction and Grafting Theorems
Executing Suspended Logic Programs
Checking Properties of Adaptive Workflow Nets
New Bit Reduction of Vector Quantization Using Block Prediction and Relative Addressing
On Skolemization and Proof Complexity
The 1966 International Congress of Mathematicians: A Micro-memoir
On Almost-Sure Properties of Probabilistic Discrete Event Systems
T-Rough Approximation Pairs and Covering Based Rough Sets
On Inferences ofWeak Multivalued Dependencies
The Complexity of Szilard Languages of Matrix Grammars Revisited
Reversible Data Hiding Scheme Based on Image Inpainting
Simple SubTypes of Intersection Types
Powerdomain of Paths for Representing Object Structures
Generalized Derivatives
Global Action Rules in Distributed Knowledge Systems