Results 11 to 20 of about 82,590 (220)
Proceedings of the ACM on Measurement and Analysis of Computing Systems, 2020 This music score was submitted for the Kaleidoscope 2020 Call for Scores, an open access collaboration with the UCLA Music Library.
Ahmad Hazimeh +2 more
semanticscholar +4 more sources
Magma: A Ground-Truth Fuzzing Benchmark
Measurement and Modeling of Computer Systems, 2021 High scalability and low running costs have made fuzz testing the de facto standard for discovering software bugs. Fuzzing techniques are constantly being improved in a race to build the ultimate bug-finding tool. However, while fuzzing excels at finding
Ahmad Hazimeh +2 more
semanticscholar +1 more source
Nature Neuroscience, 2020 Most risk variants for brain disorders identified by genome-wide association studies reside in the noncoding genome, which makes deciphering biological mechanisms difficult.
N. Sey +8 more
semanticscholar +1 more source
Geochemistry, Geophysics, Geosystems, 2021 Thallium (Tl) isotope ratios are an emerging tool that can be used to trace crustal recycling processes in arc lavas and ocean island basalts (OIBs). Thallium is a highly volatile metal that is enriched in volcanic fumaroles, but it is unknown whether ...
Sune G. Nielsen +6 more
doaj +1 more source
The Magma Algebra System I: The User Language
Journal of symbolic computation, 1997 In the first of two papers on MAGMA , a new system for computational algebra, we present the MAGMA language, outline the design principles and theoretical background, and indicate its scope and use.
W. Bosma +2 more
semanticscholar +1 more source
Felsic Melt and Gas Mobilization During Magma Solidification: An Experimental Study at 1.1 kbar
Frontiers in Earth Science, 2020 Melt and gas transfer processes are essential to the formation and growth of the Earth’s crust and for sustaining volcanic activity. These processes also play a major role in magma fractionation at shallow depths (<10 km) where magmas stall ...
Mattia Pistone +9 more
doaj +1 more source
MAGMA: Generalized Gene-Set Analysis of GWAS Data
PLoS Comput. Biol., 2015 By aggregating data for complex traits in a biologically meaningful way, gene and gene-set analysis constitute a valuable addition to single-marker analysis. However, although various methods for gene and gene-set analysis currently exist, they generally
C. D. Leeuw +3 more
semanticscholar +1 more source
Proceedings of the National Academy of Sciences, 2016 For those who remember the classic disaster-docudrama Supervolcano (BBC-Discovery Channel 2005), the adjective “eruptible” is likely to ring a bell. Set in the near future and generally quite scientifically literate, the movie envisions volcanologists trying desperately to evaluate the near-term threat posed by the giant Yellowstone magmatic system. At
openaire +3 more sources
Image-based modelling of lateral magma flow: the Basement Sill, Antarctica [PDF]
Royal Society Open Science, 2017 The McMurdo Dry Valleys magmatic system, Antarctica, provides a world-class example of pervasive lateral magma flow on a continental scale. The lowermost intrusion (Basement Sill) offers detailed sections through the now frozen particle microstructure of
Nick Petford, Seyed Mirhadizadeh
doaj +1 more source
Metal Injection Molding (MIM) of NdFeB Magnets
EPJ Web of Conferences, 2014 Due to the increased and unstable prices for Rare Earth elements there are activities to develop alternative hard magnetic materials. Reducing the amount of material necessary to produce complex sintered NdFeB magnets can also help to reduce some of the ...
Hartwig T. +3 more
doaj +1 more source