Provable Security for Cryptocurrencies

The past several years have seen the surprising and rapid rise of Bitcoin and other “cryptocurrencies.” These are decentralized peer-to-peer networks that allow users to transmit money, tocompose financial instruments, and to enforce contracts between mutually distrusting peers, andthat show great promise as a foundation for financial infrastructure that is more robust, efficientand equitable than ours today. However, it is difficult to reason about the security of cryptocurrencies. Bitcoin is a complex system, comprising many intricate and subtly-interacting protocol layers. At each layer it features design innovations that (prior to our work) have not undergone any rigorous analysis. Compounding the challenge, Bitcoin is but one of hundreds of competing cryptocurrencies in an ecosystem that is constantly evolving. The goal of this thesis is to formally reason about the security of cryptocurrencies, reining in their complexity, and providing well-defined and justified statements of their guarantees. We provide a formal specification and construction for each layer of an abstract cryptocurrency protocol, and prove that our constructions satisfy their specifications. The contributions of this thesis are centered around two new abstractions: “scratch-off puzzles,” and the “blockchain functionality” model. Scratch-off puzzles are a generalization of the Bitcoin “mining” algorithm, its most iconic and novel design feature. We show how to provide secure upgrades to a cryptocurrency by instantiating the protocol with alternative puzzle schemes. We construct secure puzzles that address important and well-known challenges facing Bitcoin today, including wasted energy and dangerous coalitions. The blockchain functionality is a general-purpose model of a cryptocurrency rooted in the “Universal Composability” cryptography theory. We use this model to express a wide range of applications, including transparent “smart contracts” (like those featured in Bitcoin and Ethereum), and also privacy-preserving applications like sealed-bid auctions. We also construct a new protocol compiler, called Hawk, which translates user-provided specifications into privacy-preserving protocols based on zero-knowledge proofs.

Differences by gender in barthel index change after stroke: a retrospective study in the Northeast Portugal

Foreseeing functional recovery after stroke plays a crucial role in planning rehabilitation programs. Objectives: To assess differences over time in functional recovery assessed through the Barthel Index (BI) rate of change (BIRC) between admission and discharge in stroke patients. Methods: This is a retrospective hospital-based study of consecutive patients with acute stroke admitted to a hospital in the Northeast Portugal between 2010 and 2014. BIRC was computed as the difference between the admission and discharge BI scores divided by time in days between these assessments. General linear model analysis stratiied by gender was used to know whether there was an increase in BIRC during time period under study. Adjusted regression coeficients and respective 95% conidence interval (95%CI) were obtained. Results: From 483 patients included in this analysis 59% (n = 285) were male. Among women, mean BIRC was 1.8 (± 1.88) units/ day in 2010 and reached 3.7 (± 2.80) units/day in 2014. Among men the mean BIRC in 2010 and in 2014 were similar being 3.2 (± 3.19) and 3.1 (± 3.31) units/day, respectively. After adjustment for age, BI at admission, type and laterality of stroke we observed an increase in BIRC over time among women such that mean BIRC in 2014 was 0.82 (95%: 0.48; 3.69) units higher than the one observed in 2010. No such increase in BIRC over time was observed among men. Conclusions: We observed an improvement in functional recovery after stroke but only among women. Our results suggest differences over time in clinical practice toward rehabilitation of women after stroke.

UV and visible photoconductivity of undoped diamond films: morphology and related electrical transport phenomena

UV and visible photoconductivity and electrical features of undoped diamond thin films grown by microwave plasma-assisted chemical vapour deposition (MP-CVD) on silicon and copper substrates are studied. The results are correlated with morphology properties analysed by atomic force microscopy (AFM) and micro-Raman. The photoconductivity presents several bands from 1.8 to 3.8 eV that are dependent on the substrate used to grow the samples in spite of some common bands observed. The J-V curve tin DC) in samples grown on Si has a rectifier behaviour (Schottky emission) in opposition to the samples grown on Cu that have no rectification (SCLC conduction). With these results we can conclude that diamond based optoelectronic devices behaviour is controlled by two kinds of structural defects localized in microcrystal and in its boundaries. A general structure model for the optoelectronic behaviour is discussed. (C) 2000 Elsevier Science S.A. All rights reserved.

