Faculty of Science and Technology
Delarkiv i dette delarkivet
-
Department of Chemistry [594]
-
Department of Earth Science [1273]
-
Department of Informatics [1274]
-
Department of Mathematics [1152]
-
Geophysical Institute [1469]
Samlinger i dette delarkivet
Nye registreringer
-
Fundamentals of Norwegian CS1
(Journal article; Peer reviewed, 2024)The introductory programming course, known as CS1, has evolved considerably since its inception, with diverse opinions on the essential concepts that should be included. This study aims to identify the fundamental concepts ... -
Increasing seasonal variation in the extent of rivers and lakes from 1984 to 2022
(Journal article; Peer reviewed, 2024)Knowledge of the spatial and temporal distribution of surface water is important for water resource management, flood risk assessment, monitoring ecosystem health, constraining estimates of biogeochemical cycles and ... -
Design and performance of ELSA v2.0: an isochronal model for ice-sheet layer tracing
(Journal article; Peer reviewed, 2024)We provide a detailed description of the ice-sheet layer age tracer Englacial Layer Simulation Architecture (ELSA) – a model that uses a straightforward method to simulate the englacial stratification of large ice sheets ... -
EquinorQA: Large Language Models for Question Answering Over Proprietary Data
(Chapter, 2024)Large Language Models (LLMs) have become the state-of-the-art technology in a variety of language understanding tasks. Accordingly, many commercial organizations have been increasingly trying to integrate LLMs in multiple ... -
On the vector subspaces of \(\mathbb {F}_{2^n}\) over which the multiplicative inverse function sums to zero
(Journal article; Peer reviewed, 2024)We study the behavior of the multiplicative inverse function (which plays an important role in cryptography and in the study of finite fields), with respect to a recently introduced generalization of almost perfect ... -
Super domination: Graph classes, products and enumeration
(Journal article; Peer reviewed, 2024)The dominating set problem (DSP) is one of the most famous problems in combinatorial optimization. It is defined as follows. For a given graph G = (V , E), a dominating set of G is a subset S ⊆ V such that every vertex in ... -
Characterising Modal Formulas with Examples
(Journal article; Peer reviewed, 2024)We study the existence of finite characterisations for modal formulas. A finite characterisation of a modal formula φ is a finite collection of positive and negative examples that distinguishes φ from every other, ... -
Optimal Robust Simplifications for Explaining Time Series Classifications
(Journal article; Peer reviewed, 2024)Given a Time Series Classifier (TSC) and three parameters that balance between error, simplicity and robustness, we define an optimization problem over all possible ways of simplifying a given time series ts into straight-line ... -
Arithmetization-oriented APN permutations
(Journal article; Peer reviewed, 2024)Recently, many cryptographic primitives such as homomorphic encryption (HE), multi-party computation (MPC) and zero-knowledge (ZK) protocols have been proposed in the literature which operate on the prime field \({\mathbb ... -
On the Square Root Computation in Liber Abaci and De Practica Geometrie by Fibonacci
(Journal article; Peer reviewed, 2024)We study the square root computation by Leonardo Fibonacci (or Leonardo of Pisa) in his MSS Liber Abaci from c1202 and c1228 and De Practica Geometrie from c1220. In this MSS, Fibonacci systematically describes finding the ... -
Wave Modulation in a Strong Tidal Current and Its Impact on Extreme Waves
(Journal article; Peer reviewed, 2024)Accurate estimates of extreme waves are central for maritime activities, and stochastic wave models are the best option available for practical applications. However, the way currents influence the statistics of space–time ... -
Angle-Agnostic Radio Frequency Sensing Integrated into 5G-NR
(Journal article; Peer reviewed, 2024)The fusion of radio frequency (RF) sensing with cellular communication networks presents a revolutionary paradigm, enabling networks to seamlessly integrate communication and perception capabilities. Leveraging electromagnetic ... -
A hybrid upwind scheme for two-phase flow in fractured porous media
(Journal article; Peer reviewed, 2024)Simulating the flow of two fluid phases in porous media is a challenging task, especially when fractures are included in the simulation. Fractures may have highly heterogeneous properties compared to the surrounding rock ... -
A Survey on Complexity Measures for Pseudo-Random Sequences
(Journal article; Peer reviewed, 2024)Since the introduction of the Kolmogorov complexity of binary sequences in the 1960s, there have been significant advancements on the topic of complexity measures for randomness assessment, which are of fundamental importance ... -
State Canonization and Early Pruning in Width-Based Automated Theorem Proving
(Journal article; Peer reviewed, 2024)Width-based automated theorem proving is a framework where counter-examples for graph theoretic conjectures are searched width-wise relative to some graph width measure, such as treewidth or pathwidth. In a recent work it ... -
The Cumulative Effect of Wintertime Weather Systems on the Ocean Mixed-Layer Stable Isotope Composition in the Iceland and Greenland Seas
(Journal article; Peer reviewed, 2024)The Iceland and Greenland Seas are characterized by strong heat fluxes from the ocean to the atmosphere during wintertime. Here we characterize the atmospheric signal of this strong evaporation in terms of water vapor ... -
Visual Support for the Loop Grafting Workflow on Proteins
(Journal article; Peer reviewed, 2025)In understanding and redesigning the function of proteins in modern biochemistry, protein engineers are increasingly focusing on exploring regions in proteins called loops. Analyzing various characteristics of these regions ... -
NORA-Surge: A storm surge hindcast for the Norwegian Sea, the North Sea and the Barents Sea
(Journal article; Peer reviewed, 2024)Knowledge about statistics for water level variations along the coast due to storm surge is important for the utilization of the coastal zone. An open and freely available storm surge hindcast archive covering the coast ... -
Three Forcing Mechanisms of Freshwater Transport in Fram Strait
(Journal article; Peer reviewed, 2024)Fram Strait is one of the main gateways for fresh water leaving the Arctic Ocean toward the deep-water formation regions of the North Atlantic. Monitoring transport through Fram Strait is important to quantify the impact ... -
Holistic evaluation of the environmental impacts of shipping in the sensitive region of Ria de Aveiro
(Journal article; Peer reviewed, 2024)Shipping activity can be a substantial source of pollution and impact on the environment, including air, water and ecosystems, as well as adverse health and climatic effects. Due to the distribution of maritime transport ...
RSS 2.0