Simula Research Lab

research

∙ 06/08/2020

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

Semantic image segmentation is the process of labeling each pixel of an ...

Debesh Jha, et al. ∙

research

∙ 07/12/2020

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

Shapley values have become increasingly popular in the machine learning ...

Daniel Vidali Fryer, et al. ∙

research

∙ 01/27/2019

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...

Robert Robinson, et al. ∙

research

∙ 12/22/2021

Adversarial Deep Reinforcement Learning for Trustworthy Autonomous Driving Policies

Deep reinforcement learning is widely used to train autonomous cars in a...

Aizaz Sharif, et al. ∙

research

∙ 10/14/2021

DeepOrder: Deep Learning for Test Case Prioritization in Continuous Integration Testing

Continuous integration testing is an important step in the modern softwa...

Aizaz Sharif, et al. ∙

research

∙ 06/06/2021

Few-shot segmentation of medical images based on meta-learning with implicit gradients

Classical supervised methods commonly used often suffer from the require...

Rabindra Khadga, et al. ∙

research

∙ 09/02/2021

Artificial Intelligence in Dry Eye Disease

Dry eye disease (DED) has a prevalence of between 5 and 50%, depending o...

Andrea M. Storås, et al. ∙

research

∙ 07/26/2021

A Comprehensive Study on Colorectal Polyp Segmentation with ResUNet++, Conditional Random Field and Test-Time Augmentation

Colonoscopy is considered the gold standard for detection of colorectal ...

Debesh Jha, et al. ∙

research

∙ 03/31/2021

FANet: A Feedback Attention Network for Improved Biomedical Image Segmentation

With the increase in available large clinical and experimental datasets,...

Nikhil Kumar Tomar, et al. ∙

research

∙ 05/16/2021

MSRF-Net: A Multi-Scale Residual Fusion Network for Biomedical Image Segmentation

Methods based on convolutional neural networks have improved the perform...

Abhishek Srivastava, et al. ∙

research

∙ 12/22/2021

Evaluating the Robustness of Deep Reinforcement Learning for Autonomous and Adversarial Policies in a Multi-agent Urban Driving Environment

Deep reinforcement learning is actively used for training autonomous dri...

Aizaz Sharif, et al. ∙

research

∙ 02/08/2021

Exploiting epistemic uncertainty of the deep learning models to generate adversarial samples

Deep neural network architectures are considered to be robust to random ...

Omer Faruk Tuna, et al. ∙

research

∙ 10/25/2017

Human-level CMR image analysis with deep fully convolutional networks

Cardiovascular magnetic resonance (CMR) imaging is a standard imaging mo...

Wenjia Bai, et al. ∙

research

∙ 10/11/2017

Adaptive multi-penalty regularization based on a generalized Lasso path

For many algorithms, parameter tuning remains a challenging and critical...

Markus Grasmair, et al. ∙

research

∙ 12/01/2013

A Combined Approach for Constraints over Finite Domains and Arrays

Arrays are ubiquitous in the context of software verification. However, ...

Sébastien Bardin, et al. ∙

research

∙ 08/18/2013

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

Floating-point computations are quickly finding their way in the design ...

Roberto Bagnara, et al. ∙

research

∙ 12/21/2017

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

We propose two coded schemes for the distributed computing problem of mu...

Albin Severinson, et al. ∙

research

∙ 10/21/2017

A Closer Look into Mobile Network Speed Measurements

As the demand for mobile connectivity continues to grow, there is a stro...

Cise Midoglu, et al. ∙

research

∙ 01/18/2018

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 ...

Siddhartha Kumar, et al. ∙

research

∙ 01/30/2018

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

We design and implement an efficient parallel approximation algorithm fo...

Ariful Azad, et al. ∙

research

∙ 04/11/2018

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...

Martin Shepperd, et al. ∙

research

∙ 05/21/2018

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

Requirements Engineering (RE) has established itself as a software engin...

Stefan Wagner, et al. ∙

research

∙ 07/23/2018

Joint Offloading and Resource Allocation in Vehicular Edge Computing and Networks