Articulación de la gestión de riesgo a la ordenación territorial; caso de la provincia del Azuay

Este trabajo está enfocado al planteamiento y propuesta del modelo a considerar pretende abordar desde la periferia de la provincia del Azuay hacia su centro cantonal, buscando obtener un modelo mucho más cercano a una realidad general y las formas de actuación desde aquellos centros carentes de recursos hasta el mayor centro generador de los mismos. Se ha empezado abordando la problemática general de los riesgos que afectan en todo sentido a los seres humanos, que permitan definir sobre cuales se podrían actuar en la zona de estudio, para esto se determinó conceptualizaciones de territorio y riesgos como: caracterización de los fenómenos de riesgo en el Azuay en una perspectiva histórica; con énfasis en acontecimientos de magnitud en los últimos 25 años, definición de las tipologías de riesgos y conceptualizaciones de la Ordenación Territorial, para establecer la interrelación de conceptos y acciones que permita entender a la innovación como la capacidad de introducir nuevos métodos que apunten a mejorar las condiciones de competitividad del territorio, estudiando los posibles instrumentos de aplicación y la relación intrínseca con la administración pública. Finalmente se estableció un diagnóstico general de la provincia que permitió centrarse en tres fenómenos de riesgos: las fallas geológicas, las inundaciones y deslizamientos de masa, que se han convertido en los principales factores de afección. Con el marco teórico definido y el diagnostico establecido fue posible que en base a varios estudios preliminares en América Latina y Europa sobre situaciones de riesgos similares; se realice un planteamiento para enfrentar las situaciones de peligro de la Provincia, las alternativas de soluciones, de mitigaciones y prevención, que sumado a la gestión administrativa local y regional, permita establecer mecanismos estratégicos aplicables en las fases de la Ordenación Territorial. La propuesta plantea entre sus más importantes resultados: la administración responsable, ámbito temporal de validez de las acciones, establece modelos de ocupación inmediata de zonas seguras y ocupación diferida de áreas con riesgo aceptable, que hacen posible enfrentar estos fenómenos naturales y disminuir las pérdidas de vidas humanas.

UV and visible photoconductivity of undoped diamond films: morphology and related electrical transport phenomena

UV and visible photoconductivity and electrical features of undoped diamond thin films grown by microwave plasma-assisted chemical vapour deposition (MP-CVD) on silicon and copper substrates are studied. The results are correlated with morphology properties analysed by atomic force microscopy (AFM) and micro-Raman. The photoconductivity presents several bands from 1.8 to 3.8 eV that are dependent on the substrate used to grow the samples in spite of some common bands observed. The J-V curve tin DC) in samples grown on Si has a rectifier behaviour (Schottky emission) in opposition to the samples grown on Cu that have no rectification (SCLC conduction). With these results we can conclude that diamond based optoelectronic devices behaviour is controlled by two kinds of structural defects localized in microcrystal and in its boundaries. A general structure model for the optoelectronic behaviour is discussed. (C) 2000 Elsevier Science S.A. All rights reserved.

Online education, accrediting standards, and student success: An examination of the relationship between the southern association of colleges and schools commission on colleges standards for online education and student success

Prior to 2000, there were less than 1.6 million students enrolled in at least one online course. By fall 2010, student enrollment in online distance education showed a phenomenal 283% increase to 6.1 million. Two years later, this number had grown to 7.1 million. In light of this significant growth and skepticism about quality, there have been calls for greater oversight of this format of educational delivery. Accrediting bodies tasked with this oversight have developed guidelines and standards for online education. ^ There is a lack of empirical studies that examine the relationship between accrediting standards and student success. The purpose of this study was to examine the relationship between the presence of Southern Association of Colleges and Schools Commission on College (SACSCOC) standards for online education in online courses, (a) student support services and (b) curriculum and instruction, and student success. An original 24-item survey with an overall reliability coefficient of .94 was administered to students (N=464) at Florida International University, enrolled in 24 university-wide undergraduate online courses during fall 2014, who rated the presence of these standards in their online courses. The general linear model was utilized to analyze the data. The results of the study indicated that the two standards, student support services and curriculum and instruction were both significantly and positively correlated with student success but with small R2 and strengths of association less than .35 and .20 respectively. Mixed results were produced from Chi-square tests for differences in student success between higher and lower rated online courses when controlling for various covariates such as discipline, gender, race/ethnicity, GPA, age, and number of online courses previously taken. A multiple linear regression analysis revealed that the curriculum and instruction standard was the only variable that accounted for a significant amount of unique variance in student success. Another regression test revealed that no significant interaction effect exists between the two SACSCOC standards and GPA in predicting student success. ^ The results of this study are useful for administrators, faculty, and researchers who are interested in accreditation standards for online education and how these standards relate to student success.^

