Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Alloparental care in a solitary bee

Research into the evolutionary origins of sociality in insect colonies is changing emphasis from understanding how eusociality is maintained to how insects transition from solitary to social lifestyles. The pygmy carpenter bees (Ceratina spp.) offer an excellent model for investigating such factors as they have been historically thought of as solitary but have recently been shown to be socially polymorphic, which may indicate that they are currently in a transitive phase. By utilizing behavioural observation and experimental removal protocols, I show that extended parental care, as well as sibling care in Ceratina calcarata plays an important role in offspring development. I found, upon removal of the mother, that specifically produced ‘dwarf’ female offspring take over parental care roles in the nest. The existence of alloparental care and generational overlap suggests that although they are classified as solitary bees, C. calcarata possess the prerequisite behavioural repertoire for sociality.

Letter - E.C. Schmon to Arthur A. Schmon, 31 May 1918

The letter reads: " Darling Artie, I have just been reading the war news and Oh! how terribly discouraging it is. This mornings paper says the allies have yieldes on a forty-mile front, that Soissons had been taken by the Germans and Rheims is in grave peril and may fall at any moment. And think - only the third day of the new drive, too. I know that everything will end all right, but it surely has an awful affect on you, to read these reports. Of course no one knows, but it is the opinion of people in military circles here, that the war will last two years more at least; and in all probability five or six. Cheerful prospects. Yes? So you see, Artie dear, that you must come home on a leave, the very first opportunity you have. Understand? I am going down to Red Cross now, to do a little work. Tonight Mrs. Mizger, Doris and the two Braun girls are coming down. They want to see the rest of the pretty things that are in our sacred chest, and I just love to them, too. There are days when I have them out three or four times and I picture each thing in our little nest - after the war is over - - (Joy!!) Au revoir, honey-bunch boy. All the love, hugs and kisses that you desire. Always your, Wifie. P.S. And still no mail. Boo! Hoo! L."

Vertical R&D Sprillovers, Cooperation, Market Structure, and Innovation.

This paper studies vertical R&D spillovers between upstream and downstream firms. The model incorporates two vertically related industries, with horizontal spillovers within each industry and vertical spillovers between the two industries. Four types of R&D cooperation are studied : no cooperation, horizontal cooperation, vertical cooperation, and simultaneous horizontal and vertical cooperation. Vertical spillovers always increase R&D and welfare, while horizontal spillovers may increase or decrease them. The comparison of cooperative settings in terms of R&D shows that no setting uniformly dominates the others. Which type of cooperation yields more R&D depends on horizontal and vertical spillovers, and market structure. The ranking of cooperative structures hinges on the signs and magnitudes of three competitive externalities (vertical, horizontal, and diagonal) which capture the effect of the R&D of a firm on the profits of other firms. One of the basic results of the strategic investment literature is that cooperation between competitors increases (decreases) R&D when horizontal spillovers are high (low); the model shows that this result does not necessarily hold when vertical spillovers and vertical cooperation are taken into account. The paper proposes a theory of innovation and market structure, showing that the relation between innovation and competition depends on horizontal spillovers, vertical spillovers, and cooperative settings. The private incentives for R&D cooperation are addressed. It is found that buyers and sellers have divergent interests regarding the choice of cooperative settings and that spillovers increase the likelihood of the emergence of cooperation in a decentralized equilibrium.

Rationalizability of Choice Functions on General Domains without Full Transitivity

The rationalizability of a choice function by means of a transitive relation has been analyzed thoroughly in the literature. However, not much seems to be known when transitivity is weakened to quasi-transitivity or acyclicity. We describe the logical relationships between the different notions of rationalizability involving, for example, the transitivity, quasi-transitivity, or acyclicity of the rationalizing relation. Furthermore, we discuss sufficient conditions and necessary conditions for rational choice on arbitrary domains. Transitive, quasi-transitive, and acyclical rationalizability are fully characterized for domains that contain all singletons and all two-element subsets of the universal set.

A Theoretical Comparison Between Integrated and Realized Volatilies

