Nová verze webových stránek Ústavu informatiky AV ČR v.v.i. je přístupná zde ...

Aktuality

budoucí - konference a události

SOFSEM 2018 (29.1.18-2.2.18)

44. mezinárodní konference o současných trendech v teorii a praxi výpočetní techniky, Krems an der Donau, Austria. SOFSEM (SOFtware SEMinar) je každoroční mezinárodní zimní konference věnovaná teorii a praxi informatiky. SOFSEM představuje nejnovější výsledky a vývoj akademického a průmyslového výzkumu v předních oblastech informatiky. První SOFSEM byla zorganizována v roce 1974.

další konference ...

semináře

Applied Mathematical Logic

Computational Methods

Hora Informaticae

NEMO

Ostatní semináře

další semináře ...

Vybrané části z výroční zprávy 2012

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

Informační zátiší

Blog vědeckého tajemníka ústavu

navštívit blog...
 
Nová verze webových stránek Ústavu informatiky AV ČR v.v.i. je přístupná zde ...