Basket | The Czech Academy of Sciences

1.

0423235 - ÚT 2014 RIV CZ cze V - Research Report
Převorovský, Zdeněk - Semerák, P. - Kratochvíl, J.
Automatizovaná diagnostika extrémně zatížených stavebních konstrukcí.
[Automated diagnostics of extremely loaded structures (engineering constructions).]
Praha: UNICA TECHNOLOGIES a. s, 2013. 118 s.
R&D Projects: GA MPO FR-TI1/198
Source of funding: V - Other public resources
Institutional support: RVO:61388998
Keywords : structural health monitoring (SHM) * roof structures * acoustic emission * nonlinear elastic wave spectroscopy - NEWS
Subject RIV: JN - Civil Engineering
Permanent Link: http://hdl.handle.net/11104/0229313

2.

0363897 - GFÚ 2012 RIV CZ eng J - Journal Article
Kolář, Petr - Růžek, Bohuslav - Boušková, Alena - Horálek, Josef
Visualization of the fault slip connected with the West Bohemia earthquake swarms.
Acta geodynamica et geomaterialia. Roč. 8, č. 2 (2011), s. 169-187. ISSN 1214-9705. E-ISSN 2336-4351
R&D Projects: GA AV ČR(CZ) IAA300120805; GA ČR GAP210/10/1728
Institutional research plan: CEZ:AV0Z30120515
Keywords : West Bohemia earthquake swarm * fault slip * fault dynamics * asperity
Subject RIV: DC - Siesmology, Volcanology, Earth Structure
Impact factor: 0.530, year: 2011
Permanent Link: http://hdl.handle.net/11104/0199516

3.

0366213 - PSÚ 2012 RIV GB eng J - Journal Article
Freund, A.M. - Kouřilová, Sylvie - Kuhl, P.
Stronger evidence for own-age effects in memory for older as compared to younger adults.
Memory. Roč. 19, č. 5 (2011), s. 429-448. ISSN 0965-8211. E-ISSN 1464-0686
Institutional research plan: CEZ:AV0Z70250504
Keywords : own-age effect * memory bias * age relevance * ageing
Subject RIV: AN - Psychology
Impact factor: 2.089, year: 2011 ; AIS: 0.882, rok: 2011
DOI: https://doi.org/10.1080/09658211.2011.583929
Permanent Link: http://hdl.handle.net/11104/0201272

4.

0584859 - ÚI 2025 RIV CH eng M - Monography Chapter
Blaauwbroek, L. - Cerna, David M. - Gauthier, T. - Jakubův, J. - Kaliszyk, C. - Suda, M. - Urban, J.
Learning Guided Automated Reasoning: A Brief Survey.
Logics and Type Systems in Theory and Practice. Essays in Honor of the 60th Birthday of Herman Geuvers. Cham: Springer, 2024 - (Capretta, V.; Krebbers, R.; Wiedijk, F.), s. 54-83. Lecture Notes in Computer Science, 14560. ISBN 978-3-031-61715-7
EU Projects: European Commission(XE) CA20111
Institutional support: RVO:67985807
Keywords : automated-reasoning * Theorem-proving * Statistical-learning * Reinforcement-learning * Inductive synthesis
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result website:
https://doi.org/10.1007/978-3-031-61716-4_4DOI: https://doi.org/10.1007/978-3-031-61716-4_4
Permanent Link: https://hdl.handle.net/11104/0352646

	File	Download	Size	Commentary	Version	Access
	0584859-apre.pdf	1	373.7 KB	v. 1	Author´s preprint	open-access

Research data: Preprint - ArXiv.org

5.

0488044 - ÚJČ 2018 RIV CZ cze J - Journal Article
Vajdlová, Miloslava
Vývoj rodové příslušnosti deverbativ na -ež.
[The development of gender affiliation of deverbatives ending on -ež.]
Bohemica Olomucensia. Roč. 8, č. 2 (2016), s. 18-33. ISSN 1803-876X
R&D Projects: GA ČR(CZ) GA15-00987S
Institutional support: RVO:68378092
Keywords : language development * diachrony * Old Czech * Middle Czech * gender affiliation * word-formation * suffix * deverbatives
OECD category: Linguistics
Permanent Link: http://hdl.handle.net/11104/0282679