English
Related papers

Related papers: Compositional descriptor-based recommender system …

200 papers

Current recommender systems largely focus on static, unstructured content. In many scenarios, we would like to recommend content that has structure, such as a trajectory of points-of-interests in a city, or a playlist of songs. Dubbed…

Information Retrieval · Computer Science 2017-06-29 Dawei Chen , Lexing Xie , Aditya Krishna Menon , Cheng Soon Ong

There is a huge and confusing literature about inorganic crystal structure prediction. The word "prediction" is used sometimes as meaning "structure determination" since the process described needs the knowledge of the chemical composition…

Materials Science · Physics 2007-05-23 Armel Le Bail

Due to the subtle balance of intermolecular interactions that govern structure-property relations, predicting the stability of crystal structures formed from molecular building blocks is a highly non-trivial scientific problem. A…

Chemical Physics · Physics 2022-12-26 Rose K. Cersonsky , Maria Pakhnova , Edgar A. Engel , Michele Ceriotti

High-throughput computational materials design promises to greatly accelerate the process of discovering new materials and compounds, and of optimizing their properties. The large databases of structures and properties that result from…

Chemical Physics · Physics 2016-11-22 Sandip De , Felix Musil , Teresa Ingram , Carsten Baldauf , Michele Ceriotti

Recommendation systems aim to predict users' feedback on items not exposed to them. Confounding bias arises due to the presence of unmeasured variables (e.g., the socio-economic status of a user) that can affect both a user's exposure and…

Machine Learning · Computer Science 2023-06-16 Qing Zhang , Xiaoying Zhang , Yang Liu , Hongning Wang , Min Gao , Jiheng Zhang , Ruocheng Guo

The prediction of energetically stable crystal structures formed by a given chemical composition is a central problem in solid-state physics. In principle, the crystalline state of assembled atoms can be determined by optimizing the energy…

Materials Science · Physics 2022-06-01 Minoru Kusaba , Chang Liu , Ryo Yoshida

The integration of neural networks into safety-critical systems has shown great potential in recent years. However, the challenge of effectively verifying the safety of Neural Network Controlled Systems (NNCS) persists. This paper…

Logic in Computer Science · Computer Science 2024-03-28 Yuhao Zhou , Stavros Tripakis

The increased time- and length-scale of classical molecular dynamics simulations have led to raw data flows surpassing storage capacities, necessitating on-the-fly integration of structural analysis algorithms. As a result, algorithms must…

The discovery of new multicomponent inorganic compounds can provide direct solutions to many scientific and engineering challenges, yet the vast size of the uncharted material space dwarfs current synthesis throughput. While the…

Computational Physics · Physics 2022-05-18 Sungwoo Kang , Wonseok Jeong , Changho Hong , Seungwoo Hwang , Youngchae Yoon , Seungwu Han

Neural collaborative filtering is the state of art field in the recommender systems area; it provides some models that obtain accurate predictions and recommendations. These models are regression-based, and they just return rating…

Information Retrieval · Computer Science 2024-10-28 Jesús Bobadilla , Abraham Gutiérrez , Santiago Alonso , Ángel González-Prieto

Geometric information such as the space groups and crystal systems plays an important role in the properties of crystal materials. Prediction of crystal system and space group thus has wide applications in crystal material property…

Materials Science · Physics 2021-05-18 Yuxin Li , Rongzhi Dong , Wenhui Yang , Jianjun Hu

Compositional verification algorithms are well-studied in the context of model checking. Properly selecting components for verification is important for efficiency, yet has received comparatively less attention. In this paper, we address…

Formal Languages and Automata Theory · Computer Science 2024-08-19 Ian Dardik , April Porter , Eunsuk Kang

With the recent advancements in information technology there has been a huge surge in amount of data available. But information retrieval technology has not been able to keep up with this pace of information generation resulting in over…

Computation and Language · Computer Science 2017-10-24 Nishant Nikhil , Muktabh Mayank Srivastava

Knowing the features of a complex system that are highly relevant to a particular target variable is of fundamental interest in many areas of science. Existing approaches are often limited to linear settings, sometimes lack guarantees, and…

Machine Learning · Computer Science 2023-07-06 Francesco Quinzan , Ashkan Soleymani , Patrick Jaillet , Cristian R. Rojas , Stefan Bauer

A thorough in situ characterization of materials at extreme conditions is challenging, and computational tools such as crystal structural search methods in combination with ab initio calculations are widely used to guide experiments by…

Materials Science · Physics 2018-11-14 Maximilian Amsler , Vinay I. Hegde , Steven D. Jacobsen , Chris Wolverton

The availability of big data in materials science offers new routes for analyzing materials properties and functions and achieving scientific understanding. Finding structure in these data that is not directly visible by standard tools and…

Establishing a data-driven pipeline for the discovery of novel materials requires the engineering of material features that can be feasibly calculated and can be applied to predict a material's target properties. Here we propose a new class…

Materials Science · Physics 2022-10-04 Sherif Abdulkader Tawfik , Salvy P. Russo

Data-driven methods, in particular machine learning, can help to speed up the discovery of new materials by finding hidden patterns in existing data and using them to identify promising candidate materials. In the case of superconductors,…

Superconductivity · Physics 2022-12-15 Timo Sommer , Roland Willa , Jörg Schmalian , Pascal Friederich

Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system.…

Logic in Computer Science · Computer Science 2022-07-05 Benjamin Lion , Farhad Arbab , Carolyn Talcott

High-entropy materials have attracted considerable interest due to the combination of useful properties and promising applications. Predicting their formation remains the major hindrance to the discovery of new systems. Here we propose a…