Sciweavers

ADCM
2016
70views Database» more  ADCM 2016»
10 years 1 months ago
Rank-1 lattice rules for multivariate integration in spaces of permutation-invariant functions - Error bounds and tractability
We study multivariate integration of functions that are invariant under permutations (of subsets) of their arguments. We find an upper bound for the nth minimal worst case error ...
Dirk Nuyens, Gowri Suryanarayana, Markus Weimar
246
Voted
ADAC
2016
10 years 1 months ago
Extreme logistic regression
With the recent popularity of electronic medical records, enormous amount of medical data is being generated every day at an exponential rate. Machine learning methods have been s...
Che Ngufor, Janusz Wojtusiak
153
Voted
ACSC
2016
IEEE
10 years 1 months ago
Mining autograding data in computer science education
In this paper we present an analysis of the impact of instant feedback and autograding in computer science education,
Vincent Gramoli, Michael A. Charleston, Bryn Jeffr...
280
Voted
ACSC
2016
IEEE
10 years 1 months ago
Finding state collisions in the authenticated encryption stream cipher ACORN
This paper analyzes the authenticated encryption algorithm ACORN, a candidate in the CAESAR cryptographic competition. We identify weaknesses in the state update function of ACORN ...
Md. Iftekhar Salam, Kenneth Koon-Ho Wong, Harry Ba...
166
Voted
ACSC
2016
IEEE
10 years 1 months ago
Symmetry declarations for MiniZinc
Abstract. Underlying symmetries in constraint satisfaction and optimization problems can make the search for solutions or optimal solutions much harder. In contrast, when symmetrie...
Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey
277
Voted
ACS
2016
10 years 1 months ago
t-Structures are Normal Torsion Theories
Abstract. We characterize t-structures in stable ∞-categories as suitable quasicategorical factorization systems. More precisely we show that a t-structure t on a stable ∞-cate...
Domenico Fiorenza, Fosco Loregiàn
384
Voted
ACIIDS
2016
IEEE
61views Database» more  ACIIDS 2016»
10 years 1 months ago
Redhyte: Towards a Self-diagnosing, Self-correcting, and Helpful Analytic Platform
Abstract. We present a platform named Redhyte, short for an interactive platform for “Rapid exploration of data and hypothesis testing”. Redhyte aims to augment the conventiona...
Wei Zhong Toh, Kwok Pui Choi, Limsoon Wong
ACCESS
2016
10 years 1 months ago
Model-Mediated Teleoperation: Toward Stable and Transparent Teleoperation Systems
—Bilateral teleoperation systems with haptic feedback allow human users to interact with objects or perform complex tasks in remote or inaccessible environments. Communication de...
Xiao Xu, Burak Cizmeci, Clemens Schuwerk, Eckehard...
ACCESS
2016
10 years 1 months ago
VLSI Implementation of Fully Parallel LTE Turbo Decoders
An Li, Luping Xiang, Taihai Chen, Robert G. Maunde...