Добірка наукової літератури з теми "Graphique de dépendance partielle"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Graphique de dépendance partielle".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Graphique de dépendance partielle":

1

Caissie, D., and N. El-Jabi. "Étude sur le choix du seuil de troncature en analyse des séries de durées partielles : application au Canada." Revue des sciences de l'eau 5, no. 2 (April 12, 2005): 291–307. http://dx.doi.org/10.7202/705133ar.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
L'estimation des débits de crues est d'une importance majeure pour la conception des ouvrages d'art et la gestion des ressources hydriques. La mauvaise évaluation de ces débits entraîne un surdimensionnement ou sous dimensionnement des ouvrages hydrauliques, induisant ainsi un investissement excessif ou un risque démesuré d'inondations. Un modèle de données chronologiques de durée partielle est retenu pour l'étude des crues. Ce modèle nécessite d'abord l'estimation du seuil de troncature qui définit la série chronologique intermittente à analyser. Ce paramètre joue un rôle majeur dans la solution du problème malgré le peu d'importance que lui reconnaît la littérature. Le but de la présente étude est d'élaborer une méthode graphique comme guide dans le choix du seuil. Par la suite, cette méthode est appliquée à 238 stations hydrométriques au Canada. Une fois le seuil obtenu pour ces stations hydrométriques, une régionalisation utilisant l'analyse de régression a été réalisée. Ces équations régionales peuvent servir à estimer le seuil d'une nouvelle série hydrologique sans avoir à passer par la méthode graphique.
2

Hamrouni, Naïma. "La dépendance, les services publics, le care et le discours familialiste." Articles 28, no. 1 (June 1, 2015): 61–77. http://dx.doi.org/10.7202/1030994ar.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
En renouant le lien entre éthique ducareet politique égalitariste, Eva Feder Kittay propose une théorie éthico-politique qui donne l’une des justifications les plus fortes à l’inclusion au contrat social des personnes en situation de handicap et des femmes qui en ont soin. Le modèle d’État-providence ducarepromu par l’auteure s’appuie cependant sur une vision distributive de la justice de genre qui n’est que partielle. Il ravive l’idéologie familialiste s’appuyant sur une vision romancée de la vie privée et fournit du même coup des munitions aux adeptes néolibéraux de la désinstitutionnalisation. Enfin, il contribue à sceller l’alliance entre les femmes et le foyer à l’heure où le ressac antiféministe se fait le plus vivement ressentir.
3

Paris, P., C. Heteau, O. Maillet, and A. Heron. "Facteurs de risque suicidaire et troubles dépressifs." European Psychiatry 29, S3 (November 2014): 565. http://dx.doi.org/10.1016/j.eurpsy.2014.09.243.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
L’objectif de notre étude comparative est d’isoler des facteurs de risque de passage à l’acte suicidaire en cas de troubles dépressifs. Des patients adultes déprimés sont inclus dans l’étude, après 48 heures d’hospitalisation dans le service de psychiatrie, en distinguant les patients déprimés admis suite à une Tentative de Suicide (groupe « TS ») et les patients déprimés sans TS (groupe « Control »). Le bilan clinique est effectué à l’aide d’auto-questionnaires et d’hétéro-évaluations (Hamilton, coping, insight, dépendance interpersonnelle…) [1–4].Alors que les deux groupes possèdent des caractéristiques sociodémographiques ainsi que des dimensions dépressives comparables, cette étude montre que les patients « TS » sont plus isolés socialement et ont des ATCD familiaux de TS pour 67 % d’entre eux (contre 31 % chez les « Control »). Ces patients « TS » ont un pauvre insight comparé aux patients « Control » et ont une conscience partielle de leurs troubles psychiatriques. Aussi, les deux groupes se distinguent clairement selon les facteurs de coping, tout en ne montrant pas de différence au niveau de la dépendance interpersonnelle. À partir de ces données, nous proposons de nous interroger sur les modalités de sortie des patients déprimés et de discuter d’un programme spécifique de suivi ambulatoire post-crise.
4

