Seznam pracovišť Matematický ústav AV ČR, v. v. i. Vědečtí pracovníci
Matematický ústav AV ČR, v. v. i. Forma vědeckého vzdělávání
Doktorandi (studenti DSP) v prezenční formě studia Doktorandi (studenti DSP) v kombinované a distanční formě studia Celkem - z toho doktorandů ze zahraničí
Počet absolventů v r. 2012 1
Počet doktorandů k 31.12.2012 23
Počet nově přijatých v r. 2012 1
2
0
0
3 0
23 6
1 0
Forma výchovy studentů pregraduálního studia Celkový počet bakalářů Celkový počet diplomantů 17 Počet pregraduálních studentů podílejících se na vědecké činnosti ústavu 0 Vědecké a vědecko-pedagogické hodnosti pracovníků ústavu Věd. hodnost nebo titul Vědecko-pedagog. hodnost DrSc., DSc. CSc., Ph.D. profesor docent Počet k 31.12.2012 22 37 14 11 - z toho uděleno v roce 2012 0 0 2 0 Pedagogická činnost pracovníků ústavu
Celkový počet odpřednášených hodin na VŠ v programech bakalářských/magisterských/doktorských Počet semestrálních cyklů přednášek/seminářů/cvičení v bakalářských programech Počet semestrálních cyklů přednášek/seminářů/cvičení v magisterských programech Počet pracovníků ústavu působících na VŠ v programech bakalářských/magisterských/doktorských
Letní semestr 2011/2012
Zimní semestr 2012/2013
1064
1147
7 42
8 35
20
19
Vzdělávání středoškolské mládeže
Pololetí ve škol. roce 2011/2012 Pololetí ve škol. roce 2012/2013 Počet odpřednášených hodin 71 83 Počet vedených prací (např. SOČ) 0 0 Počet organizovaných/spoluorganizovaných soutěží 2 1
Spolupráce ústavu s VŠ ve výzkumu
Pracoviště AV příjemcem
Počet projektů a grantů, řešených v r. 2012 společně s VŠ (včetně grantů GA ČR a GA AV) Počet pracovníků VŠ, kteří mají v ústavu pracovní úvazek Počet pracovníků ústavu, kteří mají na VŠ pracovní úvazek
5
0
Pracoviště AV spolupříjemcem 0
5
7 10
0 0
Společná pracoviště ústavu s účastí VŠ Mezinárodní spolupráce
1. Počet konferencí s účastí zahraničních vědců (pracoviště jako pořadatel nebo spolupořadatel)
10
2. Počet zahraničních cest vědeckých pracovníků ústavu
219
2.a - z toho mimo rámec dvoustranných dohod AV ČR
216
3. Počet aktivních účastí pracovníků ústavu na mezinárodních konferencích
104
3.a Počet přednášek přednesených na těchto konferencích
101
3.b - z toho zvané přednášky
45
3.c Počet posterů
3
4. Počet přednášejících na zahraničních univerzitách
23
5. Počet členství v redakčních radách mezinárodních časopisů
70
6. Počet členství v orgánech mezinárodních vědeckých vládních a nevládních organizací (společnosti, komitéty) 3 7. Počet přednášek zahraničních hostů v ústavu
80
8. Počet grantů a projektů financovaných ze zahraničí
4
8.a - z toho z programů EU
1 ROK 2012 počet dělené pracoviště licence dělené pracoviště
Vynálezy
Česká republika Přihlášky vynálezů podané v ČR Patenty udělené v ČR Užitné vzory podané v ČR Užitné vzory zapsané v ČR Ochranné známky podané v ČR
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
-
-
-
-
-
-
-
-
-
0
0
Ochranné známky zapsané v ČR Průmyslové vzory podané v ČR Průmyslové vzory zapsané v ČR Přihlášky vynálezů podané v zahraničí Mezinárodní systém "PCT" - mezinárodní přihláška "PCT" - národní, resp. regionální fáze z "PCT" Přímo z ČR - národní resp. regionální fáze Patenty udělené v zahraničí Regionální (u EPO, EAPO, OAPI, ARIPO) - z toho národní patenty Národní Dodatkové ochranné osvědčení pro léčiva a pro přípravky na ochranu rostlin (SPC) a šlechtitelská osvědčení Žádost o udělení SPC v ČR SPC jež nabylo účinnosti v ČR Žádost o udělení ochranných práv k nové odrůdě rostlin v ČR Šlechtitelská osvědčení v ČR Poznámka: Detašovaná pracoviště
Označení pracoviště Vedoucí pracoviště Adresa 1. pobočka Brno Dr. Robert Hakl Žižkova 22, 616 62 Brno
Char. vědecké činnosti - CZ
Hlavní činností Matematického ústavu AV ČR je podpora základního výzkumu v oblastech matematiky a jejích aplikací a zajištění k tomu nezbytné infrastruktury. Ústav přispívá ke zvyšování úrovně znalostí, k výuce a využívání vědeckých výsledků v praxi. Získává, zpracovává a šíří vědecké informace, vydává vědecké a odborné publikace (monografie, časopisy, sborníky atd.). Ve spolupráci s vysokými školami se ústav podílí na uskutečňování doktorských studijních programů a realizuje výchovu mladých vědců. Rozvíjí mezinárodní spolupráci včetně organizování a realizace společných výzkumných projektů se zahraničními partnery a účasti na programech vědecké výměny. Organizuje vědecké konference a semináře na národní i mezinárodní úrovni.Vědecký výzkum se v ústavu v roce 2012 soustřeďoval na matematickou analýzu (diferenciální rovnice, numerická analýza, funkcionální analýza, teorie reálných funkcí, teorie prostorů funkcí a matematická fyzika), matematickou logiku, teoretickou kybernetiku a teorii grafů, numerickou algebru, obecnou a algebraickou topologii, optimalizaci a řízení, diferenciální geometrii a didaktiku matematiky.
Char. vědecké činnosti - EN
The principal activity of the Institute of Mathematics AS CR is to support fundamental research in the fields of mathematics and its applications, and to provide necessary infrastructure for research. The Institute contributes to raising the level of knowledge and education and to utilising the results of scientific research in practice. It acquires, processes and disseminates scientific information, issues scientific and professional publications (monographs, journals, proceedings, etc.). In cooperation with universities, the Institute carries out doctoral study programmes and provides training for young scientists. The Institute promotes international cooperation, including the organisation of joint research projects with foreign partners and participation in exchange programs. The Institute organises scientific meetings, conferences and seminars on the national and international levels.Research in the Institute focuses on mathematical analysis (differential equations, numerical analysis, functional analysis, theory of real functions and function spaces, mathematical physics), mathematical logic, theoretical computer science and graph theory, numerical algebra, topology (general and algebraic), optimization and control, differential geometry, and didactics of mathematics.
Výsledky vědecké činnosti
Výsledek č. 1. Zkoumali jsme systém získaný linearizací modelu stacionárního proudění viskózní nestlačitelné kapaliny kolem posunujícího se a rotujícího tělesa. Odvodili jsme pro něj asymptotický profil gradientu rychlosti a stanovili odhady druhé derivace rychlosti. Publikace (ASEP)
Deuring, P. ; Kračmar, S. ; Nečasová, Šárka. Linearized stationary incompressible flow around rotating and translating bodies: Asymptotic profile of the velocity gradient and decay estimate of the second derivatives of the velocity. Journal of Differential Equations 2012, roč. 252, č. 1, s. 459-476. ISSN 0022-0396. http://www.sciencedirect.com/science/article/pii/S0022039611003573 Výsledek č. 2. Práce se věnuje problematice proudění plynu (např. tzv. radiačního plynu) v okolí hvězd. Byly zodpovězeny otázky existence řešení příslušného matematického modelu a jednoznačnosti řešení v případě, že počáteční podmínky jsou blízké rovnovážnému stavu. Publikace (KIS)
Ducomet, B. – Nečasová, Š.: Global smooth solution of the Cauchy problem for a model of radiative flow. Annali della Scuola Normale Superiore di Pisa – v tisku. Výsledek č. 3. Studovali jsme úlohy pro kontaktní modely s normálním typem poddajnosti a funkcí poddajnosti jdoucí do nekonečna při daném konečném vzájemném průniku. Takový model je fyzikálně reálnější než standardní modely poddajnosti, kde vzájemný průnik není omezen. Dokázali jsme existenci, resp. existenci a jednoznačnost řešení pro statickou úlohu bez tření, resp. pro statickou úlohu s Coulombovým třením. Publikace (KIS)
Eck, C. – Jarušek, J. – Stará, J.: Normal compliance contact models with finite interpenetration. Archive for Rational Mechanics and Analysis – v tisku. Výsledek č. 4. Pro stlačitelný Navierův-Stokesův systém jsme zkoumali singulární limitu v případě, kdy Machovo a Rossbyho číslo jsou úměrná jistým mocninám malého parametru, přičemž jsme brali v úvahu odstředivou sílu. Publikace (ASEP)
Feireisl, Eduard ; Gallagher, I. ; Gerard-Varet, D. ; Novotný, A. Multi-scale analysis of compressible viscous and rotating fluids. Communications in Mathematical Physics 2012, roč. 314, č. 3, s. 641-670. ISSN 0010-3616. http://www.springerlink.com/content/j67253335jm5g644/ Výsledek č. 5. Studovali jsme stlačitelný (barotropní) Navierův-Stokesův systém na oblastech závisejících na čase, doplněný o klouzavé okrajové podmínky. Náš přístup je založen na penalizaci chování na hranici, viskozity a tlaku ve slabé formulaci úlohy. Získali jsme slabá řešení, která jsou globální v čase.
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
Výsledek č. 6. Užitím Grossovy logaritmické nerovnosti jsme dokázali věty o vnoření pro Sobolevovy prostory invariantní vůči dimenzi. Publikace (ASEP)
Krbec, Miroslav ; Schmeisser, H.-J. On dimension-free Sobolev imbeddings I. Journal of Mathematical Analysis and Applications 2012, roč. 387, č. 1, s. 114-125. ISSN 0022-247X. http://www.sciencedirect.com/science/article/pii/S0022247X11008286 Výsledek č. 7. Práce se zabývá detailní kvalitativní analýzou řešení třídy diferenciálních rovnic, které popisují evoluční procesy v hysterezních systémech. Tyto úlohy se běžně vyskytují při modelování průtoku kapaliny porézním prostředím, populační dynamiky, nebo i chování účastníků trhu v globálních makroekonomických modelech. Hlavní výsledky práce se týkají určení oblastí jednoznačnosti a stability řešení. Zvláštní pozornost je věnována i studiu oblastí ztráty stability a singulárním bodům řešení. Publikace (ASEP)
Krejčí, Pavel ; O'Kane, J.P. ; Pokrovskii, A. ; Rachinskii, D. Properties of solutions to a class of differential models incorporating Preisach hysteresis operator. Physica. D 2012, roč. 241, č. 22, s. 2010-2028. ISSN 0167-2789. http://www.sciencedirect.com/science/article/pii/S0167278911001126 Výsledek č. 8. Předložili jsme, rozebrali a na příkladech ilustrovali zcela nové škály podmínek pro charakterizaci moderních tvarů Hardyho nerovností. Uvedli jsme některé výsledky, které ukazují důležitost těchto nových škál. Výsledek č. 9. Skalární Oseenova rovnice představuje linearizovaný tvar Novierových-Stokesových rovnic, které jsou dobře známé z hydrodynamiky. Pro tuto rovnici jsme odvodili explicitní teorii potenciálu a vyřešili jsme vnitřní a vnější Dirichletovu a Neumannovu okrajovou úlohu. Publikace (ASEP)
Medková, Dagmar ; Skopin, E. ; Varnhorn, W. The boundary value problems for the scalar Oseen equation. Mathematische Nachrichten 2012, roč. 285, 17-18, s. 2208-2221. ISSN 0025-584X. http://onlinelibrary.wiley.com/doi/10.1002/mana.201100219/abstract Výsledek č. 10. Dokázali jsme nové výsledky o spojité závislosti řešení zobecněných lineárních diferenciálních rovnic na parametru. Výsledky jsme aplikovali na dynamické rovnice na časových škálách. Výsledek č. 11. Nalezli jsme nové kritérium regularity vhodných slabých řešení Navierových-Stokesových rovnic v daném bodě. Publikace (ASEP)
Neustupa, Jiří. A removable singularity in a suitable weak solution to the Navier–Stokes equations. Nonlinearity 2012, roč. 25, č. 6, s. 1695-1708. ISSN 0951-7715. http://iopscience.iop.org/0951-7715/25/6/1695/ Výsledek č. 12. Zabývali jsme se rovnicemi pro pohyb nestlačitelné kapaliny klouzající po stěně, se zvláštním zřetelem k závislosti slabých řešení na tvaru oblasti. Výsledek je optimální z hlediska regularity na hranici a lze ho použít na širokou třídu úloh tvarové optimalizace. Publikace (ASEP)
Stebel, Jan. On shape stability of incompressible fluids subject to Navier's slip condition. Journal of Mathematical Fluid Mechanics 2012, roč. 14, č. 3, s. 575-589. ISSN 1422-6928. http://www.springerlink.com/content/81t1j75m002197l8/ Výsledek č. 13. V tomto článku jsme studovali online algoritmy pro úlohu „file maintenance“. Pro určité přirozené parametry jsme nalezli algoritmus, který úlohu řeší s asymptoticky nejmenším možným počtem operací. Publikace (ASEP)
Babka, M. ; Bulánek, Jan ; Čunát, V. ; Koucký, Michal ; Saks, M. On online labeling with polynomially many labels. In Epstein, L.; Ferragina, P. (ed.). Algorithms – ESA 2012 : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings Berlin : Springer, 2012, s. 121-132. ISBN 978-3-642-33089-6. [20th Annual European Symposium on Algorithms (ESA 2012), Ljubljana, 10.09.2012-12.09.2012, SI]. http://link.springer.com/chapter/10.1007/978-3-642-33090-2_12 Výsledek č. 14. Dokázali jsme, že absolutní aproximační poměr pro on-line algoritmus First Fit bin packing je přesně 1,7. Tím jsme vyřešili 40 let starý problém. Publikace (KIS)
Dósa, G. – Sgall, J.: First Fit bin packing: a tight analysis. Proceedings of the 30th Symposium on Theoretical Aspects of Computer Science (STACS) – v tisku. Výsledek č. 15. Dokázali jsme, že aproximace kořenů polynomu jedné proměnné se pro konstantní stupeň dají počítat uniformními polynomiálně velkými prahovými obvody. Publikace (ASEP)
Jeřábek, Emil. Root finding with threshold circuits. Theoretical Computer Science 2012, roč. 462, nov 30, s. 59-69. ISSN 0304-3975. http://www.sciencedirect.com/science/article/pii/S0304397512008006# Výsledek č. 16. Studovali jsme pojem konzervativního překladu mezi logikami. Mimo jiné jsme dokázali, že klasický výrokový počet je vzhledem k této relaci v určitém smyslu univerzální. Publikace (ASEP)
Jeřábek, Emil. The ubiquity of conservative translations. Review of Symbolic Logic 2012, roč. 5, č. 4, s. 666-678. ISSN 1755-0203. http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8757256 Výsledek č. 17. Dokázali jsme, že princip minima pro formule, pomocí kterého se definují teorie v hierarchii omezené aritmetiky, lze ekvivalentně vyjádřit pomocí existence alternujících minim a maxim. Odtud jsme odvodili novou charakterizaci sentencí dokazatelných v těchto teoriích.
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
Publikace (ASEP)
Pudlák, Pavel ; Thapen, Neil. Alternating minima and maxima, Nash equilibria and bounded arithmetic. Annals of Pure and Applied Logic 2012, roč. 163, č. 5, s. 604-614. ISSN 0168-0072. http://www.sciencedirect.com/science/article/pii/S016800721100090X Výsledek č. 18. Významná monografie v oboru Ramseyovy teorie obsahuje mnoho nových vět o Ramseyovských vlastnostech, ergodičnosti a mírách na polských prostorech. Publikace (KIS)
Sabok, M. – Kanovei, V. – Zapletal, J.: Canonical Ramsey theory on Polish spaces. Cambridge University Press – kniha v tisku. Výsledek č. 19. Dokázali jsme variantu Rieszovy-Havilandovy věty pro úlohy s oříznutými momenty a s její pomocí jsme stanovili podmínky pro existenci reprezentujících měr, které jsou absolutně spojité vzhledem k Lebesgueově míře. Publikace (KIS)
Ambrozie, C.: A Riesz-Haviland type result for truncated moment problems with solutions in L1. Journal of Operator Theory – v tisku. Výsledek č. 20. V této práci budujeme teorii homotopických centrů v monoidálních kategoriích. Centry v tomto smyslu pokrývají mnoho nových a neočekávaných příkladů, jako je 2-kategorie kategorií, Grayova kategorie a Tamarkinova 2-kategorie diferenciálních graduovaných kategorií. Publikace (ASEP)
Batanin, M. ; Markl, Martin. Centers and homotopy centers in enriched monoidal categories. Advances in Mathematics 2012, roč. 230, 46, s. 1811-1858. ISSN 0001-8708. http://www.sciencedirect.com/science/article/pii/S0001870812001508 Výsledek č. 21. Odvodili jsme formule pro asymptotickou expanzi Berezinovy transformace na symetrických prostorech vyjádřené pomocí invariantních diferenciálních operátorů přidružených k Peterovu-Weylovu rozkladu podle maximální kompaktní podgrupy. Jednotný postup umožňuje odvodit formule jak pro komplexní (hermitovské), tak pro reálné prostory, a současně pro všechny typy symetrických prostorů. Publikace (ASEP)
Engliš, Miroslav ; Upmeier, H. Real Berezin transforms and asymptotic expansion for symmetric spaces of compact and non-compact type. In Ball, J.A.; Curto, R.E.; Grudsky, S.M. (ed.). Recent Progress in Operator Theory and Its Applications Basel : Birkhäuser/Springer, 2012, s. 97-114. ISBN 978-3-0348-0345-8. [20th International Workshop on Operator Theory and Applications (IWOTA 2009), Guanajuato, 21.09.2009-25.09.2009, MX]. http://link.springer.com/chapter/10.1007%2F978-3-0348-0346-5_6 Výsledek č. 22. Dokázali jsme, že na prostoru L1(μ,X) bochnerovsky integrovatelných funkcí s pravděpodobnostní mírou μ na Banachově prostoru X lze zavést ekvivalentní gâteauxovskou (nebo uniformně gâteauxovskou) míru za předpokladu, že sám prostor X má takovou normu. Podobný výsledek jsme získali pro případ fréchetovské normy. Publikace (ASEP)
Fabian, Marián ; Lajara, S. Smooth renormings of the Lebesgue-Bochner function space L-1(mu, X). Studia mathematica 2012, roč. 209, č. 3, s. 247-265. ISSN 0039-3223. http://journals.impan.pl/cgi-bin/doi?sm209-3-4 Výsledek č. 23. Stanovili jsme přesnou charakterizaci váhových funkcí, pro které je kvazilineární integrální operátor s Oinarovovým jádrem na kuželu funkcí monotónních na poloose omezený. Publikace (ASEP)
Gogatishvili, Amiran ; Stepanov, V.D. Integral operators on cones of monotone functions. Doklady Mathematics 2012, roč. 86, č. 2, s. 650653. ISSN 1064-5624. http://link.springer.com/article/10.1134%2FS1064562412050158 Výsledek č. 24. Prostudovali jsme několik klasických výsledků o dualitě v teorii tenzorových produktů, které pocházejí většinou od A. Grothendiecka, a sestrojili jsme nové důkazy a získali nové výsledky. Publikace (ASEP)
Hájek, Petr Pavel ; Smith, R. J. Some duality relations in the theory of tensor products. Expositiones Mathematicae 2012, roč. 30, č. 3, s. 239-249. ISSN 0723-0869. http://www.sciencedirect.com/science/article/pii/S072308691200045X Výsledek č. 25. Předkládáme čistě kategoricko-teoretickou charakterizaci retraktů Fraïssého limit. Jednou z aplikací výsledku je charakterizace neexpanzivních retraktů Urysohnových univerzálních metrických prostorů. Publikace (KIS)
Kubiś, W.: Injective objects and retracts of Fraissé limits. Forum Mathematicum – v tisku. Výsledek č. 26. Prozkoumali jsme společný numerický obraz n-tic operátorů na Hilbertově prostoru a dokázali jsme odhady, které musí splňovat. Publikace (KIS)
Müller, V.: On joint numerical radius. Proceedings of the American Mathematical Society – v tisku. Výsledek č. 27. Aplikovali jsme teorii duality Ekelanda a Temama na mezní analýzu pro materiály typu zdiva. Výsledkem jsou podmínky, za kterých se statický a kinematický multiplikátor shodují, a dále podmínky, za kterých je daný multiplikátor přípustný staticky. Publikace (ASEP)
Lucchesi, M. ; Šilhavý, Miroslav ; Zani, N. On the choice of functions spaces in the limit analysis for masonry bodies. Journal of Mechanics of Materials and Structures 2012, roč. 7, č. 8, s. 795-836. ISSN 1559-3959. http://msp.org/jomms/2012/7-8/p05.xhtml Výsledek č. 28. Dokázali jsme, že podmínka na maximální úhel v metodě konečných prvků není nutná.
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
Anotace CZ
Podmínka na maximální úhel není pro konvergenci metody konečných prvků nutná
V roce 1968 M. Zlámal v časopise Numerische Mathematik zavedl podmínku na minimální úhel trojúhelníků pro konvergenci metody konečných prvků. V roce 1976 I. Babuška a A. K. Aziz v časopise SIAM J. Numer. Anal. představili tzv. podmínku na maximální úhel, která zobecňuje Zlámalovu podmínku na minimální úhel. Podmínka na maximální úhel je postačující pro konvergenci metody konečných prvků. Nám se podařilo dokázat, že tato podmínka není nutná, tj. metoda konečných prvků může konvergovat, i když se maximální úhel v triangulacích blíží k 180 stupňům. Navíc uvádíme příklad, kde interpolační chyba konverguje k nekonečnu, zatímco diskretizační chyba jde k nule. EN
The maximum angle condition is not necessary for the convergence of the finite element method
M. Zlámal in Numerische Mathematik in 1968 introduced the minimum angle condition for the convergence of the finite element method. In 1976, I. Babuška and A. K. Aziz in SIAM J. Numer. Anal. proposed the so-called maximum angle condition which generalizes Zlámal’s minimum angle conditon. The maximum angle condition is a sufficient condition for the convergence of the finite element method. We have shown that this condition is not necessary, i.e., the finite element method may converge even if the maximum angle in triangulations tends to 180 degrees. Moreover, we give an example in which the interpolation error tends to infinity whereas the discretization error tends to zero. Spolupracující subjekt Kontaktní osoba
Aalto University, Helsinki, Finsko; Basque Center for Applied Mathematics, Španělsko
prof. Michal Křížek, 222090712,
[email protected]
Publikace (ASEP)
Hannukainen, A. ; Korotov, S. ; Křížek, Michal. The maximum angle condition is not necessary for convergence of the finite element method. Numerische Mathematik 2012, roč. 120, č. 1, s. 79-88. ISSN 0029-599X. http://www.springerlink.com/content/w3x608m247pn4t67/ Výsledek č. 29. Dokázali jsme, že existuje pravidelná krystalová mřížka vyplňující celý čtyřrozměrný prostor, která vykazuje globální pětičetnou symetrii. Ve trojrozměrném prostoru podobná mřížka neexistuje. Publikace (ASEP)
Křížek, Michal ; Šolc, J. ; Šolcová, A. Is there a crystal lattice possessing five-fold symmetry?. Notices of the American Mathematical Society 2012, roč. 59, č. 1, s. 22-30. ISSN 0002-9920. http://www.ams.org/notices/201201/index.html Výsledek č. 30. Na deseti příkladech jsme ukázali, že temná energie pozvolna rozpíná Sluneční soustavu. Klasické Newtonovy zákony zachování energie a hybnosti tedy ztrácejí platnost. Publikace (ASEP)
Křížek, Michal. Dark energy and the anthropic principle. New Astronomy 2012, roč. 17, č. 1, s. 1-7. ISSN 1384-1076. http://www.sciencedirect.com/science/article/pii/S1384107611000558 Výsledek č. 31. Pomocí statistických metod jsme ukázali, proč příroda v průběhu evoluce vytvořila 3 zastavovací triplety na dvojšroubovici DNA a jen jeden startovací triplet. Pokud při syntéze RNA dojde ke skluzu synchronizace, je větší pravděpodobnost, že se syntéza nesprávného bílkovinného řetězce dříve zastaví, než kdyby existoval její jediný zastavovací triplet. Tím buňka šetří energii. Publikace (ASEP)
Křížek, Michal ; Křížek, P. Why has nature invented three stop codons of DNA and only one start codon?. Journal of Theoretical Biology 2012, roč. 304, jul 7, s. 183-187. ISSN 0022-5193. http://www.sciencedirect.com/science/article/pii/S0022519312001580 Výsledek č. 32. Nalezli jsme a dokázali zobecnění Goldbergova-Sachsova teorému týkajícího se geometrických vlastností obecné relativity na případ pěti dimenzí. Publikace (ASEP)
Ortaggio, Marcello ; Pravda, Vojtěch ; Pravdová, Alena ; Reall, H. On a five-dimensional version of the Goldberg–Sachs theorem. Classical and Quantum Gravity 2012, roč. 29, č. 20, s. 205002. ISSN 0264-9381. http://iopscience.iop.org/0264-9381/29/20/205002 Výsledek č. 33. Odvodili jsme algoritmus pro výběr vazeb v hrubém problému pro úlohy metody rozkladu na podoblasti. Publikace (ASEP)
Šístek, Jakub ; Čertíková, M. ; Burda, P. ; Novotný, J. Face-based selection of corners in 3D substructuring. Mathematics and Computers in Simulation 2012, roč. 82, č. 10, s. 1799-1811. ISSN 0378-4754. http://www.sciencedirect.com/science/article/pii/S0378475411001820 Výsledek č. 34. Byla publikována obecná teorie diskrétních principů maxima pro galerkinovská řešení eliptických úloh. Publikace (ASEP)
Vejchodský, Tomáš. The discrete maximum principle for Galerkin solutions of elliptic problems. Central European Journal of Mathematics 2012, roč. 10, č. 1, s. 25-43. ISSN 1895-1074. http://www.springerlink.com/content/x73624wm23x4wj26 Výsledek č. 35. Navrhli jsme a ověřili metodu pro ověřování podmínek pro nezápornost složek vektorových periodických řešení lineárního systému diferenciálních nerovností prvního řádu. Publikace (ASEP)
Domoshnitsky, A. ; Hakl, Robert ; Šremr, Jiří. Component-wise positivity of solutions to periodic boundary problem for linear functional differential system. Journal of Inequalities and Applications 2012, roč. 112, may 22, s. 1-23. ISSN 1025-5834. http://www.journalofinequalitiesandapplications.com/content/2012/1/112 Výsledek č. 36. Pro homogenní lineární diferenciální rovnici prvního řádu jsme nalezli účinné podmínky určené pomocí kladné monotónní funkce, které zaručují jednorozměrnost množiny řešení. Pomocí těchto výsledků jsme získali nové postačující podmínky řešitelnosti pro jistou třídu
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
okrajových úloh pro lineární funkcionální diferenciální rovnice prvního řádu. Publikace (ASEP)
Domoshnitsky, A. ; Hakl, Robert ; Půža, Bedřich. On the dimension of the solution set to the homogeneous linear differential equation of the first order. Czechoslovak Mathematical Journal 2012, roč. 62, č. 4, s. 1033-1053. ISSN 0011-4642. http://link.springer.com/article/10.1007/s10587-012-0062-1 Výsledek č. 37. Výpočet supremálního kontrolovatelného jazyka zahrnutého v daném globálním specifikačním jazyku je složitý problém; v případě synchronizovaného součinu automatů je časová složitost kvadratická v počtu globálních stavů, který je ovšem exponenciální v počtu lokálních automatů. Výpočetně jednodušší plně decentralizované řízení není bohužel obecně možné pro nerozložitelné globální specifikační jazyky. Proto jsme navrhli výpočet kontrolovatelného podjazyka pomocí koordinačního supervizního řízení a algoritmus pro výpočet supremálního jazyka dosažitelného koordinačním řízením a odvodili jsme podmínky, za kterých je tento výsledek totožný se supremálním kontrolovatelným jazykem splňujícím danou specifikaci. Publikace (ASEP)
Komenda, Jan ; Masopust, Tomáš ; van Schuppen, J. H. Supervisory control synthesis of discrete-event systems using a coordination scheme. Automatica 2012, roč. 48, č. 2, s. 247-254. ISSN 0005-1098. http://www.sciencedirect.com/science/article/pii/S0005109811005395 Výsledek č. 38. Prezentovali jsme polynomiální algoritmus na ověření, zda daný jazyk je podmíněně rozložitelný vzhledem k daným abecedám. Navíc jsme navrhli polynomiální algoritmus na rozšíření abeced tak, aby daný jazyk byl podmíněně rozložitelný vzhledem k daným abecedám. Narozdíl od jiných algoritmů na ověření rozložitelnosti je tento algoritmus polynomiální i v počtu lokálních abeced, což je velice důležité pro systémy složené z většího počtu komponent nad různými abecedami. Publikace (ASEP)
Komenda, Jan ; Masopust, Tomáš ; van Schuppen, J. H. On conditional decomposability. Systems and Control Letters 2012, roč. 61, č. 12, s. 1260-1268. ISSN 0167-6911. http://www.sciencedirect.com/science/article/pii/S0167691112001612 Výsledek č. 39. Zkoumali jsme otázku existence, jednoznačnosti a spojité závislosti na parametru pro Carathéodoryovo řešení Cauchyovy úlohy pro lineární parciální funkcionálně-diferenciální rovnice hyperbolického typu a dokázali jsme větu o Fredholmově alternativě. Výsledek je nový i v případě rovnic bez odkloněného argumentu. Publikace (ASEP)
Lomtatidze, Alexander ; Šremr, Jiří. On the Cauchy problem for linear hyperbolic functional-differential equations. Czechoslovak Mathematical Journal 2012, roč. 62, č. 2, s. 391-440. ISSN 0011-4642. http://www.springerlink.com/content/j62wtk7713183h87/ Výsledek č. 40. Pro silně singulární diferenciální rovnice vyššího řádu s odkloněným argumentem s určitými okrajovými podmínkami jsme dokázali věty Agarwalova-Kiguradzeho typu, které zaručují Fredholmovu vlastnost. Našli jsme také snadno ověřitelné nejlepší možné podmínky zaručující existenci jediného řešení těchto rovnic. Publikace (ASEP)
Mukhigulashvili, Sulkhan ; Partsvania, N. Two-point boundary value problems for strongly singular higher-order linear differential equations with deviating arguments. Electronic Journal of Qualitative Theory of Differential Equations 2012, -, č. 38, s. 1-34. ISSN 1417-3875. http://www.emis.de/journals/EJQTDE/p1045.pdf Výsledek č. 41. Nalezli jsme nové podmínky, za kterých má systém lineárních funkcionálních diferenciálních rovnic se singulárním koeficienty jediné řešení s danou počáteční hodnotou s jistým omezením růstu. Publikace (ASEP)
Pylypenko, V. ; Rontó, András. Slowly growing solutions of singular linear functional differential systems. Mathematische Nachrichten 2012, roč. 285, 5-6, s. 727-743. ISSN 0025-584X. http://onlinelibrary.wiley.com/doi/10.1002/mana.201000014/abstract Výsledek č. 42. Jsou stanoveny podmínky, za kterých jsou zachovány oscilační vlastnosti pololineární dynamické rovnice na časové škále, pokud se změní mocnina v nelinearitě. Jsou diskutovány diskrepance mezi výsledky na různých škálách, ke kterým skutečně dochází. Mnohá ze sledování jsou nová i v klasických speciálních případech, tj. pro diferenciální a diferenční rovnice. Publikace (ASEP)
Řehák, Pavel. Peculiarities in power type comparison results for half-linear dynamic equations. Rocky Mountain Journal of Mathematics 2012, roč. 42, č. 6, s. 1995-2013. ISSN 0035-7596. http://projecteuclid.org/euclid.rmjm/1361800616 Výsledek č. 43. Ukazuje se, že pro zkvalitňování znalostí budoucích učitelů prvního stupně základní školy zaujímají významnou roli zkušenosti s badatelsky orientovaným vzděláváním. Proto se snažíme vyhledávat a navrhovat výuková prostředí a realizovat v nich přípravu studentů učitelství tak, aby měli možnost sami prožít badatelsky orientovanou výuku z pozice žáka a uvědomit si její přínos. Publikace (ASEP)
Tichá, Marie. A few reflections on the way to discovery of patterns and coherence. In Pytlak, M. (ed.). Proceedings of the CME-12: Children´s Mathematical Education: generalization in mathematics at all educational levels Rzeszóv : Wydawnictwo Universytetu Rzeszowskiego, 2012, s. 46-48. ISBN 978-83-7338-779-9. [Childrens´ Mathematical Education (CME-12), Rzeszów, 01.07.201205.07.2012, PL]. Roubíček, Filip. Badatelsky orientované aktivity v geometrii. In Ausbergerová, M.; Bastl, B.; Lávička, M. (ed.). Setkání učitelů matematiky všech typů a stupňů škol Plzeň : Vydavatelský servis, 2012, s. 241-245. ISBN 978-80-86843-38-4. [Setkání učitelů matematiky všech typů a stupňů škol, Srní na Šumavě, 08.11.2012-10.11.2012, CZ]. Výsledek č. 44. Shrnuli jsme dosavadní výsledky o přínosu tvoření úloh doprovázeného kvalifikovanou pedagogickou reflexí pro rozvíjení didaktické znalosti obsahu studentů učitelství v prostředí zlomků.
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
Publikace (KIS)
Tichá, M. – Hošpesová, A.: Developing teachers’ subject didactic competence through problem posing. Educational Studies in Mathematics – Springer, v tisku. Výsledek č. 45. Na příkladu pojmového komplexu pravidelnost–závislost–úměrnost jsme s využitím zkušeností z práce se studenty učitelství ukázali, jak lze přistupovat k rozvíjení počátečních představ pojmu funkce. Publikace (ASEP)
Tichá, Marie. Rozvíjení profesních kompetencí učitelů. In Uhlířová, M. (ed.). Specifika matematické edukace v prostředí primární školy Olomouc : Univerzita Palackého v Olomouci, 2012, s. 25-29. ISBN 978-80-244-3048-5. [Elementary Mathematics Education 2012, Olomouc, 25.04.2012-27.04.2012, CZ]. Výsledek č. 46. V rámci širokého mezinárodního konsorcia jsme se podíleli na vývoji digitalizačních standardů a softwarových nástrojů, které umožnily začlenění digitalizované matematické literatury vyprodukované na území českých zemí do volně přístupné Evropské digitální matematické knihovny http://eudml.eu. Publikace (ASEP)
Rákosník, Jiří ; Stanchev, P. ; Simeonov, G. ; Pavlov, R. Bulgarian Digital Mathematical Library BulDML and Czech Digital Mathematical Library DML-CZ as parts of the European Digital Mathematics Library. In Pavlov, R.; Stanchev, P. (ed.). Digital Presentation and Preservation of Cultural and Scientific Heritage : International Conference, Veliko Tarnovo, Bulgaria, September 18-21, 2012 Sofia : Institute of Mathematics and Informatics - BAS, 2012, s. 60-67. ISSN 1314-4006. [Proceedings of the Digital Presentation and Preservation of Cultural and Scientific Heritage 2012, Veliko Tarnovo, 18.09.2012-21.09.2012, BG]. Výsledek č. 47. Souhlas silných a slabých řešení pro úplný systém popisující stlačitelné proudění s teplotou Anotace CZ
Souhlas silných a slabých řešení pro úplný systém popisující stlačitelné proudění s teplotou
Matematický popis proudění stlačitelných, vazkých a tepelně vodivých tekutin je nutný pro vytváření efektivních numerických modelů s použitím v řadě lidských činností. Veřejnost se s takovými modely setkává v televizním meteorologickém zpravodajství, v leteckém a kosmickém průmyslu, astrofyzice a dalších oblastech. Vzhledem ke složitosti použitých rovnic není v silách současné matematiky ani ukázat, že řešení daného problému existuje v tzv. klasickém smyslu. Místo toho byl na počátku minulého století zaveden pojem tzv. zobecněných řešení ve smyslu různých moderních teorií. Práce se zabývá vzájemnými vztahy mezi různými třídami řešení téže úlohy. Je ukázán základní výsledek, že všechna zobecněná řešení splývají s řešením klasickým za předpokladu, že toto existuje alespoň na nějakém omezeném časovém intervalu. Takové pozorování je zásadní pro další rozvoj zobecněných řešení i příslušných numerických metod. EN
Weak–Strong Uniqueness Property for the Full Navier-Stokes-Fourier system
A mathematical description of the motion of compressible, viscous and heat conducting fluids is necessary for developing effective numerical methods used in a large variety of real world applications. The public encounters the omnipresence of such mathematical models used in weather predictions (meteorology), aircraft and spaceship design, or astrophysics, among many others. Despite the concerted effort of generations of excellent mathematicians, the basic questions concerning solvability of the underlying systems of equations remain largely open, among which the existence of classical solutions. Several concepts of the so-called generalized solutions have been developed since the beginning of the last century. The paper examines the mutual relations between different concepts of generalized solutions. In particular, it is shown that all generalized solutions to the same problem coincide with the classical solution as long as the latter exists. Such a result is fundamental for future development of the mathematical theory as well as effective numerical methods and their implementations. Spolupracující subjekt Kontaktní osoba
Université du Sud Toulon Var, Francie
prof. Eduard Feireisl, 222090737,
[email protected]
Publikace (ASEP)
Feireisl, Eduard ; Novotný, A. Weak-strong uniqueness property for the full Navier-Stokes-Fourier system. Archive for Rational Mechanics and Analysis 2012, roč. 204, č. 2, s. 683-706. ISSN 0003-9527. http://www.springerlink.com/content/nt003372p736230w/ Výsledek č. 48. Teorie deformací algeber a jejich diagramů Anotace CZ
Teorie deformací algeber a jejich diagramů
Teorie deformací zkoumá matematické struktury prostřednictvím jejich malých modifikací. To vede k linearizaci a tedy ke zjednodušení původního problému. Součástí teorie jsou samozřejmě i postupy, jak původní nelineární situaci rekonstruovat. Význam teorie deformací vzrostl s objevem deformačního kvantování fyzikálních systémů, rigorózně interpretujícího kvantové objekty jako deformace klasických. Monografie shrnuje vývoj teorie během posledních dvou desetiletí a je prvním textem tohoto druhu. Vznikla na základě deseti zvaných přednášek, které autor přednesl na State University of North Carolina, Raleigh, NC, USA, v květnu 2011. EN
Deformation theory of algebras and their diagrams
Deformation theory studies mathematical structures via their small modifications. This approach leads to linearization and therefore also to simplification of the original problem. The theory of course also provides tools to reconstruct the original, nonlinear, situation. Its importance grew with the discovery of deformation quantization of physical systems which rigorously interprets quantum objects as deformations of the classical ones. The monograph summarizes the development during the last two decades and it is the first text of this type. It covers ten lectures given by the author at the North Carolina State University at Raleigh, NC, USA, in May 2011. Spolupracující subjekt Kontaktní osoba
Dr. Martin Markl, 222090752,
[email protected]
Publikace (ASEP)
Markl, Martin. Deformation Theory of Algebras and their Diagrams 1. Providence : American Mathematical Society, 2012. 129 s. (CBMS Regional Conference Series in Mathematics : 116). ISBN 978-0-8218-8979-4. 1.
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
Ocenění zaměstnanci
1.
prof. RNDr. Michal Křížek, DrSc. Čestná oborová medaile Bernarda Bolzana za zásluhy v matematických vědách Oceněná činnost vědecko-výzkumná a publikační činnost Ocenění udělil AV ČR Oceněný Cena
2.
prof. RNDr. Michal Křížek, DrSc. Medaile Univerzity v Jyväskylä, Finsko Oceněná činnost dlouholetá spolupráce v oblasti numerického řešení diferenciálních rovnic Ocenění udělil rektor Univerzity v Jyväskylä, Finsko Oceněný Cena
3.
prof. RNDr. Miroslav Fiedler, DrSc. Cena Neuron 2012 Oceněná činnost celoživotní dílo v matematice Ocenění udělil Nadační fond Karla Janečka Oceněný Cena
4.
Prof. RNDr. Alois Kufner, DrSc. Giovanni-Prodi-Professor Oceněná činnost vědecká činnost v matematice Ocenění udělil Univerzita Würzburg Oceněný Cena
Další spec. informace o pracovišti
Terciární vzdělávání
V závěrečném protokolu o hodnocení výzkumné činnosti Matematického ústavu za léta 2005–2009 hodnotitelé ocenili odborné kvality pracovníků jednotlivých útvarů a nedoporučili žádné podstatné změny ve struktuře ani ve vědecké orientaci pracoviště. Jediná konkrétní kritika se týkala nedostatečného zapojení do širších vícenárodních projektů. V tomto směru došlo k pokroku. Matematický ústav byl přijat v roce 2012 za člena sdružení ERCOM (European Research Centres on Mathematics), což je prestižní výbor 26 evropských matematických pracovišť ustavený Evropskou matematickou společností. Od roku 2009 jsme členy mezinárodního PhD-programu „Matematické metody v přírodních vědách“ koordinovaného Varšavskou univerzitou za podpory Evropského fondu pro regionální rozvoj. V roce 2012 jsme podali u Evropské komise v rámci 7. rámcového programu „Marie Curie Initial Training Networks“ návrh projektu mnohonárodního sdružení pro výchovu mladých vědců v oboru proudění tekutin v komplexních oblastech, kde jsme hlavními řešiteli a koordinátory. Podílí se na něm vědecké instituce ze Slovenska, Francie, Portugalska, Německa, Itálie spolu s podniky z ČR, Německa, Francie, Portugalska a USA. Projekt je v současné době posuzován Evropskou komisí. V loňské soutěži o granty Evropské výzkumné rady (ERC) uspěl náš pracovník E. Feireisl se svou žádostí o Advanced grant. Smlouva mezi Matematickým ústavem a Evropskou výzkumnou radou se připravuje. Studijní program
Název VŠ
Vedení Učební Jiné prací texty
Předmět
Přednášky Cvičení
1. Fakulta strojní ČVUT v Praze Bakalářský
Strojírenství
ano
2. Slezská univerzita v Opavě Bakalářský
Matematika
ano
3. Pedagogická fakulta UK v Praze Bakalářský
Specializace v pedagogice
ano
ano
ano
4. Fakulta podnikatelská VUT v Brně Bakalářský
Ekonomika a management
ano
ano
ano
5. Fakulta strojního inženýrství VUT v Brně Bakalářský
Aplikované vědy v inženýrství
ano
6. Ilia State University, Tbilisi, Gruzie Bakalářský
Mathematics
ano
7. Fakulta podnikatelská VUT v Brně Bakalářský
Systémové inženýrství a informatika
ano
8. Masarykova univerzita v Brně Bakalářský
Matematika
ano
9. Fakulta strojního inženýrství VUT v Brně Bakalářský
Strojírenství
10. Matematicko-fyzikální fakulta UK, Praha Magisterský
Matematika
11. Fakulta aplikovaných věd ZČU v Plzni Magisterský
Aplikované vědy a informatika
ano ano
ano
12. Fakulta jaderná a fyzikálně-inženýrská ČVUT v Matematické inženýrství Magisterský Praze
ano
13. Přírodovědecká fakulta, Univerzita Palackého, Magisterský Olomouc
ano
Matematika a její aplikace
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
ano
ano Workshop "Rozpravy o matematické analýze II"
ano
ano
mini-kursy pro PhD studenty a lektory
Sekundární vzdělávání
14. Slezská univerzita v Opavě Magisterský
Matematika
ano
15. Pedagogická fakulta UK v Praze Magisterský
Učitelství pro základní školy
ano
16. Fakulta strojního inženýrství VUT v Brně Magisterský
Aplikované vědy v inženýrství
ano
17. Ilia State University, Tbilisi, Gruzie Magisterský
Mathematics
ano
18. Masarykova univerzita v Brně Magisterský
Matematika
ano
19. Masarykova univerzita v Brně Magisterský
Specializace v pedagogice
ano
20. Masarykova univerzita v Brně Magisterský
Učitelství pro základní školy
ano
21. Doktorský
Matematicko-fyzikální fakulta UK v Praze
Matematika
ano
22. Doktorský
Erwin Schrödinger International Institute for Mathematical Physics, Wien, Rakousko
Mathematics of complete fluid systems
ano
23. Doktorský
Strojní fakulta ČVUT v Praze
všechny programy doktorského ano studia
24. Doktorský
Matematicko-fyzikální fakulta UK v Praze
Informatika
ano
25. Doktorský
University of Florida, USA
Mathematics
ano
26. Doktorský
Universität Innsbruck, Rakousko
Mathematics
ano
27. Doktorský
Instytut Matematyki, Uniwersytet Śląski w Katowicach, Polsko
Środowiskowe Studia Doktoranckie z Nauk Matematycznych
ano
28. Doktorský
Slezská univerzita v Opavě
Matematika
ano
29. Doktorský
Instituto de Ciencias Matemáticas e de Computaçao, ICMC-USP, Sao Carlos, SP, Brazílie
Mathematics
30. Doktorský
Pedagogická fakulta UK v Praze
Pedagogika
31. Doktorský
Přírodovědecká fakulta UP v Olomouci
Algebra a geometrie
32. Doktorský
Matematicko-fyzikální fakulta UK v Praze
Matematika
předseda oborové rady
33. Doktorský
Masarykova univerzita v Brně
Matematika
člen oborové komise
Akce
Pořadatel
ano
ano
ano
ano
ano
ano
ano
ano ano
ano
ano
ano ano
Popis činnosti
1. garant projektu Math-enLycée Francais de Prague, Drtinova 7, 150 00 Praha 5 přednášky, konzultace jeans
Vzdělávání veřejnosti
2. Ústřední komise Matematické olympiády
Jednota českých matematiků a fyziků
předseda a člen Ústřední komise, organizační činnost
3. projekt Otevřená věda II
AV ČR
odborné vedení stáže studenta
4. projekt TALNET
Národní institut dětí a mládeže MŠMT, Laboratoř distančního vzdělávání KDF MFF UK Praha
e-learningový kurz (12 lekcí) a vedení seminární práce
5. projekt ESF "Investice do Základní škola Zlín rozvoje vzdělávání"
elektronických materiálů pro rozvoj metod a forem práce s mimořádně nadanými žáky 1. stupně ZŠ
6. Matematický seminář
Výuka ve třídě se zaměřením na matematiku
Akce
Gymnázium tř. Kpt. Jaroše 14, Brno Pořadatel
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
Popis činnosti
Projekty rámcových programů EU
1. International Conference KnowledgeResearch-Education KRE12, Praha, 4.– 5.10.2012
Národní technická knihovna
přednáška Zásady institucionálního financování
2. Albert Einstein a Praha 1911-1912
Matematický ústav AV ČR
série přednášek
3. Astronomické novinky z 28. valného shromáždění IAU v Pekingu
Matematicko-fyzikální fakulta UK v Praze
přednáška
4. Fyzik Vladimír Vand
Fakulta jaderná a fyzikálně inženýrská ČVUT v Praze přednáška
5. 600 let pražského orloje
Vysoká škola báňská – Technická univerzita Ostrava a ostravská pobočka Jednoty českých matematiků a přednáška fyziků
6. Vzdělávací projekt ESF Investice do rozvoje vzdělávání
Krajské zařízení pro další vzdělávání pedagogických seminář pro učitele matematiky Tvořivé pracovníků a informační centrum, Ostrava metody výuky matematiky
7. Vzdělávací projekt ESF Učitel 3. tisíciletí
Kritické myšlení, o.s., ZŠ Jablunkov
vzdělávací kurz pro učitele Užití metod kritického myšlení ve vyučování matematice
8. Další vzdělávání pedagogických pracovníků,
Národní institut pro další vzdělávání, Ostrava
seminář pro učitele matematiky (Ne)známé pomůcky ve vyučování matematice
9. Další vzdělávání pedagogických pracovníků Národní institut pro další vzdělávání, Karlovy Vary
seminář pro učitele matematiky Geometrické modelování
10. Další vzdělávání pedagogických pracovníků
Národní institut pro další vzdělávání, České Budějovice
seminář pro učitele matematiky Každodenní život v matematických úlohách
11. Konference Setkání učitelů matematiky všech typů a stupňů škol
Jednota českých matematiků a fyziků
3 přednášky
12. Specifika matematické edukace v prostředí primární školy (konference s mezinárodní účastí)
Jednota českých matematiků a fyziků
přednášky pro pracovníky a doktorandy fakult připravujících učitele 1. stupně ZŠ
13. Dva dny s didaktikou matematiky (pro učitele ZŠ a SŠ)
Jednota českých matematiků a fyziků
dílna Geometrické vzory
14. Managerská informatika, studijní program Fakulta podnikatelská VUT v Brně pro Celoživotní vzdělávání
semestrální přednáška Diskrétní matematika
15. Matyáš Lerch a matematická analýza
Jednota českých matematiků a fyziků
přednáška
16. Matematicko-didaktický seminář
Jednota českých matematiků a fyziků, Pedagogická fakulta MU v Brně
Seminář pro členy katedry, učitele matematiky, studenty matematiky a zájemce z veřejnosti
Projekt č. 1. Druh spolupráce
The European Digital Mathematics Library EuDML Typ IST-PSP Koordinátor Instituto Superior Technico, Lisabon, Portugalsko Řešitel RNDr. Jiří Rákosník, CSc. Částka v EUR 22240 Rok zahájení Rok ukončení 2013 Název
Akronym
Států
Mezinárodní projekty
Států z EU
Spoluřešitelů
Projekt č. 1. Druh spolupráce
Programy výzkumných sítí ve fyzikálních a inženýrských vědách - Optimální řízení parciálních diferenciálních rovnic Research Networking Programmes in Physical and Engineering Sciences - Optimization with PDE Constraints (OPTPDE) Typ aktivity neuvedeno Koordinátor Ronald Hoppe (Universität Augsburg, Německo, University of Houston, USA) Koordinující osoba Účastnické státy Švédsko, Itálie, Švýcarsko, ČR, Rakousko, Finsko, V. Británie, Lucembursko, Belgie, Polsko, Španělsko Států Států z EU Spoluřešitelé 11 CZ
EN
Projekt č. 2. Druh spolupráce
Transportní vlastnost v rovnicích dynamiky tekutin - SCIEX 11.152 Transport phenomena in continuum fluid dynamics - SCIEX 11.152 Typ aktivity neuvedeno Koordinátor Camillo de Lellis, Universität Zürich, Švýcarsko, Eduard Feireisl, MÚ AV ČR ČR Států Států z EU Spoluřešitelé 2 CZ
EN
Projekt č. 3. Druh spolupráce
KONTAKT - Spektrální teorie lineárních operátorů a reflexivita KONTAKT - Spectral theory of linear operators and reflexivity Typ aktivity neuvedeno CZ
EN
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
Koordinující osoba
Účastnické státy
Švýcarsko,
Koordinátor
ČR
Států
Matematický ústav AV ČR, Ústav matematiky, fyziky a mechaniky, Universita Ljubljana Spoluřešitelé 2
Koordinující osoba
Účastnické státy
Slovinsko,
Států z EU
Projekt č. 4. Druh spolupráce
7AMB Barrande - Nelineární analýza v Banachových prostorech 7AMB Barrande - Nonlinear analysis in Banach spaces Typ aktivity neuvedeno Koordinátor Université Franche Comte-Besancon, MU AV CR Koordinující osoba CZ
EN
Účastnické státy
Francie, ČR
Států
Států z EU
Spoluřešitelé
4
Projekt č. 5. Druh spolupráce
Spolupráce s gruzinskými vědci pracujícími v zahraničí - Geometrie funkčních prostorů Cooperation with Georgian scientists working abroad - Geometry of function spaces Typ aktivity neuvedeno Koordinátor Tbilisi State University Koordinující osoba Účastnické státy Gruzie, ČR Států Států z EU Spoluřešitelé 2 CZ
EN
Projekt č. 6. Druh spolupráce
MTM - Spolehlivé výpočetní metody pro nekonečně dimenzionální problémy MTM - Reliable Computational methods for Infinite Dimensional Problems MTM 2011-24766 Typ aktivity neuvedeno Koordinátor Sergey Korotov, Basque Center for Applied Mathematics Koordinující osoba Účastnické státy ČR, Chile, Kanady, UK, Německo, Maďarsko, Španělsko Států Států z EU Spoluřešitelé 7 CZ
EN
Akce s mezinárodní účastí
Název anglicky
1. Letní škola nehomogenních kapalin a proudění, Praha 27.–31.8.2012
Summer school and workshop Matematický Nonústav AV ČR homogeneous fluids and flows
50
35
neuvedena
2. Letní škola evolučních rovnic, EVEQ 2012, Praha, 9.–13.7.2012
Summer school on Evolutionary equations, EVEQ 2012
Matematický ústav AV ČR
60
40
neuvedena
3. 40. zimní škola abstraktní analýzy, sekce teorie množin a topologie, Hejnice, 28.1.– 4.2.2012
Winter School in Abstract Analysis, Matematický section Set ústav AV ČR Theory and Topology
55
30
neuvedena
4. Jarní škola z variační Spring School analýzy, Matematický of Variational Paseky nad ústav AV ČR Analysis Jizerou, 22.– 28.4.2012
54
42
neuvedena
5. Algebra, geometrie, matematická fyzika, Brno, 12.–14.8.2012
Katedra Algebra, matematiky, Geometry, Fakulta Mathematical strojní VUT v Physics Brně
120
80
neuvedena
6. 32. zimní škola Geometrie a fyzika, Srní, 14.–21.1.2012
32th Winter School Geometry and Physics
Matematickofyzikální fakulta UK v Praze
100
70
neuvedena
7. Aplikace matematiky 2012, Praha, 2.–5.5.2012
Applications of Mathematics
Matematický ústav AV ČR
50
15
neuvedena
Programs and Algorithms of Matematický Numerical ústav AV ČR Mathematics
53
2
neuvedena
8. Programy a algoritmy numerické matematiky 16, Dolní Maxov,
Pořadatel česky
z Pořadatel Spolupořadatel Spolupořadatel Datum Kontaktní Významná Účastníků toho Místo WWW - anglicky - česky - anglicky konání osoba prezentace zahr.
Název - česky
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
3.–8.6.2012 9. Relativita a gravitace, 100 let po Einsteinovi v Praze, Praha, 24.–29.6.2012
Relativity and Gravitation, Karlova 100 Years univerzita v after Einstein Praze in Prague
10. Workshop o diferenciálních Workshop on Matematický rovnicích, Malá Differential ústav AV ČR Morávka, 28.- Equations 31.5. 2012 Návštěvy zahr. vědců
Jméno
Pracoviště
230
210
neuvedena
19
4
neuvedena
Země
Obor, význačnost
1. Armen Shirikyan Université Cergy-Pontoise
Francie
stochastické rovnice, velmi významná osobnost
2. Adrian Constantin
Rakousko
mechanika tekutin, velmi významná osobnost
3. Chérif Amrouche Université Pau
Francie
mechanika tekutin, velmi významná osobnost
4. Antonín Novotný Université Toulon
Francie
mechanika tekutin, velmi významná osobnost
5. Yongzhong Sun University Nanjing
Čína
mechanika tekutin, velmi významná osobnost
6. Philippe Fraunier
Université Toulon
Francie
mechanika tekutin, velmi významná osobnost
7. Bogdan Matioc
Universität Wien
Rakousko
mechanika tekutin, velmi významná osobnost
8. Anca Matioc Fraunier
Universität Wien
Rakousko
mechanika tekutin, velmi významná osobnost
9. Francesca Crispo
Universitá Napoli
Itálie
mechanika tekutin, velmi významná osobnost
10. Peter Bella
Max Planck Institut Leipzig
Německo
nelineární pružnost, velmi významná osobnost
11. Jaqueline Godoy Mesquita
Instituto de Ciencias Matematicas e Computacao, ICMC-USP, Sao Carlos
Brazílie
obecněné diferenciální a diferenční rovnice, funkcionálně diferenciální rovnice, významná osobnost
12. Stig-Olof Londen
Aalto University School of Science and Technology
Finsko
parciální diferenciální rovnice, velmi významná osobnost
Universität Wien
13. Ryskul Ojnarov Univerzita Astana
Kazachstán teorie funkcí reálné proměnné, velmi významná osobnost
14. Patrick Penel
Université Toulon
Francie
matematické modelování v mechanice tekutin, kvalitativní teorie, velmi významná osobnost
15. Lutz Recke
Humboldtova univerzita v Berlíně
Německo
teorie diferenciálních rovnic, bifurkací, teorie laserů, významná osobnost
16. Mohammad Al Jordánská univerzita, Amman Janaideh
Jordánsko
elektrotechnika
17. Martin Brokate Technische Universität München
Německo
optimální regulace, velmi významná osobnost
18. Klaus Kuhnen
Robert Bosch, GmbH, Stuttgart
Německo
elektrotechnika, velmi významná osobnost
19. Ram Iyer
Texas Tech University, Lubbock
USA
matematické modelování hystereze, významná osobnost
20. Adrien Petrov
INSA Lyon
Francie
variační úlohy, významná osobnost
21. Dmitrii Rachinskii
University College Cork
Irsko
matematické modelování hystereze, velmi významná osobnost
22. Toyohiko Aiki
Gifu University
Japonsko
parciální diferenciální rovnice, velmi významná osobnost
23. Jürgen Sprekels
Weierstrass Institut Berlin
Německo
parciální diferenciální rovnice, velmi významná osobnost
24. Bernard Ducomet
CEA, Arpajon
Francie
matematická analýza, velmi významná osobnost
25. Alberto Fiorenza
Universitá di Napoli Federico II
Itálie
prostory funkcí, velmi významná osobnost
26. Yoshihiro Shibata
Waseda University
Japonsko
parciální diferenciální rovnice, velmi významná osobnost
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
27. Werner Varnhorn
Universität Kassel
Německo
28. Nikolaj Chemetov
University Lisbon
Portugalsko parciální diferenciální rovnice, velmi významná osobnost
29. Frank J. Hall
Georgia State University
USA
lineární algebra a diskrétní matematika, velmi významná osobnost
30. Pierre McKenzie
University de Montreal
Kanada
teoretická informatika, velmi významná osobnost
31. Dmitri Gavinsky
NEC, Princeton
USA
teoretická informatika, významná osobnost
32. Eric Allender
Rutgers University, New Brunswick
USA
teoretická informatika, velmi významná osobnost
33. Antonina Kolokolova
Memorial University of Newfoundland, St.John's
Kanada
teoretická informatika, velmi významná osobnost
34. Jan H. van Schuppen
CWI Amsterdam
Nizozemí
řízení lineárních systémů a systémů s diskrétními událostmi, velmi významná osobnost
35. Galina Jirásková
Matematický ústav SAV, Bratislava
Slovensko
teorie automatů, významná osobnost
36. Serena Matucci Univerzita ve Florencii
Itálie
kvalitativní teorie obyčejných diferenciálních a diferenčních rovnic, významná osobnost
37. Alberto Cabada
Universidad de Santiago de Compostela
Španělsko
okrajové úlohy pro obyčejné diferenciální a diferenční rovnice, významná osobnost
38. Alexander Domoshnitsky
Ariel University Center of Samaria, Ariel
Izrael
funkcionální diferenciální rovnice, významná osobnost
39. Tariel Kiguradze
Florida Institute of Technology, Melbourne
USA
okrajové úlohy pro parciální diferenciální rovnice hyperbolického typu, velmi významná osobnost
40. Jan Lang
Department of Mathematics, The Ohio State University
USA
teorie integrálních operátorů a prostorů funkcí, významná osobnost
41. Miklós Rontó
University of Miskolc
Maďarsko
Konstrukce řešení okrajových úloh pro obyčejné a funkcionální diferenciální rovnice, významná osobnost
42. Florian Luca
National Autonomous University of Mexico, UNAM, Morelia
Mexico
teorie čísel, velmi významná osobnost
43. Jan Brandts
Korteweg-de Vries Institute, University of Amsterdam
Nizozemí
numerické řešení diferenciálních rovnic, velmi významná osobnost
44. Lawrence Somer
Catholic Univ. of America, Washington, D.C.
USA
teorie čísel, významná osobnost
45. Sergey Korotov
Basque Center for Applied Mathematics, Bilbao
Španělsko numerické řešení diferenciálních rovnic, významná osobnos
46. Joab R. Winkler
University of Sheffield
Velká Británie
numerické metody, významná osobnost
47. Annti Hannukainen
Technische Universität Wien
Rakousko
matematické programování, významná osobnost
48. Lars Ludwig
Technische Universität Dresden
Německo
numerická analýza, významná osobnost
49. Martin Vohralík Université Pierre et Marie Currie, Paris VI
Francie
numerické metody, významná osobnost
50. Simon L. Cotte Oxford University
Velká Británie
matematická biologie, stochastické systémy, významná osobnost
parciální diferenciální rovnice, velmi významná osobnost
51. Apo Cihangir
Korteweg-de Vries Institute, University of Amsterdam
Nizozemí
numerické řešení diferenciálních rovnic, významná osobnost
52. Bedřich Sousedík
University of Southern California
USA
numerické řešení stochastických diferenciálních rovnic, významná osobnost
53. Alex Ioffe
Technion, Haifa
Izrael
variační analýza, velmi významná osobnost
54. Gilles Godefroy CNRS, Paris 6
Francie
Banachovy prostory, velmi významná osobnost
55. Thomas Schlumprecht
USA
funkcionální analýza, velmi významná osobnost
Texas AM University
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
Dvoustranné dohody
56. M. Gonzalez Ortiz
University of Cantabria, Santander
Španělsko funkcionální analýza, velmi významná osobnost
57. Peter Stanchev
Institute of Mathematics and Informatics BAS, Sofie
Bulharsko
informatika, významná osobnost
58. Andrey Lazarev
University of Lancaster
Velká Británie
geometrie a topologie, geometrie a topologie
59. Catalin Badea Université Lille
Francie
geometrie a topologie, významná osobnost
60. Martin Mathieu University of Belfast
Irsko
teorie operátorů, významná osobnost
61. Walter Trebels Technische Universität Darmstadt
Německo
matematická analýza, významná osobnost
62. Gustavo Corach
University of Buenos Aires
Argentina
teorie operátorů, významná osobnost
63. Roman Drnovšek
University of Ljubljana
Slovinsko
teorie operátorů, významná osobnost
64. Bojan Kuzma
University of Koper
Slovinsko
lineární algebra, významná osobnost
65. Antonio Caetano
University of Aveiro
Portugalsko matematická analýza, významná osobnost
66. Julio Neves
University of Coimbra
Portugalsko matematická analýza, významná osobnost
67. El-Hassan Youssfi
LATP, Université de Provence, Marseille
Francie
matematická analýza, významná osobnost
Spolupracující instituce
Země Téma spolupráce
1. Institute for System Dynamics and Control Theory, Siberian Branch of Russian Academy of Sciences, teoretická a aplikovaná Rusko Irkutsk matematika Popularizační činnost
Hl. Spolupořadatel pořadatel
Místo a datum
Název akce
Aktivita
1. M. Křížek: Astronomické novinky z 28. valného shromáždění IAU v Pekingu
Přednáška pro veřejnost v radničním klubu v Plzni
Hvězdárna a planetárium 10.10.2012, Plzeň Plzeň
2. K. Segeth: Difuzní analýza vrstevnatých mozkových struktur
Přednáška na Semináři ONI-NTI
Fakulta mechatroniky, TUL v Liberci
file:///I|/home/MATHINST/hodnocení2015/II. fáze/podklady z výročních zpráv/2012/AV2012.html[1.4.2015 16:03:34]
3.10.2012, Liberec