Le règne animal se développe alors, ses espèces augmentent et, dans le progrès graduel de la Création, il se termine par l’homme — doué de pensée et de réflexion. Le plan humain est atteint à partir des singes, où se rencontrent sagacité et perception, mais qui n’est pas encore arrivé au stade de la réflexion et de la pensée. A ce point de vue, le premier niveau humain vient après le monde des ...

Dernièrement, j’ai assisté à une séance dans le cadre du 24e Cours annuel de médecine en régions rurales et éloignées présenté par la Société de la Médecine Rurale du Canada, à Charlevoix (Québec), où le Dr Louis Francescutti a éloquemment présenté une plénière sur la prestation de soins palliatifs de haute qualité aux patients. Lors de la séance, il a lancé aux participants le défi de réfléchi...

Reflectance properties express how objects in a virtual scene interact with light. They control the appearance of the object: whether it looks shiny or not, it has a metallic or plastic appearance. The reflectance model (BRDF) is essential for photorealistic pictures. Measured reflectance provide high realism, at the expense of memory cost. Parametric models are compact, but it is difficult to ...

Reflectance properties express how objects in a virtual scene interact with light; they control the appearance of the object: whether it looks shiny or not, whether it has a metallic or plastic appearance. Having a good reflectance model is essential for the production of photorealistic pictures. Measured reflectance functions provide high realism at the expense of memory cost. Parametric model...

This article presents the design principles and efficient implementation techniques for ABCL/R3, an object-oriented concurrent reflective language. One of the most distinguished features of ABCL/R3 is compilation techniques using partial evaluation, which effectively remove interpretation from meta-level programs. The meta-level objects are designed so that they can be partially evaluated in an...

This document describes a set of extensions to the proof scripting language of the Coq proof assistant. While these extensions were developed to support a particular proof methodology small-scale reflection most of them actually are of a quite general nature, improving the functionality of Coq in basic areas such as script layout and structuring, proof context management, and rewriting. Consequ...

A one-sided, nondestructive, ultrasonic technique for monitoring the setting and hardening process of concrete has recently been developed. The technique is based on monitoring the reflection coefficient of ultrasonic transverse waves at the surface of a laboratory scale hardening concrete in steel molds. The technique has been shown to reliably estimate the rate of strength gain of concrete un...