Zobrazeno 1 - 10
of 6 808
pro vyhledávání: '"P. Aldrich"'
Publikováno v:
Proceedings of the 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)
This paper explores the integration of Visual Code Assistants in Integrated Development Environments (IDEs). In Software Engineering, whiteboard sketching is often the initial step before coding, serving as a crucial collaboration tool for developers
Externí odkaz:
http://arxiv.org/abs/2412.13386
Autor:
Aldrich, E. Casey, Nemiroff, Robert J.
Publikováno v:
MNRAS, Volume 532, Issue 2, pp 2674 - 2682 (2024)
Intrinsic variability was searched for in arrival times of six gamma-ray bursts (GRBs) at high energies -- between 30 MeV and 2 GeV -- detected by the Fermi satellite's Large Area Telescope (LAT). The GRBs were selected from the Fermi LAT catalog wit
Externí odkaz:
http://arxiv.org/abs/2407.20359
Developers rely on the static safety guarantees of the Rust programming language to write secure and performant applications. However, Rust is frequently used to interoperate with other languages which allow design patterns that conflict with Rust's
Externí odkaz:
http://arxiv.org/abs/2404.11671
Autor:
McCormack, Ian, Dougan, Tomas, Estep, Sam, Hibshi, Hanan, Aldrich, Jonathan, Sunshine, Joshua
The Rust programming language restricts aliasing to provide static safety guarantees. However, in certain situations, developers need to bypass these guarantees by using a set of unsafe features. If they are used incorrectly, these features can reint
Externí odkaz:
http://arxiv.org/abs/2404.02230
Autor:
Ghasemi, Zahra, Neshat, Mehdi, Aldrich, Chris, Karageorgos, John, Zanin, Max, Neumann, Frank, Chen, Lei
In mineral processing plants, grinding is a crucial step, accounting for approximately 50 percent of the total mineral processing costs. Semi-autogenous grinding mills are extensively employed in the grinding circuit of mineral processing plants. Max
Externí odkaz:
http://arxiv.org/abs/2312.10992
Autor:
Ghasemi, Zahra, Nesht, Mehdi, Aldrich, Chris, Karageorgos, John, Zanin, Max, Neumann, Frank, Chen, Lei
Semi-autogenous grinding (SAG) mills play a pivotal role in the grinding circuit of mineral processing plants. Accurate prediction of SAG mill throughput as a crucial performance metric is of utmost importance. The potential of applying genetic progr
Externí odkaz:
http://arxiv.org/abs/2401.05382
Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external contracts, leading to substantial monetary losses. Traditional verific
Externí odkaz:
http://arxiv.org/abs/2311.13351
Gradual verification, which supports explicitly partial specifications and verifies them with a combination of static and dynamic checks, makes verification more incremental and provides earlier feedback to developers. While an abstract, weakest prec
Externí odkaz:
http://arxiv.org/abs/2311.07559
Publikováno v:
International Journal of Urban Sustainable Development, Vol 16, Iss 1, Pp 360-378 (2024)
Cities today face the dual challenge of increasing vulnerability to disruptions and a growing demand for improved quality of life. By prioritising happiness and resilience, cities can create sustainable environments that promote health, social cohesi
Externí odkaz:
https://doaj.org/article/51043f496e464588ae926a70c98d3ff0
Autor:
Gregory Aldrich, James E. Evans, Roderick Davis, Lucia Jurin, Sarah Oberlin, Daniel Niedospial, Aurore Nkiliza, Michael Mullan, Kimbra Kenney, J. Kent Werner, Katie Edwards, Jessica M. Gill, Hannah M. Lindsey, Emily L. Dennis, William C. Walker, Elisabeth Wilde, Fiona Crawford, Laila Abdullah
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-14 (2024)
Abstract A reduction in the thickness and volume of the brain entorhinal cortex (EC), together with changes in blood arachidonic acid (AA) and docosahexaenoic acid (DHA), are associated with Alzheimer’s disease (AD) among apolipoprotein E ε4 carri
Externí odkaz:
https://doaj.org/article/f7924cdc3cf5413cb31fee125065c873