Spring (framework)En informatique, Spring est un framework open source pour construire et définir l'infrastructure d'une application Java, dont il facilite le développement et les tests. En 2004, Rod Johnson a écrit le livre Expert One-on-One J2EE Design and Development qui explique les raisons de la création de Spring. Spring est considéré comme un conteneur dit « léger ». La raison de ce nommage est expliquée par Erik Gollot dans l’introduction du document Introduction au framework Spring.
Socio-ecological systemA social-ecological system consists of 'a bio-geo-physical' unit and its associated social actors and institutions. Social-ecological systems are complex and adaptive and delimited by spatial or functional boundaries surrounding particular ecosystems and their context problems. A social-ecological system (SES) can be defined as:(p.
Bien publicEn économie, un bien public est un bien non rival ou non excluable. La consommation de ce bien par un agent n'affecte donc pas la quantité disponible pour les autres agents (non-rivalité). Il est impossible d'exclure un agent de l'utilisation de ce bien, même s'il n'a pas participé à son financement. Un bien public pur est un bien non rival et non excluable, il est impossible de faire payer l'accès à ce bien (non-excluabilité). Par exemple, une émission de radio est un bien public.
Framework WebUn framework Web ou framework d'application Web est un framework logiciel conçu pour prendre en charge le développement d'applications Web, notamment des services Web, des ressources Web et des API Web. Les frameworks Web fournissent un moyen standard de créer et de déployer des applications Web sur le World Wide Web. Les frameworks Web visent à automatiser les mécanismes les plus courants du développement Web.
Action collective (sociologie)Une action collective est, en sociologie, un type d'action, collective, résultant d'une coordination non concertée par les agents des buts ou des formes de leurs actions individuelles. Les agents n’ont pas d’engagements les uns à l’égard des autres. La sociologie distingue deux types d'actions collectives : Lorsque la coordination est simplement induite par les circonstances, l’action collective est dite plurielle : les fins et moyens s’imposent ou sont suggérés. C'est le cas du « sauve qui peut » et des phénomènes de foule.
ÉcoconceptionL’écoconception est un terme désignant la volonté de concevoir des produits respectant les principes du développement durable et de l'environnement, en recourant , dans un contexte qui évoluerait alors vers une économie circulaire. La définition officielle qui fait foi pour l'ADEME est la suivante : À partir de celle-ci, on peut en effet décliner d'autres formulations ou déclinaisons.
Intelligence collectiveL'intelligence collective ou de groupe se manifeste par le fait qu'une équipe d'agents coopérants peut résoudre des problèmes plus efficacement que lorsque ces agents travaillent isolément . Le concept d’intelligence collective a été mobilisé pour aborder des collectifs d'agents très divers : des insectes vivant en colonies, des équipes d'humains, des robots collaboratifs, bien que dans ce dernier cas il conviendrait plutôt de parler d'intelligence distribuée. Pour Pierre Lévy, il s'agit d'une .
Économie écologiquethumb|400px|Les ressources naturelles traversent l'économie et finissent comme des déchets et de la pollution L’économie écologique est une branche de l'économie en interface avec l'écologie, étudiant l'interdépendance et la coévolution entre les sociétés humaines et les écosystèmes dans le temps et l'espace. L'intérêt de ces recherches est de pouvoir guider l'action des acteurs économiques (publics et privés) afin d'assurer un développement durable, c'est-à-dire conciliant progrès économique, justice sociale, et préservation de l'environnement, tout en mettant la priorité sur ce dernier point.
DurabilitéLes termes durabilité ou soutenabilité sont utilisés depuis les années 1990 pour désigner une configuration de la société humaine qui lui permet d'assurer sa pérennité. Une telle organisation humaine repose sur le maintien d'un environnement vivable, permettant le développement économique et social à l'échelle planétaire et, selon les points de vue, sur une organisation sociale équitable. La période de transition vers la durabilité peut se faire par le développement durable, via la transition énergétique et la transition écologique notamment.
.NET FrameworkLe .NET Framework (abr. NetFx) est un cadriciel (framework) pouvant être utilisé par un système d'exploitation Microsoft Windows et Microsoft Windows Mobile depuis la version 5 (.NET Compact Framework). Une version légère et limitée fournie avec un moteur d'exécution fonctionnant à l'intérieur d'un navigateur ou d'un périphérique mobile est disponible sous le nom de Silverlight. La version 3.0 du framework est intégrée à Windows Vista et à la plupart des versions de Windows Server 2008 ou téléchargeable depuis le site de l'éditeur Microsoft.
Dependent and independent variablesDependent and independent variables are variables in mathematical modeling, statistical modeling and experimental sciences. Dependent variables are studied under the supposition or demand that they depend, by some law or rule (e.g., by a mathematical function), on the values of other variables. Independent variables, in turn, are not seen as depending on any other variable in the scope of the experiment in question. In this sense, some common independent variables are time, space, density, mass, fluid flow rate, and previous values of some observed value of interest (e.
Collective action problemA collective action problem or social dilemma is a situation in which all individuals would be better off cooperating but fail to do so because of conflicting interests between individuals that discourage joint action. The collective action problem has been addressed in political philosophy for centuries, but was most clearly established in 1965 in Mancur Olson's The Logic of Collective Action. Problems arise when too many group members choose to pursue individual profit and immediate satisfaction rather than behave in the group's best long-term interests.
ResourceResource refers to all the materials available in our environment which are technologically accessible, economically feasible and culturally sustainable and help us to satisfy our needs and wants. Resources can broadly be classified upon their availability — they are classified into renewable and non-renewable resources. They can also be classified as actual and potential on the basis of the level of development and use, on the basis of origin they can be classified as biotic and abiotic, and on the basis of their distribution, as ubiquitous and localised (private, community-owned, national and international resources).
Systems ecologySystems ecology is an interdisciplinary field of ecology, a subset of Earth system science, that takes a holistic approach to the study of ecological systems, especially ecosystems. Systems ecology can be seen as an application of general systems theory to ecology. Central to the systems ecology approach is the idea that an ecosystem is a complex system exhibiting emergent properties. Systems ecology focuses on interactions and transactions within and between biological and ecological systems, and is especially concerned with the way the functioning of ecosystems can be influenced by human interventions.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Resource depletionResource depletion is the consumption of a resource faster than it can be replenished. Natural resources are commonly divided between renewable resources and non-renewable resources (see also mineral resource classification). Use of either of these forms of resources beyond their rate of replacement is considered to be resource depletion. The value of a resource is a direct result of its availability in nature and the cost of extracting the resource, the more a resource is depleted the more the value of the resource increases.
Résilience (écologie)alt=|vignette|Colonisation d'un sol incendié par de jeunes plants de pins d’Alep, une espèce résiliente aux feux : ses cônes sérotineux s’ouvrent sous l’action de la chaleur libérant une grande quantité de graines. La résilience écologique est la capacité d'un système vivant (écosystème, biome, population, biosphère) à retrouver les structures et les fonctions de son état de référence après une perturbation. Une faible résilience peut conduire un système écologique, à changer profondément de structure et de fonctionnement après une perturbation.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.