Simula Research Lab

∙ Fornebu , Norway ∙ 0 followers

Spinout companiesSince 2004, Simula has established several spinout companies with growth potential. SI provides a framework to support the creation of companies, including management of IPR, legal assistance, and assistance with grant proposals and attracting funding and investors.

DoubleU-Net: A Deep Convolutional Neural Network for Medical Image Segmentation

Semantic image segmentation is the process of labeling each pixel of an ...
06/08/2020 ∙ by Debesh Jha, et al. ∙ 64 ∙ share

read it
Explaining the data or explaining a model? Shapley values that uncover non-linear dependencies

Shapley values have become increasingly popular in the machine learning ...
07/12/2020 ∙ by Daniel Vidali Fryer, et al. ∙ 52 ∙ share

read it
Automated Quality Control in Image Segmentation: Application to the UK Biobank Cardiac MR Imaging Study

Background: The trend towards large-scale studies including population i...
01/27/2019 ∙ by Robert Robinson, et al. ∙ 38 ∙ share

read it
Human-level CMR image analysis with deep fully convolutional networks

Cardiovascular magnetic resonance (CMR) imaging is a standard imaging mo...
10/25/2017 ∙ by Wenjia Bai, et al. ∙ 0 ∙ share

read it
Adaptive multi-penalty regularization based on a generalized Lasso path

For many algorithms, parameter tuning remains a challenging and critical...
10/11/2017 ∙ by Markus Grasmair, et al. ∙ 0 ∙ share

read it
A Combined Approach for Constraints over Finite Domains and Arrays

Arrays are ubiquitous in the context of software verification. However, ...
12/01/2013 ∙ by Sébastien Bardin, et al. ∙ 0 ∙ share

read it
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version

Floating-point computations are quickly finding their way in the design ...
08/18/2013 ∙ by Roberto Bagnara, et al. ∙ 0 ∙ share

read it
Block-Diagonal and LT Codes for Distributed Computing With Straggling Servers

We propose two coded schemes for the distributed computing problem of mu...
12/21/2017 ∙ by Albin Severinson, et al. ∙ 0 ∙ share

read it
A Closer Look into Mobile Network Speed Measurements

As the demand for mobile connectivity continues to grow, there is a stro...
10/21/2017 ∙ by Cise Midoglu, et al. ∙ 0 ∙ share

read it
Code Constructions for Distributed Storage With Low Repair Bandwidth and Low Repair Complexity

We present the construction of a family of erasure correcting codes for ...
01/18/2018 ∙ by Siddhartha Kumar, et al. ∙ 0 ∙ share

read it
A distributed-memory approximation algorithm for maximum weight perfect bipartite matching

We design and implement an efficient parallel approximation algorithm fo...
01/30/2018 ∙ by Ariful Azad, et al. ∙ 0 ∙ share

read it
An Experimental Evaluation of a De-biasing Intervention for Professional Software Developers

CONTEXT: The role of expert judgement is essential in our quest to impro...
04/11/2018 ∙ by Martin Shepperd, et al. ∙ 0 ∙ share

read it
Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys

Requirements Engineering (RE) has established itself as a software engin...
05/21/2018 ∙ by Stefan Wagner, et al. ∙ 0 ∙ share

read it
Joint Offloading and Resource Allocation in Vehicular Edge Computing and Networks

The emergence of computation intensive on-vehicle applications poses a s...
07/23/2018 ∙ by Yueyue Dai, et al. ∙ 0 ∙ share

read it
MPTCP meets FEC: Supporting Latency-Sensitive Applications over Heterogeneous Networks

Over the past years, TCP has gone through numerous updates to provide pe...
07/29/2018 ∙ by Simone Ferlin, et al. ∙ 0 ∙ share

read it
Private Information Retrieval From a Cellular Network With Caching at the Edge

We consider the problem of downloading content from a cellular network w...
09/04/2018 ∙ by Siddhartha Kumar, et al. ∙ 0 ∙ share

read it
A Learning Theory Approach to a Computationally Efficient Parameter Selection for the Elastic Net

Despite recent advances in regularisation theory, the issue of parameter...
09/23/2018 ∙ by Ernesto De Vito, et al. ∙ 0 ∙ share

read it
Construction D^' Lattices from Quasi-Cyclic Low-Density Parity-Check Codes

Recently, Branco da Silva and Silva described an efficient encoding and ...
10/04/2018 ∙ by Siyu Chen, et al. ∙ 0 ∙ share

read it
The Medico-Task 2018: Disease Detection in the Gastrointestinal Tract using Global Features and Deep Learning

In this paper, we present our approach for the 2018 Medico Task classify...
10/31/2018 ∙ by Vajira Thambawita, et al. ∙ 0 ∙ share

read it
Stratified Constructive Disjunction and Negation in Constraint Programming

Constraint Programming (CP) is a powerful declarative programming paradi...
11/09/2018 ∙ by Arnaud Gotlieb, et al. ∙ 0 ∙ share

read it
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration

Testing in Continuous Integration (CI) involves test case prioritization...
11/09/2018 ∙ by Helge Spieker, et al. ∙ 0 ∙ share

