Cofactorisation strategies for the number field sieve and an estimate for the sieving step for factoring 1024-bit integers Thorsten Kleinjung University of Bonn, Department of Mathematics, Beringstraße 1, DBonn,

Source URL: www.hyperelliptic.org

• Integer factorization algorithms
• Mathematics
• Quadratic sieve
• General number field sieve
• Integer factorization
• Prime number
• Factorization
• Number theory
• Factor base
• Shanks's square forms factorization

Åsgard Research Programme Norway - France The “Åsgard Research Programme" is managed by the Department for scientific cooperation of the French Embassy in Norway. It aims at inviting French and Norwegian scientists f

Source URL: www.france.no

• Europe
• Norway

Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour

Source URL: jorgenavas.github.io

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Lattice
• Partially ordered set
• KnasterTarski theorem
• Complete lattice
• Binary relation
• Join and meet
• Monotonic function

MISCELLANEOUS CREDIT SCHEDULE NORTH DAKOTA DEPARTMENT OF TRANSPORTATION MOTOR VEHICLE DIVISION MVD608 EAST BOULEVARD AVENUE

Source URL: www.dot.nd.gov

Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Abstract algebra
• Stochastic game
• -automaton
• Lie algebras
• Lifting theory
• Littelmann path model

Journeys in World Politics, March 9th-11th, 2006 Sponsored by the University of Iowa College of Liberal Arts & Sciences, with Support from the Department of Political Science Thursday, Mar. 9 6:30-8:30 p.m. Dinner at Sh

Source URL: www.saramitchell.org

RESEARCH EXCELLENCE The Department of Sociology at the University of Toronto is committed to excellence in research and in teaching, and maintains that the two cannot be divorced from each other. For over fifty

Source URL: sociology.utoronto.ca

• Sociology
• Social science

Department of Informatics - Institute of Neuroinformatics Ultimate SLAM? Robust Visual SLAM with Events, Images and IMU Antoni Rosinol Vidal, Henri Rebecq, Timo Horstschaefer, Davide Scaramuzza

Source URL: rpg.ifi.uzh.ch

• Photographic techniques
• Photography
• Visual arts
• High dynamic range
• Science of photography
• High-dynamic-range imaging
• Motion blur
• Filmmaking
• Motion compensation

Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• FO
• Differential topology
• operator