English
Related papers

Related papers: The AFLOW Library of Crystallographic Prototypes: …

200 papers

Large databases such as aflowlib.org provide valuable data sources for discovering material trends through machine learning. Although a REST API and query language are available, there is a learning curve associated with the AFLUX language…

Databases · Computer Science 2017-10-03 Conred W. Rosenbrock

The Astrophysics Source Code Library, started in 1999, has in the past three years grown from a repository for 40 codes to a registry of over 700 codes that are now indexed by ADS. What comes next? We examine the future of the ASCL, the…

Instrumentation and Methods for Astrophysics · Physics 2013-12-20 Alice Allen , Bruce Berriman , Kimberly DuPrie , Robert J. Hanisch , Jessica Mink , Robert Nemiroff , Lior Shamir , Keith Shortridge , Mark Taylor , Peter Teuben , John Wallin

We introduce CAFLOW, a new diverse image-to-image translation model that simultaneously leverages the power of auto-regressive modeling and the modeling efficiency of conditional normalizing flows. We transform the conditioning image into a…

Computer Vision and Pattern Recognition · Computer Science 2021-06-07 Georgios Batzolis , Marcello Carioni , Christian Etmann , Soroosh Afyouni , Zoe Kourtzi , Carola Bibiane Schönlieb

Large language models (LLMs) have demonstrated remarkable potential in solving complex tasks across diverse domains, typically by employing agentic workflows that follow detailed instructions and operational sequences. However, constructing…

To enable materials databases supporting computational and experimental research, it is critical to develop platforms that both facilitate access to the data and provide the tools used to generate/analyze it - all while considering the…

We present a proof-of-concept system that automates iconographic classification and content-based recommendation of digitized artworks using the Iconclass vocabulary and selected artificial intelligence methods. The prototype implements a…

Digital Libraries · Computer Science 2026-02-24 Krzysztof Kutt , Maciej Baczyński

Tight-binding models provide a conceptually transparent and computationally efficient method to represent the electronic properties of materials. With AFLOW$\pi$ we introduce a framework for high-throughput first principles calculations…

Recent advancements in AI foundation models have made it possible for them to be utilized off-the-shelf for creative tasks, including ideating design concepts or generating visual prototypes. However, integrating these models into the…

Human-Computer Interaction · Computer Science 2024-06-26 David Chuan-En Lin , Nikolas Martelaro

We introduce MLFMF, a collection of data sets for benchmarking recommendation systems used to support formalization of mathematics with proof assistants. These systems help humans identify which previous entries (theorems, constructions,…

Machine Learning · Computer Science 2023-10-25 Andrej Bauer , Matej Petković , Ljupčo Todorovski

We introduce the Unified Cluster Catalogue, the largest catalogue of stellar clusters currently listing nearly 14000 objects. In this initial release it exclusively contains Milky Way open clusters, with plans to include other objects in…

Astrophysics of Galaxies · Physics 2023-09-13 G. I. Perren , M. S. Pera , H. D. Navone , R. A. Vázquez

The Astrophysics Source Code Library (ASCL) contains 3000 metadata records about astrophysics research software and serves primarily as a registry of software, though it also can and does accept code deposit. Though the ASCL was started in…

Instrumentation and Methods for Astrophysics · Physics 2022-12-27 Alice Allen

Many proof assistant libraries contain formalizations of the same mathematical concepts. The concepts are often introduced (defined) in different ways, but the properties that they have, and are in turn formalized, are the same. For the…

Logic in Computer Science · Computer Science 2014-05-16 Thibault Gauthier , Cezary Kaliszyk

Inspired by the success of Large Language Models (LLMs), the development of Large Atom Models (LAMs) has gained significant momentum in scientific computation. Since 2022, the Deep Potential team has been actively pretraining LAMs and…

Machine Learning · Computer Science 2025-01-29 Anyang Peng , Xinzijian Liu , Ming-Yu Guo , Linfeng Zhang , Han Wang

The realization of novel technological opportunities given by computational and autonomous materials design requires efficient and effective frameworks. For more than two decades, aflow++ (Automatic-Flow Framework for Materials Discovery)…

The Astrophysics Source Code Library (ASCL) is a free online registry for source codes of interest to astronomers, astrophysicists, and planetary scientists. It lists, and in some cases houses, software that has been used in research…

Instrumentation and Methods for Astrophysics · Physics 2024-01-01 Alice Allen , Alberto Accomazzi , Joe P. Renaud

The expansion of programmatically-accessible materials data has cultivated opportunities for data-driven approaches. Highly-automated frameworks like AFLOW not only manage the generation, storage, and dissemination of materials data, but…

Materials Science · Physics 2018-05-17 Corey Oses , Cormac Toher , Stefano Curtarolo

The Astrophysics Source Code Library (ASCL), founded in 1999, is a free on-line registry for source codes of interest to astronomers and astrophysicists. The library is housed on the discussion forum for Astronomy Picture of the Day (APOD)…

Instrumentation and Methods for Astrophysics · Physics 2012-12-11 Alice Allen , Kimberly DuPrie , Bruce Berriman , Robert J. Hanisch , Jessica Mink , Peter J. Teuben

Foundation models have demonstrated a great ability to achieve general human-level intelligence far beyond traditional approaches. As the technique keeps attracting attention from the AI community, an increasing number of foundation models…

Computation and Language · Computer Science 2024-05-07 Shizhe Diao , Rui Pan , Hanze Dong , Ka Shun Shum , Jipeng Zhang , Wei Xiong , Tong Zhang

The LOFAR radio telescope creates Petabytes of data per year. This data is important for many scientific projects. The data needs to be efficiently processed within the timespan of these projects in order to maximize the scientific impact.…

Instrumentation and Methods for Astrophysics · Physics 2018-09-03 A. P. Mechev , J. B. R Oonk , T. Shimwell , A. Plaat , H. T. Intema , H. J. A. Röttgering

Quantum electrodynamics and electroweak corrections are important ingredients for many theoretical predictions at the LHC. This paper documents APFEL, a new PDF evolution package that allows for the first time to perform DGLAP evolution up…

High Energy Physics - Phenomenology · Physics 2015-06-17 Valerio Bertone , Stefano Carrazza , Juan Rojo