Laniepce, A., S. Bodin, C. Lannuzel, C. Boudehent, S. Segobin, F. Vabret, F. Eustache, H. Beaunieux, G. Rauchs, and A. L. Pitel. "Troubles du sommeil dans l’alcoolo-dépendance : intérêt de l’auto-évaluation ?" European Psychiatry 30, S2 (November 2015): S106—S107. http://dx.doi.org/10.1016/j.eurpsy.2015.09.200.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les troubles du sommeil et l’alcoolo-dépendance (AD) sont deux comorbidités fréquemment associées dans les pathologies psychiatriques, telles que l’anxiété, la dépression, les troubles bipolaires ou la schizophrénie [1]. Depuis plusieurs années, les études conduites dans l’AD ont permis de mieux préciser les atteintes cognitives et cérébrales de ces patients [2]. Par ailleurs, certains résultats ont également souligné chez les AD la présence d’altérations du sommeil (36 à 72 % selon les études) qui seraient un facteur de risque de rechute [3]. En pratique clinique, l’évaluation du sommeil est principalement réalisée à l’aide de questionnaires, du fait de leur rapidité de passation et leur facilité d’analyse. L’objectif de cette étude est d’explorer les liens entre la plainte du sommeil évaluée à l’aide d’un autoquestionnaire nommé le « Pittsburg Sleep Quality Index » (PSQI) [4], les troubles cognitifs et les altérations cérébrales structurales des patients AD. Trente-neuf patients AD et 16 sujets sains recrutés au sein du protocole ALCOBRAIN ont été inclus dans la présente étude. Nos données indiquent que plus de 76 % des patients AD abstinents évoquent une plainte de sommeil. Les patients qui ne rapportent pas de plainte de sommeil présentent les troubles exécutifs les plus sévères. Par ailleurs, ces patients présenteraient également des altérations cérébrales plus importantes que ceux présentant une plainte de sommeil, notamment au sein de régions impliquées dans les capacités de métacognition. Ces résultats suggèrent qu’une forme infraclinique d’anosognosie pourrait être présente chez certains patients AD, entraînant une conscience partielle de leurs troubles du sommeil. En pratique clinique, il semble donc nécessaire de rester vigilant vis-à-vis de l’évaluation subjective du sommeil par le biais de questionnaires. Des études complémentaires sont nécessaires afin de préciser les liens entre sommeil, cognition et cerveau, notamment à l’aide de mesures objectives de la qualité du sommeil.
5

Marill, Louis. "Le secteur de la machine-outil en Allemagne : une transition à haut risque." Allemagne d'aujourd'hui N° 246, no. 4 (December 11, 2023): 57–67. http://dx.doi.org/10.3917/all.246.0057.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Employant près d’1,1 million de personnes en Allemagne et enregistrant un chiffre d’affaires de près de 354 milliards d’euros en 2022, le secteur de l’ingénierie mécanique constitue l’un des quatre piliers de son économie. En Allemagne, l’industrie manufacturière représente près de 26,6 % du PIB. De nouvelles problématiques liées à l’augmentation exponentielle des prix des énergies fossiles, conséquence directe du conflit russo-ukrainien sont venues s’agréger à celles résultant d’une conjoncture économique difficile. Cet article propose d’analyser la situation économique actuelle du secteur de la machine-outil, à l’heure où l’Allemagne est rentrée en récession depuis le début de l’année 2023 et où les prévisions émises par les économistes sont pessimistes, laissant redouter en toile de fond une délocalisation partielle de son industrie. Le manque de main d’œuvre, le bouleversement engendré par l’arrivée de nouvelles technologies, la hausse des coûts de l’énergie et la dépendance aux énergies fossiles, tels sont les grands défis auxquels le secteur de l’ingénierie mécanique doit et devra faire face.
6

Stanziani, Alessandro. "La bataille mondiale des semences." Multitudes 95, no. 2 (May 16, 2024): 147–52. http://dx.doi.org/10.3917/mult.095.0147.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
En février 2024, le Parlement européen a voté l’autorisation partielle d’utilisation des NGT ( New Genomic Techniques ). À la différence des OGM, interdites, les NGT ne visent pas à injecter dans une plante les gènes d’une autre, mais à modifier le séquençage de son propre génome en imitant l’évolution génétique « spontanée » qui ne prend plus des milliers d’années, mais quelques minutes. Du coup, elles sont peu « traçables ». Les techniques d’hybridation ont, depuis les années 50, été imposées aux agriculteurs du Nord puis du Sud au prétexte de meilleurs rendements pour nourrir le monde et, aujourd’hui, de la protection de l’environnement. En fait, les semences hybrides sont brevetées et constituent une rente exceptionnelle pour les industries chimiques et pharmaceutiques, tout en maintenant dans la dépendance de leur utilisation les paysans du monde entier astreints à l’industrialisation agricole, ce qui provoque de profondes inégalités. Il s’agit de briser le lien mortel qui soumet les États (qui leur accordent un soutien massif) aux entreprises privées qui s’approprient les brevets.
7

