
DoubleUNet: A Deep Convolutional Neural Network for Medical Image Segmentation
Semantic image segmentation is the process of labeling each pixel of an ...
read it

Explaining the data or explaining a model? Shapley values that uncover nonlinear dependencies
Shapley values have become increasingly popular in the machine learning ...
read it

Automated Quality Control in Image Segmentation: Application to the UK Biobank Cardiac MR Imaging Study
Background: The trend towards largescale studies including population i...
read it

Humanlevel CMR image analysis with deep fully convolutional networks
Cardiovascular magnetic resonance (CMR) imaging is a standard imaging mo...
read it

Adaptive multipenalty regularization based on a generalized Lasso path
For many algorithms, parameter tuning remains a challenging and critical...
read it

A Combined Approach for Constraints over Finite Domains and Arrays
Arrays are ubiquitous in the context of software verification. However, ...
read it

Exploiting Binary FloatingPoint Representations for Constraint Propagation: The Complete Unabridged Version
Floatingpoint computations are quickly finding their way in the design ...
read it

BlockDiagonal and LT Codes for Distributed Computing With Straggling Servers
We propose two coded schemes for the distributed computing problem of mu...
read it

A Closer Look into Mobile Network Speed Measurements
As the demand for mobile connectivity continues to grow, there is a stro...
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 ...
read it

A distributedmemory approximation algorithm for maximum weight perfect bipartite matching
We design and implement an efficient parallel approximation algorithm fo...
read it

An Experimental Evaluation of a Debiasing Intervention for Professional Software Developers
CONTEXT: The role of expert judgement is essential in our quest to impro...
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...
read it

Joint Offloading and Resource Allocation in Vehicular Edge Computing and Networks
The emergence of computation intensive onvehicle applications poses a s...
read it

MPTCP meets FEC: Supporting LatencySensitive Applications over Heterogeneous Networks
Over the past years, TCP has gone through numerous updates to provide pe...
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...
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...
read it

Construction D^' Lattices from QuasiCyclic LowDensity ParityCheck Codes
Recently, Branco da Silva and Silva described an efficient encoding and ...
read it

The MedicoTask 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...
read it

Stratified Constructive Disjunction and Negation in Constraint Programming
Constraint Programming (CP) is a powerful declarative programming paradi...
read it

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Testing in Continuous Integration (CI) involves test case prioritization...
read it

Wireless Access to Ultimate Virtual Reality 360Degree Video At Home
Virtual reality 360degree videos will become the first prosperous onlin...
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...
read it

Towards Testing of Deep Learning Systems with Training Set Reduction
Testing the implementation of deep learning systems and their training r...
read it

Natural Disasters Detection in Social Media and Satellite imagery: a survey
The analysis of natural disasterrelated multimedia content got great at...
read it

Nonlinear generalization of the single index model
Single index model is a powerful yet simple model, widely used in statis...
read it

2CLUB is NPhard for distance to 2club cluster graphs
We show that 2CLUB is NPhard for distance to 2club cluster graphs....
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...
read it

Robust and Resource Efficient Identification of Two Hidden Layer Neural Networks
We address the structure identification and the uniform approximation of...
read it

MultiModal Machine Learning for Flood Detection in News, Social Media and Satellite Sequences
In this paper we present our methods for the MediaEval 2019 Multimedia ...
read it

ResUNet++: An Advanced Architecture for Medical Image Segmentation
Accurate computeraided polyp detection and segmentation during colonosc...
read it

KvasirSEG: A Segmented Polyp Dataset
Pixelwise image segmentation is a highly demanding task in medicalimag...
read it

On the Performance and Energy Efficiency of the PGAS Programming Model on Multicore Architectures
Using largescale multicore systems to get the maximum performance and e...
read it

Robust preconditioning for coupled StokesDarcy problems with the Darcy problem in primal form
The coupled DarcyStokes problem is widely used for modeling fluid trans...
read it

On the Capacity of Private Monomial Computation
In this work, we consider private monomial computation (PMC) for replica...
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...
read it

Parameter robust preconditioning for multicompartmental Darcy equations
In this paper, we propose a new finite element solution approach to the ...
read it

Parameter robust preconditioning by congruence for multiplenetwork poroelasticity
The mechanical behaviour of a poroelastic medium permeated by multiple i...
read it

A Survey on Universal Design for Fitness Wearable Devices
Driven by the visions of Internet of Things and 5G communications, recen...
read it

Learning Objective Boundaries for Constraint Optimization Problems
Constraint Optimization Problems (COP) are often considered without suff...
read it

Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI
Trustworthiness is a central requirement for the acceptance and success ...
read it

Characterization and Identification of Cloudified Mobile Network Performance Bottlenecks
This study is a first attempt to experimentally explore the range of per...
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...
read it
Simula Research Lab
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.