Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison

No abstract is available for this paper.

• Publication year

  2021

• Venue

  IPS-RCRA@AI*IA

• Publication date

  Unknown publication date

• Fields of study

  Medicine, Computer Science, Engineering

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Efficient gradient-based parameter estimation for dynamic models using qualitative data

  2021cited by this paper
• A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries

  2021cited by this paper
• Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification

  2021cited by this paper
• Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer

  2021cited by this paper
• Reconciling interoperability with efficient Verification and Validation within open source simulation environments

  2021cited by this paper
• Combination treatment optimization using a pan-cancer pathway model

  2020cited by this paper
• Constraints and Symmetries

  2020cited by this paper
• Complete populations of virtual patients for in silico clinical trials

  2020cited by this paper
• AMICI: high-performance sensitivity analysis for large ordinary differential equation models

  2020cited by this paper
• Designing optimal combination therapy for personalised glioma treatment

  2020cited by this paper
• SBML2Julia: interfacing SBML with efficient nonlinear Julia modelling and solution tools for parameter optimization

  2020cited by this paper
• MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks

  2020cited by this paper
• Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins

  2020cited by this paper
• Combination therapy with T cell engager and PD-L1 blockade enhances the antitumor potency of T cells as predicted by a QSP model

  2020influential reference
• Optimising Hydrogel Release Profiles for Viro-Immunotherapy Using Oncolytic Adenovirus Expressing IL-12 and GM-CSF with Immature Dendritic Cells

  2020cited by this paper
• PEtab—Interoperable specification of parameter estimation problems in systems biology

  2020cited by this paper
• On Parameter Estimation Approaches for Predicting Disease Transmission Through Optimization, Deep Learning and Statistical Inference Methods

  2019cited by this paper
• Systems biology informed deep learning for inferring parameters and hidden dynamics

  2019cited by this paper
• Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception

  2019cited by this paper
• BioUML: an integrated environment for systems biology and collaborative analysis of biomedical data

  2019cited by this paper
• Parameter estimation of a meal glucose-insulin model for TIDM patients from therapy historical data.

  2019cited by this paper
• Determinants of combination GM-CSF immunotherapy and oncolytic virotherapy success identified through in silico treatment personalization

  2019cited by this paper
• SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems

  2019cited by this paper
• Parallel Statistical Model Checking for Safety Verification in Smart Grids

  2018cited by this paper
• Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network

  2018cited by this paper
• Computing Personalised Treatments through In Silico Clinical Trials

  2018cited by this paper
• Benchmarking optimization methods for parameter estimation in large kinetic models

  2018cited by this paper
• Evaluation of Derivative-Free Optimizers for Parameter Estimation in Systems Biology

  2018cited by this paper
• An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks

  2018cited by this paper
• The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core

  2018cited by this paper
• Handbook of Model Checking

  2018cited by this paper
• pyABC: distributed, likelihood-free inference

  2017cited by this paper
• PESTO: Parameter EStimation TOolbox

  2017cited by this paper
• Residential demand management using individualised demand aware price policies

  2017cited by this paper
• Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles

  2017cited by this paper
• Simulation-based optimization of radiotherapy: Agent-based modeling and reinforcement learning

  2017cited by this paper
• Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles.

  2017cited by this paper
• On minimising the maximum expected verification time

  2017cited by this paper
• Anytime system level verification via parallel random exhaustive hardware in the loop simulation

  2016cited by this paper
• Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach

  2016cited by this paper
• AMIGO2, a toolbox for dynamic modeling, optimization and control in systems biology

  2016cited by this paper
• Dynamic Modeling, Parameter Estimation and Uncertainty Analysis in 𝗥

  2016cited by this paper
• RECIST 1.1-Update and clarification: From the RECIST committee.

  2016cited by this paper
• libRoadRunner: A High Performance SBML Simulation and Analysis Library

  2015cited by this paper
• PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior

  2015cited by this paper
• SyLVaaS: System Level Formal Verification as a Service

  2015cited by this paper
• Computing Biological Model Parameters by Parallel Statistical Model Checking

  2015cited by this paper
• User Flexibility Aware Price Policy Synthesis for Smart Grids

  2015cited by this paper
• Data2Dynamics: a modeling environment tailored to parameter estimation in dynamical systems

  2015cited by this paper
• Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation

  2014cited by this paper
• Parameter Estimation for Personalization of Liver Tumor Radiofrequency Ablation

  2014cited by this paper
• Patient-specific models from inter-patient biological models and clinical records

  2014cited by this paper
• System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation

  2014cited by this paper
• Planning as Model Checking in Hybrid Domains

  2014cited by this paper
• Demand-aware price policy synthesis and verification services for Smart Grids

  2014cited by this paper
• MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics

  2013cited by this paper
• System Level Formal Verification via Model Checking Driven Simulation

  2013cited by this paper
• Optimal dosing of cancer chemotherapy using model predictive control and moving horizon state/parameter estimation

  2012cited by this paper
• Combinatorial problem solving over relational databases: view synthesis through constraint-based local search

  2012cited by this paper
• What is the European Medicines Agency?

  2012cited by this paper
• Satisfiability modulo theories

  2011cited by this paper
• The U.S. Food and Drug Administration

  2009cited by this paper
• Evaluating ASP and Commercial Solvers on the CSPLib

  2006cited by this paper
• SAT as an Effective Solving Technology for Constraint Problems

  2006cited by this paper
• Modelling Mixed Discrete-Continuous Domains for Planning

  2006cited by this paper
• Handbook of Constraint Programming

  2006cited by this paper
• Combining relational algebra, SQL, constraint modelling, and local search*

  2006cited by this paper
• BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems

  2005cited by this paper
• Detecting and Breaking Symmetries by Reasoning on Problem Specifications

  2005cited by this paper
• Modelica - A Unified Object-Oriented Language for System Modelling and Simulation

  1998cited by this paper
• Dynamic modeling

  1977cited by this paper
• Expressiveness ∗

  year unknowncited by this paper

• Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking

  2022cites this paper
• Formal Certification of Surrogate Models for Cyber-Physical Systems Verification

  2022cites this paper