English
Related papers

Related papers: SPM Bulletin 37

200 papers

Advances in machine learning have impacted myriad areas of materials science, ranging from the discovery of novel materials to the improvement of molecular simulations, with likely many more important developments to come. Given the rapid…

Materials Science · Physics 2020-06-26 Dane Morgan , Ryan Jacobs

Breakthrough discoveries and inventions involve unexpected combinations of contents including problems, methods, and natural entities, and also diverse contexts such as journals, subfields, and conferences. Drawing on data from tens of…

Digital Libraries · Computer Science 2020-01-17 Feng Shi , James Evans

We will outline our ideas for teaching in the core mathematics disciplines. They are based on our own experience in teaching at a number of universities in the USA, as well as in Europe. While some of the core ideas stay and have stayed…

History and Overview · Mathematics 2007-05-23 Palle E. T. Jorgensen

This tutorial deal with the Axiom of Choice and some of its applications to topics related to Computer Science. We will see that the Axiom of Choice is equivalent to some well-known proof principles like Zorn's Lemma or Tuckey's Maximality…

Logic in Computer Science · Computer Science 2014-09-01 Ernst-Erich Doberkat

The field of Machine Learning research is divided into subject areas, where each area tries to solve a specific problem, using specific methods. In recent years, borders have almost been erased, and many areas inherit methods from other…

Computers and Society · Computer Science 2019-08-09 Arip Asadulaev

Random matrices now play a role in many parts of computational mathematics. To advance these applications, it is desirable to have tools that are flexible, easy to use, and powerful. Over the last 25 years, researchers have developed a…

Probability · Mathematics 2026-05-01 Joel A. Tropp

It is introduced the concept of Superiority Degree one competitive decision over another. On the basis of this concept the mathematics theoretic structure is developed, which is part of pairs comparisons branch in modern decision making…

Optimization and Control · Mathematics 2010-03-05 Vladimer Zhukovin , Zurab Alimbarashvili

Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and techniques developed in this field has grown considerably, as…

Logic in Computer Science · Computer Science 2025-09-17 Marta Kwiatkowska , Gethin Norman , David Parker

Academic publishing requires solving a collective coordination problem: among thousands of possible publication venues, which deserve a community's attention? A clear consensus helps scholars allocate attention, match submissions to…

Digital Libraries · Computer Science 2026-03-03 Ian Van Buskirk , Marilena Hohmann , Ekaterina Landgren , Johan Ugander , Aaron Clauset , Daniel B. Larremore

Models of random phylogenetic networks have been used since the inception of the field, but the introduction and rigorous study of mathematically tractable models is a much more recent topic that has gained momentum in the last 5 years.…

Populations and Evolution · Quantitative Biology 2024-11-20 François Bienvenu

The emerging field at the intersection of quantitative biology, network modeling, and control theory has enjoyed significant progress in recent years. This Special Issue brings together a selection of papers on complementary approaches to…

Molecular Networks · Quantitative Biology 2018-07-10 Reka Albert , John Baillieul , Adilson E. Motter

The study of Complex Systems is considered by many to be a new scientific field, and is distinguished by being a discipline that has applications within many separate areas of scientific study. The study of Neural Networks, Traffic…

Networking and Internet Architecture · Computer Science 2007-05-23 Jeffrey B. Smith

For educational institutions in STEM areas, the provision of practical learning scenarios is, traditionally, a major concern. In the 21st century, the explosion of ICTs, as well as the universalization of low-cost hardware, have allowed the…

Computers and Society · Computer Science 2025-01-27 Ricardo M. Fernandez , Felix Garcia-Loro , Gustavo Alves , Africa Lopez-Rey , Russ Meier , Manuel Castro

This issue of the SPM Bulletin announces two conferences which are of interest to anyone working in SPM or general topology. In the second announced conference it is planned to have a significant part devoted to SPM. Those who are…

General Topology · Mathematics 2007-05-23 Boaz Tsaban

Information overload and the rapid pace of scientific advancement make it increasingly difficult to evaluate and allocate resources to new research proposals. Is there a structure to scientific discovery that could inform such decisions? We…

Digital Libraries · Computer Science 2025-08-21 Giacomo Radaelli , Jonah Lynch

The recent discovery of the Standard Model boson (SMS) and direct searches place new constraints and a new perspective on New Physics models. I mostly review supersymmetric model building, with special emphasizes on predictions of flavor…

High Energy Physics - Phenomenology · Physics 2013-06-13 Emilian Dudas

Mathematical theory of selection is developed within the frameworks of general models of inhomogeneous populations with continuous time. Methods that allow us to study the distribution dynamics under natural selection and to construct…

Populations and Evolution · Quantitative Biology 2009-12-22 Georgy P. Karev

A substantial progress in development of new and efficient tensor factorization techniques has led to an extensive research of their applicability in recommender systems field. Tensor-based recommender models push the boundaries of…

Machine Learning · Computer Science 2018-02-20 Evgeny Frolov , Ivan Oseledets

The algorithm selection problem is to choose the most suitable algorithm for solving a given problem instance. It leverages the complementarity between different approaches that is present in many areas of AI. We report on the state of the…

Artificial Intelligence · Computer Science 2018-10-05 Marius Lindauer , Jan N. van Rijn , Lars Kotthoff

Knowledge representation is a popular research field in IT. As mathematical knowledge is most formalized, its representation is important and interesting. Mathematical knowledge consists of various mathematical theories. In this paper we…

Logic in Computer Science · Computer Science 2016-04-01 Andrey Luxemburg