Filters
ProbDiVinE: A Parallel Qualitative LTL Model Checker
We introduce a parallel model checker for checking Markov decision Processes against linear time properties. The model checker extends the parallel model checker DiVinE and supports verification of qualitative properties....
IN - Informatika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
On the discretized pantograph equation
This paper deals with some qualitative and numerical properties of the delay differential equation $$dot x(t)=Ax(t)+Bx(lambda t), 0 < lambda < 1,$$ where A,B are n x n constant matrices. The studied equation serves as a mathematical...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A General Construction of Linear Differential Equations with Solutions of Prescribed Properties
Effective constructions of ordinary linear differential equations of arbitrary orders are presented that give equations with solutions of prescribed qualitative properties, like solutions in the classes Lp, converging to zero or bou...
BA - Obecná matematika
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Qualitative Properties of a Variational Inequality of the Navier-Stokes Type
BA - Obecná matematika
- 1994 •
- X
Rok uplatnění
X - Nezařazeno
Qualitative Properties of Equivalent Differential Equations.
Annotation not available...
BA - Obecná matematika
- 2000 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
that the qualitative and quantitative model-checking problem for omega-regular properties and pPDAWe consider qualitative and quantitative model-checking problems the qualitative fragment of the logic PECTL* for p...
IN - Informatika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Model Checking Probabilistic Pushdown Automata
(pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove thatboth qualitative and quantitative model che...
IN - Informatika
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Model Checking Probabilistic Pushdown Automata
of properties and pPDA is decidable. Then we show that model checking for the qualitative, we consider the class of omega-regular properties and show that both qualitative (pPDA) and properties expressibl...
IN - Informatika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Qualitative evaluation of cookies produced by incorporation of coffee extracts into their formulation
The aim of this study was to evaluate and identify the most satisfactory organoleptic properties of coffee extracts added into cookies formulation. For that reason, colour determination and sensory evaluation of important qualitative
GM - Potravinářství
- 2012 •
- O
Rok uplatnění
O - Ostatní výsledky
Naphtoquinones, their properties and analysis
This chapter is interested in naphthoquinones occurrence in nature, their pharmacological properties and possibilities of qualitative and quantitative determination by different analytical tools....
FR - Farmakologie a lékárnická chemie
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
- 1 - 10 out of 117 025