Добірка наукової літератури з теми "Jeu statique"

Cet article analyse différents aspects de la poétique d’Alaclair Ensemble à la lumière de la notion polysémique de jeu, laquelle n’exclut pas celle de sérieux, mais se trouve constamment mise en tension avec elle. L’article traite successivement 1) de la jeunesse et du rajeunissement qu’évoque fréquemment l’oeuvre d’Alaclair; 2) du rapport transformateur qu’elle génère avec le désuet, le statique, le vieux jeu; 3) du foisonnement et de l’autodépréciation, deux traits connexes de la poétique du groupe; et finalement 4) de la façon dont cette oeuvre envisage la subjectivité et la collectivité, les fondant sur la complexité et les mélanges.

Résumé La « guerre commerciale » à la Johnson entre deux pays est ici analysée comme un jeu à mouvements alternatifs à la manière de Maskin et Tirole [1987] pour l'oligopole. On montre qu'il existe un état régulier stable et unique lorsque les deux pays utilisent des stratégies linéaires. La valeur d'état régulier du tarif, valeur identique pour les deux pays, correspond à sa valeur à l'équilibre de Nash statique non coopératif lorsque le coefficient d'actualisation est nul et est ensuite une fonction strictement croissante de ce coefficient.

Résumé Alors que les jeux de hasard et d’argent gagnent en accessibilité, de nombreuses études établissent un lien entre le jeu pathologique et la criminalité. La vie du joueur emprunterait un parcours précis vers la délinquance et s’inscrirait dans un cycle gambling-délinquance2. Or, l’inscription des trajectoires délinquantes dans un cycle aussi statique nous paraît discutable. Dans cet article, nous soutenons que chaque individu est soumis à l’influence de facteurs pouvant modifier la carrière du joueur et sa propension à commettre des délits. À l’aide d’une vingtaine d’entrevues, nous avons retracé la trajectoire des joueurs en abordant des thèmes susceptibles d’apporter un éclairage sur les modalités d’apparition de la délinquance chez ces individus. En analysant leur vie en termes de carrière, nous observons l’apparition, l’évolution et, parfois même, l’arrêt du jeu et des activités délictuelles. Quant aux facteurs susceptibles de moduler l’apparition des comportements délinquants, nous examinons l’influence des proches en termes d’opportunités criminelles et de dissuasion, l’effet précipitant des tensions financières et familiales, l’effet dissuasif de la peur ou, au contraire, les prédispositions caractérielles ou comportementales des joueurs et, finalement, l’ingéniosité des joueurs à financer et prolonger leurs activités de jeu. Nous souhaitons ainsi mettre en perspective le cycle gambling-délinquance en étudiant les éléments constitutifs de la carrière des joueurs pathologiques qui ont pour effet de neutraliser, retarder ou accélérer le passage à l’agir délictuel.

Une procédure d’essais de sensibilité à l’imbibition est mise en œuvre sur des sols compactés de diverses natures et de différents états. Un essai met en jeu six éprouvettes œdométriques testées en parallèle. Les éprouvettes sont chargées sous six charges indépendantes choisies en progression géométrique, puis elles sont mises en imbibition. Les déformations mesurées pendant ces deux étapes successives révèlent la sensibilité du sol compacté. La procédure d’essai est décrite, puis les sols testés. Une attention particulière est portée à la phase préliminaire de compactage statique des éprouvettes, qui fournit une contrainte de compactage. Les résultats des essais de sensibilité sont présentés sous la forme d’indices de sensibilité. Ces indices sont identifiés sur les courbes expérimentales. Des exemples sont commentés. Les expériences offrent un panorama de ces différents indices pour des sols de sensibilités diverses. Les essais montrent une grande variété de réponses. La caractérisation de l’effondrement des sols compactés est envisagée alors du point de vue des essais de sensibilité.

