Blar i Faculty of Mathematics and Natural Sciences på tittel

Viser treff 4046-4065 av 10318

    • I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking 

      Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker (Journal article; Peer reviewed, 2022)
      Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ...

    • Ice and brine production in Hornsund 

      Arntsen, Martin (Master thesis, 2015-06-02)
      The Hornsund fjord system has been studied using observations of the atmosphere, ocean and sea ice, and two different types of models. The study documents significant year to year variability in sea ice formation and brine ...

    • The ice front as a topographic barrier for ocean heat transport 

      Steiger, Nadine (Doctoral thesis, 2021-06-28)
      Antarctic ice shelves are the link between the Southern Ocean and the Antarctic Ice Sheet. The floating ice shelves restrain the seaward flow of the grounded ice, which is balanced by iceberg calving and ocean-induced basal ...

    • Ice Motion Across Deep Fjords 

      Barndon, Sjur (Master thesis, 2024-06-03)
      The behaviour of ice crossing deep subglacial valleys has not been studied in detail, and this has important consequences for ice sheet modelling. In Western Norway striation markings left by the Scandinavian Ice Sheet ...

    • Ice sheets, oceanic circulation & sea surface conditions: the NW European margin during the last 35,000 years 

      Becker, Lukas (Doctoral thesis, 2018-04-20)
      The north-western European continental margin provides a key area for detailed investigations of changes within the inflow of Atlantic warm surface currents, fluctuations in continental ice sheets and the corresponding ...

    • Ice shelf water overflow and bottom water formation in the southern Weddell Sea 

      Foldvik, Arne; Gammelsrød, Tor; Østerhus, Svein; Fahrbach, E.; Rohardt, G.; Schröder, Michael; Nicholls, Keith W.; Padman, L.; Woodgate, R. A. (Peer reviewed; Journal article, 2004-02-17)
      Cold shelf waters flowing out of the Filchner Depression in the southern Weddell Sea make a significant contribution to the production of Weddell Sea Bottom Water (WSBW), a precursor to Antarctic Bottom Water (AABW). We ...

    • Ice Thickness and Bed Elevation of the Northern and Southern Patagonian Icefields 

      Millan, Romain; Rignot, Eric; Rivera, A; Martineau, Vincent; Mouginot, Jérémie; Zamora, Rodrigo; Uribe, Jose; Lenzano, G; de Fleurian, Basile; Li, Xin; Gim, Yonggyu; Kirchner, Donald L. (Peer reviewed; Journal article, 2019)
      The Northern and Southern Patagonian Icefields are the largest ice masses in the Southern Hemisphere outside Antarctica, but their ice volume and bed topography are poorly known. Here, we combine airborne gravity data ...

    • Ice-algal carbon supports harp and ringed seal diets in the European Arctic: evidence from fatty acid and stable isotope markers 

      Kunisch, Erin; Graeve, Martin; Gradinger, Rolf; Haug, Tore; Kovacs, Kit M.; Lydersen, Christian; Varpe, Øystein Heggernes; Bluhm, Bodil (Journal article; Peer reviewed, 2021)
      Sea-ice declines in the European Arctic have led to substantial changes in marine food webs. To better understand the biological implications of these changes, we quantified the contributions of ice-associated and pelagic ...

    • Ice-dammed lakes and deglaciation history of the Scandinavian Ice Sheet in central Jämtland, Sweden 

      Regnéll, Carl; Peterson Becher, Gustaf; Öhrling, Christian; Greenwood, Sarah L.; Gyllencreutz, Richard; Blomdin, Robin; Brendryen, Jo; Goodfellow, Bradley W.; Mikko, Henrik; Ransed, Gunnel; Smith, Colby (Journal article; Peer reviewed, 2023)
      Extensive glacial lakes dammed in the Scandinavian Mountains during the retreat of the last Scandinavian Ice Sheet were first hypothesised over a century ago. Here, using high-resolution LiDAR, we report >4500 relict ...

    • Ice-flow patterns and precise timing of ice sheet retreat across a dissected fjord landscape in western Norway 

      Mangerud, Jan; Hughes, Anna L.C.; Sæle, Tone Herfindal; Svendsen, John-Inge (Peer reviewed; Journal article, 2019-06)
      We reconstruct patterns of ice flow and retreat of the southwestern Scandinavian Ice Sheet, from 2900 field observations of glacial striae and elevation measurements of 60 ice-marginal-deltas from a high-resolution LiDAR ...

    • Ice-flow patterns in Boknafjorden and the deglaciations history of the Espedalen-Høgsfjorden region in Forsand, Rogaland 

      Tuestad, Talin (Master thesis, 2019-06-26)
      Over 1000 glacial striation observations have been collected from various published and unpublished sources and compiled in a GIS striations database for Rogaland. An interpretation of the major flow sets represented by ...

    • Ice-sheet dynamics and glacial development of the Norwegian continental margin during the last 3 million years 

      Ottesen, Dag (Doctoral thesis, 2007-06-29)
      This thesis is mainly about the dynamics of the palaeo-ice sheets that covered Scandinavia, Barents Sea and Svalbard during the last glaciation. Morphological interpretation of regional and detailed bathymetric data sets ...

    • Ice-stream dynamics of the SW Barents Sea revealed by high-resolution 3D seismic imaging of glacial deposits in the Hoop area 

      Bellwald, Benjamin; Planke, Sverre; Piasecka, Emilia Daria; Matar, M.A.; Andreassen, Karin (Peer reviewed; Journal article, 2018-03-01)
      Recent developments in seismic acquisition systems and seismic data visualization have contributed to improve the imaging of seismic geomorphologies over a broad range of topics. This study focuses on a new high-resolution ...

    • The Iceland Greenland seas project 

      Renfrew, Ian Alasdair; Pickart, RS; Våge, Kjetil; Moore, GWK; Bracegirdle, TJ; Elvidge, AD; Jeansson, Emil; Lachlan-Cope, T; McRaven, LT; Papritz, L; Reuder, Joachim; Sodemann, Harald; Terpstra, Annick; Waterman, S; Valdimarsson, H; Weiss, A; Almansi, M; Bahr, F; Brakstad, Ailin; Barrell, C; Brooke, JK; Brooks, BJ; Brooks, IM; Brooks, ME; Bruvik, Erik Magnus; Duscha, Christiane; Fer, Ilker; Golid, Heidi M.; Hallerstig, Matilda; Hessevik, Idar; Huang, J; Houghton, L; Jonsson, S; Jonassen, Marius Opsanger; Jackson, Kristin; Kvalsund, Karsten; Kolstad, Erik Wilhelm; Konstali, Kjersti; Kristiansen, Jørn; Ladkin, R; Lin, P; MacRander, A; Mitchell, A; Olafsson, H; Pacini, A; Payne, C; Palmason, B; Perez-Hernandez, MD; Peterson, Algot Kristoffer; Petersen, GN; Pisareva, MN; Pope, JO; Seidl, Andrew; Semper, Stefanie; Sergeev, D; Skjelsvik, Silje; Søiland, Henrik; Smith, D; Spall, MA; Spengler, Thomas; Touzeau, Alexandra; Tupper, G; Weng, Yongbiao; Williams, KD; Yang, X; Zhou, Shenjie (Peer reviewed; Journal article, 2019)
      The Iceland Greenland Seas Project (IGP) is a coordinated atmosphere–ocean research program investigating climate processes in the source region of the densest waters of the Atlantic meridional overturning circulation. ...

    • The Iceland-Faroe Slope Jet: a conduit for dense water toward the Faroe Bank Channel overflow 

      Semper, Stefanie; Pickart, Robert S.; Våge, Kjetil; Larsen, Karin Margretha H.; Hátún, Hjálmar; Hansen, Bogi (Journal article; Peer reviewed, 2020)
      Dense water from the Nordic Seas passes through the Faroe Bank Channel and supplies the lower limb of the Atlantic Meridional Overturning Circulation, a critical component of the climate system. Yet, the upstream pathways ...

    • The Iceland–Faroe inflow of Atlantic water to the Nordic Seas 

      Hansen, Bogi; Østerhus, Svein; Hátún, Hjalmar; Kristiansen, Regin; Larsen, Karin Margretha Húsgarð (Peer reviewed; Journal article, 2003-12)
      The flow of Atlantic water between Iceland and the Faroe Islands is one of three current branches flowing from the Atlantic Ocean into the Nordic Seas across the Greenland–Scotland Ridge. By the heat that it carries along, ...

    • Ichthyobodo hippoglossin. sp. (Kinetoplastea: Prokinetoplastida: Ichthyobodonidae fam. nov.), an ectoparasitic flagellate infecting farmed Atlantic halibut Hippoglossus hippoglossus 

      Isaksen, Trond Einar; Karlsbakk, Egil; Nylund, Are (Peer reviewed; Journal article, 2007-01-18)
      Diseased Atlantic halibut Hippoglossus hippoglossus juveniles from a hatchery in west­ern Norway showed gill and skin infections with an Ichthyobodo species. Genus Ichthyobodo con­tains a single valid species, I. necator, ...

    • Ichthyobodo infections on farmed and wild fish. Methods for detection and identification of Ichthyobodo spp. 

      Isaksen, Trond Einar (Doctoral thesis, 2013-03-01)
      Ichthyobodosis is an important parasitic disease that has caused severe loss among ornamental and farmed fish world wide for more than a century. The disease is caused by heavy infections on skin and gills by parasitic ...

    • IDEAcology: An interface to streamline and facilitate efficient, rigorous expert elicitation in ecology 

      Courtney Jones, Stephanie K.; Geange, Sonya Rita; Hanea, Anca; Camac, James; Hemming, Victoria; Doobov, Ben; Leigh, Andrea; Nicotra, Adrienne B. (Journal article; Peer reviewed, 2023)
      Here, we demonstrate how IDEAcology aids in preparing for and implementing a structured expert elicitation using the IDEA protocol, an iterative quantitative expert elicitation framework. Expert judgement is used to inform ...

    • Idealized Modeling of the North Icelandic Jet 

      Moe, Thorbjørn Østenby (Master thesis, 2023-06-01)
      The North Icelandic Jet (NIJ) is a crucial component of the lower limb of the Atlantic Meridional Overturning Circulation, supplying one-third to one-half of the overflow water transport through Denmark Strait, including ...