output
20002025
most citedDecoherence time in self-induced decoherence

55 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2016Show all

6 papers · 1 filter

q-bio.PE2016★ 1 cited

Markovian simulation for ancestors trees

C. Jarne, M. Caruso

We present a computational model to reconstruct trees of ancestors for animals with sexual reproduction. Through a recursive algorithm combined with a random number generator, it i…

cond-mat.soft2016★ 5 cited

The Newtonian mechanics of a Vibrot

Harol Torres, Victor M. Freixas, Danyer Pérez Adán

A mechanical model was developed to describe the behaviour of a device able to transform vibrations into rotations, named Vibrot. The theoretical model, developed in the newtonian…

cs.LO2016

Projections for infinitary rewriting

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g simultaneous from sequen…

cs.FL2016★ 16 cited

Affine computation and affine automaton

Alejandro Díaz-Caro, Abuzer Yakaryılmaz

We introduce a quantum-like classical computational model, called affine computation, as a generalization of probabilistic computation. After giving the basics of affine computatio…

cs.LO2016★ 18 cited

Two linearities for quantum computing in the lambda calculus

Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while t…

cs.LO2016★ 5 cited

Type Soundness for Path Polymorphism

Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón

Path polymorphism is the ability to define functions that can operate uniformly over arbitrary recursively specified data structures. Its essence is captured by patterns of the for…