Microsoft Research

×
330 тыс
подписчики
50.4 млн
просмотры
9 254
видео
24 Окт 2008
создан
17.08.16 1:01:53
Atkin-Swinnerton-Dyer Congruences on Noncongruence Modular Forms
This presentation has two parts. The first half discusses the major factorization algorithms when ECM was discovered in 1985, stressing the similarities between ECM and P +- 1.
119
17.08.16 46:29
Solvency Games
Joint work with Noam Berger, Nevin Kapur and Vijay V.
42
17.08.16 49:59
Composition Laws
The parametrization of ideal classes of quadratic rings by binary quadratic forms has been an important tool for computing class numbers of quadratic fields.
212
17.08.16 1:14:08
Algorithms for primes
This talk will consist of a series of light mini-talks inspired by Atkin's papers on recognizing primes (1982, 'On a primality test of Solovay and Strassen'; 1995, 'Intelligent primality test
3 420
34.2
17.08.16 1:04:09
Computing genus 2 curves from invariants on the Hilbert moduli space
Computing genus 2 curves from invariants on the Hilbert moduli space Joint work with Tonghai Yang (University of Wisconsin USA); he was originally scheduled to present this work.
266
17.08.16 19:34
Supporting Families through a Recession and Ending Homelessness in Our Community
Solid GroundΓÇÖs ( solid-ground.org/Pages/Default.aspx) core beliefs are that we can build a community free from poverty, prejudice and neglect in which all members can have the skills and
16
17.08.16 2:08:32
2010 Microsoft Research eScience Workshop - Data Visualization using WorldWide Telescope
As described in the book, The Fourth Paradigm: Data-Intensive Scientific Discovery, scientific breakthroughs will be increasingly powered by advanced computing capabilities that help researchers
25
17.08.16 57:55
How to fool people to work on circuit lower bounds
I will present two families of mathematical problems that are very simple to describe, that seem natural to study from geometric, algebraic or combinatorial points of view, and are seemingly
519
34.3
17.08.16 46:58
Pairing-based proof systems and applications to anonymous credentials
Pairing based cryptography has resulted in a number of breakthrough results, including some major developments in the area of zero knowledge proof systems.
2 361
37.1
17.08.16 58:13
F4 Traces and Index Calculus on Elliptic Curves Over Extension Fields
Recently, Gaudry and Diem have proposed an index calculus method for the resolution of the DLP on elliptic curves defined over extension fields.
839
92.9
17.08.16 57:48
Generalizing Vélu's formulas and some applications
Vélu's formulas allow to compute an isogeny between elliptic curves from the coordinates of the points in the kernel.
115
17.08.16 52:10
ECC on constrained devices
The embedded security community has been looking at the ECC ever since it was introduced.
113
17.08.16 1:17:39
The Return of Wolves to Washington
The presentation will focus primarily on the ecology and management of wolves in Washington State, with an emphasis on the North Cascades and the recent establishment of the Lookout Pack in the
317
34.9
17.08.16 2:05:16
2010 Microsoft Research eScience Workshop - Tutorial WT4 OData - Open Data for the Open Web
There is a vast amount of data available today and data is now being collected and stored at a rate never seen before.
14
17.08.16 49:07
Counting points on projective hypersurfaces
After describing some joint work with Menezes in which isogenies are used to show that conventional wisdom about parameter selection might sometimes be wrong, I'll shift gears and make some comments
41
17.08.16 57:40
The Probability of Primality of the Order of a Genus 2 Curve Jacobian
In 2000, Galbraith and McKee conjectured a formula estimating the probability of primality of the number of rational points on an elliptic curve over a finite field.
90
17.08.16 52:03
Faster formulas for elliptic curves
The talk is about the derivation of the addition law on an arbitrary elliptic curve and efficiently adding points on this elliptic curve using the derived addition law.
356
38.9
17.08.16 56:23
Pairings on Elliptic Curves - Parameter Selection and Efficient Computation
This talk is about efficient pairing computation on elliptic curves.
2 015
41.6
17.08.16 59:53
Elliptic Curves in Sage
Sage ( sagemath.org) is the most feature rich general purpose free open source software for computing with elliptic curves.
2 931
37.2
17.08.16 55:28
My Last 24 Years in Crypto: A Few Good Judgments and Many Bad Ones
After describing some joint work with Menezes in which isogenies are used to show that conventional wisdom about parameter selection might sometimes be wrong, I'll shift gears and make some comments
131
17.08.16 1:04:21
Music, Mind and Health: New Interfaces to Embed Healthcare Intervention in our Creative Lives
As a culture, we have the capacity to lead creative lives. Part of that capacity lies in how something like music can touch on just about every aspect of human thinking and experience.
15
17.08.16 1:07:42
Elliptic curves with complex multiplication: history and perspectives
Elliptic curves with complex multiplication: history and perspectives The theory of complex multiplication on curves is very old and rich, going back at least to Klein.
1 410
31
17.08.16 1:04:53
Elliptic Curves: Facts, Conjectures and Applications
Elliptic curves E can be given by plane projective cubic curves and so seem to be very simple objects.
817
29.9
17.08.16 1:09:03
Total positivity and cluster algebras
This will be a swift and informal introduction to cluster algebras, with hints on their applications to canonical bases and Teichmuller theory. Total positivity serves as the main motivation.
377
31
17.08.16 55:10
Elliptic Curves, Cryptography and Computation
Much of the research in number theory, like mathematics as a whole, has been inspired by hard problems which are easy to state. A famous example is 'Fermat's Last Theorem'.
3 027
26.2
17.08.16 1:13:21
2010 Microsoft Research eScience Workshop - Closing Keynote Presentations - Scaling the Science
Scaling the Science Garrison Sposito, U.C. Berkeley; Mark Stacey, U.C. Berkeley; Stephanie Carlson, U.C. Berkeley; Charlotte Ambrose, NOAA's National Marine Fisheries Service; James Hunt, U.C.
102
17.08.16 1:22:18
2010 Microsoft Research eScience Workshop - Tutorial WT1 CoSBiLab: Enabling Simulation-Based Science
CoSBiLab is a software platform implementing the new conceptual framework of algorithmic systems biology.
22
9 276 видеоназад170далее
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское