souhrnné údaje
Transkript
souhrnné údaje
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