dans cet article i' intervalle entre deux trains successifs a ete etudie en fonction de leur vitesses dans deux cas differents. dans ie premier cas ,on suppose que la vitesse des deux trains a une valeur constante, et on etudie les variations de l'intervalle minimum en fonction de la vitesse on determine la vitesse optimale et on etudie les variations de l'intervalle minimum en f...

Vers la fin du dix-neuvième siècle, le contrôle des incendies et des maladies était devenu une réalité scientifique et technique qui ouvrit la voie à des transformations sociales dans la ville. Pour effectuer un tel contrôle, il fallut, cependant, présenter auprès des politiciens urbanistes un certain nombre de revendications parmi lesquelles une provision suffisante d’eau potable. À Ottawa, on...

Le nombre de ménages faisant partie de la population active mais qui bénéficient du bien-être social est resté constant en Ontario de 1985 à 1989, mais il a presque quintuplé au début des années 90. En utilisant les variables du marché du travail (emploi et population) et des variables de bien-être social, nous montrons que la capacité d’emploi de l’économie a augmenté durant la période 1985-89...

Le codage par transformée et décomposition en ondelettes (DO) est efficace pour coder les images hyperspectrales en suivant le standard JPEG2000 (partie 2). Toutefois la complexité du codeur EBCOT et de l’algorithme d’allocation optimale entre composantes ne permet pas son utilisation à bord d’un satellite aujourd’hui. Nous présentons une extension de l’algorithme SPIHT qui permet un codage pro...

DE PLUS EN PLUS DE MÉDECINS deviennent administrateurs d’hôpital au Canada et l’AMC aide à créer une organisation pour les représenter. Jeffrey Lozon, président d’un important hôpital de Toronto, a déclaré au cours de la réunion d’organisation de la Société canadienne des médecins cadres et gestionnaires que les possibilités abondent dans le domaine de la gestion pour les médecins, mais que ces...

Résumé. Les développements récents en tarification de l’assurance non-vie se concentrent majoritairement sur la maîtrise et l’amélioration des Modèles Linéaires Généralisés. Performants, ces modèles imposent cependant à la fois des contraintes sur la structure du risque modélisé et sur les interactions entre variables explicatives du risque. Ces restrictions peuvent conduire, dans certaines sou...

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 ...

La notion d’image est polysémique à différents titres. D’un point de vue physique, une image traduit la représentation spatiale d’une grandeur donnée (l’intensité d’un rayonnement électromagnétique, d’une onde mécanique, etc.). En théorie, une telle image peut être infinie, tant en ce qui concerne son support, c’est-à-dire l’espace sur lequel elle s’appuie, que ses valeurs, c’est-à-dire l’espac...