yusuke1997/dblp-id-title huggingface dataset:
Using Non-Zero Dimensions for the Cosine and Tanimoto Similarity Search Among Real Valued Vectors
A Revised TOPSIS Method Based on Interval Fuzzy Soft Set Models with Incomplete Weight Information
Computing Modulo-n by Composing Cellular Automata Rules
Finite-valued Logics for Information Processing
A Most General Edge Elimination Polynomial - Thickening of Edges
A Deterministic Algorithm for Identifying Direct Superclasses in Java
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness
Observational Equivalences for Timed Stable Event Structures
Optimal Local Identifying and Local Locating-dominating Codes
One Pebble Versus epsilon * log n Bits
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Minimum Unique Substrings and Maximum Repeats
Covariance Matrix Self-Adaptation and Kernel Regression - Perspectives of Evolutionary Optimization in Kernel Machines
The Equivalence Problem of D0L and DF0L Power Series
A Dynamic Logic Account of Active Integrity Constraints
Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann
A classification and closure properties of languages for describing concurrent system behaviours
Invariance Under Stuttering in a Temporal Logic without the "Until" Operator
Equations for message passing
On Some Mathematical Structures of T-Fuzzy Rough Set Algebras in Infinite Universes of Discourse
Knowledge-Based Asynchronous Programming
Category Theoretic Semantics for Typed Binding Signatures with Recursion
Object Oriented Database with Authorization Policies
On the Characterization of Input Sets as Output Sets
Resolution systems and their applications II
On Shuffling a Word with its Letter-to-Letter Substitution
Fast and Efficient Parallel Coarsest Refinement
A Note on 3-valued Rough Logic Accepting Decision Rules
Complexity of index sets and translating functions
A Comprehensive Setting for Matching and Unification over Iterative Terms
Perturbation Results for Distance-edge-monitoring Numbers
Evaluation of PP-1 Cipher Resistance against Differential and Linear Cryptanalysis in Comparison to a DES-like Cipher
Modelling and Checking Timed Authentication of Security Protocols
One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability
Inferring Unobserved Events in Systems with Shared Resources and Queues
On the Circuit Depth of Structurally Reversible Cellular Automata
Block Prediction Vector Quantization for Grayscale Image Compression
Relating Computations in Non-cooperative Transition P Systems and Evolution-Communication P Systems with Energy
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
A Note of Generalization of Fractional ID-factor-critical Graphs
Autonomy-Oriented Search in Dynamic Community Networks: A Case Study in Decentralized Network Immunization
A Relation between Modal Logic and Language Closure Operators
Termination of Term Rewriting by Semantic Labelling
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Algorithmic Approach to Devaney Chaos in Shift Spaces
Modeling Communication with Synchronized Environments
On Quantified Modal Logic
Advanced Morphological Distances Based on Dilation and Erosion
On the synchronizing tools for parallel programs
Query Compilation under the disjunctive well-founded semantics
Algorithm for Pythagorean Fuzzy Multi-criteria Decision Making Based on WDBA with New Score Function
Modelling Complex Patterns by Information Systems
GP Systems with Forbidding Context
Many-valued modal logics
Where Rough Sets and Fuzzy Sets Meet
Flash-Aware Storage of the Column Oriented Databases
Algebras of Approximating Regions
A Small Five-State Non-Optimum-Time Solution to the Firing Squad Synchronization Problem - A Geometrical Approach
Sufficiently Near Neighbourhoods of Points in Flow Graphs. A Near Set Approach
Completions of ordered magmas
Tolerance Approximation Spaces
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017
A Graph Grammar Model of the hp Adaptive Three Dimensional Finite Element Method. Part II
Distinguishability, Simulation and Universality of Moore Tree Automata
Representation of Irrelevance Relations by Annotated Graphs
A Linear Logic View of Object Petri Nets
A problem on easy terms in Calculus
State Complexity: Recent Results and Open Problems
Reminiscing over
Identifying Prime Implicate Branches in Reduced Implicate Tries
A uniform test approach for RCC-adders
Fuzzification of Rational and Recognizable Sets
Complexity Issues in Multiagent Logics
Pathological Brain Detection via Wavelet Packet Tsallis Entropy and Real-Coded Biogeography-based Optimization
Univariate Equations Over Sets of Natural Numbers
Avoiding Irreducible CSC Conflicts by Internal Communication
Mathematical Fuzzy Logic and Natural Numbers
Łukasiewicz μ-calculus
Blending Timed Formal Models with Clock Transition Systems
Single 2D Image-based 3D Face Reconstruction and Its Application in Pose Estimation
Relational Transformation-based Tagging for Activity Recognition
An Efficient Algorithm for Learning Bayesian Networks from Data
Hierarchies of Stateless Multicounter 5′ → 3′ Watson-Crick Automata Languages
The Impact of seq on Free Theorems-Based Program Transformations
Optimal Unification and Learning Algorithms for Categorial Grammars
Inductive Inference with Procrastination: Back to Definitions
Preserving λ-scrambling Matrices
A Multifaceted Analysis of Probabilistic Three-way Decisions
Graphs and Colorings for Answer Set Programming with Preferences
Remarks on the Critical Behavior of Second Order Additive Invariants in Elementary Cellular Automata
The Complexity of Unary Tiling Recognizable Picture Languages: Nondeterministic and Unambiguous Cases
Non-Clausal Reasoning with Definite Theories
A hierarchy of system descriptions via atomic linear refinement
A Study on Partitioned Iterative Function Systems for Image Compression
Boys-and-girls Birthdays and Hadamard Products
Data Mining and Its Use in Texture Analysis
Leximin Multiple Objective DCOPs on Factor Graphs for Preferences of Agents
Generalizing the Compositions of Petri Nets Modules
A Phase Field Approach to Limited-angle Tomographic Reconstruction
A Graph Grammar Model of the hp Adaptive Three Dimensional Finite Element Method. Part I
A Method to Prove Non-Reachability in Priority Duration Petri Nets
Learning programs with an easy to calculate set of errors
Sensor, Filter, and Fusion Models with Rough Petri Nets
On Some Issues in the Foundation of Rough Sets: the Problem of Definition
Unearthing a Fossil from the History of Evolutionary Computation
Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models)
On the Size of Stack and Synchronization Alphabets of Tree Automata
On the Injectivity of Parikh Matrix Mappings
Word Blending in Formal Languages
A Digital Image Encryption Algorithm Based on Hyper-chaotic Cellular Neural Network
Deriving Invariants and Constraints from Action Theories
Quality-aware Architectural Model Transformations in Adaptive Mashups User Interfaces
Semi-GAPS: A Semi-supervised Clustering Method Using Point Symmetry
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
Imperfect Causality
Algebraic Ordinals
Place the Vertices Anywhere on the Curve and Simplify
Vector Ambiguity and Freeness Problems in SL(2, ℤ)
Learning Classification Programs: The Genetic Algorithm Approach
Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure
Contagious Creativity
Computation of Reducts of Composed Information Systems
All Compact Hausdorff Lambda Models are Degenerate
ω-Petri Nets: Algorithms and Complexity
On Terminating and Non-Terminating q-Gauss Hypergeometric Series Distributions and the Associated q-Orthogonal Polynomials
Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions
Multi-valued Verification of Strategic Ability
Vector-based Attribute Reduction Method for Formal Contexts
A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
Theory of Mind and Empathy. Part I - Model of Social Emotional Thinking
Handling Non-determinism in Spiking Neural P Systems: Algorithms and Simulations
Algebraic considerations of autoepistemic logic
Probabilistic Complex Actions in GOLOG
A Generic Approach to Connector Architectures Part I: The General Framework
Weak Dependencies in Approximation Spaces
Modeling the Dance Video Semantics using Regular Tree Automata
Paradigmatic and Syntagmatic Relations in Information Systems over Ontological Graphs
Blind Counter Automata on omega-Words
A New Architecture for Learning Classifier Systems to Solve POMDP Problems
Reachability in Simple Neural Networks
Incomplete Pairwise Comparison Matrices and Weighting Methods
Argumentation Reasoning via Circumscription with Pyglaf
Knowledge Representation for Human-Computer Interaction in a System Supporting Conceptual Design
Applications of Fuzzy Rough Set Theory in Machine Learning: a Survey
Game-Theoretic Rough Sets
Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles
Induction Principles for Sets
Using Hoare Logic in a Process Algebra Setting
Towards Synchronous and Asynchronous Graph Transformations
On Combining the Methods of Link Residual and Domination in Networks
Rough Set Approach to Behavioral Pattern Identification
epsilon-Optimal Stopping Time for Genetic Algorithms
WeightedWord Recognition
On Iiro Honkala's Contributions to Identifying Codes
Efficiently Mining Frequent Embedded Unordered Trees
About semantic action refinement
Activity Networks with Delays an Application to Toxicity Analysis
The Topological Structures of Membrane Computing
Algebraic theory of independence in information systems
An Efficient and Practical (t, n) Threshold Proxy Signature Scheme with Known Signers
Abduction for Accessing Information Sources
On probabilistic automata in deterministic environment
Levels of Persistency in Place/Transition Nets
On Probabilistic Contextual Grammars
A Full-Newton Step Interior-point Method Based on a Class of Specific Algebra Transformation
Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice
Logics for Real Time: Decidability and Complexity
Exploring Cycle Structures of Additive Cellular Automata
Parametric Systems: Verification and Synthesis
Concept Formation: Rough Sets and Scott Systems
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation
Observational Equivalence for Multiparty Sessions
Logic Programming with Graded Introspection
Neighborhood Systems: Rough Set Approximations and Definability
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Extension Rule for Non-Clausal Propositional Calculus
From Glushkov WFAs to K-Expressions
A Query Language Based on Term Matching and Rewriting
Coefficient Estimate of bi-Bazilevič Functions Associated with Fractional q-calculus Operators
Quantification of Positive and Negative Attacker's Information
NAO Soccer Robots Path Planning Based on Rough Mereology
Reasoning on the Efficiency of Distributed Complex Event Processing
A Complete Generalization of Atkin's Square Root Algorithm
A Paraconsistent Linear-time Temporal Logic
Compositional Proofs for Networks of Processes
Papers on Context: Theory and Practice
On Projection Based Operators in l p Space for Exact Similarity Search
Efficient Approaches to Compute Longest Previous Non-overlapping Factor Array
A Modal Herbrand Theorem
Structure and Power: an Emerging Landscape
Rough set Based Ensemble Classifier forWeb Page Classification
Skolem's Theorem in Coherent Logic
Equivalence of Processes in Partially Commutative Object-Oriented Environments
Towards a Formal Representation of Interactive Systems
Deterministic concurrent systems
Filtrations of Formal Languages by Arithmetic Progressions
D-FLAT 2 : Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy
Iteration Lemmata for Certain Classes of Word, Trace and Graph Languages
Relating Communicating Processes with Different Interfaces
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
Improvements in SAT-based Reachability Analysis for Timed Automata
Error-Robust Functional Dependencies
Generalised Composition Operations for High-level Petri Nets
The Computational Power of Cell-like P Systems with Symport/Antiport Rules and Promoters
On a Power Series Generalization of ETOL Languages
Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
Distance Measures Induced by Finite Approximation Spaces and Approximation Operators
A Simple Proof of Miller-Yu Theorem
On the Computational Complexity of Optimal Multisplitting
On eliminating the lambda-rules from simple matrix grammars
Ant-Based Clustering in Delta Episode Information Systems Based on Temporal Rough Set Flow Graphs
Alias Types and Effects for "Environment-aware" Computations
A Restarted Strategy for Efficient Subsumption Testing
Real Time Control for Autonomous Mobile Robots
Substitutivity Principles in Some Theories of Uncertainty
Definability of Arithmetic Operations from the Order and a Random Relation
A compositional semantics for unmarked predicate/transition nets
On minimal models of the Region Connection Calculus
Generalized Mutual Exclusion with Semaphores Only
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus
Security Analysis of the Pomykala-Barabasz Scheme
Extreme Runtimes of Schedules Modelled by Time Petri Nets
Simple Random Access Compression
On the Logic and Geometry of Bilinear Forms
BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models
An Overview of Parameter Control Methods by Self-Adaption in Evolutionary Algorithms
Pawlak's Information Systems in Terms of Galois Connections and Functional Dependencies
Semantics for Specialising Attack Trees based on Linear Logic
Multiple Images Embedding Scheme Based on Moment Preserving Block Truncation Coding
On (weakly) local approximation spaces of information systems
VerICS 2007 - a Model Checker for Knowledge and Real-Time
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus
Chaotic Dynamics in Iterated Map Neural Networks with Piecewise Linear Activation Function
On pure context-free language and left szilard languages
Slicing Timed Systems
Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation
Weight-Based Negotiation Mechanisms: Balancing Personal Utilities
A Propositional Metric Logic with Fixed Finite Ranges
From Leśniewski, Łukasiewicz, Tarski to Pawlak: Enriching Rough Set Based Data Analysis. A Retrospective Survey
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
A Locality Sensitive Hashing Filter for Encrypted Vector Databases
Graphical Partitions and Graphical Relations
Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata
One Graph to Rule Them All Software Measurement and Management
A Net-based Approach to Web Services Publication and Replaceability
The Cube Attack on Stream Cipher Trivium and Quadraticity Tests
Adaptive Data Embedding Scheme Based on Similar and Dissimilar Clustering Strategies
Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras
Stephen L. Bloom 1940-2010
Computer Algebra Technique for Coxeter Spectral Study of Edge-bipartite Graphs and Matrix Morsifications of Dynkin Type 𝔸 n
The Chain Relation in Sofic Subshifts
Unification Modulo ACI + 1 + 0
A Minimal Normal Form for DNA Expressions
Resource Bisimilarity in Petri Nets is Decidable
Automating Algebraic Proofs in Algebraic Logic
Semantics and Controllability of Time-Aware Business Processes
The Supports of Weighted Unranked Tree Automata
Modelling of Complex Systems: Systems as Dataflow Machines
A Categorical Axiomatisation of Region-Based Geometry
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem
Connections for sets and functions
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Reliability Hosoya-Wiener Polynomial of Double Weighted Trees
An Algebra of Dataflow Networks
A Set-Theoretic Framework for Component Composition
Knowledge Reduction in Random Incomplete Decision Tables via Evidence Theory
On Modalities and Quantifiers
Stability Analysis of Oja-RLS Learning Rule
Transformation of Typed Composite Graphs with Inheritance and Containment Structures
One-Turn Regulated Pushdown Automata and Their Reduction
A Note on the Durda, Caron, and Buchanan Word Ambiguity Detection Algorithm
Semi-quantitative Modelling of Gene Regulatory Processes with Unknown Parameter Values Using Fuzzy Logic and Petri Nets
Revisiting the Memory of Evolution
Turing Machines with One-sided Advice and Acceptance of the co-RE Languages
Automatic Unsupervised Segmentation Methods for MRI Based on Modified Fuzzy C-Means
Algebraic Properties of Generalized Rough Sets
A New Description of Transversal Matroids Through Rough Set Approach
Reconstructing Binary Matrices under Window Constraints from their Row and Column Sums
An algorithm of finding an acyclic f-graph for a family od sets
Products and Polymorphic Subtypes
Categorical Combinations with Explicit Products
Intelligent Execution Monitoring in Dynamic Environments
A Linear Space Data Structure for Range LCP Queries
On Families of Weakly Cross-intersecting Set-pairs
Adding Data Registers to Parameterized Networks with Broadcast
Learning Rough Set Classifiers from Gene Expressions and Clinical Data
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Structural Analysis of Signal-Event Systems
Applying Rough Set Theory to Multi Stage Medical Diagnosing
Variable Complexity of Simple Programs
3DM: Domain-oriented Data-driven Data Mining
Soft Nearness Approximation Spaces
Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages
Unambiguous Functions in Logarithmic Space
Characterizing Stable and Deriving Valid Inequalities of Petri Nets
Subword Balance in BinaryWords, Languages and Sequences
Computability by Sequences of Queries
Initial and Quasiinitial Models of Theories
Multi-Valued MSO Logics OverWords and Trees
On Variable Precision Generalized Rough Sets and Incomplete Decision Tables
Grammatical Inference of PCFGs Applied to Language Modelling and Unsupervised Parsing
Meta-Queries on Deductive Databases
Privacy Issues in SOAP Message Exchange Pattern for Social Services
A Novel Image Encryption Scheme Based on Generalized Multi-sawtooth Maps
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Token History Petri Nets
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Combinatorial Algorithms for Computing Degenerations of Modules of Finite Dimension
Using Domain Knowledge in Initial Stages of KDD: Optimization of Compound Object Processing
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉
A Token-Managed Admission Control System for QoS Provision on a Best-Effort GALS Interconnect
Defeasible Deontic Reasoning
Reconstructing Words from a σ-palindromic Language
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×
SAT as a Programming Environment for Linear Algebra
A Novel Image Hiding Scheme Based on VQ and Hamming Distance
Belief Revision in Non-Monotonic Reasoning and Logic Programming
Subwords and Power-Free Words are not Expressible by Word Equations
Unavoidable Sets, Prefix Graphs and Regularity of Circular Splicing Languages
Peter Lauer and COSY
Yurii Rogozhin's Contributions to the Field of Small Universal Turing Machines
Synthesis for Various Petri Net Classes with Union/Find
Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata
A Second-order Corrector Infeasible Interior-point Method with One-norm wide Neighborhood for Symmetric Optimization
Rough Set Based Reasoning About Changes
Intersection Types and Termination Properties
Active Symbols in Pure Systems
Perspectives on Uncertainty and Risk in Rough Sets and Interactive Rough-Granular Computing
Piecewise Affine Functions, Sturmian Sequences and Wang Tiles
Analytic Calculi for Monoidal T-norm Based Logic
The Modal Query Language MDatalog
An Information-Hiding Scheme Based on Quantization-Based Embedding Technique
Algorithmic aspects of the attribute set minimization problem
On the Trade-off Between Ambiguity and Complexity in Contextual Languages
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks
Safety and Soundness for Priced Resource-Constrained Workflow Nets
Cryptanalysis and Improvement for Certificateless Aggregate Signature
Modeling Variations of First-Order Horn Abduction in Answer Set Programming
Freeness Problem for Matrix Semigroups of Parikh Matrices
Artificial Vision and Soft Computing
Synthesis and Complexity of Asymptotically Optimal Circuits with Unreliable Gates
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties
A Complete Taxonomy of Restarting Automata without Auxiliary Symbols
Routes and Products of Monoids
Towards a Logic for Union Types
Strong Normalization in the π-calculus with Intersection and Union Types
Algorithm of Translation of MSC-specified System into Petri Net
An Acceptance Vector Semantics for Path Programs
Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing: A Petri Net Model Approach
Event Structures with Disabling/Enabling Relation and Event Automata
Relative Nondeterministic Information Logic is EXPTIME-complete
Half-lattice Paths and Virasoro Characters
Bridging the Gap between Non-Symbolic and Symbolic Processing - How Could Human Being Acquire Language?
A Development of Inclusion-degree-based Rough Fuzzy Random Sets
On Desirable Semantics of Functional Dependencies over Databases with Incomplete Information
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Controllable Delay-Insensitive Processes
Probabilistic Information Flow Security
Efficient String Matching in Huffman Compressed Texts
Machine Learning Through Data Classification and Reduction
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
Reducts in information systems
Querying Cardinal Directions between Complex Objects in Data Warehouses
Extended Generalized Hyperbolic-function Method and New Exact Solutions of the Generalized Hamiltonian and NNV Equations by the Symbolic Computation
Sets generated by stochastic automata of Markov's chain type
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems
Reversible Steganography for BTC-compressed Images
On the Dynamics of Social Balance on General Networks (with an application to XOR-SAT)
TDOA-based Localization in Two Dimensions: the Bifurcation Curve
Formal Concept Analysis in Relational Database and Rough Relational Database
Interactive Exploration of Multi-Dimensional and Hierarchical Information Spaces with Real-Time Preference Elicitation
Multigranulation Decision-theoretic Rough Set in Ordered Information System
The Qualitative Structure of Built Environments
Commuting Upper Triangular Binary Morphisms
Jacobians of Hyperelliptic Curves over ℤ n and Factorization of n
A Multi-Criteria Decision Method Based on Rank Distance
Approximations on Minimum Weight Triangulations and Minimum Weight Pseudo-Triangulations Using Ant Colony Optimization Metaheuristic
A Formal Model for Situated Multi-Agent Systems
An Uncertainty Measure Based on Lower and Upper Approximations for Generalized Rough set Models
An Empirical Analysis of Some Heuristic Features for Planning through Local Search and Action Graphs
On the Computational Complexity of Partial Word Automata Problems
Inflation Agorithm for Cox-regular Postive Edge-bipartite Graphs with Loops