Toussaint, J., and S. Vareilles. "Handicap et reconquête de l'autonomie : réflexions autour du rapport entre convivialité des objets et autonomie des individus." Geographica Helvetica 65, no. 4 (December 31, 2010): 249–56. http://dx.doi.org/10.5194/gh-65-249-2010.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract. Cette contribution a pour origine une commande des services du Grand Lyon qui cherchaient à évaluer des mobiliers urbains spécifiquement conçus pour les publics malvoyants et aveugles. La question du handicap comme problème d'aménagement urbain renvoie à l'autonomie des individus handicapés dans l'espace public. Les enquêtes mobilisées montrent comment le handicap est lié à la mobilisation des objets dans l'activité sociale. Dans l'activité sociale urbaine, les dispositions corporelles et cognitives des individus s'actualisent dans les dispositifs qui constituent les environnements urbains. Les situations de handicap seraient conséquentes à une rupture dans le rapport des dispositions aux dispositifs. Elles seraient d'abord privation, partielle ou totale, de l'accès aux objets qui autorisent, par leur fonctionnement, le déroulement des activités quotidiennes nécessaires à l'existence de chacun. Cette privation conduirait ensuite à la perte d'autonomie et augmenterait la dépendance à la sollicitude d'autrui. Dans cette perspective, la reconquête de lautonomie en situation de handicap apparaît dépendante de la technique telle qu'elle exosomatise les aptitudes corporelles et cognitives et les constituent en dispositions dans le fonctionnement des objets et des dispositifs techniques et spatiaux.
8

Lorendahl, Bengt. "L’intégration de l’économie publique et de l’économie sociale et coopérative : vers un nouveau modèle suédois?" Nouvelles pratiques sociales 12, no. 1 (January 28, 2008): 41–61. http://dx.doi.org/10.7202/301436ar.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Résumé Le modèle suédois (ou plutôt scandinave) traditionnel, « caractérisé par une domination totale du secteur public dans le financement et la production de services sociaux et de sécurité sociale », est en mutation vers un nouveau modèle, caractérisé par une coopérativisation croissante et partielle du secteur public. Pour l'auteur, le tiers secteur (sans but de distribution de profit) se compose d'une part de l'économie coopérative et sociale (qui ne distribue pas des profits mais des excédents) et, d'autre part, du secteur à but non lucratif (qui ne distribue ni profits ni excédents). L'économie coopérative et sociale inclut les coopératives, les mutuelles et associations, que Salamon et Anheir décrivent comme des organisations à caractère commercial. Le secteur à but non lucratif (nonprofit ou Ideell en Suède) intègre les associations à faible activité économique et fort pourcentage de bénévoles. L'auteur décrit le passage de la subsidiarisation à la contractualisation (reprend Kramer et Grossman qui parlent de l'Etat contractuel) et décrit trois modèles : concurrentiel (ressemble à l'approche du marché parfait), de négociation (avec processus de décision consensuel et progressif) et de coopération (là où l'Etat ne peut souvent fonctionner qu'avec un seul entrepreneur). Alors que les Etats-Unis ont adopté un mélange des deux premiers modèles, la Suède fonctionne surtout selon la formule dite de coopération, dans laquelle « le contractant (souvent la coopérative formée par les anciens employés des services publics) devient l'unique fournisseur et un monopoleur ». Le monopole de financement demeure à peu près inchangé mais la production de services s'effectue par des voies diversifiées, souvent par de nouvelles et petites coopératives. À cause du mode de contractualisation de coopération, Lorendahl voit une intégration partielle de l'économie publique et de l'économie coopérative et sociale, et même une certaine dépendance du secteur public à l'égard du secteur coopératif et social (il n'y a pas d'alternative plus attrayante) mais aussi des entreprises coopératives face aux politiques, règlements et ressources publics.
9

