Ústav informatiky AV ČR, v. v. i.

0427506 - UIVT-O 2015 GB eng J - Článek v odborném periodiku
Běhounek, Libor (ed.) - Restall, G. (ed.) - Sambin, G. (ed.)
Editorial: Special issue on non-classical mathematics.
Logic Journal of the IGPL. Roč. 21, č. 1 (2013), s. 1-3. ISSN 1367-0751
Výzkumný záměr: CEZ:AV0Z10300504
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.530, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0233037

0391890 - UIVT-O 2014 GB eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Feasibility as a gradual notion.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester : EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.), s. 15-19 ISSN 2040-557X. - (EPiC. 13).
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. Yogyakarta (ID), 10.10.2010-15.10.2010]
Grant CEP: GA ČR GEICC/08/E018; GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Kód oboru RIV: BA - Obecná matematika
http://www.easychair.org/publications/?page=103502707
Trvalý odkaz: http://hdl.handle.net/11104/0220862

0368470 - UIVT-O 2013 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bobrov, P. - Frolov, A. A. - Húsek, Dušan
Brain Computer Interface Enhancement by Independent Component Analysis.
Proceedings of the Third International Conference on Intelligent Human Computer Interaction IHCI 2011. Heidelberg : Springer, 2013 - (Kudělka, M.; Pokorný, J.; Snášel, V.; Abraham, A.), s. 51-60 ISBN 978-3-642-31602-9. ISSN 2194-5357. - (Advances in Intelligent Systems and Computing. 179).
[IHCI 2011. International Conference on Intelligent Human Computer Interaction /3./. Prague (CZ), 29.08.2011-31.08.2011]
Grant CEP: GA ČR GAP202/10/0262; GA ČR GA205/09/1079
Grant ostatní: GA MŠk(CZ) ED1.1.00/02.0070
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: brain computer interface * EEG patterns classiffication * independent component analysis * classification accuracy * m-rythm identification
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0202804

