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 60 for “"FIAT"”.

  1. Attacks on the Fiat-Shamir paradigm and program obfuscation

    … we focus on two types of heuristics: (1) the Fiat-Shamir heuristic for constructing digital signature schemes, and (2) heuristics for obfuscation. We show that, in some sense, both of these types of heuristics are insecure. Thus, this thesis consists of two parts: (1) The insecuirty of the …

    mit Repository record for Attacks on the Fiat-Shamir paradigm and program obfuscation (opens in a new tab)

  2. Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic

    … though this question sounds almost paradoxical, Fiat and Shamir (1986) proposed (and Blum extended) a heuristic methodology for removing interaction from a huge class of interactive proofs. This methodology is ubiquitous and essential for practical applications, but for over thirty years, we had …

    mit Repository record for Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic (opens in a new tab)

  3. "Oh, happy day!": uma análise semiótica da campanha do Fiat Grand Siena 2013

    … as narrativas nos três filmes da campanha do Fiat Grand Siena 2013 e identificar as possíveis relações entre as narrativas e outros textos culturais. A estratégia metodológica adotada consiste na análise estrutural da narrativa de cada filme, a fim de verificar as semelhanças e traços …

    brazil-ufba Repository record for "Oh, happy day!": uma análise semiótica da campanha do Fiat Grand Siena 2013 (opens in a new tab)

  4. Development of an implicit measure of dispositional forgiveness.

    … Association Test (IAT). This Forgiveness IAT (FIAT) was administered in conjunction with well established self-report measures of forgiveness, as well as with some measures (including an IAT for each) of spirituality and self-esteem. Other ratings about the participants' dispositional …

    tdl Repository record for Development of an implicit measure of dispositional forgiveness. (opens in a new tab)

  5. Development of an implicit measure of dispositional forgiveness.

    … Association Test (IAT). This Forgiveness IAT (FIAT) was administered in conjunction with well established self-report measures of forgiveness, as well as with some measures (including an IAT for each) of spirituality and self-esteem. Other ratings about the participants' dispositional …

    baylor Repository record for Development of an implicit measure of dispositional forgiveness. (opens in a new tab)

  6. A orientação para o mercado e a performance dos negócios na rede de distribuidores de veículos Fiat nos estados do Rio Grande do Sul e Santa Catarina

    … dos negócios da rede de distribuidores Fiat estabelecidos nos Estados do Rio Grande do Sul e de Santa Catarina. Para atingir este objetivo foi utilizado o Modelo Markor, construído por KOHLI, JAWORSKI & KUMAR (1993), para identificar o grau de orientação para o mercado das empresas …

    brazil-ufrgs Repository record for A orientação para o mercado e a performance dos negócios na rede de distribuidores de veículos Fiat nos estados do Rio Grande do Sul e Santa Catarina (opens in a new tab)

  7. Modellazione e simulazione di sistemi meccanici ad elevato numero di gradi di libertà mediante metodi non convenzionali e sistemi CAD

    … of this thesis is the transformation of the FIAT 1900 jtd diesel common rail engine for the installation on general aviation aircrafts like the CESSNA 172. All considerations about the diesel engine are supported by the studies that have taken place in the laboratories of the II Faculty of …

    bologna Repository record for Modellazione e simulazione di sistemi meccanici ad elevato numero di gradi di libertà mediante metodi non convenzionali e sistemi CAD (opens in a new tab)

  8. An extensible framework for synthesizing efficient, verified parsers

    … presents a demonstration of this approach in the Fiat framework by synthesizing a parser for arithmetic expressions. The benefits of this framework may include more flexibility in the parsers that can be described, more control over the low-level details when necessary for performance, and …

    mit Repository record for An extensible framework for synthesizing efficient, verified parsers (opens in a new tab)

  9. Constructive synthesis of optimized cryptographic primitives

    … Syntax. This was part of a larger project, Fiat-crypto, which seeks to produce formally verified machine-code implementations of Elliptic Curve Cryptography. My implementation outputs Qhasm, a high-level assembly language developed for the implementation of highly optimised cryptography, and …

    mit Repository record for Constructive synthesis of optimized cryptographic primitives (opens in a new tab)

  10. Loneliness, Social Connection, and Quality of Life: A Complex Network and Ecological Momentary Assessment Analysis

    … the Functional Idiographic Assessment Template (FIAT-M). Data were analyzed using the S-GIMME algorithm in order to simultaneously examine relationships between items at the group, subgroup, and individual level, with an eye towards predicting quality of life. Results show that S-GIMME identified …

    unr Repository record for Loneliness, Social Connection, and Quality of Life: A Complex Network and Ecological Momentary Assessment Analysis (opens in a new tab)

  11. Neoliberalism and the "Obesity Epidemic"

    … created the "Obesity Epidemic" by definitional fiat, despite myriad contradictory evidence</p>

    cuny-grad Repository record for Neoliberalism and the "Obesity Epidemic" (opens in a new tab)

  12. The composition of virtual currencies and the prospects of a comprehensive regulatory framework

    … virtual currencies will eventually replace fiat money or whether these two institutions will be functioning in tandem. Virtual currencies are still without legal tender status, but it is established that virtual currency can be utilised as a medium of exchange in circumstances where parties …

    pretoria Repository record for The composition of virtual currencies and the prospects of a comprehensive regulatory framework (opens in a new tab)

  13. Cryptocurrency

    … card now which is also digital money, but it is fiat money (money that is not backed up by any commodity such as gold. It is money issued by the government and regulated by the central bank.) So, I would say that it is worthwhile to learn about digital currencies as they have been on the rise …

    debrecen Repository record for Cryptocurrency (opens in a new tab)

  14. Alternative monetary regimes : are they operational?

    … forwarded as potential alternatives to existing fiat currency systems, this is a serious shortcoming. For each proposed payments system that this paper considers, the analytical method which is adopted for this objective is as follows: (I) The institutional arrangements defining the proposed …

    cape-town Repository record for Alternative monetary regimes : are they operational? (opens in a new tab)

  15. Essays in financial economics

    … a cryptocurrency-denominated token than for a fiat-currency-denominated token.

    mit Repository record for Essays in financial economics (opens in a new tab)

  16. Saving for capital formation in underdeveloped countries

    … of investment by means of bank loans or fiat money will be examined, analyzed, and discussed with the aim of finding useful measures for increasing savings from them to promote capital formation.; (2) The ideas of various writers on economic development that are directly related to the …

    u-pacific Repository record for Saving for capital formation in underdeveloped countries (opens in a new tab)

  17. Compilation using correct-by-construction program synthesis

    … linking to the assembly stage. Composed with the Fiat and Bedrock frameworks, our new method provides the first proof-generating automatic translation from SQL-style relational programs into executable assembly code.

    mit Repository record for Compilation using correct-by-construction program synthesis (opens in a new tab)

  18. Low-frequency bottom backscattering data analysis using multiple constraints beamforming

    … a vertical receiving array suspended near the fiat seafloor, is presented in this thesis. Reflected signals in the normal incidence direction as the output of endfire beamforming are used to determine the sediment structure. The sediment is found to be horizontally stratified, except for two …

    woods-hole Repository record for Low-frequency bottom backscattering data analysis using multiple constraints beamforming (opens in a new tab)

  19. AI/Machine learning approach to identifying potential statistical arbitrage opportunities with FX and Bitcoin Markets

    … is analyzed for all three methods within the fiat currency as well as the cryptocurrency contexts. The best models are then evaluated in terms of their ability to convert predictive accuracy to a profitable investment given an initial investment. The best model was found to be the hybrid model …

    cape-town Repository record for AI/Machine learning approach to identifying potential statistical arbitrage opportunities with FX and Bitcoin Markets (opens in a new tab)

Page 1 of 3