Formal Verification of Annotated Use-Cases
Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
2012 - anglický
Klíčová slova:
specification; use-cases; behavior modeling; verification; temporal logic; formalization
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Formal Verification of Annotated Use-Cases
Is There Something Beyond AI? Frequently Emerging, but Seldom Answered Questions about Artificial Super-Intelligence
Wiedermann, Jiří
2012 - anglický
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.
Klíčová slova:
cognitive systems; computational models; non-uniform evolving automaton
Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
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 ...
Algebraic error in the numerical solution of differential equations
Liesen, J.; Papež, J.; Strakoš, Zdeněk
2012 - anglický
Klíčová slova:
spatial distribution of errors; algebraic error; finite element method; iterative solver
Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
Algebraic error in the numerical solution of differential equations
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 - český
Klíčová slova:
GAMMA; zemní plyn; odhad ztrát; uzavřené lokality; zemní plyn
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Projekt GAMMA - Přehled činností za období leden - březen 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 - český
Klíčová slova:
fotovoltaické zdroje energie; meteorologie pro energetiku; NWP
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Inteligentní předpovídání počasí pro fotovoltaické zdroje energie
Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)
Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
2012 - anglický
Klíčová slova:
software architecture; software connectors; constraint solving; middleware-based connectors; connector theory; Alloy
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)
Data mining: Metody dobývání znalostí
Kalina, Jan
2012 - český
Klíčová slova:
dolování dat; medicínská informatika; biomedicínská informatika; klasifikační analýza; strojové učení
Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
Data mining: Metody dobývání znalostí
Accuracy Estimates for Surrogate Solutions of Integral Equations by Neural Networks
Kůrková, Věra
2012 - anglický
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.
Klíčová slova:
surrogate solutions by neural networks; Fredholm integral equations; network complexity
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
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 ...
On prescribing restarted GMRES
Duintjer Tebbens, Jurjen; Meurant, G.
2012 - anglický
Klíčová slova:
restarted GMRES; prescribed convergence; Arnoldi orthogonalization; stagnation; Ritz values
Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
On prescribing restarted GMRES
Calculating the rank of the Sylvester matrix
Kuřátko, J.; Hnětynková, Iveta
2012 - anglický
Klíčová slova:
Sylvester matrix; rank revealing; regularization
Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
Calculating the rank of the Sylvester matrix
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze