yusuke1997/dblp-id-title huggingface dataset:
Dynamic, Multi-Level Network Models of Clinical Trials
GOTrees: Predicting GO Associations from Protein Domain Composition Using Decision Trees
Identifying Parent-Daughter Relationships Among Duplicated Genes
Finding Optimal Models for Small Gene Networks
A Mixed Integer Linear Programming (MILP) Framework for Inferring Time Delay in Gene Regulatory Networks
Genome-wide Analysis and Comparative Genomics - Session Introduction
PEAX: Interactive Visual Analysis and Exploration of Complex Clinical Phenotype and Gene Expression Association
Subclassifying Disordered Proteins by the CH-CDF Plot Method
Computational Challenges and Artificial Intelligence in Precision Medicine
Matching Cancer Genomes to Established Cell Lines for Personalized Oncology
Exploring the Reproducibility of Probabilistic Causal Molecular Network Models>
Expanding Proteomics to Glycobiology - Session Introduction
A Markov Chain Approach to Reconstruction of Long Haplotypes
ParKCa: Causal Inference with Partially Known Causes
Challenges in Secondary Analysis of High Throughput Screening Data
Visual Integration of Results from a Large Dna Biobank (Biovu) Using Synthesis-View
Identifying Interaction Sites in "Recalcitrant" Proteins: Predicted Protein and RNA Binding Sites in Rev Proteins of HIV-1 and EIAV Agree with Experimental Data
Joint Association Discovery and Diagnosis of Alzheimer's Disease by Supervised Heterogeneous Multiview Learning
Identifying Structural Motifs in Proteins
High Speed Homology Search with FPGAs
Comparative Pathway Annotation with Protein-DNA Interaction and Operon Information via Graph Tree Decomposition
Gathering the Gold Dust: Methods for Assessing the Aggregate Impact of Small Effect Genes in Genomic Scans
Sparse Factorizations of Gene Expression Guided by Binding Data
Sensitivity of Biological Models to Errors in Parameter Estimates
Sequence Feature Variant Type (SFVT) Analysis of the HLA Genetic Association in Juvenile Idiopathic Arthritis
A Spatiotemporal Model to Simulate Chemotherapy Regimens for Heterogeneous Bladder Cancer Metastases to the Lung
A Cellular Automata Approach to Detecting Interactions Among Single-nucleotide Polymorphisms in Complex Multifactorial Diseases
Finding Weak Motifs in DNA Sequences
Robust Reverse Engineering of Dynamic Gene Networks Under Sample Size Heterogeneity
An MDL Method for Finding Haplotype Blocks and for Estimating the Strength of Haplotype Block Boundaries
Accounting for Structural Properties and Nucleotide Co-variations in the Quantitative Prediction of Binding Affinities of Protein-DNA Interactions
Improving Sequence Alignments For Intrinsically Disordered Proteins
Phenome-Wide Interaction Study (PheWIS) in Aids Clinical Trials Group Data (ACTG)
Kidney Disease Genetics and the Importance of Diversity in Precision Medicine
Haplotype Inference from Single Short Sequence Reads Using a Population Genealogical History Model
Accurate Taxonomic Assignment of Short Pyrosequencing Reads
Text Classification for Automatic Detection of E-Cigarette Use and Use for Smoking Cessation from Twitter: A Feasibility Pilot
Multilevel Self-Attention Model and Its Use on Medical Risk Prediction
Clustering Protein Sequence and Structure Space with Infinite Gaussian Mixture Models
An Efficient Algorithm to Integrate Network and Attribute Data for Gene Function Prediction
A Structure-Based Approach for Prediction of Protein Binding Sites in Gene-Upstream Regions
Identification of Genomic Signatures for the Design of Assays for the Detection and Monitoring of Anthrax Threats
Comparing Usability of Matching Techniques for Normalising Biomedical Named Entities
Phylogenetic Genomics and Genomic Phylogenetics - Session Introduction
Meta-Analysis of Continuous Phenotypes Identifies a Gene Signature that Correlates with COPD Disease Status
An Analytical Comparison of Multilocus Methods Under the Multispecies Coalescent: The Three-Taxon Case
A Bivariate Functional Mapping Model for Identifying Haplotypes that Control Drug Response for Systolic and Diastolic Blood Pressures
De Novo Mutations in Autism Implicate the Synaptic Elimination Network
Evaluating the Automatic Mapping of Human Gene and Protein Mentions to Unique Identifiers
PyPop: A Software Framework for Population Genomics: Analyzing Large-Scale Multi-Locus Genotype Data
Using Metacomputing Tools to Facilitate Large Scale Analyses of Biological Databases
Pathway and Network Embedding Methods for Prioritizing Psychiatric Drugs
Opening the Door to the Large Scale Use of Clinical Lab Measures for Association Testing: Exploring Different Methods for Defining Phenotypes
Data-driven advice for applying machine learning to bioinformatics problems
Development Under Extreme Conditions: Forensic Bioinformatics in the Wake of the World Trade Center Disaster
Extraction of Gene-Disease Relations from Medline Using Domain Dictionaries and Machine Learning
Computing Therapy for Precision Medicine: Collaborative Filtering Integrates and Predicts Multi-entity Interactions
TRELLIS+: An Effective Approach for Indexing Genome-Scale Sequences Using Suffix Trees
SARS-CoV-2 Drug Discovery based on Intrinsically Disordered Regions
Sparse Generalized Functional Linear Model for Predicting Remission Status of Depression Patients
Insights into the Intra-Ring Subunit Order of TriC/CCT: Structural and Evolutionary Analysis
Large-scale analysis of disease pathways in the human interactome
Trajectory Clustering: A Non-Parametric Method for Grouping Gene Expression Time Courses with Applications to Mammary Development
Insights into Diseases of Human Telomerase from Dynamical Modeling
Protein Structure Prediction - Session Introduction
Genotype Phenotype Mapping in Rna Viruses - Disjunctive Normal Form Learning
Convergent downstream candidate mechanisms of independent intergenic polymorphisms between co-classified diseases implicate epistasis among noncoding elements
The Use of Common Ontologies and Controlled Vocabularies to Enable Data Exchange and Deposition for Complex Proteomic Experiments
A SOFM Approach to Predicting HIV Drug Resistance
A Computational Model of Gene Expression in an Inducible Synthetic Circuit
Use of Genome Data in Newborns as a Starting Point for Life-Long Precision Medicine
PRISM: A Data-Driven Platform for Monitoring Mental Health
Decomposing Gene Expression into Cellular Processes
The Clinical Bioinformatics Ontology: A Curated Semantic Network Utilizing RefSeq Information
Do Cancer Clinical Trial Populations Truly Represent Cancer Patients? A Comparison of Open Clinical Trials to the Cancer Genome Atlas
The Future of Genome-Based Medicine
Estimating classification accuracy in positive-unlabeled learning: characterization and correction strategies
Data Standardisation in GlycoSuiteDB
Biocomputing 2012: Proceedings of the Pacific Symposium, Kohala Coast, Hawaii, USA, January 3-7, 2012
Structural Prediction of Protein-RNA Interaction by Computational Docking with Propensity-Based Statistical Potentials
Characterization of Unknown Adult Stem Cell Samples by Large Scale Data Integration and Artificial Neural Networks
Multiclass Disease Classification from Microbial Whole-Community Metagenomes
Computational KIR copy number discovery reveals interaction between inhibitory receptor burden and survival
Setup X - A Public Study Design Database for Metabolomic Projects
Assessment and Management of Single Nucleotide Polymorphism Genotype Errors in Genetic Association
Integration of Angiogenesis Modules at Multiple Scales: From Molecular to Tissue
Profile-Profile Alignment: A Powerful Tool for Protein Structure Prediction
Testing Population-Specific Quantitative Trait Associations for Clinical Outcome Relevance in a Biorepository Linked to Electronic Health Records: LPA and Myocardial Infarction in African Americans
SGDI: System for Genomic Data Integration
Law, Bioethics and the Current Status of Ownership, Privacy, Informed Consent in the Genomic Age
Dense Graphlet Statistics of Protein Interaction and Random Networks
PhenoGO: Assigning Phenotypic Context to Gene Ontology Annotations with Natural Language Processing
Prediction of protein-ligand interactions from paired protein sequence motifs and ligand substructures
Phylogenetic Motif Detection by Expectation-Maximization on Evolutionary Mixtures
The Effect of the Guide Tree on Multiple Sequence Alignments and Subsequent Phylogenetic Analysis
Multiclass Cancer Classification Using Gene Expression Profiling and Probabilistic Neural Networks
COKGEN: A Software for the Identification of Rare Copy Number Variation from SNP Microarrays
Accurate Classification of Protein Structural Families Using Coherent Subgraph Analysis
Developing Protein Documentaries and Other Multimedia Presentations for Molecular Biology
Finding GeneRIFs via Gene Ontology Annotations
From Uncertain Protein Interaction Networks to Signaling Pathways Through Intensive Color Coding
PROMUSE: A System for Multi-Media Data Presentation of Protein Structural Alignments
A Game-Theoretic Modeling of Concurrency
On strong determinacy of countable stochastic games
Model-Checking of Correctness Conditions for Concurrent Objects
Characterizing Complexity Classes By Higher Type Primitive Recursive Definitions
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata
Type-Based Complexity Analysis of Probabilistic Functional Programs
Two-Variable Descriptions of Regularity
Complexity of controlled bad sequences over finite sets of Nd
Relating Semantic and Proof-Theoretic Concepts for Polynominal Time Decidability of Uniform Word Problems
Semi-Simplicial Set Models for Distributed Knowledge
Model Checking Guarded Protocols
The order types of termination orderings on monadic terms, strings and multisets
Strong Normalisation in the pi-Calculus
Stochastic Games with Synchronizing Objectives
Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995
Concurrent Games and Full Completeness
Equality Is Typable in Semi-full Pure Type Systems
A Categorical Semantics of Constructions
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time
Global Optimisation with Constructive Reals
Games with costs and delays
On Automatic Partial Orders
Concurrency and Probability: Removing Confusion, Compositionally
Separability by piecewise testable languages and downward closures beyond subwords
Satisfiability Testing: Recent Developments and Challenge Problems
Complexity Analysis Based on Ordered Resolution
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom
Towards a Semantics for the QUEST Language
Delooping cyclic groups with lens spaces in homotopy type theory
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name
A Theory of Nonmonotonic Rule Systems
Parameterized Complexity of Elimination Distance to First-Order Logic Properties
Tractable conservative Constraint Satisfaction Problems
A Generalization of Fagin's Theorem
A crevice on the Crane Beach: Finite-degree predicates
Domain Theory and Integration
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions
First-Order and Monadic Second-Order Model-Checking on Ordered Structures
On the Expressive Power of Variable-Confined Logics
A categorical semantics for causal structure
Intersection Type Distributors
The Hierarchy of Finitely Typed Functional Programs (Short Version)
Negative Set Constraints with Equality
Classical Simulation of Quantum CSP Strategies
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
Mixing List Recursion and Arithmetic
Correctness of Multiplicative Proof Nets Is Linear
A type theory for cartesian closed bicategories (Extended Abstract)
A Fully Abstract Domain Model for the pi-Calculus
Bounded time computation on metric spaces and Banach spaces
Programming in Equational Logic: Beyond Strong Sequentiality
Computing quantiles in Markov chains with multi-dimensional costs
19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings
Bisimulations and Divergence
Winning Regions of Higher-Order Pushdown Games
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
Are Targeted Messages More Effective?
Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata
A Logic for Algebraic Effects
The Finite Satisfiability Problem for PCTL is Undecidable
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Weak Bounded Arithmetic, the Diffie-Hellman Problem and Constable's Class K
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus
Point-width and Max-CSPs
Ability to Count Messages Is Worth Θ(Δ) Rounds in Distributed Computing
Definability of summation problems for Abelian groups and semigroups
Linear Higher-Order Pre-Unification
The primitivity of operators in the algebra of binary relations under conjunctions of containments
Proof Transformations for Equational Theories
A Typed Calculus of Synchronous Processes
Soundness of reset workflow nets
Varieties of Languages in a Category
An Abstraction-Refinement Framework for Multi-Agent Systems
Domain Theory in Logical Form
Paramodulation with Built-in Abelian Groups
Light Types for Polynomial Time Computation in Lambda-Calculus
The Steenrod squares via unordered joins
Logic and Over-Simplification
Focus Games for Satisfiability and Completeness of Temporal Logic
Semantics of Pointers, Referencing and Dereferencing with Intensional Logic
Two-Variable First-Order Logic with Equivalence Closure
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
First-Order Definable Retraction Problems for Posets and Reflexive Graph
On Higher Inductive Types in Cubical Type Theory
Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable
Efficient Parallel Algorithms for Anti-Unification and Relative Complement
Efficient Type Inference for Record Concatenation and Subtyping
Focusing on Binding and Computation
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic
Modified Realizability Interpretation of Classical Linear Logic
An Extension of Data Automata that Captures XPath
The complexity of minimal inference problem for conservative constraint languages
Formalizing π4(S 3 ) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda
The Meaning of Semantics
On the Boundary of Behavioral Strategies
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
Parameterized circuit complexity of model-checking on sparse structures
The Fine Print of Security
Locally Linear Time Temporal Logic
Winning Concurrent Reachability Games Requires Doubly-Exponential Patience
Separating Regular Languages with Two Quantifiers Alternations
Closure and Complexity of Temporal Causality
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
An Engine for Logic Program Analysis
A First-Order Representation of Pure Type Systems Using Superdeduction
The complexity of regular abstractions of one-counter languages
The Powerdomain of Indexed Valuations
The Emptiness Problem for Intersection Types
On the extension of computable real functions
How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
Self-Synchronization of Concurrent Processes (Preliminary Report)
Decidable Problems in Shallow Equational Theories (Extended Abstract)
Semantics of Normal Logic Programs and Contested Information
Russian Constructivism in a Prefascist Theory
On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing
Co-ing Büchi Made Tight and Useful
Congruence for SOS with Data
Logic Programming in a Fragment of Intuitionistic Linear Logic
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
Probabilistic Game Semantics
Solving Systems of Set Constraints (Extended Abstract)
Reconciling noninterference and gradual typing
The Power of Temporal Proofs
A Completeness Theorem for Probabilistic Regular Expressions
Resource modalities in game semantics
From Frame Properties to Hypersequent Rules in Modal Logics
When Do Fixed Point Logics Capture Complexity Classes?
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Real-time Logics: Complexity and Expressiveness
Polynomially Grade Logic I: A Graded Version of System T
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
Evidential Decision Theory via Partial Markov Categories
The homomorphism problem for regular graph patterns
A Proof Theory for Generic Judgments: An extended abstract
Existential Second-Order Logic over Strings
Proving unprovability
Well Rewrite Orderings
Distribution-based objectives for Markov Decision Processes
Deterministic vs. Nondeterministic Transitive Closure Logic
Deciding Differential Privacy for Programs with Finite Inputs and Outputs
A Modality for Recursion
The Scott Topology Induces the Weak Topology
The Cost of Usage in the Lambda-Calculus
Expressiveness of a Spatial Logic for Trees
Rigorous Approximated Determinization of Weighted Automata
Rank-decreasing transductions
Graded Monads and Behavioural Equivalence Games
On the Computational Complexity of Cut-Reduction
On Mechanical Theorem Proving in Minkowskian Plane Geometry
The Surprising Power of Constant Depth Algebraic Proofs
A Fully Abstract May Testing Semantics for Concurrent Objects
A Complete Equational Theory for Quantum Circuits
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
On Model Checking for Real-Time Properties with Durations
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
Higher-Order Unification via Explicit Substitutions (Extended Abstract)
Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986
Spi Calculus Translated to ?--Calculus Preserving May-Tests
Reasoning with Continuations
Deciding Hyperproperties Combined with Functional Specifications
Probabilistic Strategies: Definability and the Tensor Completeness Problem
Rewriting with Frobenius
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
A theory of linear typings as flows on 3-valent graphs
A Semantics of Object Types
Decision Problems for Second-Order Linear Logic
The Winning Ways of Concurrent Games
Certifying Compilation for a Language with Stack Allocation
Interpolation with Decidable Fixpoint Logics
Non-definability of Languages by Generalized First-order Formulas over (N, +)
Process Algebras for Quantitative Analysis
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes
Computational Lambda-Calculus and Monads
Primitive Recursive Dependent Type Theory
Decidable Problems for Probabilistic Automata on Infinite Words
Type Theory based on Dependent Inductive and Coinductive Types
The Laplace Mechanism has optimal utility for differential privacy over continuous queries
Embedded Finite Models beyond Restricted Quantifier Collapse
Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic
A Partial Approach to Model Checking
Avoiding Determinization
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda
Paths in the lambda-calculus
Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987
The Succinctness of First-Order Logic on Linear Orders
Definable Tree Decompositions
ℤ-polyregular functions
On Strong Maximality of Paraconsistent Finite-Valued Logics
Reasoning about Common Knowledge with Infinitely Many Agents
International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010
Convergence Laws for Extensions of First-Order Logic with Averaging
Graphs of relational structures: restricted types
Gödel's functional interpretation and the concept of learning
A Nominal Approach to Probabilistic Separation Logic
Rewrite Techniques for Transitive Relations
A Semantical Approach to Nonmonotic Logics
Commutativity in Automated Verification
Duality in Logic and Computation
Logical Bilattices and Inconsistent Data
omega-QRB-Domains and the Probabilistic Powerdomain
Dense-Timed Pushdown Automata
Syntax and Semantics of Quantitative Type Theory
Topological Structure of Quantum Algorithms
Eliminating Definitions and Skolem Functions in First-Order Logic
Inapproximability of Unique Games in Fixed-Point Logic with Counting
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection
Normalised Rewriting and Normalised Completion
References, Local Variables and Operational Reasoning
The Complexity of Coverability in ν-Petri Nets
Completeness for Game Logic
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
Linearizing Intuitionistic Implication
QWeS2T for Type-Safe Web Programming
Extending Type Theory with Forcing
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure
Contextual Types, Explained: Invited Tutorial
Cartesian Coherent Differential Categories
Generalized Quantifiers and 0-1 Laws
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
A Computational Interpretation of Open Induction
Linear Logic, Monads and the Lambda Calculus
Two-variable Logic with a Between Relation
Stochastic Games with Branching-Time Winning Objectives
On Strong Stability and Higher-Order Sequentiality
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree
Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth
A Higher-Order Distributed Calculus with Name Creation
Logic and Systems Biology
Dialectica models of type theory
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024
Ribbon Tensorial Logic
First-order definability of rational transductions: An algebraic approach
No-Go Theorems for Distributive Laws
VTC circ : A Second-Order Theory for TC circ
A Functorial Excursion Between Algebraic Geometry and Linear Logic
On the Significance of the Collapse Operation
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Symbolic Protocol Verification With Queue BDDs
Partitions and Ewens Distributions in element-free Probability Theory
Boolean-Valued Semantics for the Stochastic λ-Calculus
Efficient Model Checking via the Equational µ-Calculus
Compositional Semantics for Probabilistic Programs with Exact Conditioning
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report)
The Horn Mu-calculus
Definability with Bounded Number of Bound Variables
Elementary first-order model checking for sparse graphs
How to Define a Linear Order on Finite Models
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022
The Complexity of Bidirected Reachability in Valence Systems
The Complete Proof Theory of Hybrid Systems
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
Higher Semantics of Quantum Protocols
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert
Free Higher Groups in Homotopy Type Theory
Timing Behavior Analysis for Real-Time Systems
A Profunctorial Semantics for Quantum Supermaps
Lambek Grammars Are Context Free
Perfect half space games
Non-linear Rewrite Closure and Weak Normalization
Herbrand's Theorem, Automated Reasoning and Semantics Tableaux
36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021