Search Results - "Stochastic Concurrent Constraint Programming"

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Cover Image

    Modeling Biological Systems in Stochastic Concurrent Constraint Programming by Bortolussi, Luca, Policriti, Alberto

    ISSN: 1383-7133, 1572-9354
    Published: Boston Springer US 01.06.2008
    Published in Constraints : an international journal (01.06.2008)
    “…We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Stochastic Concurrent Constraint Programming by Bortolussi, Luca

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 26.10.2006
    “…We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Hybrid behaviour of Markov population models by Bortolussi, Luca

    ISSN: 0890-5401, 1090-2651
    Published: Elsevier Inc 01.04.2016
    Published in Information and computation (01.04.2016)
    “…We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    Modeling Biological Systems in Stochastic Concurrent Constraint Programming : Bioinformatics and constraints by BORTOLUSSI, Luca, POLICRITI, Alberto

    ISSN: 1383-7133
    Published: Heidelberg Springer 2008
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

    Hybrid dynamics of stochastic programs by Bortolussi, Luca, Policriti, Alberto

    ISSN: 0304-3975
    Published: 28.04.2010
    Published in Theoretical computer science (28.04.2010)
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    Stochastic Concurrent Constraint Programming and Differential Equations by Bortolussi, Luca, Policriti, Alberto

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 06.09.2007
    “…) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Cover Image

    On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation by Bortolussi, Luca

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 12.12.2008
    “…We explore the relation between the stochastic semantic associated to stochastic Concurrent Constrain Programming (sCCP) and its fluid-flow approximation…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  8. 8
    Cover Image

    Studying cancer-cell populations by programmable models of networks by Bortolussi, Luca, Policriti, Alberto

    ISSN: 2192-6662, 2192-6670
    Published: Vienna Springer Vienna 01.09.2012
    “… The methodology we propose uses a stochastic Concurrent Constraint Programming language, a flexible stochastic modelling language employed to code networks of agents. It is applied…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  9. 9
    Cover Image

    Programmable models of growth and mutation of cancer-cell populations by Bortolussi, Luca, Policriti, Alberto

    ISSN: 2075-2180, 2075-2180
    Published: Open Publishing Association 10.09.2011
    “… The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  10. 10
    Cover Image

    External Control in Process Algebra for Systems Biology by Del Tedesco, Filippo, Piazza, Carla

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 04.01.2009
    “… On the other hand, other proposed languages such as Hybrid Automata and Stochastic Concurrent Constraint Programming introduce in the system description an external control and provide more structured models…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  11. 11
    Cover Image

    The Importance of Being (A Little Bit) Discrete by Bortolussi, Luca, Policriti, Alberto

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 28.02.2009
    “…We compare the hybrid, stochastic, and differential semantics for stochastic Concurrent Constraint Programming, focussing on the exhibited behavior of models and their robustness…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  12. 12
    Cover Image

    Programmable models of growth and mutation of cancer-cell populations by Bortolussi, Luca, Policriti, Alberto

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 07.09.2011
    Published in arXiv.org (07.09.2011)
    “… The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language…”
    Get full text
    Paper
    Save to List
    Saved in:
  13. 13
    Cover Image

    Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps by Bortolussi, L., Fonda, S., Policriti, A.

    ISBN: 0769530311, 9780769530314
    Published: IEEE 01.01.2007
    “…We present a method to simulate biochemical networks described by the graphical notation of Molecular Interaction Maps within stochastic Concurrent Constraint Programming…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Cover Image

    Hybrid Behaviour of Markov Population Models by Bortolussi, Luca

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 11.01.2013
    Published in arXiv.org (11.01.2013)
    “…We investigate the behaviour of population models written in Stochastic Concurrent Constraint Programming (sCCP…”
    Get full text
    Paper
    Save to List
    Saved in:

Search Tools: