yusuke1997/dblp-id-title huggingface dataset:
A Specification Format for Rooted Branching Bisimulation
Maximum Flows in Planar Dynamic Networks with Lower Bounds
Mechanization of Real-Time Linear CSP with Higher Order Logic
On the compactness theorem of propositional temporal logics
Davidson and Reiter on Actions
Discovery of Asynchronous Concurrent Models from Experimental Tables
Rough Mereology: A Rough Set Paradigm for Unifying Rough Set Theory and Fuzzy Set Theory
Communication P Systems with Channel States Working in Flat Maximally Parallel Manner
A Doctrine of Cognitive Informatics (CI)
Learning in Description Logics with Fuzzy Concrete Domains
Monotone Convergence of Extended Iterative Methods and Fractional Calculus with Applications
A Data Mining Formalization to Improve Hypergraph Minimal Transversal Computation
On stability of probabilistic automata in environments
On Hypercomputation, Universal and Diagonalization Complete Problems
Pythagorean Fuzzy Hamacher Power Aggregation Operators in Multiple Attribute Decision Making
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs
On the Relationship between Description Logic-based and F-Logic-based Ontologies
A Hierarchical Decision Model Based on Pairwise Comparisons
Integrating Forms of Interaction in a Distributed Model
A 6-state Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings
Domino Tilings with One Diagonal Impurity
First-order Generalization of the MPMA Belief Update Operator
Decidability of Several Concepts of Finiteness for Simple Types
Limits of Pure Grammars with Monotone Productions
Intersection Types with Subtyping by Means of Cut Elimination
Case-based Planning of Treatment of Infants with Respiratory Failure
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols
Preface: Concurrency Specification and Programming
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Intuitionistic Fuzzy Optimized Weighted Geometric Bonferroni Means and Their Applications in Group Decision Making
GASP: Answer Set Programming with Lazy Grounding
On Axiomatization of Inconsistency Indicators for Pairwise Comparisons
Inflation Algorithms for Positive and Principal Edge-bipartite Graphs and Unit Quadratic Forms
A Comparative Study of MGRSs and their Uncertainty Measures
Trajectories of Language Theory
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Geodesic Center of a Simple Polygon using a Logarithmic Number of Extra Variables
Causal Reasoning for Safety in Hennessy Milner Logic
Consecutive Optimization of Decision Trees Concerning Various Complexity Measures
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines
Edge Forcing in Butterfly Networks
Decision Problems and Applications of Rational Sets of Regular Languages
Periodic Orbits and Dynamical Complexity in Cellular Automata
Watson-Crick T0L Systems and Red-Green Register Machines
Towards a categorical semantics of type classes
Abstract Semantics for ESM Systems
Defining Multi-Party Compromises using Unfoldings of Workflow Nets
Conjugated measures of computational complexity
Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers
- Representability of integer, word and tree functions
Elimination Distance to Bounded Degree on Planar Graphs Preprint
An Algebraic Characterization of Semi-Simple Splicing
Language Classes Defined by Concurrent Finite Automata
Persistent and Nonviolent Steps and the Design of GALS Systems
On the Completion of Rough Sets System Determined by Arbitrary Binary Relations
Completeness and Soundness Results for with Intersection and Union Types
Certificates of Non-Membership for Classes of Read-Once Functions
Binary Symmetric Matrix Inversion Through Local Complementation
The Practical Efficiency of Convolutions in Pattern Matching Algorithms
Reasoning on Datalog ± Ontologies with Abductive Logic Programming
Recursive Analysis Characterized as a Class of Real Recursive Functions
Daniel Simson Obituary
Reversible P Systems to Simulate Fredkin Circuits
C1 Interpolation with Cumulative Chord Cubics
Making Petri Nets Safe and Free of Internal Transitions
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems
Hyperplane Aggregation of Dominance Decision Rules
An Efficient Framework for Extracting Parallel Sentences from Non-Parallel Corpora
Bounds on Average Weighted Depth of Decision Trees
Rank 2 Intersection for Recursive Definitions
Skolem Machines
Semilinear Sets and Counter Machines: a Brief Survey
Unifying Rough Set Theories via Large Scaled Granular Computing
Analyzing Compatibility of Services via Resource Conformance
Species-Driven Persistent Phylogeny
Parameterized Complexity of Weighted Satisfiability Problems: Decision, Enumeration, Counting
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce
The Maximum Parametric Flow in Discrete-time Dynamic Networks
On the Family of Conditional Implicational Dependencies
Formal Analysis of SystemC Designs in Process Algebra
The Influence of Nutrients Diffusion on a Metabolism-driven Model of a Multi-cellular System
Two-Way Finite Automata: Old and Recent Results
A Modal Logic of a Truth Definition for Finite Models
The Equivalence of Reduction and Translation Semantics of Java Simple Closures
Analysis of Fractal Operator Convergence by Graph Methods
Application of Residual Power Series Method for the Solution of Time-fractional Schrödinger Equations in One-dimensional Space
Two Database Related Interpretations of Rough Approximations: Data Organization and Query Execution
Tree-Child Cluster Networks
Membrane Computing and Economics: Numerical P Systems
Net-Definability of Process Languages
Recut: A Seriation Algorithm Balancing Smooth Display and Aggregated Features
A Hybrid Distribution Algorithm Based on Membrane Computing for Solving the Multiobjective Multiple Traveling Salesman Problem
Equivalence, Indicators, Quasi-indicators and Optimal Steiner Topologies on Four Points in Space
A Computer Scientist's Guide to the Regulatory Genome
Circumscription and Generic Mathematical Objects
On Efficient Handling of Continuous Attributes in Large Data Bases
A Recursive Classifier System for Partially Observable Environments
Embedding Invisible Watermarks into Digital Images Based on Side-Match Vector Quantization
MR Brain Image Segmentation Using A Multi-seed Based Automatic Clustering Technique
Minimization and Characterizations for Biautomata
An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner
Complexity of Recursive Normal Default Logic
A Notion of Non-Interference for Timed Automata
Concept lattices and similarity in non-commutative fuzzy logic
Constructing Decision Procedures in Equational Clausal Logic
Spiking Neural P Systems
Link Residual Closeness of Harary Graphs
Computable Approximations of Reals: An Information-Theoretic Analysis
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets
Chomsky Hierarchy and Systolic Y-Tree Automata
Three-Phase Lossless Data Hiding Method for the VQ Index Table
On the quantifier-free fragment of 'Logic of effective definitions'
Comparing Degenerate Strings
Network Information Flow
A Representation of Dependence Spaces and Some Basic Algorithms
Nonoverlapping Schwarz Waveform Relaxation Algorithm for a Class of Time-Fractional Heat Equations
Lattice Machine Classification based on Contextual Probability
An Improved Axiomatic Definition of Information Granulation
Fault Diagnosis with Static and Dynamic Observers
Trade-Offs Between Time, Space, Cooperation, and Communication Complexity for CD Grammar Systems
Memory-Based State-Estimation
Text Languages in an Algebraic Framework
An Abstract Interpretation Framework for Type and Effect Systems
From Optimal Hyperplanes to Optimal Decision Trees
Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks
A Note on the Higher-order Nonlinearity of Niho Function
Personal Reflections on the Role of Mathematical Logic in Computer Science
Two Squares of Oppositions and Their Applications in Pairwise Comparisons Analysis
Selection Mechanisms in Evolutionary Algorithms
Parallelism in Contextual Grammars
An Approach of Proximity in Rough Set Theory
Entish: A Language for Describing Data Processing in Open Distributed Systems
Algorithmic degrees of algebraic structures
A Semantic Model for Matchmaking of Web Services Based on Description Logics
An Axiomatic Framework for Proving Correctness of Nets
On Szilard Languages of Labelled Insertion Grammars
The Construction of Fuzzy Concept Lattices Based on (θ, σ)-Fuzzy Rough Approximation Operators
Boruta - A System for Feature Selection
A Multiple-Clause Folding Rule Using Instantiation and Generalization
Morphisms in Binary Rough Set Theory
Betweenness, Łukasiewicz Rough Inclusions, Euclidean Representations in Information Systems, Hyper-granules and Conflict Resolution
Non-Self-Embedding Grammars and Descriptional Complexity
Sound Isolation by Harmonic Peak Partition For Music Instrument Recognition
Firing Squad Synchronization Problem in Number-Conserving Cellular Automata
Processes of Petri Nets with Range Testing
An Improved Construction of Deterministic Omega-automaton Using Derivatives
Spaced Seed Design Using Perfect Rulers
Rough Net Structures - Example of Information System
Preface: Information Granulation in Data Science and Scalable Computing
Bi-Models: Relational Versus Domain-Theoretic Approaches
A Label Correcting Algorithm for the Bus Routing Problem
Towards Integrated Verification of Timed Transition Models
Mop: An Efficient Algorithm for Mining Frequent Pattern with Subtree Traversing
Hybrid Encryption from McEliece Cryptosystem with Pseudo-random Error Vector
Dischargeable Obligations in the 𝒮 CIFF Framework
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements
Exploiting the Lattice of Ideals Representation of a Poset
A Regularized, Pyramidal Multi-grid Approach to Global 3D-Volume Digital Image Correlation Based on X-ray Micro-tomography
Interpreted Nets
NP-completeness of combinatorial problems with unary notation for integers
Automatic Programming of Morphological Machines by PAC Learning
Query processing in distributed information systems
Semantics of Nonsequential Tree-Based Computation Schemes
SPICE: A New Framework for Data Mining based on Probability Logic and Formal Concept Analysis
On the Infinigons of the Hyperbolic Plane, A combinatorial approach
A Common Algebraic Framework of Empirical Learning Methods Based on Rough Sets and Matroid Theory
Unimprovable Upper Bounds on Time Complexity of Decision Trees
Limited Automata and Context-Free Languages
Understanding Basic Automata Theory in the Continuous Time Setting
Metaheuristic Search Algorithms in Solving the n -Similarity Problem
On Approximating Non-regular Languages by Regular Languages
Testing and Debugging Message Passing Programs in Synergy with their Specifications
co-Semi-analytic Functors
On the Parallelization of Self-Adaptive hp-Finite Element Methods Part II. Partitioning Communication Agglomeration Mapping (PCAM) Analysis
An Improved Cop-Kmeans Clustering for Solving Constraint Violation Based on MapReduce Framework
Small Universal Numerical P Systems with Thresholds for Computing Functions
Supporting Action-at-a-distance in Situated Cellular Agents
Constructing a Decision Tree for Graph-Structured Data and its Applications
On Relation of Image Compression and Image Association
A Note on the Smyth Powerdomain Construction
Roots Multiplicity without Companion Matrices
Conditionals and artificial intelligence
Learning Behaviors of Functions with Teams
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
Adhesivity with Partial Maps instead of Spans
Repetition-freeness with Cyclic Relations and Chain Relations
On the Power of P Systems with DNA-Worm-Objects
LDYIS: a Framework for Model Checking Security Protocols
Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory
Centrality Measures, Upper Bound, and Influence Maximization in Large Scale Directed Social Networks
An Experimental Comparison of Different Inclusion Relations in Frequent Tree Mining
On Analytical Approximate Solution of the Fractional Type Rosenau-Hyman Equation
On Fractal Dimension in Information Systems. Toward Exact Sets in Infinite Information Systems
On Fractional Neutral Integro-differential Systems with State-dependent Delay in Banach Spaces
Comparing Trade-off Based Models of the Internet
Gender-Based Analysis of Intra-Institutional Research Productivity and Collaboration
Constant-Space P Systems with Active Membranes
On Networks of Evolutionary Processors with Nodes of Two Types
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper
A New Approach to Security Analysis of Smart Home Authentication Systems
Improving Analytical Tomographic Reconstructions Through Consistency Conditions
Similarity and Distance in Case Based Reasoning
Limiting Data Exposure in Multi-Label Classification Processes
Verification of Non-functional Properties of a Composable Architecture with Petrinets
On Definitional Transformations to Normal Form for Institionistic Logic
Highly Undecidable Problems about Recognizability by Tiling Systems
Dense Projection Tomography on the Triangular Tiling
The Unique Decipherability in the Monoid of Regular Languages is Undecidable
Implementation and propertives of certain tools for parallel computations
CooperativeWorld Modeling in Dynamic Multi-Robot Environments
A Lattice Path Combinatorial Approach to Rothe Numbers and Related Convolution Results
DNA Ion Detector and Logic Circulation Amplification Model Based on Mercury and Silver Ions
On Designated Values in Multi-valued CTL * Model Checking
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Branching Bisimilarity with Explicit Divergence
Preferential Regular Path Queries
Reachability in Some Classes of Acyclic Petri Nets
Residual Closeness in Cycles and Related Networks
Determining Sound Markings in Structured Nets
Dyck Paths with Parity Restrictions for the Final Runs to the Origin: a Study of the Height
A Computational Model of Language Acquisition: the Emergence of Words
On the Axiomatic System of SBLnotalgebras
On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets
On Expansivity and Pseudo-Orbit Tracing Property for Cellular Automata
Solvability of a Coupled System of Fractional Differential Equations with Nonlocal and Integral Boundary Conditions
Formal Real-Time Imagination
Homomorphisms Between Covering Approximation Spaces
Causal Semantics for BPP Nets with Silent Moves
On Equations Including Strings
Cut Elimination for Classical Bilinear Logic
Boris (Boaz) Trakhtenbrot - The Beginning
Analysis of Components for Generalization using Multidimensional Scaling
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines
An automaton Constraint for Local Search
Polynomial-time Classification of Skew-symmetrizable Matrices with a Positive Definite Quasi-Cartan Companion
The Graph Theory General Position Problem on Some Interconnection Networks
First and Second Order Recursion on Abstract Data Types
Thread Algebra with Multi-Level Strategies
Circular Causality in Event Structures
Simplification Orderings: Histrory of Results
Analysis of Static Data Flow Structures
A hierarchy of ETOL languages with rank
Another Example of Higher Order Randomness
Guaranteeing Weak Termination in Service Discovery
Critical Parameter Values and Reconstruction Properties of Discrete Tomography: Application to Experimental Fluid Dynamics
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation
Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns
On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic
Liveness of Safe Object Nets
Axiomatizations of Interval Logics
The Weighted Suffix Tree: An Efficient Data Structure for Handling Molecular Weighted Sequences and its Applications
Consistency-based Revision of Structured Belief Bases
Nondeterministic Bimachines and Rational Relations with Finite Codomain
Unsupervised Tracking, Roughness and Quantitative Indices
Unifying Framework for Rule Semantics: Application to Gene Expression Data
Granular Computing Based on Gaussian Cloud Transformation
A Modal Logic for Hypothesis Theory
Automatic Modeling and Analysis of MSC-specified Systems
Relating distributed, temporal and causal observations of simple processes
Timed possibilistic logic
Marcus External Contextual Grammars: From One to Many Dimensions
Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems
Computational Efficiency of Intermolecular Gene Assembly
On Metalinear CD Grammar Systems
Scenery Image Segmentation Using Support Vector Machines
Predictive Grayscale Image Coding Scheme Using VQ and BTC
Formal Definition of XCCS Modelling Language
A New Translation from ECTL* to SAT
A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific Logics
Aggregation Pheromone Density Based Pattern Classification
Change Detection of Remote Sensing Images with Semi-supervised Multilayer Perceptron
Efficacy Analysis of Ratios from Pairwise Comparisons
Two Sufficient Conditions for Graphs to Admit Path Factors
Advances in Symmetric Sandpiles
Topological Characterisation of Multi-Buffer Simulation
On a Construction of Context-free Grammars
A Timed Linda Language and its Denotational Semantics
Operational, denotational and logical descriptions: a case study
Ecological Model of Virus-Evolutionary Genetic Algorithm
Shelah-Stupp's Iteration and Muchnik's Iteration
An Assistant Agent
Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations
Fairness and Priority
Interrupt Timed Automata with Auxiliary Clocks and Parameters
A Deductive Proof System for Multithreaded Java with Exceptions
A Two-Phase Model for Learning Rules from Incomplete Data
On Scott Consequence Systems
Simulation of Security Protocols based on Scenarios of Attacks
Circular Interval-valued Computers and Simulation of (Red-green) Turing Machines
On the Complexity of Generation of Rational Numbers by Boolean Functions
A Co-processor for Computing the Euler Number of a Binary Image using Divide-and-Conquer Strategy
Relationships Between Length and Coverage of Decision Rules
Efficient Implementation of the Italiano Algorithms for Updating the Transitive Closure on Associative Parallel Processors
An Arc-search Interior Point Method in the 풩 - ∞ Neighborhood for Symmetric Optimization
Well-Founded Semantics for Default Logic
What Are Justification Logics?
Towards an Ontology of Approximate Reason
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
An axiomatic characterization of a class of Petri Nets
How to Synchronize Cellular Automata - Recent Developments -
Analysis and Synthesis of Net Structures and Transition Graphs
A Graph Theoretical Framework for the Strong Gram Classification of Non-negative Unit Forms of Dynkin Type 𝔸 n
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques
On the Algebraization of Some Gentzen Systems
Abnormality Diagnosis in Mammograms by Transfer Learning Based on ResNet18
Arithmetical Proofs of Strong Normalization Results for Symmetric ?-calculi
Heuristic Rating Estimation Approach to The Pairwise Comparisons Method
Notes on the algebraic approach to dependence in information systems
Nearness of Visual Objects. Application of Rough Sets in Proximity Spaces
On the Universality of Colored One-Catalyst P Systems
A New Class of Fuzzy Petri Nets for Knowledge Representation and Reasoning
Algorithms for the Generalized NTRU Equations and their Storage Analysis
Rough Set Approximations of Languages
Reinforcement Learning with Approximation Spaces
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Recognizable and Rational Subsets of Algebras
Rational Teams: Logical Aspects of Multi-Agent Systems
A Logic-Based, Reactive Calculus of Events
Flexible and Robust Patterning by Centralized Gene Networks
On Descriptional Complexity of Partially Parallel Grammars
A Clustering Based Archive Multi Objective Gravitational Search Algorithm
On processing of fuzzy production systems
Pattern Ambiguities for Pure Context-Free Grammars
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
Modal Description Logics: Modalizing Roles
Learning Recursive Theories in the Normal ILP Setting
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization
Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means
Reaction Systems
Rough Set Approximations in Multi-granulation Fuzzy Approximation Spaces
Tree-width in Algebraic Complexity
An Optimization Wavelet Method for Multi Variable-order Fractional Differential Equations
A New Approach for Modeling with Discrete Fractional Equations
A Flexible and Adaptive Hyper-heuristic Approach for (Dynamic) Capacitated Vehicle Routing Problems
A Fragile Digital Image Authentication Scheme Inspired by Wet Paper Codes
Interpretation of Fractional Derivatives as Reconstruction from Sequence of Integer Derivatives
N-axioms Parallel Unification
Petri Nets with Time Windows: A Comparison to Classical Petri Nets
Interleaving Based Model Checking of Concurrency and Causality
A Direct Construction of a Universal P System
Rough Set Algebras as Description Domains
Risk-type Description of Control Variants
Complexity of Searching for a Black Hole
Double-Pushout Hypergraph Rewriting Using Total Conformisms
Exploiting Labels in Structural Operational Semantics
Computing Maximal Error-detecting Capabilities and Distances of Regular Languages
On Fixed Points of the Burrows-Wheeler Transform
Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points
On Orthogonal Projections on the Space of Consistent Pairwise Comparisons Matrices
A Many-sorted Polyadic Modal Logic
Probability and Program-Size for Functions
Symbolic Algorithms Computing Gram Congruences in the Coxeter Spectral Classification of Edge-bipartite Graphs, II. Isotropy Mini-groups
A Causal View on Non-Interference
Coding Theory: A General Framework and Two Inverse Problems
Reaction System Models for the Heat Shock Response
Hierarchical Hidden Markov Models for User/Process Profile Learning
A New Predictor-corrector Infeasible Interior-point Algorithm for Linear Optimization in aWide Neighborhood
A Note on SE-Systems and Regular Canonical Systems
Cellular Automata and Intermediate Reachability Problems
On perfect introspection with Quantifying-in
ADR-lrABE: New Mechanism of Direct-revocable Attribute-Based Encryption with Continual-leakage Tolerances
Reconstruction of Convex Sets from One or Two X-rays
Treasure Trove at Banacha. Set Patterns in Descriptive Proximity Spaces
Variation Statistics on Compositions
Closed Sets in Occurrence Nets with Conflicts
Discrete-Time Leap Method For Stochastic Simulation
An Algorithm for Listing all Minimal Double Dominating Sets of a Tree
The Diagnosability of ( K 4 - { e })-free Graphs under the PMC Diagnosis Model
Rational, Linear and Algebraic Process Languages and Iteration Lemmata
A Novel Image Ownership Protection Scheme Based on Rehashing Concept and Vector Quantization
Characterising Functional Brain Connectivity as Social Network: the Transtopic Centrality Index
Reversible Queue Automata
An Efficient Interpolation Approach for Exploring the Parameter Space of Regularized Tomography Algorithms
Application of Rough Set Theory to Prediction of Antimicrobial Activity of Bis-Quaternary Imidazolium Chlorides
KDS-transformation for Data Compression
Rough Dialogue and Implication Lattices