In this paper, we provide both qualitative and quantitative measures of the cost of measuring the integrated volatility by the realized volatility when the frequency of observation is fixed. We start by characterizing for a general diffusion the difference between the realized and the integrated volatilities for a given frequency of observations. Then, we compute the mean and variance of this noise and the correlation between the noise and the integrated volatility in the Eigenfunction Stochastic Volatility model of Meddahi (2001a). This model has, as special examples, log-normal, affine, and GARCH diffusion models. Using some previous empirical works, we show that the standard deviation of the noise is not negligible with respect to the mean and the standard deviation of the integrated volatility, even if one considers returns at five minutes. We also propose a simple approach to capture the information about the integrated volatility contained in the returns through the leverage effect.

Statistical Inference for Computable General Equilibrium Models with Application to a Model of the Moroccan Economy

We study the problem of measuring the uncertainty of CGE (or RBC)-type model simulations associated with parameter uncertainty. We describe two approaches for building confidence sets on model endogenous variables. The first one uses a standard Wald-type statistic. The second approach assumes that a confidence set (sampling or Bayesian) is available for the free parameters, from which confidence sets are derived by a projection technique. The latter has two advantages: first, confidence set validity is not affected by model nonlinearities; second, we can easily build simultaneous confidence intervals for an unlimited number of variables. We study conditions under which these confidence sets take the form of intervals and show they can be implemented using standard methods for solving CGE models. We present an application to a CGE model of the Moroccan economy to study the effects of policy-induced increases of transfers from Moroccan expatriates.

Finite-Sample Inference Methods for Simultaneous Equations and Models with Unobserved and Generated Regressors

We propose finite sample tests and confidence sets for models with unobserved and generated regressors as well as various models estimated by instrumental variables methods. The validity of the procedures is unaffected by the presence of identification problems or \"weak instruments\", so no detection of such problems is required. We study two distinct approaches for various models considered by Pagan (1984). The first one is an instrument substitution method which generalizes an approach proposed by Anderson and Rubin (1949) and Fuller (1987) for different (although related) problems, while the second one is based on splitting the sample. The instrument substitution method uses the instruments directly, instead of generated regressors, in order to test hypotheses about the \"structural parameters\" of interest and build confidence sets. The second approach relies on \"generated regressors\", which allows a gain in degrees of freedom, and a sample split technique. For inference about general possibly nonlinear transformations of model parameters, projection techniques are proposed. A distributional theory is obtained under the assumptions of Gaussian errors and strictly exogenous regressors. We show that the various tests and confidence sets proposed are (locally) \"asymptotically valid\" under much weaker assumptions. The properties of the tests proposed are examined in simulation experiments. In general, they outperform the usual asymptotic inference methods in terms of both reliability and power. Finally, the techniques suggested are applied to a model of Tobin’s q and to a model of academic performance.

ARMA Representation of Integrated and Realized Variances

This paper derives the ARMA representation of integrated and realized variances when the spot variance depends linearly on two autoregressive factors, i.e., SR SARV(2) models. This class of processes includes affine, GARCH diffusion, CEV models, as well as the eigenfunction stochastic volatility and the positive Ornstein-Uhlenbeck models. We also study the leverage effect case, the relationship between weak GARCH representation of returns and the ARMA representation of realized variances. Finally, various empirical implications of these ARMA representations are considered. We find that it is possible that some parameters of the ARMA representation are negative. Hence, the positiveness of the expected values of integrated or realized variances is not guaranteed. We also find that for some frequencies of observations, the continuous time model parameters may be weakly or not identified through the ARMA representation of realized variances.

Identification, Weak Instruments and Statistical Inference in Econometrics

We discuss statistical inference problems associated with identification and testability in econometrics, and we emphasize the common nature of the two issues. After reviewing the relevant statistical notions, we consider in turn inference in nonparametric models and recent developments on weakly identified models (or weak instruments). We point out that many hypotheses, for which test procedures are commonly proposed, are not testable at all, while some frequently used econometric methods are fundamentally inappropriate for the models considered. Such situations lead to ill-defined statistical problems and are often associated with a misguided use of asymptotic distributional results. Concerning nonparametric hypotheses, we discuss three basic problems for which such difficulties occur: (1) testing a mean (or a moment) under (too) weak distributional assumptions; (2) inference under heteroskedasticity of unknown form; (3) inference in dynamic models with an unlimited number of parameters. Concerning weakly identified models, we stress that valid inference should be based on proper pivotal functions —a condition not satisfied by standard Wald-type methods based on standard errors — and we discuss recent developments in this field, mainly from the viewpoint of building valid tests and confidence sets. The techniques discussed include alternative proposed statistics, bounds, projection, split-sampling, conditioning, Monte Carlo tests. The possibility of deriving a finite-sample distributional theory, robustness to the presence of weak instruments, and robustness to the specification of a model for endogenous explanatory variables are stressed as important criteria assessing alternative procedures.

