Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 20 of 220 for “"Computable"”.

  1. Computable Model Theory on Loops

    <p>We give an introduction to the problem of computable algebras. Specifically, the algebras of loops and groups. We start by defining a loop and group, then give some of their properties. We then give an overview of comptability theory, and apply it to loops and groups. We conclude by showing that …

    nmu Repository record for Computable Model Theory on Loops (opens in a new tab)

  2. Computable Linear Orders and Turing Reductions

    <p>This thesis explores computable linear orders through Turing Reductions and codes zero jump and zero double jump into linear orders using discrete, dense, and block linear relations.</p>

    uconn-diss Repository record for Computable Linear Orders and Turing Reductions (opens in a new tab)

  3. Computable Algebraic Structures and Non-Standard Arithmetic

    Made available in DSpace on 2014-12-09T22:17:31Z (GMT). No. of bitstreams: 1 6612376.pdf: 1920305 bytes, checksum: 7fd98f22236428c9c9b6d8ad086974d7 (MD5) Previous issue date: 1966

    uiuc Repository record for Computable Algebraic Structures and Non-Standard Arithmetic (opens in a new tab)

  4. A Regional Computable General Equilibrium Model for Korea

    This paper provides a sketch of a regional computable general equilibrium model for a developing economy. It draws on the model design of the Adelman and Robinson model for the Korean economy: an attempt is made to build a multi-region and multisector version in which commodity and factor flows …

    uiuc Repository record for A Regional Computable General Equilibrium Model for Korea (opens in a new tab)

  5. Algorithmic randomness on computable metric spaces and hyperspaces

    … on generalizing Martin-Löf randomness to computable metric spaces with arbitrary measure (for examples of this type of generalization see Gács [14], Rojas and Hoyrup [15]. The aim of this generalization is to define algorithmic randomness on the hyperspace of non-empty compact subsets of a …

    cape-town Repository record for Algorithmic randomness on computable metric spaces and hyperspaces (opens in a new tab)

  6. Computable Performance Analysis of Recovering Signals with Low-dimensional Structures

    … of the signals are relatively low. I expect that computable performance bounds would open doors for wide applications in compressive sensing, sensor arrays, radar, MRI, image processing, computer vision, collaborative filtering, control, and many other areas where low-dimensional signal structures …

    wustl Repository record for Computable Performance Analysis of Recovering Signals with Low-dimensional Structures (opens in a new tab)

  7. Tax policy reforms in Thailand : a computable general equilibrium approach

    … on resource allocation and utilisation. A static computable short run general equilibrium model was constructed to capture the principal Sectoral linkages - notably relative output prices and intersectoral and wage rate linkages - involved. The model contains a real sector and a linkage to the …

    aus-cath Repository record for Tax policy reforms in Thailand : a computable general equilibrium approach (opens in a new tab)

  8. Tax policy reforms in Thailand : a computable general equilibrium approach

    … on resource allocation and utilisation. A static computable short run general equilibrium model was constructed to capture the principal Sectoral linkages - notably relative output prices and intersectoral and wage rate linkages - involved. The model contains a real sector and a linkage to the …

    anu Repository record for Tax policy reforms in Thailand : a computable general equilibrium approach (opens in a new tab)

  9. Solvable and Unsolvable Problems in the Theory of Computable Numbers

    Made available in DSpace on 2014-12-09T22:17:23Z (GMT). No. of bitstreams: 1 6511827.pdf: 6495465 bytes, checksum: a879738c6e216a1f00aa8ee4d7b1f358 (MD5) Previous issue date: 1965

    uiuc Repository record for Solvable and Unsolvable Problems in the Theory of Computable Numbers (opens in a new tab)

  10. Integrated passenger transport policy assessment within a computable general equilibrium framework

    … allgemeinen rechenbaren Gleichgewichtmodells (Computable General Equilibrium Model, CGE), welches zur Bewertung politischer Maßnahmen den Personenverkehr bzw. die Personenverkehrsleistung in Deutschland im volkswirtschaftlichen Kontext abbildet. Ziel der Arbeit ist die Anwendung dieses …

    tu-berlin Repository record for Integrated passenger transport policy assessment within a computable general equilibrium framework (opens in a new tab)

  11. Agriculture, climate change, and adaptation in Morocco: A computable general equilibrium analysis

    <p>The empirical analysis in this dissertation comprises two essays investigating the impacts of climate change on agriculture in Morocco, with an emphasis on climate uncertainty and robust adaptation.^ The first essay in Chapter 4 provides estimates of economic impacts of climate change, and …

    purdue-thes Repository record for Agriculture, climate change, and adaptation in Morocco: A computable general equilibrium analysis (opens in a new tab)

  12. Random Variable Spaces: Mathematical Properties and an Extension to Programming Computable Functions

    … aims to extend the boundaries of Programming Computable Functions (PCF) by introducing a novel collection of categories referred to as Random Variable Spaces. Originating as a generalization of Quasi-Borel Spaces, Random Variable Spaces are rigorously defined as categories where objects are …

    chapman Repository record for Random Variable Spaces: Mathematical Properties and an Extension to Programming Computable Functions (opens in a new tab)

  13. The Impact of capital intensive farming in Thailand: a computable general equilibrium approach

    … as a data set, and then a 20 production-sector Computable General Equilibrium (CGE) model was developed for the Thai economy. The CGE model is employed to simulate the impact of capital-intensive farming on the Thai economy under two different forces: technological change and free trade. Four …

    lincoln Repository record for The Impact of capital intensive farming in Thailand: a computable general equilibrium approach (opens in a new tab)

  14. Induced technical change in computable general equilibrium models for climate-change policy analysis

    … reductions. The analysis is conducted using a computable general equilibrium (CGE) model of the US economy-a numerical simulation that determines aggregate welfare based on the interaction of prices with the demands for and supplies of commodities and factors across different markets. Within …

    mit Repository record for Induced technical change in computable general equilibrium models for climate-change policy analysis (opens in a new tab)

  15. An integrated assessment of air pollutant abatement opportunities in a computable general equilibrium framework

    … an integrated assessment model designed using a computable general equilibrium (CGE) framework. CGE models are often used to simulate macroeconomic activity based on microeconomic theory and are well suited for emission policy analysis because of their ability to represent the interactions …

    mit Repository record for An integrated assessment of air pollutant abatement opportunities in a computable general equilibrium framework (opens in a new tab)

  16. A computable general equilibrium analysis of regional impacts of macro-shocks in the 1980S

    … income transfers from abroad. An interregional computable general equilibrium (CGE) model is constructed and calibrated for Virginia and the rest of the United States (ROUS). Scenarios approximating federal fiscal policies and the trade deficit during the period 1981-85 are introduced, and the …

    vt Repository record for A computable general equilibrium analysis of regional impacts of macro-shocks in the 1980S (opens in a new tab)

  17. Prospects for economic growth and poverty reduction in Uganda: a Computable General Equilibrium (CGE) analysis

    Uganda faces considerable challenges in revamping economic growth performance, reducing the proportional of people living below the poverty line to below 20 percent, and attaining other Millennium Development Goals by the year 2015. These developments have prompted the government to prioritise …

    dundee Repository record for Prospects for economic growth and poverty reduction in Uganda: a Computable General Equilibrium (CGE) analysis (opens in a new tab)

  18. Automated Reasoning via a Multi-sorted Fragment of Computable Set Theory with Applications to Semantic Web

    … dissertation, I consider some results of \emph{Computable Set Theory}, a research field rich of several interesting theoretical results, in particular for what concerns multi-sorted and multi-level syllogistic fragments, in order to provide a novel powerful knowledge representation and reasoning …

    catania Repository record for Automated Reasoning via a Multi-sorted Fragment of Computable Set Theory with Applications to Semantic Web (opens in a new tab)

Page 1 of 11