Primes are of fundamental importance in number theory, and primality testing is one of the oldest problems in mathematics. Various algorithms have been presented over the past two millenia, ever since Eratosthenes detailed his eponymous sieve in 274 B.C. After important theoretical advances by Fermat, Euler, Legendre, and Gauss in the seventeeth and eighteenth centuries, the rise of computation...

An Active Appearance Model (AAM) is a variable shape and appearance model built from annotated training images. It has been largely used to synthesize or fit face images. Person-independent face AAM fitting is a challenging open issue. For standard AAMs, fitting a face image for an individual which is not in the training set is often limited in accuracy, thereby restricting the range of applica...

Photometric redshifts have been regarded as efficient and effective measures for studying the statistical properties of galaxies and their evolution. In this paper, we introduce SVM_Light, a freely available software package using support vector machines (SVM) for photometric redshift estimation. This technique shows its superiorities in accuracy and efficiency. It can be applied to huge volume...

We explore real telecommunication data describing the spatial geometrical structure of an urban region and we propose a model fitting procedure, where a given choice of different non–iterated and iterated tessellation models is considered and fitted to real data. This model fitting procedure is based on a comparison of distances between characteristics of sample data sets and characteristics of...

Andrew V. Sutherland A key ingredient to improving the efficiency of elliptic curve primality proving (and many other algorithms) is the ability to directly construct an elliptic curve E/Fq with a specified number of rational points, rather than generating curves at random until a suitable curve is found. To do this we need to develop the theory of complex multiplication. Recall from Lecture 7 ...

We propose a new cascaded regressor for eye center detection. Previous methods start from a face or an eye detector and use either advanced features or powerful regressors for eye center localization, but not both. Instead, we detect the eyes more accurately using an existing facial feature alignment method. We improve the robustness of localization by using both advanced features and powerful ...

This paper describes experiences of using meta-modelling tools supporting technology enhanced learning in European Commission’s project NEXT-TELL. Due to a target group of the project (teachers with limited experience in modelling) it was very important to provide them with easy to use environment. This resulted in trying to identify least best fit of features needed by teachers while removing ...

INTRODUCTION The utility of the Appropriate Use Criteria (AUC) for amyloid imaging is not established. METHODS Fifty-three cognitively impaired patients with clinical F18-florbetapir imaging were classified as early and late onset, as well as AUC-consistent or AUC-inconsistent. Chi-square statistics and t test were used to compare demographic characteristics and clinical outcomes as appropria...

In this paper we propose a new framework for super-resolving facial images under arbitrary pose. While example-based super-resolution methods have demonstrated impressive results for face super-resolution under given pose and imaging conditions, they have limitations dealing with different poses and illuminations. Due to these limitations their application to face super-resolution in generalise...

The elliptic curve primality proving (ECPP) algorithm is one of the current fastest practical algorithms for proving the primality of large numbers. Its running time currently cannot be proven rigorously, but heuristic arguments show that it should run in time Õ((logN)5) to prove the primality of N . An asymptotically fast version of it, attributed to J. O. Shallit, is expected to run in time Õ...