La description pathogénique de la crise d’hyperthermie maligne peranesthésique dessine un cadre dont il est licite de poser la question de savoir s’il pourrait également s’appliquer à certains cas de coups de chaleur d’exercice. En effet, crise hyperthermie maligne et coup de chaleur grave présentent de fortes similitudes cliniques. La recherche d’anomalies, du type de celles observées chez les patients Hypertermie maligne, chez des sujets victimes d’un coup de chaleur d’exercice, en retrouve avec une fréquence notablement plus élevée que dans la population générale, quel que soit le moyen d’investigation utilisé (test de contracture in vitro, étude métabolique par spectroscopie de résonnance magnétique statique et dynamique du phosphore 31, études génétiques…). Ces liens sont confortés par la description de plus en plus fréquente de co-occurrence de ses deux pathologies chez le même individu ou dans la même famille. La description précise des mécanismes musculaires pathogéniques de la crise hyperthermie maligne, d’une part, et en jeu dans l’exercice physique, d’autre part, permet de comprendre en quoi le coup de chaleur d’exercice peut résulter d’un dysfonctionnement de type myopathie infraclinique. Ce cadre théorique est cependant rarement constaté dans les faits.

Résumé Nous et les Autres dans une classe à Québec : des univers parallèles Une classe primaire, dans une école publique de Québec, est observée sous l'angle goff-manien. Le jeu consiste ici à ranger les acteurs au sein de deux catégories distinctes : le \oiis et les Autres. Les critères utilisés pour ce classement se basent sur les différences, réelles ou imaginaires, entre les élèves. L'enseignant agit à titre de metteur en scène. Son rôle est de maîtriser et de mettre fin au " chaos " culturel qui règne dans la classe. Sous des apparences d'anthropologue archaïque, il distribue des rôles conformes aux politiques culturelles du gouvernement. Ainsi, le .\oiis et les Autres se présentent sous la forme de catégories binaires, statiques, exclusives, voire biologiques. Cet apprentissage de la logique officielle n'est cependant pas un obstacle réel pour les élèves dont les jeux se calquent sur une logique bien particulière et propre aux enfants.

The existence of syncretisms in the marked coding patterns for variations in the domains of transitivity and voice presumably indicate the interrelation between constructions involving different event views and voice alternations and voicerelated phenomena, such as inchoative and stative resultative morphosyntax. This paper will examine deviations from the prototypical event view, variations in transitivity and their relation to voice distinctions in constructions with be and get. It will be argued that the relations between these constructions and the position they occupy in semantic space are best understood in terms of the interaction between the conceptual status of participants as 'controller' or 'affected' (Klaiman 1988) and the conceptual property 'relative elaboration of events' (Kemmer 1993; 1994), correlating with different event views (Croft 1990; 1994).

Forskning i irreligiøsitet (non-religion, sekularisering, ateisme etc.) vinder stadigt frem. Begrebet ‘det skandinaviske paradoks’ betegner det tilsyneladende modstridende faktum, at skandinaver forbliver medlemmer af deres nationale kirker, men i stadigt højere grad selv-identificerer som irreligiøse. Jeg introducerer til den hidtidige forskning begået i relation til henholdsvis irreligion og kulturreligion og argumenterer for, at vi mangler mere empiri for at kvalificere vores forståelse af disse fænomener. Jeg præsenterer derefter data fra en samling af 30 kvalitative interviews gennemført i Danmark som del af et forskningsprojekt, der delvist udbedrer manglen på data. Baseret på eksplorative analyser er det mit ønske at åbne for en debat omkring, hvordan vi opfatter og konceptualiserer irreligion, kristendom og kulturreligion i en moderne dansk kontekst. Jeg foreslår at vi, i stedet for at karakterisere individer ved hjælp af adskilte, fastforhandlede kategorier (som eksempelvis religiøs kontra irreligiøs), arbejder ud fra en forståelse af sådanne kategorier som mere dynamiske og kontekst-afhængige snarere end statiske og gensidigt udelukkende. Moderne tilgange til religion og irreligion har stadigt mere fokus på, hvordan (ir)religiøse identiteter, overbevisninger og praksisser er skiftende og situerede. Inspireret af disse tilgange argumenterer jeg for, at informanterne bevæger sig mellem forskellige identiteter afhængigt af, hvorvidt de eksempelvis udtrykker en individuel, irreligiøs identitet eller deltager i en kollektiv, kristen identitet og videre, at det er kombinationen af og muligheden for at oscillere mellem disse identiteter, vi kan betegne som kulturreligion og mere specifikt kulturkristendom i Danmark.

