Faculty of Science / Naturvetenskapliga fakulteten: Recent submissions
Visas titlar 341-360 av 836
-
Cubical Intepretations of Type Theory
(2016-11-08)The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, ... -
Exploring the species boundaries in terrestrial clitellates (Annelida: Clitellata)
(2016-10-26)The biological diversity in the soil is much higher than most people can imagine, and a very important group of animals living there are earthworms and other clitellate worms. It has been found that several clitellate ... -
Molecular pathways mediating the development of female germ cells
(2016-10-06)In mice, primordial germ cells (PGCs) dramatically increase in their number from 200 cells at 9.5 dpc to 10 000 cells at 12.5 dpc with doubling time of 12.6 hours. Thus, cell proliferation of PGCs seems a unique compared ... -
Sheaf Semantics in Constructive Algebra and Type Theory
(2016-10-06)In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory. In the ... -
Role of mycorrhiza symbiosis and phosphorus nutrition in plant growth, photosynthesis and secondary metabolism
(2016-09-30)Inorganic phosphorus (Pi) is an important and often limiting nutrient for plants. Large amounts of Pi fertilizers derived from non-renewable rock phosphorus, are used in agriculture. These are applied in excess but crops ... -
Far-infrared conformer-specific signatures of small aromatic molecules of biological importance
(2016)Our understanding of many biological processes requires knowledge about biomolecular structure and weak intra- and intermolecular interactions (e.g. hydrogen bonding). Both molecular structure and weak interactions can ... -
Genetic structuring in natural populations - the influence of life history strategies and asymmetric migration
(2016-09-09)In this thesis I investigate aspects of genetic differentiation and factors influencing the structure of populations. This is done with a special focus on life histories and dispersal strategies common in the marine ... -
Decision making on indoor climate control in historic buildings: knowledge, uncertainty and the science-practice gap
(2016-09-09)Balancing use, preservation and energy use is a fundamental challenge for the whole heritage field. This is put to the point in designing and operating systems for indoor climate control in historic buildings, where competing ... -
Towards Anti-Virulence Antimicrobials, Discovery and Development of Sortase A Inhibitors and Investigations of Bacterial Phenotypes
(2016-09-07)Antibiotic resistance is an emerging and serious threat to public health. Immediate actions are required to preserve current antibiotics while intensifying research efforts towards the development of new effective therapeutics. ... -
Lanthanide-mediated C-F Bond Activation Method Development and Mechanistic Investigation
(2016-08-23)The use of transition-metals and main-group Lewis acids has proven to be an outstanding source for activation and subsequent functionalization of fluorinated compounds. However, the first is mainly limited to C(sp2)–F bonds ... -
Navarsmide - en metodstudie ur ett hantverksperspektiv
(Göteborgs universitet. Institutionen för kulturvård, 2016) -
Microbial Biofilms in the Bioinformatics Era
(2016-05-30)Adverse effects of anthropogenic impact on the environment have become conspicuous in the past century and among others include the gradual increase in the global CO2 levels, the contamination of air, soil and water by ... -
Ion Solvation in Critical Binary Aqueous Solvents Probed by Advanced Synchrotron-Based Techniques
(2016-05-20)The Poisson-Boltzmann equation is the standard tool for studying the electrostatic interactions in electrolyte solutions, although it neglects e.g. the ion size and ion-ion correlations. Even experimentally observed specific ... -
Cellular Responses to Arsenite and Cadmium - Mechanisms of Toxicity and Defense in Saccharomyces cerevisiae
(2016-05-12)All biological systems have to cope with a wide range of metals that are present in the environment. Metals can be essential or beneficial for life, inert or non-essential and toxic, often depending on their chemical form ... -
Methods and Tools for Automating Language Engineering
(2016-05-12)Language-processing software is becoming increasingly present in our society. Making such tools available to the greater number is not just a question of access to technology but also a question of language as they need ... -
Multi-photon microscopy enhanced: Exploring annular beams and gold nano-particles for improved imaging
(2016-05-09)Laser scanning multiphoton microscopy (MPM) has emerged as a powerful tool for non-invasive three-dimensional imaging of biological tissue. The localized focal region enables confocality without the use of a physical pinhole ... -
Rheological response to tectonic and volcanic deformation in Iceland
(2016-05-06)Iceland is one of the few places in the world where a Mid-Oceanic Ridge (MOR) is exposed on land, and this gives good opportunity to study geodynamic processes. Spreading of Mid-Atlantic Ocean Ridge (MAR) segments in Iceland ... -
C. elegans PAQR-2 ‒ A Regulator of Membrane Homeostasis
(2016-04-26)The progestin and adipoQ receptor (PAQR) protein family is characterized by a 7-transmembrane domain, and a topology reversed that of G-protein coupled receptors, i.e. the N-terminus resides in the cytoplasm. Despite the ...