Zobrazeno 1 - 10
of 274
pro vyhledávání: '"A. Gengelbach"'
Autor:
P.J. Davies, H. Grawe, K. Moschner, A. Blazhev, R. Wadsworth, P. Boutachkov, F. Ameil, A. Yagi, H. Baba, T. Bäck, M. Dewald, P. Doornenbal, T. Faestermann, A. Gengelbach, J. Gerl, R. Gernhäeuser, S. Go, M. Górska, E. Gregor, T. Isobe, D.G. Jenkins, H. Hotaka, J. Jolie, I. Kojouharov, N. Kurz, M. Lewitowicz, G. Lorusso, L. Maier, E. Merchan, F. Naqvi, H. Nishibata, D. Nishimura, S. Nishimura, F. Nowacki, N. Pietralla, H. Schaffner, P.-A. Söderström, H.S. Jung, K. Steiger, T. Sumikama, J. Taprogge, P. Thöle, N. Warr, H. Watanabe, V. Werner, Z.Y. Xu, K. Yoshinaga, Y. Zhu
Publikováno v:
Physics Letters B, Vol 767, Iss C, Pp 474-479 (2017)
The first evidence for β-delayed proton emission from the 16+ spin gap isomer in 96Cd is presented. The data were obtained from the Rare Isotope Beam Factory, at the RIKEN Nishina Center, using the BigRIPS spectrometer and the EURICA decay station.
Externí odkaz:
https://doaj.org/article/21b779b12fec4288b0d14520d3b04a35
Publikováno v:
EPTCS 332, 2021, pp. 1-17
Definitions of new symbols merely abbreviate expressions in logical frameworks, and no new facts (regarding previously defined symbols) should hold because of a new definition. In Isabelle/HOL, definable symbols are types and constants. The latter ma
Externí odkaz:
http://arxiv.org/abs/2101.03807
Isabelle/HOL augments classical higher-order logic with ad-hoc overloading of constant definitions---that is, one constant may have several definitions for non-overlapping types. In this paper, we present a mechanised proof that HOL with ad-hoc overl
Externí odkaz:
http://arxiv.org/abs/2002.10212
Autor:
Andrew J. Witten, Karin F.K. Ejendal, Lindsey M. Gengelbach, Meghan A. Traore, Xu Wang, David M. Umulis, Sarah Calve, Tamara L. Kinzer-Ursem
Publikováno v:
Journal of Lipid Research, Vol 58, Iss 10, Pp 2061-2070 (2017)
Protein post-translational modifications (PTMs) serve to give proteins new cellular functions and can influence spatial distribution and enzymatic activity, greatly enriching the complexity of the proteome. Lipidation is a PTM that regulates protein
Externí odkaz:
https://doaj.org/article/1fd27cd42d61494d86d0dd6c97f88d65
Autor:
Garber, Mitchell E., Troyanskaya, Olga G., Schluens, Karsten, Petersen, Simone, Thaesler, Zsuzsanna, Pacyna-Gengelbach, Manuela, van de Rijn, Matt, Rosen, Glenn D., Perou, Charles M., Whyte, Richard I., Altman, Russ B., Brown, Patrick O., Botstein, David, Petersen, Iver
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2001 Nov . 98(24), 13784-13789.
Externí odkaz:
https://www.jstor.org/stable/3057172
Autor:
Jorge Blanco Mendana, Margaret Donovan, Lindsey Gengelbach, Benjamin Auch, John Garbe, Daryl M. Gohl
Advances in single-cell sequencing technologies have provided novel insights into the dynamics of gene expression throughout development, been used to characterize somatic variation and heterogeneity within tissues, and are currently enabling the con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::558a6d8b5e85041b351ebcdfa0035555
https://doi.org/10.1101/2023.03.29.534817
https://doi.org/10.1101/2023.03.29.534817
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 332:1-17
Definitions of new symbols merely abbreviate expressions in logical frameworks, and no new facts (regarding previously defined symbols) should hold because of a new definition. In Isabelle/HOL, definable symbols are types and constants. The latter ma
Non-terminating (dependencies of) definitions can lead to logical contradictions, for example when defining a boolean constant as its own negation. Some proof assistants thus detect and disallow non-terminating definitions. Termination is generally u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1726c08a47a87c1140fc2915702b143c
Autor:
Gengelbach, Aila
Neutron-rich rare-earth nuclei around the maximum of collectivity are predicted to exist with an extremely stable intrinsic configuration in their ground-state structure. Due to the high degree of axial symmetry and large deformation, these nuclei ar
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-442208
Autor:
Gengelbach, Arve
With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the he
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2c82e9a92eb1bfcec8ada128e0e0e700
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-435841
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-435841