Latest Research

Catala: A Programming Language for the Law

4 Mar 2021CatalaLang/catala

Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives.

PROGRAMMING LANGUAGES

342
04 Mar 2021

Real-Time Navigation System for a Low-Cost Mobile Robot with an RGB-D Camera

4 Mar 2021shinkansan/2019-UGRP-DPoom

In this study, we propose a navigation system that is operable on a low-end computer with an RGB-D camera and a mobile robot platform for the operation of an integrated autonomous driving system.

ROBOTICS SYSTEMS AND CONTROL SYSTEMS AND CONTROL

17
04 Mar 2021

Who Can Find My Devices? Security and Privacy of Apple's Crowd-Sourced Bluetooth Location Tracking System

3 Mar 2021seemoo-lab/openhaystack

In particular, OF aims to ensure finder anonymity, untrackability of owner devices, and confidentiality of location reports.

CRYPTOGRAPHY AND SECURITY NETWORKING AND INTERNET ARCHITECTURE

435
03 Mar 2021

Distributed statistical inference with pyhf enabled through funcX

3 Mar 2021matthewfeickert/distributed-inference-with-pyhf-and-funcX

In High Energy Physics facilities that provide High Performance Computing environments provide an opportunity to efficiently perform the statistical inference required for analysis of data from the Large Hadron Collider, but can pose problems with orchestration and efficient scheduling.

DISTRIBUTED, PARALLEL, AND CLUSTER COMPUTING HIGH ENERGY PHYSICS - EXPERIMENT

0
03 Mar 2021

Decoding supercodes of Gabidulin codes and applications to cryptanalysis

3 Mar 2021mbombar/Attack_on_LIGA

This article discusses the decoding of Gabidulin codes and shows how to extend the usual decoder to any supercode of a Gabidulin code at the cost of a significant decrease of the decoding radius.

CRYPTOGRAPHY AND SECURITY INFORMATION THEORY INFORMATION THEORY

0
03 Mar 2021

Path continuity for multi-wheeled AGVs

2 Mar 2021romb-technologies/path_continuity

Notwithstanding the growing presence of AGVs in the industry, there is a lack of research about multi-wheeled AGVs which offer higher maneuverability and space efficiency.

ROBOTICS

0
02 Mar 2021

LEAF: Simulating Large Energy-Aware Fog Computing Environments

1 Mar 2021dos-group/leaf-java

Despite constant improvements in efficiency, today's data centers and networks consume enormous amounts of energy and this demand is expected to rise even further.

DISTRIBUTED, PARALLEL, AND CLUSTER COMPUTING

5
01 Mar 2021

PARIMA: Viewport Adaptive 360-Degree Video Streaming

1 Mar 2021sarthak-chakraborty/PARIMA

However, streaming 360{\deg} videos require high bandwidth, thus escalating the need for developing optimized streaming algorithms.

MULTIMEDIA

0
01 Mar 2021

A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms

27 Feb 2021record/4281091

Our approach determines that GumTree, MTDiff and IJM generate inaccurate mappings for 20%--29%, 25%--36% and 21%--30% of the file revisions, respectively.

SOFTWARE ENGINEERING

0
27 Feb 2021

Recovering or Testing Extended-Affine Equivalence

26 Feb 2021alaincouvreur/EA_equivalence_for_quadratic_functions

This problem has two variants: EA-testing deals with figuring out whether the two functions can be EA-equivalent, and EA-recovery is about recovering the tuple $(A, B, C)$ if it exists.

CRYPTOGRAPHY AND SECURITY DISCRETE MATHEMATICS INFORMATION THEORY INFORMATION THEORY

0
26 Feb 2021