Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Electronic, magnetic and thermal properties of Pb₂₋x AxCrO₅ (A = K or La)

Lead chromium oxide is a photoconductive dielectric material tha t has great potential of being used as a room temperature photodetector. In this research, we made ceramic pellets of this compound as well as potassium doped compound Pb2-xKxCr05, where x=O, 0.05, 0.125. We also investigate the properties of the lanthanum doped sample whose chemical formula is Pb1.85Lao.15Cr05' The electronic, magnetic and thermal properties of these materials have been studied. Magnetization measurements of the Pb2Cr05 sample indicate a transition at about 310 K, while for the lanthanum doped sample the transition temperature is at about 295 K indicating a paramagnetic behavior. However, the potassium doped samples are showing the transition from paramagnetic state to diamagnetic state at different temperatures for different amounts of potassium atoms present in the sample. We have studied resistivity as a function of temperature in different gas environments from 300 K to 900 K. The resistivity measurement of the parent sample indicates a conducting to insulating transition at about 300 K and upon increasing the temperature further, above 450 K the sample becomes an ionic conductor. As temperature increases a decrease in resistance is observed in the lanthanum/potassium doped samples. Using Differential Scanning Calorimetry experiment an endothermic peak is observed for the Pb2Cr05 and lanthanum/potassium doped samples at about 285 K.

The new blockbuster film sequel : changing cultural and economic conditions within the film industry

Film sequels are a pervasive part of film consumption practices and have become an important part of the decision making process for Hollywood studios and producers. This thesis indicates that sequels are not homogenous groups of films, as they are often considered, but offer a variety of story construction and utilize a variety of production methods. Three types of blockbuster sequel sets are identified and discussed in this thesis. The Traditional Blockbuster Sequel Set, as exemplified by Back to the Future (1985, 1989, 1990) films, is the most conventional type of sequel set and capitalizes on the winning formula of the first film in the franchise. The MultiMedia Sequel Set, such as The Matrix (1999,2003) trilogy, allows the user/viewer to experience and consume the story as well as the world of the film through many different media. The Lord a/ the Rings (2001, 2002, 2003) set of films is an illustration of The Saga Sequel Set where plot lines are continuous over the entire franchise thus allowing the viewer to see the entire set as a unified work. The thesis also demonstrates how the blockbuster sequel sets, such as the Pirates a/ the Caribbean (2003, 2006, 2007) franchise, restructure the production process of the Hollywood film industry.

A stochastic dynamic programming approach for pricing options on stock-index futures

The aim of this thesis is to price options on equity index futures with an application to standard options on S&P 500 futures traded on the Chicago Mercantile Exchange. Our methodology is based on stochastic dynamic programming, which can accommodate European as well as American options. The model accommodates dividends from the underlying asset. It also captures the optimal exercise strategy and the fair value of the option. This approach is an alternative to available numerical pricing methods such as binomial trees, finite differences, and ad-hoc numerical approximation techniques. Our numerical and empirical investigations demonstrate convergence, robustness, and efficiency. We use this methodology to value exchange-listed options. The European option premiums thus obtained are compared to Black's closed-form formula. They are accurate to four digits. The American option premiums also have a similar level of accuracy compared to premiums obtained using finite differences and binomial trees with a large number of time steps. The proposed model accounts for deterministic, seasonally varying dividend yield. In pricing futures options, we discover that what matters is the sum of the dividend yields over the life of the futures contract and not their distribution.

Response curves of deterministic and probabilistic cellular automata in one and two dimensions

One of the most important problems in the theory of cellular automata (CA) is determining the proportion of cells in a specific state after a given number of time iterations. We approach this problem using patterns in preimage sets - that is, the set of blocks which iterate to the desired output. This allows us to construct a response curve - a relationship between the proportion of cells in state 1 after niterations as a function of the initial proportion. We derive response curve formulae for many two-dimensional deterministic CA rules with L-neighbourhood. For all remaining rules, we find experimental response curves. We also use preimage sets to classify surjective rules. In the last part of the thesis, we consider a special class of one-dimensional probabilistic CA rules. We find response surface formula for these rules and experimental response surfaces for all remaining rules.

Rethinking Fiscal Decentralization Policies in Developing Economies: A Case Study of Ghana

This thesis invites geographers to pay more attention to public policy research by addressing the need to rethink fiscal decentralization policies in Ghana. By applying “Simandan’s wise stance in human geography” and “Grix’s building blocks of social research design”, I developed a conceptual framework that unites two incommensurable ontological and epistemological research positions in geography—the positive and normative positions. I used the framework to investigate two key research questions. First, does fiscal decentralization actually work in Ghana? Through quantitative analysis of empirical revenue and expenditure data (1994-2011) of local governments in Ghana, this study reveals significant issues of inefficiency, inequity, and unaccountability. Local governments generate less revenue, and therefore depend largely on central government transfers for developing their jurisdictions. Worse yet, these transfers are highly unpredictable in terms of amount and timing. Even though a multivariate regression analysis revealed that these transfers are apolitical, the actual disbursement formula tends to focus on equality instead of equity. Additionally, the unclear expenditure assignments in each locality make accountability difficult. In view of these problems, I addressed the question: why is fiscal decentralization held out as a good thing in Ghana? By drawing lessons from Foucault’s and Escobar’s critical discourse analysis, I traced a genealogy of Ghana’s fiscal decentralization. I found that the policy is held out as a good thing in Ghana because of the triangular operation of multiplicities of power, knowledge, and truth regimes at the local, national and international scale. I concluded that although nation-states remains a necessary causal link in fiscal decentralization policy process in Ghana, direct and indirect international involvement have profound effect on these policies. Therefore, rethinking fiscal decentralization involves acknowledging the complex intermingling effects that global, national, and local territories produce.

Isoflavone exposure throughout suckling results in improved adult bone health in mice

Exposure to isoflavones (ISO), abundant in soy protein infant formula, for the first 5 days of life results in higher bone mineral density (BMD),greater trabecular connectivity and higher fracture load of lumbar vertebrae (LV) at adulthood. The effect of lengthening the duration of exposure to ISO on bone development has not been studied. This study determined if providing ISO for the first 21 days of life, which more closely mimics the duration that infants are fed soy protein formula, results in higher BMD, improved bone structure and greater strength in femurs and LV than a 5-day protocol. Female CD-1 mice were randomized to subcutaneous injections of ISO (7 Q1 mg kg/body weight/day) or corn oil from postnatal day 1 to 21. BMD, structure and strength were measured at the femur and LV at 4 months of age, representing young Q2 adulthood. At the LV, exposure to ISO resulted in higher (P,0.05) BMD, trabecular connectivity and fracture load compared with control (CON). Exposure to ISO also resulted in higher (P,0.05) whole femur BMD, higher (P,0.05) bone volume/total volume and Q3 lower (P,0.05) trabecular separation at the femur neck, as well as greater (P,0.05) fracture load at femur midpoint and femur neck compared with the CON group. Exposure to ISO throughout suckling has favorable effects on LV outcomes, and, unlike previous studies using 5-day exposure to ISO, femur outcomes are also improved. Duration of exposure should be considered when using the CD-1 mouse to model the effect of early life exposure of infants to ISO.

EARLY LIFE EXPOSURE TO GENISTEIN AND DAIDZEIN DISRUPTS STRUCTURAL DEVELOPMENT OF REPRODUCTIVE ORGANS IN FEMALE MICE

In mice, exposure to isoflavones (ISO), abundant in soy infant formula, during the first 5 d of life alters structural and functional development of reproductive organs. Effects of longer exposures are unknown. The study objective was to evaluate whether exposure to a combination of daidzein and genistein in the first 10 compared to 5 d of life results in greater adverse effects on ovarian and uterine structure in adult mice. Thirteen litters of 8–12 pups were cross-fostered and randomized to corn oil or ISO (2 mg daidzein + 5 mg genistein/kg body weight/d) for the first 5 or 10 d of life. The 10-d protocol mimicked the period when infants are fed soy protein formula (SPF) but avoids the time when suckling pups can consume the mother’s diet. Body and organ weights and histology of ovaries and uteri were analyzed. There were no differences in the ovary or uterus weight, number of ovarian follicles, number of multiple oocyte follicles, or percent of ovarian cysts with 5 or 10 d of ISO intervention compared to respective controls. The 10-d ISO group had higher body weights from 6 d to 4 mo. of age and a higher percent of hyperplasia in the oviduct than the respective control. Lower numbers of ovarian corpus lutea and a higher incidence of abnormal changes were reported in the uteri of both ISO groups compared to their respective controls. Five- and 10-d exposure to ISO had similar long-lasting adverse effects on the structures of ovaries and uterus in adult mice. Only the 10-d ISO exposure resulted in greater body weight gain at adulthood.