Forskning i irreligiøsitet (non-religion, sekularisering, ateisme etc.) vinder stadigt frem. Begrebet ‘det skandinaviske paradoks’ betegner det tilsyneladende modstridende faktum, at skandinaver forbliver medlemmer af deres nationale kirker, men i stadigt højere grad selv-identificerer som irreligiøse. Jeg introducerer til den hidtidige forskning begået i relation til henholdsvis irreligion og kulturreligion og argumenterer for, at vi mangler mere empiri for at kvalificere vores forståelse af disse fænomener. Jeg præsenterer derefter data fra en samling af 30 kvalitative interviews gennemført i Danmark som del af et forskningsprojekt, der delvist udbedrer manglen på data. Baseret på eksplorative analyser er det mit ønske at åbne for en debat omkring, hvordan vi opfatter og konceptualiserer irreligion, kristendom og kulturreligion i en moderne dansk kontekst. Jeg foreslår at vi, i stedet for at karakterisere individer ved hjælp af adskilte, fastforhandlede kategorier (som eksempelvis religiøs kontra irreligiøs), arbejder ud fra en forståelse af sådanne kategorier som mere dynamiske og kontekst-afhængige snarere end statiske og gensidigt udelukkende. Moderne tilgange til religion og irreligion har stadigt mere fokus på, hvordan (ir)religiøse identiteter, overbevisninger og praksisser er skiftende og situerede. Inspireret af disse tilgange argumenterer jeg for, at informanterne bevæger sig mellem forskellige identiteter afhængigt af, hvorvidt de eksempelvis udtrykker en individuel, irreligiøs identitet eller deltager i en kollektiv, kristen identitet og videre, at det er kombinationen af og muligheden for at oscillere mellem disse identiteter, vi kan betegne som kulturreligion og mere specifikt kulturkristendom i Danmark.

El objetivo de este texto es mostrar el papel que juegan los precios en la nueva síntesis neoclásica-keynesiana. Se muestra que aunque la nueva síntesis subraye la importancia de disponer de una teoría monetaria para recomendar políticas monetarias, ella ofrece esencialmente las mismas respuestas sobre el papel menor que juegan los precios en la macroeconomía estática; a pesar de ello, la nueva síntesis tiene el mérito de intentar regresar a las intuiciones pre-keynesianas de Wicksell, las cuales sí podrían contribuir a la búsqueda, no de mejores respuestas, sino de nuevas preguntas sobre los precios en una teoría monetaria. Palabras clave: precios, tasa de interés, equilibrio general, nueva síntesis neoclásica. Clasificación JEL: E13, E31, E43, E61, B22. Abstract: The aim of this paper is to study the role that prices play in the New Neoclassical Synthesis. It is shown that although the New Synthesis emphasizes the importance of having a monetary theory to recommend monetary policies, it essentially offers the same answers on the minor role of prices in static macroeconomics. In spite of this, the New Neoclassical Synthesis has the merit of attempting to return to the pre-Keynesian intuitions of Wicksell, which indeed could contribute to the search for not just better answers, but for new questions regarding prices in a monetary theory. Keywords: prices, interest rate, general equilibrium, New Neoclassical Synthesis. Classification JEL: E13, E31, E43, E61, B22. Résumé : L'objectif de ce texte consiste à montrer le rôle que jouent les prix dans la nouvelle synthèse néo-classique. On montre que même si la nouvelle synthèse néo-classique souligne l'importance d.avoir une théorie monétaire pour en faire des recommandations de politique monétaire, elle offre essentiellement les mêmes réponses sur le rôle assez réduit que jouent les prix dans la macroéconomie statique. Malgré cela, la nouvelle synthèse a le mérite de revenir aux intuitions pre-keynésiennes de Wicksell, lesquelles peuvent en effet contribuer à la recherche, non pas de meilleures réponses, mais de nouvelles questions sur le rôle des prix dans une théorie monétaire. Mots Clef: prix, taux d'intérêt, équilibre général, nouvelle synthèse néo-classique. Classification JEL: E13, E31, E43, E61, B22.