0391889 - UIVT-O 2014 GB eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G.
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester : EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.), s. 1-5 ISSN 2040-557X. - (EPiC. 13).
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. Yogyakarta (ID), 10.10.2010-15.10.2010]
Grant CEP: GA MŠk(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Kód oboru RIV: BA - Obecná matematika
http://www.easychair.org/publications/?page=719443787
Trvalý odkaz: http://hdl.handle.net/11104/0220861

Inst. repozitář

0366653 - UTIA-B 2013 RIV GB eng J - Článek v odborném periodiku
Červinka, Michal - Matonoha, Ctirad - Outrata, Jiří
On the computation of relaxed pessimistic solutions to MPECs.
Optimization Methods & Software. Roč. 28, č. 1 (2013), s. 186-206. ISSN 1055-6788
Grant CEP: GA MŠk 1M0572; GA ČR GA201/09/1957
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:AV0Z10750506
Klíčová slova: MPEC * equilibrium constraints * pessimistic solution * value function * relaxed and approximate solutions
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.210, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0201555

0390278 - UIVT-O 2014 RIV NL eng J - Článek v odborném periodiku
Duintjer Tebbens, Jurjen - Meurant, G.
Prescribing the behavior of early terminating GMRES and Arnoldi iterations.
Numerical Algorithms. Roč. 65, č. 1 (2014), s. 69-90. ISSN 1017-1398
Grant CEP: GA AV ČR IAA100300802
Grant ostatní: GA AV ČR(CZ) M100301201
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Arnoldi process * early termination * GMRES method * prescribed GMRES convergence * Arnoldi method * prescribed Ritz values
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.005, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0219143

0429599 - UIVT-O 2015 RIV NL eng J - Článek v odborném periodiku
Dzetkulič, Tomáš
Rigorous integration of non-linear ordinary differential equations in chebyshev basis.
Numerical Algorithms. -, published online 5 july (2014). ISSN 1017-1398
Grant CEP: GA MŠk OC10048
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Initial value problem * Rigorous integration * Taylor model * Chebyshev basis
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.005, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0234684

0390964 - UIVT-O 2013 RIV US eng J - Článek v odborném periodiku
Fiedler, Miroslav - Hall, F.J.
Some graph theoretic properties of generalized complementary basic matrices.
Linear Algebra and Its Applications. Roč. 438, č. 8 (2013), s. 3365-3374. ISSN 0024-3795
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: factorization * CB-matrix * GCB-matrix * strongly connected * cycle * nearly reducible matrix
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.983, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0219809

0380206 - UIVT-O 2013 RIV US eng J - Článek v odborném periodiku
Fiedler, Miroslav - Markham, T. L.
More on G-matrices.
Linear Algebra and Its Applications. Roč. 438, č. 1 (2013), s. 231-241. ISSN 0024-3795
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Cauchy matrix * G-matrix * Complex orthogonal matrix
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.983, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0210976

0369641 - UIVT-O 2015 RIV NL eng J - Článek v odborném periodiku
Frolov, A. A. - Húsek, Dušan - Polyakov, P.Y.
Two Expectation-Maximization Algorithms for Boolean Factor Analysis.
[Dva EM algoritmy pro Booleovskou faktorovou analýzu.]
Neurocomputing. Roč. 130, 23 April (2014), s. 83-97. ISSN 0925-2312
Grant CEP: GA ČR GAP202/10/0262
Grant ostatní: GA MŠk(CZ) ED1.1.00/02.0070; GA MŠk(CZ) EE.2.3.20.0073
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Boolean Factor analysis * Binary Matrix factorization * Neural networks * Binary data model * Dimension reduction * Bars problem
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Impakt faktor: 2.005, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0203657

0368469 - UIVT-O 2013 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Frolov, A. A. - Húsek, Dušan - Polyakov, P.Y.
Boolean Factor Analysis by Expectation-Maximization Method.
Proceedings of the Third International Conference on Intelligent Human Computer Interaction IHCI 2011. Heidelberg : Springer, 2013 - (Kudělka, M.; Pokorný, J.; Snášel, V.; Abraham, A.), s. 243-254 ISBN 978-3-642-31602-9. ISSN 2194-5357. - (Advances in Intelligent Systems and Computing. 179).
[IHCI 2011. International Conference on Intelligent Human Computer Interaction /3./. Prague (CZ), 29.08.2011-31.08.2011]
Grant CEP: GA ČR GAP202/10/0262; GA ČR GA205/09/1079
Grant ostatní: GA MŠk(CZ) ED1.1.00/02.0070
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: neural networks * hidden pattern search * Boolean factor analysis * generative model * information redundancy * exceptation-maximization
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Trvalý odkaz: http://hdl.handle.net/11104/0202803

0343863 - UIVT-O 2013 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
On Equality and Natural Numbers in Cantor-Lukasiewicz Set Theory.
Logic Journal of the IGPL. Roč. 21, č. 1 (2013), s. 91-100. ISSN 1367-0751
Grant CEP: GA MŠk(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Lukasiewicz logic * Cantor set theory * full comprehension
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.530, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0186240

0380178 - UIVT-O 2013 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr - Haniková, Zuzana
Interpreting lattice-valued set theory in fuzzy set theory.
Logic Journal of the IGPL. Roč. 21, č. 1 (2013), s. 77-90. ISSN 1367-0751
Grant CEP: GA ČR GAP202/10/1826; GA MŠk ME09110
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: lattice-valued logic * lattice-valued set theory * basic fuzzy logic * fuzzy set theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.530, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0210958

0350422 - UIVT-O 2014 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
Some Remarks on Cantor-Lukasiewicz Fuzzy Set Theory.
Logic Journal of the IGPL. Roč. 21, č. 2 (2013), s. 183-186. ISSN 1367-0751
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: naive comprehension scheme * fuzzy set theory * consistency * Lukasiewicz logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.530, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0190435

0382102 - UIVT-O 2015 RIV NL eng J - Článek v odborném periodiku
Haniková, Zuzana
Varieties generated by standard BL-algebras.
Order-A Journal on the Theory of Ordered Sets and Its Applications. Roč. 31, č. 1 (2014), s. 15-33. ISSN 0167-8094
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * fuzzy logic * BL * standard BL-algebra * variety of algebras
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.563, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0212425

0430593 - UIVT-O 2015 GB eng A - Abstrakt
Horčík, Rostislav
Residuated Lattices, Regular Languages, and Burnside Problem.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester : EasyChair Conference System, 2014 - (Galatos, N.; Kurz, A.; Tsinakis, C.). s. 6-7 ISSN 2040-557X.
[TACL 2013. 28.07.2013-01.08.2013, Nashville]
Grant CEP: GA ČR GAP202/11/1632
Výzkumný záměr: CEZ:AV0Z10300504
Kód oboru RIV: BA - Obecná matematika
http://easychair.org/publications/?page=1179031665
Trvalý odkaz: http://hdl.handle.net/11104/0235502

0377110 - UIVT-O 2013 RIV DE eng J - Článek v odborném periodiku
Hůnová, I. - Malý, Marek - Řezáčová, J. - Braniš, M.
Association between ambient ozone and health outcomes in Prague.
International Archives of Occupational and Environmental Health. Roč. 86, č. 1 (2013), s. 89-97. ISSN 0340-0131
Grant ostatní: GA MŠk(CZ) 2B08077; GA AV ČR(CZ) M100300904
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: ambient ozone * cardiovascular diseases * hospital admissions * mortality * respiratory diseases
Kód oboru RIV: DN - Vliv životního prostředí na zdraví
Impakt faktor: 2.198, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0209359

0391888 - UIVT-O 2014 GB eng C - Konferenční příspěvek (zahraniční konf.)
Chvalovský, Karel - Cintula, Petr
Note on Deduction Theorems in Contraction-Free Logics.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester : EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.), s. 26-29 ISSN 2040-557X. - (EPiC. 13).
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. Yogyakarta (ID), 10.10.2010-15.10.2010]
Grant CEP: GA ČR GAP202/10/1826; GA ČR GD401/09/H007; GA AV ČR IAA900090703
Grant ostatní: GA UK 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Kód oboru RIV: BA - Obecná matematika
http://www.easychair.org/publications/?page=1414404771
Trvalý odkaz: http://hdl.handle.net/11104/0220860

