Search results
- 1.0558275 - ÚFP 2024 RIV GB eng J - Journal Article
Reux, C. - Paz-Soldan, C. - Eidietis, N. - Lehnen, M. - Aleynikov, P. - Silburn, S. - Bandaru, V. - Ficker, Ondřej - Hoelzl, M. - Hollmann, E. - Jachmich, S. - Joffrin, E. - Lomas, P. J. - Rimini, F. - Baylor, L. - Bleasdale, M. - Calacci, L. - Causa, F. - Carnevale, D. - Coffey, I. - Craven, D. - Dal Molin, A. - De La Luna, E. - De Tommasi, G. - Garcia, J. - Gebhart, T. - Giacomelli, L. - Huber, A. - Khilkevich, E. - Lowry, C. - Tomešová, Eva - Manzanares, A. - Nocente, M. - Panontin, E. - Papp, G. - Pautasso, G. - Peacock, A. - Plyusnin, V. - Shevelev, A. - Shiraki, T. - Sommariva, C. - Sozzi, C. - Sridhar, S. - Sweeney, R. - Szepesi, G. - Tinguely, R. A. - Wilson, J.
Physics of runaway electrons with shattered pellet injection at JET.
Plasma Physics and Controlled Fusion. Roč. 64, č. 3 (2022), č. článku 034002. ISSN 0741-3335. E-ISSN 1361-6587
EU Projects: European Commission(XE) 633053 - EUROfusion
Institutional support: RVO:61389021
Keywords : disruption * disruption mitigation * magnetohydrodynamics * plasma-wall interaction * runaway electrons * shattered pellet injection * tokamak
OECD category: Fluids and plasma physics (including surface physics)
Impact factor: 2.2, year: 2022
Method of publishing: Limited access
https://iopscience.iop.org/article/10.1088/1361-6587/ac48bc
Permanent Link: https://hdl.handle.net/11104/0343901 - 2.0544085 - ÚFP 2022 RIV AT eng J - Journal Article
Giacomin, M. - Stagni, R. - Ricci, P. - Boedo, J. A. - Horáček, Jan - Reimerdes, H. - Tsui, C.K.
Theory-based scaling laws of near and far scrape-off layer widths in single-null L-mode discharges.
Nuclear Fusion. Roč. 61, č. 7 (2021), č. článku 076002. ISSN 0029-5515. E-ISSN 1741-4326
R&D Projects: GA ČR(CZ) GA20-28161S; GA MŠMT(CZ) EF16_013/0001551
EU Projects: European Commission(XE) 633053 - EUROfusion
Institutional support: RVO:61389021
Keywords : gbs * plasma turbulence * scrape-off layer width
OECD category: Fluids and plasma physics (including surface physics)
Impact factor: 4.215, year: 2021
Method of publishing: Limited access
https://iopscience.iop.org/article/10.1088/1741-4326/abf8f6
Permanent Link: http://hdl.handle.net/11104/0321143 - 3.0543868 - ÚPT 2022 RIV NL eng J - Journal Article
Mächler, P. - Broggini, T. - Mateo, C. - Thunemann, M. - Fomin-Thunemann, N. - Doran, P. R. - Sencan, I. - Kilic, K. - Desjardins, M. - Uhlířová, Hana - Yaseen, M. A. - Boas, D. A. - Linninger, A. A. - Vergassola, M. - Yu, X. - Lewis, L. D. - Polimeni, J. R. - Rosen, B. R. - Sakadžić, S. - Buxton, R. B. - Lauritzen, M. - Kleinfeld, D. - Devor, A.
A suite of neurophotonic tools to underpin the contribution of internal brain states in fMRI.
Current Opinion in Biomedical Engineering. Roč. 18, June (2021), č. článku 100273. E-ISSN 2468-4511
Institutional support: RVO:68081731
Keywords : neuromodulation * optical imaging * hemodynamic * CMRO2 * glycolysis
OECD category: Optics (including laser optics and quantum optics)
Impact factor: 4.164, year: 2021
Method of publishing: Open access
https://www.sciencedirect.com/science/article/pii/S2468451121000143
Permanent Link: http://hdl.handle.net/11104/0320979 - 4.0542699 - MÚ 2022 RIV DE eng J - Journal Article
Buss, S. - Thapen, Neil
DRAT and propagation redundancy proofs without new variables.
Logical Methods in Computer Science. Roč. 17, č. 2 (2021), č. článku 12. ISSN 1860-5974. E-ISSN 1860-5974
R&D Projects: GA ČR(CZ) GA19-05497S
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : DRAT * extension * pigeonhole principle * proof logging
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.591, year: 2021
Method of publishing: Open access
https://dx.doi.org/10.23638/LMCS-17(2:12)2021
Permanent Link: http://hdl.handle.net/11104/0320071File Download Size Commentary Version Access Thapen.pdf 3 499.7 KB Publisher’s postprint open-access - 5.0536633 - ÚI 2022 RIV US eng J - Journal Article
Šanda, Pavel - Malerba, P. - Jiang, X. - Krishnan, G. P. - Gonzales-Martinez, J. - Halgren, E. - Bazhenov, M. … Total 8 authors
Bidirectional Interaction of Hippocampal Ripples and Cortical Slow Waves Leads to Coordinated Spiking Activity During NREM Sleep.
Cerebral Cortex. Roč. 31, č. 1 (2021), s. 324-340. ISSN 1047-3211. E-ISSN 1460-2199
Institutional support: RVO:67985807
Keywords : network model * NREM sleep * sharp wave-ripple * slow oscillation
OECD category: Neurosciences (including psychophysiology
Impact factor: 4.861, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1093/cercor/bhaa228
Permanent Link: http://hdl.handle.net/11104/0314381 - 6.0499289 - MÚ 2020 RIV NL eng J - Journal Article
Beckmann, A. - Buss, S. - Friedman, S.-D. - Müller, M. - Thapen, Neil
Feasible set functions have small circuits.
Computability. Roč. 8, č. 1 (2019), s. 67-98. ISSN 2211-3568
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : computational complexity * primitive recursive set functions * circuit complexity * Cobham recursive set functions
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Method of publishing: Limited access
http://dx.doi.org/10.3233/COM-180096
Permanent Link: http://hdl.handle.net/11104/0291518File Download Size Commentary Version Access Thapen1.pdf 1 310.7 KB Publisher’s postprint require - 7.0462538 - ÚBO 2017 RIV US eng J - Journal Article
Madinda, N. F. - Ehlers, B. - Wertheim, J. O. - Akoua-Koffi, C. - Bergl, R. A. - Boesch, C. - Akonkwa, D. B. M. - Eckardt, W. - Fruth, B. - Gillespie, T. R. - Gray, M. - Hohmann, G. - Karhemere, S. - Kujirakwinja, D. - Langergraber, K. - Muyembe, J.-J. - Nishuli, R. - Pauly, M. - Petrželková, Klára Judita - Robbins, M. M. - Todd, A. - Schubert, G. - Stoinski, T. S. - Wittig, R. M. - Zuberbühler, K. - Peeters, M. - Leendertz, F. H. - Calvignac-Spencer, S.
Assessing host-virus codivergence for close relatives of Merkel cell polyomavirus infecting African great apes.
Journal of Virology. Roč. 90, č. 19 (2016), s. 8531-8541. ISSN 0022-538X. E-ISSN 1098-5514
R&D Projects: GA ČR GA206/09/0927
Institutional support: RVO:68081766
Keywords : JC virus * divergence times * evolution * phylogenies * selection * bats * coevolution * population * chimpanzee * diversity
Subject RIV: GJ - Animal Vermins ; Diseases, Veterinary Medicine
Impact factor: 4.663, year: 2016
Permanent Link: http://hdl.handle.net/11104/0261974 - 8.0456152 - MÚ 2017 RIV NL eng J - Journal Article
Beckmann, A. - Buss, S. - Friedman, S.-D. - Müller, M. - Thapen, Neil
Cobham recursive set functions.
Annals of Pure and Applied Logic. Roč. 167, č. 3 (2016), s. 335-369. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : set function * polynomial time * Cobham recursion
Subject RIV: BA - General Mathematics
Impact factor: 0.647, year: 2016
http://www.sciencedirect.com/science/article/pii/S0168007215001293
Permanent Link: http://hdl.handle.net/11104/0256726File Download Size Commentary Version Access Thapen.pdf 1 694.7 KB Publisher’s postprint require - 9.0434454 - MÚ 2016 RIV US eng J - Journal Article
Gavinsky, Dmitry - Lovett, S. - Saks, M. - Srinivasan, S.
A tail bound for read-k families of functions.
Random Structures and Algorithms. Roč. 47, č. 1 (2015), s. 99-108. ISSN 1042-9832. E-ISSN 1098-2418
Institutional support: RVO:67985840
Keywords : tail bound * deviation bound * random variables
Subject RIV: BA - General Mathematics
Impact factor: 1.011, year: 2015
http://onlinelibrary.wiley.com/doi/10.1002/rsa.20532/abstract
Permanent Link: http://hdl.handle.net/11104/0238534File Download Size Commentary Version Access Gavinsky.pdf 7 112.5 KB Publisher’s postprint require - 10.0433869 - MÚ 2015 RIV US eng J - Journal Article
Buss, S.R. - Kolodziejczyk, L. A. - Thapen, Neil
Fragments of approximate counting.
Journal of Symbolic Logic. Roč. 79, č. 2 (2014), s. 496-525. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA AV ČR IAA100190902
Institutional support: RVO:67985840
Keywords : approximate counting * bounded arithmetic * ordering principle
Subject RIV: BA - General Mathematics
Impact factor: 0.541, year: 2014
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9287274&fileId=S0022481213000376
Permanent Link: http://hdl.handle.net/11104/0238073File Download Size Commentary Version Access Thapen3.pdf 1 366.7 KB Publisher’s postprint require