Sex-Positive Curricula: An Investigation of the Relationship Between Physical Fitness, Self-Concept and Sexual Functioning

Despite the well-recognized benefits of exercise, Americans are gaining weight in astounding proportions and levels of physical activity are on the decline. The purpose of this study was to investigate a relationship between physical fitness, self-concept and sexual health. There is a dearth of knowledge on this relationship specifically in the context of sex-negative curricula, which is the dominate discourse in the United States. One hundred and thirty-three participants between the ages of 18 - 50 volunteered for fitness testing and data collection. Physical fitness was assessed through body fat, resting metabolic rate, cardiovascular endurance, muscular strength, muscular endurance and flexibility. Self-reported exercise was measured using the International Physical Activity Questionnaire. Self-concept was measured by the Six Factor Self-Concept Scale, which presented a total self-concept score and as six individual concepts of self (likability, morality, task accomplishment, giftedness, power and vulnerability). Additionally, sexual function was measured by Derogatis Interview for Sexual Functioning and presented as both an aggregate score and five separate constructs of sexual functioning (fantasy/cognition, arousal, orgasm, behavior/experience, and drive/desire). Questions pertaining to sexual partners, sex education, and demographic information were also included. The results of the General Linear Model indicated significant relationships between physical fitness, self-concept and total sexual functioning. The sexual behavior/experience of men was predicted by body fat percentage and flexibility. In women, behavior/experience was predicted by body fat percentage and arousal was predicted by cardiovascular endurance. Total self-concept was related to muscular endurance. When men were isolated in the analysis, likability was positively related to sexual behavior/experience, and task accomplishment was inversely related to sexual behavior/experience. In women, giftedness was related to cognition/fantasy, arousal, orgasm and total sexual functioning. No relationships were found between physical fitness and the number of sexual partners in men; however, both muscular strength and the power self-concept were significantly related to number of sexual partners in women. As a result of these findings, women may be inclined to exercise to improve arousal and sexual functioning. Furthermore, educators should note the findings of a positive relationship between physical and psychological health and sexual well-being because they provide support for the development and adoption of sex-positive curricula that incorporate potential benefits of sexual activity.

Incentive based policies on climate change: taxes and tradable emssions permits

The reduction of Greenhouse Gases (GHG) plays a central role in the environmental policies considered by countries for implementation not only at its own level but also at supranational levels. This thesis is dedicated to investigate some aspects of two of the most relevant climate change policies. The first part is dedicated to emission permit markets and the second part to optimal carbon taxes. On emission permit markets we explore the strategic behavior of oligopolistic firms operating in polluting industrial sectors that are regulated by cap and trade systems. Our aim is to identify how market power influences the main results obtained under perfect competition assumptions and to understand how actions taken in one market affects the outcome of the other related market. A partial equilibrium model is developed for this purpose with specific abatement cost functions. In Chapter 2 we use the model to explain some of the most relevant literature results. In Chapter 3 the model is used to analyze different oligopolistic structures in the product market under the assumption of competitive permits market. There are two significant findings. Firstly, under the assumption of a Stackelberg oligopoly, firms have no incentives for lobbying in order to manipulate permit prices up, as they have under Cournot competition...

A study on the macroeconomics of climate change

