yusuke1997/dblp-id-title huggingface dataset:
Symmetry and partial order reduction techniques in model checking Rebeca
Concurrency of Operations on B-Trees
On the Expected Height of Fringe-Balanced Trees
Looking at mean payoff through foggy windows
Total Correctness of CSP Programs
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction
Methods for the Automatic Construction of Error Correcting Parsers
Reasoning with Examples: Propositional Formulae and Database Dependencies
Alias Analysis of Pointers in Pascal and Fortran 90: Dependence Analysis Between Pointer References
Final and sequential behaviours of M-automata
Representing CCS Programs by Finite Predicate/Transition Nets
Non uniform random generation of generalized Motzkin paths
On the Self Contained Modelling of DB/DC Systems
Prefix-primitive annihilators of languages under some operations
The Semigroups of Linearly Realizable Finite Automata I
Regenerative Simulation of Response Times in Networks of Queues: Statistical Efficiency
Parallel PROFIT/COST Algorithms Through Fast Derandomization
A typed encoding of boxed into safe ambients
The LBA-Problem and the Deterministic Tape Complexity of Two-Way One-Counter Languages over a One-Letter Alphabet
Corrigenda: Transformational Methods and Their Application to Complexity Problems
The Method of Forced Enumeration for Nondeterministic Automata
On two Families of Forests
A Fast Algorithm for Steiner Trees
Families of automata characterizing context-sensitive languages
First-order logics: some characterizations and closure properties
Motion Planning Among Time Dependent Obstacles
Monoïdes syntactiques des langages algébriques
Inductive Attribute Grammars: A Basis for Incremental Program Execution
On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors
One-write algorithms for multivalued regular and atomic registers
A Proof Technique for Communicating Sequential Processes
Partial Parametrization Eliminates Multiple Traversals of Data Structures
Availability of a Distributed Computer System with Failures
Size-Depth Tradeoff in Monotone Boolean Formulae
A polynomial time computable metric between point sets
Strong bisimilarity of simple process algebras: complexity lower bounds
An assertional criterion for atomicity
Structured Numbers: Properties of a Hierarchy of Operations on Binary Trees
A Characterization of Context-free String Languages by Directed Node-label Controlled Graph Grammars
A complete axiomatization of weighted branching bisimulation
Goto Statements: Semantics and Deduction Systems
Polytime Model Checking for Timed Probabilistic Computation Tree Logic
State space axioms for T-systems
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction
Nonatomic dual bakery algorithm with bounded tokens
Parallel Algorithms for Adaptive Quadrature II Metalgorithm Correctness
Gray-box runtime enforcement of hyperproperties
A linear-time algorithm for the orbit problem over cyclic groups
A Decidability Criterion for van Wijngaarden Grammars
Enhanced prefetching and caching strategies for single- and multi-disk systems
Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks
Substitution of Grammar Forms
Multi-Relations in Z
Opportunistic Algorithms for Eliminating Supersets
Effects on distance energy of some special complete multipartite graphs by embedding an edge
Approximate Analysis of Exponential Queueing Systems with Blocking
Generalized Recursive Data Structures
Weakly Independent Database Schemes
Axiomatic Approach to Side Effects and General Jumps
N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets
MOMI: a calculus for mobile mixins
An Ogden-Like Iteration Lemma for Rational Power Series
ℒ-reduction computation revisited
Project scheduling with irregular costs: complexity, approximability, and algorithms
A comprehensive database schema integration method based on the theory of formal concepts
Iterative Arrays with Direct Central Control
Formal properties of XML grammars and languages
Safe projections of binary data sets
Verification of asynchronous systems with an unspecified component
Easy Sets and Hard Certificate Schemes
Regular autodense languages
Distance-edge-monitoring sets of networks
Exact and parameterized algorithms for choosability
Head and state hierarchies for unary multi-head finite automata
Ramsey Numbers and an Approximation Algorithm for the Vertex Cover Problem
The Complexity of Combinatorial Problems with Succinct Input Representation
Duality in Specification Languages: A Lattice-Theoretical Approach
A Fine-Grained Solution to the Mutual Exclusion Problem
Finite Complete Rewriting Systems and the Complexity of the Word Problem
Analytic Variations on Bucket Selection and Sorting
Reactive bisimulation semantics for a process algebra with timeouts
On Communication-Bounded Synchronized Alternating Finite Automata
Team bisimilarity, and its associated modal logic, for BPP nets
Strongly transitive automata and the Cerný conjecture
Synthesizing optimally resilient controllers
On the decidability of the existence of polyhedral invariants in transition systems
A Study of Queueing Networks with Deterministic Service and Application to Computer Networks
The thief orienteering problem on 2-terminal series-parallel graphs
Randomized and Deterministic Simulations of PRAMs by Parallel Machines with Restricted Granularity of Parallel Memories
On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism
Parity game reductions
The complexity of satisfying constraints on databases of transactions
Small universal accepting hybrid networks of evolutionary processors
An Algebra for Process Creation
An Operational Semantics for Specifications of Abstract Data Types with Error Handling
Contributions to the Semantics of Logic Perpetual Processes
Schnelle Berechnung von Kettenbruchentwicklungen
Reversible parallel communicating finite automata systems
A Sharp Proof Rule for Procedures in wp Semantics
Comparing the worst-case efficiency of asynchronous systems with PAFAS
Performance Analysis of Parallel Programs Based on Directed Acyclic Graphs
Intersections de langages algébriques bornés
On the power of enzymatic numerical P systems
Dual unbounded nondeterminacy, recursion, and fixpoints
Data Refinement and Algebraic Structure
Linear-size suffix tries and linear-size CDAWGs simplified and improved
A Robust and Efficient Spatial Data Structure
The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets
Reducing the Number of Multiplikations in Iterative Processes
An Improved Complexity Hierarchy on the Depth of Boolean Functions
Left Context Precedence Grammars
Stepwise development of fair distributed systems
n-PS-codes, 2-infix-outfix codes and some related classes of codes
Attribute Storage Optimization by Stacks
Accepting splicing systems with permitting and forbidding words
Performance Predictions for Extended Paged Memories
On the equivalence and rewriting of aggregate queries
Subrekursive Komplexität bei Gruppen: II. Der Einbettungssatz von Higman für entscheidbare Gruppen
On n -Column 0, 1-Matrices with all k -Projections Surjective
Trace- and failure-based semantics for responsiveness
Truly Prefix-Correct Chain-Free LR (1) Parsers
Organization and Maintenance of Large Ordered Indices
Finite automata with undirected state graphs
Preemptive online algorithms for scheduling with machine cost
Performance Bounds on the Splitting Algorithm for Binary Testing
Modularity and Reusability in Attribute Grammars
Black-White Pebbles and Graph Separation
Parameterized aspects of distinct Kemeny rank aggregation
Axiomatizing the Algebra of Net Computations and Processes
Spanning cactus and spanning cactus extension of outerplanar graphs
A new class of the smallest FSSP partial solutions for 1D rings of length n=2 k -1
Parallel Integer Sorting Using Small Operations
Acceptable Functional Programming Systems
Editorial 2023: changes and invariants
Bicentres de langages algébriques
An analysis of the M $$^X$$ X /M/1 queue with multiple working vacations by GI/M/1 type Markov process
Petri nets with name creation for transient secure association
A Linear Space Algorithm for the LCS Problem
Logical and Schematic Characterization of Complexity Classes
Probabilistic Models of Computer Systems
On the hierarchy of distribution-sensitive properties for data structures
Self-embedded context-free grammars with regular counterparts
Operational complexity and pumping lemmas
Probabilistic bisimulation for realistic schedulers
The syntactic monoid of hairpin-free languages
A semantic approach to optimize linear datalog programs
A Hierarchy of the Class of Apex NLC Graph Languages by Bounds on the Number of Nonterminal Nodes in Productions
Careful synchronization of partial deterministic finite automata
Concurrent Algorithms for Root Searching
Iterative Weighted Finite Transductions
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer
A jumping $5'\rightarrow 3'$ Watson-Crick finite automata model
Deep pushdown automata
Some Techniques for Geometric Searching with Implicit Set Representations
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach
On the Equivalence of Some Transductions Involving Letter to Letter Morphisms on Regular Languages
A Longest Common Subsequence Algorithm Suitable for Similar Text Strings
LR-Parsing of Extended Context Free Grammars
Polyvariant Mixed Computation for Analyzer Programs
Decentralized runtime verification of message sequences in message-based systems
Distances in random digital search trees
The class Steiner minimal tree problem: a lower bound and test problem generation
An Extension of the Theory of Learning Systems
Petri Net Algorithms in the Theory of Matrix Grammars
On partial information retrieval: the unconstrained 100 prisoner problem
Dynamic controllability via Timed Game Automata
Using Circular Programs to Eliminate Multiple Traversals of Data
The Method of Attributes for Data Flow Analysis: Part I. Exhaustive Analysis
A Result on k -Valent Graphs and Its Application to a Graph Embedding Problem
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
A note on pure codes
Formal communication elimination and sequentialization equivalence proofs for distributed system models
Improved complement for two-way alternating automata
Eliminating Unit Reductions from LR(k) Parsers Using Minimum Contexts
Sparsification and subexponential approximation
The 'Hoare Logic' of Concurrent Programs
Optimum Reorganization Points for Arbitrary Database Costs
The Path Length of Random Skip Lists
Optimum Decision Trees - An Optimal Variable Theorem and its Related Applications
Timed automata with urgent transitions
Storage Schemes for Boundedly Extendible Arrays
A complexity tradeoff in ranking-function termination proofs
Querying Fragmented Relations in a Distributed Database
Axiomatising Finite Delay Operators
The Axiomatic Semantics of Programs Based on Hoare's Logic
Optimum Checkpoints with Age Dependent Failures
The Formal Development of a Parallel Program Performing LU-Decomposition
Advances in high throughput DNA sequence data compression
The New Classification Scheme of the Genetic Code, its Early Evolution, and Trna Usage
Identification of cancer-related module in protein-protein interaction network based on gene prioritization
Modeling the probability distribution of the bacterial burst size via a game-theoretic approach
Deconvoluting BAC-Gene Relationships Using a Physical Map
Bioinformatic Approaches for Predicting substrates of Proteases
Protein function prediction from protein-protein interaction network using gene ontology based neighborhood analysis and physico-chemical features
Analysis of Nonlinear Relations between Expression Profiles by the Principal Curves of Oriented-Points Approach
CROMqs: An infinitesimal successive refinement lossy compressor for the quality scores
A new Bayesian approach for QTL mapping of family data
Cascading classifier application for topology prediction of transmembrane beta-barrel proteins
Introductory Note for Bgrs-2012 Special Issue
A new LSTM-based gene expression prediction model: L-GEPM
Analyzing Modular RNA Structure reveals Low Global Structural Entropy in microRNA Sequence
Phd7faster: Predicting Clones Propagating Faster from the pH.D.-7 phage Display peptide Library
NanoporeInspect: An interactive tool for evaluating nanopore sequencing quality and ligation efficiency
Multiple seeds sensitivity using a single seed with threshold
Protein function prediction from dynamic protein interaction network using gene expression data
Detecting shifts in gene regulatory networks during time-course experiments at single-time-point temporal resolution
A two-step integrated approach to detect differentially expressed genes in RNA-Seq data
Role of arginine 209 in the conformational transition of the protein kinase A regulatory subunit RIα A-domain
Similarities of Ordered Gene Lists
Kinetic Modeling of ACE operon Genetic Regulation in Escherichia coli
Seam: a Stochastic EM-Type Algorithm for Motif-Finding in Biopolymer Sequences
Coexpressionfinder: a New Algorithm for Finding Groups of Coexpressed Genes
Ranking Valid Topologies of the Secondary Structure Elements Using a Constraint Graph
Hybrid Modeling in Biochemical Systems Theory by Means of Functional Petri Nets
Assessing the Quality of the Homology-Modeled 3D Structures from electrostatic Standpoint: Test on bacterial nucleoside monophosphate kinase Families
Determining Relevant Features to Recognize Electron Density Patterns in X-ray Protein Crystallography
Identifying Co-Regulating microRNA Groups
COYOTE: Sequence-derived structural descriptors-based computational identification of glycoproteins
SAMSVM: A tool for misalignment filtration of SAM-format sequences with support vector machine
Calbc Silver Standard Corpus
DNA sequences alignment method using sparse index on pan-genome graph
A novel pattern matching algorithm for genomic patterns related to protein motifs
Recognising Discourse Causality Triggers in the Biomedical Domain
Malakite: an Automatic Tool for Characterisation of Structure of Reliable Blocks in Multiple alignments of protein Sequences
HPMV: Human protein mutation viewer - relating sequence mutations to protein sequence architecture and function changes
Prediction and annotation of alternative transcription starts and promoter shift in the chicken genome
A novel Multi-Agent Ada-Boost algorithm for predicting protein structural class with the information of protein secondary structure
Active Site Prediction for Comparative Model Structures with Thematics
Two-Pass Imputation Algorithm for Missing Value Estimation in gene Expression Time Series
Prediction of protein secondary Structure using Probability Based Features and a Hybrid System
Interaction sorting method for molecular dynamics on multi-core SIMD CPU architecture
Issues in performance evaluation for host-pathogen protein interaction prediction
Objective Evaluation Measures of Genetic Marker Selection in Large-Scale SNP genotyping
Protein Side-chain Packing Problem: a Maximum Edge-weight Clique Algorithmic Approach
Indexing k-mers in linear space for quality value compression
Temporal Graphical Models for Cross-Species Gene Regulatory Network Discovery
Inferring Phylogenetic Relationships Avoiding Forbidden Rooted Triplets
Classification of Large microarray Datasets Using Fast Random Forest Construction
Winbest-kit: Windows-based Biochemical Reaction Simulator for Metabolic Pathways
Utilizing Evolutionary Information and Gene Expression Data for Estimating Gene Networks with Bayesian Network Models
DBP-GAPred: An intelligent method for prediction of DNA-binding proteins types by enhanced evolutionary profile features with ensemble learning
Iterated Local Least Squares Microarray Missing Value Imputation
Constructing gene regulatory networks from microarray data using non-Gaussian pair-copula Bayesian networks
Mining Overrepresented 3D Patterns of Secondary Structures in proteins
Utilization of systematic error-assessment software to improve phylogenetic accuracy
Evaluating predictive performance of network biomarkers with network structures
Analysis of Snp-expression Association Matrices
Generation of Synthetic Data and Experimental Designs in Evaluating Interactions for Association Studies
Adepts: Advanced peptide de novo Sequencing with a Pair of Tandem Mass Spectra
Structure fluctuations and conformational Changes in protein binding
Regression based fast multi-trait genome-wide QTL analysis
A Comparative Analysis of Folding Pathways of Thermophilic and Mesophilic proteins by Monte Carlo Simulations
Computing the Reversal Distance between genomes in the Presence of Multi-gene Families via Binary Integer Programming
Can Complex Cellular Processes be Governed by Simple Linear Rules?
Obstacles to effective model deployment in healthcare
Rank-Based Clustering Analysis for the Time-Course microarray Data
Analysis of Mesenchymal Stem Cell Differentiation in vitro Using Classification Association Rule Mining
In silico de novo drug design of a therapeutic peptide inhibitor against UBE2C in breast cancer
iRNA5hmC-HOC: High-order correlation information for identifying RNA 5-hydroxymethylcytosine modification
A Parallel Scheme for Comparing transcription Factor Binding Sites Matrices
A Decade after the First Full Human genome sequencing: when will We Understand our Own genome?
Understanding Distal transcriptional Regulation from Sequence, Expression and interactome Perspectives
Comments on Probabilistic Models Behind the Concept of False Discovery Rate
Flux balance network expansion predicts stage-specific human peri_implantation embryo metabolism
Foreword to the Special Issue on Selected Papers from the 5th International Conference on Bioinformatics and Computational Biology (Bicob 2013)
Kinetic Model of phosphofructokinase-1 from Escherichia coli
A Fast Method for Large-Scale Multichromosomal Breakpoint Median Problems
Visual-SELEX: A technology ensemble for evaluating aptamer structural similarity via 3D visual spatial conformational analysis
Reanalysis of Alzheimer's brain sequencing data reveals absence of purported HHV6A and HHV7
Adaptive Control of Hybridization Noise in Dna Sequencing-by-hybridization
Identification of deregulation mechanisms specific to cancer subtypes
GI-SVM: A sensitive method for predicting genomic islands based on unannotated sequence of a single genome
Introduction to Selected Papers from GIW2018
PVsiRNAPred: Prediction of plant exclusive virus-derived small interfering RNAs by deep convolutional neural network
BOPAL 2.0 and a study of tRNA and rRNA gene evolution in Clostridium
Comparison of Two Academic Software packages for Analyzing Two-Dimensional gel Images
A Two-Stage Evolutionary Approach for Effective Classification of hypersensitive DNA Sequences
Quantitative Modeling of the Saccharomyces cerevisiae Flr1 regulatory Network Using an S-System Formalism
New Method for yeast Identification Using Burrows-wheeler Transform
Influence of mRNA Features on siRNA Interference Efficacy
Incorporating homologues into Sequence Embeddings for protein Analysis
Response of gene regulatory networks after infection of H3N2 virus
Effective Algorithms for Tag Snp Selection
Logos: a Modular Bayesian Model for de Novo Motif Detection
A study of structural properties of gene network graphs for mathematical modeling of integrated mosaic gene networks
Inferring Haplotypes from genotypes on a Pedigree with mutations, genotyping Errors and Missing Alleles
Cloud-BS: A MapReduce-based bisulfite sequencing aligner on cloud
Inference of Scale-free Networks from Gene Expression Time Series
Construction of transcript regulation mechanism prediction models based on binding motif environment of transcription factor AoXlnR in Aspergillus oryzae
Amino acid environment affinity model based on graph attention network
Efficient Simulation of ligand-receptor Binding Processes Using the Conformation Dynamics Approach
Computer Simulations of Membrane-Lytic peptides: Perspectives in Drug Design
Asymmetric latent semantic indexing for gene expression experiments visualization
Population clustering based on copy number variations detected from next generation sequencing data
DeepBtoD: Improved RNA-binding proteins prediction via integrated deep learning
Efficient Inference of Haplotypes from Genotypes on a Pedigree
Utilizing networks for differential analysis of chromatin interactions
The use of 4D data-independent acquisition-based proteomic analysis and machine learning to reveal potential biomarkers for stress levels
Classification and Identification of fungal Sequences Using Characteristic restriction endonuclease Cut Order
Gasa: a Graph-Based Automated NMR Backbone Resonance Sequential Assignment Program
Enhancing genomics Information Retrieval through Dimensional Analysis
Gene representation bias in spatial transcriptomics
Clustering of Gene Expression Data and End-Point Measurements by Simulated Annealing
Analysis of Context-Dependent Errors for Illumina sequencing
Beyond Comparing Means: the Usefulness of Analyzing Interindividual Variation in gene Expression for Identifying genes associated with Cancer Development
Valid: Validation of Protein Sequence Quality Based on Multiple Alignment Data
Clustering and re-clustering for Pattern Discovery in Gene Expression Data
The Net-HMM Approach: Phylogenetic Network Inference by Combining Maximum Likelihood and Hidden Markov Models
CoNCoS: Copy number estimation in cancer with controlled support
The search of CAR, AhR, ESRs binding sites in promoters of intronic and intergenic microRNAs
Automated Validation of Polymerase Chain Reaction Amplicon Melting Curves
Basis set dependence using DFT/B3LYP calculations to model the Raman spectrum of thymine
Using data fusion for scoring reliability of protein-protein interactions
WinBEST-KIT: Biochemical reaction simulator that can define and customize algebraic equations and events as GUI components
Impact of low-confidence interactions on computational identification of protein complexes
Ab initio Human miRNA and Pre-miRNA Prediction
Bayesian Network Learning with Feature Abstraction for Gene-drug Dependency Analysis
Gene-set activity toolbox (GAT): A platform for microarray-based cancer diagnosis using an integrative gene-set analysis approach
On the Chaos in gene Networks
The Use of Functional Domains to Improve Transmembrane Protein Topology Prediction
Modeling Nonlinear Gene Regulatory Networks from Time Series Gene Expression Data
Distance-Wise pathway Discovery from protein-protein Interaction Networks Weighted by Semantic Similarity
Sequential Linear Neighborhood Propagation for Semi-Supervised protein Function Prediction
Multi-Resolution-Test for Consistent phenotype Discrimination and biomarker Discovery in Translational Bioinformatics
Brief Introduction to Some New Papers on Lateral Transfer Reconstruction, Drug Candidate Screening, Disease Gene Identification, and Other Results
An efficient method for significant motifs discovery from multiple DNA sequences
A quantum leap in the reproducibility, precision, and sensitivity of gene expression profile analysis even when sample size is extremely small
Identifying Patterns of Dna for Tumor Diagnosis Using Capillary Electrophoresis-amplified Fragment Length Polymorphism (ce-aflp) Screening
Transient Response Analysis of the eukaryotic Chemosensory System to Intra-Cellular Fluctuations
Kernel differential subgraph reveals dynamic changes in biomolecular networks
Reconstructing Genetic Networks from Time Ordered Gene Expression Data Using Bayesian Method with Global Search Algorithm
Improved Parameter Estimation for Variance-stabilizing Transformation of Gene-expression Microarray Data
Automated analysis of routinely generated preclinical pharmacokinetic and pharmacodynamic data
Actin-Binding proteins: How to Reveal the conformational Changes
Sparse robust graph-regularized non-negative matrix factorization based on correntropy
PANDA: Predicting the change in proteins binding affinity upon mutations by finding a signal in primary structures
Assessing the Impact of Predictive Biosimulation on Drug Discovery and Development