Zobrazeno 1 - 10
of 9 836
pro vyhledávání: '"EMINA, A."'
Autor:
Rybchuk, Alex, Martínez-Tossas, Luis A., Letizia, Stefano, Hamilton, Nicholas, Scholbrock, Andy, Maric, Emina, Houck, Daniel R., Herges, Thomas G., de Velder, Nathaniel B., Doubrawa, Paula
To validate the second-by-second dynamics of turbines in field experiments, it is necessary to accurately reconstruct the winds going into the turbine. Current time-resolved inflow reconstruction techniques estimate wind behavior in unobserved region
Externí odkaz:
http://arxiv.org/abs/2410.14024
In a recently introduced coset guessing game, Alice plays against Bob and Charlie, aiming to meet a joint winning condition. Bob and Charlie can only communicate before the game starts to devise a joint strategy. The game we consider begins with Alic
Externí odkaz:
http://arxiv.org/abs/2410.08160
This paper studies two crucial problems in the context of coded distributed storage systems directly related to their performance: 1) for a fixed alphabet size, determine the minimum number of servers the system must have for its service rate region
Externí odkaz:
http://arxiv.org/abs/2407.01229
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:
Odii, Aloysius, Busgacalia, Ilaria, Rutayisire, Fidèle, Okpara, Kelechi, Ngomenzey, Christian, Atama, Chiemezie, Emina, Jacques, Ugwu, Chidi, Onyishi, Ike E., Izugbara, Chimaraoke
Publikováno v:
African Journal of Reproductive Health / La Revue Africaine de la Santé Reproductive, 2024 Aug 01. 28, 32-40.
Externí odkaz:
https://www.jstor.org/stable/27332716
Autor:
Okpara, Kelechi, Ngomenzey, Christian, Odii, Aloysius, Atama, Chiemezie, Emina, Jacques, Busgacalia, Ilaria, Rutayisire, Fidèle, Ugwu, Chidi, Onyishi, Ike Ernest, Izugbara, Chimaraoke
Publikováno v:
African Journal of Reproductive Health / La Revue Africaine de la Santé Reproductive, 2024 Aug 01. 28, 21-31.
Externí odkaz:
https://www.jstor.org/stable/27332715
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
We assess proton decay signatures in the simplest viable $SU(5)$ model with regard to constraints on parameters governing the Standard Model fermion mass spectrum. Experimental signals for all eight two-body proton decay processes result from exchang
Externí odkaz:
http://arxiv.org/abs/2401.16907
Autor:
Aktas, Mehmet, Soljanin, Emina
Distributed systems store data objects redundantly to balance the data access load over multiple nodes. Load balancing performance depends mainly on 1) the level of storage redundancy and 2) the assignment of data objects to storage nodes. We analyze
Externí odkaz:
http://arxiv.org/abs/2312.10360
Pretty printers make trade-offs between the expressiveness of their pretty printing language, the optimality objective that they minimize when choosing between different ways to lay out a document, and the performance of their algorithm. This paper p
Externí odkaz:
http://arxiv.org/abs/2310.01530