Poizat, Bruno. "Attention à la marche!" Journal of Symbolic Logic 51, no. 3 (September 1986): 570–85. http://dx.doi.org/10.2307/2274014.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Quoi qu'en pensent certains, la déviation de Saharon Shelah n'est pas qu'une construction technique servant à un résultat plus technique encore, le théorème de classification; c'est la notion de dépendance la plus générale qui soit apparue dans un contexte mathématique, si bien que toute propriété qu'on pourra attribuer à cette déviation sera, dans le fond, une propriété de la notion même de corrélation.L'auteur de ces lignes a trouvé la vie beaucoup plus plaisante quand il a pu lire la déviation, associée à une théorie stable T, dans un ordre qu'il était facile de définir sur les types complets au-dessus des modèles de T; s'il a qualifié cet ordre de “fondamental”, ce n'est pas pour donner une emphase hors de propos à sa modeste contribution au démélage de l'échevau shelahien, mais parce que le rang U de Lascar n'était autre que le rang de fondation de l'ordre fondamental.L'ordre fondamental condense l'essentiel de la déviation, sous une forme pour ainsi dire graphique; certes, tout ne peut s'y retrouver, et en particulier des théories peuvent avoir des ordres fondamentaux semblables si on se limite aux 1-types, et fort différents si on regarde aussi les bitypes; mais il est clair que dès qu'apparait l'ordre fondamental se pose de façon urgente le problème de décrire tous les ordres qui peuvent être ordre fondamental d'une théorie stable: tant que ce programme n'est pas rempli, il reste des propriétés cachées de la déviation.
10

CHATELLIER, V., P. MAGDELAINE, and Y. TRÉGARO. "La compétitivité de la filière volaille de chair française : entre doutes et espoirs." INRA Productions Animales 28, no. 5 (January 14, 2020): 411–28. http://dx.doi.org/10.20870/productions-animales.2015.28.5.3043.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
La filière avicole française, qui bénéficie encore d’une croissance de la demande intérieure, a enregistré une baisse de sa production au cours de la dernière décennie, surtout en dindes. Cette évolution traduit une perte de compétitivité par rapport à d’autres pays, notamment européens, particulièrement structurés en termes productif et industriel et dynamiques en termes d’innovations et de réseaux commerciaux. Les importations françaises de viande de volailles, qui proviennent en priorité de pays voisins (Allemagne, Belgique et Pays-Bas) et beaucoup plus marginalement des grands acteurs du commerce mondial (Brésil, USA, Thaïlande…), sont devenues préoccupantes. Elles représentent, en 2014, plus de 30% de la consommation intérieure contre un peu moins de 15% en 2000. Si la balance commerciale de la France en viande de volailles avec les pays tiers (hors Union Européenne) demeure positive, rien n’est acquis pour le futur. A court terme, la mise à zéro des restitutions n’a pas encore produit tous ses effets et les exportateurs français ont bénéficié depuis mi-2014 d’une parité entre l’euro et le dollar favorable. A moyen terme, la concurrence entre les grandes zones exportatrices pourrait s’accentuer en raison des différentiels de compétitivité, de l’ouverture croissante des marchés et de la sensibilité des flux commerciaux à l’évolution des parités monétaires. Le nombre de pays clients de la France est limité, ce qui accentue le niveau de dépendance à des considérations ciblées d’ordre géopolitique ou économique. Enfin, l’évolution récente des règles européennes relatives aux aides à l’export peut fragiliser les produits historiquement bénéficiaires. En conclusion, une attention est portée aux principales raisons d’espérer pour la filière avicole française : une forte dynamique de la demande mondiale ; un marché français à forte valeur ajoutée sur certains créneaux (volaille de qualité) ; l’amorce d’une restructuration de la filière française qui devrait favoriser une reconquête au moins partielle du marché domestique.

Дисертації з теми "Graphique de dépendance partielle":

1

