A new disruption vector (pDHO) to obtain heterothallic strains from both Saccharomyces cerevisiae and Saccharomyces pastorianus

Yeasts are responsible for several traits in fermented beverages, including wine and beer, and their genetic manipulation is often necessary to improve the quality of the fermentation product. Improvement of wild-type strains of Saccharomyces cerevisiae and Saccharomyces pastorianus is difficult due to their homothallic character and variable ploidy level. Homothallism is determined by the HO gene in S. cerevisiae and the Sc-HO gene in S. pastorianus. In this work, we describe the construction of an HO disruption vector (pDHO) containing an HO disruption cassette and discuss its use in generating heterothallic yeast strains from homothallic Saccharomyces species.

Division of labor in insect societies : genetic components and physiological regulation

The shift from solitary to social organisms constitutes one of the major transitions in evolution. The highest level of sociality is found in social insects (ants, termites and some species of bees and wasps). Division of labor is central to the organization of insect societies and is thought to be at the root of their ecological success. There are two main levels of division of labor in social insect colonies. The first relates to reproduction and involves the coexistence of queen and worker castes: while reproduction is usually monopolized by one or several queens, functionally sterile workers perform all the tasks to maintain the colony, such as nest building, foraging or brood care. The second level of division of labor, relating to such non-reproductive duties, is characterized by the performance of different tasks or roles by different groups of workers. This PhD aims to better understand the mechanisms underlying division of labor in insect societies, by investigating how genes and physiology influence caste determination and worker behavior in ants. In the first axis of this PhD, we studied the nature of genetic effects on division of labor. We used the Argentine ant Linepithema humile to conduct controlled crosses in the laboratory, which revealed the existence of non-additive genetic effects, such as parent-of-origin and genetic compatibility effects, on caste determination and worker behavior. In the second axis, we focused on the physiological regulation of division of labor. Using Pogonomyrmex seed- harvester ants, we performed experimental manipulation of hibernation, hormonal treatments, gene expression analyses and protein quantification to identify the physiological pathways regulating maternal effects on caste determination. Finally, comparing gene expression between nurses and foragers allowed us to reveal the association between vitellogenin and worker behavior in Pogonomyrmex ants. This PhD provides important insights into the role of genes and physiology in the regulation of division of labor in social insect colonies, helping to better understand the organization, evolution and ecological success of insect societies. - L'une des principales transitions évolutives est le passage de la vie solitaire à la vie sociale. La socialité atteint son paroxysme chez les insectes sociaux que sont les fourmis, les termites et certaines espèces d'abeilles et de guêpes. La division du travail est la clé de voûte de l'organisation de ces sociétés d'insectes et la raison principale de leur succès écologique. La division du travail s'effectue à deux niveaux dans les colonies d'insectes sociaux. Le premier niveau concerne la reproduction et implique la coexistence de deux castes : les reines et les ouvrières. Tandis que la reproduction est le plus souvent monopolisée par une ou plusieurs reines, les ouvrières stériles effectuent les tâches nécessaires au bon fonctionnement de la colonie, telles que la construction du nid, la recherche de nourriture ou le soin au couvain. Le second niveau de division du travail, qui concerne les tâches autres que la reproduction, implique la réalisation de différents travaux par différents groupes d'ouvrières. Le but de ce doctorat est de mieux comprendre les mécanismes sous-jacents de la division du travail dans les sociétés d'insectes en étudiant comment les gènes et la physiologie influencent la détermination de la caste et le comportement des ouvrières chez les fourmis. Dans le premier axe de ce doctorat, nous avons étudié la nature des influences génétiques sur la division du travail. Nous avons utilisé la fourmi d'Argentine, Linepithema humile, pour effectuer des croisements contrôlés en laboratoire. Cette méthode nous a permis de révéler l'existence d'influences génétiques non additives, telles que des influences dépendantes de l'origine parentale ou des effets de compatibilité génétique, sur la détermination de la caste et le comportement des ouvrières. Dans le second axe, nous nous sommes intéressés à la régulation physiologique de la division du travail. Nous avons utilisé des fourmis moissonneuses du genre Pogonomyrmex pour effectuer des hibernations artificieHes, des traitements hormonaux, des analyses d'expression de gènes et des mesures de vitellogénine, ce qui nous a permis d'identifier les mécanismes physiologiques régulant les effets maternels sur la détermination de la caste. Enfin, la comparaison d'expression de gènes entre nourrices et fourrageuses suggère un rôle de la vitellogénine dans la régulation du comportement des ouvrières chez les fourmis moissonneuses. En détaillant les influences des gènes et de la physiologie dans la régulation de la division du travail dans les colonies d'insectes sociaux, ce doctorat fournit d'importantes informations permettant de mieux comprendre l'organisation, l'évolution et le succès écologique des sociétés d'insectes.