Sir Robert Burnett Labels

A collection of Sir Robert Burnett labels. The company was established in England in 1770, but these labels read "Distilled and Bottled according to the Original Formula of Sir Robert Burnett Co., Ltd. London W.I., England by The Sir Robert Burnett Co. A Division of Distillers Corporation Ltd. Montreal, Canada".

Empirical Assessment of an Intertemporal Option Pricing Model with Latent variables

This paper assesses the empirical performance of an intertemporal option pricing model with latent variables which generalizes the Hull-White stochastic volatility formula. Using this generalized formula in an ad-hoc fashion to extract two implicit parameters and forecast next day S&P 500 option prices, we obtain similar pricing errors than with implied volatility alone as in the Hull-White case. When we specialize this model to an equilibrium recursive utility model, we show through simulations that option prices are more informative than stock prices about the structural parameters of the model. We also show that a simple method of moments with a panel of option prices provides good estimates of the parameters of the model. This lays the ground for an empirical assessment of this equilibrium model with S&P 500 option prices in terms of pricing errors.

Risk Aversion, Intertemporal Substitution, and Option Pricing

This paper develops a general stochastic framework and an equilibrium asset pricing model that make clear how attitudes towards intertemporal substitution and risk matter for option pricing. In particular, we show under which statistical conditions option pricing formulas are not preference-free, in other words, when preferences are not hidden in the stock and bond prices as they are in the standard Black and Scholes (BS) or Hull and White (HW) pricing formulas. The dependence of option prices on preference parameters comes from several instantaneous causality effects such as the so-called leverage effect. We also emphasize that the most standard asset pricing models (CAPM for the stock and BS or HW preference-free option pricing) are valid under the same stochastic setting (typically the absence of leverage effect), regardless of preference parameter values. Even though we propose a general non-preference-free option pricing formula, we always keep in mind that the BS formula is dominant both as a theoretical reference model and as a tool for practitioners. Another contribution of the paper is to characterize why the BS formula is such a benchmark. We show that, as soon as we are ready to accept a basic property of option prices, namely their homogeneity of degree one with respect to the pair formed by the underlying stock price and the strike price, the necessary statistical hypotheses for homogeneity provide BS-shaped option prices in equilibrium. This BS-shaped option-pricing formula allows us to derive interesting characterizations of the volatility smile, that is, the pattern of BS implicit volatilities as a function of the option moneyness. First, the asymmetry of the smile is shown to be equivalent to a particular form of asymmetry of the equivalent martingale measure. Second, this asymmetry appears precisely when there is either a premium on an instantaneous interest rate risk or on a generalized leverage effect or both, in other words, whenever the option pricing formula is not preference-free. Therefore, the main conclusion of our analysis for practitioners should be that an asymmetric smile is indicative of the relevance of preference parameters to price options.

Les obligations du franchiseur : étude du droit civil et du guide d'Unidroit sur les accords internationaux de franchise principale

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maîtrise en droit (LL.M.)". Ce mémoire a été accepté à l'unanimité et classé parmi les 15% des mémoires de la discipline.

La monnaie en droit : nature d'une abstraction outre fondée : essai dialectique et logique sur la dualité dans la catégoricité juridique et sur l'abstraction d'hérédité monétaire

"Thèse présentée à la Faculté des études supérieures en vue de l'obtention du grade de Docteur en droit (LL.D.)"

Surfaces de Riemann compactes et formule de trace d'Eichler

