yusuke1997/dblp-id-title huggingface dataset:
Update and Abstraction in Model Checking of Knowledge and Branching Time
McCarthy Algebras: A Model of McCarthy's Logical Calculus
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Simulations of Photosynthesis by a K-Subset Transforming System with Membrane
Checking Sets of Pure Evolving Association Rules
Further remarks on reduced languages
Towards an approximation theory of discrete problems, Part I
Self-Indexed Grammar-Based Compression
Growing Grammars and Length-reducing Automata
A Possibility-Theoretic View of Formal Concept Analysis
On Variants of Communicating Distributed H Systems
Model-Based Feature Compensation for Robust Speech Recognition
X-ray Microtomography under Loading and 3D-Volume Digital Image Correlation. A Review
Crisp and Fuzzy Topological Interior and Closure Operators with Inclusion Degree. Theory and Applications
Logic of effective definitions
Formal Conception of Rough Sets
How Random is Your Tomographic Noise? A Number Theoretic Transform (NTT) Approach
Extending Logic Programming with Labelled Variables: Model and Semantics
A Note on Calculi for Non-deterministic Many-valued Logics
Pruning Operators for Disjunctive Logic Programming Systems
Products of Tree Automata with an Application to Temporal Logic
The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics
A Survey of Results on Stateless Multicounter Automata
Abstract Contract Synthesis and Verification in the Symbolic K Framework
A Color Image Watermarking Approach Based on Synchronization Correction
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday
Logical Undecidabilities Made Easy
An Abstract Approach to Some Loop Detection Problems
A Scheduling Strategy for Synchronous Elastic Designs
Nonmodularity Results for Lambda Calculus
Rough Granular Computing in Modal Settings: Generalised Approximation Spaces
Conditional Concatenation
Regions of Uniqueness Quickly Reconstructed by Three Directions in Discrete Tomography
Executable Modeling of Morphogenesis: A Turing-Inspired Approach
Minimal Base for Finite Topological Space by Matrix Method
Generalized inverse of a finite graph
An Axiomatization for Regular Processes in Times Branching Bisimulation
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories
An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank
Dynamic congruence vs. progressing bisimulation for CCS
The Algebraic Specifications do not Have the Tennenbaum Property
On Process-algebraic Verification of Asynchronous Circuits
Collective Intentions
Program Transformation with Scoped Dynamic Rewrite Rules
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
On a problem concerning dependence spaces
A Signal Extension for Petri Nets and its Use in Controller Design
RBFFCA: A Hybrid Pattern Classifier Using Radial Basis Function and Fuzzy Cellular Automata
An Application of Rough Set Methods in Control Design
Prelanguages Versus Submonoids
Multilateral Ranking Negotiations
Cellular Automata: Energy Consumption and Physical Feasibility
Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation
Topological Structure of Relation-based Generalized Rough Sets
Duality for Quasilattices and Galois Connections
Mirror Images and Schemes for the Maximal Complexity of Nondeterminism
Reduction Techniques for Acyclic Cover Transducers
Randomness with Respect to the Signed-Digit Representation
ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems
Quantitative Verification of Stochastic Regular Expressions
Separating the Words of a Language by Counting Factors
The Category of L-Chu Correspondences and the Structure of L-Bonds
Occurrence and Substring Heuristics for i-Matching
On Boolean Automata Networks (de)Composition
Some Symmetry Based Classifiers
Decision Rules and Dependencies
An analytic semantics of CSP
Intrinsic Factorization of Ideals in Dedekind Domains
On Language Equations with One-sided Concatenation
Processing Deductive Databases under the Disjunctive Stable Model Semantics
Decision Trees for Regular Language Word Recognition
Rough Sets, Rough Relations and Rough Functions
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Modifying Intensional Logic Knowledge
Logic and Artificial Intelligence: A New Synthesis?
Pattern 1 j+1 0 j Avoiding Binary Words
A Decidable Notion of Timed Non-Interference
Decomposition of Relations and Concept Lattices
Efficient Search Methods for Statistical Dependency Rules
Properties of Quantum Particles in Multi-Swarms for Dynamic Optimization
Topology as Faithful Communication Through Relations
Undecidability in omega-Regular Languages
Andrzej Grzegorczyk's Contribution to Computer Science
An Algorithmic Solution of a Birkhoff Type Problem
Rough Sets Based LEM2 Rules Generation Supported by FPGA
A Complete Axiomatization for Prefix Iteration in Branching Bisimulation
Analysis of Markov Boundary Induction in Bayesian Networks: A New View From Matroid Theory
On Q-rationality of Fuzzy Choice Functions on Base Domains
Efficient Simulation of Reaction Systems on Graphics Processing Units
Exact Wirelength of Embedding 3-Ary n -Cubes into Certain Cylinders and Trees
The Bipolar Complemented de Morgan Brouwer-Zadeh Distributive Lattice as an Algebraic Structure for the Dominance-based Rough Set Approach
On Star-Connected Flat Languages
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning
Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism
Undecidability of a Multi-Agent Logic
Interactive Logical Structures
An Efficient Construction of Quantum Attack Resistant Proxy Re-Encryption Based on (Semi)group Factorization Problems
Pattern-based Rewriting through Abstraction
Algebraic Semantics of Similarity-Based Bitten Rough Set Theory
Characterizing Rough Algebras
Candidate Selection and Instance Ordering for Realtime Algorithm Configuration
The Identity Transform of a Permutation and its Applications
Relationships between Average Depth and Number of Misclassifications for Decision Trees
Simulated Activation Patterns of Biological Neurons Cultured onto a Multi-Electrode Array Based on a Modified Izhikevich's Model
Point-free Program Transformation
Low Distortion Embedding of the Hamming Space into a Sphere with Quadrance Metric and k-means Clustering of Nominal-continuous Data
Eliptic Curve Based Threshold Proxy Signature Scheme with Known Signers
On Characterizing Hierarchies of Granulation Structures via Distances
Bayesian Segmentation Based Local Geometrically Invariant Image Watermarking
Recursive Calculus with Membranes
Rough Hypercuboid Based Supervised Regularized Canonical Correlation for Multimodal Data Analysis
APC: the algorithmic predicate calculus
An Operational Petri Net Semantics for A 2 CCS
Comixify: Transform Video Into Comics
On the Problem of Boundaries from Mereology and Rough Mereology Points of View
An Image Authentication Based on Discrete Fourier Transform
Complexity of the Unique Extension Problem in Default Logic
Cellular automata with vanishing particles
Generalizations of Rough Set Tools Inspired by Graph Theory
Fast Index Filtering in Vector Approximation File
On the Finiteness of Picture Languages of synchronous, simple non-deterministic Chain Code Picture Systems
Studying Opacity of Reaction Systems through Formula Based Predictors
On the Critical Strip of the Riemann zeta Fractional Derivative
A Propositional Programming Environment for Linear Algebra
Towards Ambitious Approximation Algorithms in Stubborn Set Optimization
Cryptanalysis of Two Efficient HIBE Schemes in the Standard Model
Remarks on Operations Suggested by Mutations in Genomes
Distributed Concurrent Constraint Programming
Lattice Theory for Rough Sets - A Case Study with Mizar
The Computational Complexity of Universality Problems for Prefixes, Suffixes, Factors, and Subwords of Regular Languages
Strong Regulatory Graphs
Small Universal Spiking Neural P Systems with Homogenous Neurons and Synapses
On the State Complexity of Star of Union and Star of Intersection
Reliable Restricted Process Theory
A Novel Cryptographic Key Assignment Scheme with ID-Based Access Control in a Hierachy
Mapping Sets and Hypersets into Numbers
Granulometries and Opening Trees
More on Square-free Words Obtained from Prefixes by Permutations
A Novel Similarity Measure for Content Based Image Retrieval in Discrete Cosine Transform Domain
A Rough Set Approach to Multiple Classifier Systems
Similarity-Based Classification in Relational Databases
On Graded Nearness of Sets
Nonatomic Non-Cooperative Neighbourhood Balancing Games
Feature Based Affine Invariant Watermarking Robust to Geometric Distortions
Residual Closeness of Generalized Thorn Graphs
A Hybrid Protocol to Solve Authenticated Byzantine Consensus
Polynomial-TimeMaximisation Classes: Syntactic Hierarchy
Transition Complexity of Incomplete DFAs
A Generalization of Falsity in Finitely-many Valued Logics
Automata Recognizing No Words: A Statistical Approach
Special Issueon Application of Concurrency to System Design
Stochastic Cellular Automata: Correlations, Decidability and Simulations
Variants of Small Universal P Systems with Catalysts
An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant
Automatic Learning of Temporal Relations Under the Closed World Assumption
Accepting Networks of Evolutionary Picture Processors
True Concurrency in Long-running Transactions for Digital Ecosystems
Retrieval System and Dynamic Algorithm Looking for Axioms of Notions Defined by Programs
Antimatter as a Frontier of Tractability in Membrane Computing
Non-Injectivity and Knapsacks
On Determining the AND-OR Hierarchy in Workflow Nets
Mining Rule-based Knowledge Bases Inspired by Rough Set Theory
A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices
Descriptional Complexity of Finite Automata - Selected Highlights
Visualization of Differences between Rules' Syntactic and Semantic Similarities using Multidimensional Scaling
A Formalization of Transition P Systems
Bounded Model Checking for the Existential Fragment of TCTL -G and Diagonal Timed Automata
On Finding Hamiltonian Cycles in Barnette Graphs
Boolean Representation for Exact Biclustering
On Realisability Semantics for Intersection Types with Expansion Variables
Process-Specific Information for Learning Electronic Negotiation Outcomes
Five Useful Properties of Probabilistic Knowledge Representations From the Point of View of Intelligent Systems
Probabilistic Reconstruction of hv-convex Polyominoes from Noisy Projection Data
Contextual Rewriting in Automated Reasoning
Simulation and Measurement of Complex Network Growth: the Interplay of Uniform and Preferential Attachment
Necessity Measures and Parametric Inclusion Relations of Fuzzy Sets
On Modal and Fuzzy Decision Logics Based on Rough Set Theory
Extending the Relational Algebra for Relations with Maybe Tuples and Existential and Universal Null Values
Stationary Default Extensions
Towards a Framework for Approximate Ontologies
The Stochastic Loss of Spikes in Spiking Neural P Systems: Design and Implementation of Reliable Arithmetic Circuits
General theory of relational automata
Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes
On the Generative Power of ω-Grammars and ω-Automata
Unsupervised and Interactive Semi-supervised Clustering for Large Image Database Indexing and Retrieval
Consistency Conditions for Discrete Tomography
Error Correction for Discrete Tomography
A Novel Color Image Hiding Scheme Using Block Truncation Coding
A Simple Adequate Categorical Model for PCF, II
Word Sense Disambiguation by Machine Learning Approach: A Short Survey
An Image Retrieval System Based on the Color, Areas, and Perimeters of Objects
Relationship chase procedures interpreted as resolution with paramodulation
Privacy Preserving Database Generation for Database Application Testing
On Algorithm for Constructing of Decision Trees with Minimal Depth
Theoretical study and implementation of the canonical automaton
New Metrics for Phylogenies
Joint Maximum Likelihood Estimation of Motion and T 1 Parameters from Magnetic Resonance Images in a Super-resolution Framework: a Simulation Study
Recursive Models of General Inductive Types
Properties of Multiset Language Classes Defined by Multiset Pushdown Automata
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures
Logical Analysis of Biological Systems
On universal binary search trees
Impact of Credibility on Opinion Analysis in Social Media
Target Based Accepting Networks of Evolutionary Processors
The Compactness of Belief Revision and Update Operators
Equational Constructor Induction
Behaviour Abstraction for Communicating Sequential Processes
The Magda Language: Ten Years After
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P
Diffuse and Localized Functional Dysconnectivity in Schizophrenia: a Bootstrapped Top-Down Approach
Symbolic and Structural Model-Checking
Method for Clustering of Brain Activity Data Derived from EEG Signals
R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics
Embedding Universal Delay-Insensitive Circuits in Asynchronous Cellular Spaces
A New Proof on Embedding the Category of Proximity Spaces into the Category of Nearness Spaces
The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Eigenvector Priority Function Causes Strong Rank Reversal in Group Decision Making
Succinctness Gap between Monadic Logic and Duration Calculus
A Note on the Grammatical Inference Problem for Even Linear Languages
A New Bayesian Tree Learning Method with Reduced Time and Space Complexity
Simulating P Systems on GPU Devices: A Survey
Informational Analysis of Security and Integrity
Relations Algebras in Qualitative Spatial Reasoning
Parameterized Structured Operational Semantics
The Structure of Elementary Strategies for Gene Assembly in Ciliates
CR-Structures
Optimizations of Rough Set Model
Dependencies in Relaional Databases Algebraic and Logical Approch
Generative Capacity of Contextual Grammars with Subregular Selection Languages
A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties
An Algorithm using Context Reduction for Efficient Incremental Generation of Concept Set
Primitive Recursion with Extential Types
Recent Advances on Inconsistency Indices for Pairwise Comparisons - A Commentary
Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox
An Edge-based Image Copy Detection Scheme
Advances in Mining Graphs, Trees and Sequences
The Reconstruction of Polyominoes from Horizontal and Vertical Projections and Morphological Skeleton is NP-complete
Some Aspects of Parsing Expression Grammar
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property
Grammatical Codes of Trees and Terminally Coded Grammars
Computational formalism: abstract combinatory view-point and related first order logical framework
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Description Languages for Relational Information Granules
Deletion Sets
On Construction of Partial Reducts and Irreducible Partial Decision Rules
A Secure Strong-Password Authentication Protocol
On Second-order Nonlinearities of Some D0 Type Bent Functions
On Effective Methods for Diagnosis of Retaining Faults in Circuits
On the Additive Theory of Prime Numbers
An Interval-Valued Intuitionistic Fuzzy Rough Set Model
Constructing Elliptic Curves for the GLV Method with Low-cost Decomposition
Can Machine Learning Learn a Decision Oracle for NP Problems? A Test on SAT
The First Step Toward Processor for Rough Set Methods
From Argumentation Frameworks to Voting Systems and Back
Equivalence Relations Defined by Numbers of Occurrences of Factors
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time
On the Dynamics of Cellular Automata with Memory
Dynamic Coloring of Graphs
Mining Clinical Process from Hospital Information System: A Granular Computing Approach
Modeling Proteolysis from Mass Spectrometry Proteomic Data
Generalized Interpolation in First Order Logic
On the Tutte and Matching Polynomials for Complete Graphs
Two-Dimensional Chebyshev Wavelet Method for Camassa-Holm Equation with Riesz Fractional Derivative Describing Propagation of Shallow Water Waves
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
On Ethics of Mazurkiewicz Traces
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality
Verifying Security Protocols Modelled by Networks of Automata
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
On the Compactness Property of Mereological Spaces
An Investigation of Multi-Agent Planning in CLP
On Trace-Expressible Behaviour of Petri Nets
Binary Search Trees, Recurrent Properties andWave Equations
A Calculus of Looping Sequences for Modelling Microbiological Systems
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing
Dynamic Motion Control: Adaptive Bimanual Grasping for a Humanoid Robot
A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory
Spectral Domain Boundaries in Cellular Automata
Process Discovery using Integer Linear Programming
A Methodology for Constructing Logic Programs
A P Systems Flat Form Preserving Step-by-step Behaviour
On Fuzzy Integral Equations
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Discrete Tomography Data Footprint Reduction by Information Conservation
Evolutionary Computation: Where We Are and Where We're Headed
Equational Term Graph Rewriting
Complex Ranking Procedures
Invariant Structures and Dependence Relations
Lexicon-based Document Representation
On the compilation of parallel programs
A New Approach to Model Checking of UML State Machines
Sup-Compact and Inf-Compact Representations of W-Operators
Random Reducts: A Monte Carlo Rough Set-based Method for Feature Selection in Large Datasets
Time-free Solution to Independent Set Problem using P Systems with Active Membranes
Resolution problem and their applications I
A Comparative Analysis of Possibilistic Variances and Covariances of Fuzzy Numbers
Mining Therapeutic Patterns from Clinical Data for Juvenile Diabetes
An Efficient and Secure Cryptosystem for Encrypting Long Messages
Attacking M&M Collective Signature Scheme
The new SIMD Implementation of the Smith-Waterman Algorithm on Cell Microprocessor
The Modified Oja-RLS Algorithm, Stochastic Convergence Analysis and Application for Image Compression
Lava Flow Hazard Evaluation Through Cellular Automata and Genetic Algorithms: an Application to Mt Etna Volcano
Subset Synchronization in Monotonic Automata
Controlled H Systems of Small Radius
Contributions to the Theory of Rough Sets
Modelling with Hierarchical Object Petri Nets
Variable Precision Extension of Rough Sets
Algorithmic logic with nondeterministic programs
Immunological Computation for Protein Function Prediction
Semantics for Disjunctive Logic Programs with Explicit and Default Negation
A Logic Framework for Incremental Learning of Process Models
Approximate Entropy Reducts
Higman's Theorem on Discrete Sets
On Compositionality of Boundedness and Liveness for Nested Petri Nets
The Sequence Equivalence Problem for Marked DT0L Systems
LTF-C: Architecture, Training Algorithm and Applications of New Neural Classifier
Morphic Characterizations of Language Families Based on Local and Star Languages
Logical Theory of the Monoid of Languages over a Non Tally Alphabet
Stubborn Sets for Model Checking the EF/AG Fragment of CTL
Stochastic Simulation-based Prediction of the Behavior of the p16-mediated Signaling Pathway
Frequency Covers for Strings
Optimal Wirelength of Balanced Complete Multipartite Graphs onto Cartesian Product of {Path, Cycle} and Trees
Computable Contact Algebras
Modified Traffic Cellular Automaton for the Density Classification Task
New Trends in Parallel and Distributed Evolutionary Computing
Restriction-Based Concurrent System Design Using the Rough Set Formalism
Histogram Thresholding using Beam Theory and Ambiguity Measures
RRIA: A Rough Set and Rule Tree Based Incremental Knowledge Acquisition Algorithm
Non-monotonic Pre-fix Points and Learning
Probability in Petri Nets
An Approach to Pattern Recognition Based on Hierarchical Granular Computing
Timed Cooperating Automata
Fundamenta Morphologicae Mathematicae
A Wide Neighborhood Second-order Predictor-corrector Interior-point Algorithm for Semidefinite Optimization with Modified Corrector Directions
An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries
Higher Order Nonlinearity of Niho Functions
A Hybrid Method for Finite Model Search in Equational Theories
Unified theory of database serializability
Spatial and Stochastic Effects in a Model of Viral Infection
A Generalization Model Based on OI-implication for Ideal Theory Refinement
HAS-Hierarchy: A natural tool for language specification
Retracts of Algebras
Knowledge Reduction in Crisply Generated Fuzzy Concept Lattices
Feeding Syntactic Versus Semantic Knowledge to a Knowledge-lean Unsupervised Word Sense Disambiguation Algorithm with an Underlying Naïve Bayes Model
Soft Minimum-Enclosing-Ball Based Robust Fuzzy Rough Sets
On the Size of Unary Probabilistic and Nondeterministic Automata
Quasi-static Scheduling for Concurrent Architectures
Galois Connections and Data Analysis
Some Bounds on Minimal Decision Tree Depth
Solving the International Timetabling Competition: a Deterministic Approach
An Axiomatic Approach to the Roughness Measure of Rough Sets
Process Discovery and Conformance Checking Using Passages
Logic, Rationality and Psychologism
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
Projection Representation of Mazurkiewicz Traces
Generating Functions of Embedded Trees and Lattice Paths
A Logic-Based System for e-Tourism
On Gödel's Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to 'Out-Gö del' the Mechanist
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
Rough Rule Extracting From Various Conditions: Incremental and Approximate Approaches for Inconsistent Data
Improving Image Classification by Combining Statistical, Case-Based and Model Based Prediction Methods
Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata
Rough Set Theory and Digraphs
Scale Invariance in Projection Selection Using Binary Tomography
Theory and Application of Cellular Automata For Pattern Classification
Similarity-based Unification
Probabilistic and Fuzzy Process Classifiers for Operating Systems Scheduler
Enjoying to Work
On Grammar and Language Families
Unifying Equivalences for Higher Dimensional Automata
A Communication Approach to the Superposition Problem
Extraction of Structure of Medical Diagnosis from Clinical Data
A second-order dynamic logic with array assignments
A Modal Characterization of Nash Equilibrium
Computational Intelligence for Life Sciences
A Historical Perspective on the Evolution of Executable Structures
On Entropy and Optimal Coding Cost for Stochastic Language