A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Solution scanning as a key policy tool: identifying management interventions to help maintain and enhance regulating ecosystem services

The major task of policy makers and practitioners when confronted with a resource management problem is to decide on the potential solution(s) to adopt from a range of available options. However, this process is unlikely to be successful and cost effective without access to an independently verified and comprehensive available list of options. There is currently burgeoning interest in ecosystem services and quantitative assessments of their importance and value. Recognition of the value of ecosystem services to human well-being represents an increasingly important argument for protecting and restoring the natural environment, alongside the moral and ethical justifications for conservation. As well as understanding the benefits of ecosystem services, it is also important to synthesize the practical interventions that are capable of maintaining and/or enhancing these services. Apart from pest regulation, pollination, and global climate regulation, this type of exercise has attracted relatively little attention. Through a systematic consultation exercise, we identify a candidate list of 296 possible interventions across the main regulating services of air quality regulation, climate regulation, water flow regulation, erosion regulation, water purification and waste treatment, disease regulation, pest regulation, pollination and natural hazard regulation. The range of interventions differs greatly between habitats and services depending upon the ease of manipulation and the level of research intensity. Some interventions have the potential to deliver benefits across a range of regulating services, especially those that reduce soil loss and maintain forest cover. Synthesis and applications: Solution scanning is important for questioning existing knowledge and identifying the range of options available to researchers and practitioners, as well as serving as the necessary basis for assessing cost effectiveness and guiding implementation strategies. We recommend that it become a routine part of decision making in all environmental policy areas.

Theta-duality on Prym varieties and a Torelli Theorem

Let $\pi : \widetilde C \to C$ be an unramified double covering of irreducible smooth curves and let $P$ be the attached Prym variety. We prove the scheme-theoretic theta-dual equalities in the Prym variety $T(\widetilde C)=V^2$ and $T(V^2)=\widetilde C$, where $V^2$ is the Brill-Noether locus of $P$ associated to $\pi$ considered by Welters. As an application we prove a Torelli theorem analogous to the fact that the symmetric product $D^{(g)}$ of a curve $D$ of genus $g$ determines the curve.

Characterization and drying of caja bagasse (Spondias mombin L.) in a tray dryer using a factorial planning

The caja (Spondias mombin L.) is used in the manufacture of ice-cream, jams, pulps, beverages being also consumed in natura. One of the most important procedures in food conservation is drying, considering that most fresh fruits contain approximately 80% of water. Food drying is used to obtain two basic aspects: (1) the economic factor; in the shipping and handling of the product; (2) at the manipulation; once dried and grinded, the material is rehydrated, at desirable levels, to formulate a new product as in ice cream, jams, yoghurts and drinks and may also be added to pasta, biscuits and other industrialized products. The aim of this study was to investigate the kinetics of caja bagasse drying in a fixed-bed tray dryer, using central composite factorial planning. The following factors were evaluated: temperature (55, 65 and 75 ºC), dryer inlet air velocity (3.2, 4.6 and 6.0 m.s-1) and cake thickness (0.8, 1.2 and 1.6 cm) where the response of the considered variable was caja bagasse moisture content (b.s.) and the results showed that the main effects and their interactions were significant at a 95% confidence level being the best condition obtained at temperature of 75 ºC, velocity of 6.0 m.s-1 and cake thickness of 0.8 cm.

