نتایج جستجو برای: carma

تعداد نتایج: 335  

2014
Jane Hillston Michele Loreti

CARMA is a new language recently defined to support quantified specification and analysis of collective adaptive systems. It is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. This class of systems is typically composed of a huge number of interacting agen...

2016
Michele Loreti Jane Hillston

Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. This class of systems is typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals. This chapter presents CARMA, a language recently defined to support specifi...

2008
PETER J. BROCKWELL

The deenition and properties of L evy-driven CARMA (continuous-time ARMA) processes are reviewed. Gaussian CARMA processes are special cases in which the driving L evy process is Brownian motion. The use of more general L evy processes permits the speciication of CARMA processes with a wide variety of marginal distributions which may be asymmetric and heavier tailed than Gaus-sian. Non-negative...

2004
PETER J BROCKWELL

The de nition and properties of L evy driven CARMA continuous time ARMA processes are re viewed Gaussian CARMA processes are special cases in which the driving L evy process is Brownian motion The use of more general L evy processes permits the speci cation of CARMA processes with a wide variety of marginal distributions which may be asymmetric and heavier tailed than Gaus sian Non negative CAR...

2015
Luca Bortolussi Rocco De Nicola Vashti Galpin Stephen Gilmore Jane Hillston Diego Latella Michele Loreti Mieke Massink

In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in openended and unpredictable environments. This class of systems is typically composed of a huge number of intera...

2006
D. W. Hawkins

This tutorial presents an overview of the Combined Array for Research in MillimeterWave Astronomy (CARMA) and its use of Linux in its embedded systems. CARMA was formed by the merger of two university-based millimeter arrays; the Owens Valley Radio Observatory (OVRO) millimeter array, and the Berkeley-Illinois-Maryland Association (BIMA) millimeter array. The new instrument provides unparallele...

Journal: :Statistics and Computing 2015
Helgi Tómasson

Representation of continuous-time ARMA, CARMA, models is reviewed. Computational aspects of simulating and calculating the likelihood-function of CARMA are summarized. Some numerical properties are illustrated by simulations. Some real data applications are shown.

2009
Susan Eitelman Joan Ryder Michael Szczepkowski Thomas Santarelli

Cognitive Agent-based Real-time Measurement and Assessment (CARMA) is an automated performance assessment methodology for team training applications. This paper describes CARMA particularly focusing on its application to automated performance assessment of team communications. With CARMA, performance assessment is incorporated into the agent’s reasoning, allowing performance assessment to be in...

2017
Vashti Galpin

CARMA is process-algebra influenced language for the quantitative modelling of collective adaptive systems which involve collaboration and coordination. These systems consist of multiple components that interact to achieve certain goals and that adapt to changes in the environment. As a case study for the application of CARMA, this paper presents an ambulance deployment system where ambulances ...

2001
Karl Branting John D. Hastings Jeffrey A. Lockwood

CARMA is an advisory system for rangeland grasshopper infestations that demonstrates how AI technology can deliver expert advice to compensate for cutbacks in public services. CARMA uses two knowledge sources for the key task of predicting forage consumption by grasshoppers: cases obtained by asking a group of experts to solve representative hypothetical problems; and a numerical model of range...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید