FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

A
annotation	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Atom tracing	Rule-Based Gillespie Simulation of Chemical Systems
B
BayesianInference	Bayesian Verification of Chemical Reaction Networks
bisimulation	Using Transitivity and Modularity in Chemical Reaction Network Bisimulation
C
chemical computation	Computing properties of stable configurations of thermodynamic binding networks
Chemical Reaction Networks	Using Transitivity and Modularity in Chemical Reaction Network Bisimulation Noise control for molecular computing
Coarse-grained modeling	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
compiler	Equivalence of chemical reaction networks in a CRN-to-DNA compiler framework.
computational complexity	Using Transitivity and Modularity in Chemical Reaction Network Bisimulation
Computational modeling	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Conservative approximation	Conservative approximations of polymers
CRN	Bayesian Verification of Chemical Reaction Networks
CRN equivalence	Equivalence of chemical reaction networks in a CRN-to-DNA compiler framework.
D
Data Driven modelling	Bayesian Verification of Chemical Reaction Networks
Differential Equations	Conservative approximations of polymers
DNA algorithmic self-assembly	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
domain-level strand displacement	Equivalence of chemical reaction networks in a CRN-to-DNA compiler framework.
E
Evolution systems	Conservative approximations of polymers
F
formal specification	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
formal verification	Using Transitivity and Modularity in Chemical Reaction Network Bisimulation Formal Verification of Network-Based Biocomputation Circuits
FormalVerification	Bayesian Verification of Chemical Reaction Networks
G
Gillespie algorithm	Rule-Based Gillespie Simulation of Chemical Systems
Graph transformation	Rule-Based Gillespie Simulation of Chemical Systems
H
hardness of approximation	Computing properties of stable configurations of thermodynamic binding networks
I
Intrinsic noise	Noise control for molecular computing
L
logic programming	Rule-based design of computational DNA devices
M
Modeling	Rule-based design of computational DNA devices
Molecular computing	Noise control for molecular computing
Molecular Filters	Molecular Filters for Noise Reduction
Molecular programming	Rule-based design of computational DNA devices
N
Nanofabricated Devices	Formal Verification of Network-Based Biocomputation Circuits
Network Based Biocomputation	Formal Verification of Network-Based Biocomputation Circuits
Network-free simulation	Rule-Based Gillespie Simulation of Chemical Systems
Noise Reduction	Molecular Filters for Noise Reduction
P
Polymers	Conservative approximations of polymers
R
reduction to SAT	Computing properties of stable configurations of thermodynamic binding networks
Rule-base modeling	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
rule-based language	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Rule-based modelling	Rule-Based Gillespie Simulation of Chemical Systems Conservative approximations of polymers
S
Stochastic Chemical Reaction Networks	Molecular Filters for Noise Reduction
Stochastic dynamical systems and control	Noise control for molecular computing
Stochastic modeling	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Stochastic simulation	Rule-Based Gillespie Simulation of Chemical Systems
Structural modeling	Computational Approaches for the Programmed Assembly of Nanocellulose Meshes
Synthetic Biology	Bayesian Verification of Chemical Reaction Networks
Systems Biology	Bayesian Verification of Chemical Reaction Networks

Disclaimer | Powered by EasyChair Smart Program