Inst. repozitář

0376152 - UIVT-O 2013 RIV US eng M - Část monografie knihy
Kalina, Jan - Zvárová, Jana
Decision Support Systems in the Process of Improving Patient Safety.
E-health Technologies and Improving Patient Safety: Exploring Organizational Factors. Hershey : IGI Global, 2013 - (Moumtzoglou, A.; Kastania, A.), s. 71-83 ISBN 978-1-4666-2657-7
Grant CEP: GA MŠk(CZ) 1M06014
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: healthcare * decision making * patient safety * design and implementation * classification analysis * high-dimensional data
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
http://www.igi-global.com/chapter/decision-support-systems-process-improving/73105
Trvalý odkaz: http://hdl.handle.net/11104/0208633

0396032 - UIVT-O 2014 RIV US eng M - Část monografie knihy
Kalina, Jan - Zvárová, Jana
Decision Support Systems in the Process of Improving Patient Safety.
Bioinformatics: Concepts, Methodologies, Tools, and Applications. Hershey : IGI Global, 2013 - (Khosrow-Pour, M.), s. 1113-1125 ISBN 978-1-4666-3605-7
Grant CEP: GA MŠk(CZ) 1M06014
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: healthcare * decision making * patient safety * design and implementation * classification analysis * high-dimensional data
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0223903

0382692 - UIVT-O 2014 RIV GB eng J - Článek v odborném periodiku
Malohlava, M. - Plášil, F. - Bureš, Tomáš - Hnětynka, P.
Interoperable domain-specific languages families for code generation.
Software-Practice & Experience. Roč. 43, č. 5 (2013), s. 479-499. ISSN 0038-0644
Grant CEP: GA ČR GD201/09/H057
Grant ostatní: GA AV ČR(CZ) GAP103/11/1489; EU Project(XE) ASCENS 257414
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: code generation * domain specific languages * models reuse * extensible languages * specification * program synthesis
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.148, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0212840

0390209 - UIVT-O 2013 RIV NL eng J - Článek v odborném periodiku
Meurant, G. - Tichý, Petr
On computing quadrature-based bounds for the A-norm of the error in conjugate gradients.
Numerical Algorithms. Roč. 62, č. 2 (2013), s. 163-191. ISSN 1017-1398
Grant CEP: GA AV ČR IAA100300802
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: conjugate gradients * norm of the error * bounds for the error norm
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.005, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0219082

