Filters
State models of health insurance
State models of health insurance...
BA - Obecná matematika
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
State dependence in performance evaluation of component-based software systems
to model stateful components. Based on the results, we introduce a classification scheme and present the state-defining and state-dependent model parameters. We extend, with state-modelling
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Noise Identification for Data-augmented Physics-based State-Space Models
This paper deals with the state-space modelling of nonlinear stochastic dynamic modelling of the state dynamics, which combines the benefits of the physics-driven and data-based identified models. As the a...
Automation and control systems
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Using Finite State Automata to Model and Solve Planning Problems
the papers how to use finite state automate to model state transitions in planning problems.
IN - Informatika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
New Canonical State Models of the Third-Order Piecewise-Linear Dynamical Systems
New state models of piecewise-linear dynamical systems are introduced. Their state matrix equations and corresponding integrator-based circuit models are proposed including their relations with the first elementary...
JA - Elektronika a optoelektronika, elektrotechnika
- 1999 •
- D
Rok uplatnění
D - Stať ve sborníku
Using Assumptions to Distribute CTL Model Checking
In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ``partial state spaces''. The partial state space is modelled as a Kripke st...
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
State Estimation and Model Predictive Control for the Systems with Uniform Noise
This paper concerns the model predictive control applied to the systems with bounded uncertainties. These systems are described by a state-space model with uniformly distributed states and outputs with unknown boun...
BC - Teorie a systémy řízení
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Thermal Unfolding of Ribonuclease A in Phosphate and Nneutral pH: Deviations from the Two-State Model
Thermal Unfolding of Ribonuclease A in Phosphate and Nneutral pH: Deviations from the Two-State Model from the Two-State Model......
CE - Biochemie
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Microstructure in ferromagnetics and its steady-state and evolution models.
Microstructure in ferromagnetics and its steady-state and evolution models are dealt with.
BA - Obecná matematika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Assumption-based distribution of CTL model checking
In this paper we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ldquopartial state spaces. The partial state space is modelled as a Kripke ...
IN - Informatika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 244 592