yusuke1997/dblp-id-title huggingface dataset:
Towards a Typology of Intentionally Inaccurate Representations of Reality in Media Content
Connecting Social Capital by Social Media
Virtual Censorship: Controlling the Public Sphere
Silent Data, Active Patients
Assessing ICT Access Disparities Between the Institutional and Home Front: A Case of University Students in South Africa's Eastern Cape
Mind the Gap Gender and Computer Science Conferences
Discussing Ethical Impacts in Research and Innovation: The Ethics Canvas
The Role of ICT in Sustainable and Responsible Development: E-Skilling
Skeuomorphic Reassurance: Personhood and Dementia
Software Engineering in a British Defence Project in 1970
ICT and Sustainable Development
Mapping the Most Significant Computer Hacking Events to a Temporal Computer Attack Model
Measuring information societies: A critical study of the Infostate framework
ICT Critical Infrastructures and Society - 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, Amsterdam, The Netherlands, September 27-28, 2012. Proceedings
The Social Informatics of the Internet: An Ecology of Games
Data Processing Automation for Bulk Water Supply Monitoring
Human Perception of the Measurement of a Network Attack Taxonomy in Near Real-Time
Performance Comparison of Multi-band Frequencies for Outdoor Communication
Prediction of Compressive Strength of High-Performance Concrete: Hybrid Artificial Intelligence Technique
Cancellable Face Biometrics Template Using AlexNet
Gain Scheduling Fuzzy PID Controller for Distributed Control Systems
Analysis of the Publications on Ontology-Based Smart Grid Applications: A Bird's Eye View
A Novel Car-Pooling Optimization Method Using Ant Colony Optimization Based on Network Analysis (Case Study: Tehran)
Detection of Copy-Move Forgery in Digital Image Based on SIFT Features and Automatic Matching Thresholds
Single Runway Aircraft Landing Scheduling Using Simulated Annealing and Exact Timing Method
Anomaly-Based Intrusion Detection System Using One Dimensional and Two Dimensional Convolutions
Querying Encrypted Data in Graph Databases
Comparative Analysis for Arabic Sentiment Classification
Secret Speech Hiding in Image Based on Quantization Level Modification
Deep Learning Approach Based Dominant Age Group Based Classification for Social Network
Integrating Fuzzy Logic Technique in Case-Based Reasoning for Improving the Inspection Quality of Software Requirements Specifications
Design a Compact Non-linear S-Box with Multiple-Affine Transformations
Deep Learning for Face Expressions Detection: Enhanced Recurrent Neural Network with Long Short Term Memory
SMARF: Smart Farming Framework Based on Big Data, IoT and Deep Learning Model for Plant Disease Detection and Prevention
Lung Boundary Detection and Classification in Chest X-Rays Images Based on Neural Network
Evaluation of Local Texture Descriptors for Eyebrow-Based Continuous Mobile User Authentication
Dynamic Power Systems Phasor Estimation Using Kalman Filter Algorithms
Minimum Array Elements and Snapshots for Performance Analysis Based on Direction Of Arrival (DOA) Estimation Methods
Classifying Political Arabic Articles Using Support Vector Machine with Different Feature Extraction
Multi View Face Detection in Cattle Using Infrared Thermography
Applied Computing to Support Industry: Innovation and Technology - First International Conference, ACRIT 2019, Ramadi, Iraq, September 15-16, 2019, Revised Selected Papers
Design and Implementation of a Secure Mobile Banking System Based on Elliptic Curve Integrated Encryption Schema
A Secure Wireless Body Area Network for E-Health Application Using Blockchain
SCEHMA: Speech Corpus of English, Hindi, Marathi and Arabic Language for Advance Speech Recognition Development
Pattern of Diffusion Recognition in a Molecular Communication Model
The Application of Artificial Intelligence Technology in Healthcare: A Systematic Review
A Comprehensive Study of the Environmental Effects on WiFi Received Signal Strength: Lab Scenario
An Effective Protein Multiple Structure Alignment Using Parallel Computing
A Classification Approach for Crime Prediction
Mitigate the Reverberant Effects on Speaker Recognition via Multi-training
VIKOR Algorithm Based on Cuckoo Search for Multi-document Text Summarization
Experimenting Two Machine Learning Methods in Classifying River Water Quality
Political Articles Categorization Based on Different Naïve Bayes Models
Cooperative Spectrum Sensing Method Using Sub-band Decomposition with DCT for Cognitive Radio System
Towards Smart Meter Energy Analysis and Profiling to Support Low Carbon Emissions
A Trusted MANET Routing Algorithm Based on Fuzzy Logic
A Novel Detection System for Human Retina Based on Fuzzification Neural Network
Eukaryotic Ancestry in a Finite World
Causal pi-Calculus for Biochemical Modelling
Enhanced Operational Semantics in Systems Biology
Stationary Distributions and Metastable Behaviour for Self-regulating Proteins with General Lifetime Distributions
Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data
ABC(SMC) 2 : Simultaneous Inference and Model Checking of Chemical Reaction Networks
Computational Methods in Systems Biology, 8th International Conference, CMSB 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings
Scalable Control of Asynchronous Boolean Networks
Experimental Biological Protocols with Formal Semantics
Interaction Graphs of Phytoplankton Species Interactions Using Logical Learning
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding
Graphical Conditions for Rate Independence in Chemical Reaction Networks
Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
BlenX4Bio - BlenX for Biologists
Large-Scale Design Space Exploration of SSA
The singular power of the environment on stochastic nonlinear threshold Boolean automata networks
Effects of Molecular Noise on the Multistability in a Synthetic Genetic Oscillator
Exploring the Cellular Objective in Flux Balance Constraint-Based Models
The Biochemical Abstract Machine BIOCHAM
The kappa -Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
Bio-Curation for Cellular Signalling: The KAMI Project
Reducing Boolean Networks with Backward Boolean Equivalence
Propagation models for computing biochemical reaction networks
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus
Revisiting the Training of Logic Models of Protein Signaling Networks with ASP
Extensible and Executable Stochastic Models of Fatty Acid and Lipid Metabolism
Brane Calculi
Parameter Identification and Model Ranking of Thomas Networks
Multi-objective Optimisation, Sensitivity and Robustness Analysis in FBA Modelling
Abduction Based Drug Target Discovery Using Boolean Control Network
Graphical Conditions Ensuring Equality Between Differential and Mean Stochastic Dynamics
A Method to Identify Essential Enzymes in the Metabolism: Application to Escherichia Coli
Bayesian Learning of Effective Chemical Master Equations in Crowded Intracellular Conditions
XTMS in Action: Retrosynthetic Design in the Extended Metabolic Space of Heterologous Pathways for High-Value Compounds
Prioritization of Candidate Genes Through Boolean Networks
Microbial Community Decision Making Models in Batch and Chemostat Cultures
Phenotype Control of Partially Specified Boolean Networks
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems
A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data
Identifying Submodules of Cellular Regulatory Networks
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation
Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability
Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis
Approximate Reductions of Rational Dynamical Systems in CLUE
Computational Methods in Systems Biology - 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, 2024, Proceedings
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic
LNA++: Linear Noise Approximation with First and Second Order Sensitivities
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis
Component-Based Modelling of RNA Structure Folding
Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data
Computational Methods in Systems Biology - 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021, Proceedings
Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
Kaemika App: Integrating Protocols and Chemical Simulation - Integrating Protocols and Chemical Simulation
Context Sensitivity in Logical Modeling with Time Delays
Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study
A Formal Approach to Identify Structural Patterns in RNA
Sequence Dependent Properties of the Expression Dynamics of Genes and Gene Networks
Biochemical Reaction Networks with Fuzzy Kinetic Parameters in Snoopy
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks
Predicting Phenotype from Genotype through Automatically Composed Petri Nets
Reachability Analysis for Parametric Rule-Based Models
Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa
Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry
MobsPy: A Meta-species Language for Chemical Reaction Networks
Compartmental Modeling Software: A Fast, Discrete Stochastic Framework for Biochemical and Epidemiological Simulation
A Computational Model for Eukaryotic Directional Sensing
Derivation of Qualitative Dynamical Models from Biochemical Networks
Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks
Reversible structures
Reachability Design Through Approximate Bayesian Computation
Transient Memory in Gene Regulation
Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression
Improved Parameter Estimation in Kinetic Models: Selection and Tuning of Regularization Methods
Evaluating PDE Discovery Methods for Multiscale Modeling of Biological Signals
Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
Toward real-time simulation of cardiac dynamics
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra
Radial Basis Function Approximations of Bayesian Parameter Posterior Densities for Uncertainty Analysis
Formal Analysis of Abnormal Excitation in Cardiac Tissue
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties
Automating the Development of Metabolic Network Models
The phosphorylation of the heat shock factor as a modulator for the heat shock response
Modelling Polar Retention of Complexes in Escherichia coli
On Defining and Computing "Good" Conservation Laws
Understanding signalling networks as collections of signal transduction pathways
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
Population Design for Synthetic Gene Circuits
Web-Based Structural Identifiability Analyzer
An Exact Brownian Dynamics Method for Cell Simulation
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks
Looking for Signs: Reasoning About FOBNNs Using SAT
Computer simulation of Salmonella typhimurium accumulation within tumors
Accelerating multiple target drug screening on GPUs
Predictive Modelling of Mitochondrial Spatial Structure and Health
Bayesian Parameter Estimation for Stochastic Reaction Networks from Steady-State Observations
A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data
A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties
A Formal Approach for Tuning Stochastic Oscillators
Differential and Integral Views of Gene-Phenotype Relations: A Systems Biological Insight
Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression Data
Three-State Gene Expression Model Parameterized for Single-Cell Multi-omics Data
Symbolic Dynamics of Biochemical Pathways as Finite States Machines
Automated Generation of Conditional Moment Equations for Stochastic Reaction Networks
On verifying Bio-PEPA models
A Model-Free Control Strategy for Selective Disruption of Parkinsonian Brain Oscillations
Algebraic Biochemistry: A Framework for Analog Online Computation in Cells
Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence
Neural Networks to Predict Survival from RNA-seq Data in Oncology
Autonomous Mobile Robot Control Based on White Blood Cell Chemotaxis
Symmetry-Based Model Reduction for Approximate Stochastic Analysis
Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
PREMER: Parallel Reverse Engineering of Biological Networks with Information Theory
Symmetry Breaking for GATA-1/PU.1 Model
An Approximate Execution of Rule-Based Multi-level Models
A multiscale approach to modelling planar cell polarity in Drosophila wing using hierarchically coloured Petri nets
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions
HPC selection of models of DNA substitution
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
Decoding Gene Regulation in Alzheimer's Disease with Transfer Learning and Explainable Machine Learning
Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
Autonomous and Adaptive Control of Populations of Bacteria Through Environment Regulation
On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design in Stochastic Biochemical Reaction Networks
Graph Representations of Monotonic Boolean Model Pools
Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios
Computation of Immediate Neighbours of Monotone Boolean Functions
Control Strategies for the Regulation of the Eukaryotic Heat Shock Response
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis
Structural identification of GMA models: algorithm and model comparison
A Rule-Based Modeling Approach for Studying Animal Collectives: A Case Study of Juvenile Honeybee Thermotaxis
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium
LNetReduce: Tool for Reducing Linear Dynamic Networks with Separated Timescales
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems
Evolution as Design Engineer
Bimodal Protein Distributions in Heterogeneous Oscillating Systems
Condition for Periodic Attractor in 4-Dimensional Repressilators
On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network
(Mathematical) Logic for Systems Biology (Invited Paper)
Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast
Kolmogorov-Arnold Network for Gene Regulatory Network Inference
Sequential Reprogramming of Biological Network Fate
Black Box Checking for Biochemical Networks
An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams
Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction
Computational Methods in Systems Biology - 23rd International Conference, CMSB 2025, Lyon, France, September 10-12, 2025, Proceedings
Model Integration and Crosstalk Analysis of Logical Regulatory Networks
Parameter Estimation for Reaction Rate Equation Constrained Mixture Models
Coloured stochastic multilevel multiset rewriting
Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System
Dynamic Compartments in the Imperative pi -Calculus
On Estimating Derivatives of Input Signals in Biochemistry
Optimal Input Design for Model Selection in Systems with Cell-to-Cell Variability
KaSa: A Static Analyzer for Kappa
Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurodegenerative Disease Model
A comparative study of stochastic analysis techniques
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems
Joint Distribution of Protein Concentration and Cell Volume Coupled by Feedback in Dilution
Approximation of Event Probabilities in Noisy Cellular Processes
Boolean Network Identification from Multiplex Time Series Data
A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics
Stochastic Rate Parameter Inference Using the Cross-Entropy Method
Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings
Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions
Multiscale Modelling of Neuronal Signalling
Multiscale Modeling of Alternative Splicing Regulation
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models
Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control
Automated Inference of Production Rules for Glycans
ABC-Fun: A Probabilistic Programming Language for Biology
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways
Inferring Reaction Models from ODEs
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion
Quantitative Pathway Logic for Computational Biology
Sequential Reprogramming of Boolean Networks Made Practical
Average Sensitivity of Nested Canalizing Multivalued Functions
A Stochastic Model for the Formation of Spatial Methylation Patterns
Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming
Chemical Master Equation and Langevin Regimes for a Gene Transcription Model
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
Core Models of Receptor Reactions to Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to Apoptosis
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins
SAT-Based Metabolics Pathways Analysis without Compilation
Qualitative Modeling and Simulation of Bacterial Regulatory Networks
Synthesis for Vesicle Traffic Systems
Integrating Simulation Packages via Systems Biology Mark-Up Language
Explainable Artificial Neural Network for Recurrent Venous Thromboembolism Based on Plasma Proteomics
Aeon 2021: Bifurcation Decision Trees in Boolean Networks
Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods
A Simple Model to Control Growth Rate of Synthetic E. coli during the Exponential Phase: Model Analysis and Parameter Estimation
Fast Enumeration of Non-isomorphic Chemical Reaction Networks
Type Inference in Systems Biology
On Chemical Reaction Network Design by a Nested Evolution Algorithm
ManyCell: A Multiscale Simulator for Cellular Systems
Issues in Computational Methods for Functional Genomics and Systems Biology
Beta Binders for Biological Interactions
Using Process Algebra to Model Radiation Induced Bystander Effects
FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays
Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli
A Core Modeling Language for the Working Molecular Biologist (Abstract)
Probabilistic Multivariate Early Warning Signals
Growth Dependent Computation of Chokepoints in Metabolic Networks
Population Dynamics P Systems on CUDA
Precise Parameter Synthesis for Stochastic Biochemical Systems
A Lattice-Theoretic Framework for Metabolic Pathway Analysis
Residual Bootstrapping and Median Filtering for Robust Estimation of Gene Networks from Microarray Data
Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics
Concretizing the Process Hitting into Biological Regulatory Networks
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract
Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints
Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models
An Overview of Data Models for the Analysis of Biochemical Pathways
On the Full Control of Boolean Networks
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
Fridge Compiler: Optimal Circuits from Molecular Inventories
Biomimetic in Silico Devices
Models of Tet-On System with Epigenetic Effects
Expressive Models for Synaptic Plasticity
OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving Techniques
Projective Brane Calculus
Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models
Characterization of Reachable Attractors Using Petri Net Unfoldings
A Trace Query Language for Rule-Based Models
Modelling and Analysis of Phase Variation in Bacterial Colony Growth
Detection of Multi-clustered Genes and Community Structure for the Plant Pathogenic Fungus Fusarium graminearum
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks
On the Verification and Correction of Large-Scale Kinetic Models in Systems Biology
Exact Linear Reduction for Rational Dynamical Systems
Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models
Logical modelling of haematopoietic cell fate reprogramming
Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach
How to Synthesize an Optimized Genetic-Switching System? A System-Theoretic Approach Based on SQP
Characterization of the Experimentally Observed Clustering of VEGF Receptors
Dynamic Image-Based Modelling of Kidney Branching Morphogenesis
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings
Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference
Rate Equations for Graphs
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models
Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Regulatory Network Reconstruction Using Stochastic Logical Networks
A More Expressive Spline Representation for SBML Models Improves Code Generation Performance in AMICI
Batch Effect Correction in a Confounded Scenario: a Case Study on Gene Expression of Chornobyl Tree Frogs
Matching Models Across Abstraction Levels with Gaussian Processes
Automated Property Synthesis of ODEs Based Bio-pathways Models
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
How Much Do DNA and Protein Deep Embeddings Preserve Biological Information?
TransferEntropyPT: An R Package to Assess Transfer Entropies via Permutation Tests
On the Complexity of Quadratization for Polynomial Differential Equations
Feedbacks and Oscillations in the Virtual Cell VICE
A Language for Biochemical Systems
Abstract Simulation of Reaction Networks via Boolean Networks