Danesh, Alaghehband Tina Sadat. "Vers une conception robuste en ingénierie des procédés. Utilisation de modèles agnostiques de l'interprétabilité en apprentissage automatique." Electronic Thesis or Diss., Toulouse, INPT, 2023. http://www.theses.fr/2023INPT0138.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
La conception de processus robustes revêt une importance capitale dans divers secteurs, tels que le génie chimique et le génie des procédés. La nature de la robustesse consiste à s'assurer qu'un processus peut constamment produire les résultats souhaités pour les décideurs, même lorsqu'ils sont confrontés à une variabilité et à une incertitude intrinsèques. Un processus conçu de manière robuste améliore non seulement la qualité et la fiabilité des produits, mais réduit également de manière significative le risque de défaillances coûteuses, de temps d'arrêt et de rappels de produits. Il améliore l'efficacité et la durabilité en minimisant les déviations et les défaillances du processus. Il existe différentes méthodes pour améliorer la robustesse du système, telles que la conception d'expériences, l'optimisation robuste et la méthodologie de la surface de réponse. Parmi les méthodes de conception robuste, l'analyse de sensibilité pourrait être appliquée comme technique de soutien pour mieux comprendre comment les modifications des paramètres d'entrée affectent les performances et la robustesse. En raison du développement rapide en science de l’ingénieure, les modèles mécanistiques ne captant pas certaines parties des systèmes complexe, peuvent ne pas être l'option la plus appropriée pour d'analyse de sensibilité. Ceci nous amène à envisager l'application de modèles d'apprentissage automatique et la combiner avec l’analyse de sensibilité. Par ailleurs, la question de l'interprétabilité des modèles d'apprentissage automatique a gagné en importance, il est de plus en plus nécessaire de comprendre comment ces modèles parviennent à leurs prédictions ou à leurs décisions et comment les différents paramètres sont liés. Étant donné que leurs performances dépassent constamment celles des modèles mécanistiques, fournir des explications, des justifications et des informations sur les prédictions des modèles de ML permettent non seulement de renforcer leur fiabilité et leur équité, mais aussi de donner aux ingénieurs les moyens de prendre des décisions en connaissance de cause, d'identifier les biais, de détecter les erreurs et d'améliorer les performances globales et la fiabilité des systèmes. Diverses méthodes sont disponibles pour traiter les différents aspects de l'interprétabilité, ces dernières reposent sur des approches spécifiques à un modèle et sur des méthodes agnostiques aux modèles.Dans cette thèse, notre objectif est d'améliorer l'interprétabilité de diverses méthodes de ML tout en maintenant un équilibre entre la précision dans la prédiction et l'interprétabilité afin de garantir aux décideurs que les modèles peuvent être considérés comme robustes. Simultanément, nous voulons démontrer que les décideurs peuvent faire confiance aux prédictions fournies par les modèles ML. Les outils d’interprétabilité ont été testés pour différents scénarios d'application, y compris les modèles basés sur des équations, les modèles hybrides et les modèles basés sur des données. Pour atteindre cet objectif, nous avons appliqué à diverses applications plusieurs méthodes agnostiques aux modèles, telles que partial dependence plots, individual conditional expectations, accumulated local effects, etc
Robust process design holds paramount importance in various industries, such as process and chemical engineering. The nature of robustness lies in ensuring that a process can consistently deliver desired outcomes for decision-makers and/or stakeholders, even when faced with intrinsic variability and uncertainty. A robustly designed process not only enhances product quality and reliability but also significantly reduces the risk of costly failures, downtime, and product recalls. It enhances efficiency and sustainability by minimizing process deviations and failures. There are different methods to approach the robustness of a complex system, such as the design of experiments, robust optimization, and response surface methodology. Among the robust design methods, sensitivity analysis could be applied as a supportive technique to gain insights into how changes in input parameters affect performance and robustness. Due to the rapid development and advancement of engineering science, the use of physical models for sensitivity analysis presents several challenges, such as unsatisfied assumptions and computation time. These problems lead us to consider applying machine learning (ML) models to complex processes. Although, the issue of interpretability in ML has gained increasing importance, there is a growing need to understand how these models arrive at their predictions or decisions and how different parameters are related. As their performance consistently surpasses that of other models, such as knowledge-based models, the provision of explanations, justifications, and insights into the workings of ML models not only enhances their trustworthiness and fairness but also empowers stakeholders to make informed decisions, identify biases, detect errors, and improve the overall performance and reliability of the process. Various methods are available to address interpretability, including model-specific and model-agnostic methods. In this thesis, our objective is to enhance the interpretability of various ML methods while maintaining a balance between accuracy and interpretability to ensure decision-makers or stakeholders that our model or process could be considered robust. Simultaneously, we aim to demonstrate that users can trust ML model predictions guaranteed by model-agnostic techniques, which work across various scenarios, including equation-based, hybrid, and data-driven models. To achieve this goal, we applied several model-agnostic methods, such as partial dependence plots, individual conditional expectations, accumulated local effects, etc., to diverse applications
2

