Please follow this link to the new website of the Institute of Computer Science ...

News

upcoming - conferences and events

Dny otevřených dveří 2016 (11/2/16-11/3/16)

Dovolujeme si Vás pozvat na Dny otevřených dveří Ústavu informatiky AV ČR, které se konají ve středu 2. 11. a ve čtvrtek 3. 11. 2016. Začátek přednášek je od 9.00. Program naleznete po rozkliknutí tohoto odkazu. Těšíme se na setkání s Vámi. Prosíme skupiny, aby svou účast ohlásily předem.

Doktorandské dny 2016 - hotel Staré časy v Pardubicích (11/9/16-11/11/16)

Jde o každoroční formální setkání doktorandů z Ústavu informatiky, na kterou jsou velmi srdečně zváni též doktorandi z Ústavu teorie informace a automatizace. Účast je dobrovolná, ale je to jedinečná příležitost více se seznámit s ostatními studenty. Akci pořádají sami doktorandi a jde vždy o příjemné setkání. Zváni jsou též školitelé a další vědečtí pracovníci.

more conferences ...

seminars

Applied Mathematical Logic

Computational Methods

Hora Informaticae

Machine Learning and Modelling

NEMO

more seminars ...

Annual report 2012 - selected parts [cz]

photo 1

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).

photo 2

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í.

photo 3

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

To visit ICS Blog please follow

this link ...
 
Please follow this link to the new website of the Institute of Computer Science ...