Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Petar Maksimović"'
Autor:
Petar Maksimović
Publikováno v:
Annual Review of Nuclear and Particle Science. 72:447-475
In the past decade, the Large Hadron Collider (LHC) has probed a higher energy scale than ever before. Most models of physics beyond the standard model (BSM) predict the production of new heavy particles; the LHC results have excluded lower masses of
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 185, Iss Proc. LFMTP 2015, Pp 3-17 (2015)
We present two extensions of the LF Constructive Type Theory featuring monadic locks. A lock is a monadic type construct that captures the effect of an external call to an oracle. Such calls are the basic tool for gluing together diverse Type Theorie
Externí odkaz:
https://doaj.org/article/8e3f193577314bf094c78715c7203a3a
Publikováno v:
Geonauka. :35-45
Autor:
E Bertrand García-Moreno, Torre J. Wenaus, Ana Damjanović, Benjamin T. Miller, Petar Maksimović, Bernard R. Brooks
Publikováno v:
Journal of chemical information and modeling. 48(10)
Computational grids are a promising resource for modeling complex biochemical processes such as protein folding, penetration of gases or water into proteins, or protein structural rearrangements coupled to ligand binding. We have enabled the molecula
Autor:
Ana Damjanović, Benjamin T. Miller, Torre J. Wenaus, Petar Maksimović, Bertrand García-Moreno E., Bernard R. Brooks
Publikováno v:
Journal of Chemical Information & Modeling; Sep2008, Vol. 48 Issue 10, p2021-2029, 9p
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Nov2023, Vol. 32 Issue 6, p1-29, 29p
Autor:
Pešić, Miroslav1 miroslav.pesic@filfak.ni.ac.rs
Publikováno v:
Facta Universitatis: Series Philosophy, Sociology, Psychology & History. 2018, Vol. 17 Issue 2, p137-147. 11p.
Autor:
Lis, Tomasz Jacek
Publikováno v:
Contributions / Prilozi; 2020, Issue 49, p137-165, 29p
Publikováno v:
Probability Logics; 2016, pi-xi, 11p
Publikováno v:
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings; 2015, pI-XI, 11p