Zobrazeno 1 - 10
of 6 334
pro vyhledávání: '"Lee, Edward"'
Autor:
Lin, Shaokai, Jellum, Erling, Theile, Mirco, Tanneberger, Tassilo, Sun, Binqi, Jerad, Chadlia, Xu, Ruomu, Feng, Guangyu, Menard, Christian, Lohstroh, Marten, Castrillon, Jeronimo, Seshia, Sanjit, Lee, Edward
This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language. The subset c
Externí odkaz:
http://arxiv.org/abs/2406.06253
Autor:
Donovan, Peter, Jellum, Erling, Jun, Byeonggil, Kim, Hokeun, Lee, Edward A., Lin, Shaokai, Lohstroh, Marten, Rengarajan, Anirudh
Discrete-event (DE) systems are concurrent programs where components communicate via tagged events, where tags are drawn from a totally ordered set. Reactors are an emerging model of computation based on DE and realized in the open-source coordinatio
Externí odkaz:
http://arxiv.org/abs/2405.12117
Autor:
Lee, Edward Weng Wai
Cuttlebone, the endoskeleton of cuttlefish, offers an intriguing biological structural model for designing low-density cellular ceramics with high stiffness and damage tolerance. Cuttlebone is highly porous (porosity ~93%) and lightweight (density le
Externí odkaz:
http://hdl.handle.net/10919/116630
Autor:
Khandelwal, Pulkit, Duong, Michael Tran, Levorse, Lisa, Fuentes, Constanza, Denning, Amanda, Trotman, Winifred, Ittyerah, Ranjit, Bahena, Alejandra, Schuck, Theresa, Gabrielyan, Marianna, Prabhakaran, Karthik, Ohm, Daniel, Mizsei, Gabor, Robinson, John, Munoz, Monica, Detre, John, Lee, Edward, Irwin, David, McMillan, Corey, Tisdall, M. Dylan, Das, Sandhitsu, Wolk, David, Yushkevich, Paul A.
Magnetic resonance imaging (MRI) is the standard modality to understand human brain structure and function in vivo (antemortem). Decades of research in human neuroimaging has led to the widespread development of methods and tools to provide automated
Externí odkaz:
http://arxiv.org/abs/2403.19497
Autor:
Jeong, Hyewon, Jabbour, Sarah, Yang, Yuzhe, Thapta, Rahul, Mozannar, Hussein, Han, William Jongwon, Mehandru, Nikita, Wornow, Michael, Lialin, Vladislav, Liu, Xin, Lozano, Alejandro, Zhu, Jiacheng, Kocielnik, Rafal Dariusz, Harrigian, Keith, Zhang, Haoran, Lee, Edward, Vukadinovic, Milos, Balagopalan, Aparna, Jeanselme, Vincent, Matton, Katherine, Demirel, Ilker, Fries, Jason, Rashidi, Parisa, Beaulieu-Jones, Brett, Xu, Xuhai Orson, McDermott, Matthew, Naumann, Tristan, Agrawal, Monica, Zitnik, Marinka, Ustun, Berk, Choi, Edward, Yeom, Kristen, Gursoy, Gamze, Ghassemi, Marzyeh, Pierson, Emma, Chen, George, Kanjilal, Sanjat, Oberst, Michael, Zhang, Linying, Singh, Harvineet, Hartvigsen, Tom, Zhou, Helen, Okolo, Chinasa T.
The third ML4H symposium was held in person on December 10, 2023, in New Orleans, Louisiana, USA. The symposium included research roundtable sessions to foster discussions between participants and senior researchers on timely and relevant topics for
Externí odkaz:
http://arxiv.org/abs/2403.01628
Autor:
Ahn, Michael, Dwibedi, Debidatta, Finn, Chelsea, Arenas, Montse Gonzalez, Gopalakrishnan, Keerthana, Hausman, Karol, Ichter, Brian, Irpan, Alex, Joshi, Nikhil, Julian, Ryan, Kirmani, Sean, Leal, Isabel, Lee, Edward, Levine, Sergey, Lu, Yao, Maddineni, Sharath, Rao, Kanishka, Sadigh, Dorsa, Sanketi, Pannag, Sermanet, Pierre, Vuong, Quan, Welker, Stefan, Xia, Fei, Xiao, Ted, Xu, Peng, Xu, Steve, Xu, Zhuo
Foundation models that incorporate language, vision, and more recently actions have revolutionized the ability to harness internet scale data to reason about useful tasks. However, one of the key challenges of training embodied foundation models is t
Externí odkaz:
http://arxiv.org/abs/2401.12963
Parallel Reinforcement Learning (RL) frameworks are essential for mapping RL workloads to multiple computational resources, allowing for faster generation of samples, estimation of values, and policy improvement. These computational paradigms require
Externí odkaz:
http://arxiv.org/abs/2312.04704
Autor:
Lee, Edward, Zhao, Yaoyu, You, James, Satheeskumar, Kavin, Lhoták, Ondřej, Brachthäuser, Jonathan
Publikováno v:
Proc. ACM Program. Lang. 8, OOPSLA1, Article 115 (April 2024), 30 pages
Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effective form of subtyping. While the theory of type qualifiers is well u
Externí odkaz:
http://arxiv.org/abs/2311.07480
Autor:
Lee, Edward, Lhoták, Ondřej
Reference immutability is a type based technique for taming mutation that has long been studied in the context of object-oriented languages, like Java. Recently, though, languages like Scala have blurred the lines between functional programming langu
Externí odkaz:
http://arxiv.org/abs/2307.04960