Zobrazeno 1 - 10
of 3 109
pro vyhledávání: '"Muise A"'
Fully Observable Non-Deterministic (FOND) planning is a variant of classical symbolic planning in which actions are nondeterministic, with an action's outcome known only upon execution. It is a popular planning paradigm with applications ranging from
Externí odkaz:
http://arxiv.org/abs/2312.11675
Autor:
Petrov, Alice, Muise, Christian
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematical proofs. In particular, we in
Externí odkaz:
http://arxiv.org/abs/2312.06490
Cataloguing specific URLs, posts, and applications with digital traces is the new best practice for measuring media use and content consumption. Despite the apparent accuracy that comes with greater granularity, however, digital traces may introduce
Externí odkaz:
http://arxiv.org/abs/2310.00197
Autor:
Chakraborti, Tathagata, Kang, Jungkoo, Muise, Christian, Sreedharan, Sarath, Walker, Michael, Szafir, Daniel, Williams, Tom
This paper describes TOBY, a visualization tool that helps a user explore the contents of an academic survey paper. The visualization consists of four components: a hierarchical view of taxonomic data in the survey, a document similarity view in the
Externí odkaz:
http://arxiv.org/abs/2306.10051
Embodied agents face significant challenges when tasked with performing actions in diverse environments, particularly in generalizing across object types and executing suitable actions to accomplish tasks. Furthermore, agents should exhibit robustnes
Externí odkaz:
http://arxiv.org/abs/2306.01295
Autor:
Evan R. Muise, Margaret E. Andrew, Nicholas C. Coops, Txomin Hermosilla, A. Cole Burton, Stephen S. Ban
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-15 (2024)
Abstract The essential biodiversity variables (EBV) framework has been proposed as a monitoring system of standardized, comparable variables that represents a minimum set of biological information to monitor biodiversity change at large spatial exten
Externí odkaz:
https://doaj.org/article/762cea9c54724ec09cda21006b54e3f4
Autor:
Fatemeh Nasehi, Cameron Rylance, Erin Schnell, Maslyn Ann Greene, Caroline Conway, Zachary Hough, Susan Duckett, Robin C. Muise-Helmericks, Ann Catherine Foley
Publikováno v:
Biology Open, Vol 13, Iss 9 (2024)
Externí odkaz:
https://doaj.org/article/7d550f92f36e4cd8a0034271ff4a76e7
Autor:
Do-Sung Kim, Lili Song, Wenyu Gou, Jisun Kim, Bei Liu, Hua Wei, Robin C. Muise-Helmericks, Zihai Li, Hongjun Wang
Publikováno v:
Cell Death and Disease, Vol 15, Iss 5, Pp 1-12 (2024)
Abstract High workload-induced cellular stress can cause pancreatic islet β cell death and dysfunction, or β cell failure, a hallmark of type 2 diabetes mellitus. Thus, activation of molecular chaperones and other stress-response genes prevents β
Externí odkaz:
https://doaj.org/article/da3d8bce9a954de4856020c5ba9dd6a1
Autor:
Hongxian Zhu, Andrew M. Sydor, Kirsten C. Boddy, Etienne Coyaud, Estelle M. N. Laurent, Aaron Au, Joel M. J. Tan, Bing-Ru Yan, Jason Moffat, Aleixo M. Muise, Christopher M. Yip, Sergio Grinstein, Brian Raught, John H. Brumell
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-16 (2024)
Abstract Salmonella utilizes a type 3 secretion system to translocate virulence proteins (effectors) into host cells during infection1. The effectors modulate host cell machinery to drive uptake of the bacteria into vacuoles, where they can establish
Externí odkaz:
https://doaj.org/article/cb972bdf39654deca965043e86fecd62
Autor:
Callanan, Ethan, De Venezia, Rebecca, Armstrong, Victoria, Paredes, Alison, Chakraborti, Tathagata, Muise, Christian
For over three decades, the planning community has explored countless methods for data-driven model acquisition. These range in sophistication (e.g., simple set operations to full-blown reformulations), methodology (e.g., logic-based vs. planing-base
Externí odkaz:
http://arxiv.org/abs/2206.06530