yusuke1997/dblp-id-title huggingface dataset:
Hybrid Enhanced Binary Honey Badger Algorithm with Quadratic Programming for Cardinality Constrained Portfolio Optimization
Complexity of Matching Sets of Two-Dimensional Patterns by Two-Dimensional On-Line Tessellation Automaton
On Computational Complexity of Hierarchical Optimization
Approximating Asymmetric TSP in exponential Time
The Structure Fault Tolerance of Alternating Group Networks
Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties
Special Issue on Randomized Computing
Isolated Rupture in Composite Networks
On Two Modifications of the McEliece PKE and the CFS Signature Scheme
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules
On the Power of One-Way Globally Deterministic Synchronized Alternating Turing Maschines and Multihead Automata
From Regular to Strictly Locally Testable Languages
An Improvement for Error-Correcting Pairs of Some Special MDS Codes
Efficient Parallel Job Scheduling Using Gang Service
A Statistical Approach towards Secure Location Verification in noisy Wireless channels
The Maximum Traveling Salesman Problem on Banded Matrices
Convex Grid Drawings of Four-connected Plane Graphs
Logspace Reducibility: Models and Equivalences
Orthogonal Shuffle on Trajectories
How to Simulate Turing Machines by Invertible One-Dimensional Cellular Automata
Descriptive Complexity of Reversible Languages Having Finitely Many Reduced Automata
Remarks on k-Clique, k-Independent Set and 2-Contamination in Complementary Prisms
k-Fibonacci Cubes: A Family of Subgraphs of Fibonacci Cubes
Parallel Range Minima on Coarse Grained Multicomputers
A Generic Approach to the Static Analysis of Concurrent Programs with Procedures
Concurrent Automata and Domains
Nonsingular Polynomials from Feedback Shift Registers
Positioned Agents in Eco-Grammar Systems
Vector Algorithms for Approximate String Matching
Regular Sequences and the Joint Spectral Radius
On the Complexity of Concurrent Multiset Rewriting
An Improved Approximation Algorithm for the Two-Machine Flow Shop Scheduling Problem with an interstage transporter
Modular Ranking Abstraction
Bounds on Subspace Codes Based on Orthogonal Space Over Finite Fields of Characteristic 2
A Simple 2-Approximation for Maximum-Leaf Spanning Tree
Hop-Congestion Trade-Offs for High-Speed Networks
A Linear Time Solution for N-Queens Problem Using Generalized Networks of Evolutionary Polarized Processors
On the Routing Number of Complete d-ARY Trees
Unweighted and Weighted Hyper-Minimization
Typeness for omega-regular Automata
On Message Packaging in Task Scheduling for Distributed Memory Parallel Machines
Efficient Communication in Folded Petersen Networks
Optimal Hyper-Minimization
A Markovian Approach for the Analysis of the gene Structure
A Fault-Free Unicast Algorithm in the Generalized Hypercube with Restricted Faulty Vertices
Algorithmic Aspects of Outer-Independent Total Roman Domination in Graphs
Cache Miss Analysis of 2D Stencil Codes with Tiled Time Loop
Projection for Büchi Tree Automata with Constraints between Siblings
Multi-use Deterministic Public Key Proxy Re-Encryption from Lattices in the Auxiliary-Input Setting
Program-Based Locality Measures For Scientific Computing
Symmetric Connectivity in Wireless Sensor Networks with π/3 Directional Antennas
On Succinct Description of Certain Context-Free Languages by Ins-Del and Matrix Ins-Del Systems
Some Constructions of Perfect c-Nonlinear and Pseudo-Perfect c-Nonlinear Functions
On Isotopisms of Commutative presemifields and CCZ-Equivalence of Functions
RNG Relay Subset Flooding Protocols in Mobile Ad-Hoc Networks
Hybrid Partial-Total Type Theory
State complexity and the monoid of transformations of a finite set
An Algorithm for Finding Longest Cycles in Certain Bipartite Graphs
Making Some Issues of Implicit Knowledge Explicit
Complementation of rational sets on countable scattered linear orderings
Universality of SNQ P Systems Using One Type of Spikes and Restrictive Rule Application
Some Properties of Extractable Codes and Insertable Codes
Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time Analysis
Scheduling on large scale distributed platforms: from models to implementations
Limit Law for Zagreb and Wiener Indices of Random Exponential Recursive Trees
A Note on Optimal Constant Dimension Codes
Automatic Sets of Rational Numbers
Equational Descriptions of Languages
Characterizing Regular Languages by Spiking Neural P Systems
FM Screening By The Local Exhaustive Search, With Hardware Acceleration
ACE with Compact Ciphertext Size and Decentralized Sanitizers
Languages versus ω-Languages in Regular Infinite Games
The Regularity of Two-Way Nondeterministic Tree Automata Languages
Relating tree series transducers and weighted tree automata
Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study
Routing or Triangles, Tori and Honeycombs
Forums-Oriented Research on the Spreading and Inhibition of Rumors
Embedding Torus Automata into a Ring of Automata
Infix-free Regular Expressions and Languages
Arbitrary Overlap Constraints in Graph Packing Problems
The Ranges of Accepting State Complexities of Languages Resulting from Some Operations
Membrane Algorithm with Brownian Subalgorithm and Genetic Subalgorithm
Multidimensional Digital Searching and Some New Parameters in Tries
Further results on time-free P systems
Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility
Recognizing Union-Find Trees is NP-Complete, Even Without Rank Info
Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata
A Data re-distribution Library for Multi-processor Task Programming
Optimal Range Max Datacube For Fixed Dimensions
New Constructions of Optimal Frequency-Hopping Sequence Sets with Low-Hit-Zone
Sorting Signed Permutations by Fixed-length Reversals
Anytime Algorithms for Non-Ending Computations
Forbidden Patterns for FO 2 Alternation Over Finite and Infinite Words
Trawling Traffic under Attack Overcoming DDoS Attacks by Target-Controlled Traffic Filtering
Simplifications of Uniform Expressions Specified by Systems
Systolic Tree with Base Automata
Distributed Approximation Algorithms for Steiner Tree in the CONGESTED CLIQUE
Sink Insertion for Mesh Improvement
Permutation Complexity and the Letter Doubling Map
Self-Attraction Removal from Oritatami Systems
Update-efficient Data Structures for Dynamic Ip Router Tables
The Ranges of State Complexities for Complement, Star, and Reversal of Regular Languages
Stability and Chaos in reaction Systems
Pattern Languages Versus Parallel Communicating Grammar Systems
Dynamic Reducts Generation using Cascading Hashes
Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol
Query-Optimal Partially Persistent B-Trees with Constant Worst-Case Update Time
Coding with Minimal Programs
Parallel Finite Automata Systems Communicating by States
A Formal Study Of Practical Regular Expressions
Reachability Analysis in Verification via Supercompilation
On a Fire Fighter's Problem
Modeling Diffusion in a Signal Transduction Pathway: the Use of Virtual Volumes in P Systems
Single-Pushout Transformation Of Total Algebras
Edit-Distance Of Weighted Automata: General Definitions And Algorithms
Constructions of (r, t)-LRC Based on Totally Isotropic Subspaces in Symplectic Space Over Finite Fields
The Stevens-Stirling-Algorithm for Solving Parity Games Locally Requires Exponential Time
On the Clique-Width of Graphs with Few P 4 's
In-Place Update of Suffix Array while Recoding Words
Adapting Boyer-Moore-like Algorithms for Searching Huffman Encoded Texts
Transitivity in Two-dimensional Local Languages Defined by Dot Systems
A first approach to finding common motifs with gaps
Vertex and Link Residual Closeness of Graphs of Given Fractional Matching Number
Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Systems Using (3k+1)-ary Input Relations
Efficient Algorithms for (delta, gamma, alpha) and (delta, k Delta , alpha)-Matching
Path-Equivalent Developments in Acyclic Weighted Automata
Operational Accepting State Complexity: The Unary and Finite Case
Embedded Edge-Connectivity Reliability Evaluation of Augmented Hypercube Interconnection Networks
Variants of Competence-Based Derivations in CD Grammar Systems
Characterization of Isometric Words based on Swap and Mismatch Distance
Projections of Semicomputable Relations on Abstract Data Tzpes
Connectivity Status of Intuitionistic Fuzzy Graphs and Its Applications
On the Power of One-Way Synchronized Alternating Machines with Small Space
Covering of Transient Simulation of Feedback-free Circuits by Binary Analysis
P Automata with Restricted Power
Online Predictions for Online TSP on the Line
Phase Transitions of EXPSPACE-Complete Problems
Complexity of Approximating Functions on Real-Life Computers
Approximation Schemes for Scheduling Jobs with Chain Precedence Constraints
FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings
Generative Capacity of Subregularly Tree Controlled Grammars
A Scalable Diffusion Algorithm for Dynamic Mapping and Load Balancing on Networks of Arbitrary Topology
Simple reaction Systems and their Classification
On g-Extra Conditional Diagnosability of Twisted Hypercubes under MM∗ Model
Two Realizability Interpretations of Monotone Inductive Definitions
The (E)FTSM-(edge) Connectivity of Cayley Graphs Generated by Transposition Trees
P and DP Automata: Unconventional versus Classical Automata
Parallel Communicating Pushdown Automata Systems
Spiking Neural P Systems: an Early Survey
Single-Machine Scheduling with a Deteriorating Maintenance Activity and DeJong's Learning Effect
Separating Bichromatic Point Sets by Minimal Triangles with a Fixed Angle
On Computing Longest Paths in Small Graph Classes
Self-Specifying Machines
Alternate Lucas Cubes
Tree-Based 2D Indexing
Identifying All Abelian Periods of a String in quadratic Time and Relevant Problems
Parametric Verification and Test Coverage for Hybrid Automata using the inverse Method
Continuous Routing in Packet Switches
Vertex Vulnerability Parameter of Gear Graphs
The g-Good-Neighbor Conditional Diagnosabilities of Hypermesh Optical Interconnection Networks Under the PMC and Comparison Models
Pc Grammar Systems with Clusters of Components
Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing
Computable Semantics for CTL* on Discrete-Time and Continuous-Space Dynamic Systems
On a Greedy Algorithm to Construct Universal Cycles for Permutations
Efficient Certificateless Proxy Signature Scheme
The Component Diagnosability of General Networks
Tight Bounds for the Space Complexity of Nonregular Language Recognition by Real-Time Machines
Label-Guided Graph Exploration with Adjustable Ratio of Labels
P systems with reaction maps
Non-Self-Embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata
Safe Turing Machines, Grzegorczyk Classes and Polytime
A Differentially Private Approximation Algorithm for Submodular Maximization Under a Polymatroid Constraint Over the Integer Lattice
On Equivalence Relations of State Diagram of Cascade Connection of an LFSR into an NFSR
Strongly Connected Orientation with Minimum Lexicographic Order of Indegrees
Complexity of Universal Circumscription
Analyzing Vulnerabilities Of Critical Infrastructures Using Flows And Critical Vertices In And/Or Graphs
Using Strategy Improvement to Stay Alive
Substitutions over Infinite Alphabet Generating (- β )-Integers
Diverse Palindromic Factorization is NP-Complete
Derandomized Learning of Boolean Functions over Finite Abelian Groups
Parent Queries over Dynamic Balanced Parenthesis Strings
Rigidity and Substitutive Dendric Words
Reachability Problems for One-Dimensional Piecewise Affine Maps
Constant-Memory Iterative Generation of Special Strings Representing Binary Trees
Encryption Of Quantum Information
Gate Resizing to Reduce Power Consumption
Residual Closeness of wheels and Related Networks
Constructing Language Instances Based on Partial Information
Nondeterministic Descriptional Complexity Of Regular Languages
Crochemore's Repetitions Algorithm Revisited: Computing Runs
Algorithms for Steiner Connected Dominating Set Problem Based on Learning Automata Theory
Languages with a Finite antidictionary: some growth Questions
Dynamic Scheduling of Manufacturing Systems with Machine Learning
Abelian Complexity and Frequencies of Letters in Infinite Words
Deadlock Prediction in the Case of Dynamic Routing
On Guess and Determine Analysis of Rabbit
A Zonal Algorithm for Clustering An Hoc Networks
Completeness and realizability: conditions for automatic generation of workflows
Sufficient Conditions for Maximally k-Isoperimetric Edge Connectivity of Graphs
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata
The Critical Exponent is Computable for Automatic Sequences
Unpaired Many-to-Many Disjoint Path Covers on Bipartite k-Ary n-Cube Networks with Faulty Elements
State Complexity of the Subword Closure Operation with Applications to DNA Coding
Subtree Transfer Distance For Degree-D Phylogenies
Applications of Lyndon Homomorphism Theorems to the Theory of Minimal Models
Sentiment Analysis of Chinese Reviews Based on BiTCN-Attention Model
On the Star Operation in Free Partially Commutative Monoids
On the Shared Transportation Problem: Computational Hardness and Exact Approach
A Simple Array Version of M-Heap
Identifying Generalized Reed-Muller Codewords by Quantum Queries
Collapsing Words: a Progress Report
An Exchanged 3-Ary n-Cube Interconnection Network for Parallel Computation
Some Complexity Results for Rings of Petri Nets
Partition Refinement Techniques: An Interesting Algorithmic Tool Kit
On Competence in CD Grammar Systems with Parallel Rewriting
Finding finite automata that certify termination of string rewriting systems
Sat-based Model Checking for Region Automata
#P-Completeness via Many-One Reductions
A Novel Numerical Approach of Computing American Option
A Note On Rebound Turing Machines
On the existence of Minimal β-powers
The Diameter and Hamiltonian Cycle of the Generalized De Bruijn Graphs UG B (n, n(n+1))
Discounting and Averaging in Games across Time scales
Decidability of the Shape Preserving Property of Bottom-up Tree Transducers
Fault-Tolerant Strong Menger (Edge) Connectivity of DCC Linear Congruential Graphs
Parameterized Algorithms for Fixed-Order Book Drawing with Few Crossings Per Edge
Linear Conjunctive Grammars and One-turn Synchronized Alternating Pushdown Automata
Identifying Rhythms in Musical Texts
From Regular Weighted Expressions To Finite Automata
Asynchronous signal Passing for Tile Self-assembly: Fuel Efficient Computation and Efficient assembly of Shapes
Optimal Extraction of Irredundant Motif Bases
Erratum: "Parikh Matrix Mapping and Languages"
Efficient Quantum Circuits For Non-Qubit Quantum Error-Correcting Codes
Algorithms for the Join and Auto-Intersection of Multi-Tape Weighted Finite-State Machines
Single Machine Scheduling with Controllable Processing Times by submodular Optimization
Enumerating nondeterministic automata for a given language without constructing the canonical automaton
Nondeterministic Biautomata and their Descriptional Complexity
Guest editorial: nature-inspired distributed computing
The Word Problem of ACD-Ground Theories is Undecidable
Analysis of the Average Execution Time for a Self-Stabilizing Leader Election Algorithm
Applications of Algebra for Some Game Theoretic Problems
Decidability and Universality in the Axiomatic Theory of Computability and Algorithms
On Parikh Matrices, Ambiguity, and PRINTS
Fine Hierarchy of Regular Aperiodic omega-Languages
The Local Metric Dimension and Distance-Edge-Monitoring Number of Graph
On the Computational Complexity of Finite Operations
The Soundness of Explicit Substitution with Nameless Variables
On the Interplay of Direct Topological Factorizations and Cellular Automata Dynamics on Beta-Shifts
Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions
Quantum Software Reusability
Tree-Based Generation of Restricted Graph Languages
Pattern Matching with Swaps in Practice
Approximation Algorithms for Barrier Sweep Coverage
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints
Transportation Problem Allowing Sending and Bringing Back
Gem- And Co-Gem-Free Graphs Have Bounded Clique-Width
Strong Separations for the Boolean Hierarchy over RP
Subtree Isomorphism is in DLOG for Nested Trees
Classes of Tree Languages Determined by Classes of Monoids
Quantum Counter Automata
Labelling Multi-Tape Automata with Constrained Symbol Classes
Network decontamination in Presence of Local Immunity
k-Planar Placement and Packing of Δ-Regular Caterpillars
Edge-Deletion Graph Problems with First-Order Expressible Subgraph Properties
An Intelligent Agent for Web Advertisements
Unsolvability levels of operation problems for subclasses of context-free languages
Remarks Concerning the D0L w-Equivalence Problem
Some Enumeration Results on Binary 2 n -Periodic Sequences
Deterministic Construction of Compressed Sensing Matrices from Codes
Parikh Matrices and Strong M -Equivalence
On the Construction of Public Key Encryption with Sender Recovery
Shuffle Decompositions of Regular Languages
Forward Analysis of Dynamic Network of Pushdown Systems is Easier without Order
A New Approach to Efficient Channel Assignment for Hexagonal Cellular Networks
A Framework for Solving Sequence Problem of Multiple Input Streams
A New Weight Balanced Binary Search Tree
Using Stochastic Information to Predict Application Behavior on Contended Resources
On the Complexity of Computing Values of Restricted Games
Two CoNP-Complete Schedule Analysis Problems
Finite Approximations and Similarity of Languages
Spike Trains in Spiking Neural P Systems
Laplacian Energy of Digraphs and a Minimum Laplacian Energy Algorithm
State Complexity of Insertion
Regular Expressions for Querying Data graphs
Pure and O-Substitution
Scheduling File Transfers Under Port and Channe; Constraints
Weighted Automata for Full-Text Indexing
Dynamic Optimal Binary Search Tree
Multiprocessor Interconnection Networks with Small tightness
Tree Compression and Optimization with Applications
The Power of Machines That Control Experiments
Modeling and Analysis of Real-Time Systems with Mutex Components
Efficient Quantum Algorithms For Some Instances Of The Non-Abelian Hidden Subgroup Problem
P Systems with proteins on Membranes: a Survey
Compositions of Functions and Permutations Specified by Minimal Reaction Systems
Algebraic Linear Orderings
Decontaminating Chordal Rings and Tori Using Mobile Agents
Optimal Frequency-Hopping Sequence Sets Based on Cyclotomy
A Concurrent Specification of Brzozowski's DFA Construction Algorithm
Some Equational Laws of Initiality in 2CCC's
On Determinism and Unambiguity of Weighted Two-Way Automata
Yao's Millionaires' Problem and Public-Key Encryption Without Computational Assumptions
An asymptotic Lower Bound for the Maximal Number of Runs in a String
Metric Properties of Non-Commuting Graph Associated to Two Groups
C 1 Modeling with Hybrid Multiple-Sided A-Patches
(1, 2)-Hamiltonian Completion on a Matching
Semantics of a Metalogic Programming Language
The Complexity of Satisfiability for Fragments of CTL and CTL*
Component Connectivity of Alternating Group Networks and Godan Graphs
Simulation Of Feedback-Free Circuits In The Algebra Of Transients
Regularity of Iterative Hairpin Completions of Crossing (2, 2)-Words
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
Resource Estimation Algorithm Under Impreciseness Using Inclusion Scheduling
Using Scattered Mobile Agents to Locate a Black Hole in an un-Oriented Ring with Tokens
P(L)Aying for Synchronization
Dynamically formed Clusters of Agents in Eco-Grammar Systems
Research Frontiers of membrane Computing: Open Problems and Research Topics
Permutation Routing and Sorting on the Reconfigurable Mesh
Class Counting Automata on Datawords
Vertex-Bipartition: A Unified Approach for Kernelization of Graph Linear Layout Problems Parameterized by Vertex Cover
Two Effective Properties of ω-Rational Functions
The Geometry of Speed Limiting Resources in Physical Models of Computation
On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections
The Effect of Asymmetry on the On-Line Multicast Routing Problem
Automatic Service Composition via Simulation
On Begins, Meets and before
Grammars and Automata to Optimize Chain Logic Queries
Efficient Algorithm for Computing the Triangle Maximizing the Length of Its Smallest Side Inside a Convex Polygon
Cascading random walks
In Memoriam Chandra Kintala
The Complexity of Deciding Strictly Non-Blocking Concentration and Generalized-Concentration Properties
Double Circulant Self-Dual and LCD Codes Over ℤp2
A Simple Heuristic for Minimum Connected Dominating Set in Graphs
Smooth Subsum Search A Heuristic for Practical Integer Factorization
An Adaptive Random Walk Based Distributed Clustering Algorithm
Brute force determinization of nfas by means of state covers
Simplification Problems for Deterministic Pushdown Automata on Infinite Words
Fast Pursuit Of Mobile Nodes Using TPR Trees
An Efficient and Information Theoretically Secure Rational Secret Sharing Scheme Based on Symmetric bivariate polynomials
Vectorial Boolean Functions with Good Cryptographic Properties
Efficient ID-Based Multi-Receiver Threshold Decryption
An Efficient Distributed Algorithm for 3-edge-connectivity
Word Complexity And Repetitions In Words
Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers
An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems
Bit-parallel Computation of Local Similarity Score Matrices with Unitary Weights
The Complexity of Regular(-like) Expressions
New Efficient Bit-Parallel Algorithms for the (delta, alpha)-Matching Problem with Applications in Music Information Retrieval
Improved Approximation Algorithms for Bin Packing with Conflicts
Counting, Generating, Analyzing and Sampling Tree Alignments
The Longest Wave Subsequence Problem: Generalizations of the Longest Increasing Subsequence Problem
Semi-lossless text compression
Bipartitioning into Overlapping Sets
The Permutational Graph: A New Network Topology
Linear Complexity of Binary Threshold Sequences Derived from Generalized Polynomial Quotient with Prime-Power Modulus
Paired 3-Disjoint Path Covers in Bipartite Torus-Like Graphs with Edge Faults
Approximating the Maximum Isomorphic Agreement Subtree is Hard
Tenacity of total graphs
Management and Monitoring of Multi-Behavior Recommendation Systems Using Graph Convolutional Neural Networks
Explicit Communication Among Stigmergic Robots
P Systems and Topology: Some Suggestions for Research
Self-Stabilizing Computation of 3-Edge-Connected Components
Graph Orientation to Maximize the Minimum Weighted Outdegree
Security of Auditing Protocols Against Subversion Attacks
Fast Average-Case Pattern Matching on Weighted Sequences
On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis
Efficient Self-Stabilizing Algorithm for Independent Strong Dominating Sets in Arbitrary Graphs
On the Average Size of Glushkov and Partial derivative Automata
Unary Language Operations, State Complexity and Jacobsthal's Function
Efficient Automata Constructions and Approximate Automata
An Efficient Algorithm for the Construction of the Equation Tree Automaton
Hypergraph Automata: a Theoretical Model for patterned Self-assembly
Syntactic Complexity of ℛ- and 풥-Trivial Regular Languages
Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete
Formal modelling of viral gene compression
Cost-Effective and Scalable Data Sharing in Cloud Storage Using Hierarchical Attribute-Based Encryption with Forward Security
The Overlap Gap Between Left-Infinite and Right-Infinite Words
Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses
Cryptanalysis of Cramer-Shoup Like Cryptosystems Based on Index Exchangeable Family