Basket | The Czech Academy of Sciences

1.

0448832 - MÚ 2016 RIV DE eng C - Conference Paper (international conference)
Galesi, N. - Pudlák, Pavel - Thapen, Neil
The space complexity of cutting planes refutations.
30th Conference on Computational Complexity (CCC 2015). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2015 - (Zuckerman, D.), s. 433-447. Leibniz International Proceedings in Informatics, 33. ISBN 978-3-939897-81-1. ISSN 1868-8969.
[Conference on Computational Complexity (CCC) /30./. Portland (US), 17.06.2015-19.06.2015]
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 339691 - FEALORA
Program: FP7
Institutional support: RVO:67985840
Keywords : proof complexity * space * cutting planes
Subject RIV: BA - General Mathematics
Result website:
http://drops.dagstuhl.de/opus/volltexte/2015/5055/DOI: https://doi.org/10.4230/LIPIcs.CCC.2015.433
Permanent Link: http://hdl.handle.net/11104/0250451

	File	Download	Size	Commentary	Version	Access
	Pudlak1.pdf	3	476.6 KB		Publisher’s postprint	require

2.

0208983 - USP-I 980093 RIV CZ cze J - Journal Article
Šamalík, František
Ústavní folklor kontra ústavní právo.
[Constitutional folklore versus constitutional law.]
Politologická revue. č. 1 (1998), s. 82-90. ISSN 1211-0353
Subject RIV: AG - Legal Sciences
Permanent Link: http://hdl.handle.net/11104/0104542

3.

0390425 - ÚACH 2013 RIV CZ eng C - Conference Paper (international conference)
Košařová, V. - Hradil, David - Kanický, V.
Limitations of spectroscopic methods in the study of earthy pigments.
ACTA ARTIS ACADEMICA 2012: KNOWLEDGE AND EXPERIENCE IN THE FINE ART. PRAHA: Akademie výtvarných umění v Praze, 2012, s. 353-354. ISBN 978-80-87108-33-8.
[Interdisciplinary Conference of ALMA /4./. Praha (CZ), 21.11.2012-23.11.2012]
Institutional support: RVO:61388980
Keywords : Raman spectroscopy * infrared spectroscopy * earthy pigment * clay minerals
Subject RIV: CA - Inorganic Chemistry
Permanent Link: http://hdl.handle.net/11104/0219316