yusuke1997/dblp-id-title huggingface dataset:
A Formal Approach to Molecular Docking
Building cell-like structures from the bottom-up
Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
Computer Simulation of Protocells
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
Inference of Delayed Biological Regulatory Networks from Time Series Data
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
Nonlinear Pattern Matching in Rule-Based Modeling Languages
Parallelized agent-based simulation on CPU and graphics hardware for spatial and stochastic models in biology
Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation
Deciding Behavioural Properties in Brane Calculi
On Model Reductions of Boolean Networks
fnyzer: A Python Package for the Analysis of Flexible Nets
Fast Simulation of Probabilistic Boolean Networks
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics
KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge
Normalizing Chemical Reaction Networks by Confluent Structural Simplification
A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte Carlo
Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Paris, France, September 21-23, 2011. Proceedings
On Robustness Computation and Optimization in BIOCHAM-4
Qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness
Optimizing Feature Extraction Methods Using Class Similarity Ratio for EMG-Based Hand Gesture Classification
Probabilistic Model Checking of Complex Biological Pathways
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
On the Analysis of Numerical Data Time Series in Temporal Logic
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods
The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock
Explaining Response to Drugs Using Pathway Logic
Abstraction-Based Segmental Simulation of Chemical Reaction Networks
Discovering Biochemical Reaction Models by Evolving Libraries
Modelling Yeast Pre-rRNA Processing
AEON 2025: Robust Control of Partially-Specified Boolean Networks
Systems Biology of Halophilic Archaea
Compositional Reachability Analysis of Genetic Networks
The Attributed Pi Calculus
Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision
ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks
Separators for Polynomial Dynamic Systems with Linear Complexity
Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings
Computational Methods in Systems Biology - 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Core SBML and Its Formal Semantics
Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming
Action-based analysis of discrete regulatory networks with short-term stimuli
BoNesis: a Python-Based Declarative Environment for the Verification, Reprogramming, and Synthesis of Most Permissive Boolean Networks
Experimental Design for Inference over the A. thaliana Circadian Clock Network
Towards an Ontology of Biomodelling
Effective Computational Methods for Hybrid Stochastic Gene Networks
Towards Reusing Model Components in Systems Biology
Identifying Functional Families of Trajectories in Biological Pathways by Soft Clustering: Application to TGF-β Signaling
Recreating Biopathway Databases towards Simulation
Formal Analysis of Network Motifs
Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings
Modelling sperm behaviour in a 3D environment
Interval Constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity
Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework
eBCSgen: A Software Tool for Biochemical Space Language
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs
Interpretable Exact Linear Reductions via Positivity
Approximate Bisimulations for Sodium Channel Dynamics
How to Solve Semantic Puzzles of Systems Biology
Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides
Seed Inference in Interacting Microbial Communities Using Combinatorial Optimization
Reverse Engineering of Renal Tubule Networks in the High-Dimensional Regime
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process
The Biodegradation Network, a New Scenario for Computational Systems Biology Research
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models
Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems
Resolving the Three-Dimensional Histology of the Heart
A New Version of DAISY to Test Structural Identifiability of Biological Models
BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic
Uncertainty Analysis for Non-identifiable Dynamical Systems: Profile Likelihoods, Bootstrapping and More
IMGT-Choreography: Processing of Complex Immunogenetics Knowledge
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets
Cells as Computation
THiMED: Time in Hierarchical Model Extraction and Design
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies
Barbaric Robustness Monitoring Revisited for STL* in Parasim
Evaluation of design strategies for time course experiments in genetic networks: the XlnR regulon in Aspergillus niger
JAK-STAT Signalling as Example for a Database-Supported Modular Modelling Concept
Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation
An efficient parallel stochastic simulation method for analysis of nonviral gene delivery systems
Computing Reachable States for Nonlinear Biological Models
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
BioFVM-X: An MPI+OpenMP 3-D Simulator for Biological Systems
Drawing the Line: Basin Boundaries in Safe Petri Nets
General Stochastic Hybrid Method for the Simulation of Chemical Reaction Processes in Cells
Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction
Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems
Target Controllability of Linear Networks
Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States
Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting
Stochasticity in reactions: a probabilistic Boolean modeling approach
Modal Logics for Brane Calculus
Coupled Oscillator Models for a Set of Communicating Cells
Integrated Analysis from Abstract Stochastic Process Algebra Models
Graphs for Core Molecular Biology
Parameter inference for asynchronous logical networks using discrete time series
A Prize-Collecting Steiner Tree Approach for Transduction Network Inference
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis
Stability Versus Meta-stability in a Skin Microbiome Model
Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings
Simulation Study of the TNF alpha Mediated NF-kappa B Signaling Pathway
BNClassifier: Classifying Boolean Models by Dynamic Properties
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems
A Rule-Based Model of Base Excision Repair
VICE: A VIrtual CEll
Spatial Modeling and Simulation of Diffusion in Nuclei of Living Cells
Model Checking Biological Systems Described Using Ambient Calculus
The Equivalence between Biology and Computation
Spike - Reproducible Simulation Experiments with Configuration File Branching
Causal Model Discovery in Cancer Guided by Cellular Pathways
Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
Qualitative Dynamics of Chemical Reaction Networks: An Investigation Using Partial Tropical Equilibrations
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks
Deciphering Structural Selective Constraints: A Comparative Evolutionary Analysis of RNA Hairpin Structures
Inference, Modeling and Simulation of Gene Networks
Detection and Analysis of Unexpected State Components in Biological Systems
Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract)
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis
From species to pathway and tissue as process
Osteoporosis: a multiscale modeling viewpoint
On Parallel Stochastic Simulation of Diffusive Systems
Temporal Reprogramming of Boolean Networks
Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks
3D Hybrid Cellular Automata for Cardiac Electrophysiology: A Concept Study
Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract)
Designing Distributed Cell Classifier Circuits Using a Genetic Algorithm
Compositional Definitions of Minimal Flows in Petri Nets
Adapting rule-based model descriptions for simulating in continuous and hybrid space
Computing Cumulative Rewards Using Fast Adaptive Uniformisation
A generic abstract machine for stochastic process calculi
Control Strategy Identification via Trap Spaces in Boolean Networks
Steady-state solution of biochemical systems, beyond S-systems via T-invariants
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information
The Kappa Simulator Made Interactive
Hybrid numerical solution of the chemical master equation
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems
Protein Noise and Distribution in a Two-Stage Gene-Expression Model Extended by an mRNA Inactivation Loop
Limit Cycle Analysis of a Class of Hybrid Gene Regulatory Networks
Parameter Synthesis by Parallel Coloured CTL Model Checking
Discrete Event Systems and Client-Server Model for Signaling Mechanisms
Equivalence and Discretisation in Bio-PEPA
Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits
Classifier Construction in Boolean Networks Using Algebraic Methods
Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks
An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem
Exploring Metastable Dynamics of Gene Regulatory Networks with ISOKANN
Cell-Level Pathway Scoring Comparison with a Biologically Constrained Variational Autoencoder
Ppsim: A Software Package for Efficiently Simulating and Visualizing Population Protocols
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway
Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
Developing SBML Beyond Level 2: Proposals for Development
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems
Analysis of stochastic reaction networks with Markov reward models
Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe
Constraint Programming in Community-Based Gene Regulatory Network Inference
What is a Cell Cycle Checkpoint? The TotemBioNet Answer
Kinetic modelling of large-scale metabolic networks
E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics
Optimization Based Design of Synthetic Oscillators from Standard Biological Parts
Approximate Constrained Lumping of Polynomial Differential Equations
Analyzing a Discrete Model of Aplysia Central Pattern Generator
Flexible Nets to Improve GEM Cell Factories by Combining Kinetic and Proteomics Data
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer Information
Uncovering Dynamic Structures Within Cyclic Attractors of Asynchronous Boolean Networks with Spectral Clustering
GeneFuncster: A Web Tool for Gene Functional Enrichment Analysis and Visualisation
Reconstructing Metabolic Pathways by Bidirectional Chemical Search
Sequential Temporary and Permanent Control of Boolean Networks
Detecting Attractors in Biological Models with Uncertain Parameters
Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings
A Bayesian Approach to Model Checking Biological Systems
Computational Model of a Central Pattern Generator
Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings
SED-ML - An XML Format for the Implementation of the MIASE Guidelines
Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models
Biological Domain Identification Based in Codon Usage by Means of Rule and Tree Induction
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Harissa: Stochastic Simulation and Inference of Gene Regulatory Networks Based on Transcriptional Bursting
Modeling Evolutionary Dynamics of HIV Infection
Control Variates for Stochastic Simulation of Chemical Reaction Networks
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks
Deep Abstractions of Chemical Reaction Networks
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface
Efficient Stochastic Simulation of Gene Regulatory Networks Using Hybrid Models of Transcriptional Bursting
Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics
Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores
Variable Stabilisation in Boolean Monotonic Model Pools
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices
Influence Systems vs Reaction Systems
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks
SBMLDock: Docker Driven Systems Biology Tool Development and Usage
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation
Database of Dynamic Signatures Generated by Regulatory Networks (DSGRN)
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network
Discrete causal model view of biological networks
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking
Symbolic Model Checking of Biochemical Networks
Variable-Depth Simulation of Most Permissive Boolean Networks
Minimal Metabolic Exchanges for Microbial Communities in a Chemostat at Steady State
Cell Volume Distributions in Exponentially Growing Populations
Goal-Oriented Reduction of Automata Networks
Formal Modeling of C. elegans Development: A Scenario-Based Approach
Curvature analysis of cardiac excitation wavefronts
Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA
Probabilistic Approximations of Signaling Pathway Dynamics
Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Formal Analysis of the Genetic Toggle
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment
Inferring Executable Models from Formalized Experimental Evidence
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models
Target driven biochemical network reconstruction based on petri nets and simulated annealing
FFT implementation and optimization on FPGA
Enhanced data-driven Damage Detection for Structural Health Monitoring Systems
2-D FDFD method analysis to NRD-guide bandpass filter design
ADF based anisotropic diffusion model applied to radiography image enhancement
Fisher-HHT: A Feature Extraction Approach For Hand Gesture Recognition With a Leap Motion Controller
Automatic detection of early stages of Parkinson's disease through acoustic voice analysis with mel-frequency cepstral coefficients
Decoding Emotions: Integrating EEG Signals and Facial Expressions for Advanced Multimodal Emotion Recognition
Histogram equalization-based techniques for contrast enhancement of MRI brain Glioma tumor images: Comparative study
Enhancing Medication Safety with Large Language Models: Advanced Detection and Prediction of Drug-Drug Interactions
Laughter synthesis: A comparison between Variational autoencoder and Autoencoder
Self-powered device for tibiofemoral force measurement in knee implant
Accelerated encryption algorithms for secure storage and processing in the cloud
EWMA Kernel Generalized Likelihood Ratio Test for Fault Detection of Chemical Processes
Quality Assessment of Virtual Reality Software Applications
Face Expression Neutralisation Using Improved Variational Autoencoder
The influence of the speaker on indices of phonation
An automatic filtering algorithm for SURF-based registration of remote sensing images
Statistical parametric speech synthesis for Arabic language using ANN
Real-time recognition of road traffic signs in video scenes
An efficient hardware implementation of LED lightweight block cipher
Time series of urban radiative budget maps derived from EO satellites using a physical remote sensing model
On Elliptic Curve Cryptography implementations and evaluation
Human posture recognition approach based on ConvNets and SVM classifier
The Roberta IRONSIDE project: A dialog capable humanoid personal assistant in a wheelchair for dependent persons
High Performance BIST PLL approach for VCO testing
Bag-of-Visual-Words Feature Extraction using Graph Convolutional Networks
Binary hierarchical multiclass classifier for uncertain numerical features
Monaural speech separation based on linear regression optimized using gradient descent
Water turbidity estimation in water sampled images
Denoising techniques for multi-parametric prostate MRI: A Comparative Study
Atrial Fibrillation detection on electrocardiogram
Sensitivity analysis of land cover change prediction model in the presence of aleatory and epistemic imperfection
Land deformation monitoring using PS-InSAR technique over Sahel-Doukkala (Morocco)
An efficient post-processing approach for dimensionality reduction methods for face recognition
EEG localization error exploration vs distance between sources
A Bayesian approach for parameter estimation in railway systems
Design and architecture of Pico-satellites network for earth coverage
Sequential object detection using belief function theory
A new fingerprint identification approach based on SVD features
Partial volume effect correction in PET image using iterative deconvolution and shearlet transform
Per-pixel displacement mapping using hybrid cone approach
Modeling of the thorax of human body at 433 MHz
Rate invariant action recognition in Lie algebra
Advancing Breast Cancer Detection with Convolutional Neural Networks: A Comparative Analysis of MIAS and DDSM Datasets
A Comparative Study of Derivative-Based and Wavelet-Based Approaches for Epilepsy EEG Analysis
Breast tumors segmentation using Otsu method and K-means
Cardiac scintigraphic images segmentation techniques
Design and Visio control of Two-Wheeled Inverted Pendulum Mobile Robot
Frequency recognition based on the Inter-Battery Factor Analysis for SSVEP-based BCIs
A comparative study applied to dynamic textures segmentation
A new automatic method for human coding and non-coding zones characterization and classification based on FCGR coding and CNN classifier
Hypovigilance detection by calculating and analyzing a spatio-temporal features of the face components based on 3D head orientation
Fusing Gabor and LBP feature sets for KNN and SRC-based face recognition
Morphological-based microcalcification detection using adaptive thresholding and structural similarity indices
A novel H-shaped cavity based RFID chipless tag
Ergodic capacity for fading channels in cognitive radio networks
Autism diagnosis with a CNN model based on genetic mutations
Combining contour matching and visual hull information for 3D reconstruction of archeological objects
Blurred Image Detection In Drone Embedded System
Phase-precoding scheme for cooperative wireless systems over frequency-selective channels
Frequent pattern mining for online handwriting recognition
Lightweight Hardware Architectures for the Piccolo Block Cipher in FPGA
Target classification using convolutional deep learning and auto-encoder models
A survey on deep learning techniques used for breast cancer detection
Semantic Segmentation of Myeloid Cells on Blood Smears
Assessment of inversion models for sea surface wind speed retrieval from Sentinel-1 data
Positional Analysis of Spectrum Sharing Between IEEE 80.16 and TV Band
Identification of cardio-pulmonary resuscitation (CPR) scenes in video simulating medical crises
Robust watermarking scheme integrated into JPWL based on Turbo-Trellis-Coded quantization
An adaptive semantic dimensionality reduction approach for hyperspectral imagery classification
Automatic Recognition of Epileptiform EEG Abnormalities Using Machine Learning Approaches
Joint pre-processing phase to optical correlator for face recognition applications
7th IEEE International Conference on Advanced Technologies, Signal and Image Processing, ATSIP 2024, Sousse, Tunisia, July 11-13, 2024
A hybrid method for Heart Rate Variability analysis
A Deep CNN-BiGRU model for Lymphoma and Residual Masses Recognition
Deep random forest-based learning transfer to SVM for brain tumor segmentation
6th International Conference on Advanced Technologies for Signal and Image Processing, ATSIP 2022, Sfax, Tunisia, May 24-27, 2022
An investigation of malware and the systems used to detect and identify malware
Texture description using statistical feature extraction