Nothing Special   »   [go: up one dir, main page]

Claessen et al., 2013 - Google Patents

Model-checking signal transduction networks through decreasing reachability sets

Claessen et al., 2013

View PDF
Document ID
10519253534667382383
Author
Claessen K
Fisher J
Ishtiaq S
Piterman N
Wang Q
Publication year
Publication venue
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings 25

External Links

Snippet

We consider model checking of Qualitative Networks, a popular formalism for modeling signal transduction networks in biology. One of the unique features of qualitative networks, due to them lacking initial states, is that of “reducing reachability sets”. Simply put, a state …
Continue reading at www.cs.le.ac.uk (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G06F19/10—Bioinformatics, i.e. methods or systems for genetic or protein-related data processing in computational molecular biology
    • G06F19/12—Bioinformatics, i.e. methods or systems for genetic or protein-related data processing in computational molecular biology for modelling or simulation in systems biology, e.g. probabilistic or dynamic models, gene-regulatory networks, protein interaction networks or metabolic networks
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G06F19/10—Bioinformatics, i.e. methods or systems for genetic or protein-related data processing in computational molecular biology
    • G06F19/22—Bioinformatics, i.e. methods or systems for genetic or protein-related data processing in computational molecular biology for sequence comparison involving nucleotides or amino acids, e.g. homology search, motif or SNP [Single-Nucleotide Polymorphism] discovery or sequence alignment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G06F17/30386—Retrieval requests
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition

Similar Documents

Publication Publication Date Title
Calzone et al. Machine learning biochemical networks from temporal logic properties
Fages et al. Inferring reaction systems from ordinary differential equations
Claessen et al. Model-checking signal transduction networks through decreasing reachability sets
Cook et al. Proving stabilization of biological systems
Klarner et al. Parameter identification and model ranking of thomas networks
Klarner et al. Approximating attractors of Boolean networks by iterative CTL model checking
Wang et al. Linux kernels as complex networks: A novel method to study evolution
Paoletti et al. Analyzing and synthesizing genomic logic functions
Nabli et al. On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
Winter et al. Backwards-directed information flow analysis for concurrent programs
Bernardini et al. A hybrid approach to modeling biological systems
Gawlitza et al. Improving strategies via SMT solving
Paulevé et al. Analyzing large network dynamics with process hitting
Bortolussi et al. (Hybrid) automata and (stochastic) programs The hybrid automata lattice of a stochastic program
Pal et al. OnSRAM: Efficient inter-node on-chip scratchpad management in deep learning accelerators
Drábik et al. Modular Verification of Interactive Systems with an Application to Biology.
Spieler Characterizing oscillatory and noisy periodic behavior in markov population models
Gössler Component-based modeling and reachability analysis of genetic networks
Argyris et al. Minimization of Dynamical Systems over Monoids
Rangel et al. Deriving bisimulation congruences in the presence of negative application conditions
Li et al. High-speed parameter search of dynamic biological pathways from time-course transcriptomic profiles using high-level Petri net
Nikolić et al. A rule-based and imperative language for biochemical modeling and simulation
Chiang et al. Hybrid simulations of heterogeneous biochemical models in SBML
Andreychenko et al. Analyzing oscillatory behavior with formal methods
Bortolussi et al. Hybrid dynamics of stochastic π-calculus