Results 11 to 20 of about 10,740 (264)
Products of effective topological spaces and a uniformly computable Tychonoff Theorem [PDF]
Logical Methods in Computer Science, 2013 This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces.
Robert Rettinger, Klaus Weihrauch
doaj +1 more source
Complexity theory for spaces of integrable functions [PDF]
Logical Methods in Computer Science, 2017 This paper investigates second-order representations in the sense of Kawamura and Cook for spaces of integrable functions that regularly show up in analysis. It builds upon prior work about the space of continuous functions on the unit interval: Kawamura
Florian Steinberg
doaj +1 more source
Computational Analysis of Molnupiravir [PDF]
International Journal of Molecular Sciences, 2022 In this work, we report in-depth computational studies of three plausible tautomeric forms, generated through the migration of two acidic protons of the N4-hydroxylcytosine fragment, of molnupiravir, which is emerging as an efficient drug to treat COVID-19. The DFT calculations were performed to verify the structure of these tautomers, as well as their
Artem Sharov +4 more
openaire +3 more sources
Effective zero-dimensionality for computable metric spaces [PDF]
Logical Methods in Computer Science, 2015 We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent.
Robert Kenny
doaj +1 more source
Computational Analysis of Metasurfaces [PDF]
IEEE Journal on Multiscale and Multiphysics Computational Techniques, 2018 Metasurfaces represent one of the most vibrant fields of modern science and technology. A metasurface is a complex electromagnetic structure, that is typically deeply subwavelength in thickness, electrically large in transverse size and composed of subwavelength scattering particles with extremely small features; it may generally be bianisotropic ...
Yousef Vahabzadeh +3 more
openaire +3 more sources
Effecs of Bolsa Família on rural welfare: a computable equilibrium analysis
Economia & Região, 2023 This paper analyzes the effects of the Bolsa Família Program on the economic well-being of rural families in the Brazilian macrorregions, contributing to the debate on income transfer programs.
Rayan Wolf +4 more
doaj +1 more source
Effective representations of the space of linear bounded operators
Applied General Topology, 2003 Representations of topological spaces by infinite sequences of symbols are used in computable analysis to describe computations in topological spaces with the help of Turing machines.
Vasco Brattka
doaj +1 more source
Journal of Agricultural and Resource Economics, 2000 A computable general equilibrium model of the southeastern Colorado economy is used to compare the economic impacts of a proposed increase in reservoir storage to an alternative: temporary water transfers.
D. Jay Goodman
doaj +1 more source
Linked Metadata for FAIR Digital Objects Carrying Computable Knowledge [PDF]
Research Ideas and Outcomes, 2022 Introduction To advance the goals of the Mobilizing Computable Biomedical Knowledge (MCBK) Movement, we are exploring the use of FAIR Digital Objects (FDOs) (De Smedt et al. 2020, Williams et al. 2021).First, we are beginning to clarify the full range of
Allen Flynn +5 more
doaj +3 more sources
MathematicsThis paper investigates the complexity of real functions through proof techniques inspired by formal language theory. Productiveness, which is a stronger form of non-recursive enumerability, is employed to analyze the complexity of various problems ...
Jingnan Xie +2 more
doaj +1 more source