Modelling 2014
Blaheta, Radim; Starý, Jiří; Sysalová, Dagmar
2014 - English MODELLING 2014 is a conference on Mathematical Modelling and Computational Methods in Applied Sciences and Engineering, which is held in Roznov pod Radhostem, Czech Republic, in June 2 - 6, 2014. The conference is organized by the IT4Innovations Centre of Excellence, Institute of Geonics AS CR, V’B-Technical University of Ostrava and International Association for Mathematics and Computers in Simulations (IMACS). MODELLING 2014 aims to be a forum for an exchange of ideas, insights and experience in di erent areas of mathematical modelling from numerical methods and computer aspects to applications of mathematical modelling methods. This international conference belongs to a series of conferences held in Roºnov 2009, Pilsen 2005, Pilsen 2001, Prague 1998 which started 20 years ago in Prague 1994. Main topics of the conference include computational modelling in engineering and science: multiscale modelling, multiphysics modelling, progress in discretization methods, effcient solvers, nonlinear problems, reliable computations, challenging applications of mathematical modelling methods, exploiting massively parallel computing facilities. Keywords: mathematical modelling; computational modelling; numerical methods Available in a digital repository NRGL Modelling 2014

MODELLING 2014 is a conference on Mathematical Modelling and Computational Methods in Applied Sciences and Engineering, which is held in Roznov pod Radhostem, Czech Republic, in June 2 - 6, 2014. ...

Blaheta, Radim; Starý, Jiří; Sysalová, Dagmar
Ústav geoniky, 2014

Proceedings of 13th Youth symposium on experimental solid mechanics
Kytýř, Daniel; Zlámal, Petr; Růžička, M.
2014 - English Proceedings of the 13th Youth Symposium on Experimental Solid Mechanics held in Decin, Czech Republic. The symposium is focused on experimental methods and numerical simulation in engineering sciences. The proceedings capture the trends in development of experimental methods in mechanics of structures and materials (regardless to the material and structure type, covering fields from civil and mechanical engineering to biomechanics) as well as deployment of particular solution for measurement and automation systems for evaluation of experimental data. Keywords: solid mechanics; experimental mechanics; mechanical characterization Fulltext is available at external website. Proceedings of 13th Youth symposium on experimental solid mechanics

Proceedings of the 13th Youth Symposium on Experimental Solid Mechanics held in Decin, Czech Republic. The symposium is focused on experimental methods and numerical simulation in engineering ...

Kytýř, Daniel; Zlámal, Petr; Růžička, M.
Ústav teoretické a aplikované mechaniky, 2014

The 2nd International Workshop on Decision Making with Multiple Imperfect Decision Makers
Guy, Tatiana Valentine; Kárný, Miroslav; Insua, D. R.; Villa, A. E. P.; Wolpert, D.
2011 - English The workshop aims to brainstorm on promising research directions, present relevant case studies and theoretical results, and to encourage collaboration among researchers with complementary ideas and expertise. The workshop will be based on invited talks, contributed talks and posters. Extensive moderated and informal discussions ensure targeted exchange. Keywords: decision making; imperfect decision makers; multiple imperfect Fulltext is available at external website. The 2nd International Workshop on Decision Making with Multiple Imperfect Decision Makers

The workshop aims to brainstorm on promising research directions, present relevant case studies and theoretical results, and to encourage collaboration among researchers with complementary ideas and ...

Guy, Tatiana Valentine; Kárný, Miroslav; Insua, D. R.; Villa, A. E. P.; Wolpert, D.
Ústav teorie informace a automatizace, 2011

Miroslav Krs Conference: Time, Magnetism, Records, Systems and Solutions : abstracts volume
Koptíková, Leona; Hladil, Jindřich; Adamovič, Jiří
2011 - English Keywords: magnetism; magnetic susceptibility; material science; geology; geophysics; environment; biology Fulltext is available at external website. Miroslav Krs Conference: Time, Magnetism, Records, Systems and Solutions : abstracts volume

Koptíková, Leona; Hladil, Jindřich; Adamovič, Jiří
Geologický ústav, 2011

Field trip Barrandian
Hladil, Jindřich; Koptíková, Leona; Slavík, Ladislav
2011 - English Keywords: limestones; palaeozoic; Barrandian; excursion guide Fulltext is available at external website. Field trip Barrandian

Hladil, Jindřich; Koptíková, Leona; Slavík, Ladislav
Geologický ústav, 2011

NCMPL 2011 Abstracts
Cintula, Petr; Ju, S.; Víta, Martin
2011 - English This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields. Keywords: non-classical logic; predicate logic; modal logic; intuitionistic logic; substructural logic; relevant logic; fuzzy logic; non-classical mathematics Available in digital repository of the ASCR NCMPL 2011 Abstracts

This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, ...

Cintula, Petr; Ju, S.; Víta, Martin
Ústav informatiky, 2011

Abstract Book and Conference Guide OIS 3 Conference
Lisá, Lenka; Neruda, P.; Nerudová, Z.; Nývltová Fišáková, Miriam
2010 - English Keywords: archaeology; geology; geoarchaeology Fulltext is available at external website. Abstract Book and Conference Guide OIS 3 Conference

Lisá, Lenka; Neruda, P.; Nerudová, Z.; Nývltová Fišáková, Miriam
Geologický ústav, 2010

Doktorandské dny '10
Kuželová, Dana; Hakl, František
2010 - English Available in a digital repository NRGL Doktorandské dny '10

Kuželová, Dana; Hakl, František
Ústav informatiky, 2010

Programs and Algorithms of Numerical Mathematics 15
Vejchodský, Tomáš; Chleboun, J.; Přikryl, Petr; Segeth, Karel; Šístek, Jakub
2010 - English The book contains papers presented at the international seminar Programs and algorithms of numerical Mathematics 15 (PANM 15), held in Dolni Maxov, Czech Republic, June 6-11, 2010. It is the fifteen volume in the series of the PANM proceedings. The topics of contributions include numerical methods for fluid flow modelling, the finite element method, a posteriori error estimates, topics from numerical linear atgebra, etc. Keywords: algorithms; numerical mathematics Available in digital repository of the ASCR Programs and Algorithms of Numerical Mathematics 15

The book contains papers presented at the international seminar Programs and algorithms of numerical Mathematics 15 (PANM 15), held in Dolni Maxov, Czech Republic, June 6-11, 2010. It is the fifteen ...

Vejchodský, Tomáš; Chleboun, J.; Přikryl, Petr; Segeth, Karel; Šístek, Jakub
Matematický ústav, 2010

Logic, Algebra and Truth Degrees 2010
Chvalovský, Karel; Cintula, Petr; Noguera, C.
2010 - English Volume of abstracts from the conference Logic, Algebra and Truth Degrees 2010 (the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic) which was held on 7-11 September 2010 in Prague. The volume was published by Institute of Theoretical informatics as volume 2010-502 of ITI Series and is available at http://iti.mff.cuni.cz/series/ Keywords: mathematical fuzzy logic; algebraic logic; proof theory; degree of truth Available in digital repository of the ASCR Logic, Algebra and Truth Degrees 2010

Volume of abstracts from the conference Logic, Algebra and Truth Degrees 2010 (the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic) which was held on 7-11 September ...

Chvalovský, Karel; Cintula, Petr; Noguera, C.
Ústav informatiky, 2010