Results 1 to 10 of about 540,625 (369)
Open sets in computability theory and reverse mathematics [PDF]
Journal of Logic and Computation, 2020 AbstractTo enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this paper, what the influence of this extra data and structure is on the logical and computational properties ...
Normann, Dag, Sanders, Sam
openaire +4 more sources
Single-Particle Cryo-Electron Microscopy: Mathematical Theory, Computational Challenges, and Opportunities [PDF]
IEEE Signal Processing Magazine, 2020 In recent years, an abundance of new molecular structures have been elucidated using cryo-electron microscopy (cryo-EM), largely due to advances in hardware technology and data processing techniques. Owing to these new exciting developments, cryo-EM was selected by Nature Methods as Method of the Year 2015, and the Nobel Prize in Chemistry 2017 was ...
Tamir Bendory +2 more
openalex +5 more sources
Interactions of computational complexity theory and mathematics
, 2023 $ $[This paper is a (self contained) chapter in a new book, Mathematics and Computation, whose draft is available on my homepage at https://www.math.ias.edu/avi/book ]. We survey some concrete interaction areas between computational complexity theory and different fields of mathematics.
Avi Wigderson
openalex +4 more sources
SIGACT News Complexity Theory Column 124 Meta-Mathematics of Computational Complexity Theory [PDF]
Sigact NewsWe survey results on the formalization and independence of mathematical statements related to major open problems in computational complexity theory.
Igor C. Oliveira
openalex +2 more sources
Group theory and biomolecular conformation: I. Mathematical and computational models [PDF]
Journal of Physics: Condensed Matter, 2010 Biological macromolecules, and the complexes that they form, can be described in a variety of ways ranging from quantum mechanical and atomic chemical models, to coarser grained models of secondary structure and domains, to continuum models. At each of these levels, group theory can be used to describe both geometric symmetries and conformational ...
Gregory S. Chirikjian
openalex +3 more sources
Inverse Optimization: Theory and Applications [PDF]
Operational Research, 2021 A Review of Inverse Optimization In recent years, there has been an explosion of interest in the mathematics and applications of inverse optimization.
T. Chan, Rafid Mahmood, Ian Yihang Zhu
semanticscholar +1 more source
Sustainable Research Software Hand-Over
Journal of Open Research Software, 2021 Scientific software projects evolve rapidly in their initial development phase, yet at the end of a funding period, the completion of a research project, thesis, or publication, further engagement in the project may slow down or cease completely.
J. Fehr, C. Himpe, S. Rave, J. Saak
doaj +1 more source
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis [PDF]
Journal of Logic and Computation, 2020 The Axiom of Choice (AC for short) is the most (in)famous axiom of the usual foundations of mathematics, ZFC set theory. The (non-)essential use of AC in mathematics has been well-studied and thoroughly classified.
D. Normann, Sam Sanders
semanticscholar +1 more source
Frontiers in Applied Mathematics and Statistics, 2022 The control of general nonlinear systems is a challenging task in particular for large-scale models as they occur in the semi-discretization of partial differential equations (PDEs) of, say, fluid flow.
Jan Heiland +4 more
doaj +1 more source
Journal of mathematics and mathematics education, 2022 This study intends to carry out a bibliometric analysis to answer the following research questions: What is the annual increase in publications of constructionism, constructivism, and computational thinking, and mathematics education?; Who are the most ...
Edi Supriyadi, J. A. Dahlan
semanticscholar +1 more source