Dans ce mémoire, nous étudierons quelques propriétés algébriques, géométriques et topologiques des surfaces de Riemann compactes. Deux grand sujets seront traités. Tout d'abord, en utilisant le fait que toute surface de Riemann compacte de genre g plus grand ou égal à 2 possède un nombre fini de points de Weierstrass, nous allons pouvoir conclure que ces surfaces possèdent un nombre fini d'automorphismes. Ensuite, nous allons étudier de plus près la formule de trace d'Eichler. Ce théorème nous permet de trouver le caractère d'un automorphisme agissant sur l'espace des q-différentielles holomorphes. Nous commencerons notre étude en utilisant la quartique de Klein. Nous effectuerons un exemple de calcul utilisant le théorème d'Eichler, ce qui nous permettra de nous familiariser avec l'énoncé du théorème. Finalement, nous allons démontrer la formule de trace d'Eichler, en prenant soin de traiter le cas où l'automorphisme agit sans point fixe séparément du cas où l'automorphisme possède des points fixes.

Le développement économique régional, la politique et les disparités régionales des grands territoires : le cas du Canada et de la Chine

Résumé Depuis le début des années 1990, la recherche sur le développement régional a pris une importance considérable dans les disciplines de l’économie et de la géographie dans la plupart des pays. De nombreuses études ont été consacrées à ce sujet et l’on constate une approche analytique de plus en plus sophistiquée. Que les économies pauvres ont tendance à converger vers les pays riches, ou bien à diverger au fil du temps est une question qui a attiré l'attention des décideurs et des universitaires depuis quelques décennies. Convergence ou de divergence économique est un sujet d'intérêt et de débat, non seulement pour valider ou non les deux modèles principaux de croissance qui sont considérés comme concurrent (l’approche néo-classique et celle des approches de croissance endogène), mais aussi pour ses implications pour les publiques politiques. En se basant sur une analyse des politiques de développement régional et des analyses statistiques de la convergence et des disparités régionales, les objectifs de cette thèse sont de tenter de fournir une explication des différents processus et des modèles de développement économique régional poursuivis dans le cas de territoires immenses en utilisant le Canada et la Chine comme études de cas, d'entreprendre une analyse des différents facteurs et des forces motrices qui sous-tendent le développement régional dans ces deux pays, et d'explorer à la fois les réussites et les échecs apparents dans les politiques de développement régional en comparant et contrastant les expériences de développement régional et les modèles de ces deux pays. A fin d'atteindre cet objectif, la recherche utilise une approche multi-scalaire et des méthodes de mesure multidimensionnelle dans le cadre des analyses sur les disparités « régionales » entre les macro régions (sous-ensembles de provinces) des deux pays, des provinces et des régions urbaines sélectionnées, dans le but ultime d’identifier des problèmes existants en termes de développement régional et de pouvoir proposer des solutions. Les étapes principales de la recherche sont : 1. La cueillette des données statistiques pour le Canada et la Chine (incluant les provinces de Québec et de Xinjiang) pour une gamme d’indicateurs (voir ci-dessous). 2. D’entreprendre une analyse de chaque dimension dans les deux juridictions: Population (p.ex. composition, structure, changement); Ressources (p. ex. utilisation, exploitation de l’énergie); Environnement (p.ex. la pollution); et le Développement socioéconomique (p.ex. le développement et la transformation des secteurs clé, et les modèles de développement rural et urbain), et les disparités changeantes par rapport à ces dimensions. 3. La définition d’une typologie de différents types de région en fonction de leurs trajectoires de développement, ce qui servira pour critiquer l’hypothèse centre-périphérie. 4. Le choix d’une région métropolitaine dans chaque juridiction (province). 5. D’entreprendre une analyse temporelle des événements clé (politiques, investissements) dans chaque région et les facteurs impliqués dans chaque événement, en utilisant l’information documentaire générale et des agences institutionnelles impliqués actuellement et dans un passée récent. Cette étude a tenté d'expliquer les schémas et les processus des deux économies, ainsi que la présentation d'études de cas qui illustrent et examinent les différences dans les deux économies à partir de l’échelle nationale jusqu’au niveau régional et provincial et aussi pour certaines zones urbaines. Cette étude a essayé de répondre aux questions de recherche comme: Est-il vrai que les pays avec des plus grandes territoires sont associés avec des plus grandes disparités interrégionales? Quel est le résultat des comparaisons entre pays développés et pays en développement? Quels sont les facteurs les plus importants dans le développement économique de vastes territoires dans les pays développés et pays en développement? Quel est le mécanisme de convergence et de divergence dans les pays développés et, respectivement, les pays en développement? Dans l'introduction à la thèse, le cadre général de l'étude est présenté, suivie dans le chapitre 1 d'une discussion sur les théories et les concepts utilisés dans la littérature théorique principale qui est pertinent à l'étude. Le chapitre 2 décrit la méthodologie de recherche. Le chapitre 3 présente une vue d'ensemble des politiques de développement économique régional et les programmes du Canada et de la Chine dans des périodes différentes à différentes échelles. Au chapitre 4, la convergence des deux pays à l'échelle nationale et la convergence provinciale pour chaque pays sont examinés en utilisant différentes méthodes de mesure telles que les méthodes traditionnelles, la convergence bêta et la convergence sigma. Dans le chapitre le plus complexe, le chapitre 5, les analyses comparatives sont présentées à l'aide de données statistiques, à partir des analyses des cas régionaux et provinciaux retenus des deux pays. Au chapitre 6, ces dispositions sont complétées par une analyse des régions urbaines choisies, qui permet également des aperçus sur les régions les plus périphériques. Dans la recherche proposée pour cette thèse, la politique, la population, le revenu, l'emploi, la composition industrielle, l'investissement, le commerce et le facteur de la migration sont également pris en compte comme facteurs importants de l'analyse régionale compte tenu de la superficie du territoire des deux pays et les différences de population entre eux. Cette thèse a évalué dans quelle mesure les politiques gouvernementales ont réussi à induire la convergence régionale ou ont encore ont creusé davantage les disparités régionales, ce qui implique nécessairement une évaluation de la durabilité des patrons et des programmes de développement régional. Cette étude a également mis l'accent sur les disparités régionales et la politique de développement régional, les comparaisons entre pays, pour mesurer la convergence entre les pays et entre les régions, y compris l'analyse spatiale, d'identifier les facteurs les plus actifs tels que la population, les ressources, la politique, l'urbanisation, les migrations, l'ouverture économique et leurs différents rôles dans le développement économique de ces grands territoires (au Canada et Chine). Les résultats empiriques et les processus de convergence et de divergence offrent un cadre intéressant pour l'examen de la trajectoire de développement régionales et les disparités régionales dans les deux économies. L'approche adoptée a révélé les différentes mosaïques complexes du développement régional dans les deux pays. Les résultats de cette étude ont démontré que la disparité en termes de revenu régional est une réalité dans chaque zone géographique, et que les causes sont nombreuses et complexes. Les deux économies ont certains parallèles dans la mise en œuvre des politiques de développement économique régional, mais il existe des différences importantes aussi et elles se sont développées à différentes vitesses. Les deux économies se sont développées depuis la Seconde Guerre mondiale, mais la Chine a connu une croissance rapide que le Canada comme témoignent de nombreux indicateurs depuis 1980. Cependant, la Chine est maintenant confrontée à un certain nombre de problèmes économiques et sociaux, y compris les disparités régionales marquées, un fossé toujours croissant entre les revenus ruraux et urbains, une population vieillissante, le chômage, la pauvreté et la dégradation rapide de l'environnement avec toujours plus de demandes en énergie. Le développement économique régional en Chine est plus déséquilibré. Le Canada accuse un degré de disparités régionales et provinciales moins important que la Chine. Dans les cas provinciaux, il existe d'importantes différences et de disparités dans la structure économique et spatiale du Québec et du Xinjiang. Les disparités infra provinciales sont plus grandes que celles à l’échelle des provinces et des grandes régions (des sous-ensembles de provinces). Les mécanismes de convergence et de divergence dans les deux pays sont différents. Les résultats empiriques et les processus de convergence et de divergence offrent un cadre intéressant pour l'examen de la trajectoire de développement régionale et les disparités régionales dans les deux économies. Cette étude démontre également que l'urbanisation (les métropoles et les villes) s’avère être le facteur le plus actif et contribue à l'économie régionale dans ces grands territoires. L'ouverture a joué un rôle important dans les économies des deux pays. La migration est un facteur majeur dans la stimulation de l'économie des deux pays mais de façons différentes. Les résultats empiriques démontrent que les disparités régionales ne peuvent pas être évitées et elles existent presque partout. Il n'y a pas une formule universelle et de politiques spécifiques sont de mise pour chaque région. Mais il semble possible pour les décideurs politiques nationaux et régionaux d’essayer de maintenir l'écart à une échelle raisonnable pour éviter l'instabilité sociale.