Verret, Catherine. "Dépendance des personnes âgées au domicile : définition de la dépendance partielle et facteurs pronostiques de son évolution sur 8 ans : cohorte PAQUID, 1988-1998." Bordeaux 2, 2000. http://www.theses.fr/2000BOR23005.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Davezies, Laurent. "Four essays in econometrics." Thesis, Paris, Institut d'études politiques, 2013. http://www.theses.fr/2013IEPP0046/document.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Cette thèse se compose de quatre travaux indépendants. Le premier concerne les modèles partiellement identifiés, c'est-à-dire des modèles dans lesquels la valeur du paramètre d’intérêt ne peut pas être déduite de la distribution des données et des hypothèses du modèle. Dans certaines situations, aucune ou au contraire plusieurs valeurs du paramètre d’intérêt sont compatibles avec les données et les hypothèses du modèle. Ce travail démontre entre autre que si l’ensemble des distributions de probabilités compatibles avec le modèle est convexe, alors les parties extrêmes de ce convexe caractérise l’ensemble des distributions compatibles avec le modèle. Le deuxième travail propose une méthode basée sur une condition d’exclusion pour corriger de l’attrition endogène dans les panels. Nous appliquons cette méthode pour estimer les transitions sur le marché du travail à partir de l’enquête emploi française. Le troisième travail propose une méthode simple pour estimer un modèle logistique avec effets fixes et dépendance d’état tel qu’étudié par Honoré et Kiriazidou. Il propose également un nouvel estimateur des écarts-types qui semble avoir de meilleures propriétés à distance finie. Le quatrième travail est une évaluation sur les collèges de la politique éducative des Réseaux-Ambition-Réussite lancée en 2006. Nous exploitons une discontinuité dans la sélection des collèges pour comparer entre eux certains collèges « identiques » avant la mise en place de la politique. Les résultats de cette évaluation laissent place à peu d’optimisme concernant l’efficacité de cette politique
This work consists of four independent chapters. The first deals with partially identified models, i.e. models in which the parameter of interest is not uniquely identified from the data and the model’s assumptions. In some cases, no value of the parameter of interest is compatible with the data and the model’s assumption. And conversely in some cases, many values are compatible with the data and the model’s assumptions. This work demonstrates among other things that if the set of probability distributions compatible with the model is convex, then this set is characterized by its the extreme parts. The second paper proposes a method based on an exclusion restriction to correct endogenous attrition in panels. We apply this method to estimate the transitions on the labor market from the French Labour Force Survey. The third paper proposes a simple method to estimate a Logit model with fixed effects and state dependence as studied by Honoré and Kiriazidou. It also proposes a new method for inference. The fourth work is an evaluation of a French educational policy, implemented in 2006 whose objective is to provide extra resource to a subset of junior high schools. We exploit a discontinuity in treatment selection to build a credible counterfactual. Our results indicate some adverse treatment effects
4

Garnaud, Eve. "Dépendances fonctionnelles : extraction et exploitation." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00951619.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les dépendances fonctionnelles fournissent une information sémantique sur les données d'une table en mettant en lumière les liens de corrélation qui les unient. Dans cette thèse, nous traitons du problème de l'extraction de ces dépendances en proposant un contexte unifié permettant la découverte de n'importe quel type de dépendances fonctionnelles (dépendances de clé, dépendances fonctionnelles conditionnelles, que la validité soit complète ou approximative). Notre algorithme, ParaCoDe, s'exécute en parallèle sur les candidats, réduisant ainsi le temps global de calcul. De ce fait, il est très compétitif vis-à-vis des approches séquentielles connues à ce jour. Les dépendances satisfaites sur une table nous servent à résoudre le problème de la matérialisation partielle du cube de données. Nous présentons une caractérisation de la solution optimale dans laquelle le coût de chaque requête est borné par un seuil de performance fixé préalablement et dont la taille est minimale. Cette spécification de la solution donne un cadre unique pour décrire et donc comparer formellement les techniques de résumé de cubes de données.
5

Ngo, Van Chan. "Vérification Formelle d'un Compilateur Synchrone: de Signal vers C." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-01058041.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les langages synchrones tels que SIGNAL, LUSTRE et ESTEREL sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation erronés non détectés. Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvées en appliquant des méthodes formelles sur les programmes sources. En adoptant une approche de validation de la traduction, cette thèse vise à prouver formellement la correction d'un compilateur optimisé et industriel de SIGNAL. La preuve de correction représente dans un cadre sémantique commun le programme source et le code compilé, et formalise une relation entre eux pour exprimer la préservation des sémantiques du programme source dans le code compilé.
6

Ngô, Van Chan. "Formal verification of a synchronous data-flow compiler : from Signal to C." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-01067477.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents both source program and compiled code in a common semantic framework, then formalizes a relation between the source program and its compiled code to express that the semantics of the source program are preserved in the compiled code.

До бібліографії