yusuke1997/dblp-id-title huggingface dataset:
Blackhole Pushdown Automata
A Refined VQ-Based Image Compression Method
An Algorithmic-type Classification of Tetravalent One-regular Graphs Using Computer Algebra Tools
X-ray Computed Tomography using a Sparsity Enforcing Prior Model Based on Haar Transformation in a Bayesian Framework
Modelling Defeasibility in Law: Logic or Procedure?
Solving Trivium-based Boolean Equations Using the Method of Syllogisms
An Axiomatic Characterization of Algebras of Processes of Petri Nets
Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations
ASP Based Generation of Information Terms for Constructive ɛℒ
Knowledge, Time, and the Problem of Logical Omniscience
Correctness Notions for Petri Nets with Identifiers
Towards a Framework for Modelling Behaviours of Hybrid Systems
A Logic for Reasoning about Persuasion
Learning Behaviors of Functions
Latency of Neighborhood Based Recommender Systems
On the Injectivity of the Parikh Matrix Mapping
Parallel Algorithms for Minimal Nondeterministic Finite Automata Inference
Model existence theorems in algorithmic logic with non-deterministic programs
Computing Implications with Negation from a Formal Context
A New Approach for the Reconstruction of Object-Based Images in Discrete Tomography
Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles
Query Approximate Answering System for an Incomplete DKBS
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol
On Characterizing Recursively Enumerable Languages by Insertion Grammars
Unsupervised Pixel Classification in Satellite Imagery: A Two-stage Fuzzy Clustering Approach
On Fast Heuristic Non-deterministic Algorithms and Short Heuristic Proofs
A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
Particle Swarm Optimization based Sequential and Parallel Tasks Scheduling Model for Heterogeneous Multiprocessor Systems
Correlating Fuzzy and Rough Clustering
Ulam Games, Lukasiewicz Logic, and AF C*-Algebras
Unfolding Semantics of Petri Nets Based on Token Flows
A Universal Model for Non-Procedural Database Languages
On Evolutionary Exploration and Exploitation
Seeking Knowledge in the Deluge of Facts
A Data Consistent Variational Segmentation Approach Suitable for Real-time Tomography
Higher order Programming in Java: Introspection, Subsumption and Extraction
Detail Preserving Wavelet-Based Compression with Adaptive Context-Based Quantisation
Variance as a Stopping Criterion for Genetic Algorithms with Elitist Model
Forward-Secure Identity-Based Public-Key Encryption without Random Oracles
Decision Problems on Copying and Shuffling
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
Transient Space-fractional Diffusion with a Power-law Superdiffusivity: Approximate Integral-balance Approach
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement
Combinatorics of Unique Maximal Factorization Families (UMFFs)
Contingency Matrix Theory II: Degree of Dependence as Granularity
SoBT-RFW: Rough-Fuzzy Computing and Wavelet Analysis Based Automatic Brain Tumor Detection Method from MR Images
On Computing Discrete Logarithms in Bulk and Randomness Extractors
Social Networks with Competing Products
Iteration-free PDL with Intersection: a Complete Axiomatization
An Open Source GPU Accelerated Framework for Flexible Algebraic Reconstruction at Synchrotron Light Sources
Remarks on the Relationship Between Cooperating Distributed Grammar Systems and Lindenmayer Systems
Real Polygonal Covers of Digital Discs - Some Theories and Experiments
Robust User Password Change Scheme based on the Elliptic Curve Cryptosystem
Relations between Control Mechanisms for Sequential Grammars
A New Practical Limited Identity-Based Encryption Scheme
Tinput-Driven Pushdown, Counter, and Stack Automata
On the Shuffle of Star-Free Languages
The Embedding Problem for Switching Classes of Graphs
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
Varying Selection Functions to Relate Conditional Logics and Preferential Models
Algorithmic Completeness of Imperative Programming Languages
Cryptanalysis and Improvement of a Certificateless Multi-proxy Signature Scheme
Multi-Party Persuasion: a Paraconsistent Approach
Learning via Queries with Teams and Anomalies
A Review of Image and Video Coding Standards
Spatial Domain Image Hiding Scheme Using Pixel-Values Differencing
Uniform Solution to Common Algorithmic Problem by P Systems Working in the Minimally Parallel Mode
Modal Logics for Local and Global Similarity Relations
Sharing Numerous Images Secretly with Reduced Possessing Load
Formal Concepts and Residuation on Multilattices
Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding ,
A Possibilistic Argumentation Decision Making Framework with Default Reasoning
Tools for devising cellular automata in the hyperbolic 3D space
Quasi-Possibilistic Logic and its Measures of Information and Conflict
Deterministic and Nondeterministic Decision Trees for Rough Computing
On the Computational Power of 1-Deterministic and Sequential P Systems
Efficient Construction of Semilinear Representations of Languages Accepted by Unary Nondeterministic Finite Automata
Prescribed Learning of Indexed Families
Decidability of Definability Issues in the Theory of Real Addition
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching
Structures with Multirelations, their Discrete Dualities and Applications
A General Model for Adjacency
Indexing of Spatio-Temporal Telemetric Data Based on Adaptive Multi-Dimensional Bucket Index
A Lower Bound of the Second-order Nonlinearities of Boolean Bent Functions
Symbolic Tensor Neural Networks for Digital Media - from Tensor Processing via BNF Graph Rules to CREAMS Applications
Structured Gaussian Process Regression of Music Mood
Contact Algebras and Region-based Theory of Space: Proximity Approach - II
The Complexity of Identifying Large Equivalence Classes
Wide-diameter of Product Graphs
Sheng Yu (1950-2012) In Memoriam
On the decidability and complexity of autoepistemic reasoning
Analysis of MultiLayer Neural Networks with Direct and Cross Forward Connection
Jumping Scattered Context Grammars
A Note on Spiking Neural P Systems with Homogenous Neurons and Synapses
Synthesis and Analysis of Product-form Petri Nets
Product and Production Process Modeling and Configuration
Complexity and Equivalency of Multiset Dimension and ID-colorings
Shuffle of Words and Araucaria Trees
Very Simple Chaitin Machines for Concrete AIT
Computational Complexity of NURIKABE
Parallel Word Substitution
Random Context and Semi-conditional Insertion-deletion Systems
Kernelized Fuzzy Rough Sets Based Yawn Detection for Driver Fatigue Monitoring
Complexity Results for 2CNF Default Theories
A Non-Deterministic Multiset Query Language
Coverability, Termination, and Finiteness in Recursive Petri Nets
Classifiers Based on Optimal Decision Rules
Agent Oriented Techniques for Programming Autonomous Robots
Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods
Universal Address Sequence Generator for Memory Built-in Self-test
A Method in Linguistic Reasoning on a Knowledge Base Representing by Sentences with Linguistic Belief Degree
Parametric and Type-Dependent Polymorphism
A Linear Time Special Case for MC Games
Application of Dynamic Programming Approach to Optimization of Association Rules Relative to Coverage and Length
Adjective Sense Disambiguation at the Border Between Unsupervised and Knowledge-Based Techniques
A Convergence Proof for the Particle Swarm Optimiser
Computation of Extensions of Seminormal Default Theories
Rough Sets and Association Rule Generation
Process Algebras for Network Communication
Semirings in Operations Research and Computer Science: More Algebra
Algebras of Definable Sets vs. Concept Lattices
Proving Nets Correct via Cause-Effect Structures (An Experiment)
Information Granule Decomposition
Epichristoffel Words and Minimization of Moore Automata
ACBC-Adequate Association and Decision Rules Versus Key Generators and Rough Sets Approximations
Adding Metalogic Features to Knowledge Representation Languages
Local Properties of Triangular Graphs
An automata-theoretic decision procedure for propositional temporal logic with since and until
On Characterization of Attractor Basins of Fuzzy Multiple Attractor Cellular Automata
On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
Remarks on Pseudorandom Binary Sequences Over Elliptic Curves
Decidability Problems in Petri Nets with Names and Replication
From One-dimensional to Two-dimensional Cellular Automata
Subgroup Switching of Skew Gain Graphs
Thue Specifications and Their Monadic Second-order Properties
Computing k-block Morphisms by Spiking Neural P Systems
Relative Cost Random Access Machines
Lattice theoretic ordering properties for NP-complete optimization problems
On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF
Tree-codifications and convolutional codes
Runtime Monitoring of Contract Regulated Web Services
Remarks on the Classical Threshold Secret Sharing Schemes
Some Considerations on Higher-Order Petri Nets
Narrowing Petri Net State Spaces Using the State Equation
A Novel Steganographic Method with Four-Pixel Differencing and Modulus Function
Concept Based Retrieval Using Generalized Retrieval Functions
A New Algorithm for Optimal Path Finding in Complex Networks Based on the Quotient Space
Computing Properties of Numerical Imperative Programs by Symbolic Computation
Stability of subshifts in cellular automata
BCK-codes Based on a Parity Check Matrix
Enhanced and Flexible Software Tools for X-ray Computed Tomography at the Italian Synchrotron Radiation Facility Elettra
Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification
On the Expressiveness of Communication Channels for Object Nets
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case
A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem
Application of Reduction of the Set of Conditional Attributes in the Process of Global Decision-making
A Granular Computing Method for OWL Ontologies
CRN Elimination and Substitution Bases for Complexity Classes
Concurrent Turing Machines
A Formal and Unified Description of XML Manipulation Languages
Representing Uncertainty in RuleML
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
Precise Sets in Approximation Spaces and Textures
A Better Heuristic Algorithm for Finding the Closest Trio of 3-colored Points from a Given Set of 3-colored Points on a Plane
Privacy Aware Data Management and Chase
Formal Properties of Petri's Cycloid Systems
Reversible Data Hiding Based on Three-Circular-Pixel Difference Expansion
Certificateless Proxy Signature Scheme in the Standard Model
Daubechies Filters in Wavelet Image Compression
Local Computations in Graphs: The Case of Cellular Edge Local Computations
Timed Approximate Petri Nets
Managing Multiple Knowledge Sources in Constraint-Based Parsing of Spoken Language
On Restricted Bio-Turing Machines
On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
On Completeness and Decidability of Phase Space Invertible Asynchronous Cellular Automata
Closeness and Vertex Residual Closeness of Harary Graphs
A Note on the Model Theory for Positive Modal Logic
A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games
Logic for information systems
Ensembles of Classifiers Based on Approximate Reducts
On Morphisms Preserving Palindromic Richness
Relational Feature Mining with Hierarchical Multitask kFOIL
Modeling Contexts with Dependent Types
Introduction to Probabilistic Concurrent Systems
Natural Language Understanding and Prediction: from Formal Grammars to Large Scale Machine Learning
Incremental Maintenance of Rough Fuzzy Set Approximations under the Variation of Object Set
Solving Multicolor Discrete Tomography Problems by Using Prior Knowledge
A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming
Modeling and Verification of Reactive Systems using Rebeca
Catching a Structural Bug with a Flower
From Data to Pattern Structures: Near Set Approach
Affine Completeness of Some Free Binary Algebras
Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States
The Number of Distinct Subpalindromes in Random Words
OLAPing Field Data: a Theoretical and Implementation Framework
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions
Similarities and Differences Between the Vertex Cover Number and the Weakly Connected Domination Number of a Graph
Some Remarks on Least Moduli
Real-Time Generation of Primes by a 1-Bit-Communication Cellular Automaton
A Fragment of Intuitionistic Dynamic Logic
Optimization in Discovery of Compound Granules
BITES Instead of FIRST for Parsing Expression Grammar
Efficient Graph Kernels for Textual Entailment Recognition
On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages
Mereotopologies with Predicates of Actual Existence and Actual Contact
An algebraic approach to the approximation of information
Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems
On Dependence in Wille's Contexts
Wavelets and Mallat's Multiresolution Analysis
An Algebra of Data Flows
Hypergraphs for Generic Lossless Image Compression
On the Borel Complexity of MSO Definable Sets of Branches
Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra
Robust Candidate Pruning Approach Based on the PSO-SVM for Fast Corner Detection with Noise Tolerance in Gray-Level Images
Generalized Quantifiers in the Context of Rough Set Semantics
Metamathematics of Contexts
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool
Collaborative Rankings
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions
Rule Quality Measures Settings in Classification, Regression and Survival Rule Induction - an Empirical Approach
Characterizations and Existence of Easy Sets without Hard Subsets
Graded Consequence with Fuzzy Set of Premises
Relation Between VGA-classifier and MLP : Determination of Network Architecture
On the Normalized Cut
First-order Non-monotonic Modal Logics
Eventually Dual Failure Agreement
Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach
Finding Patterns In Given Intervals
On the Optimality of the Binary Algorithm for the Jacobi Symbol
Full Abstractness of a Metric Semantics for Action Refinement
Constraint Logic Programming with Polynomial Constraints over Finite Domains
Forest Fire Models on Configuration Random Graphs
Logic as programming
On Semilinear Sets over Commutative Semirings
Decomposing Timed Push Down Automata
Combining CCS and Petri Nets Via Structural Axioms
Unsupervised Similarity Learning from Textual Data
Regularising Ill-posed Discrete Optimisation: Quests with P Systems
On a Logical Basis of Normal Logic Program
Modal Logics for Region-based Theories of Space
Global syntax and semantics for recursively enumerable languages
Applying term rewriting to partial algebra theory
Representation of The Pairwise Comparisons in AHP Using Hesitant Cloud Linguistic Term Sets
On the Hairpin Incompletion
Dynamic Meaning Membrane Systems: An Application to the Description of Semantic Change
A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model
Combining the Concepts of Residual and Domination in Graphs
Entropy-Constrained Multiresolution Vector Quantisation for Image Coding
On Algebraic Structure of Neighborhoods of Cellular AutomataHorse Power Problem
On Some Uses of Nonstandard Models
A Predator-Prey Cellular Automaton with Parasitic Interactions and Environmental Effects
On the Hardness of Reoptimization with Multiple Given Solutions
Integral Particle Swarm Optimization with Dispersed Accelerator Information
An Efficient Decoding of Goppa Codes for the McEliece Cryptosystem
Hiding Digital Watermarks Using Fractal Compression Technique
Cryptanalysis of an Identity Based Signcryption without Random Oracles
Model of Thin Viscous Fluid Sheet Flow within the Scope of Fractional Calculus: Fractional Derivative with and No Singular Kernel
Space- and Time-Bounded Nondeterminism for Cellular Automata
Instruction Sequence Size Complexity of Parity
Contradiction-Tolerant Process Algebra with Propositional Signals
Rough Relation Algebras Revisited
Towards Automated Consistency Checking of Module Interface Specifications
Building Occurrence Nets from Reveals Relations
Model Finding in Semantically Guided Instance-Based Theorem Proving
State Complexity of Multiple Catenations
Rough Approximation Operators in Group Mapping and Their Applications to Coding Theory
Temporal Dynamics in Information Tables
Proving as a Computable Procedure
Directions and Foldings on Generalized Trees
Breaking Pomykala-Barabasz Threshold Proxy Signature Scheme
Spiking Neural dP Systems
Rough Sets, Coverings and Incomplete Information
On Interacting Automata with Limited Nondeterminism
Many-Valued Model Logics II
Visits to Level r by Dyck Paths
Rough Sets and Interactive Granular Computing
Maurer Computers with Single-Thread Control
Dynamic Programming Approach for Partial Decision Rule Optimization
Waiting Nets: State Classes and Taxonomy
Semantics of Times Concurrent Systems
On the Density of Regular Languages
Gödel Homomorphisms as Gödel Modal Operators
Membrane Creation in Polarizationless P Systems with Active Membranes
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
Nonmonotonic Proof Systems: Algebraic Foundations
Universality Analysis for One-Clock Timed Automata
Mesh Algorithms for Coxeter Spectral Classification of Cox-regular Edge-bipartite Graphs with Loops, I. Mesh Root Systems
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets
Algebraic, Linear and Rational Languages Defined by Mix Operation
Timed Automata with non-Instantaneous Actions
Further Results on Contextual and Rewriting P Systems
Pattern Avoiding Languages and Recurrence Relations Interpretation
Rank Distance with Applications in Similarity of Natural Languages
Graph-based Relational Learning with Application to Security
On consistency and completeness of autoepistemic theories
Maximal Chains and Antichains in Strongly Noetherian Semiorders
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next
Query-Points Visibility Constraint Minimum Link Paths in Simple Polygons
Solving Sequential Planning Problems via Constraint Satisfaction
Matching Observed with Empirical Reality - What you see is what you get?
Categories of Coalgebraic Games with Selective Sum
Continuous Domains in Formal Concept Analysis
Making DNA Expressions Minimal
Some Techniques of Reducing the Dangers of Combinatiorial Explosion in Automatic Knowledge Acquisition
Some Recent Developments in the Representation and Processing of Knowledge
Perfect Domination, Roman Domination and Perfect Roman Domination in Lexicographic Product Graphs
Class Specific Fuzzy Decision Trees for Mining High Speed Data Streams
Sensitivity Analysis for Selective Learning by Feedforward Neural Networks
Computations in Boolean Algebra with Approximation
On the Transition Reduction Problem for Finite Automata
Rough Set Characterization for 2-circuit Matroid
Diamond properties of elementary net systems
Classification of Unseen Examples Under Uncertainty
Rainbow Induced Subgraphs in Proper Vertex Colorings
A Fixed-point Characterization of a Deontic Logic of Regular Action
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Counterpart Semantics for a Second-Order μ-Calculus
Algebraic Structure of Step Traces and Interval Traces
Continuous Shape Transformation and Metrics on Regions
Spatially Localised Membrane Systems
Approximate Solutions of DASs with Nonclassical Boundary Conditions using Novel Reproducing Kernel Algorithm
Expressiveness of Petri Nets with Stopwatches. Dense-time Part
A Comparison of Metric-Based and Empirical Approaches for Cognitive Analysis of Modeling Languages
A New Density-Based Scheme for Clustering Based on Genetic Algorithm
Logic Operation Model of the Complementer Based on Two-domain DNA Strand Displacement
Disjunctive Signed Logic Programs
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
Target-oriented Petri Net Synthesis
Small Semi-Weakly Universal Turing Machines
Modal Probability, Belief, and Actions
Credibility of Information for Modelling Belief State and Its Change
Data Compressor for VQ Index Tables
Platek Spaces
Stop-transitions of Petri Nets
Construction of Efficient MDS Matrices Based on Block Circulant Matrices for Lightweight Application
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Multi-Agent Decision Taking System
Picture Fuzzy Hamacher Aggregation Operators and their Application to Multiple Attribute Decision Making
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
On a Notion of Concurrence
Petri Net Semantics of the Finite pi-calculus Terms
Nonlinear Degenerate Fractional Evolution Equations with Nonlocal Conditions
On the Computational Complexity of Marcus Contextual Languages
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
Algebras of Definable and Rough Sets in Quasi Order-based Approximation Spaces
Eigenvector Method and Rank Reversal in Group Decision Making Revisited
On a variant of a method of Berstel's and Nielsen's
Preface / Editorial
A Translation of the Existential Model Checking Problem from MITL to HLTL
Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches
Models of Clark's completion for some classes of logic programs
Using One Axiom to Characterize Fuzzy Rough Approximation Operators Determined by a Fuzzy Implication Operator
Analytical Morphology: Mathematical Morphology of Decision Tables
Bilateral Ranking Negotiations
Expressibility of the Semantics of Sequential Programs in First-Order Logic
CHIRA - Convex Hull Based Iterative Algorithm of Rules Aggregation
A Property of Independency Relations Induced by Probabilistic Distributions with Binary Variables
P Systems Simulating Bacterial Conjugation: Universality and Properties
The Weighted Matching Approach to Maximum Cardinality Matching
Image Search using Dominant Colors
Default Logic Models of Certain Inheritance Systems with Exceptions
Some Algorithms for Extension Computation of Nonmonotonic Rule Systems
Towards a Logic Programming Tool for Cancer Data Analysis
Catalytic and Purely Catalytic P Systems and P Automata: Control Mechanisms for Obtaining Computational Completeness
On the existence of a new family of Diophantine equations for z
Logic Programming from the Perspective of Algebraic Semantics
Observation of String-Rewriting Systems
Model Checking Optimisation Based Congestion Control Algorithms
Asymptotic Properties of the Factors of Words Over a Finite Alphabet
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
Coxeter Invariants for Non-negative Unit Forms of Dynkin Type 𝔸 r
Formalising Abilities and Opportunities of Agents
Logics for Modelling Collective Attitudes