The cause of negative or reduced outflow formation at the beginning of a Muskingum solution is examined in two steps. The first step involves a physical interpretation of the Muskingum weighted discharge and the storage equation, using theory based on an extension of the Kalinin-Milyukov method. The second step involves the derivation of an analytical solution for the weighted discharge based o...

We give an introduction to the theory of quiver representations, in its algebraic and geometric aspects. The main result is Gabriel’s theorem that characterizes quivers of finite representation type. Résumé. Nous donnons une introduction à la théorie des représentations des carquois, sous ses aspects algébrique et géométrique. Le résultat principal est le théorème de Gabriel qui caractérise les...

We construct a representation theory of a “quantum hyperboloid” in terms of so-called braided modules. We treat these objects in the framework of twisted Quantum Mechanics. Résumé Nous construisons une théorie de représentations pour « l’hyperboloïde quantique » en termes de modules tressés. Nous traitons ces objets dans le cadre de la mécanique quantique tordue.

Résumé. La classification des images sonar est d’une grande importance par exemple pour la navigation sous-marine ou pour la cartographie des fonds marins. En effet, le sonar offre des capacités d’imagerie plus performantes que les capteurs optiques en milieu sous-marin. La classification de ce type de données rencontre plusieurs difficultés en raison des imprécisions et incertitudes liées au c...

RÉSUMÉ. Nous présentons dans ce papier un algorithme de résolution, dans la théorie T des arbres (éventuellement infinis), des contraintes représentées par des formules générales du premier ordre, avec pour seul symbole de relation l’égalité et pour symboles de fonctions les éléments d’un ensemble infini F. L’algorithme est constitué d’un ensemble de 11 règles de réécriture de sous-formules en ...

L’accès aux articles de la revue « Journal de Théorie des Nombres de Bordeaux » (http://jtnb.cedram.org/), implique l’accord avec les conditions générales d’utilisation (http://jtnb.cedram. org/legal/). Toute reproduction en tout ou partie de cet article sous quelque forme que ce soit pour tout usage autre que l’utilisation à fin strictement personnelle du copiste est constitutive d’une infract...

Les fruits de Curry-Howard. Depuis la mise en évidence via la correspondance de CurryHoward [21], des relations entre démonstrations mathématiques et programmes informatiques, théorie de la programmation et théorie de la démonstration s’enrichissent mutuellement. Parmi les nombreux allers-retours fructueux entre preuves et programmes, la logique linéaire [13] tient une place exemplaire. Girard ...

L’accès aux articles de la revue « Journal de Théorie des Nombres de Bordeaux » (http://jtnb.cedram.org/), implique l’accord avec les conditions générales d’utilisation (http://jtnb.cedram. org/legal/). Toute reproduction en tout ou partie cet article sous quelque forme que ce soit pour tout usage autre que l’utilisation à fin strictement personnelle du copiste est constitutive d’une infraction...

Urbano França, Massimiliano Lattanzi, Julien Lesgourgues and Sergio Pastor Instituto de F́ısica Corpuscular (CSIC-Universitat de València), Ed. Institutos de Investigación, Apdo. 22085, 46071 Valencia, Spain ICRA & Dip. di Fisica, Universitá di Roma ”La Sapienza”, P.le A. Moro 2, 00185 Roma, Italy CERN, Theory Division, CH-1211 Geneva 23, Switzerland, and Institut de Théorie des Phénomènes Physi...

Nous présentons une méthode de modélisation de la langue naturelle qui est fortement basée sur les mathématiques. Cette méthode, appelée «sémantique formelle», a été initiée par le linguiste américain Richard M. Montague dans les années 1970. Elle utilise des outils mathématiques tels que les langages et grammaires formels, la logique du 1er ordre, la théorie de types et le λ-calcul. Nous nous ...