Number of found documents: 846
Published from to

Popis modelu TDD, verze 3.3
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2012 - Czech
Zpráva obsahuje popis tvorby a použití modelu TDD pro odhad spotřeby zemního plynu zákazníkù s měřením typu"C". Součástí zprávy je metodika použití modelu TDD operátorem trhu, dále metodika použití TDD provozovatelem distribuční soustavy (PDS), popis aktualizace modelu TDD a popis předávaných souborů s parametry. Model je otestován na reálných datech ze zákaznického kmene distribuční společnosti RWE GasNet a na datech z mimořádných průběhových měření. Dokument zahrnuje stav ke dni 15.10.2012. Keywords: typové diagramy dodávky; zemní plyn; pravidla trhu s plynem; zemní plyn; modely Available at various institutes of the ASCR
Popis modelu TDD, verze 3.3

Zpráva obsahuje popis tvorby a použití modelu TDD pro odhad spotřeby zemního plynu zákazníkù s měřením typu"C". Součástí zprávy je metodika použití modelu TDD operátorem trhu, dále metodika použití ...

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2012

Formal Verification of Annotated Use-Cases
Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
2012 - English
Keywords: specification; use-cases; behavior modeling; verification; temporal logic; formalization Available at various institutes of the ASCR
Formal Verification of Annotated Use-Cases

Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
Ústav informatiky, 2012

Is There Something Beyond AI? Frequently Emerging, but Seldom Answered Questions about Artificial Super-Intelligence
Wiedermann, Jiří
2012 - English
Using the contemporary theories and views of computing and of cognitive systems we indicate possible answers to the following frequently asked questions about artificial intelligence: (i) what is the "computational power" of artificial cognitive systems?; (ii) are there "levels" of intelligence?; (iii) what is the position of human intelligence w.r.t. the "levels" of intelligence?; (iv) is there a general mechanism of intelligence?; (v) can "fully-fledged" body-less intelligence exist?; (vi) can there exist a sentient cloud? We give qualified arguments suggesting that within the large class of computational models of cognitive systems the answers to the previous question are positive. These arguments are mostly based on the author's recent works related to this problematics. Keywords: cognitive systems; computational models; non-uniform evolving automaton Available on request at various institutes of the ASCR
Is There Something Beyond AI? Frequently Emerging, but Seldom Answered Questions about Artificial Super-Intelligence

Using the contemporary theories and views of computing and of cognitive systems we indicate possible answers to the following frequently asked questions about artificial intelligence: (i) what is the ...

Wiedermann, Jiří
Ústav informatiky, 2012

Algebraic error in the numerical solution of differential equations
Liesen, J.; Papež, J.; Strakoš, Zdeněk
2012 - English
Keywords: spatial distribution of errors; algebraic error; finite element method; iterative solver Available on request at various institutes of the ASCR
Algebraic error in the numerical solution of differential equations

Liesen, J.; Papež, J.; Strakoš, Zdeněk
Ústav informatiky, 2012

Projekt GAMMA - Přehled činností za období leden - březen 2012
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2012 - Czech
Keywords: GAMMA; zemní plyn; odhad ztrát; uzavřené lokality; zemní plyn Available at various institutes of the ASCR
Projekt GAMMA - Přehled činností za období leden - březen 2012

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2012

Inteligentní předpovídání počasí pro fotovoltaické zdroje energie
Pelikán, Emil; Eben, Kryštof; Juruš, Pavel; Resler, Jaroslav; Krč, Pavel; Kasanický, Ivan
2012 - Czech
Keywords: fotovoltaické zdroje energie; meteorologie pro energetiku; NWP Available at various institutes of the ASCR
Inteligentní předpovídání počasí pro fotovoltaické zdroje energie

Pelikán, Emil; Eben, Kryštof; Juruš, Pavel; Resler, Jaroslav; Krč, Pavel; Kasanický, Ivan
Ústav informatiky, 2012

Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)
Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
2012 - English
Keywords: software architecture; software connectors; constraint solving; middleware-based connectors; connector theory; Alloy Available at various institutes of the ASCR
Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)

Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
Ústav informatiky, 2012

Data mining: Metody dobývání znalostí
Kalina, Jan
2012 - Czech
Keywords: dolování dat; medicínská informatika; biomedicínská informatika; klasifikační analýza; strojové učení Available on request at various institutes of the ASCR
Data mining: Metody dobývání znalostí

Kalina, Jan
Ústav informatiky, 2012

Accuracy Estimates for Surrogate Solutions of Integral Equations by Neural Networks
Kůrková, Věra
2012 - English
Surrogate solutions of integral equations by neural networks are investigated theoretically. Upper bounds on speed of convergence of approximate solutions computable by neural networks with increasing model complexity to exact solutions described by Fredholm theorem are derived. Keywords: surrogate solutions by neural networks; Fredholm integral equations; network complexity Available at various institutes of the ASCR
Accuracy Estimates for Surrogate Solutions of Integral Equations by Neural Networks

Surrogate solutions of integral equations by neural networks are investigated theoretically. Upper bounds on speed of convergence of approximate solutions computable by neural networks with increasing ...

Kůrková, Věra
Ústav informatiky, 2012

On prescribing restarted GMRES
Duintjer Tebbens, Jurjen; Meurant, G.
2012 - English
Keywords: restarted GMRES; prescribed convergence; Arnoldi orthogonalization; stagnation; Ritz values Available on request at various institutes of the ASCR
On prescribing restarted GMRES

Duintjer Tebbens, Jurjen; Meurant, G.
Ústav informatiky, 2012

About project

NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web

Send your suggestions and comments to nusl@techlib.cz

Provider

http://www.techlib.cz

Facebook

Other bases