L'archet, élément indispensable à la production sonore des instruments à cordes frottées, a jusqu'à présent fait l'objet de peu d'études scientifiques. Le travail présenté a pour objectif de mieux comprendre son comportement mécanique en situation de jeu. À cette fin, des modèles numériques sont développés. La baguette, précontrainte par la tension du crin, est modélisée par des éléments finis de poutre en formulation corotationnelle, afin de prendre en compte la non-linéarité géométrique inhérente au problème. Un premier modèle (2D) rend compte du comportement de l'archet dans le plan. Il donne lieu à une étude numérique sur une géométrie standard, visant à mettre en évidence l'influence des paramètres de fabrication et de réglage sur le comportement de l'archet sous tension. Un second modèle (3D) intègre le caractère tridimensionnel des sollicitations rencontrées en situation de jeu, prenant en compte la flexion latérale de la baguette. Une procédure non destructive de détermination des propriétés mécaniques du bois et de la mèche, basée sur une méthode inverse utilisant le modèle 2D, est proposée. À titre de validation expérimentale, des résultats numériques obtenus avec le modèle 3D sont confrontés aux résultats de mesures sur deux archets, pour différents réglages du cambre et de la tension. L'effet de la précontrainte sur la raideur de flexion latérale de la baguette est mis en exergue. Le bon accord observé confère au modèle un caractère prédictif, offrant des perspectives d'utilisation en tant qu'outil d'aide à la facture. Par ailleurs, la stabilité de l'archet est un problème que les facteurs doivent prendre en considération. Un modèle phénoménologique basé sur un système mécanique simple est présenté. Il vise à donner certaines tendances sur les conditions d'apparition d'une instabilité par bifurcation ou par point limite, en faisant une analogie avec les propriétés de l'archet. Le calcul numérique du comportement pré- et post-critique de l'archet permet d'identifier des cas d'instabilité similaires, dont on discute les conséquences possibles sur le jeu et la facture. Dans une dernière partie, des essais en jeu axés sur les réglages du cambre et de la tension sont effectués par des musiciens. Les résultats de ces tests subjectifs tendent à montrer l'influence des paramètres de réglage examinés dans l'appréciation des qualités de jeu.

L'archet, élément indispensable à la production sonore des instruments à cordes frottées, a jusqu'à présent fait l'objet de peu d'études scientifiques. Le travail présenté a pour objectif de mieux comprendre son comportement mécanique en situation de jeu. À cette fin, des modèles numériques sont développés. La baguette, précontrainte par la tension du crin, est modélisée par des éléments finis de poutre en formulation corotationnelle, afin de prendre en compte la non-linéarité géométrique inhérente au problème. Un premier modèle (2D) rend compte du comportement de l'archet dans le plan. Il donne lieu à une étude numérique sur une géométrie standard, visant à mettre en évidence l'influence des paramètres de fabrication et de réglage sur le comportement de l'archet sous tension. Un second modèle (3D) intègre le caractère tridimensionnel des sollicitations rencontrées en situation de jeu, prenant en compte la flexion latérale de la baguette. Une procédure non destructive de détermination des propriétés mécaniques du bois et de la mèche, basée sur une méthode inverse utilisant le modèle 2D, est proposée. À titre de validation expérimentale, des résultats numériques obtenus avec le modèle 3D sont confrontés aux résultats de mesures sur deux archets, pour différents réglages du cambre et de la tension. L'effet de la précontrainte sur la raideur de flexion latérale de la baguette est mis en exergue. Le bon accord observé confère au modèle un caractère prédictif, offrant des perspectives d'utilisation en tant qu'outil d'aide à la facture. Par ailleurs, la stabilité de l'archet est un problème que les facteurs doivent prendre en considération. Un modèle phénoménologique basé sur un système mécanique simple est présenté. Il vise à donner certaines tendances sur les conditions d'apparition d'une instabilité par bifurcation ou par point limite, en faisant une analogie avec les propriétés de l'archet. Le calcul numérique du comportement pré- et post-critique de l'archet permet d'identifier des cas d'instabilité similaires, dont on discute les conséquences possibles sur le jeu et la facture. Dans une dernière partie, des essais en jeu axés sur les réglages du cambre et de la tension sont effectués par des musiciens. Les résultats de ces tests subjectifs tendent à montrer l'influence des paramètres de réglage examinés dans l'appréciation des qualités de jeu
The bow, which is essential to produce the sound of bowed string instruments, has been little studied. The present work aims to better understand its mechanical behavior in playing situation. To this end, numerical models are developped. The stick, which is prestressed due to hair tension, is modelized by beam finite elements. A corotational formulation is adopted to take into account geometric nonlinearity. A first model (2D) concerns the in-plane behavior of the bow. It is used within a numerical study aiming at showing the influence of making and adjusting parameters on the tightened bow. A second model (3D) takes into account out-of-plane loading that makes the stick bend laterally. A non-destructive procedure to determine mechanical properties of wood and hair is proposed. It is based on an inverse method using the 2D model. As an experimental validation, numerical results obtained with the 3D model are confronted to measurement on two bows, for different settings of camber and hair tension. The effect of prestress on lateral bending stiffness is highlighted. A good agreement is observed. Thus, the model can be considered as predictive and might be used as an aid to bow making. Furthermore, the stability of a bow is a problem considered by bow makers. A phenomenological model based on a simple mechanical system is presented. It aims to give tendancies on conditions at which bifurcation or limit point instability can occur, by drawing an analogy with the bow. The numerical computation of pre- and post-critical behavior of the bow shows similar instability cases. Their possible consequences on playing and making are discussed. Finally, playing tests with musicians are carried out, focusing on the adjustment of camber and hair tension. The results tend to show the influence of the considered adjustment parameters on the assessment of playing qualities

