Publications related to Primality test

Results on Sparse Integer Programming and Geometric Independent Sets

An integer linear program is a problem of the form max{c^T x : Ax=b, x >= 0, x integer}, where A is in Z^(n x m), b in Z^m, and c in Z^n. Solving an integer linear program is NP-hard in general, but there are several assumptions for which it becomes fixed ...

EPFL2023

A short note on inadmissible coefficients of weight 2 and 2k+1 newforms

Malik Amir, Andreas Hatziiliou

Let f(z)=q+∑n≥2a(n)qn be a weight k normalized newform with integer coefficients and trivial residual mod 2 Galois representation. We extend the results of Amir and Hong in Amir and Hong (On L-functions of modular elliptic curves and certain K3 surfaces, R ...

2021

Yapa: Accelerated Proximal Algorithm For Convex Composite Problems

Mireille El Gheche, Giovanni Chierchia

Proximal splitting methods are standard tools for nonsmooth optimization. While primal-dual methods have become very popular in the last decade for their flexibility, primal methods may still be preferred for two reasons: acceleration schemes are more effe ...

IEEE2021

Monte Carlo Estimators for Differential Light Transport

Wenzel Alban Jakob, Tizian Lucien Zeltner, Sébastien Nicolas Speierer

Physically based differentiable rendering algorithms propagate derivatives through realistic light transport simulations and have applications in diverse areas including inverse reconstruction and machine learning. Recent progress has led to unbiased metho ...

ASSOC COMPUTING MACHINERY2021

Experiments with the Markoff Surface

Matthew De Courcy-Ireland, Sandy Lee

We confirm, for the primes up to 3000, the conjecture of Bourgain-Gamburd-Sarnak and Baragar on strong approximation for the Markoff surface modulo primes. For primes congruent to 3 modulo 4, we find data suggesting that some natural graphs constructed fro ...

TAYLOR & FRANCIS INC2022

Generalized Norm-compatible Systems on Unitary Shimura Varieties

Mohamed Réda Boumasmoud

We define and study in terms of integral Iwahoriâ Hecke algebras a new class of geometric operators acting on the Bruhat-Tits building of connected reductive groups over p-adic fields. These operators, which we call U-operators, generalize the geometric n ...

EPFL2019

Some applications of smooth bilinear forms with Kloosterman sums

Philippe Michel

We revisit a recent bound of I. Shparlinski and T. Zhang on bilinear forms with Kloosterman sums, and prove an extension for correlation sums of Kloosterman sums against Fourier coefficients of modular forms. We use these bounds to improve on earlier resul ...

Maik Nauka/Interperiodica/Springer2017

Solving the Infinite-horizon Constrained LQR Problem using Accelerated Dual Proximal Methods

Colin Neil Jones, Milan Korda, Georgios Stathopoulos

This work presents an algorithmic scheme for solving the infinite-time constrained linear quadratic regulation problem. We employ an accelerated version of a popular proximal gradient scheme, commonly known as the Forward-Backward Splitting (FBS), and prov ...

Institute of Electrical and Electronics Engineers2017

Peer Assessment Dataset

Denis Gillet, Adrian Christian Holzer, Andrii Vozniuk

Peer assessment is seen as a powerful supporting tool to achieve scalability in the evaluation of complex assignments in large courses, possibly virtual ones, as in the context of massive open online courses (MOOCs). However, the adoption of peer assessmen ...

2016

Stochastic Three-Composite Convex Minimization

Volkan Cevher, Alp Yurtsever, Cong Bang Vu

We propose a stochastic optimization method for the minimization of the sum of three convex functions, one of which has Lipschitz continuous gradient as well as restricted strong convexity. Our approach is most suitable in the setting where it is computati ...

2016

Decomposition Strategies for Nonconvex Problems, a Parametric Approach

Jean-Hubert Hours

This thesis deals with the development of numerical methods for solving nonconvex optimisation problems by means of decomposition and continuation techniques. We first introduce a novel decomposition algorithm based on alternating gradient projections and ...

EPFL2016

OpenBuild : An Integrated Simulation Environment for Building Control

Colin Neil Jones, Tomasz Tadeusz Gorecki, Faran Ahmed Qureshi

This paper introduces the OpenBuild toolbox for MATLAB. OpenBuild is a toolbox for advanced controller design for buildings heating ventilation and air conditioning systems, with emphasis on Model Predictive Control. It pro- vides researchers in the contro ...

IEEE2015

Search Techniques for Code Generation

Tihomir Gvero

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

EPFL2015

A direct comparison of unconscious face processing under masking and interocular suppression

Nathan Quentin Faivre, Julien Dubois

Different combinations of forward and backward masking as well as interocular suppression have been used extensively to render stimuli invisible and to study those aspects of visual stimuli that are processed in the absence of conscious experience. Althoug ...

Frontiers Media2014

A sieve algorithm based on overlattices

Anja Annemone Becker

In this paper, we present a heuristic algorithm for solving exact, as well as approximate, shortest vector and closest vector problems on lattices. The algorithm can be seen as a modified sieving algorithm for which the vectors of the intermediate sets lie ...

Cambridge Univ Press2014

Two primes priming: Does feature integration occur before response activation?

Michael Herzog, Frank Scharnowski, Thomas Schmidt, Julianne Grainger

Responses to a target can be sped up or slowed down by a congruent or incongruent prime, respectively. Even though presentations are rapid, the prime and the target are thought to activate motor responses in strict sequence, with prime activation preceding ...

Association for Research in Vision and Ophthalmology2013

Significant Molecular and Systemic Adaptations after Repeated Sprint Training in Hypoxia

Jean-Marc Vesin, Grégoire Millet

While intermittent hypoxic training (IHT) has been reported to evoke cellular responses via hypoxia inducible factors (HIFs) but without substantial performance benefits in endurance athletes, we hypothesized that repeated sprint training in hypoxia could ...

Public Library of Science2013

On-shoe wearable sensors for gait and turning assessment of patients with Parkinson’s disease

Kamiar Aminian, Benoît Mariani

Assessment of locomotion through simple tests such as timed up and go (TUG) or walking trials can provide valuable information for the evaluation of treatment and the early diagnosis of people with Parkinson's disease (PD). Common methods used in clinics a ...

Institute of Electrical and Electronics Engineers2013

Algebraic Divisibility Sequences Over Function Fields

Valéry Aurélien Mahé

In this note we study the existence of primes and of primitive divisors in function field analogues of classical divisibility sequences. Under various hypotheses, we prove that Lucas sequences and elliptic divisibility sequences over function fields define ...

Australian Mathematical Society2012

Group Testing with Probabilistic Tests: Theory, Design and Application

Martin Vetterli, Amin Karbasi, Ali Hormati, Mahdi Cheraghchi Bashi Astaneh

Identification of defective members of large populations has been widely studied in the statistics community under the name of group testing. It involves grouping subsets of items into different pools and detecting defective members based on the set of tes ...

Institute of Electrical and Electronics Engineers2011