Optimisation de codeEn programmation informatique, l'optimisation de code est la pratique consistant à améliorer l'efficacité du code informatique d'un programme ou d'une bibliothèque logicielle. Ces améliorations permettent généralement au programme résultant de s'exécuter plus rapidement, de prendre moins de place en mémoire, de limiter sa consommation de ressources (par exemple les fichiers), ou de consommer moins d'énergie électrique. La règle numéro un de l'optimisation est qu'elle ne doit intervenir qu'une fois que le programme fonctionne et répond aux spécifications fonctionnelles.
Multiplicateur de LagrangeEn mathématiques, et plus particulièrement en analyse, la méthode des multiplicateurs de Lagrange permet de trouver les points stationnaires (maximum, minimum...) d'une fonction dérivable d'une ou plusieurs variables, sous contraintes. On cherche à trouver l'extremum, un minimum ou un maximum, d'une fonction φ de n variables à valeurs dans les nombres réels, ou encore d'un espace euclidien de dimension n, parmi les points respectant une contrainte, de type ψ(x) = 0 où ψ est une fonction du même ensemble de départ que φ.
Contrainte (mathématiques)En mathématiques, une contrainte est une condition que doit satisfaire la solution d'un problème d'optimisation. On distingue deux types de contraintes : les contraintes d'égalité et les contraintes en inégalité. L'ensemble des solutions satisfaisant toutes les contraintes est appelé l'ensemble admissible. On considère un problème d'optimisation classique : avec et et désigne le vecteur . Dans cet exemple, la première ligne montre la fonction à minimiser (appelée fonction objectif ou fonction-coût) mais aussi l'ensemble où la solution doit être recherché, ici C.
Optimisation (mathématiques)L'optimisation est une branche des mathématiques cherchant à modéliser, à analyser et à résoudre analytiquement ou numériquement les problèmes qui consistent à minimiser ou maximiser une fonction sur un ensemble. L’optimisation joue un rôle important en recherche opérationnelle (domaine à la frontière entre l'informatique, les mathématiques et l'économie), dans les mathématiques appliquées (fondamentales pour l'industrie et l'ingénierie), en analyse et en analyse numérique, en statistique pour l’estimation du maximum de vraisemblance d’une distribution, pour la recherche de stratégies dans le cadre de la théorie des jeux, ou encore en théorie du contrôle et de la commande.
Optimisation non linéaireEn optimisation, vue comme branche des mathématiques, l'optimisation non linéaire (en anglais : nonlinear programming – NLP) s'occupe principalement des problèmes d'optimisation dont les données, i.e., les fonctions et ensembles définissant ces problèmes, sont non linéaires, mais sont aussi différentiables autant de fois que nécessaire pour l'établissement des outils théoriques, comme les conditions d'optimalité, ou pour la bonne marche des algorithmes de résolution qui y sont introduits et analysés.
Optimizing compilerIn computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.
Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Interprocedural optimizationInterprocedural optimization (IPO) is a collection of compiler techniques used in computer programming to improve performance in programs containing many frequently used functions of small or medium length. IPO differs from other compiler optimizations by analyzing the entire program as opposed to a single function or block of code. IPO seeks to reduce or eliminate duplicate calculations and inefficient use of memory and to simplify iterative sequences such as loops.
Identification de systèmeL'identification de système ou identification paramétrique est une technique de l'automatique consistant à obtenir un modèle mathématique d'un système à partir de mesures. L'identification consiste à appliquer ou observer des signaux de perturbation à l'entrée d'un système (par exemple, pour un système électronique, ceux-ci peuvent être de type binaire aléatoire ou pseudo-aléatoire, galois, sinus à fréquences multiples...) et en analyser la sortie dans le but d'obtenir un modèle purement mathématique.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
Marco EvaristtiMarco Evaristti (born 1963) is a Chilean artist who has lived in Denmark since the 1980s. While a trained and practicing architect, he is best known for hosting a dinner party where the main course was agnolotti pasta that was topped with a meatball made with his own fat, removed earlier in the year in a liposuction operation. Though raised a Catholic, in his teenage years Evaristti found out he was born to a Jewish mother, which some account for the philosophical and religious themes in his work.
Nonlinear system identificationSystem identification is a method of identifying or measuring the mathematical model of a system from measurements of the system inputs and outputs. The applications of system identification include any system where the inputs and outputs can be measured and include industrial processes, control systems, economic data, biology and the life sciences, medicine, social systems and many more. A nonlinear system is defined as any system that is not linear, that is any system that does not satisfy the superposition principle.
Federico CastellónFederico Castellón, né le à Alhabia (Almeria) et mort le à New York, est un peintre, sculpteur, graveur et illustrateur de livres américain d'origine espagnole. Né Federico Cristencia de Castellón y Martínez, il arrive à Brooklyn en 1921 avec ses parents et fut naturalisé américain en 1943. En 1923, il participe à une exposition collective aux Raymond & Raymond Galleries de New York et retient l'attention de Diego Rivera qui le présente à la galerie Weyhe pour une première exposition exclusivement consacrée à son travail.
Amants en fuiteAmants en fuite (Amanti in fuga) est un film italien réalisé par Giacomo Gentilomo, sorti en 1946.
José María CanoJosé María Cano Andrés (né à Madrid, le ) est un musicien, compositeur et artiste peintre espagnol. Il fonde Mecano, groupe phare de la pop espagnole pendant la Movida, vend 25 millions d'albums (inscrit au livre des Records Guinness), puis abandonne la vie publique et devient peintre d'art contemporain à l'œuvre parfois sombre. Après des études d'architecture, il fonde en 1975 le groupe José María Cano et ses amis, lui est à la guitare et au chant, Ana Torroja son ex-petite amie aux chœurs, et son frère Nacho Cano aux claviers.
André Meyer (banquier)André Benoît Mathieu Meyer, né le dans le et mort le à Lausanne, est un banquier d'investissement français, associé de la banque Lazard, qu'il a dirigée pendant de nombreuses années. Installé aux États-Unis, il a « conquis » Wall Street, bâtissant la réputation internationale de la banque. Le magazine américain Fortune a décrit André Meyer comme « le plus important banquier d'investissement du monde occidental ». À sa mort, il a laissé une fortune évaluée à de dollars. Il est le père du physicien Philippe Meyer.
Mirabelle (London restaurant)Mirabelle was a restaurant in the Mayfair area of London. It opened in 1936, and became popular during the 1950s and 1960s, with some celebrities being regulars. Chef Marco Pierre White owned it from 1998 to 2007, and it earned a Michelin star in 2000 under head chef Charlie Rushton, and kept it until its closure for refurbishment in 2008. It remained closed until the site was demolished in 2016/17. The restaurant was first opened in 1936. The interior has a single main dining room, and two private dining rooms entitled the Pine Room and the Chinese Room.
Stratégie de régulationUne stratégie (ou topologie) de régulation est, pour un procédé industriel, l'organisation du système de contrôle-commande en vue de maintenir une grandeur physique dans une plage de tolérance donnée. Le choix de stratégie est très important dans les industries de transformation (par exemple les industries chimiques, papetières, agroalimentaires) en raison de la variabilité d'un nombre élevé de grandeurs physiques incidentes (dites « perturbations ») qui y sont présentes.
Aleksandar DerokoAleksandar Deroko (en serbe cyrillique : Александар Дероко), né le à Belgrade et mort le à Belgrade, est un architecte, un peintre et un écrivain serbe. Il fut professeur à l'université de Belgrade et membre de l'Académie serbe des sciences et des arts. En tant qu'architecte, il est un représentant du style néo-byzantin en Serbie. On lui doit, notamment, les plans de l'église Saint-Sava de Belgrade. Aleksandar Deroko effectua ses études à Belgrade, d'abord au lycée puis à la Faculté des arts et métiers de l'université de Belgrade.
Bayesian hierarchical modelingBayesian hierarchical modelling is a statistical model written in multiple levels (hierarchical form) that estimates the parameters of the posterior distribution using the Bayesian method. The sub-models combine to form the hierarchical model, and Bayes' theorem is used to integrate them with the observed data and account for all the uncertainty that is present. The result of this integration is the posterior distribution, also known as the updated probability estimate, as additional evidence on the prior distribution is acquired.
