Minimally invasive procedureMinimally invasive procedures (also known as minimally invasive surgeries) encompass surgical techniques that limit the size of incisions needed, thereby reducing wound healing time, associated pain, and risk of infection. Surgery by definition is invasive and many operations requiring incisions of some size are referred to as open surgery. Incisions made during open surgery can sometimes leave large wounds that may be painful and take a long time to heal.
High-level synthesisHigh-level synthesis (HLS), sometimes referred to as C synthesis, electronic system-level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that takes an abstract behavioral specification of a digital system and finds a register-transfer level structure that realizes the given behavior. Synthesis begins with a high-level specification of the problem, where behavior is generally decoupled from low-level circuit mechanics such as clock-level timing.
Argument téléologique (religion)Largument téléologique, ou argument du dessein divin', est l'argument sur l'existence de Dieu qui se base sur des preuves perceptibles d'ordre, d'intention, de conception ou de direction - ou d'une combinaison de ceux-ci - dans la nature. Il s'appuie sur l'aspect complexe du monde qui semble avoir été conçu, et serait donc l'objectif ou le but d'un être intelligent. Cet argument a été remis au goût du jour par les créationnistes américains, sous la forme du mouvement du Dessein intelligent.
Admissible ruleIn logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955). Admissibility has been systematically studied only in the case of structural (i.e.
Conteneur réfrigéréUn conteneur réfrigéré ou conteneur frigorifique, en anglais « reefer », est un conteneur capable de maintenir une certaine température quelles que soient les conditions extérieures. Son contrôle est assuré par une transmission de ses paramètres à la passerelle du navire (poste de commande et de navigation). La température intérieure peut varier entre +25°C et -25°C pour la majorité des conteneurs. Pour certains produits, cette température peut descendre jusqu'à -60°C.
