Počet nalezených dokumentů: 34
Publikováno od do

Czech Gathering of Logicians 2022. Book of Abstracts
Haniková, Zuzana; Švejdar, V.; Wannenburg, Johann Joubert
2022 - anglický
Dokument je dostupný na externích webových stránkách.
Czech Gathering of Logicians 2022. Book of Abstracts

Haniková, Zuzana; Švejdar, V.; Wannenburg, Johann Joubert
Ústav informatiky, 2022

MAT TRIAD 2019: Book of Abstracts
Bok, J.; Hartman, David; Hladík, M.; Rozložník, Miroslav
2019 - anglický
This volume contains the Book of abstracts of the 8th International Conference on Matrix Analysis and its Applications, MAT TRIAD 2019. The MATTRIAD conferences represent a platform for researchers in a variety of aspects of matrix analysis and its interdisciplinary applications to meet and share interests and ideas. The conference topics include matrix and operator theory and computation, spectral problems, applications of linear algebra in statistics, statistical models, matrices and graphs as well as combinatorial matrix theory and others. The goal of this event is to encourage further growth of matrix analysis research including its possible extension to other fields and domains. Klíčová slova: proceedings; conference; matrix analysis Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
MAT TRIAD 2019: Book of Abstracts

This volume contains the Book of abstracts of the 8th International Conference on Matrix Analysis and its Applications, MAT TRIAD 2019. The MATTRIAD conferences represent a platform for researchers ...

Bok, J.; Hartman, David; Hladík, M.; Rozložník, Miroslav
Ústav informatiky, 2019

ITAT 2014. Information Technologies - Applications and Theory. Part I
Kůrková, Věra; Bajer, Lukáš
2014 - anglický
ITAT 2014. Information Technologies - Applications and Theory. Part I. Prague : Institute of Computer Science AS CR, 2014. 101 p. ISBN 978-80-87136-18-8. This volume is the first part of the two-volume proceedings of the 14th conference Information Technologies – Applications and Theory (ITAT 2014). The conference was held in Jasná, Demänovská Dolina, Slovakia, on September 25–29, 2014. ITAT is a computer science conference with the primary goal of exchanging information on recent research results between Czech and Slovak scientific communities, and it presents a platform for young researchers and PhD students to start new collaborations. This year, it was held in parallel with two collocated conferences Datakon and Znalosti with which it shared some invited plenary talks and a poster session. Overall, 51 papers were submitted to all conference tracks. This volume presents 16 papers of the main track, which were selected by the program committee based on at least two reviews by the program committee members. Papers from the three workshops and extended abstracts of posters are included in the second volume. Klíčová slova: computer science; machine-learning; computer linguistics; data-mining; bio-informatics; parallel processing Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
ITAT 2014. Information Technologies - Applications and Theory. Part I

ITAT 2014. Information Technologies - Applications and Theory. Part I. Prague : Institute of Computer Science AS CR, 2014. 101 p. ISBN 978-80-87136-18-8. This volume is the first part of the ...

Kůrková, Věra; Bajer, Lukáš
Ústav informatiky, 2014

ITAT 2014. Information Technologies - Applications and Theory. Part II
Kůrková, Věra; Bajer, Lukáš; Peška, L.; Vojtáš, P.; Holeňa, Martin; Nehéz, M.
2014 - anglický
ITAT 2014. Information Technologies - Applications and Theory. Part II. Prague : Institute of Computer Science AS CR, 2014. 145 p. ISBN 978-80-87136-19-5. This volume is the second part of the two-volume proceedings of the 14th conference Information Technologies – Applications and Theory (ITAT 2014), which was held in Jasná, Demänovská Dolina, Slovakia, on September 25–29, 2014. ITAT is a computer science conference with the primary goal of exchanging information on recent research results. Overall, 51 papers were submitted to all conference tracks. This volume presents papers from the workshops and an extended abstract of a poster. Three specialized workshops were held as a part of the conference: Data Mining and Preference Learning on Web, Computational Intelligence and Data Mining, and Algorithmic Aspects of Complex Networks Analysis. Klíčová slova: computer science; machine-learning; computer linguistics; data-mining; bio-informatics; parallel processing Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
ITAT 2014. Information Technologies - Applications and Theory. Part II

ITAT 2014. Information Technologies - Applications and Theory. Part II. Prague : Institute of Computer Science AS CR, 2014. 145 p. ISBN 978-80-87136-19-5. This volume is the second part of the ...

Kůrková, Věra; Bajer, Lukáš; Peška, L.; Vojtáš, P.; Holeňa, Martin; Nehéz, M.
Ústav informatiky, 2014

NCMPL 2011 Abstracts
Cintula, Petr; Ju, S.; Víta, Martin
2011 - anglický
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. Klíčová slova: non-classical logic; predicate logic; modal logic; intuitionistic logic; substructural logic; relevant logic; fuzzy logic; non-classical mathematics Plné texty jsou dostupné v digitálním repozitáři Akademie Věd.
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

Doktorandské dny '10
Kuželová, Dana; Hakl, František
2010 - anglický
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Doktorandské dny '10

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

Logic, Algebra and Truth Degrees 2010
Chvalovský, Karel; Cintula, Petr; Noguera, C.
2010 - anglický
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/ Klíčová slova: mathematical fuzzy logic; algebraic logic; proof theory; degree of truth Plné texty jsou dostupné v digitálním repozitáři Akademie Věd.
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

Health Technology Assessment
Zvárová, Jana; Přečková, Petra
2010 - anglický
Klíčová slova: zdravotnictví; technologie; hodnocení Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Health Technology Assessment

Zvárová, Jana; Přečková, Petra
Ústav informatiky, 2010

Opportunities of SEIS and SISE: Integrating Environmental Knowledge in Europe
Hradec, J.; Pelikán, Emil; Mirovský, O.; Pillmann, W.; Holoubek, I.; Bandholz, T.
2009 - anglický
The European conference *Towards /e/Environment* was dedicated to information exchange among public administrations, EU institutions, environmental agencies, scientists and businesses involved in developing and using environmental informatics for the delivery of modern eEnvironment services in Europe. The conference was organised by the Masaryk University in cooperation with the Ministry of Environment of the Czech Republic, the European Commission, the European Environment Agency and the European Space Agency and further Czech institutions (CENIA, CSO, ICS AS, CHMI, CTU). The proceedings was printed in Masarykova universita in Brno (ISBN 978-80-210-4824-9). Klíčová slova: European research area; environmental sustainability; information processing; environmental protection Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Opportunities of SEIS and SISE: Integrating Environmental Knowledge in Europe

The European conference *Towards /e/Environment* was dedicated to information exchange among public administrations, EU institutions, environmental agencies, scientists and businesses involved in ...

Hradec, J.; Pelikán, Emil; Mirovský, O.; Pillmann, W.; Holoubek, I.; Bandholz, T.
Ústav informatiky, 2009

Doktorandské dny '07
Hakl, František
2007 - anglický
Klíčová slova: computer science; nonlinear modelling; medical informatics Plné texty jsou dostupné v digitálním repozitáři NUŠL
Doktorandské dny '07

Hakl, František
Ústav informatiky, 2007

O službě

NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.

Vaše náměty a připomínky posílejte na email nusl@techlib.cz

Provozovatel

http://www.techlib.cz

Facebook

Zahraniční báze