Results 31 to 40 of about 517,135 (291)
Unsteady thermal Maxwell power law nanofluid flow subject to forced thermal Marangoni Convection
Scientific Reports, 2021 In the current work, the unsteady thermal flow of Maxwell power-law nanofluid with Welan gum solution on a stretching surface has been considered. The flow is also exposed to Joule heating and magnetic effects.
Muhammad Jawad +4 more
doaj +1 more source
Наука. Инновации. Технологии, 2022 Propose a method of numerical solution integral equations of the first kind. This assumes that the source data in the equation can be set approximately with errors, and the integral equation kernel may have features that leads to the formulation of so ...
Igor Eduardovich Naats +2 more
doaj
The computational content of Nonstandard Analysis [PDF]
, 2016 Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on the so-called unwinding of proofs.
Sanders, Sam
core +3 more sources
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
openaire +4 more sources
The Ontological Role of Applied Mathematics in Virtual Worlds
Philosophies, 2022 In this paper, I will argue that with the emergence of digital virtual worlds (in video games, animation movies, etc.) by the animation industry, we need to rethink the role and authority of mathematics, also from an ontological point of view.
Miklós Hoffmann
doaj +1 more source
Introduction to Gestural Similarity in Music. An Application of Category Theory to the Orchestra
, 2018 Mathematics, and more generally computational sciences, intervene in several aspects of music. Mathematics describes the acoustics of the sounds giving formal tools to physics, and the matter of music itself in terms of compositional structures and ...
Mannone, Maria
core +1 more source
Matrix Structure Exploitation in Generalized Eigenproblems Arising in Density Functional Theory
, 2009 In this short paper, the authors report a new computational approach in the context of Density Functional Theory (DFT). It is shown how it is possible to speed up the self-consistent cycle (iteration) characterizing one of the most well-known DFT ...
Bientinesi, Paolo +4 more
core +1 more source
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 ...
openaire +2 more sources
A consequence of the notional existence of an effectively calculable yet non-recursive function
Analecta Cracoviensia, 2021 The present paper is devoted to a discussion of the role of Church’s thesis in setting limits to the cognitive possibilities of mathematics. The specific aim is to analyse the formalized theory of arithmetic as a fundamental mathematical structure ...
Adam Olszewski
doaj +1 more source
Guarded Cubical Type Theory: Path Equality for Guarded Recursion [PDF]
, 2016 This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics,
Birkedal, Lars +5 more
core +2 more sources