Zobrazeno 1 - 10
of 1 802
pro vyhledávání: '"HICKS, MICHAEL"'
Autor:
Das, Puja, Posch, August, Barber, Nathan, Hicks, Michael, Vandal, Thomas J., Duffy, Kate, Singh, Debjani, van Werkhoven, Katie, Ganguly, Auroop R.
Precipitation nowcasting, critical for flood emergency and river management, has remained challenging for decades, although recent developments in deep generative modeling (DGM) suggest the possibility of improvements. River management centers, such
Externí odkaz:
http://arxiv.org/abs/2407.11317
Autor:
Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew
This paper presents verification-guided development (VGD), a software engineering process we used to build Cedar, a new policy language for expressive, fast, safe, and analyzable authorization. Developing a system with VGD involves writing an executa
Externí odkaz:
http://arxiv.org/abs/2407.01688
Autor:
Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew
Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable. Rather than embed authorization logic in an application's code, developers can write that logic as Cedar policies and delegate access decisions to Ceda
Externí odkaz:
http://arxiv.org/abs/2403.04651
Publikováno v:
The Journal of Supercritical Fluids 207(8) 2024 :106210
In this paper we formulate and analyze an elementary model for the propagation of advancing autoignition fronts in reactive co-flow fuel/oxidizer jets injected into an aqueous environment at high pressure. This work is motivated by the experimental s
Externí odkaz:
http://arxiv.org/abs/2311.09485