Newsupcoming - conferences and eventsManyVal (9/4/13-9/6/13)Akademické konferenční centrum, Praha ITAT 2013 (9/11/13-9/15/13)13. ročník konferencie ITAT sa bude konat v hotelu Zornička v Donovalech, Slovensko Workshop of the project ERC-CZ MORE, Chateau Liblice, Czech Republic. (11/24/13-11/27/13)Implicitly constituted materials: Modeling, analysis, and computing more conferences ...seminarsApplied Mathematical LogicsComputational MethodsHora InformaticaeMachine Learning and ModellingNEMOmore seminars ... |
Annual report 2012 - selected parts [cz]Krylov Subspace Methods, Principles and Analysis. U nakladatelství Oxford University Press vyšla v roce 2012 408mi stránková monografie Jörga Liesena (TU Berlín) a Zdeňka Strakoše, Krylov Subspace Methods, Principles and Analysis (ISBN 978-0-19-965541-0). Způsob identifikace osob se zvýšeným genetickým rizikem úmrtí po infarktu myokardu. Na poli medicínské informatiky a biostatistiky byly v rámci kardiovaskulární genetické studie vytipovány různé sady genů, které umožňují identifikovat jedince se zvýšeným genetickým rizikem vzniku infarktu za pomoci molekulárně genetického vyšetření. Může náhoda zefektivnit výpočty s omezenou pamětí? V oboru teoretické informatiky byl v sérií tří článků J. Šímy a S. Žáka dokázán hluboký výsledek (matematický důkaz zabral zhruba 40 stran), který přispívá k řešení jednoho z ústředních otevřených problémů výpočetní teorie (teorie složitosti). Jeden z těchto článků, vyšel v roce 2011 (LNCS 6651, Berlin: Springer-Verlag, str. 120-133), druhý v roce 2012 (LNCS 7147, Berlin: Springer-Verlag, str. 406-418) a třetí byl zaslán k publikaci |
ICS Blog |