The Alberta Dilemma: Optimal Sharing of a Water Resource by an Agricultural and an Oil Sector

The purpose of this paper is to characterize the optimal time paths of production and water usage by an agricultural and an oil sector that have to share a limited water resource. We show that for any given water stock, if the oil stock is sufficiently large, it will become optimal to have a phase during which the agricultural sector is inactive. This may mean having an initial phase during which the two sectors are active, then a phase during which the water is reserved for the oil sector and the agricultural sector is inactive, followed by a phase during which both sectors are active again. The agricultural sector will always be active in the end as the oil stock is depleted and the demand for water from the oil sector decreases. In the case where agriculture is not constrained by the given natural inflow of water once there is no more oil, we show that oil extraction will always end with a phase during which oil production follows a pure Hotelling path, with the implicit price of oil net of extraction cost growing at the rate of interest. If the natural inflow of water does constitute a constraint for agriculture, then oil production never follows a pure Hotelling path, because its full marginal cost must always reflect not only the imputed rent on the finite oil stock, but also the positive opportunity cost of water.

La transformation du rôle de représentante d’aidantes familiales pendant l’hébergement de leur parent atteint de démence : une théorisation ancrée

RÉSUMÉ L‘hébergement en centre de soins de longue durée d'un parent âgé atteint de démence marque une transition pour les personnes qui occupent un rôle d’aidant familial principal. Ces personnes, principalement des femmes, poursuivent leur engagement après l’hébergement et souhaitent être impliquées dans les décisions concernant les soins offerts à leur parent. Souvent l'hébergement survient au moment où la personne âgée n'est plus en mesure, compte tenu de ses déficiences cognitives, d'exprimer clairement ses besoins; les aidantes accordent alors une place centrale au rôle de représentante de leur proche hébergé. Cette étude avait pour but d’expliquer la transformation du rôle de représentante chez des aidantes familiales dont le parent atteint de démence vit dans un centre d’hébergement et de soins de longue durée (CHSLD). La méthode qualitative de la théorisation ancrée a été retenue pour expliquer ce processus social. Les résultats obtenus reposent sur 14 entrevues en profondeur réalisées auprès de filles dont le parent atteint de démence était hébergé depuis plus de six mois dans un CHSLD. Ces aidantes ont été sélectionnées selon une procédure d’échantillonnage théorique et l’analyse des données a été réalisée à partir de la transcription intégrale des entrevues en suivant trois niveaux d'analyse, soit la codification ouverte, axiale et sélective. Une proposition théorique, générée par voie inductive, met en lumière trois processus intermédiaires interreliés expliquant la transformation du rôle de représentante pendant l’hébergement du proche : 1) l’intégration dans le milieu ; 2) l’évaluation de la qualité des soins et 3) le développement de la confiance envers le milieu d’hébergement. Plus précisément, les aidantes déploient différentes stratégies d’intégration dans le milieu d’hébergement, soit l’établissement de relations de réciprocité et d’une collaboration avec le personnel soignant, ainsi que l’utilisation d’un style de communication diplomatique. Parallèlement, elles évaluent la qualité des soins en trois étapes : jugement, pondération et action. Finalement, une relation de confiance avec les membres du personnel de l’établissement se développe en lien avec cinq facteurs spécifiques, soit les premières impressions, la comparaison avec d’autres CHSLD, l’intérêt démontré par le personnel envers le proche, le fait d’être entendue et prise au sérieux et la transparence du milieu d’hébergement. Ces trois processus contribuent au bien-être du parent hébergé et à celui de l’aidante. Le développement de la confiance étant associé aux deux autres processus intermédiaires ainsi qu’au bien-être de l’aidante, il est le processus central de la théorie contextuelle qui émerge de cette recherche. Cette étude contribue au développement des connaissances, notamment en fournissant plusieurs éléments inédits de compréhension du processus de transformation du rôle de représentante des aidantes familiales, de même que des pistes pour soutenir ces aidantes dont le parent, souffrant de démence, n’est plus en mesure de prendre des décisions. La théorie contextuelle proposée dans le cadre de cette étude constitue les prémices d’une théorie de niveau intermédiaire portant sur le rôle de représentant des aidants familiaux dans le contexte plus général du système de santé. Des études réalisées dans d’autres contextes de soins et auprès d’aidants de proches vulnérables ayant d’autres types d’affections sont ainsi recommandées.