The emergence of computation intensive on-vehicle applications poses a s...

Yueyue Dai, et al. ∙

research

∙ 07/29/2018

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

Over the past years, TCP has gone through numerous updates to provide pe...

Simone Ferlin, et al. ∙

research

∙ 09/04/2018

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

We consider the problem of downloading content from a cellular network w...

Siddhartha Kumar, et al. ∙

research

∙ 09/23/2018

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

Despite recent advances in regularisation theory, the issue of parameter...

Ernesto De Vito, et al. ∙

research

∙ 10/04/2018

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

Recently, Branco da Silva and Silva described an efficient encoding and ...

Siyu Chen, et al. ∙

research

∙ 10/31/2018

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...

Vajira Thambawita, et al. ∙

research

∙ 11/09/2018

Stratified Constructive Disjunction and Negation in Constraint Programming

Constraint Programming (CP) is a powerful declarative programming paradi...

Arnaud Gotlieb, et al. ∙

research

∙ 11/09/2018

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

Testing in Continuous Integration (CI) involves test case prioritization...

Helge Spieker, et al. ∙

research

∙ 12/05/2018

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

Virtual reality 360-degree videos will become the first prosperous onlin...

Huanle Zhang, et al. ∙

research

∙ 01/10/2019

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...

Kashif Ahmad, et al. ∙

research

∙ 01/14/2019

Towards Testing of Deep Learning Systems with Training Set Reduction

Testing the implementation of deep learning systems and their training r...

Helge Spieker, et al. ∙

research

∙ 01/14/2019

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

The analysis of natural disaster-related multimedia content got great at...

Naina Said, et al. ∙

research

∙ 02/24/2019

Nonlinear generalization of the single index model

Single index model is a powerful yet simple model, widely used in statis...

Zeljko Kereta, et al. ∙

research

∙ 03/13/2019

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....

Mithilesh Kumar, et al. ∙

research

∙ 03/29/2019

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...

Zhuang Chen, et al. ∙

research

∙ 06/30/2019

Robust and Resource Efficient Identification of Two Hidden Layer Neural Networks

We address the structure identification and the uniform approximation of...

Massimo Fornasier, et al. ∙

research

∙ 10/07/2019

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 ...

Kashif Ahmad, et al. ∙

research

∙ 11/16/2019

ResUNet++: An Advanced Architecture for Medical Image Segmentation

Accurate computer-aided polyp detection and segmentation during colonosc...

Debesh Jha, et al. ∙

research

∙ 11/16/2019

Kvasir-SEG: A Segmented Polyp Dataset

Pixel-wise image segmentation is a highly demanding task in medical-imag...

Debesh Jha, et al. ∙

research

∙ 12/29/2019

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...

Jérémie Lagravière, et al. ∙

research

∙ 01/15/2020

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...

Karl Erik Holter, et al. ∙

research

∙ 01/17/2020

On the Capacity of Private Monomial Computation

In this work, we consider private monomial computation (PMC) for replica...

Yauhen Yakimenka, et al. ∙

research

∙ 03/04/2020

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...

Matteo Croci, et al. ∙

research

∙ 03/21/2020

Parameter robust preconditioning for multi-compartmental Darcy equations

In this paper, we propose a new finite element solution approach to the ...

Eleonora Piersanti, et al. ∙

research

∙ 03/21/2020

Parameter robust preconditioning by congruence for multiple-network poroelasticity

The mechanical behaviour of a poroelastic medium permeated by multiple i...

Eleonora Piersanti, et al. ∙

research

∙ 06/01/2020

A Survey on Universal Design for Fitness Wearable Devices

Driven by the visions of Internet of Things and 5G communications, recen...

Hongjia Wu, et al. ∙

research

∙ 06/20/2020

Learning Objective Boundaries for Constraint Optimization Problems

Constraint Optimization Problems (COP) are often considered without suff...

Helge Spieker, et al. ∙

research

∙ 07/14/2020

Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI

Trustworthiness is a central requirement for the acceptance and success ...

Mohit Kumar Ahuja, et al. ∙

Simula Research Lab

Featured Researchers