This work aims at exploring the relationship between business cycles, having frequencies rooted in the short run, and climatic phenomena, which span longer time horizons. The ultimate goal is to provide a theoretical framework to address these questions: How could very long run considerations affect short run economic decisions? How short run and transitory decisions could exert a long lasting effect on climate? This is achieved by means of an off-the-shelf real business cycle (RBC) model augmented so as to include a climatic block. The economy is perturbed by a technology shock and an energy-price shock. In general, the model performs relatively well in reproducing the cyclical characteristics of the economic variables; however, it is not as successful in capturing the cyclical behavior of climatic variables. Finally, it proposes a set of policy experiments, all taking the form of an energy tax directly or indirectly linked to the climatic status. As a matter of fact the effect of any tax responsive to the business cycle shows positive aspects: when a technology shock hits the economy, it mitigates global warming with minor costs in terms of potential output losses. It also protects the economy from an increase in energy prices, sustaining a certain level of output despite the fall in fossil energy use.

Enhancing predictive capability of models for solubility and permeability in polymers and composites

The interpretation of phase equilibrium and mass transport phenomena in gas/solvent - polymer system at molten or glassy state is relevant in many industrial applications. Among tools available for the prediction of thermodynamics properties in these systems, at molten/rubbery state, is the group contribution lattice-fluid equation of state (GCLF-EoS), developed by Lee and Danner and ultimately based on Panayiotou and Vera LF theory. On the other side, a thermodynamic approach namely non-equilibrium lattice-fluid (NELF) was proposed by Doghieri and Sarti to consistently extend the description of thermodynamic properties of solute polymer systems obtained through a suitable equilibrium model to the case of non-equilibrium conditions below the glass transition temperature. The first objective of this work is to investigate the phase behaviour in solvent/polymer at glassy state by using NELF model and to develop a predictive tool for gas or vapor solubility that could be applied in several different applications: membrane gas separation, barrier materials for food packaging, polymer-based gas sensors and drug delivery devices. Within the efforts to develop a predictive tool of this kind, a revision of the group contribution method developed by High and Danner for the application of LF model by Panayiotou and Vera is considered, with reference to possible alternatives for the mixing rule for characteristic interaction energy between segments. The work also devotes efforts to the analysis of gas permeability in polymer composite materials as formed by a polymer matrix in which domains are dispersed of a second phase and attention is focused on relation for deviation from Maxwell law as function of arrangement, shape of dispersed domains and loading.

Gyrokinetic modelling of plasma transport and investigation on test particle dynamics

Turbulent plasmas inside tokamaks are modeled and studied using guiding center theory, applied to charged test particles, in a Hamiltonian framework. The equations of motion for the guiding center dynamics, under the conditions of a constant and uniform magnetic field and turbulent electrostatic field are derived by averaging over the fast gyroangle, for the first and second order in the guiding center potential, using invertible changes of coordinates such as Lie transforms. The equations of motion are then made dimensionless, exploiting temporal and spatial periodicities of the model chosen for the electrostatic potential. They are implemented numerically in Python. Fast Fourier Transform and its inverse are used. Improvements to the original Python scripts are made, notably the introduction of a power-law curve fitting to account for anomalous diffusion, the possibility to integrate the equations in two steps to save computational time by removing trapped trajectories, and the implementation of multicolored stroboscopic plots to distinguish between trapped and untrapped guiding centers. The post-processing of the results is made in MATLAB. The values and ranges of the parameters chosen for the simulations are selected based on numerous simulations used as feedback tools. In particular, a recurring value for the threshold to detect trapped trajectories is evidenced. Effects of the Larmor radius, the amplitude of the guiding center potential and the intensity of its second order term are studied by analyzing their diffusive regimes, their stroboscopic plots and the shape of guiding center potentials. The main result is the identification of cases anomalous diffusion depending on the values of the parameters (mostly the Larmor radius). The transitions between diffusive regimes are identified. The presence of highways for the super-diffusive trajectories are unveiled. The influence of the charge on these transitions from diffusive to ballistic behaviors is analyzed.

A statistical mechanical approach for the computation of the climatic response to general forcings

