Zobrazeno 11 - 20
of 1 119
pro vyhledávání: '"Noble, James"'
Robust modules guarantee to do only what they are supposed to do - even in the presence of untrusted, malicious clients, and considering not just the direct behaviour of individual methods, but also the emergent behaviour from calls to more than one
Externí odkaz:
http://arxiv.org/abs/2209.08205
Rust successfully applies ownership types to control memory allocation. This restricts the programs' topologies to the point where doubly-linked lists cannot be programmed in Safe Rust. We sketch how more flexible "local" ownership could be added to
Externí odkaz:
http://arxiv.org/abs/2205.00795
Formal methods for software correctness are critical to the future of software engineering - and so must be an essential part of software engineering education. Unfortunately, formal methods are often resisted by students due to perceived difficulty,
Externí odkaz:
http://arxiv.org/abs/2205.00787
Autor:
Fernandez-Reyes, Kiko, Gariano, Isaac Oscar, Noble, James, Greenwood-Thessman, Erin, Homer, Michael, Wrigstad, Tobias
Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-race freedom by design. To enforce data-race freedom, these languages either deep copy objects during actor (thread) communication or proxy back to their owning thread. We present
Externí odkaz:
http://arxiv.org/abs/2109.07541
Autor:
Aguillon, David, Allegri, Ricardo F., Aschenbrenner, Andrew J., Baker, Bryce, Barthelemy, Nicolas, Bechara, Jacob A., Berman, Sarah B., Brooks, William S., Cash, David M., Chen, Allison, Chrem Mendez, Patricio, Courtney, Laura, Cruchaga, Carlos, Daniels, Alisha J., Fagan, Anne M., Flores, Shaney, Fox, Nick C., Franklin, Erin, Goate, Alison M., Graber-Sultan, Susanne, Graff-Radford, Neill R., Gremminger, Emily, Herries, Elizabeth, Hofmann, Anna, Holtzman, David M., Hornbeck, Russ, Huey, Edward D., Ibanez, Laura, Ikeuchi, Takeshi, Ikonomovic, Snezana, Jackson, Kelley, Jarman, Steve, Jerome, Gina, Johnson, Erik C.B, Kasuga, Kensaku, Keefe, Sarah, Koudelis, Deborah, Kuder-Buletta, Elke, Laske, Christoph, Leon, Yudy Milena, Levey, Allan I., Li, Yan, Llibre-Guerra, Jorge J., Lopera, Francisco, Lu, Ruijin, Marsh, Jacob, Martins, Ralph, Massoumzadeh, Parinaz, Masters, Colin, McCullough, Austin, McKay, Nicole, Minton, Matthew, Mori, Hiroshi, Morris, John C., Nadkarni, Neelesh K., Nicklaus, Joyce, Niimi, Yoshiki, Noble, James M., Obermueller, Ulrike, Picarello, Danielle M., Pulizos, Christine, Ramirez, Laura, Renton, Alan E., Ringman, John, Rizzo, Jacqueline, Roedenbeck, Yvonne, Roh, Jee Hoon, Rosa-Neto, Pedro, Ryan, Natalie S., Sabaredzovic, Edita, Salloway, Stephen, Sanchez-Valle, Raquel, Scott, Jalen, Seyfried, Nicholas T., Simmons, Ashlee, Smith, Jennifer, Smith, Hunter, Stauber, Jennifer, Stout, Sarah, Supnet-Bell, Charlene, Surace, Ezequiel, Vazquez, Silvia, Vöglein, Jonathan, Wang, Guoqiao, Wang, Qing, Xu, Xiong, Xu, Jinbin, Schultz, Stephanie A, Liu, Lei, Schultz, Aaron P, Fitzpatrick, Colleen D, Levin, Raina, Bellier, Jean-Pierre, Shirzadi, Zahra, Joseph-Mathurin, Nelly, Chen, Charles D, Benzinger, Tammie L S, Day, Gregory S, Farlow, Martin R, Gordon, Brian A, Hassenstab, Jason J, Jack, Clifford R, Jr, Jucker, Mathias, Karch, Celeste M, Lee, Jae-Hong, Levin, Johannes, Perrin, Richard J, Schofield, Peter R, Xiong, Chengjie, Johnson, Keith A, McDade, Eric, Bateman, Randall J, Sperling, Reisa A, Selkoe, Dennis J, Chhatwal, Jasmeer P *
Publikováno v:
In The Lancet Neurology September 2024 23(9):913-924
Autor:
Aizenstein, Howard J., Andrews, Howard F., Bell, Karen, Birn, Rasmus M., Bulova, Peter, Cheema, Amrita, Chen, Kewei, Clare, Isabel, Clark, Lorraine, Cohen, Ann D., Constantino, John N., Doran, Eric W., Feingold, Eleanor, Foroud, Tatiana M., Hartley, Sigan L., Hom, Christy, Honig, Lawrence, Ikonomovic, Milos D., Johnson, Sterling C., Jordan, Courtney, Kamboh, M. Ilyas, Keator, David, Klunk, William E., Kofler, Julia K., Kreisl, William C., Krinsky-McHale, Sharon J., Lao, Patrick, Laymon, Charles, Lott, Ira T., Lupson, Victoria, Mathis, Chester A., Minhas, Davneet S., Nadkarni, Neelesh, Pang, Deborah, Petersen, Melissa, Price, Julie C., Pulsifer, Margaret, Reiman, Eric, Rizvi, Batool, Sabbagh, Marwan N., Schupf, Nicole, Tudorascu, Dana L., Tumuluru, Rameshwari, Tycko, Benjamin, Varadarajan, Badri, White, Desiree A., Yassa, Michael A., Zaman, Shahid, Zhang, Fan, Bateman, Randall, Daniels, Alisha J., Courtney, Laura, McDade, Eric, Llibre-Guerra, Jorge J., Supnet-Bell, Charlene, Xiong, Chengie, Xu, Xiong, Lu, Ruijin, Wang, Guoqiao, Li, Yan, Gremminger, Emily, Perrin, Richard J., Franklin, Erin, Ibanez, Laura, Jerome, Gina, Herries, Elizabeth, Stauber, Jennifer, Baker, Bryce, Minton, Matthew, Cruchaga, Carlos, Goate, Alison M., Renton, Alan E., Picarello, Danielle M., Benzinger, Tammie, Gordon, Brian A., Hornbeck, Russall, Hassenstab, Jason, Smith, Jennifer, Stout, Sarah, Aschenbrenner, Andrew J., Karch, Celeste M., Marsh, Jacob, Morris, John C., Holtzman, David M., Barthelemy, Nicolas, Xu, Jinbin, Noble, James M., Berman, Sarah B., Ikonomovic, Snezana, Nadkarni, Neelesh K., Day, Gregory, Graff-Radford, Neill R., Farlow, Martin, Chhatwal, Jasmeer P., Ikeuchi, Takeshi, Kasuga, Kensaku, Niimi, Yoshiki, Huey, Edward D., Salloway, Stephen, Schofield, Peter R., Brooks, William S., Bechara, Jacob A., Martins, Ralph, Fox, Nick C., Cash, David M., Ryan, Natalie S., Jucker, Mathias, Laske, Christoph, Hofmann, Anna, Kuder-Buletta, Elke, Graber-Sultan, Susanne, Obermueller, Ulrike, Levin, Johannes, Roedenbeck, Yvonne, Vöglein, Jonathan, Lee, Jae-Hong, Roh, Jee Hoon, Sanchez-Valle, Raquel, Rosa-Neto, Pedro, Allegri, Ricardo F., Chrem Mendez, Patricio, Surace, Ezequiel, Vazquez, Silvia, Lopera, Francisco, Leon, Yudy Milena, Ramirez, Laura, Aguillon, David, Levey, Allan I., Johnson, Erik C.B, Seyfried, Nicholas T., Ringman, John, Mori, Hiroshi, Wisch, Julie K *, McKay, Nicole S, Boerwinkle, Anna H, Kennedy, James, Flores, Shaney, Handen, Benjamin L, Christian, Bradley T, Head, Elizabeth, Mapstone, Mark, Rafii, Michael S, O’Bryant, Sid E, Price, Julie C, Laymon, Charles M, Krinsky-McHale, Sharon J, Lai, Florence, Rosas, H Diana, Hartley, Sigan L, Lott, Ira T, Tudorascu, Dana, Zammit, Matthew, Brickman, Adam M, Lee, Joseph H, Bird, Thomas D, Cohen, Annie, Chrem, Patricio, Daniels, Alisha, Chhatwal, Jasmeer P, Karch, Celeste M, Day, Gregory S, Llibre-Guerra, Jorge, Ringman, John M, van Dyck, Christopher H, Xiong, Chengjie, Morris, John C, Bateman, Randall J, Benzinger, Tammie L S, Gordon, Brian A *, Ances, Beau M *
Publikováno v:
In The Lancet Neurology May 2024 23(5):500-510
Autor:
Noble, James M., Day, Gregory S., Graff-Radford, Neill R., Voglein, Jonathan, Levin, Johannes, Allegri, Ricardo F., Mendez, Patricio Chrem, Surace, Ezequiel, Berman, Sarah B., Ikonomovic, Snezana, Nadkarni, Neelesh K., Lopera, Francisco, Ramirez, Laura, Aguillon, David, Leon, Yudy, Ramos, Claudia, Alzate, Diana, Baena, Ana, Londono, Natalia, Moreno, Sonia, Jucker, Mathias, Laske, Christoph, Kuder-Buletta, Elke, Graber-Sultan, Susanne, Preische, Oliver, Hofmann, Anna, Ikeuchi, Takeshi, Kasuga, Kensaku, Niimi, Yoshiki, Ishii, Kenji, Senda, Michio, Sanchez-Valle, Raquel, Rosa-Neto, Pedro, Fox, Nick C., Cash, Dave, Lee, Jae-Hong, Roh, Jee Hoon, Salloway, Stephen, Riddle, Meghan C., Menard, William, Bodge, Courtney, Surti, Mustafa, Takada, Leonel Tadao, Farlow, Martin, Chhatwal, Jasmeer P., Sanchez-Gonzalez, V.J., Orozco-Barajas, Maribel, Goate, Alison M., Renton, Alan E., Esposito, Bianca T., Karch, Celeste M., Marsh, Jacob, Cruchaga, Carlos, Fernanadez, Victoria, Gordon, Brian A., Fagan, Anne M., Jerome, Gina, Herries, Elizabeth, Llibre-Guerra, Jorge, Levey, Allan I., Johnson, Erik C.B., Seyfried, Nicholas T., Schofield, Peter R., Brooks, William S., Bechara, Jacob A., Bateman, Randall, McDade, Eric, Hassenstab, Jason, Perrin, Richard J., Franklin, Erin E., Benzinger, Tammie, Chen, Allison, Chen, Charles, Flores, Shaney, Friedrichsen, Nelly, Gordon, Brian, Hantler, Nancy, Hornbeck, Russ, Jarman, Steve, Keefe, Sarah, Koudelis, Deborah, Massoumzadeh, Parinaz, McCullough, Austin, McKay, Nicole, Nicklaus, Joyce, Pulizos, Christine, Wang, Qing, Mishall, Sheetal, Sabaredzovic, Edita, Deng, Emily, Candela, Madison, Smith, Hunter, Hobbs, Diana, Scott, Jalen, Xiong, Chengjie, Wang, Peter, Xu, Xiong, Li, Yan, Gremminger, Emily, Ma, Yinjiao, Bui, Ryan, Lu, Ruijin, Martins, Ralph, Sosa Ortiz, Ana Luisa, Daniels, Alisha, Courtney, Laura, Mori, Hiroshi, Supnet-Bell, Charlene, Xu, Jinbin, Ringman, John, Barthelemy, Nicolas, Morris, John, Smith, Jennifer, Doering, Stephanie, Chen, Charles D., Jarman, Stephen, Jackson, Kelley, Hornbeck, Russ C., Ances, Beau M., Aschenbrenner, Andrew J., Bateman, Randall J., Morris, John C., Benzinger, Tammie L.S.
Publikováno v:
In eBioMedicine May 2024 103
Functional specifications describe what program components do: the sufficient conditions to invoke a component's operations. They allow us to reason about the use of components in the closed world setting, where the component interacts with known cli
Externí odkaz:
http://arxiv.org/abs/2002.08334
One form of type checking used in gradually typed language is transient type checking: whenever an object 'flows' through code with a type annotation, the object is dynamically checked to ensure it has the methods required by the annotation. Just-in-
Externí odkaz:
http://arxiv.org/abs/1909.05581