The Reality of Neandertal Symbolic Behavior at the Grotte du Renne, Arcy-sur-Cure, France

The question of whether symbolically mediated behavior is exclusive to modern humans or shared with anatomically archaic populations such as the Neandertals is hotly debated. At the Grotte du Renne, Arcy-sur-Cure, France, the Châtelperronian levels contain Neandertal remains and large numbers of personal ornaments, decorated bone tools and colorants, but it has been suggested that this association reflects intrusion of the symbolic artifacts from the overlying Protoaurignacian and/or of the Neandertal remains from the underlying Mousterian.

Monoidal functors, acyclic models and chain operads

We prove that for a topological operad $P$ the operad of oriented cubical singular chains, $C^{\ord}_\ast(P)$, and the operad of simplicial singular chains, $S_\ast(P)$, are weakly equivalent. As a consequence, $C^{\ord}_\ast(P\nsemi\mathbb{Q})$ is formal if and only if $S_\ast(P\nsemi\mathbb{Q})$ is formal, thus linking together some formality results which are spread out in the literature. The proof is based on an acyclic models theorem for monoidal functors. We give different variants of the acyclic models theorem and apply the contravariant case to study the cohomology theories for simplicial sets defined by $R$-simplicial differential graded algebras.

'And the best essay is...' : Extended contact and cross-group friendships at school

We conducted one experimental intervention based on extended contact principles aimed at fostering the formation of cross-group friendships within educational settings. Italian school children took part in a school competition for the best essay on personal experiences of cross-group friendships with immigrants, to be written in small groups. This manipulation was intended to favour the exchange of personal positive cross-group experiences, thus capitalizing on the benefits of extended contact. In the control condition, participants wrote an essay on friendship, without reference to cross-group relations. Results revealed that children who took part in the intervention reported a higher number of outgroup friends 3 months later. This indirect effect was sequentially mediated by pro-contact ingroup and outgroup norms and by outgroup contact behavioural intentions. This study provides experimental evidence that interventions based on extended contact can foster cross-group friendship formation. Theoretical and practical implications of the findings are discussed.

A digital holography technique for generating beams with arbitrary polarization and shape

A method for generating beams with arbitrary polarization and shape is proposed. Our design requires the use of a Mach-Zehnder set-up combined with translucent liquid crystal displays in each arm of the interferometer; in this way, independent manipulation of each transverse beam components is possible. The target of this communication is to develop a numerical procedure for calculating the holograms required for dynamically encode any amplitude value and polarization state in each point of the wavefront. Several examples demonstrating the capabilities of the method are provided.

Stable eusociality via maternal manipulation when resistance is costless.

In many eusocial species, queens use pheromones to influence offspring to express worker phenotypes. Although evidence suggests that queen pheromones are honest signals of the queen's reproductive health, here I show that queen's honest signalling can result from ancestral maternal manipulation. I develop a mathematical model to study the coevolution of maternal manipulation, offspring resistance to manipulation and maternal resource allocation. I assume that (i) maternal manipulation causes offspring to be workers against offspring's interests; (ii) offspring can resist at no direct cost, as is thought to be the case with pheromonal manipulation; and (iii) the mother chooses how much resource to allocate to fertility and maternal care. In the coevolution of these traits, I find that maternal care decreases, thereby increasing the benefit that offspring obtain from help, which in the long run eliminates selection for resistance. Consequently, ancestral maternal manipulation yields stable eusociality despite costless resistance. Additionally, ancestral manipulation in the long run becomes honest signalling that induces offspring to help. These results indicate that both eusociality and its commonly associated queen honest signalling can be likely to originate from ancestral manipulation.

Diagnostic methods and treatment options for focal cortical dysplasia.

