Publications associées à Computable function

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù

In electronic design automation Boolean resynthesis techniques are increasingly used to improve the quality of results where algebraic methods hit local minima Boolean methods rely on complete functional properties of a logic circuit, preferably including ...

IEEE2018

Method and device for proving his identity

Serge Vaudenay, Ioana Cristina Carlson

The invention is related to a method allowing a prover holding a secret key (x) to prove its identity to a verifier and to prove to this verifier that he is within a predetermined distance of this verifier, said method comprising an initialization phase du ...

2018

Retaining data from streams of social platforms with minimal regret

Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Chi Thang Duong

Today's social platforms, such as Twitter and Facebook, continuously generate massive volumes of data. The resulting data streams exceed any reasonable limit for permanent storage, especially since data is often redundant, overlapping, sparse, and generall ...

2017

Optimal Path Planning and Coverage Control for Multi-Robot Persistent Coverage in Environments with Obstacles

Alcherio Martinoli, Zeynab Talebpour, José Manuel Palacios Gasos

Persistent coverage aims to maintain a certain coverage level over time in an environment where such level deteriorates. This level can be associated to temperature, dust or sensor information. We propose an algorithmic solution in which each robot locally ...

2017

Neural network potential for Al-Mg-Si alloys

William Curtin, Michele Ceriotti, Till Junge, Daniele Giofré

The 6000 series Al alloys, which include a few percent of Mg and Si, are important in automotive and aviation industries because of their low weight, as compared to steels, and the fact their strength can be greatly improved through engineered precipitatio ...

Amer Physical Soc2017

Padé approximation of the adiabatic electron contribution to the gyrokinetic quasi-neutrality equation in the ORB5 code

Laurent Villard, Stephan Brunner, Emmanuel Lanti, Ben McMillan, Julien Stanislas Pierre Dominski

This work aims at completing the implementation of a solver for the quasineutrality equation using a PadÃ© approximation in the global gyrokinetic code ORB5. Initially [Dominski, Ph.D. thesis, 2016], the Pade approximation was only implemented for the kine ...

2016

Quadratic Sieving

Thorsten Kleinjung

We propose an efficient variant for the initialisation step of quadratic sieving, the sieving step of the quadratic sieve and its variants, which is also used in sieving-based algorithms for computing class groups of quadratic fields. As an application we ...

American Mathematical Society2016

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Andrew Joseph Reynolds

We prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...

Springer-Verlag Berlin2015

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Computable function

Improvements to Boolean resynthesis

Method and device for proving his identity

Guessing the Fingerings

Retaining data from streams of social platforms with minimal regret

Optimal Path Planning and Coverage Control for Multi-Robot Persistent Coverage in Environments with Obstacles

Neural network potential for Al-Mg-Si alloys

Undecidability through Fourier series

Padé approximation of the adiabatic electron contribution to the gyrokinetic quasi-neutrality equation in the ORB5 code

Quadratic Sieving

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Graph Chatbot

Chattez avec Graph Search

Undecidability through Fourier series

Guessing the Fingerings

Retaining data from streams of social platforms with minimal regret

Optimal Path Planning and Coverage Control for Multi-Robot Persistent Coverage in Environments with Obstacles

Quadratic Sieving

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Improvements to Boolean resynthesis

Method and device for proving his identity

Neural network potential for Al-Mg-Si alloys

Padé approximation of the adiabatic electron contribution to the gyrokinetic quasi-neutrality equation in the ORB5 code