糖心TV

Skip to main content Skip to navigation

Artificial Intelligence Events

Thursday, February 28, 2008

Wed, Feb 27 Today Fri, Feb 29 Jump to any date

How do I use this calendar?

You can click on an event to display further information about it.

The toolbar above the calendar has buttons to view different events. Use the left and right arrow icons to view events in the past and future. The button inbetween returns you to today's view. The button to the right of this shows a mini-calendar to let you quickly jump to any date.

The dropdown box on the right allows you to see a different view of the calendar, such as an agenda or a termly view.

If this calendar has tags, you can use the labelled checkboxes at the top of the page to select just the tags you wish to view, and then click "Show selected". The calendar will be redisplayed with just the events related to these tags, making it easier to find what you're looking for.

 
-
Export as iCalendar
Deparmental seminar - Mark Ryan (B'ham) - Verifying security of electronic voting systems
CS1.01

Abstract

Electronic voting has the potential to provide more efficient
elections with higher voter participation, better accuracy, lower
costs, and greater security, compared to current manual methods.
Governments the world over have been trialling and deploying
electronic voting systems. Unfortunately, however, this potential has
proved very difficult to realise. Currently deployed systems are based
on poorly conceived principles, and are fraught with security
problems. Researchers have proposed much better systems that aim to
offer stronger security properties than are possible for manual
methods.

In my talk, I review the current situation in actual deployment and in
research. I describe some of the challenges in defining and verifying
several kinds of security property, in particular properties related
to ballot secrecy and coercion resistance. We model these properties
as observational equivalences in the applied pi calculus, which is a
calculus derived from the pi calculus and targeted at cryptographic
protocols. We illustrate our definitions on three electronic voting
protocols from the literature.

-
Export as iCalendar
"How Many Random Projections Does One Need to Recover a $k$-sparse Vector?" - Jared Tanner - U of Edinburgh - 4-5pm
CS1.01
Abstract:
The essential information contained in most large data sets is
small when compared to the size of the data set.  That is, the
data can be well approximated using relatively few terms in a
suitable transformation.  This paradigm of Compressed Sensing
suggests a revolution in how information is collected and processed.
In this talk we consider a stronger notion of compressibility,
sparsity, which measures the number of non-zero entries.  For
data sets which are sparse (possibly following a transformation),
the data can often be recovered efficiently, with relatively few
randomized measurements by utilizing highly non-linear optimization
based reconstruction techniques.

Specifically, consider an underdetermined system of linear
equations $y=Ax$ with known y and $n\times N$, matrix A with
$n<N$.  We seek the sparsest solution, i.e., the x with fewest
nonzeros satisfying $y=Ax$.  In general this problem is NP-hard.
However, for many matrices $A$ there is a threshold phenomenon:
if the sparsest solution is sufficiently sparse, it can be found
by linear programming.  Quantitative values for a strong and weak
threshold will be presented.  The strong threshold guarantees
the recovery of the sparsest solution $x_o$, whereas a weaker
sparsity constraint ensures the recovery of the sparsest solution
for most $x_o$.  Connections with high-dimensional geometry
imply results about the structure of Gaussian point clouds and
the neighborliness of polytopes.

Placeholder

Let us know you agree to cookies