Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
39
On Conformal Field Theory and Stochastic Loewner Evolution
, 2004
"... We describe Stochastic Loewner Evolution on arbitrary Riemann surfaces with boundary using Conformal Field Theory methods. We propose in particular a CFT construction for a probability measure on (clouded) paths, and check it against known restriction properties. The probability measure can be thoug ..."
Abstract
-
Cited by 16 (3 self)
- Add to MetaCart
We describe Stochastic Loewner Evolution on arbitrary Riemann surfaces with boundary using Conformal Field Theory methods. We propose in particular a CFT construction for a probability measure on (clouded) paths, and check it against known restriction properties. The probability measure can
A model checking approach to the parameter estimation of biochemical pathways
- in Computational Methods in Systems Biology
"... Abstract. Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to ex-hibit certain properties to be classed ‘acceptable’. In this work we use model checking in a new setting; parameter estimation. We characterise the desired beha ..."
Abstract
-
Cited by 35 (7 self)
- Add to MetaCart
behaviour of a model in a temporal logic property and al-ter the model to make it conform to the property (determined through model checking). We have implemented a computational system called MC2(GA) which pairs a model checker with a genetic algorithm. To drive parameter estimation, the fitness of set
Consistency Relations for the Conformal Mechanism
"... We systematically derive the consistency relations associated to the non-linearly realized symmetries of theories with spontaneously broken conformal symmetry but with a linearly-realized de Sitter subalgebra. These identities relate (N+1)-point correlation functions with a soft external Goldstone t ..."
Abstract
- Add to MetaCart
We systematically derive the consistency relations associated to the non-linearly realized symmetries of theories with spontaneously broken conformal symmetry but with a linearly-realized de Sitter subalgebra. These identities relate (N+1)-point correlation functions with a soft external Goldstone
Stochastic Loewner Evolution and Dyson’s Circular Ensembles
- J. Phys. A
"... Stochastic Loewner Evolution (SLEκ) has been introduced as a description of the continuum limit of cluster boundaries in two-dimensional critical systems. We show that the problem of N radial SLEs in the unit disc is equivalent to Dyson’s Brownian motion on the boundary of the disc, with parameter β ..."
Abstract
-
Cited by 17 (1 self)
- Add to MetaCart
Calogero-Sutherland hamiltonian. The main result is also checked against the predictions of conformal field theory.
Fluid Petri Nets and Hybrid Model-checking: A comparative case study
, 2003
"... The modeling and analysis of hybrid systems is a recent and challenging research area which is actually dominated by two main lines: a functional analysis based on the description of the system in terms of discrete state (hybrid) automata (whose goal is to ascertain conformity and reachability pr ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
The modeling and analysis of hybrid systems is a recent and challenging research area which is actually dominated by two main lines: a functional analysis based on the description of the system in terms of discrete state (hybrid) automata (whose goal is to ascertain conformity and reachability
Derivation of Stochastic Reward Net for Compatability and Conformance Verification of Component Erronous Behaviour Model
"... Abstract — The compatibility verification between interacting components and the conformance verification of their internal behavior with the corresponding ports protocol behavior are crucial steps for the early identification of unexpected messages between components. The behavior models used for v ..."
Abstract
- Add to MetaCart
behavior to UML state machines representing normal behavior. In this paper we present transformation rules for deriving Stochastic Reward Net (SRN) from CeBAM representations. The first step is to generate SRN for individual component behavior in order to check the conformance between component internal
Model-checking based on Fluid Petri Nets for the temperature control system of the ICARO co-generative plant
, 2002
"... The modeling and analysis of hybrid systems is a recent and challenging research area which is actually dominated by two main lines: a functional analysis based on the description of the system in terms of discrete state (hybrid) automata (whose goal is to ascertain for conformity and reachability p ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
model can be fed to a functional analyser for model checking as well as to a stochastic analyser for performance evaluation. We illustrate our approach and show its usefulness by applying it to a "real world" hybrid system: the temperature control system of a co-generative plant.
Benford’s Law applied to hydrology data – results and relevance to other geophysical data, preprint
"... Abstract Benford’s Law gives the expected frequencies of the digits in tabulated data and asserts that the lower digits (1, 2, and 3) are expected to occur more fre-quently than the higher digits. This study tested whether the law applied to two large earth science data sets. The first test analyzed ..."
Abstract
-
Cited by 30 (15 self)
- Add to MetaCart
Abstract Benford’s Law gives the expected frequencies of the digits in tabulated data and asserts that the lower digits (1, 2, and 3) are expected to occur more fre-quently than the higher digits. This study tested whether the law applied to two large earth science data sets. The first test
Extending Refusal Testing by Stochastic Refusals for f or Testing Non-deterministic Non deterministic Systems
"... Testing is a validation activity used to check the system’s correctness with respect to the specification. In this context, test based on refusals is studied in theory and tools are effectively constructed. This paper addresses, a formal testing based on stochastic refusals graphs (SRG) in order to ..."
Abstract
- Add to MetaCart
Testing is a validation activity used to check the system’s correctness with respect to the specification. In this context, test based on refusals is studied in theory and tools are effectively constructed. This paper addresses, a formal testing based on stochastic refusals graphs (SRG) in order
A Stochastic Stick- Slip Model Linking Crustal Shear Strength and Earthquake Interevent Times
, 2013
"... Background: The current understanding of the earthquake interevent times distribution (ITD) in terms of seismological laws or fundamental physical principles is incomplete. The Weibull distri-bution is used to model the earthquake ITD. Purpose: To better understand the earthquake ITD in terms of fra ..."
Abstract
- Add to MetaCart
of fracture mechanics. Method: We link the earthquake ITD on single faults with the Earth’s crustal shear strength dis-tribution, for which we use the Weibull model, by means of a phenomenological, stochastic stick-slip model. We generalize the model for fault systems. Results: We obtain Weibull ITD for power
Results 1 - 10
of
39
