Temat: verification theorem

Skocz do pozycji: 1.

Tytuł:: Sufficient approximate optimality condition for the inverse one-phase Stefan problem
Autorzy:: Lipnicka, Marta
Lipnicki, Artur
Nowakowski, Andrzej
Data publikacji:: 2024
Słowa kluczowe:: sufficient approximate optimality condition
inverse one-phase Stefan problem
computational algorithm
verification theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Finite-dimensional representations of the value functions of some optimal control problems
Autorzy:: Mirica, S.
Data publikacji:: 2002
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: funkcja brzegowa
funkcja wartości
regularność
sterowanie optymalne
twierdzenie weryfikacji
generalized characteristic flow
generalized Hamiltonian flow
marginal function
optimal control
regularity
value function
verification theorem; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Finite-dimensional representations of the value functions of some optimal control problems
Autorzy:: Mirica, S.
Data publikacji:: 2002
Słowa kluczowe:: funkcja brzegowa
funkcja wartości
regularność
sterowanie optymalne
twierdzenie weryfikacji
generalized characteristic flow
generalized Hamiltonian flow
marginal function
optimal control
regularity
value function
verification theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Programowanie dynamiczne w modelu inwestycji, produkcji i konsumpcji
Dynamic programming in investment, production and consumption model.
Autorzy:: Bucka, Karolina
Słowa kluczowe:: stochastyczne sterowanie optymalne; programowanie dynamiczne; równanie Hamiltona-Jacobiego-Bellmana; twierdzenie weryfikacyjne; model inwestycji, produkcji i konsumpcji;
stochastic optimal control; dynamic programming; Hamilton-Jacobi-Bellman equation, verification theorem; model of investment, production and consumption;; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: ILF and DAWN for verifying distributed algorithms : an idea for a tool
Autorzy:: Baar, T.
Kindler, E.
Data publikacji:: 1999
Słowa kluczowe:: automated theorem provers
distributed algorithms
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Modele gotówki w firmie
Cash models in the company
Autorzy:: Świątek, Weronika
Słowa kluczowe:: cash management, lower/upper limit of cash, optimal cash level, Miller-Orr model, investment strategy, stochastic control, Hamilton-Jacobi-Bellman equation, verification theorem, utility function of the enterprise
zarządzanie gotówką, limit dolny/górny gotówki, model Millera-Orra, optymalny poziom gotówki, strategia inwestycyjna, sterowanie stochastyczne, równanie Hamiltona-Jacobiego-Bellmana, twierdzenie weryfikacyjne, funkcja użyteczności przedsiębiorstwa; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: TEST ZGODNOŚCI χ2 OPARTY NA PRÓBACH NIEPROSTYCH
χ2 GOODNESS OF FIT TEST IN NON-SIMPLE SAMPLING
Autorzy:: Domański, Czesław
Data publikacji:: 2016
Wydawca:: Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Katedra Ekonometrii i Statystyki
Tematy:: estymacja
weryfikacja hipotez
centralne twierdzenie graniczne
estimation
hypothesis verification
central limit theorem; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: TEST ZGODNOŚCI χ2 OPARTY NA PRÓBACH NIEPROSTYCH
χ2 GOODNESS OF FIT TEST IN NON-SIMPLE SAMPLING
Autorzy:: Domański Czesław
Tematy:: estymacja
weryfikacja hipotez
centralne twierdzenie graniczne
estimation
hypothesis verification
central limit theorem; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Towards Integrated Verification of Timed Transition Models
Autorzy:: Lawford, M.
Pantelic, V.
Zhang, H.
Data publikacji:: 2006
Słowa kluczowe:: real time
equivalence verification
theorem proving
PVS
model checking
model reduction
SAL; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Towards a Formal Representation of Interactive Systems
Autorzy:: Banu-Demergian, I. T.
Stefanescu, G.
Data publikacji:: 2014
Słowa kluczowe:: parallel programming
interactive programming
regular expressions
regular algebra
Kleene theorem
network algebra
2-dimensional languages
finite interactive systems
relational semantics
specification
verification
structured interactive programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "verification theorem" wg kryterium: Temat