Sciweavers

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
155
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...
283
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...
167
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
279
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