Zobrazeno 1 - 10
of 25 035
pro vyhledávání: '"Aldrich, A"'
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
Externí odkaz:
https://doi.org/10.1093/oso/9780197745489.001.0001
Developers rely on the Rust programming language's static safety guarantees 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 alias
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 is an increasingly popular choice for systems programming, since it can statically guarantee memory safety without automatic garbage collection. Rust provides its safety guarantees by restricting aliasing and mutability,
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
Many existing systems track aliasing and uniqueness, each with their own trade-off between expressiveness and developer effort. We propose Latte, a new approach that aims to minimize both the amount of annotations and the complexity of invariants nec
Externí odkaz:
http://arxiv.org/abs/2309.05637
Autor:
Magali Solé, Stephan Brendel, Annette Aldrich, Jens Dauber, Julie Ewald, Sabine Duquesne, Eckhard Gottschalk, Jörg Hoffmann, Mathias Kuemmerlen, Alastair Leake, Steffen Matezki, Stefan Meyer, Moritz Nabel, Tiago Natal-da-Luz, Silvia Pieper, Dario Piselli, Stanislas Rigal, Martina Roß-Nickoll, Andreas Schäffer, Josef Settele, Gabriel Sigmund, Nick Sotherton, Jörn Wogram, Dirk Messner
Publikováno v:
Environmental Sciences Europe, Vol 36, Iss 1, Pp 1-15 (2024)
Abstract Background Biodiversity loss is particularly pronounced in agroecosystems. Agricultural fields cover about one-third of the European Union and are crucial habitats for many species. At the same time, agricultural fields receive the highest p
Externí odkaz:
https://doaj.org/article/c1f8071fa05c4de3b93afa578721106a