Zobrazeno 1 - 10
of 1 029
pro vyhledávání: '"P. Cleaveland"'
The development of quantum computers has reached a great milestone, in spite of restrictions on important quantum resources: the number of qubits being entangled at a single-location quantum computer. Recently, there has been some work to combine sin
Externí odkaz:
http://arxiv.org/abs/2407.09710
This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The work is motivated by the need for conceptual tools for the development of
Externí odkaz:
http://arxiv.org/abs/2402.13469
Autor:
A. Nathan, N. Hanna, A. Rashid, S. Patel, Y. Phuah, K. Flora, P. Cleaveland, V. Kasivisvanathan, S. Miah, J. Collins, A. Sridhar, A. Kelkar, J. Hines, J. Kelly, N. Shah, T. Briggs, G. Shaw, P. Sooriakumaran, P. Rajan, B. Lamb, S. Nathan
Publikováno v:
European Urology Open Science, Vol 21, Iss , Pp S1- (2020)
Externí odkaz:
https://doaj.org/article/168ccd49d39546a6bd821c3ed26639c4
Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
Autor:
Tumu, Renukanandan, Cleaveland, Matthew, Mangharam, Rahul, Pappas, George J., Lindemann, Lars
Conformal prediction is a statistical tool for producing prediction regions for machine learning models that are valid with high probability. A key component of conformal prediction algorithms is a \emph{non-conformity score function} that quantifies
Externí odkaz:
http://arxiv.org/abs/2312.07434
Learning-enabled controllers have been adopted in various cyber-physical systems (CPS). When a learning-enabled controller fails to accomplish its task from a set of initial states, researchers leverage repair algorithms to fine-tune the controller's
Externí odkaz:
http://arxiv.org/abs/2311.03477
This paper establishes relative expressiveness results for several modal mu-calculi interpreted over timed automata. These mu-calculi combine modalities for expressing passage of (real) time with a general framework for defining formulas recursively;
Externí odkaz:
http://arxiv.org/abs/2310.04100
Autor:
Dutta, Souradeep, Caprio, Michele, Lin, Vivian, Cleaveland, Matthew, Jang, Kuk Jin, Ruchkin, Ivan, Sokolsky, Oleg, Lee, Insup
A particularly challenging problem in AI safety is providing guarantees on the behavior of high-dimensional autonomous systems. Verification approaches centered around reachability analysis fail to scale, and purely statistical approaches are constra
Externí odkaz:
http://arxiv.org/abs/2308.14815
Autor:
Nigel P. French, Kate M. Thomas, Nelson B. Amani, Jackie Benschop, Godfrey M. Bigogo, Sarah Cleaveland, Ahmed Fayaz, Ephrasia A. Hugho, Esron D. Karimuribo, Elizabeth Kasagama, Ruth Maganga, Matayo L. Melubo, Anne C. Midwinter, Blandina T. Mmbaga, Victor V. Mosha, Fadhili I. Mshana, Peninah Munyua, John B. Ochieng, Lynn Rogers, Emmanuel Sindiyo, Emanuel S. Swai, Jennifer R. Verani, Marc-Alain Widdowson, David A. Wilkinson, Rudovick R. Kazwala, John A. Crump, Ruth N. Zadoks
Publikováno v:
Emerging Infectious Diseases, Vol 30, Iss 10, Pp 2079-2089 (2024)
Campylobacteriosis and antimicrobial resistance (AMR) are global public health concerns. Africa is estimated to have the world’s highest incidence of campylobacteriosis and a relatively high prevalence of AMR in Campylobacter spp. from humans and a
Externí odkaz:
https://doaj.org/article/469e28b1578f42e48ef3af63e8ebc66e
Autor:
Catherine M. Herzog, Fasil Aklilu, Demeke Sibhatu, Dereje Shegu, Redeat Belaineh, Abde Aliy Mohammed, Menbere Kidane, Claudia Schulz, Brian J. Willett, Sarah Cleaveland, Dalan Bailey, Andrew R. Peters, Isabella M. Cattadori, Peter J. Hudson, Hagos Asgedom, Joram Buza, Mesfin Sahle Forza, Tesfaye Rufael Chibssa, Solomon Gebre, Nick Juleff, Ottar N. Bjørnstad, Michael D. Baron, Vivek Kapur
Publikováno v:
Communications Biology, Vol 7, Iss 1, Pp 1-10 (2024)
Abstract Peste des petits ruminants virus (PPRV) is a multi-host pathogen with sheep and goats as main hosts. To investigate the role of cattle in the epidemiology of PPR, we simulated conditions similar to East African zero-grazing husbandry practic
Externí odkaz:
https://doaj.org/article/4ef1b7d1d8f14c9eb09d574edc09deeb
Models of actual causality leverage domain knowledge to generate convincing diagnoses of events that caused an outcome. It is promising to apply these models to diagnose and repair run-time property violations in cyber-physical systems (CPS) with lea
Externí odkaz:
http://arxiv.org/abs/2304.02813