The climate belongs to the class of non-equilibrium forced and dissipative systems, for which most results of quasi-equilibrium statistical mechanics, including the fluctuation-dissipation theorem, do not apply. In this paper we show for the first time how the Ruelle linear response theory, developed for studying rigorously the impact of perturbations on general observables of non-equilibrium statistical mechanical systems, can be applied with great success to analyze the climatic response to general forcings. The crucial value of the Ruelle theory lies in the fact that it allows to compute the response of the system in terms of expectation values of explicit and computable functions of the phase space averaged over the invariant measure of the unperturbed state. We choose as test bed a classical version of the Lorenz 96 model, which, in spite of its simplicity, has a well-recognized prototypical value as it is a spatially extended one-dimensional model and presents the basic ingredients, such as dissipation, advection and the presence of an external forcing, of the actual atmosphere. We recapitulate the main aspects of the general response theory and propose some new general results. We then analyze the frequency dependence of the response of both local and global observables to perturbations having localized as well as global spatial patterns. We derive analytically several properties of the corresponding susceptibilities, such as asymptotic behavior, validity of Kramers-Kronig relations, and sum rules, whose main ingredient is the causality principle. We show that all the coefficients of the leading asymptotic expansions as well as the integral constraints can be written as linear function of parameters that describe the unperturbed properties of the system, such as its average energy. Some newly obtained empirical closure equations for such parameters allow to define such properties as an explicit function of the unperturbed forcing parameter alone for a general class of chaotic Lorenz 96 models. We then verify the theoretical predictions from the outputs of the simulations up to a high degree of precision. The theory is used to explain differences in the response of local and global observables, to define the intensive properties of the system, which do not depend on the spatial resolution of the Lorenz 96 model, and to generalize the concept of climate sensitivity to all time scales. We also show how to reconstruct the linear Green function, which maps perturbations of general time patterns into changes in the expectation value of the considered observable for finite as well as infinite time. Finally, we propose a simple yet general methodology to study general Climate Change problems on virtually any time scale by resorting to only well selected simulations, and by taking full advantage of ensemble methods. The specific case of globally averaged surface temperature response to a general pattern of change of the CO2 concentration is discussed. We believe that the proposed approach may constitute a mathematically rigorous and practically very effective way to approach the problem of climate sensitivity, climate prediction, and climate change from a radically new perspective.

The structural approach of a natrex model on equilibrium exchange rates

Following a general macroeconomic approach, this paper sets a closed micro-founded structural model to determine the long run real exchange rate of a developed economy. In particular, the analysis follows the structure of a Natrex model. The main contribution of this research paper is the development of a solid theoretical framework that analyse in depth the basis of the real exchange rate and the details of the equilibrium dynamics after any shock influencing the steady state. In our case, the intertemporal factors derived from the stock-flow relationship will be particularly determinant. The main results of the paper can be summarised as follows. In first place, a complete well-integrated structural model for long-run real exchange rate determination is developed from first principles. Moreover, within the concrete dynamics of the model, it is found that some convergence restrictions will be necessary. On one hand, for the medium run convergence the sensitivity of the trade balance to changes in real exchange rate should be higher that the correspondent one to the investment decisions. On the other hand, and regarding long-run convergence, it is also necessary both that there exists a negative relationship between investment and capital stock accumulation and that the global saving of the economy depends positively on net foreign debt accumulation. In addition, there are also interesting conclusions about the effects that certain shocks over the exogenous variables of the model have on real exchange rates.

A general continuous auction model with insiders

We analyse in a unified way how the presence of a trader with privilege information makes the market to be efficient when the release time is known. We establish a general relation between the problem of finding an equilibrium and the problem of enlargement of filtrations. We also consider the case where the time of announcement is random. In such a case the market is not fully efficient and there exists equilibrium if the sensitivity of prices with respect to the global demand is time decreasing according with the distribution of the random time.

Mixed equilibrium in a Downsian model with a favored candidate

This paper examines competition in the standard one-dimensional Downsian model of two-candidate elections, but where one candidate (A) enjoys an advantage over the other candidate (D). Voters' preferences are Euclidean, but any voter will vote for candidate A over candidate D unless D is closer to her ideal point by some fixed distance \delta. The location of the median voter's ideal point is uncertain, and its distribution is commonly known by both candidates. The candidates simultaneously choose locations to maximize the probability of victory. Pure strategy equilibria often fails to exist in this model, except under special conditions about \delta and the distribution of the median ideal point. We solve for the essentially unique symmetric mixed equilibrium, show that candidate A adopts more moderate policies than candidate D, and obtain some comparative statics results about the probability of victory and the expected distance between the two candidates' policies.