Sciweavers

2941 search results - page 245 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 3 months ago
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. We present SABRE, ...
Frédéric Didier, Thomas A. Henzinger...
CORR
2011
Springer
171views Education» more  CORR 2011»
15 years 1 months ago
A Class of Probabilistic Automata with a Decidable Value 1 Problem
The value 1 problem is a decision problem for probabilistic automata on finite words: given a probabilistic automaton A, are there words accepted by A with probability arbitraril...
Nathanaël Fijalkow, Hugo Gimbert, Youssouf Ou...
CORR
2011
Springer
183views Education» more  CORR 2011»
15 years 1 months ago
Mean-Variance Optimization in Markov Decision Processes
We consider finite horizon Markov decision processes under performance measures that involve both the mean and the variance of the cumulative reward. We show that either randomiz...
Shie Mannor, John N. Tsitsiklis
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 1 months ago
A recombination algorithm for the decomposition of multivariate rational functions
In this paper we show how we can compute in a deterministic way the decomposition of a multivariate rational function with a recombination strategy. The key point of our recombinat...
Guillaume Chèze
TFS
2010
130views Education» more  TFS 2010»
15 years 1 months ago
Toward General Type-2 Fuzzy Logic Systems Based on zSlices
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...
Christian Wagner, Hani Hagras