Computational explorations in Thompson's group F

Here we describe the results of some computational explorations in Thompson's group F. We describe experiments to estimate the cogrowth of F with respect to its standard finite generating set, designed to address the subtle and difficult question whether or not Thompson's group is amenable. We also describe experiments to estimate the exponential growth rate of F and the rate of escape of symmetric random walks with respect to the standard generating set.

An ordinal shapley value for economic environments (Revised version)

We propose a new solution concept to address the problem of sharing a surplus among the agents generating it. The problem is formulated in the preferences-endowments space. The solution is defined recursively, incorporating notions of consistency and fairness and relying on properties satisfied by the Shapley value for Transferable Utility (TU) games. We show a solution exists, and call it the Ordinal Shapley value (OSV). We characterize the OSV using the notion of coalitional dividends, and furthermore show it is monotone and anonymous. Finally, similarly to the weighted Shapely value for TU games, we construct a weighted OSV as well.

The missing link in key sectors analysis

In general terms key sectors analysis aims at identifying the role, or impact, that the existence of a productive sector has in the economy. Quite a few measures, indicators and methodologies of varied complexity have been proposed in the literature, from multiplier sums to extraction methods, but not without debate about their properties and their information content. All of them, to our knowledge, focus exclusively on the interdependence effects that result from the input-output structure of the economy. By so doing the simple input-output approach misses critical links beyond the interindustry ones. A productive sector’s role is that of producing but also that of generating and distributing income among primary factors as a result of production. Thus when measuring a sector’s role, the income generating process cannot and should not be omitted if we want to better elucidate the sector’ economic role. A simple way to make the missing income link explicit is to use the SAM (Soci

An ordinal shapley value for economic environments

We propose a new solution concept to address the problem of sharing a surplus among the agents generating it. The sharing problem is formulated in the preferences-endowments space. The solution is defined in a recursive manner incorporating notions of consistency and fairness and relying on properties satisfied by the Shapley value for Transferable Utility (TU) games. We show a solution exists, and refer to it as an Ordinal Shapley value (OSV). The OSV associates with each problem an allocation as well as a matrix of concessions ``measuring'' the gains each agent foregoes in favor of the other agents. We analyze the structure of the concessions, and show they are unique and symmetric. Next we characterize the OSV using the notion of coalitional dividends, and furthermore show it is monotone in an agent's initial endowments and satisfies anonymity. Finally, similarly to the weighted Shapley value for TU games, we construct a weighted OSV as well.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism (Long version)

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of "the historical tendencies": a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin's method, to prove the result.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism.

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of ?the historical tendencies?: a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin?s method, to prove the result.

Unemployment, growth and fiscal policy: new insights on the hysteresis hypothesis

We develop a growth model with unemployment due to imperfections in the labor market. In this model, wage inertia and balanced budget rules cause a complementarity between capital and employment capable of explaining the existence of multiple equilibrium paths. Hysteresis is viewed as the result of a selection between these diferent equilibrium paths. We use this model to argue that, in contrast to the US, those fiscal policies followed by most of the European countries after the shocks of the 1970’s may have played a central role in generating hysteresis.

Variables efectives de l'empowerment

Aquest treball que porta per títol variables efectives de l’empowerment es el treball investigació del programa de doctorat Interuniversitari en Organització i Administració d’Empreses. El treball està composat per tres parts diferenciades. La primera part del treball consisteix amb el comentari de vint articles relacionats amb la motivació, el downsizing i l’empowerment. Els resums exposats han servit per establir els fonaments teòrics previs al model proposat de variables efectives d’empowerment. La segona part consisteix amb l’elaboració d’un article que resumeix les principals fonts consultades i proposa un model de classificació de les variables que poden contribuir a aconseguir amb èxit un procés d’empowerment. Les variables efectives es poden dividir en variables recíproques, variables unidireccionals, variables compartides i variables reflexives. La tercera part i amb l’objectiu de comprovar la validesa de model s’ha desenvolupat un qüestionari per mesurar l’estat de les variables anomenades efectives d’empowerment i la seva contribució amb l’èxit del procés. Es descriu l’eina desenvolupada, el tractament i la representació de les dades obtingudes. Finalment es pot trobar els primers resultats de la prova pilot realitzada per provar el model conceptual proposat.

Terrestrial laser scanning for landslides deformation monitoring

Within last few years a new type of instruments called Terrestrial Laser Scanners (TLS) entered to the commercial market. These devices brought a possibility to obtain completely new type of spatial, three dimensional data describing the object of interest. TLS instruments are generating a type of data that needs a special treatment. Appearance of this technique made possible to monitor deformations of very large objects, like investigated here landslides, with new quality level. This change is visible especially with relation to the size and number of the details that can be observed with this new method. Taking into account this context presented here work is oriented on recognition and characterization of raw data received from the TLS instruments as well as processing phases, tools and techniques to do them. Main objective are definition and recognition of the problems related with usage of the TLS data, characterization of the quality single point generated by TLS, description and investigation of the TLS processing approach for landslides deformation measurements allowing to obtain 3D deformation characteristic and finally validation of the obtained results. The above objectives are based on the bibliography studies and research work followed by several experiments that will prove the conclusions.

Integració de tècniques per a la comprovació eficient de restriccions d'integritat en la generació de programari per entorns web

Estudi elaborat a partir d’una estada al Politecnico de Milano, Itàlia, entre gener i juny del 2006. Un dels principals objectius de l’Enginyeria del Programari és automatitzar el màxim possible el procés de desenvolupament del programari, reduint costos mitjançant la generació automàtica del programari a partir de la seva especificació. Per assolir-ho, entre altres, cal resoldre el problema de la comprovació eficient de restriccions, que són una part fonamental de l’especificació del programari. Aquest és precisament l’àmbit en què s’està desenvolupant una tesi que presentarà un mètode que poden integrar totes les eines generadores de codi per tal d’assolir una implementació eficient de les restriccions d’integritat. En l’actual fase del projecte s’ha treballat per validar el mètode de la tesi, optimitzant-lo pel cas específic de les aplicacions web i estendre’l per poder tractar també aplicacions basades en workflows. Pel que fa a l’optimització del mètode per aplicacions web, s’han definit una sèrie de paràmetres que permeten configurar la implementació del mètode tenint en compte les necessitats específiques de rendiment de cada aplicació web en particular. Respecte als workflows (cada cop més populars i que s’usen com a definició d’alt nivell per a les aplicacions a desenvolupar) s’ha estudiat quins són els tipus de restriccions que impliquen i com després es pot aplicar el mètode de la tesi sobre aquestes restriccions per tal de generar de forma eficient també les aplicacions basades en workflows.

Coevolution of restriction factors and retroviruses

Les virus exploitent la machinerie cellulaire de l'hôte pour se répliquer. Ils doivent s'adapter pour infecter la cellule hôte de manière optimale tout en échappant à la vigilance du système de défense de l'hôte. Ainsi l'hôte et les virus se livrent à de constantes batailles évolutives. Mon travail de thèse a porté sur l'étude des signatures évolutives de facteurs de l'hôte agissant comme des 'facteurs de restriction' en bloquant la réplication rétrovirale chez les primates. Plus spécifiquement, mon travail a visé à utiliser des données évolutives pour renseigner les analyses fonctionnelles et la biologie. Nous avons étudié le facteur anti-VIH-1 nommé TRIM5a (i) chez les prosimiens pour mieux comprendre son rôle dans le contrôle d'un lentivirus endogène, (ii) dans son activité contre d'autres anciennes infections représentées par des rétrovirus endogènes humains et (iii) en tant que protéine capable de générer des mutants de la capside. Premièrement nous nous sommes intéressés à TRIM5a chez deux espèces de lémuriens dont Microcebus murinus qui porte le lentivirus endogène PSIV dans son génome depuis plusieurs millions d'années,. Nous avons observé que TRIM5a chez M. murinus a un spectre d'activité antivirale réduit à l'opposé de TRIM5a chez le Lemur catta - non porteur du PSIV endogène - qui bloque une large variété de rétrovirus dont le PSIV. De ce fait TRIM5a aurait pu contribuer à protéger certaines espèces de lémuriens vis-à-vis d'anciennes infections par le PSIV. A l'inverse du PSIV, des virus dérivés des rétrovirus endogènes humains HERV-K and HERV-H se sont révélés largement résistants à l'inhibition par TRIM5a. Ces données illustrent une absence de protection par TRIM5a face à d'autres anciennes infections rétrovirales. Puis, pour évaluer l'impact de la protéine TRIM5a humaine sur le VIH-1, nous avons testé l'effet de mutations des résidues sous sélection positive dans la capside du VIH-1 sur l'inhibition par TRIM5a. Nos résultats montrent que TRIM5a ne jouerait pas un rôle significatif dans l'évolution de la capside du VIH-1. Enfin notre travail a porté sur le facteur anti-VIH-1 SAMHD1 récemment découvert, que nous avons séquencé chez 25 espèces de primates. L'analyse évolutive des sites sous sélection positive et des expériences fonctionnelles ont permis d'identifier le domaine de SAMHD1 interagissant avec la protéine lentivirale Vpx. De même que d'autres protéines virales contrecarrent les facteurs de restriction en les menant à la dégradation, nous avons observé que Vpx induit la dégradation de SAMHD1 de manière spécifique à l'espèce. Ces découvertes contribuent à comprendre comment les facteurs de restriction et les virus co-évoluent pour se neutraliser l'un l'autre. - Viruses hijack the host cellular machinery to replicate. They adapt to infect optimally host cells while escaping host defense systems. Viruses and the host coevolve in an evolutionary struggle. My thesis work has been devoted to study the evolutionary signatures of host factors acting as restriction factors that block retroviral replication in primates. Specifically, my work aimed at using evolutionary data to inform functional analyses and biology. We studied the anti-HIV-1 factor TRIM5a (i) in prosimians to better understand its possible role in the control of an endogenous lentivirus, (ii) in its activity against other ancient infections - as represented by HERVs, and (iii) as a protein capable of generating escape mutants in the viral capsid. First, my work focused on two lemur species, one of which was the gray mouse lemur that carries the endogenous lentivirus PSIV integrated in its genome for several million years. TRIM5a from gray mouse lemur exhibited a limited antiviral spectrum as opposed to TRIM5a from ring-tailed lemur - not a host of PSIV - that is able to block diverse retroviruses notably PSIV. These results support the possible contribution of TRIM5a in protecting lemur species from ancient infection by PSIV. In contrast, chimeric viruses derived from two human endogenous retroviruses were broadly resistant to TRIM5a-mediated restriction, suggesting TRIM5a lack of activity against other types of ancient infections. To evaluate the recent impact of human TRIM5a on HIV-1 evolution, we tested whether variants at positively selected sites in the HIV-1 capsid affected the ability of human TRIM5a alleles to restrict HIV-1. Our results indicate that TRIM5a does not play a significant role in the evolution of HIV1 capsid. At last, our work concentrated on the newly discovered anti-HIV-1 restriction factor SAMHD1. We determined its coding sequence in a panel of 25 species of primates. Evolutionary analyses of positively selected sites in SAMHD1 domains and functional assays identified the domain of SAMHD1 interacting with the lentiviral protein Vpx. Similar to other viral countermeasures targeting cellular restriction factors, Vpx was responsible of the degradation of SAMHD1 orthologs in a species-specific manner. These findings contributed to understanding how restriction factors and viruses evolve to counteract each other.

B and T lymphocyte attenuator regulates CD8+ T cell-intrinsic homeostasis and memory cell generation.

B and T lymphocyte attenuator (BTLA) is a negative regulator of T cell activation, but its function in vivo is not well characterized. Here we show that mice deficient in full-length BTLA or its ligand, herpesvirus entry mediator, had increased number of memory CD8(+) T cells. The memory CD8(+) T cell phenotype resulted from a T cell-intrinsic perturbation of the CD8(+) T cell pool. Naive BTLA-deficient CD8(+) T cells were more efficient than wild-type cells at generating memory in a competitive antigen-specific system. This effect was independent of the initial expansion of the responding antigen-specific T cell population. In addition, BTLA negatively regulated antigen-independent homeostatic expansion of CD4(+) and CD8(+) T cells. These results emphasize two central functions of BTLA in limiting T cell activity in vivo.

The tectonically controlled emplacement of a vertically sheeted gabbro-pyroxenite intrusion: Feeder-zone of an ocean-island volcano (Fuerteventura, Canary Islands)

The Miocene PX1 gabbro-pyroxenite pluton, Fuerteventura, Canary Islands, is a 3.5 x 5.5 km shallow-level intrusion (0.15-0.2 GPa and 1100-1120 degrees C), interpreted as the feeder-zone to an ocean-island volcano. It displays a vertical magmatic banding expressed in five 50 to 100 metre-wide NNE-SSW trending alkaline gabbro sequences alternating with pyroxenites. This emplacement geometry was controlled by brittle to ductile shear zones, generated by a regional E-W extensional tectonic setting that affected Fuerteventura during the Miocene. At a smaller scale, the PX1 gabbro and pyroxenite bands consist of metre-thick differentiation units, which suggest emplacement by periodic injection of magma pulses as vertical dykes that amalgamated, similarly to a sub-volcanic sheeted dyke complex. Individual dykes underwent internal differentiation following a solidification front parallel to the dyke edges. This solidification front may have been favoured by a significant lateral/horizontal thermal gradient, expressed by the vertical banding in the gabbros, the fractionation asymmetry within individual dykes and the migmatisation of the wall rocks. Pyroxenitic layers result from the fractionation and accumulation of clinopyroxene +/- olivine +/- plagioclase crystals from a mildly alkaline basaltic liquid. They are interpreted as truncated differentiation sequences, from which residual melts were extracted at various stages of their chemical evolution by subsequent dyke intrusions, either next to or within the crystallising unit. Compaction and squeezing of the crystal mush is ascribed to the incoming and inflating magma pulses. The expelled interstitial liquid was likely collected and erupted along with the magma flowing through the newly injected dykes. Clinopyroxene mineral orientation - as evidenced by EBSD and micro X-ray tomography investigations - displays a marked pure-shear component, supporting the interpretation of the role of compaction in the generation of the pyroxenites. Conversely, gabbro sequences underwent minor melt extraction and are believed to represent crystallised coalesced magma batches emplaced at lower rates at the end of eruptive cycles. Clinopyroxene orientations in gabbros record a simple shear component suggesting syn-magmatic deformation parallel to observed NNE-SSW trending shear zones induced by the regional tensional stress field. This emplacement model implies a crystallisation time of 1 to 5 years for individual dykes, consistent with PX1 emplacement over less than 0.5 My. A minimum amount of approximately 150 km(3) of magma is needed to generate the pluton, part of it having been erupted through the Central Volcanic Centre of Fuerteventura. If the regional extensional tectonic regime controls the PX1 feeder-zone initiation and overall geometry, rates and volumes of magma depend on other, source-related factors. High injection rates are likely to induce intrusion growth rates larger than could be accommodated by the regional extension. In this case, dyke intrusion by propagation of a weak tip, combined with the inability of magma to circulate through previously emplaced and crystallised dykes could result in an increase of non-lithostatic pressure on previously emplaced mushy dyke walls; thus generating strong pure-shear compaction within the pluton feeder-zone and interstitial melt expulsion. These compaction-dominated processes are recorded by the cumulitic pyroxenite bands. (C) 2010 Elsevier B.V. All rights reserved.

Expression of Staphylococcus aureus clumping factor A in Lactococcus lactis subsp. cremoris using a new shuttle vector.

Staphylococcus aureus harbors redundant adhesins mediating tissue colonization and infection. To evaluate their intrinsic role outside of the staphylococcal background, a system was designed to express them in Lactococcus lactis subsp. cremoris 1363. This bacterium is devoid of virulence factors and has a known genetic background. A new Escherichia coli-L. lactis shuttle and expression vector was constructed for this purpose. First, the high-copy-number lactococcal plasmid pIL253 was equipped with the oriColE1 origin, generating pOri253 that could replicate in E. coli. Second, the lactococcal promoters P23 or P59 were inserted at one end of the pOri253 multicloning site. Gene expression was assessed by a luciferase reporter system. The plasmid carrying P23 (named pOri23) expressed luciferase constitutively at a level 10,000 times greater than did the P59-containing plasmid. Transcription was absent in E. coli. The staphylococcal clumping factor A (clfA) gene was cloned into pOri23 and used as a model system. Lactococci carrying pOri23-clfA produced an unaltered and functional 130-kDa ClfA protein attached to their cell walls. This was indicated both by the presence of the protein in Western blots of solubilized cell walls and by the ability of ClfA-positive lactococci to clump in the presence of plasma. ClfA-positive lactococci had clumping titers (titer of 4,112) similar to those of S. aureus Newman in soluble fibrinogen and bound equally well to solid-phase fibrinogen. These experiments provide a new way to study individual staphylococcal pathogenic factors and might complement both classical knockout mutagenesis and modern in vivo expression technology and signature tag mutagenesis.

Parental Leave and Mothers' Careers: The Relative Importance of Job Protection and Cash Benefits

Job protection and cash benefits are key elements of parental leave (PL) systems. We study how these two policy instruments affect return-to-work and medium-run labour market outcomes of mothers of newborn children. Analysing a series of major PL policy changes in Austria, we find that longer cash benefits lead to a significant delay in return-to-work, particularly so in the period that is job-protected. Prolonged parental leave absence induced by these policy changes does not appear to hurt mothers' labour market outcomes in the medium run. We build a non-stationary model of job search after childbirth to isolate the role of the two policy instruments. The model matches return-to-work and return to same employer profiles under the various factual policy configurations. Counterfactual policy simulations indicate that a system that combines cash with protection dominates other systems in generating time for care immediately after birth while maintaining mothers' medium-run labour market attachment.