Flash memory efficient LTL model checking
Edelkamp, S., Sulewski, D., Barnat, J., Brim, L., Šimeček, P.
Published in Science of computer programming (01.02.2011)
Published in Science of computer programming (01.02.2011)
Get full text
Journal Article
0325 High-Throughput Sleep Phenotyping and Heritability in Diversity Outbred Mice
Keenan, B T, Galante, R, Lian, J, Simecek, P, Gatti, D M, Zhang, L, Lim, D C, Svenson, K L, Churchill, G, Pack, A I
Published in Sleep (New York, N.Y.) (27.04.2018)
Published in Sleep (New York, N.Y.) (27.04.2018)
Get full text
Journal Article
Reduction of traits for genetic evaluation of linear described traits in the Old Kladruber horse
Vostry, L., Ceska Zemedelska Univ., Prague (Czech Republic). Fakulta Agrobiologie, Potravinovych a Prirodnich Zdroju, Pribyl, J., Ceska Zemedelska Univ., Prague (Czech Republic). Fakulta Agrobiologie, Potravinovych a Prirodnich Zdroju, Simecek, P., Vyzkumny Ustav Zivocisne Vyroby, Prague (Czech Republic)
Published in Czech Journal of Animal Science (01.04.2012)
Published in Czech Journal of Animal Science (01.04.2012)
Get full text
Journal Article
Interallelic and intergenic incompatibilities of the Prdm9 (Hst1) gene in mouse hybrid sterility
Flachs, Petr, Mihola, Ondřej, Simeček, Petr, Gregorová, Soňa, Schimenti, John C, Matsui, Yasuhisa, Baudat, Frédéric, de Massy, Bernard, Piálek, Jaroslav, Forejt, Jiří, Trachtulec, Zdenek
Published in PLoS genetics (01.11.2012)
Published in PLoS genetics (01.11.2012)
Get full text
Journal Article
Analysis of non-genetic factors affecting calving difficulty in the Czech Holstein population
Fiedlerova, M.,Vyzkumny Ustav Zivocisne Vyroby, Prague (Czech Republic), Rehak, D.,Vyzkumny Ustav Zivocisne Vyroby, Prague (Czech Republic), Vacek, M.,Vyzkumny Ustav Zivocisne Vyroby, Prague (Czech Republic), Volek, J.,Vyzkumny Ustav Zivocisne Vyroby, Prague (Czech Republic), Fiedler, J.,Vyzkumny Ustav Zivocisne Vyroby, Prague (Czech Republic), Simecek, P.,Vyzkumny Ustav Zivocisne Vyroby, Prague (Czech Republic), Masata, O.,Vyzkumny Ustav Zivocisne Vyroby, Prague (Czech Republic), Jilek, F.,Ceska Zemedelska Univ., Prague (Czech Republic). Katedra Veterinarnich Disciplin
Published in Czech Journal of Animal Science (01.07.2008)
Published in Czech Journal of Animal Science (01.07.2008)
Get full text
Journal Article
Histone H3 lysine 4 methyltransferase hybrid sterility 1 (Hst1/Prdm9/Meisetz) activates small RNA genes
Flachs, P., Trachtulec, Z., Mihola, O., Simecek, P., Forejt, J.
Published in New biotechnology (01.04.2010)
Published in New biotechnology (01.04.2010)
Get full text
Journal Article
Cluster-Based I/O-Efficient LTL Model Checking
Barnat, J., Brim, L., Simecek, P.
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Get full text
Conference Proceeding
Hyperfine magnetic fields at rare-earth elements in ferromagnetic transition metals
Budzyński, M., Simecek, P., Lesner, T., Giźek, P., Prochazka, I., Simeckova, E., Tsupko-Sitnikov, V. M., Ehn, L., Janout, Z.
Published in Hyperfine interactions (01.04.1987)
Published in Hyperfine interactions (01.04.1987)
Get full text
Journal Article
GAMMA-RAY SPECTROSCOPY OF CD-110
JUTTINEN, S, JULIN, R, PIIPARINEN, M, AHONEN, P, Cederwall, Bo, FAHLANDER, C, LAMPINEN, A, LONNROTH, T, MAJ, A, MITARAI, S, MULLER, D, NYBERG, J, SIMECEK, P, SUGAWARA, M, THORSLUND, I, TORMANEN, S, VIRTANEN, A, WYSS, R
Published in Nuclear physics. A (13.06.1994)
Get full text
Published in Nuclear physics. A (13.06.1994)
Journal Article
Coexisting structures in 115Sn and 116Sn
Savelius, A., Juutinen, S., Helariutta, K., Jones, P., Julin, R., Jämsen, P., Muikku, M., Piiparinen, M., Suhonen, J., Törmänen, S., Wyss, R., Greenlees, P.T., Simecek, P., Cutoiu, D.
Published in Nuclear physics. A (01.08.1998)
Published in Nuclear physics. A (01.08.1998)
Get full text
Journal Article
Decay of oriented 149Nd and low-lying levels in the N = 88 149Pm nucleus
SIMECEK, P, FINGER, M, TSUPKO-SITNIKOV, V. M, PROCHAZKA, I, KONICEK, J, JANOUT, Z
Published in Czechoslovak journal of physics (1991)
Get full text
Published in Czechoslovak journal of physics (1991)
Journal Article
Band structures in 132Ba
Juutinen, S, Törmänen, S, Ahonen, P, Carpenter, M, Fahlander, C, Gascon, J, Julin, R, Lampinen, A, Lönnroth, T, Nyberg, J, Pakkanen, A, Piiparinen, M, Schiffer, K, Simecek, P, Sletten, G, Virtanen, A
Published in Physical review. C, Nuclear physics (01.12.1995)
Get more information
Published in Physical review. C, Nuclear physics (01.12.1995)
Journal Article
Shape coexistence in the transitional 133Ba nucleus
Juutinen, S, Simecek, P, Ahonen, P, Carpenter, M, Fahlander, C, Gascon, J, Julin, R, Lampinen, A, Lönnroth, T, Nyberg, J, Pakkanen, A, Piiparinen, M, Schiffer, K, Sletten, G, Törmänen, S, Virtanen, A
Published in Physical review. C, Nuclear physics (01.04.1995)
Get more information
Published in Physical review. C, Nuclear physics (01.04.1995)
Journal Article
High-spin states in 109,111Cd and 107Pd
Juutinen, S., Šimeček, P., Fahlander, C., Julin, R., Kumpulainen, J., Lampinen, A., Lönnroth, T., Maj, A., Mitarai, S., Müller, D., Nyberg, J., Piiparinen, M., Sugawara, M., Thorslund, I., Törmänen, S., Virtanen, A.
Published in Nuclear physics. A (01.09.1994)
Published in Nuclear physics. A (01.09.1994)
Get full text
Journal Article
Gamma-ray spectroscopy of 110Cd
Juutinen, S., Julin, R., Piiparinen, M., Ahonen, P., Cederwall, B., Fahlander, C., Lampinen, A., Lönnroth, T., Maj, A., Mitarai, S., Müller, D., Nyberg, J., S̆imec̆ek, P., Sugawara, M., Thorslund, I., Törmänen, S., Virtanen, A., Wyss, R.
Published in Nuclear physics. A (01.06.1994)
Published in Nuclear physics. A (01.06.1994)
Get full text
Journal Article
Decay of oriented149Nd and low-lying levels in theN=88149Pm nucleus
Šimeček, P., Finger, M., Tsupko-Sitnikov, V. M., Procházka, I., Koníček, J., Janout, Z.
Published in Czechoslovak journal of physics (01.01.1991)
Published in Czechoslovak journal of physics (01.01.1991)
Get full text
Journal Article
Decay of oriented149Nd and levels in theN=88149Pm nucleus
Šimeček, P., Procházka, I., Finger, M., Lešner, T., Malinský, P., Sashin, I. L., Šimečková, E., Janout, Z., Koníček, J.
Published in Hyperfine interactions (01.03.1987)
Published in Hyperfine interactions (01.03.1987)
Get full text
Journal Article