Our research
Content type
+
Downloads (443)
+
Events (398)
 
Groups (150)
+
News (2593)
 
People (803)
 
Projects (1065)
+
Publications (12022)
+
Videos (5261)
Labs
Research areas
Algorithms and theory47205 (4)
Communication and collaboration47188 (6)
Computational linguistics47189 (13)
Computational sciences47190 (24)
Computer systems and networking47191 (25)
Computer vision208594 (0)
Data mining and data management208595 (0)
Economics and computation47192 (0)
Education47193 (2)
Gaming47194 (3)
Graphics and multimedia47195 (20)
Hardware and devices47196 (9)
Health and well-being47197 (14)
Human-computer interaction47198 (22)
Machine learning and intelligence47200 (15)
Mobile computing208596 (1)
Quantum computing208597 (0)
Search, information retrieval, and knowledge management47199 (23)
Security and privacy47202 (13)
Social media208598 (0)
Social sciences47203 (3)
Software development, programming principles, tools, and languages47204 (27)
Speech recognition, synthesis, and dialog systems208599 (1)
Technology for emerging markets208600 (0)
1–4 of 4
Sort
Show 25 | 50 | 100
1
This download contains Magma files that compute arithmetic on genus 2 curves in Jacobian coordinates.
Details
Date: 27 May 2014
Version: 1.0
Size: 0.02 MB
Type: Download
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.
Details
Date: 23 April 2014
Version: 1.0
Size: 0.15 MB
Type: Download
Automata is a .NET tool kit that provides facilities for manipulating and analyzing regular expressions, symbolic finite automata, and symbolic finite transducers. It supports automata and transducers where input and output alphabets can be fully symbolic. Constraints over the alphabets can be analyzed using Satisfiability Modulo Theory (SMT) solvers. The tool kit provides a particular extension that uses the Microsoft SMT solver Z3.
Details
Date: 27 October 2011
Version: 1.0.0.0
Size: 3.13 MB
Type: Download
Privacy Integrated Queries (PINQ) is a LINQ-like API for writing programs against sensitive data sets, while providing differential privacy guarantees for the underlying records. This first release provides the PINQ infrastructure, several example data analysis applications, and should be suitable for prototyping many differentially-private data analyses.
Details
Date: 18 August 2009
Version: 0.1.1
Size: 0.27 MB
Type: Download
1–4 of 4
Sort
Show 25 | 50 | 100
1
> Our research