yusuke1997/dblp-id-title huggingface dataset:
Full Abstraction and the Context Lemma
Some Results in the Joint-Calculus
Secrecy by Typing inSecurity Protocols
Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs
A Logic Programming Language Based on Binding Algebras
Infinite Intersection and Union Types for the Lazy Lambda Calculus
Resource-Passing Concurrent Programming
Petri Nets, Horn Programs, Linear Logic, and Vector Games
A Purely Functional Language with Encapsulated Assignment
Solo Diagrams
Simple Termination of Hierarchical Combinations of Term Rewriting Systems
Programs with Continuations and Linear Logic
Type Theory as a Foundation for Computer Science
Singleton, Union and Intersection Types for Program Extraction
A Complete Type Inference System for Subtyped Recursive Types
Environments, Continuation Semantics and Indexed Categories
Will Logicians be Replaced by Machines?
Separate Abstract Interpretation for Control-Flow Analysis
A Semantic Theory for Concurrent ML
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F <=
Syntactic Definitions of Undefined: On Defining the Undefined
Role of Logic Programming in the FGCS Project
Modelisation of Timed Automata in Coq
Undecidable Equivalences for Basic Parallel Processes
The Family Relation in Interaction Systems
Sets in Types, Types in Sets
Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings
An Extension of System F with Subtyping
Extending ML with Semi-Explicit Higher-Order Polymorphism
Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders
Relating Multifunctions and Predicate Transformers through Closure Operators
Strong Normalization of Second Order Symmetric Lambda-mu Calculus
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Normal Proofs and Their Grammar
Observational Equivalence for Synchronized Graph Rewriting with Mobility
On Nets, Algebras and Modularity
"Classical" Programming-with-Proofs in lambda PA Sym : An Analysis of Non-confluence
A Symmetric Lambda Calculus for "Classical" Program Extraction
Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
From Term Models to Domains
Some Normalization Properties of Martin-Löf's Type Theory, and Applications
Composable Semantic Models for Actor Theories
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness
Theory and Practice of Concurrent Object-Oriented Computing
Combining Petri Nets and PA-Processes
Fully Abstract Semantics for Concurrent Lambda-calculus
From LP to LP: Programming with Constraints
Type Inference in Polymorphic Type Discipline
A Spatial Logic for Concurrency
Data Flow Analysis as Model Checking
A Renee Equation for Algorithmic Complexity
The Coherence of Languages with Intersection Types
First Order Data Types and First Order Logic
Model-Checking LTL with Regular Valuations for Pushdown Systems
A Type System for a Lambda Calculus with Assignments
An Efficiency Preorder for Processes
Sound Specialization in the Presence of Computational Effects
Observing Truly Concurrent Processes
Lightweight Analysis of Object Interactions
Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures
What Will Be Eventually True of Polynomial Hybrid Automata?
An Abstract Interpretation for ML Equality Kinds
System F with Width-Subtyping and Record Updating
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
ML Typing, Explicit Polymorphism and Qualified Types
The Tyft/Tyxt Format Reduces to Tree Rules
Relational Interpretations of Recursive Types in an operational Setting (Summary)
Local Model Checking for Value-Passing Processes (Extended Abstract)
On Strictness and Totality
Full Abstraction for PCF
Term Rewriting Properties of SOS Axiomatisations
On Syntactic and Semantic Action Refinement
Towards a Complete Hierarchy of Compositional Dataflow Models
Temporal Verification Diagrams
Monotone Recursive Definition of Predicates and Its Realizability Interpretation
Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings
Intersection and Union Types
Strong Normalisation in Higher-Order Action Calculi
Nominal Logic: A First Order Theory of Names and Binding
Locality and True-concurrency in Calculi for Mobile Processes
Abstract Pre-Orders
Design and Correctness of Program Transformations Based on Control-Flow Analysis
Comparing Object Encodings
A Normalizing Calculus with Overloading and Subtyping
Wrapper Semantics of an Object-Oriented Programming Language with State
Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems
Replication in Concurrent Combinators
Formal Eavesdropping and Its Computational Interpretation
Finite-State Transducers as Regular Böhm Trees
Extending a Logical Framework with a Modal Connective for Validity
Type System for Specializing Polymorphism
Notes on Typed Object-Oriented Programming
Pi-Calculus Semantics of Object-Oriented Programming Languages
Principal Type-Schemes of BCI-Lambda-Terms
Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration
Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings
Transitions as Interrupts: A New Semantics for Timed Statecharts
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
Using Reflection to Build Efficient and Certified Decision Procedures
Efficient Program Synthesis: Semantics, Logic, Complexity
Proof by Pointing
What is in a Step: On the Semantics of Statecharts
Discovering Needed Reductions Using Type Theory
On Abstraction and the Expressive Power of Programming Languages
Data Refinement and Remote Procedures
The UDP Calculus: Rigorous Semantics for Real Networking
Extensions to Type Systems Can Preserve Operational Equivalences
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
Typing Assembly Programs with Explicit Forwarding
Subtyping with Union Types, Intersection Types and Recursive Types
Authentication and Delegation with Smart-cards
The Girard-Reynolds Isomorphism
Weakest Congruence Results Concerning "Any-Lock"
Extensible Denotational Language Specifications
Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types
Infinitary Domain Logic for Finitary Transition Systems
Polynomial Recursion Analysis in Pascal Like Programs
From Programming-by-Example to Proving-by-Example
Constraint Programming and Database Query Languages
Proving Termination of General Prolog Programs
Cyclic Lambda Calculi
Proof-Search and Countermodel Generation in Propositional BI Logic
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement
Termination Proofs and Complexity Certification
Sharing Actions and Attributes in Modal Action Logic
Non-structural Subtype Entailment in Automata Theory
A Semantics for Type Checking
Complexity of Proving Program Correctness
On the Adequacy of Dependence-Based Representations for Programs with Heaps
Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings
Care coordination metrics of patients sharing among physicians: a social network analytic approach
Learning to Evaluate Color Similarity for Histopathology Images using Triplet Networks
Examining post-pandemic behaviors influencing human mobility trends
A system for ubiquitous distributed acquisition of voice alteration samples through a mobile application
Exploring target specificity of antimicrobial peptides through deep learning embeddings
Streptomyces Clavuligerus Constraint-Based Modeling and Gene Expression Analysis for Clavulanic Acid Production
Extracting Molecular Entities and Their Interactions from Pathway Figures Based on Deep Learning
Single-cell Clustering Based on Word Embedding and Nonparametric Methods
Integrated analysis of gut microbiome compositional and genomic alterations reveals strain diversity and actionable biomarkers across multiple colorectal cancer cohorts
ACM-BCB 2018 Computational Advances in Molecular Epidemiology (CAME) Chairs' Welcome
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, BCB 2010, Niagara Falls, NY, USA, August 2-4, 2010
CNVScan: detecting borderline copy number variations in NGS data via scan statistics
A Gaussian Process Model for Inferring the Dynamic Transcription Factor Activity
A k -mer query tool for assessing population diversity in pangenomes
Regulatory network nodes of check point factors in DNA repair pathways
An in-depth analysis of the molecular dynamics and structural aspects of IKB proteins
Exploration of regression models for cancer noncoding mutation recurrence
SUPREME: a cancer subtype prediction methodology integrating multiple biological datatypes using graph convolutional neural networks
Selection of genes using long-term influence and sensitivity analysis
A comparison of combined p-value methods for gene differential expression using RNA-seq data
Constraints On Signaling Networks Logic Reveal Functional Subgraphs On Multiple Myeloma OMIC Data
Implicit Transpositions in DCJ Scenarios
Unexpected Predictors of Antibiotic Resistance in Housekeeping Genes of Staphylococcus Aureus
Bio-JOIE: Joint Representation Learning of Biological Knowledge Bases
Kernel methods for Calmodulin binding and binding site prediction
BioNumQA-BERT: answering biomedical questions using numerical facts with a deep language representation model
GNNfam: utilizing sparsity in protein family predictions using graph neural networks
Comparative Analysis of Tools for Predicting the Functional Impact of mtDNA Variants
EEG-DIF: Early Warning of Epileptic Seizures through Generative Diffusion Model-based Multi-channel EEG Signals Forecasting
Toward a Sequence-Based Physicochemical Approach to Variable-Length B-Cell Epitope Prediction for Antipeptide Paratopes Recognizing Flexibly Disordered Targets: Insights Drawn from Protein Folding Modeled as Polymer Collapse
Outlier Genes as Biomarkers of Breast Cancer Survivability in Time-Series Data
Automated protein structure refinement using i3Drefine software and its assessment in CASP10
TCGA Toolbox: an Open Web App Framework for Distributing Big Data Analysis Pipelines for Cancer Genomics
Voice signal features analysis and classification: looking for new diseases related parameters
Beyond B-Cell Epitopes: Curating Positive Data on Antipeptide Paratope Binding to Support Development of Computational Tools for Vaccine Design and Other Translational Applications
Deep Learning for Resolution Validation of Three Dimensional Cryo-Electron Microscopy Density Maps
Towards Selective-Alignment: Bridging the Accuracy Gap between Alignment-Based and Alignment-Free Transcript Quantification
Characterizing Amino Acid Variations of Scavenger Receptors by Class Information Gain
COVID-19 classification using thermal images: thermal images capability for identifying COVID-19 using traditional machine learning classifiers
Do specialized distributed frameworks for bioinformatics applications obtain better performance over generic ones?
Network Analysis Identifies Regulatory Hotspots in Regions of Chromosome Interactions
Application of natural language processing and machine learning to radiology reports
Modeling malaria: stretch-delay effect of temperature in the sporogonic cycle and disease dynamics
Heterodimeric protein complex identification
Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces
On the impact of data integration and edge enrichment in mining significant signals from biological networks
Simulation and analysis of antibody aggregation on cell surfaces using motion planning and graph analysis
A novel semi-supervised learning approach to analyzing metagenomic reads
RNA-seq gene and transcript expression analysis using the BioExtract server and iPlant collaborative
Scalable Statistical Introgression Mapping Using Approximate Coalescent-Based Inference
NeuralTE: an accurate approach for Transposable Element superfamily classification with multi-feature fusion
Offspring GAN augments biased human genomic data
Integrated miRNA and mRNA analysis of time series microarray data
Machine Learning Model for Identifying Gene Biomarkers for Breast Cancer Treatment Survival
SecureMed-ID: memorable and private identifiers for off-site access to medical records
Automatic Identification of Co-Occuring Patient Events
Two methods for constructing a gene ontology-based feature network for a Bayesian network classifier and applications to datasets of aging-related genes
Landscape of neutralizing assessment of monoclonal antibodies against dengue virus
Improving biological significance of gene expression biclusters with key missing genes
A volumetric method for representing and comparing regions of electrostatic focusing in molecular structure
Automated Focus Restoration for High-throughput Phase Contrast Time-lapse Microscopy with De-noising Diffusion Probabilistic Model
Folding Large Proteins by Ultra-Deep Learning
An Image-Text Approach for Extracting Experimental Evidence of Protein-Protein Interactions in the Biomedical Literature
Process calculi for systems biology
A software tool for network topology analysis under a metabolic engineering perspective
Identification of candidate regulatory SNPs by integrative analysis for prostate cancer genome data
Revealing Protein Structures by Co-Occurrence Clustering of Aligned Pattern Clusters
Multi-Site Assessment of Pediatric Bone Age Using Deep Learning
A Comparison of Machine Learning Models with Data Augmentation Techniques for Skeleton-based Human Action Recognition
Causality-based Subject and Task Fingerprints using fMRI Time-series Data
Fast graph approaches to measure influenza transmission across geographically distributed host types
Sensitive detection of pathway perturbations in cancers: extended abstract
Ontology for MicroRNA Target prediction in human cancer
Bingocize® 3.0: a game based platform for promoting wellness in older adults
CLARK, accurate and efficient classification of DNA sequences
Browsing weighted interactome models using GeneDive
A bayesian nonparametric approach for latent class regression analysis
Bayesian Collective Markov Random Fields for Subcellular Localization Prediction of Human Proteins
Huge Cohorts, Genomics, and Clinical Data to Personalize Medicine
DANTE: Determining Adaptation trajectories in biological Networks Through Evolutionary mapping
Guiding belief propagation using domain knowledge for protein-structure determination
Gene Regulatory Network Based Toxicity Classification and Prediction: A DILI Case Study
Modeling Human Frailty with a Smart Home-Based Approximation of Entropy
Protein-Protein Interaction Extraction Using Attention-Based Convolution Neural Networks
deepTarget: End-to-end Learning Framework for microRNA Target Prediction using Deep Recurrent Neural Networks
Predicting protective bacterial antigens using random forest classifiers
Data-driven prediction of cancer cell fates with a nonlinear model of signaling pathways
Classifying Proteins by Amino Acid Variations of Sequential Patterns
Synthesized difference in differences
Individual haplotyping prediction agreements
An Ensemble Topic Model for Sharing Healthcare Data and Predicting Disease Risk
NamedKeys: Unsupervised Keyphrase Extraction for Biomedical Documents
Breaking Ties in Weighted Interactomes
Tailoring Training for Obese Individuals with Case-Based Reasoning
NBT (no-boundary thinking): needed to attend to ethical implications of data and AI
Similarity boosting for label noise tolerance in protein-chemical interaction prediction
Automatic Autism Spectrum Disorder Detection Using Everyday Vocalizations Captured by Smart Devices
Estimating the dynamics of protofibril elongation involved in Aβ42 peptide aggregation in Alzheimer's disease
Effect of sequences on the shape of protein energy landscapes
Deep sequence representation learning for predicting human proteins with liquid-liquid phase separation propensity and synaptic functions
Updating channel adjacent amino acids for a flexible protein molecule
Differential Community Detection in Paired Biological Networks
Novel genomic duplication models through integer linear programming
Predicting Protein Families using Protein Shape Context
An iterative MapReduce approach to frequent subgraph mining in biological datasets
Estimating reachability in dense biological networks
A Deep Learning Model to Identify a Genomic Signature Driving Sporadic Colorectal Cancer in Young Adults
Efficient implementation of the hybrid method for stochastic simulation of biochemical systems
DBNet: a novel deep learning framework for mechanical ventilation prediction using electronic health records
Identifying Pathway Proteins in Networks using Convergence
Automated Protein Chain Isolation from 3D Cryo-EM Data and Volume Comparison Tool
Learning biological networks via bootstrapping with optimized go-based gene similarity
A Comparative Analysis of Transformer-based Protein Language Models for Remote Homology Prediction
Kmerind: A Flexible Parallel Library for K-mer Indexing of Biological Sequences on Distributed Memory Systems
A Bayesian Approach to Determine the Composition of Heterogeneous Cancer Tissue
Genet-CNV: Boolean Implication Networks for Modelling Genome-Wide Co-occurrence of DNA Copy Number Variations
OCR-based image features for biomedical image and article classification: identifying documents relevant to cis-regulatory elements
Classification of Carbonaceous Nanomaterials based on Patterns of Inflammatory Markers in BAL Fluid and Pathological Outcomes in Lungs
TINTIN: Exploiting Target Features for Signaling Network Similarity Computation and Ranking
CNN models for eye state classification using EEG with temporal ordering
Secondary structure predictions for long RNA sequences based on inversion excursions: preliminary results
Self-Tuning Spectral Clustering for Full-length Viral Quasispecies Reconstruction with PacBio Long Reads
TreeLign: simultaneous stepwise alignment and phylogenetic positioning, with its application to automatic phylogenetic assignment of 16S rRNAs
An Evolutionary Conservation & Rigidity Analysis Machine Learning Approach for Detecting Critical Protein Residues
SplittingHeirs: inferring haplotypes by optimizing resultant dense graphs
A Rapid Exact Solution for the Guided Genome Halving Problem
An automated pipeline for discovering gene expression patterns associated with increased cancer survival time
Rhabdomyosarcoma Histology Classification using Ensemble of Deep Learning Networks
Confused or not Confused?: Disentangling Brain Activity from EEG Data Using Bidirectional LSTM Recurrent Neural Networks
PTM Knowledge Networks and LINCS Multi-Omics Data for Kinase Inhibitor Drug-Analytics in Lung Cancer
PRED mafa : a system for prediction of peptide binding to several MHC class I molecules in cynomolgus macaques
Hybridized distance- and contact- based hierarchical protein structure modeling using DConStruct
Predicting expression-related features of chromosomal domain organization with network-structured analysis of gene expression and chromosomal location
Hierarchical Spatio-temporal Visual Analysis of Cluster Evolution in Electrocorticography Data
A Novel Approach for Classifying Gene Expression Data using Topic Modeling
Continuous Stress Monitoring for Healthcare Workers: Evaluating Generalizability Across Real-World Datasets
FARM: hierarchical association rule mining and visualization method
Antibiotic resistance prediction and biomarker discovery in Neisseria gonorrhoeae
Self-explaining neural network with concept-based explanations for ICU mortality prediction
Detecting fuzzy amino acid tandem repeats in protein sequences
A Model of Cell Population Dynamics in Skeletal Muscle Regeneration
The Fate of Retrotransposed Processed Genes in Arabidopsis Thaliana
Using natural language processing on free-text clinical notes to identify patients with long-term COVID effects
Cloud-based Semantic Integration and Knowledge Discovery Systems in Precision Medicine
A PCA-guided Search Algorithm to Probe the Conformational Space of the Ras Protein
Statistical methodology for ribosomal frameshift detection
Feature extraction in protein sequences classification: a new stability measure
Metric-space Positioning Systems (MPS) for Machine Learning
Identifying Symptom Clusters in Women Experiencing Preterm Birth
Developing robust predictive models for head and neck cancer across microarray and RNA-seq data
A Unified Cloud-Native Architecture For Heterogeneous Data Aggregation And Computation
GaitTrack: Health Monitoring of Body Motion from Spatio-Temporal Parameters of Simple Smart Phones
GMF-MGCN-LDA: Prediction of IncRNA-disease association based on novel generalized matrix factorization and graph neural networks
Machine Learning Approach for Predicting Metastatic Sites of Prostate Cancer
scMoE: single-cell mixture of experts for learning hierarchical, cell-type-specific, and interpretable representations from heterogeneous scRNA-seq data
The PepSeq Pipeline: Software for Antimicrobial Motif Discovery in Randomly-Generated Peptide Libraries
Structural landscape of immunoglobulin lambda light chains
Analysing the distribution of synaptic vesicles using a spatial point process model
Improving MiRNA prediction accuracy by deep learning strategies
Inferring ancestry in mouse genomes using a hidden Markov model
Multimodality-aware Intra-dialytic Hypotension Classifier: A Bilingual NLP Approach to Classify Dialysis Records
Peptide-Binding Site Prediction From Protein Structure via points on the Solvent Accessible Surface
Locating Discharge Medications in Natural Language Summaries
TEMPO: Detecting Pathway-Specific Temporal Dysregulation of Gene Expression in Disease
Reconstructing Phylogenies Using Branch-Variable Substitution Models and Unaligned Biomolecular Sequences: A Performance Study and New Resampling Method
An intelligent data-centric approach toward identification of conserved motifs in protein sequences
A method for reducing the severity of epidemics by allocating vaccines according to centrality
Multi-level structural domain-domain interactions for prediction of obligate and non-obligate protein-protein interactions
Derived distribution points heuristic for fast pairwise statistical significance estimation
Workshop on Computational Advances in Molecular Epidemiology
Frontier: finding the boundaries of novel transposable element insertions in genomes
Comprehensive Evaluation of RNA-seq Quantification Methods for Linearity
CBOEP: Generating negative enhancer-promoter interactions to train classifiers
Resolving observation conflicts in steady state metabolic network dynamics analysis
Identification of Non-invasive Cytokine Biomarkers for Polycystic Ovary Syndrome Using Supervised Machine Learning
Proceedings of the 15th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, BCB 2024, Shenzhen, China, November 22-25, 2024
Deep Learning Based Tumor Type Classification Using Gene Expression Data
Unsupervised pattern discovery in human chromatin structure through genomic segmentation
COVID-19 diagnosis using model agnostic meta-learning on limited chest X-ray images
A taxonomy for bioinformatics tools: exploiting semantics, parallelism, and services for analyzing omics data
CLARM: an integrative approach for functional modules discovery
Statistical Framework for Uncertainty Quantification in Computational Molecular Modeling
Discovery of Regular Domains in Large DNA Data Sets
A data-centric pipeline using convolutional neural network to select better multiple sequence alignment method
A brief comparison of DSP and HMM methods for gene finding
Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape
Model Confidence Calibration for Reliable COVID-19 Early Screening via Audio Signal Analysis