read it
Wireless Access to Ultimate Virtual Reality 360-Degree Video At Home

Virtual reality 360-degree videos will become the first prosperous onlin...
12/05/2018 ∙ by Huanle Zhang, et al. ∙ 0 ∙ share

read it
Automatic detection of passable roads after floods in remote sensed and social media data

This paper addresses the problem of floods classification and floods aft...
01/10/2019 ∙ by Kashif Ahmad, et al. ∙ 0 ∙ share

read it
Towards Testing of Deep Learning Systems with Training Set Reduction

Testing the implementation of deep learning systems and their training r...
01/14/2019 ∙ by Helge Spieker, et al. ∙ 0 ∙ share

read it
Natural Disasters Detection in Social Media and Satellite imagery: a survey

The analysis of natural disaster-related multimedia content got great at...
01/14/2019 ∙ by Naina Said, et al. ∙ 0 ∙ share

read it
Nonlinear generalization of the single index model

Single index model is a powerful yet simple model, widely used in statis...
02/24/2019 ∙ by Zeljko Kereta, et al. ∙ 0 ∙ share

read it
2-CLUB is NP-hard for distance to 2-club cluster graphs

We show that 2-CLUB is NP-hard for distance to 2-club cluster graphs....
03/13/2019 ∙ by Mithilesh Kumar, et al. ∙ 0 ∙ share

read it
A Study on the Characteristics of Douyin Short Videos and Implications for Edge Caching

Douyin, internationally known as TikTok, has become one of the most succ...
03/29/2019 ∙ by Zhuang Chen, et al. ∙ 0 ∙ share

read it
Robust and Resource Efficient Identification of Two Hidden Layer Neural Networks

We address the structure identification and the uniform approximation of...
06/30/2019 ∙ by Massimo Fornasier, et al. ∙ 0 ∙ share

read it
Multi-Modal Machine Learning for Flood Detection in News, Social Media and Satellite Sequences

In this paper we present our methods for the MediaEval 2019 Mul-timedia ...
10/07/2019 ∙ by Kashif Ahmad, et al. ∙ 0 ∙ share

read it
ResUNet++: An Advanced Architecture for Medical Image Segmentation

Accurate computer-aided polyp detection and segmentation during colonosc...
11/16/2019 ∙ by Debesh Jha, et al. ∙ 0 ∙ share

read it
Kvasir-SEG: A Segmented Polyp Dataset

Pixel-wise image segmentation is a highly demanding task in medical-imag...
11/16/2019 ∙ by Debesh Jha, et al. ∙ 0 ∙ share

read it
On the Performance and Energy Efficiency of the PGAS Programming Model on Multicore Architectures

Using large-scale multicore systems to get the maximum performance and e...
12/29/2019 ∙ by Jérémie Lagravière, et al. ∙ 0 ∙ share

read it
Robust preconditioning for coupled Stokes-Darcy problems with the Darcy problem in primal form

The coupled Darcy-Stokes problem is widely used for modeling fluid trans...
01/15/2020 ∙ by Karl Erik Holter, et al. ∙ 0 ∙ share

read it
On the Capacity of Private Monomial Computation

In this work, we consider private monomial computation (PMC) for replica...
01/17/2020 ∙ by Yauhen Yakimenka, et al. ∙ 0 ∙ share

read it
Fast uncertainty quantification of tracer distribution in the brain interstitial fluid with multilevel and quasi Monte Carlo

Mathematical models in biology involve many parameters that are uncertai...
03/04/2020 ∙ by Matteo Croci, et al. ∙ 0 ∙ share

read it
Parameter robust preconditioning for multi-compartmental Darcy equations

In this paper, we propose a new finite element solution approach to the ...
03/21/2020 ∙ by Eleonora Piersanti, et al. ∙ 0 ∙ share

read it
Parameter robust preconditioning by congruence for multiple-network poroelasticity

The mechanical behaviour of a poroelastic medium permeated by multiple i...
03/21/2020 ∙ by Eleonora Piersanti, et al. ∙ 0 ∙ share

read it
A Survey on Universal Design for Fitness Wearable Devices

Driven by the visions of Internet of Things and 5G communications, recen...
06/01/2020 ∙ by Hongjia Wu, et al. ∙ 0 ∙ share

read it
Learning Objective Boundaries for Constraint Optimization Problems

Constraint Optimization Problems (COP) are often considered without suff...
06/20/2020 ∙ by Helge Spieker, et al. ∙ 0 ∙ share

read it
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI

Trustworthiness is a central requirement for the acceptance and success ...
07/14/2020 ∙ by Mohit Kumar Ahuja, et al. ∙ 0 ∙ share

read it
Characterization and Identification of Cloudified Mobile Network Performance Bottlenecks

This study is a first attempt to experimentally explore the range of per...
07/22/2020 ∙ by G. Patounas, et al. ∙ 0 ∙ share

read it
Dense Small Satellite Networks for Modern Terrestrial Communication Systems: Benefits, Infrastructure, and Technologies

Dense small satellite networks (DSSN) in low earth orbits (LEO) can bene...
07/30/2020 ∙ by Naveed UL Hassan, et al. ∙ 0 ∙ share

read it

Simula Research Lab

Featured Researchers