0365405 - UIVT-O 2013 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Nedbal, Radim
Handling Possibly Conflicting Preferences.
Proceedings of the Third International Conference on Intelligent Human Computer Interaction IHCI 2011. Heidelberg : Springer, 2013 - (Kudělka, M.; Pokorný, J.; Snášel, V.; Abraham, A.), s. 207-219 ISBN 978-3-642-31602-9. ISSN 2194-5357. - (Advances in Intelligent Systems and Computing. 179).
[IHCI 2011. International Conference on Intelligent Human Computer Interaction /3./. Prague (CZ), 29.08.2011-31.08.2011]
Grant CEP: GA ČR GAP202/10/0761
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: conflicting * preferences * preference language * RDM - relation data model * database query
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0200653

0376216 - UIVT-O 2013 RIV GB eng J - Článek v odborném periodiku
Papáček, Š. - Kaňa, Radek - Matonoha, Ctirad
Estimation of diffusivity of phycobilisomes on thylakoid membrane based on spatio-temporal FRAP images.
Mathematical and Computer Modelling. Roč. 57, 7-8 (2013), s. 1907-1912. ISSN 0895-7177
Grant CEP: GA ČR GP206/09/P094; GA ČR GA201/09/1957; GA MŠk(CZ) ED2.1.00/03.0110
Grant ostatní: GA JU(CZ) 152/2010/Z
Výzkumný záměr: CEZ:AV0Z50200510; CEZ:AV0Z10300504
Klíčová slova: parameter estimation * FRAP * boundary value problem * optimization
Kód oboru RIV: BA - Obecná matematika; EE - Mikrobiologie, virologie (MBU-M)
Impakt faktor: 2.020, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0208678

0378941 - UIVT-O 2013 RIV GB eng J - Článek v odborném periodiku
Rohn, Jiří
Letter to the editor.
Linear & Multilinear Algebra. Roč. 61, č. 5 (2013), s. 697-698. ISSN 0308-1087
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: interval linear equations * strong feasibility * Farkas-type theorem
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.700, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0210248

0042953 - UIVT-O 2014 RIV CZ cze M - Část monografie knihy
Šíma, Jiří
Taxonomie výpočetních modelů neuronových sítí: od subregulárních jazyků k superturingovským výpočtům.
[A taxonomy of computational models of neural networks: From subregular languages to super-Turing computations.]
Umělá inteligence 6. Praha : Academia, 2013 - (Mařík, V.; Štěpánková, O.; Lažanský, J.), s. 392-423 ISBN 978-80-200-2276-9
Grant CEP: GA AV ČR 1ET100300517; GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: výpočetní složitost * neuronové sítě * perceptrony * dopředné a rekurentní neuronové sítě * analogové neuronové sítě * pravděpodobnostní neuronové sítě
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0136074

0384527 - UIVT-O 2014 RIV NL eng M - Část monografie knihy
van Leeuwen, J. - Wiedermann, Jiří
The Computational Power of Turing's Non-Terminating Circular a-Machines.
Alan Turing - His Work and Impact. Amsterdam : Elsevier, 2013 - (Cooper, B.; Leeuwen, J.), s. 80-85 ISBN 978-0-12-386980-7
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Turing machine * circular a-machine * red-green Turing machine
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0214146

0381640 - UIVT-O 2013 RIV NL eng J - Článek v odborném periodiku
Vlček, Jan - Lukšan, Ladislav
Generalizations of the limited-memory BFGS method based on the quasi-product form of update.
Journal of Computational and Applied Mathematics. Roč. 241, 15 March (2013), s. 116-129. ISSN 0377-0427
Grant CEP: GA ČR GA201/09/1957
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: unconstrained minimization * variable metric methods * limited-memory methods * Broyden class updates * global convergence * numerical results
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.077, rok: 2013
Trvalý odkaz: http://hdl.handle.net/11104/0212062

0377956 - UIVT-O 2013 RIV SG eng M - Část monografie knihy
Wiedermann, Jiří
The Many Forms of Amorphous Computational Systems. Chapter 13.
A Computable Universe. Understanding and Exploring Nature As Computation. Singapore : World Scientific Publishing Company, 2013 - (Zenil, H.), s. 243-256 ISBN 978-981-4374-29-3
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-standard models of computations * amorphous computing * nano-machines
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0209964

Ústav informatiky AV ČR, v. v. i.

Inst. podpora - záznamy