an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
Author
95 papers · 1949–2026
showing 1–25 of 95 RSS
Satish Balay, Shrirang Abhyankar, Mark F. Adams +9 more
The Portable, Extensible Toolkit for Scientific Computation (PETSc), is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It supports MPI, and GPUs through CUDA or OpenCL, as well as hybrid MPI-GPU parallelism. PETSc (sometimes called PETSc/Tao) also contains the Tao optimization software library.
Aleix Arnau‐Soler, Erin Macdonald-Dunlop, Mark J. Adams +8 more
Abstract Stress is associated with poorer physical and mental health. To improve our understanding of this link, we performed genome-wide association studies (GWAS) of depressive symptoms and genome-wide by environment interaction studies (GWEIS) of depressive symptoms and stressful life events (SLE) in two UK population-based cohorts (Generation Scotland and UK Biobank). No SNP was individually significant in either GWAS, but gene-based tests identified six genes associated with depressive symptoms in UK Biobank ( DCC, ACSS3, DRD2, STAG1, FOXP2 and KYNU; p < 2.77 × 10 −6 ). Two SNPs with genome-wide significant GxE effects were identified by GWEIS in Generation Scotland: rs12789145 (53-kb downstream PIWIL4 ; p = 4.95 × 10 −9 ; total SLE) and rs17070072 (intronic to ZCCHC2 ; p = 1.46 × 10 −8 ; dependent SLE). A third locus upstream CYLC2 (rs12000047 and rs12005200, p < 2.00 × 10…
Ana Maria Fernandez-Pujals, Mark J. Adams, Pippa A. Thomson +9 more
The heritability of Major Depressive Disorder (MDD) has been estimated at 37% based largely on twin studies that rely on contested assumptions. More recently, the heritability of MDD has been estimated on large populations from registries such as the Swedish, Finnish, and Chinese cohorts. Family-based designs utilise a number of different relationships and provide an alternative means of estimating heritability. Generation Scotland: Scottish Family Health Study (GS:SFHS) is a large (n = 20,198), family-based population study designed to identify the genetic determinants of common diseases, including Major Depressive Disorder. Two thousand seven hundred and six individuals were SCID diagnosed with MDD, 13.5% of the cohort, from which we inferred a population prevalence of 12.2% (95% credible interval: 11.4% to 13.1%). Increased risk of MDD was associated with being female, unemployed due…
Aleix Arnau‐Soler, Mark J. Adams, Toni‐Kim Clarke +7 more
Abstract Depression has well-established influences from genetic and environmental risk factors. This has led to the diathesis-stress theory, which assumes a multiplicative gene-by-environment interaction (GxE) effect on risk. Recently, Colodro-Conde et al . empirically tested this theory, using the polygenic risk score for major depressive disorder (PRS, genes) and stressful life events (SLE, environment) effects on depressive symptoms, identifying significant GxE effects with an additive contribution to liability. We have tested the diathesis-stress theory on an independent sample of 4919 individuals. We identified nominally significant positive GxE effects in the full cohort ( R 2 = 0.08%, p = 0.049) and in women ( R 2 = 0.19%, p = 0.017), but not in men ( R 2 = 0.15%, p = 0.07). GxE effects were nominally significant, but only in women, when SLE were split into those in which the…
Ben J. Hatchwell, Philippa R. Gullett, Mark J. Adams
Inclusive fitness theory provides the conceptual framework for our current understanding of social evolution, and empirical studies suggest that kin selection is a critical process in the evolution of animal sociality. A key prediction of inclusive fitness theory is that altruistic behaviour evolves when the costs incurred by an altruist (c) are outweighed by the benefit to the recipient (b), weighted by the relatedness of altruist to recipient (r), i.e. Hamilton's rule rb > c. Despite its central importance in social evolution theory, there have been relatively few empirical tests of Hamilton's rule, and hardly any among cooperatively breeding vertebrates, leading some authors to question its utility. Here, we use data from a long-term study of cooperatively breeding long-tailed tits Aegithalos caudatus to examine whether helping behaviour satisfies Hamilton's condition for the…
Jun Hata, Hisatomi Arima, Sophia Zoungas +9 more
BACKGROUND: Endpoint adjudication committees (EPAC) are widely used in clinical trials. The aim of the present analysis is to assess the effects of the endpoint adjudication process on the main findings of the ADVANCE trial (Trial registration: ClinicalTrials.gov NCT00145925). METHODS AND FINDINGS: The ADVANCE trial was a multicentre, 2 × 2 factorial randomised controlled trial of blood pressure lowering and intensive blood glucose control in 11140 patients with type 2 diabetes. Primary outcomes were major macrovascular (nonfatal myocardial infarction, nonfatal stroke and cardiovascular death) and microvascular (new or worsening nephropathy and retinopathy) events. Suspected primary outcomes were initially reported by the investigators at the 215 sites with subsequent adjudication by the EPAC. The EPAC also adjudicated upon potential events identified directly by ongoing screening of…
Nicholas Kinnie, John Purcell, Mark B. Adams
Third party call centres are growing as employers respond to market pressures. However, evidence shows their employees' experience of work is inferior compared to those working for in-house call centres. Drawing on research in two organizations we argue that the differences in employees' experiences can be explained by examining external influences on HR practices. These cases reveal a complex web of relationships involving clients, owners and Temporary Work Agencies. The strategic choice of HR practices is severely constrained by these important external parties and by the labour market making it difficult to develop effective, stable, mutually beneficial employment relationships. The impact of these external influences has implications for employee representation and legal protection in third-party call centres and for future research into the constraints on HR decision-making in…
M. Kareem Shaath, Michael G. Yeranosian, Joseph A. Ippolito +3 more
BACKGROUND: Orthopaedic trauma fellowship applicants use online-based resources when researching information on potential U.S. fellowship programs. The 2 primary sources for identifying programs are the Orthopaedic Trauma Association (OTA) database and the San Francisco Match (SF Match) database. Previous studies in other orthopaedic subspecialty areas have demonstrated considerable discrepancies among fellowship programs. The purpose of this study was to analyze content and availability of information on orthopaedic trauma surgery fellowship web sites. METHODS: The online databases of the OTA and SF Match were reviewed to determine the availability of embedded program links or external links for the included programs. Thereafter, a Google search was performed for each program individually by typing the program's name, followed by the term "orthopaedic trauma fellowship." All identified…
The parallel construction of maximal independent sets is a useful building block for many algorithms in the computational sciences, including graph coloring and multigrid coarse grid creation on unstructured meshes. We present an efficient asynchronous maximal independent set algorithm for use on parallel computers, for &quot;well partitioned&quot; graphs, that arise from finite element models. For appropriately partitioned bounded degree graphs, it is shown that the running time of our algorithm under the PRAM computational model is O(1), which is an improvement over the previous best PRAM complexity for this class of graphs. We present numerical experiments on an IBM SP, that confirm our PRAM complexity model is indicative of the performance one can expect with practical partitions on graphs from finite element problems. Key words: maximal independent sets, multigrid, parallel…
In recent years, there has been a minor explosion of interest in Aleksandr Bogdanov and other radical Russian intellectuals of pre-Stalinist days. After being in limbo for half a century, their ideas seem almost fresh and vibrant: Set against subsequent Soviet history, their aborted visions of a socialist future seem to give a sense of what might have been. And who knows—in the Gorbachev period, as the Soviet Union sorts out its problems and policies, some of their ideas might enjoy a new lease on life. For these and other reasons, they have recently attracted special interest. Of course, in Bogdanov's case, there is much to be interested in. Born Aleksandr Aleksandrovich Malinovskii in 1873, Bogdanov trained as a physician in Moscow and Khar'kov, worked briefly as a psychiatrist, and published widely on philosophy, politics, social theory, social psychology, economics, and culture.
After the Bolshevik revolution of 1917, Iurii Filipchenko (in Petrograd) and Nikolai Koltsov (in Moscow) created centers of genetic research where eugenics prospered as a socially relevant part of the new "experimental" biology. The Russian Eugenics Society, established in 1920, was dominated by research-oriented professionals. However, Bolshevik activists in the movement tried to translate eugenics into social policies (among them, sterilization) and in 1929, Marxist geneticist Alexander Serebrovsky was stimulated by the forthcoming Five-Year Plan to urge a massive eugenic program of human artificial insemination. With the advent of Stalinism, such attempts to "biologize" social phenomena became ideologically untenable and the society was abolished in 1930. Three years later, however, a number of eugenicists reassembled in the world's first institute of medical genetics, created by…
The concept of tenure originated in Europe in the twelfth century! Several hundred years later, after the termination of several faculty members at Stanford University and other colleges, professors from leading universities in the United States called for the creation of a national association to develop general principles regarding tenure and legitimate bases for the termination of faculty members.' Tenure is designed to protect a faculty member by safeguarding academic freedom, ensuring a fair process prior to dismissal, and providing job security. In recent years, tenure has come under increasing attack due to the financial costs on academic institutions and concerns regarding the creation of a system of disincentives for teaching and scholarly productivity. In addition, the tenure process has been criticized for denying opportunities to women and other underrepresented groups due…
Mark F. Adams, Jed Brown, Matt Knepley +1 more
We investigate a domain decomposed multigrid technique, segmental refinement, for solving general nonlinear elliptic boundary value problems. Brandt and Diskin first proposed this method in 1994; we continue this work by analytically and experimentally investigating its complexity. We confirm that communication of traditional parallel multigrid can be eliminated on fine grids with modest amounts of extra work and storage while maintaining the asymptotic exactness of full multigrid, although we observe a dependence on an additional parameter not considered in the original analysis. We present a communication complexity analysis that quantifies the communication costs ameliorated by segmental refinement and report performance results with up to 64K cores of a Cray XC30.
Nikhil Jain, Abhinav Bhatelé, Jae-Seung Yeom +4 more
Charm++ and MPI embody two distinct perspectives for writing parallel programs. While MPI provides a process-centric, user-driven model for developing parallel codes, Charm++ supports work-centric, system-driven parallel programming. One of them might be a better or more natural fit for individual modules that constitute a parallel application. In this paper, we present a framework that enables hybrid parallel programming with Charm++ and MPI, and allows programmers to develop different modules of a parallel application in these two languages while facilitating smooth interoperation. We describe the challenges in enabling interoperation between Charm++ and MPI, and present techniques for managing the control flow and resource sharing between the two. Finally, we demonstrate the benefits of interoperation between Charm++ and MPI through several case studies that use production…
Nick Tudor, Mark Adams, Phil Clayton +1 more
This work describes the results of an experiment to compare conventional software development with software development using automatic code generation from Simulink and mathematically based code verification (proof). A real industrial scale, safety critical system was used as the basis for the experiment in order to validate results, although this imposed some constraints. The principal aims for the experiment were to answer the following three questions. 1. Could automatic code generation be integrated with the verification tools to give a software development process to produce software that would pass the existing functional unit tests? 2. Would the code be of sufficient quality to be flown, i.e. was it certifiable? 3. What were the cost implications of adopting the process as part of a development lifecycle? The experiment showed how to integrate the techniques into existing…
Chengping Chai, Derek Rose, Scott Stewart +6 more
Abstract Precisely measuring seismic arrival times is a labor-intensive task but is critical for both earthquake monitoring and subsurface imaging. Recently published deep learning models have demonstrated superior performance compared to traditional automatic approaches for picking arrival times. Although existing deep learning models have shown promising results, further advancements are necessary as their performance is not yet satisfactory especially when applied to new regions and station networks. Increasing model size has led to improved performance in other machine learning applications. We aimed to investigate whether enlarging deep learning models can increase performance on accepted benchmarks. We trained three models of varying sizes, small (1X), medium (4X), and large (16X), using globally distributed local and regional earthquake signals and background noise waveforms from…
Richard Tran Mills, Mark F. Adams, Satish Balay +11 more
The Portable Extensible Toolkit for Scientific computation (PETSc) library delivers scalable solvers for nonlinear time-dependent differential and algebraic equations and for numerical optimization.The PETSc design for performance portability addresses fundamental GPU accelerator challenges and stresses flexibility and extensibility by separating the programming model used by the application from that used by the library, and it enables application developers to use their preferred programming model, such as Kokkos, RAJA, SYCL, HIP, CUDA, or OpenCL, on upcoming exascale systems. A blueprint for using GPUs from PETSc-based codes is provided, and case studies emphasize the flexibility and high performance achieved on current GPU-based systems.
Thomas Hales, Mark Adams, Gertrud Bauer +19 more
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
We examine what is an efficient and scalable nonlinear solver, with low work and memory complexity, for many classes of discretized partial differential equations (PDEs) - matrix-free Full multigrid (FMG) with a Full Approximation Storage (FAS) - in the context of current trends in computer architectures. Brandt proposed an extremely low memory FMG-FAS algorithm over 25 years ago that has several attractive properties for reducing costs on modern - memory centric -- machines and has not been developed to our knowledge. This method, segmental refinement (SR), has very low memory requirements because the finest grids need not be held in memory at any one time but can be "swept" through, computing coarse grid correction and any quantities of interest, allowing for orders of magnitude reduction in memory usage. This algorithm has two useful ideas for effectively exploiting future…
Richard Tran Mills, Mark Adams, Satish Balay +9 more
The Portable Extensible Toolkit for Scientific Computation (PETSc) library provides scalable solvers for nonlinear time-dependent differential and algebraic equations and for numerical optimization via the Toolkit for Advanced Optimization (TAO). PETSc is used in dozens of scientific fields and is an important building block for many simulation codes. During the U.S. Department of Energy's Exascale Computing Project, the PETSc team has made substantial efforts to enable efficient utilization of the massive fine-grain parallelism present within exascale compute nodes and to enable performance portability across exascale architectures. We recap some of the challenges that designers of numerical libraries face in such an endeavor, and then discuss the many developments we have made, which include the addition of new GPU backends, features supporting efficient on-device matrix assembly…
The modern avifauna of the Falkland Islands is well documented, but very little is known of the islands before the first recorded human settlement in 1764. Since then, peat was cut and used widely as fuel throughout the Falkland Islands until the late 20th century. From as early as the 1930s bones were noticed in peat deposits on West Point Island and were briefly documented in 1950. This paper provides a more detailed analysis of more recent focussed excavations of these subfossil remains. It summarises their known history and dates them at over 5000 years before present. Eighteen avian species are identified and comparison is made with the extant bird fauna of the Falkland Islands including the description of a new species of caracara (Aves: Falconidae: Phalcoboenus).
The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itself can be subject to error, and yet there is currently no accepted process in checking, or even much concern that such checks have not been performed. In this paper, we motivate why we should be concerned about correctness, and argue the need for proof auditing, to rigorously and independently check a formalisation. We discuss the issues involved in performing an audit, and propose an effective and efficient auditing process. Throughout we use the Flyspeck Project, that formalises the Kepler Conjecture proof, to illustrate our point.
Veronika Skrivankova, Marcel Zwahlen, Mark Adams +3 more
ABSTRACT Background Gestational age and birth weight are strong predictors of infant morbidity and mortality. Understanding spatial variation can inform policies to reduce health inequalities. We examined small-area variation in gestational age and birth weight in Switzerland. Methods All singleton live births recorded in the Swiss Live Birth Register 2011 to 2014 were eligible. We deterministically linked the Live Birth Register with census and survey data to create datasets including neonatal and pregnancy-related variables, parental characteristics and geographical variables. We produced maps of 705 areas and fitted linear mixed-effect models to assess to what extent spatial variation was explained by these variables. Results We analysed all 315,177 eligible live births. Area-level averages of gestational age varied between 272-279 days, and between 3138-3467g for birth weight. The…
Mark Adams (14730013), Barbara Nowak (14745646)
Gills of Atlantic salmon, Salmo salar L., with amoebic gill disease (AGD), were analysed by routine histology to identify lesion morphology and distribution patterns. Numbers of lesions occurring dorsally, medially and ventrally in the gill filaments were recorded as was lesion size, proximity to the gill arch and the degree of pathological severity involved. The mean number of lesions and pathological severity in the dorsal region of the second left gill arch were significantly higher than that found ventrally (P < 0.01). There were no significant differences between gill regions in lesion size or proximity of lesions to the gill arch. Serially sectioned lesions revealed interlamellar cysts to be spherical to ovate in shape and fully enclosed within a wall of epithelium. Small to medium size cysts sometimes contained necrotic amoebae. Inflammatory cells, morphologically identified…
Joseph Pusztay, Filippo Zonta, Matt Knepley +1 more
The Landau collision integral is often considered the gold standard in the context of kinetic plasma simulation due to its conservative properties, despite challenges involved in its discretization. The primary challenge when implementing an efficient computation of this operator is conserving physical properties of the continuum equation when the system is discretized. Recent work has achieved continuum discretizations using the method of Finite Elements which maintain conservation of mass, momentum, and energy, but which lacks monotonic entropy production. More recently, a particle discretization has been introduced which conserves mass, momentum, and energy, but maintains the benefit of monotonic entropy production necessary for the metriplecticity of the system. We present here an implementation of the particle basis Landau collision integral in the Portable Extensible Toolkit for…