Results 21 to 30 of about 23,100,798 (257)
Frontiers in Environmental Science, 2022 The reform of water resource tax policies is an important measure in the process of China’s green economic transformation. Therefore, improving the accuracy of tax policy impact prediction is crucial for policymakers to make correct decisions. This study
Chunhua Xin, Fengqi Guo, Anqi Wang
doaj +1 more source
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
Realistic computable error bounds for three dimensional finite element analyses in linear elasticity [PDF]
, 2011 We obtain a computable estimator for the energy norm of the error in piecewise affine and piecewise quadratic finite element approximations of linear elasticity in three dimensions.
Rankin, Richard Andrew Robert +3 more
core +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
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
IEEE Transactions on Quantum EngineeringWe consider exact quantum circuit synthesis, quantum gate efficiency, and the spectral gap conjecture from the perspective of computable analysis. Circuit synthesis, in both its exact and its approximate variant, is fundamental to the circuit model of ...
Yannik N. Boeck +2 more
doaj +1 more source