
-
DoubleU-Net: 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 non-linear 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 large-scale studies including population i...
read it
-
Human-level CMR image analysis with deep fully convolutional networks
Cardiovascular magnetic resonance (CMR) imaging is a standard imaging mo...
read it
-
Adaptive multi-penalty 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 Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
Floating-point computations are quickly finding their way in the design ...
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...
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 distributed-memory 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 De-biasing 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 on-vehicle applications poses a s...
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...
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 Quasi-Cyclic Low-Density Parity-Check Codes
Recently, Branco da Silva and Silva described an efficient encoding and ...
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...
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 360-Degree Video At Home
Virtual reality 360-degree 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 disaster-related 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
-
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....
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
-
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 ...
read it
-
ResUNet++: An Advanced Architecture for Medical Image Segmentation
Accurate computer-aided polyp detection and segmentation during colonosc...
read it
-
Kvasir-SEG: A Segmented Polyp Dataset
Pixel-wise image segmentation is a highly demanding task in medical-imag...
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...
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...
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 multi-compartmental Darcy equations
In this paper, we propose a new finite element solution approach to the ...
read it
-
Parameter robust preconditioning by congruence for multiple-network 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