Cette thèse étudie l’impact socio-économique du changement climatique à l’aide de la théorie des jeux et a pour but de déterminer des stratégies de réduction d’émission au niveau des gouvernements. La thèse commence par une introduction informelle, offrant des perspectives sur la modélisation des problèmes liés au changement climatique à l’aide de la théorie des jeux et de l’optimisation, les deux piliers méthodologiques de la thèse. Le Chapitre 2 propose un traitement formel, présentant des préliminaires essentiels pour les chapitres suivants. Les définitions de la théorie des graphes et les concepts clés de la théorie des jeux, cruciaux pour la thèse, sont présentés dans ce chapitre fondamental. Le Chapitre 3 présente la motivation du sujet de recherche abordé dans cette thèse et résume les contributions proposées. Il examine de manière critique les limites des stratégies actuelles de réduction des émissions, principalement motivées par des considérations économiques à court terme, empêchant les efforts mondiaux. Ensuite, nous présentons une synthèse approfondie sur les modèles de changement climatique et les cadres théoriques utilisés pour leur analyse. Les modèles climatiques, inspirés des projections du GIEC, font l’objet d’une analyse afin de mettre en lumière les circonstances qui influencent le comportement des nations en matière de réduction des émissions. Dans le Chapitre 4, nous formulons un jeu statique sous forme stratégique, nous permettant d’étudier le processus de prise de décision et de mettre en évidence un comportement écologiquement responsable. Pour atteindre cet objectif, nous effectuons une analyse complète des équilibres de Nash du jeu. Nous fournissons des conditions sous lesquelles l’équilibre est unique et analysons numériquement l’impact de différents choix de modélisation. Le chapitre se termine par une brève discussion résumant les messages clés de cette partie. L’étude se poursuit dans le Chapitre 5, où le problème du changement climatique est présenté sous la forme d’un jeu d’imitation. Dans cette configuration, les joueurs minimisent une fonction d’utilité comprenant des avantages socio-économiques, des dommages liés au changement climatique globale et un terme d’imitation capturant l’influence des autres joueurs. L’analyse de l’équilibre de Nash révèle une variété de comportements des joueurs face à la prise de conscience du changement climatique et à l’influence mutuelle. Des paramètres clés, tels que le poids de l’imitation, sont analysés numériquement, soulignant l’importance de la coordination et de la coopération dans l’atténuation du changement climatique. Cette thèse étudie l’interaction complexe entre les considérations climatiques et la théorie des jeux, offrant une compréhension nuancée des stratégies mondiales de réduction des émissions. Les perspectives fournies contribuent au domaine de la recherche de solutions durables pour faire face au réchauffement climatique
This thesis delves into the study of climate change by the tools of game theory, investigating strategies for global emissions reduction. The journey begins with an informal introduction, providing insights into the modeling of climate change problems using game theory and optimization—the twin pillars of the thesis. Chapter 2 provides a formal treatment, presenting preliminaries which are instrumental for the subsequent chapters. Graph theory definitions and key concepts in game theory, pivotal to the thesis, are revisited in this foundational chapter. Chapter 3 outlines the motivation for the research subject addressed in this thesis and summarizes the proposed contributions. It critically examines the limitations of the current emission reduction strategies, primarily driven by short-term economic considerations, blocking global efforts. Next, we present a thorough survey of the climate change models and the theoretical frameworks employed for their analysis. Climate models, inspired by IPCC projections, are examined to unravel the circumstances influencing nations’ behavior in emissions reduction. In Chapter 4, we formulate a static game model in the strategic form, allowing us to study the decision-making process and exhibit environmentally conscious behavior. To reach this goal, we conduct a complete analysis of the Nash equilibria of the game. We provide conditions under which the equilibrium is unique and numerically analyze the impact of different modeling choices. The Chapter ends with a brief discussion summarizing the takeaway messages of this part. The study continues in Chapter 5, where the climate change problem is cast as an imitation game. In this setup, the players are minimizing a utility function including socio-economic benefits, global climate change damage, and an imitation term capturing the influence of the other players. The Nash equilibrium analysis unveils a variety of players’ behaviors under climate change awareness and mutual influence. Key parameters, such as the weight of imitation, are numerically analyzed, emphasizing the importance of coordination and cooperation in mitigating climate change. This thesis explores the complex interplay between climate considerations and game theory, providing a nuanced understanding of global emissions reduction strategies. The provided insights contribute to the broad subject of finding sustainable solutions for addressing the urgent issue of global warming