La protection des données personnelles en France

Un résumé en anglais est également disponible.

Le défi de la protection de la vie privée face aux besoins de circulation de l’information personnelle

Face à l’innovation apportée par les technologies de l’information, il est loisible de s’interroger sur la pertinence des concepts juridiques qui ont été arrêtés en un autre siècle et sous une autre technologie. Il s’agira donc dans une perspective préliminaire, d’envisager l’influence de ces innovations sur le droit de la vie privée. Aussi, en utilisant le concept de « neutralité technologique », nous mesurerons la réalité de son application dans ce domaine d’activité en vérifiant sa pertinence et en identifiant les éléments qui pourraient, au contraire, laisser croire à une différence de traitement entre le papier et l’électronique. Une fois ce constat fait, nous évaluerons les changements opérés respectivement sur le plan de la forme du droit et de sa substance. Concernant en premier lieu sa forme, nous examinerons principalement la façon de faire des lois en nous interrogeant sur l’attitude du législateur qui nous semble quelque peu varier dés lors qu’il s’agit d’encadrer la spécificité des renseignements personnels sur support électronique. Dans la seconde partie, si les principes généraux relatifs à la gestion des renseignements personnels sont désormais connus, il faudra s’interroger sur le fait de savoir si une évolution n’est pas nécessaire.

Prolégomènes à une recherche sur la vie privée dans une perspective historique et sociologique

Dans cet article, l’auteur, qui est docteur en droit et doctorant en sociologie, tente de refaire le long cheminement historique qui conduit à la reconnaissance de la vie privée, telle que nous la connaissons aujourd’hui dans les sociétés du capitalisme libéral. Texte synthèse d’une première étape d’une recherche plus vaste sur les conséquences de l’introduction des NTIC à l’égard du respect de la vie privée dans nos sociétés contemporaines, ce texte met en lumière un certain nombre de phénomènes à l’égard du concept de vie privée. D’abord, l’auteur constate le décalage fondamental qui existe entre la protection de la vie privée des individus en fonction de la classe sociale à laquelle ils sont associés et ce, à travers l’ensemble des modes de production de la richesse sociale ayant existé historiquement. Ensuite, l’auteur montre que les sociétés où l’espace public fut le plus étroit sont également celles où la vie privée fut, dans les faits, le moins bien protégé. Les sociétés ayant poussé le plus loin le concept de privatisation sont, du point de vue des valeurs sociales associées au progrès, les plus arriérés et les moins intéressantes. En conséquence, de l’opinion de l’auteur, les tentatives des courants néolibéraux d’aller vers une plus large privatisation de la société constitueraient un nouveau recul pour la protection de la vie privée elle-même. Plus fondamentalement, l’auteur conclut que la vie privée « n’est que l’expression matérielle et symbolique des rapports de pouvoir dans la société; ce n’est que le nom que nous donnons aux privilèges des uns à l’égard des droits des autres ». Finalement, l’auteur s’interroge sur les conséquences, à l’égard de la protection de la vie privée, de l’introduction des NTIC. À son opinion, et contrairement aux points de vue généralement entendus sur cette question, les NTIC ne constituent pas, malgré les apparences, un changement qualitatif ou d’échelle justifiant la mise en place des nouvelles normes juridiques qui auraient pour conséquence de réduire l’espace public et celui de la liberté d’expression dans le cyberespace, et qui constitueraient, dans les faits, une nouvelle forme de censure.