2,698 research outputs found
Formulating State Space Models in R with Focus on Longitudinal Regression Models
We provide a language for formulating a range of state space models with response densities within the exponential family. The described methodology is implemented in the R-package sspir. A state space model is specified similarly to a generalized linear model in R, and then the time-varying terms are marked in the formula. Special functions for specifying polynomial time trends, harmonic seasonal patterns, unstructured seasonal patterns and time-varying covariates can be used in the formula. The model is fitted to data using iterated extended Kalman filtering, but the formulation of models does not depend on the implemented method of inference. The package is demonstrated on three datasets.
A Modal Characterisation of Distributed Bisimulation
In this paper we consider the distributed bisimulation equivalence defined by Hennessy and Castellani and later developed by Castellani. We present a logic in the style of Hennessy-Milner logic to charaterize the equivalence, i.e. we seek a logic such that whenever two processes are distributed bisimulation equivalent, they satisfy the same set of formulae and vice versa. Furthermore, for a small subset of CCS we provide a proof system which is shown to be sound and complete. The proof system is structural both in the structure of formulae and in the structure of processes. For the case of parallel composition of processes we present inference rules defined via a new combinator introduced. The combinator in question is left merge, a special kind of parallel composition in which the left operand has precedence over the other and must perform the first action observed
Organic farming and multicriteria decisions: An economic survey
Organic food production is a sphere where decision making is multi-facetted and complex. This applies to producers, political decision makers and consumers alike. This paper provides an overview of the economic methods that can aid such multi criteria decision making. We first provide an outline of the many different Multi-Criteria Analysis (MCA) techniques available and their relative advantages and disadvantages. In addition, theoretical and practical problems related to the use of Cost-Benefit Analysis (CBA) and MCA respectively are briefly discussed. We then review the MCA literature on case studies on organic farming. Based on this review we provide directional markers for future research where MCA may possibly be applied and adapted in order to provide useful knowledge and support for decision makers in the context of organic farming
Defoliation reduces soil biota - and modifies stimulating effects of elevated CO<sub>2</sub>
To understand the responses to external disturbance such as defoliation and possible feedback mechanisms at global change in terrestrial ecosystems, it is necessary to examine the extent and nature of effects on abovegroundâbelowground interactions. We studied a temperate heathland system subjected to experimental climate and atmospheric factors based on prognoses for year 2075 and further exposed to defoliation. By defoliating plants, we were able to study how global change modifies the interactions of the plantâsoil system. Shoot production, root biomass, microbial biomass, and nematode abundance were assessed in the rhizosphere of manually defoliated patches of Deschampsia flexuosa in June in a fullâfactorial FACE experiment with the treatments: increased atmospheric CO (2), increased nighttime temperatures, summer droughts, and all of their combinations. We found a negative effect of defoliation on microbial biomass that was not apparently affected by global change. The negative effect of defoliation cascades through to soil nematodes as dependent on CO (2) and drought. At ambient CO (2), drought and defoliation each reduced nematodes. In contrast, at elevated CO (2), a combination of drought and defoliation was needed to reduce nematodes. We found positive effects of CO (2) on root density and microbial biomass. Defoliation affected soil biota negatively, whereas elevated CO (2) stimulated the plantâsoil system. This effect seen in June is contrasted by the effects seen in September at the same site. Late season defoliation increased activity and biomass of soil biota and more so at elevated CO (2). Based on soil biota responses, plants defoliated in active growth therefore conserve resources, whereas defoliation after termination of growth results in release of resources. This result challenges the idea that plants via exudation of organic carbon stimulate their rhizosphere biota when in apparent need of nutrients for growth
Modular State Space Analysis of Coloured Petri Nets
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce it have been proposed but cannot yet handle industrial size systems.Large models often consist of a set of modules. Local properties of each module can be checked separately, before checking the validity of the entire system. We want to avoid the construction of a single state space of the entire system.When considering transition sharing, the behaviour of the total system can be capture by the state spaces of modules combined with a Synchronisation Graph. To verify that we do not lose information we show how the full state space can be conctructed.We show how it is possible to determine usual Petri Nets properites, without unfolding to the ordinary state space
Maximum mutual information vector quantization of log-likelihood ratios for memory efficient HARQ implementations
Creative Platform Learning (CPL):En undervisningsmodel hvor elevernes kreativitet anvendes til at styrke fagligheden
Giâr selvkørende biler mere plads pĂĽ vejen?
Med den stadig voksende andel af biler med Lane Keeping Assist (LKA) og Automatic Cruise Control (ACC) vil der komme nye muligheder for udnyttelse af infrastrukturen. Vejdirektoratet har derfor undersøgt om og hvor meget ekstra kapacitet, der kan komme pü vejene med disse to funktioner i bilerne.
Vurderingen er foretaget pü baggrund af VISSIM simuleringer af COWI. I simuleringerne ses pü blandet kørsel, hvor der büde er traditionelle biler og biler med ACC i trafikken. Der ses ligeledes pü de trafikale effekter af at etablere smallere spor, dedikeret til biler med LKA.
Den overordnede vurdering er, at flere biler med ACC kan give trafikale gevinster og mulighed for, at afvikle mere trafik pĂĽ samme veje. Samtidigt tyder det pĂĽ at der kan vĂŚre kapacitetsgevinster, hvis man udbygger eksisterende veje med dedikerede spor, sĂĽ lĂŚnge de eksisterende spor ikke underlĂŚgges begrĂŚnsninger.
Automatic Cruise Control (ACC) giver anledning til mere jÌvn kørsel og mulighed for, at bilerne kan køre tÌttere. IsÌr jÌvn kørsel betyder mulighed for vÌsentlige kapacitetsgevinster. Med 33 pct. biler med ACC i bilparken forøges den maksimale teoretiske kapacitet med 10 pct., imens 66 pct. selvkørende biler ved betyde en forøgelse pü 20 pct. af kapaciteten.
Lane Keeping Assist (LKA) gør bilerne i stand til, at holde sporene ved hjÌlp af linjerne pü vejene. Bilerne følger med andre ord et mere stabilt spor end manuelt førte biler. Det kan vise sig muligt - og sikkerhedsmÌssigt forsvarligt - at reducere vejbanernes bredde. Ved muligheden for at etablere et ekstra spor pga. smallere sporbredde viser simuleringerne, at det er muligt opnü en kapacitetsforøgelse pü op til 26 pct. ved en tredjedel selvkørende biler (ACC og LKA), imens der vil kunne opnüs op til 36 pct. ekstra kapacitet med 66 pct. selvkørende biler.
Resultaterne fra dette projekt kan give anledning til en videre granskning af muligheder for mere effektiv udnyttelse af infrastrukturen
- âŚ