L'interprétation abstraite est une méthode générale qui permet de déterminer de manière automatique des invariants de programmes. Cette méthode conduit à résoudre un problème de point fixe non linéaire de grande taille mais qui possède des propriétés de monotonie. Ainsi, déterminer des bornes sur les valeurs prises par une variable au cours de l'exécution d'un programme, est un problème de point fixe équivalent à un problème de jeu à deux joueurs, à somme nulle et avec options d'arrêt. Cette dernière observation explique la mise en oeuvre d'algorithmes d'itérations sur les politiques. Dans un premier temps, nous avons généralisé les domaines numériques polyédriques par un domaine numérique abstrait permettant de représenter des invariants non-linéaires. Nous avons défini une fonction sémantique abstraite sur ce domaine à partir d'une correspondance de Galois. Cependant, l'évaluation de celle-ci est aussi difficile qu'un problème d'optimisation globale non-convexe. Cela nous a amené à définir une fonction sémantique relâchée, construite à partir de la théorie de la dualité, qui sur-approxime de la fonction sémantique abstraite. La théorie de la dualité a également motivé une construction d'une itération sur les politiques dynamique pour calculer des invariants numériques. En pratique pour des programmes écrits en arithmétique affine, nous avons combiné la relaxation de Shor et l'information des fonctions de Lyapunov quadratique pour évaluer la fonction sémantique relâchée et ainsi générer des invariants numériques sous forme d'ellipsoïdes tronquées. Le deuxième travail concerne l'itération sur les politiques et le calcul du plus petit point fixe qui fournit l'invariant le plus précis. Nous avons raffiné l'itération sur les politiques afin de produire le plus petit point fixe dans le cas des jeux stochastiques. Ce raffinement repose sur des techniques de théorie de Perron-Frobenius non-linéaire. En effet, la fonction sémantique abstraite sur les intervalles peut être vue comme un opérateur de Shapley en information parfaite: elle est semidifférentiable. L'approche conjointe de la semidifférentielle et des rayons spectraux non linéaires nous a permis, dans le cas des contractions au sens large de caractériser le plus petit point fixe. Cette approche mène à un critère d'arrêt pour l'itération sur politique dans le cas des fonctions affines par morceaux contractantes au sens large. Quand le point fixe est non minimal, le problème consiste à exhiber un point fixe négatif non nul de la semidifférentielle. Ce vecteur conduit à une nouvelle politique qui fournit un point fixe strictement plus petit que le point fixe courant. Cette approche a été appliquée à quelques exemples de jeux stochastiques à paiements positifs et de vérification de programmes
The abstract interpretation is a general method to compute automatically program invariants. This method leads to solve a non-linear fixed point equation involving a monotone function. Determining numerical invariants in order, for instance, to give bounds on the values taken by the variables of a program, turns out to be equivalent to solving a two-player zero-sum game with stopping options. This observation allows one to transport algorithms from game theory, like policy iteration, to abstract interpretation. The first contribution of this thesis is the generalisation of these abstract polyhedraic numerical domains. We construct a general abstract numerical domain which encompasses all the classical ones. We define an abstract semantic function in terms of a Galois connection. However, evaluating the abstract semantic function is as hard as solving a non-convex global optimization problem. Hence, we define a second semantic function called relaxed semantics constructed from duality theory, which provides a safe overapproximation of the abstract semantic function. The duality theory also motivates the construction of a dynamical policy iteration algorithm to compute numerical invariants. In practice for programs written in affine arithmetic, we combine Shor's relaxation scheme and Lyapunov functions to evaluate the relaxed semantic function and so generate numerical invariants which are the form of truncated ellipsoids. The second contribution concerns policy iteration and computation of the smallest fixed point problem which provides the more precise invariant. We refined the policy iteration algorithm in order to compute the smallest fixed point, in the case of stochastic games. The refinement is based on non-linear Perron-Frobenius theory. However, since the abstract semantic function in the case of interval domain can be interpreted as a Shapley operator in perfect information, we use a weaker notion of differentiability: it is semidifferentiable. The approach by the semiderivatives combined by non-linear spectral radius allows us to characterise the fixed points in the non-expansive case. In the case of non-expansive and piecewise affine (Shapley) operators, the characterisation leads to a termination criteria for policy iteration. When the fixed point found by policy iteration is not minimal, the problem is reduced to finding a non-positive fixed point for a semiderivative map. This vector provides a descent direction which leads to a new policy and then to a strictly smaller fixed point. This approach has also been applied to typical examples arising from game or program verification problems

