Browsing Faculty of Science and Technology by Title
Now showing items 4131-4150 of 10520
-
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(Peer reviewed; Journal article, 2007-01-18)Diseased Atlantic halibut Hippoglossus hippoglossus juveniles from a hatchery in western Norway showed gill and skin infections with an Ichthyobodo species. Genus Ichthyobodo contains a single valid species, I. necator, ... -
Ichthyobodo infections on farmed and wild fish. Methods for detection and identification of Ichthyobodo spp.
(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
(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
(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 ...