Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Petar Maksimović"'
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
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:
Geonauka. :35-45
Autor:
Jieun Yoo, Jennet Dickinson, Morris Swartz, Giuseppe Di Guglielmo, Alice Bean, Douglas Berry, Manuel Blanco Valentin, Karri DiPetrillo, Farah Fahim, Lindsey Gray, James Hirschauer, Shruti R Kulkarni, Ron Lipton, Petar Maksimovic, Corrinne Mills, Mark S Neubauer, Benjamin Parpillon, Gauri Pradhan, Chinar Syal, Nhan Tran, Dahai Wen, Aaron Young
Publikováno v:
Machine Learning: Science and Technology, Vol 5, Iss 3, p 035047 (2024)
Highly granular pixel detectors allow for increasingly precise measurements of charged particle tracks. Next-generation detectors require that pixel sizes will be further reduced, leading to unprecedented data rates exceeding those foreseen at the Hi
Externí odkaz:
https://doaj.org/article/aa2631c16f494145a9232dd2f336c1f7
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:
Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)
We extend the constructive dependent type theory of the Logical Framework $\mathsf{LF}$ with monadic, dependent type constructors indexed with predicates over judgements, called Locks. These monads capture various possible proof attitudes in establis
Externí odkaz:
https://doaj.org/article/d2e7175eaf0a4b2a993c6cab3345be70