نتایج جستجو برای: programmation du cours
تعداد نتایج: 111334 فیلتر نتایج به سال:
Salmon carcass addition to streams is expected to increase stream productivity at multiple trophic levels. This study examined stream nutrient (nitrogen, phosphorus, and carbon), epilithic biofilm (ash-free dry mass and chlorophyll a), leaf-litter decomposition, and macroinvertebrate (density and biomass) responses to carcass addition in three headwater streams of southwestern Washington State,...
A systolic algorithm for the dynamic programming approach to the knapsack problem is presented. The algorithm can run on any number of processors and has optimal time speedup and processor eeciency. The running time of the algorithm is (mc=q + m) on a ring of q processors, where c is the knapsack size and m is the number of object types. A new procedure for the backtracking phase of the algorit...
Register allocation is a much studied problem. A particularly important context for optimizing register allocation is within loops, since a significant fraction of the execution time of programs is often inside loop code. A variety of algorithms have been proposed in the past for register allocation, but the complexity of the problem has resulted in a decoupling of several important aspects, in...
Ceci est la version 5 de la première partie du cours de lambda-calcul, datant du 22 février 2017. La version 4 datait du 02 juin 2014 (et contenait encore une erreur dans la démonstration du théorème de standardisation). La version 3 datait du 28 janvier 2011 (bizarrement, je n’avais pas remarqué l’erreur présente depuis dix ans dans la démonstration du théorème de standardisation. Merci à Arth...
This report specifies an observational semantics and gives an original presentation of the Byrd’s box model. The approach accounts for the semantics of Prolog tracers independently of a particular implementation. Traces are, in general, considered as rather obscure and difficult to use. The proposed formal presentation of a trace constitutes a simple and pedagogical approach for teaching Prolog...
Cette publication présente les estimations projetées du nombre et taux d’incidence de mortalité cancer selon le type cancer, sexe, groupe d’âge la région géographique pour l’année en cours.
Résumé Le partogramme est un outil incontournable dans la pratique quotidienne en salle de naissance. C'est le reflet écrit de la qualité de la prise en charge materno-fœtale pendant l'accouchement et le post-partum immédiat. Le but de notre travail est d'évaluer la conformité de la tenue du partogramme au sein de notre maternité et de proposer des axes d'amélioration de la qualité de sa tenue....
A conceptual basin model of the instantaneous unit sediment graph was developed for sediment graph prediction from arid upland basins by routing mobilized sediments through a series of linear reservoirs. The sediment graphs generated by convolution of the instantaneous unit sediment graph compared reasonably well with the observed ones for four representative arid upland sub-basins in the Luni ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید