Publications

Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic

CINTULA, Petr, METCALFE, G. Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic. <em>Annals of Pure and Applied Logic. </em> 2010, <b>162</b>(2), 162-171. ISSN 0168-0072. E-ISSN 1873-2461<br>Dostupné z: doi:10.1016/j.apal.2010.09.001

Autoři: Petr Cintula , G. Metcalfe

Soupis publikovaných prací prof. RNDr. Petra Hájka, DrSc. řazený podle roku vydání, typu dokumentu a názvu, zpracovaný ke dni 6. 2. 2010 knihovnou Ústavu informatiky AV CR, v. v. i. k příležitosti 70. narozenin autora. Opravené a aktualizované vydání – únor 2013

NÝVLTOVÁ, Ludmila, RAMEŠOVÁ, Nina. <em>Soupis publikovaných prací prof. RNDr. Petra Hájka, DrSc. řazený podle roku vydání, typu dokumentu a názvu, zpracovaný ke dni 6. 2. 2010 knihovnou Ústavu informatiky AV CR, v. v. i. k příležitosti 70. narozenin autora. Opravené a aktualizované vydání – únor 2013</em>. Prague: ICS AS CR, 2010. Technical Report, V-1070. Dostupné z: http://www.cs.cas.cz/library/bibliografie/hajek/index.html

Autoři: Ludmila Nývltová , Nina Ramešová

Effect of polychlorinated biphenyls (PCBs) and 1,1,1-trichloro-2,2,-bis (4-chlorophenyl)-ethane (DDT) in follicular fluid on the results of in vitro fertilization-embryo transfer (IVF-ET) programs

JIRSOVÁ, S., MAŠATA, J., JECH, L., ZVÁROVÁ, Jana. Effect of polychlorinated biphenyls (PCBs) and 1,1,1-trichloro-2,2,-bis (4-chlorophenyl)-ethane (DDT) in follicular fluid on the results of in vitro fertilization-embryo transfer (IVF-ET) programs. <em>Fertility and Sterility. </em> 2010, <b>93</b>(6), 1831-1836. ISSN 0015-0282. E-ISSN 1556-5653<br>Dostupné z: doi:10.1016/j.fertnstert.2008.12.063

Autoři: S. Jirsová , J. Mašata , L. Jech , Jana Zvárová

Projekt "Metody snižování emisí skleníkových plynů prostřednictvím informačních technologií"

PELIKÁN, Emil. Projekt "Metody snižování emisí skleníkových plynů prostřednictvím informačních technologií". In: <em>Modelování toku skleníkových plynů v ekosystémech</em>. Praha: Ústav informatiky AV ČR, v.v.i, 2010.

Autoři: Emil Pelikán

Preconditioner Updates for Solving Sequences of Linear Systems in Matrix-Free Environment

DUINTJER TEBBENS, Jurjen, TŮMA, Miroslav. Preconditioner Updates for Solving Sequences of Linear Systems in Matrix-Free Environment. <em>Numerical Linear Algebra with Applications. </em> 2010, <b>17</b>(6), 997-1019. ISSN 1070-5325. E-ISSN 1099-1506<br>Dostupné z: doi:10.1002/nla.695

Autoři: Jurjen Duintjer Tebbens , Miroslav Tůma

Implementace lékařských doporučených postupů v elektronické formě

ZVOLSKÝ, Miroslav. Implementace lékařských doporučených postupů v elektronické formě. In: ZVÁROVÁ, J., PŘEČKOVÁ, P., eds. <em>Health Technology Assessment</em>. Praha: Euromise s.r.o., 2010, S. 46-48. ISBN 978-80-903431-4-6.

Autoři: Miroslav Zvolský

Integral Combinations of Heavisides

KAINEN, P.C., KŮRKOVÁ, Věra, VOGT, A. Integral Combinations of Heavisides. <em>Mathematische Nachrichten. </em> 2010, <b>283</b>(6), 854-878. ISSN 0025-584X. E-ISSN 1522-2616<br>Dostupné z: doi:10.1002/mana.200710029

Autoři: P.C. Kainen , Věra Kůrková , A. Vogt

Spiking Neural Networks, Perspective

SURGENT, Daniel. Spiking Neural Networks, Perspective. In: KUŽELOVÁ, D., HAKL, F., eds. <em>Doktorandské dny '10</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010, S. 89-96. ISBN 978-80-7378-133-0.

Autoři: Daniel Surgent

A Universal Flying Amorphous Computer

PETRŮ, L., WIEDERMANN, Jiří. <em>A Universal Flying Amorphous Computer</em>. Prague: ICS AS CR, 2010. Technical Report, V-1097.

Autoři: L. Petrů , Jiří Wiedermann