QCA implementation of a multichannel filter for image processing.
Quantum coherent spaces and linear logic
Quantum Coherent Spaces were introduced by Girard as a quantum framework where to interpret the exponential-free fragment of Linear Logic. Aim of this paper is to extend Girard's interpretation to a subsystem of linear logic with bounded exponentials. We provide deduction rules for the bounded exponentials and, correspondingly, we introduce the novel notion of bounded exponentials of Quantum Coherent Spaces. We show that the latter provide a categorical model of our system. In order to do that,...
Quantum coherent spaces and linear logic
Quantum Coherent Spaces were introduced by Girard as a quantum framework where to interpret the exponential-free fragment of Linear Logic. Aim of this paper is to extend Girard's interpretation to a subsystem of linear logic with bounded exponentials. We provide deduction rules for the bounded exponentials and, correspondingly, we introduce the novel notion of bounded exponentials of Quantum Coherent Spaces. We show that the latter provide a categorical model of our system. In order to do that,...
Quantum computing.
Quantum finite automata with control language
Bertoni et al. introduced in Lect. Notes Comput. Sci.2710 (2003) 1–20 a new model of 1-way quantum finite automaton (1qfa) called 1qfa with control language (1qfc). This model, whose recognizing power is exactly the class of regular languages, generalizes main models of 1qfa's proposed in the literature. Here, we investigate some properties of 1qfc's. In particular, we provide algorithms for constructing 1qfc's accepting the inverse homomorphic images and quotients of languages accepted...
Quasi-completely right disjunctive languages.
Quasi-Optimal Range Searching in Spaces of Finite VC-Dimension.
Quelles tuiles ! (Pavages apériodiques du plan et automates bidimensionnels)
La récente découverte des “quasicristaux” et leurs liens avec les pavages de Penrose ont entraîné un regain d'intérêt pour les pavages apériodiques du plan. Nous montrons ici que le pavage régulier de Robinson est engendré par un automate fini bidimensionnel, et qu'il donne une généralisation à deux dimensions du pliage de papier.
Quelques aspects du problème
Quelques langages algébriques
Quelques problèmes d'informatique
Quelques problèmes logico-linguistiques
Quelques problèmes ouverts en théorie des langages algébriques
Quotient models of a category up to directed homotopy.