L'interprétation abstraite est une méthode générale qui permet de déterminer de manière automatique des invariants de programmes. Cette méthode conduit à résoudre un problème de point fixe non linéaire de grande taille mais qui possède des propriétés de monotonie. Ainsi, déterminer des bornes sur les valeurs prises par une variable au cours de l'exécution d'un programme, est un problème de point fixe équivalent à un problème de jeu à deux joueurs, à somme nulle et avec options d'arrêt. Cette dernière observation explique la mise en oeuvre d'algorithmes d'itérations sur les politiques. Dans un premier temps, nous avons généralisé les domaines numériques polyédriques par un domaine numérique abstrait permettant de représenter des invariants non-linéaires. Nous avons défini une fonction sémantique abstraite sur ce domaine à partir d'une correspondance de Galois. Cependant, l'évaluation de celle-ci est aussi difficile qu'un problème d'optimisation globale non-convexe. Cela nous a amené à définir une fonction sémantique relâchée, construite à partir de la théorie de la dualité, qui sur-approxime de la fonction sémantique abstraite. La théorie de la dualité a également motivé une construction d'une itération sur les politiques dynamique pour calculer des invariants numériques. En pratique pour des programmes écrits en arithmétique affine, nous avons combiné la relaxation de Shor et l'information des fonctions de Lyapunov quadratique pour évaluer la fonction sémantique relâchée et ainsi générer des invariants numériques sous forme d'ellipsoïdes tronquées. Le deuxième travail concerne l'itération sur les politiques et le calcul du plus petit point fixe qui fournit l'invariant le plus précis. Nous avons raffiné l'itération sur les politiques afin de produire le plus petit point fixe dans le cas des jeux stochastiques. Ce raffinement repose sur des techniques de théorie de Perron-Frobenius non-linéaire. En effet, la fonction sémantique abstraite sur les intervalles peut être vue comme un opérateur de Shapley en information parfaite: elle est semidifférentiable. L'approche conjointe de la semidifférentielle et des rayons spectraux non linéaires nous a permis, dans le cas des contractions au sens large de caractériser le plus petit point fixe. Cette approche mène à un critère d'arrêt pour l'itération sur politique dans le cas des fonctions affines par morceaux contractantes au sens large. Quand le point fixe est non minimal, le problème consiste à exhiber un point fixe négatif non nul de la semidifférentielle. Ce vecteur conduit à une nouvelle politique qui fournit un point fixe strictement plus petit que le point fixe courant. Cette approche a été appliquée à quelques exemples de jeux stochastiques à paiements positifs et de vérification de programmes.

