yusuke1997/dblp-id-title huggingface dataset:
Selected Methods of Combining Classifiers, when Predictions are Stored in Probability Vectors, in a Dispersed Decision-making System
Constrained Expressions and their Derivatives
The Many Roads to the Simulation of Reaction Systems
Non-generable formal languages
Analyzing Heuristic-based Randomized Search Strategies for the Quantum Circuit Compilation Problem
Surface Properties from N-Views of a Strictly Convex Solid
On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations
Discrete Tomography in MRI: a Simulation Study
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework
Approximation of Reset Thresholds with Greedy Algorithms
Proof Methods for Corecursive Programs
Truth of Duration Calculus Formulae in Timed Frames
Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems
Syllabic Languages and Go-through Automata
Improving the Translation from ECTL to SAT
Low Disruption Transformations on Cyclic Automata
Reasoned Assumptions and Rational Psychology
On the Complexity of the Reachability Problem for Safe, Elementary Hornets
An Abstract Strategy for Transforming Logic Programs
Computational Complexity on the Blackboard
Behaviour and Instantiation of High-Level Petri Net Processes
Cooperating Distributed Grammar Systems as Models of Distributed Problem Solving, Revisited
Some Aspects of Ant Systems for the TSP
A Note on Two-pebble Automata Over Infinite Alphabets
What is a Nonmonotonic Consequence Relation?
Limit Sets of Stable and Unstable Cellular Automata
Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax
A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
Foundations of Modal Deductive Databases
Decision-theoretic Rough Sets in Incomplete Information System
Persistent Stochastic Non-Interference
Complex Object-Based Multidimensional Modeling and Cube Construction
The Bhopalator: An Information/Energy Dual Model of the Living Cell (II)
Dialogue in Hierarchical Learning of Concept using Prototypes and Counterexamples
Satisfiability of Inequalities in a Poset
Behaviours of Unary Quantum Automata
Basic principles for understanding evolutionary algorithms
A Genetic Hillclimbing Algorithm for the Optimal Linear Arrangement Problem
Computational Complexity of Simple P Systems
Multiplicative Transition Systems
Biosyntax. An Overview
On Winning Conditions of High Borel Complexity in Pushdown Games
Axiom system induced by CTL* Logic
Mathematical Chemistry: (3, g)-Cages with Girth g, Topological Indices, and Other Graph-Theoretical Problems
A Robust Audio Watermarking Scheme using Higher-order Statistics in Empirical Mode Decomposition Domain
Hypergraph Cuts & Unsupervised Representation for Image Segmentation
Automated Discovery of Empirical Laws
Byzantine Agreement & Fault Diagnosis Agreement in Dynamic Ad-Hoc Environment
Undecidability Results for Timed Automata with Silent Transitions
Redefinition of Decision Rules Based on the Importance of Elementary Conditions Evaluation
From Dissemilattices to Snack Algebras
Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code
Computing Interval Discrete Logarithm Problem with Restricted Jump Method
Epistemic Quantum Computational Structures in a Hilbert-space Environment
Timed Automata Based Model Checking of Timed Security Protocols
Dependence in Algebras
Cumulativity, Identity and Time in Deontic Logic
Jumping Petri Nets. Specific Properties
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning
Approximate Discrete Reconstruction Algorithm
Modal Frame Classes Revisited
Design of a Hybrid Quantizer with Variable Length Code
Multiset-Based Self-Assembly of Graphs
A new class of algebraic series having a decidable equivalence problem
A Further Improved Online/Offline Signature Scheme
Data Linkage Dynamics with Shedding
On the State Complexity of Scattered Substrings and Superstrings
External Memory Algorithms for String Problems
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
Membranes Versus DNA
Potential Infinity and the Church Thesis
Effective Procedures for Handling Possible Equivalence Relations in Non-deterministic Information Systems
Evaluation of the Texture Analysis Using Spectral Correlation Function
A New Optimization Method Based on Generalized Polynomials for Fractional Differential Equations
CTRL-PACE: Controlled Randomness for e-Passport Password Authentication
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
D0L Sequences and their Equality Sets
The Inverse of Ackermann Function is Computable in Linear Time
On Communicating Automata with Bounded Channels
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
A Robust Multiple Classifier System for Pixel Classification of Remote Sensing Images
Some Undecidability Results for Finitely Generated Thue Congruences on aTwo-Letter Alphabet
A L 1 Minimization Strategy for Robust Joint Activity and Attenuation Estimation in Positron Emission Tomography
Unification: Nothing but the Solution of a System of Linear Equations
An Improved Tree-Structured Codebook Search Algorithm for Grayscale Image Compression
Tree Structure Based Data Hiding for Progressive Transmission Images
On subregular OL forms
Spatial Mental Models in Cognitive Systems
Universal (and Existential) Nulls
Practical tools for reasoning about linear constraints
Rough Sets Through Algebraic Logic
Markov Decision Processes and Deterministic Büchi Automata
Computational Complexity of Multimodal Logics Based on Rough Sets
Rough Sets and Nelson Algebras
Contigency Tables as the Foundation for Concepts, Concept Hierarchies and Rules: The 49er System Approach
Effective Simulations on Hyperbolic Networks
Petri Nets for Modelling and Analysing Trophic Networks
Formalizing Defeasible Logic in CAKE
Principal Typing for Lambda Calculus in Elementary Affine Logic
PlanICS - a Web Service Composition Toolset
Series-Parallel Automata and Short Regular Expressions
Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP -exhaustions
Dynamic Slicing for Concurrent Constraint Languages
The Topological Complexity of MSO+U and Related Automata Models
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
Strong Normalization for Truth Table Natural Deduction
Stochastic Petri Box Calculus with Discrete Time
A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data Integration
On the Power of P Systems with Contextual Rules
Finite Arithmetics
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆
Enumeration and Leader Election in Partially Anonymous and Multi-hop Broadcast Networks
Testing Semantics for RTPA
The Design of RNA Biosensor Based on Nano-gold and Magnetic Nano-particle
The Undecidability of the Logic of Subintervals
Mining Outliers in Correlated Subspaces for High Dimensional Data Sets
An Algebraic Framework for Defining Random Concurrent Behaviours
Contextual Grammars with Uniform Sets of Trajectories
A Decidable Probability Logic for Timed Probabilistic Systems
An Extended Comparison of Six Approaches to Discretization - A Rough Set Approach
Pieri's Structures
Rough Sets: Some Foundational Issues
Frequent Subtree Mining - An Overview
Synthesis of max-plus quasi-interpretations
Cryptanalysis of the Full AES Using GPU-Like Special-Purpose Hardware
Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning Techniques
Boolean Matrices and their Applications to Covering Reductions
Valences in Lindenmayer Systems
Nearness of Sets in Local Admissible Covers. Theory and Application in Micropalaeontology
Transition-Optimal Token Distribution
Characterization Results for Time-Varying Codes
An Algorithm for the Reconstruction of hv-convex Planar Bodies by Finitely Many and Noisy Measurements of their Coordinate X-rays
On Generating All Binary Trees
Clustering with Missing Values
Deterministic Computations on a PRAM with Static Processor and Memory Faults
Did Leibniz and Newton Discover or Create the Calculus?
Looking for Small Efficient P Systems
Derived Tree Languages of Nonassociative Lambek Categorial Grammars with Product
Approximation Algebra and Framework
Distributional Learning of Some Nonlinear Tree Grammars
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Quality criteria for partial order semantics of place/transition-nets with capacities
Approximation Algorithms for MAX-BISECTION on Low Degree Regular Graphs
A Foundation for Refining Concurrent Objects
Flexible Process Model Mapping using Relaxation Labeling
An Efficient Parser for a Class of Contextual Languages
Decision Algorithms: A Survey of Rough Set - Theoretic Methods
Reasoning about Resources and Information: A Linear Logic Approach
Rough-Fuzzy Circular Clustering for Color Normalization of Histological Images
Skeptical Reasoning in FC-Normal Logic Programs is P11-complete
The Relevance of Cell Membranes for P Systems. General Aspects
Inductive modal logics
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity
Metadata, Intelligent Indexing, and Repository Management for Multimedia Digital Libraries
Lazy Graph Transformation
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
Impact of Asynchrony on the Behavior of Rational Selfish Agents
Extending Simulation of Asynchronous Spiking Neural P Systems in P-Lingua
Non-dominated Rank based Sorting Genetic Algorithms
Modal Tableaux with Propagation Rules and Structural Rules
Morphisms and Minimisation of Weighted Automata
Toroidal Algorithms for Mesh Geometries of Root Orbits of the Dynkin Diagram $\mathbb{D}_4$
On Random Number Generation for Kernel Applications
Antirandom Test Vectors for BIST in Hardware/Software Systems
Once More on the Edge-Minimization of Nondeterministic Finite Automata and the Connected Problems
Verification of Scenarios in Petri Nets Using Compact Tokenflows
Abstract Interpretation Against Races
Results on Transforming NFA into DFCA
Automated Deduction Techniques for Studying Rough Algebras
A Component Coordination Model Based on Mobile Channels
Neighbourhood of Constant Order in the Interval Graph of a Random Boolean Function
Some Alternatives to Parikh Matrices Using String Kernels
Membrane Computing with External Output
A Reliable Real-time Multicast Authentication Protocol with Provable Accuracy
Indexing Schemes for Similarity Search: an Illustrated Paradigm
From Models to Languages
Analysis of RTCP-nets with Reachability Graphs
Programming Agent Deliberation Using Procedural Reflection
Time and Duration in Nininterleaving Concurrency
Rational Processes and Linear Systems in CSP
The Lattice Structure of Equally Extended Signed Partitions
Monitoring Agents using Declarative Planning
Determining Formulas Related to Point Compression on Alternative Models of Elliptic Curves
Verification Techniques for a Network Algebra
Effective Prediction of Web User Behaviour with User-Level Models
On One-Rule Grid Semi-Thue Systems
Extraction of Discriminative Patterns from Skeleton Sequences for Accurate Action Recognition
Complete Characterization of Zero-expressible Functions
Transformations Between Different Models of Unranked Bottom-Up Tree Automata
Syntactic Complexity of Ultimately Periodic Sets of Integers and Application to a Decision Procedure
On the Fermat-Weber Point of a Polygonal Chain and its Generalizations
Weaker Axioms, More Ranges
Translation of Timed Promela to Timed Automata with Discrete Data
The Complexity of Synthesis of b -Bounded Petri Nets
On Modal Grzegorczyk Logic
An Efficient Computation of the Equation K-automaton of a Regular K-expression
From Unification Compactness to Learnability
VQ Codebook Searching Algorithm Based on Correlation Property
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Is Timed Branching Bisimilarity a Congruence Indeed?
Maximum Centre-Disjoint Mergeable Disks
Fast Granulometry Operator for the 3D Identification of Cell Structures
On Connection Synthesis via Rough Mereology
Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma
Greedy Algorithms with Weights for Construction of Partial Association Rules
Human Face Expressions from Images
Operational Semantics, Interval Orders and Sequences of Antichains
Ambiguity of the Multiple Interpretations on Regular Languages
Cellular Automata Based Design of Cost Optimal Steel Building Frames
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
Deciding Clause Classes by Semantic Clash Resolution
Possible Rough Ingredients of Concepts in Approximation Spaces
Alphabets of Acyclic Invariant Structures
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Dynamics of Commodities Prices: Integer and Fractional Models
Uncovering Bivariate Interactions in High Dimensional Data Using Random Forests with Data Augmentation
Designing Dependencies
Monotonic and non-monotonic logics of knowledge
Modelling Multiple Robots in Space: An Adaptive Eco-Grammar System
On Characterization of Fuzzy Soft Rough Sets Based on a Pair of Border Implicators
Algorithmic logic with recursive functions
Hybrid Cloud Scheduling Method for Cloud Bursting
A three-valued logic for software specification and validation
A Modal Interface Theory for Component-based Design
A Framework for Interval Quantization and Application to Interval Based Algorithms in Digital Signal Processing
Small Generating Sets and DLPC Problem
On a Framework for Logic Programming with Incomplete Information
Architectural Principles and Scheduling Strategies for Computing Agent Systems
Defining BDI with Abstract Languages
Algorithms Determining Matrix Morsifications, Weyl orbits, Coxeter Polynomials and Mesh Geometries of Roots for Dynkin Diagrams
On some equivalence relations for probabilistic processes
Stubborn Sets, Frozen Actions, and Fair Testing
Constructions with Countable Subshifts of Finite Type
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows
Data-driven Valued Tolerance Relation Based on the Extended Rough Set
Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes
Interval-Valued Fuzzy Galois Connections: Algebraic Requirements and Concept Lattice Construction
On Boolean Representation of Continuous Data Biclustering
Bottom-up beta-reduction: Uplinks and lambda-DAGs
Some Investigations on Similarity Measures Based on Absent Words
An Improved Secure Cloud Storage Auditing Protocol Based on Distributed String Equality Checking
General Domain Circumscription and its Effective Reductions
A Petri Net System - an Overview
Time and Space Efficient Large Scale Link Discovery using String Similarities
A Kolmogorov-Smirnov Test for r Samples
Algebra of Rough Sets based on Quasi Order
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals
Balancing Pairwise Comparison Matrices by Transitive Matrices
Number Conservation via Particle Flow in One-dimensional Cellular Automata
A Cancellation Theorem for BCCSP
A Type Driven Theory of Predication with Complex Types
Coalitions of Arguments: An Approach with Constraint Programming
Construction of Pure Grammars
Conjoinability in Pregroups
Associative Omega-product of Processes
Enhanced Grey Wolf Optimization Algorithm for Global Optimization
Greedy Algorithm with Weights for Decision Tree Construction
Davis-Putnam Style Rules for Deciding Property S
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu
Coordination as a Service
A Weighted Threshold for Detection of Cancerous miRNA Expressions
A Detailed Study of the Distributed Rough Set Based Locality Sensitive Hashing Feature Selection Technique
Unfolding Based Algorithms for the Reachability Problem
On the Validation of Invariants at Runtime
Clausal Tableaux for Multimodal Logics of Belief
Autonomous Knowledge-oriented Clustering Using Decision-Theoretic Rough Set Theory
Toward Formal Models of the Theoretical Framework of Fundamental Economics
Incomplete and Nondeterministic Information Systems: Object-Directed Semantics for Descriptor Languages
Infinitary Axiomatization of the Equational Theory of Context-Free Languages
Tensor Framework and Combined Symmetry for Hypertext Mining
Programs as term transformers
Models For Dependable Computation with Multiple Inputs and Some Hardness Results
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
Length P Systems
On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity
Two-center of the Convex Hull of a Point Set: Dynamic Model, and Restricted Streaming Model
Networks with Extremal Closeness
Feature Selection via Maximizing Fuzzy Dependency
Robust Rough-Fuzzy C-Means Algorithm: Design and Applications in Coding and Non-coding RNA Expression Data Clustering
Simulation Opacity
Application of Concurrency in the Asynchronous Design of Write-after-read Operations
Safeness for Object Nets
Secret Sharing Schemes with Nice Access Structures
Detour Number of 1-Fault Connected Graphs
On a Hierarchy of Slender Languages Based on Control Sets
Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours
A General Framework for Mining Frequent Subgraphs from Labeled Graphs
The Clause-Diffusion Methodology for Distributed Deduction
Different Types of Linear Fuzzy Cellular Automata and their Applications
Tolerances Induced by Irredundant Coverings
Representing Argumentation Frameworks in Answer Set Programming
On the semantics of parallel programs
Efficiency Analysis of Simple Perturbed Pairwise Comparison Matrices
On Inferences of Full First-Order Hierarchical Decompositions
A Petri Net Based Modeling of Active Objects and Futures
Fuzzy Symmetry Based Real-Coded Genetic Clustering Technique for Automatic Pixel Classification in Remote Sensing Imagery
Mesh Algorithms for Solving Principal Diophantine Equations, Sand-glass Tubes and Tori of Roots
Constraint BasedWorld Modeling
Formal Account of Sequential Decision-Making in a Co-Operative Setting
Star-free Star and Trace Languages
Cartesian Stream Transformer Compositon
A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras
Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts
Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz
Open Maps and Observational Equivalences for Timed Partial Order Models
Similarity MV-algebras
Tree Matrices and a Matrix Reduction Algorithm of Belitskii
Maximizing T-complexity
A Decomposition Framework for Computing and Querying Multidimensional OLAP Data Cubes over Probabilistic Relational Data
On Conditions for Modular Verification in Systems of Synchronising Components
SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems
Enforcing Regular Languages
Another Constructed Chaotic Image Encryption Scheme Based on Toeplitz Matrix and Hankel Matrix
Entropies and Co-Entropies of Coverings with Application to Incomplete Information Systems
Tree Automata Constructions from Regular Expressions: a Comparative Study
Quasi-Metrics and the Semantics of Logic Programs
Automorphissm Classification of Cellular Automata
On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra
Minimum Cardinality Point-to-point Connectivity Augmentation Problem
On the Semantics of a Semantic Network
Uniqueness Results for Grey Scale Digital Images
On the Complexity of Proving Polyhedral Reductions
Genetic Algorithms as an Alternative Method of Parameter Estimation and Finding Most Likely Sequences of States of Hidden Markov Chains for HMMs and Hybrid HMM/ANN Models
An Automata Description of the Genetic Message Translation
A New Version of the Rule Induction System LERS
Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions, if these Solutions form a Finite Set?
Stochastic Populations, Power Law and Fitness Aggregation in Genetic Algorithms
Concept Lattices of Subcontexts of a Context
Minimization of resolution proof systems
A Large Payload Data Embedding Technique for Color Images
Left Random Context ET0L Grammars
Synchronized Shuffle on Backbones
Quadratic Algorithms for Testing of Codes and ◊-Codes
Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
Graph Transformation with Time
A Framework for Graded Beliefs, Goals and Intentions
Arithmetical Analysis of Biomolecular Finite Automaton
Security Pitfalls of the Certificateless Signature and Multi-Receiver Signcryption Schemes
Fix-point Semantics for Programs in Distributive Categories
The Linear Combination of Logistic and Gumbel Random Variables
Deriving Weights of the Decision Makers Using AHP Group Consistency Measures
Computability Theoretic Properties of the Entropy of Gap Shifts
Editing Configurations of P Systems
Detecting State Encoding Conflicts in STG Unfoldings Using SAT
Equational Reasoning on Mobile Ad Hoc Networks
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures
Square Systems
Matrix Graph Grammars with Application Conditions
Extensionality of the RCC8 Composition Table
Synthesizing Concurrent Programs Using Answer Set Programming
Complexity of Type Inference
Controlling Petri Net Behavior using Priorities for Transitions
A Possibilistic Decision Logic with Applications
Approximating Arbitrary Reinforcement Signal by Learning Classifier Systems using Micro Genetic Algorithm
Agents that Know How to Play
A Prolegomenon to Partial Deduction
Regular omega-Languages Defined by Finite Extended Spiking Neural P Systems
On the Parallelization of Self-Adaptive hp-Finite Element Methods Part I. Composite Programmable Graph GrammarModel
Tolerant Key Assignment for Enforcing Complicated Access Control Policies in a Hierarchy
Bisimulation and Open Maps for Timed Transition Systems
Reasoning with parsimonious and moderately grounded expansions
The Shortest Common Superstring Problem and Viral Genome Compression
Statistical Independence and Determinants in a Contingency Table - Interpretation of Pearson Residuals based on Linear Algebra -
Three-valued predicates for software specification and validation
Fast Convergence of Distance-based Inconsistency in Pairwise Comparisons
Axioms for multilevel objects
On the generative capacity of context-free matrix grammars over one-letter alphabet
Object segmentation in video via graph cut built on superpixels
Decidability Analysis of Self-Stabilization for Infinite-State Systems
Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures
Mild Context-Sensitivity, After Twenty Years
Modification of Near Sets Theory
Apriori-Based Rule Generation in Incomplete Information Databases and Non-Deterministic Information Systems
Special Issue with Selected Papers from ICGT 2004
Preorder Information Based Attributes' Weights Learning in Multi-attribute Decision Making
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging
An Orientation-space Super Sampling Technique for Six-dimensional Diffraction Contrast Tomography
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Simple and Minimal Ground Term Equation Systems
Interactive Method for Semantic Document Indexing Based on Explicit Semantic Analysis
A modal semantics of negation in logic programming