Our inability to adequately treat many patients with refractory epilepsy caused by focal cortical dysplasia (FCD), surgical inaccessibility and failures are significant clinical drawbacks. The targeting of physiologic features of epileptogenesis in FCD and colocalizing functionality has enhanced completeness of surgical resection, the main determinant of outcome. Electroencephalography (EEG)-functional magnetic resonance imaging (fMRI) and magnetoencephalography are helpful in guiding electrode implantation and surgical treatment, and high-frequency oscillations help defining the extent of the epileptogenic dysplasia. Ultra high-field MRI has a role in understanding the laminar organization of the cortex, and fluorodeoxyglucose-positron emission tomography (FDG-PET) is highly sensitive for detecting FCD in MRI-negative cases. Multimodal imaging is clinically valuable, either by improving the rate of postoperative seizure freedom or by reducing postoperative deficits. However, there is no level 1 evidence that it improves outcomes. Proof for a specific effect of antiepileptic drugs (AEDs) in FCD is lacking. Pathogenic mutations recently described in mammalian target of rapamycin (mTOR) genes in FCD have yielded important insights into novel treatment options with mTOR inhibitors, which might represent an example of personalized treatment of epilepsy based on the known mechanisms of disease. The ketogenic diet (KD) has been demonstrated to be particularly effective in children with epilepsy caused by structural abnormalities, especially FCD. It attenuates epigenetic chromatin modifications, a master regulator for gene expression and functional adaptation of the cell, thereby modifying disease progression. This could imply lasting benefit of dietary manipulation. Neurostimulation techniques have produced variable clinical outcomes in FCD. In widespread dysplasias, vagus nerve stimulation (VNS) has achieved responder rates >50%; however, the efficacy of noninvasive cranial nerve stimulation modalities such as transcutaneous VNS (tVNS) and noninvasive (nVNS) requires further study. Although review of current strategies underscores the serious shortcomings of treatment-resistant cases, initial evidence from novel approaches suggests that future success is possible.

Sex ratio bias, male aggression, and population collapse in lizards.

The adult sex ratio (ASR) is a key parameter of the demography of human and other animal populations, yet the causes of variation in ASR, how individuals respond to this variation, and how their response feeds back into population dynamics remain poorly understood. A prevalent hypothesis is that ASR is regulated by intrasexual competition, which would cause more mortality or emigration in the sex of increasing frequency. Our experimental manipulation of populations of the common lizard (Lacerta vivipara) shows the opposite effect. Male mortality and emigration are not higher under male-biased ASR. Rather, an excess of adult males begets aggression toward adult females, whose survival and fecundity drop, along with their emigration rate. The ensuing prediction that adult male skew should be amplified and total population size should decline is supported by long-term data. Numerical projections show that this amplifying effect causes a major risk of population extinction. In general, such an "evolutionary trap" toward extinction threatens populations in which there is a substantial mating cost for females, and environmental changes or management practices skew the ASR toward males.

Sex- and melanism-specific variations in the oxidative status of adult tawny owls in response to manipulated reproductive effort.

Oxidative stress, determined by the balance between the production of damaging reactive oxygen species (ROS) and antioxidant defences, is hypothesized to play an important role in shaping the cost of reproduction and life history trade-offs. To test this hypothesis, we manipulated reproductive effort in 94 breeding pairs of tawny owls (Strix aluco) to investigate the sex- and melanism-specific effects on markers of oxidative stress in red blood cells (RBCs). This colour polymorphic bird species shows sex-specific division of labour and melanism-specific history strategies. Brood sizes at hatching were experimentally enlarged or reduced to increase or decrease reproductive effort, respectively. We obtained an integrative measure of the oxidative balance by measuring ROS production by RBCs, intracellular antioxidant glutathione levels and membrane resistance to ROS. We found that light melanic males (the sex undertaking offspring food provisioning) produced more ROS than darker conspecifics, but only when rearing an enlarged brood. In both sexes, light melanic individuals had also a larger pool of intracellular antioxidant glutathione than darker owls under relaxed reproductive conditions (i.e. reduced brood), but not when investing substantial effort in current reproduction (enlarged brood). Finally, resistance to oxidative stress was differently affected by the brood size manipulation experiment in males and females independently of their plumage coloration. Altogether, our results support the hypothesis that reproductive effort can alter the oxidative balance in a sex- and colour-specific way. This further emphasizes the close link between melanin-based coloration and life history strategies.