La modélisation d'une interaction stratégique nécessite de porter une attention particulière aux connaissances qu'ont les joueurs de la situation à laquelle ils participent. En cas d'interaction répétée, ces connaissances sont amenées à évoluer au cours du temps. Cette thèse s'interesse aux aspects stratégiques de l'évolution de ces informations. Elle contient cinq chapitres. Les deux premiers concernent l'existence d'équilibres uniformes de jeux répétés à manque d'information d'un seul côté (introduits par Aumann et Maschler). Le problème principal est alors de déterminer quelle quantité d'information peut être transmise à l'équilibre. L'existence d'équilibres est obtenue dans certains cas, grâce à des preuves d'analyse convexe et l'emploi de techniques statistiques. On étudie ensuite les façons stratégiques, au sens robustes aux déviations de la part d'un seul joueur, de transmettre une information. Le troisième chapitre introduit une classe de jeux répétés dits de proximité, et résout essentiellement le problème de la déection d'une déviation survenant au cours du jeu. Enfin, les deux derniers chapitres sont consacrés à la possibilité de transmettre de façon stratégique, déterministe ou probabiliste, une information concernant la situation initiale d'une intéraction. Des caractérisations sont données, et des liens avec l'existence d'équilibres complètement révélateurs dans les jeux répétés à information incomplète sont exhibés.

Poremećaji hoda i poremećaji ravnoteže uobičajeni su klinički problemi za starije osobe. Uzroci poremećaja hoda su individualni, često zbog fiziološkog procesa starenja i somatskih bolesti. Poremećaji hoda dovode do gubitka lične slobode, pada i povreda i rezultiraju značajnim smanjenjem kvaliteta života. Kod starijih osoba, kontrola statičke i dinamičke kontrole položaja i ritma je poremećena, što dovodi do izmijenjenog hoda, smanjuje se korak, povećava se širina hoda kako bi se održala ravnoteža, gornji dio tijela se savija prema naprijed da bi se održala ravnoteža, ruke se ne pomiču dok hodaju, hod je nepravilan, teže je započeti prve korake nakon sjedenja ili stajanja, kao i okretanja. Ako je moguće, najbolje je tretirati etiološki faktor, tj. osnovne bolesti, kao što su parkinsonizam, neki metabolički poremećaji itd. Treba voditi računa o nusefektima nekih lijekova, naročito antiparkinsonika, sedativa, hipnotika i antidepresiva. Također je potrebno uključiti i druge specijaliste, kao što su reumatolozi, fizijatri i fizioterapeuti, kao i internisti, kardiolozi i dijabetolozi. Kognitivne strategije također mogu biti korisne, na primjer usmjeravanje pažnje na svaki pojedinačni korak, a ne čin hodanja kao takav, svjesno pokušavajući napraviti pojedinačne velike korake, ili mentalno brojanje, kao i upotreba pomagala za hodanje.

Dinaminis žaidimo sudėtingumo lygio prisitaikymas (angl. – dynamic difficulty adjustment), dar kitaip vadinamas – dinaminis žaidimo sudėtingumo reguliavimas (angl. – dynamic game balancing), yra procesas, kai automatiškai keičiami žaidimo parametrai, scenarijus ir elgesys realiu laiku, atsižvelgiant į žaidėjo gebėjimus, tam, kad naudotojui žaidimas netaptų nuobodus, jeigu jis yra per lengvas, arba nekeltų per didelio susierzinimo, jeigu jis yra per sudėtingas. Dėl to jau beveik tris dešimtmečius žaidimų kūrėjai kuria įvairius metodus, galinčius padėti išspręsti šią užduotį. Dėl šios priežasties šiuo metu yra daugybė metodų, kuriuos taikant bandoma kuo geriau pritaikyti žaidimo sudėtingumo lygį pagal žaidėjo turimus įgūdžius, tačiau visi metodai turi tam tikrų trūkumų ir skirtingų privalumų. Šie metodai pagal savo paskirtį gali būti suskirstyti į dvi grupes: tuos, kurie yra skirti daugelio veikėjų žaidimams, ir tuos, kurie skirti vieno žaidėjo. Šiame straipsnyje glaustai pristatyti pastarajai grupei priklausantys metodai bei palyginti tarpusavyje. Tuomet buvo pasirinkti metodai, geriausiai atitinkantys šio tipo metodams iškeltus reikalavimus, ir papildyti statine lygio parinktimi tam, kad būtų galima išspręsti populiarią šių metodų problemą – žaidėjų sukčiavimą.