Taxe foncièreLa taxe foncière est un impôt local dû tous les ans par le propriétaire ou l'usufruitier d'un bien immobilier. Selon une étude commandée par la Fédération des promoteurs immobiliers (FPI) en 2014, la France a, en Europe, « la fiscalité la plus élevée en matière d'impôts locaux liés au logement : taxe foncière et taxe d'habitation ». Selon une étude de Coe-Rexecode, comparant la fiscalité de 5 pays européens, en 2012, le taux français d'impôts fonciers et immobiliers est le plus élevé avec 2,6 % du PIB devant le Royaume uni 1,6 %, l'Italie 1,4 %, l'Espagne 1,1 % et l'Allemagne 0,4 %.
PresentThe present is the period of time that is occurring now. The present is contrasted with the past, the period of time that has already occurred, and the future, the period of time that has yet to occur. It is sometimes represented as a hyperplane in space-time, typically called "now", although modern physics demonstrates that such a hyperplane cannot be defined uniquely for observers in relative motion. The present may also be viewed as a duration.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Photothermal therapyPhotothermal therapy (PTT) refers to efforts to use electromagnetic radiation (most often in infrared wavelengths) for the treatment of various medical conditions, including cancer. This approach is an extension of photodynamic therapy, in which a photosensitizer is excited with specific band light. This activation brings the sensitizer to an excited state where it then releases vibrational energy (heat), which is what kills the targeted cells. Unlike photodynamic therapy, photothermal therapy does not require oxygen to interact with the target cells or tissues.
Dose fractionationDose fractionation effects are utilised in the treatment of cancer with radiation therapy. When the total dose of radiation is divided into several, smaller doses over a period of several days, there are fewer toxic effects on healthy cells. This maximizes the effect of radiation on cancer and minimizes the negative side effects. A typical fractionation scheme divides the dose into 30 units delivered every weekday over six weeks. Experiments in radiation biology have found that as the absorbed dose of radiation increases, the number of cells which survive decreases.
Traitement (médecine)En médecine, un traitement, appelé aussi traitement médical, traitement thérapeutique, thérapie ou plus généralement thérapeutique, est un ensemble de mesures appliquées par un professionnel de la santé à une personne vis-à-vis d'une maladie, afin de l'aider à en guérir, de soulager ses symptômes, ou encore d'en prévenir l'apparition. Lorsque ce professionnel décide de ne pas médicaliser une situation qu'il juge ne pas relever de traitement, il s'agit d'abstention thérapeutique (non-initiation d'un traitement ou interruption du traitement appelée retrait ou congé thérapeutique).
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Propriété intellectuellevignette|Représentation très simplifiée du cadre de la propriété intellectuelle, et de ses « objets », en France, à la fin du . La propriété intellectuelle est le domaine comportant l'ensemble des droits exclusifs accordés sur des créations intellectuelles.
Teinture naturellevignette|Écheveaux teints naturellement à la racine de garance, quartier colonial de Williamsburg, en Virginie. Une teinture naturelle est une matière colorante dérivée de plantes ou d'invertébrés. On parle de teinture quand il s'agit de colorer des textiles au moyen de produits solubles dans l'eau ; les minéraux donnent des colorants insolubles appelés pigments qui s'appliquent mal à cet usage. La plupart des teintures naturelles proviennent de racines, de baies, d'écorce, de feuilles ou de bois de plantes tinctoriales ou bien de champignons ou de lichens.
