Thèse réalisée en cotutelle avec l'Université d'Avignon. / Les problèmes d’optimisation discrète sont pour beaucoup difficiles à résoudre, de par leur nature combinatoire. Citons par exemple les problèmes de programmation linéaire en nombres entiers. Une approche couramment employée pour les résoudre exactement est l’approche de Séparation et Évaluation Progressive. Une approche différente appelée « Resolution Search » a été proposée par Chvátal en 1997 pour résoudre exactement des problèmes d’optimisation à variables 0-1, mais elle reste mal connue et n’a été que peu appliquée depuis. Cette thèse tente de remédier à cela, avec un succès partiel. Une première contribution consiste en la généralisation de Resolution Search à tout problème d’optimisation discrète, tout en introduisant de nouveaux concepts et définitions. Ensuite, afin de confirmer l’intérêt de cette approche, nous avons essayé de l’appliquer en pratique pour résoudre efficacement des problèmes bien connus. Bien que notre recherche n’ait pas abouti sur ce point, elle nous a amené à de nouvelles méthodes pour résoudre exactement les problèmes d’affectation généralisée et de localisation simple. Après avoir présenté ces méthodes, la thèse conclut avec un bilan et des perspectives sur l’application pratique de Resolution Search. / The combinatorial nature of discrete optimization problems often makes them diffi- cult to solve. Consider for instance integer linear programming problems, which are commonly solved using a Branch-and-Bound approach. An alternative approach, Resolution Search, was proposed by Chvátal in 1997 for solving 0-1 optimization problems, but remains little known to this day and as such has seen few practical applications. This thesis attempts to remedy this state of affairs, with partial success. Its first contribution consists in the generalization of Resolution Search to any discrete optimization problem, while introducing new definitions and concepts. Next, we tried to validate this approach by attempting to solve well-known problems efficiently with it. Although our research did not succeed in this respect, it lead us to new methods for solving the generalized assignment and uncapacitated facility location problems. After presenting these methods, this thesis concludes with a summary of our attempts at practical application of Resolution Search, along with further perspectives on this matter.

La gestion du trafic sur les réseaux routiers se heurte aux nouveaux enjeux du développement durable. L'objectif n'est plus seulement de proposer aux usagers des temps de parcours raisonnables. Il faut aussi limiter la consommation énergétique et les émissions des gaz à effet de serre et des polluants qui y sont associées, afin de garantir une meilleure qualité de vie pour les générations actuelle et futures. Les exigences en matière de sécurité routière sont également renforcées et visent à éliminer le nombre de tués sur les routes. Les exploitants ont donc recours à diverses stratégies, souvent innovantes, pour au moins approcher la situation idéale. Néanmoins, si les décideurs disposent d'une plus grande capacité à mettre en œuvre leurs programmes dans le domaine, ils ont également l'obligation d'en évaluer les performances à divers stades. Cette thèse analyse les nouvelles stratégies de gestion des réseaux autoroutiers en identifiant leurs domaines d'application ainsi que leurs impacts potentiels et réels. Les limites des méthodes existantes d'évaluation a priori et/ou a posteriori sont mises en évidence et une nouvelle approche est proposée. Celle-ci associe les trois principaux critères d'une mobilité durable à un seul concept: le niveau de service, largement employé par les exploitants de réseaux. La méthodologie a fait l'objet d'une validation sur différentes opérations. Par ailleurs, se basant sur les résultats obtenus sur un ensemble d'opérations d'affectation variable des voies au niveau européen, la thèse propose un outil d'aide au choix d'une stratégie d'exploitation d'un réseau en fonction de la configuration de l'infrastructure et du niveau de congestion. Cet outil se présente sous la forme d'un catalogue de cas-types applicable au réseau d'Ile-de-France. La nouvelle approche d'évaluation proposée dans cette thèse présente l'intérêt de pouvoir facilement s'intégrer aux outils de simulation du trafic. Les impacts d'une opération d'exploitation routière sur la congestion, la sécurité et l'environnement peuvent ainsi être fournis par ces simulateurs dans le cadre de l'évaluation a priori. L'intégration est également possible au niveau des systèmes des centres de gestion du trafic, pour l'évaluation a posteriori. Par ailleurs, la thèse identifie des pistes potentielles pour des investigations futures. Tout d'abord, la gravité des accidents pourrait être prise en compte dans l'approche d'évaluation proposée, qui considère pour l'instant tous les accidents corporels confondus en raison du manque de données. De même, seules quatre stratégies d'affectation variable des voies sont proposées dans le catalogue de cas-types. Celui-ci pourrait donc être étendu à l'ensemble des opérations d'exploitation en suivant la même méthodologie décrite dans la thèse / Traffic management is facing the new issues of the sustainable development concept. The objective is not only to guarantee acceptable travels times over the networks anymore. Energy consumption as well as associated greenhouse gaz and pollutant emissions must be reduced for a better quality of life for current and future generations. Standards in road safety have also been reinforced and aim at cutting off the number of accident fatalities. Thus, traffic operators use the most innovating strategies. Nevertheless, if decision-makers have greater possibilities to implement their programmes, they also are committed to assess their performance at different stages. This doctoral thesis analyses the new strategies in motorway network management by identifying their respective domains of application as well as their potential and real impacts. Limitations of existing a priori and a posteriori evaluation methods are highlighted and a new approach is proposed. It associates the three main criteria of sustainable mobility to one concept: the level of service, which is widely used by network operators. The methodology is validated on several operations. Besides, based on results obtained from the various lane management operations implemented all accross Europe, the thesis proposes a tool to help in choosing the appropriate strategy according to the motorway layout and congestion level. The tool is presented in the form of a catalog of typical cases for the Ile-de-France motorway network. The new evaluation approach proposed in this thesis may be easily integrated in the available traffic simulation tools. Hence, the impacts of a traffic management operation on congestion, safety and the environment may be obtained as output from those simulators in the framewok of an a priori evaluation. This integration is also possible in the traffic management center systems, for a posteriori evaluations. Besides, the thesis identifies potential subjects for future research. Firstly, accident severity could be considered in the proposed evaluation approach, which takes into account all injury accidents at once by now, due to a lack of data. Likewise, only four manged lane strategies are included in the catalog, which could be extended to all the existing traffic management operations through the same methodology described in the thesis

Basée sur une approche sociologique, cette recherche a pour objet l'analyse et la compréhension du parcours scolaire des élèves de Section d'Enseignement Général et Professionnel Adapté (SEGPA) à l'île de La Réunion. Nous nous sommes principalement intéressé aux élèves en fin de scolarité dans douze SEGPA. Notre approche en termes de processus nous permet de montrer que l'histoire et le parcours scolaires des élèves rencontrés ne se réduisent pas à une aventure individuelle, mais sont le résultat d'un processus global construit dont les dynamiques sont à chercher dans la combinaison et l'interaction complexes d'un grand nombre d'éléments, de phénomènes, d'événements. Ainsi, même s'il apparaît que le fonctionnement institutionnel de l'orientation influence fortement les destins scolaires, il ressort de cette recherche que ce qui rend possibles le parcours scolaire et les sorties sans qualification des élèves de SEGPA, n'est pas réductible aux seules caractéristiques personnelles des élèves, ni à celles de leur cadre familial de socialisation, et encore moins à ce qui se joue dans l'espace scolaire ; nous y voyons plutôt le produit d'un processus global dont les dynamiques interdépendantes se conjuguent, s'imbriquent, se cumulent et s'influencent. / Through a sociological approach, this research intends to analyse and better understand the school career of SEGPA students in Reunion Island. Our study mainly focuses on students about to leaving school in 12 different SEGPA. This approach, in terms of process, demonstrates that the personal history and the school career of the students we met cannot be reduced to an individual adventure, but are the result of a comprehensive process whose dynamics are to be found in the combination and interactions of a variety of elements, phenomena and events. Even though the institutional functioning of school guidance influence school destiny, this research shows that school career and the failure of students leaving SEGPA without any qualification are not reducible to the student's personal characteristics or social family context, but is due to a comprehensive process whose interrelated dynamics combine, interact, cumulate and influence each other.

Regular Coverings - Structure and Complexity Michaela Seifrtová The thesis consists of two main parts, the first concentrated on the struc- ture of graph coverings, where different properties of regular graph coverings are presented, and the second dealing with computational complexity of the covering problem. Favorable results have been achieved in this area, proving the problem is solvable in polynomial time for all graphs whose order is a prime multiple of the order of the covered graph. 1

Name of the text, you are holding in your hands, could be well translated as "Decesion making of Czech Constitutional Court and its influence on civil procedure." It consist of three very separate parts, each of them following its own topic, linked up together only with major role of Constitutional Court (further "CC"). First chapter is dedicated to a slightly controversial case, which has been widely publicly discussed. The topic is strictly procedural, it refers to the possibilty of higher courts to remove and assign single cases to different judge/panel of judges. Although under certain circumstances allowed, in this case it seemed to be an unjustifed violation of art. 38 par. 1 of Letter of human rights and I conclude arguments, which could justify such restrictive process. Second one is following last ten years of interventions in Code of Civil Procedure, namely in regulation of review of appeal. In the first part are described reasons, why CC consider decision with missing justification unconstitutional and accordingly declares corresponding part of Code of Civil Procedure unconstitutional. In second part I analyze long-term contrary judgements of CC and Czech supreme court on admissibility of review of appeal which resulted in major part of regulation being declared unconstitutional. I...

L’hybridation est un processus aux conséquences diverses sur l’évolution des espèces qui est difficile à étudier lorsque les espèces se distinguent mal au niveau morphologique. Afin de comprendre le rôle de l'hybridation dans l’évolution du complexe d’espèces des chênes blancs européen, nous avons utilisé des outils de la génétique des populations pour quantifier les flux de gènes interspécifiques contemporains et étudier le système de reproduction de quatre espèces. Un protocole d'analyse génétique rapide a été développé et des méthodes d’assignations génétiques, permettant de déterminer l’espèce de chaque arbre et d’identifier les hybrides, ont été testées par simulations. Cette méthode a été appliquée en populations naturelles révélant un pourcentage d'hybrides variant de 10 à 30% en fonction des populations et impliquant tous les couples d'espèces. Nous avons montré que les effectifs des espèces dans les parcelles influencent la dynamique d'hybridation et la directionalité de l'introgression. Nous avons étudié le système de reproduction de ces espèces en croisements contrôlées et en forêt pour expliquer le maintien des espèces malgré la présence de flux de gènes interspécifiques. L'existence de plusieurs barrières reproductives contribue à un isolement partiel des espèces qui dépend principalement de barrières pré-reproductives et prézygotiques. Une analyse de paternité pratiquée sur des descendances récoltées en forêt montre que l'hybridation de première génération est rare mais que ces hybrides F1 sont fertiles et se reproduisent principalement avec l'une des espèces parentales, produisant de nombreux rétrocroisements qui expliquent le fort pourcentage d'hybrides observé dans les populations naturelles étudiées. L'hybridation et l'introgression sont donc des processus à l'œuvre chez les chênes qui contribuent à l'évolution du complexe d'espèces. / Hybridisation is a complex process with diverse consequences on species evolution. Hybridisation is difficult to study when species are not clearly morphologically distinguished. Our aim was to study the role of hybridisation in the evolution of the European white oak species complex. We used population genetic tools to quantify contemporary interspecific gene flow and to study the mating system of four oak species. A fast genetic analysis protocol was developed and genetic assignment methods were first tested by simulation and then used to determine the species of each tree and to identify hybrids. These methods revealed that hybrid percentages were between 10 to 30% depending on the natural population studied and that all species pairs were involved. We showed that the census number of species in the stands had an influence on hybridisation dynamics and on introgression direction. We studied the mating system of these species in controlled crosses and in the forest to understand the maintenance of species despite interspecific gene flow. Several reproductive barriers contribute to a partial isolation of species, mostly pre-reproductive and prezygotic. A paternity analysis of maternal progenies sampled in the forest showed that first generation hybridisation was rare but that F1 hybrids were fertile and were mating mostly with one of the two parental species, creating numerous backcrosses that explain the high percentages of hybrids observed in the natural populations studied. Hybridisation and introgression are active processes in oaks and contribute to the evolution of the species complex.

This dissertation investigates how grammatical functions in transitive sentences (i.e., `subject' and `direct object') are distributed in written Swedish discourse with respect to morphosyntactic as well as semantic and referential (i.e., prominence-based) information. It also investigates how assignment of grammatical functions during on-line comprehension of transitive sentences in Swedish is influenced by interactions between morphosyntactic and prominence-based information. In the dissertation, grammatical functions are assumed to express role-semantic (e.g., Actor and Undergoer) and discourse-pragmatic (e.g., Topic and Focus) functions of NP arguments. Grammatical functions correlate with prominence-based information that is associated with these functions (e.g., animacy and definiteness). Because of these correlations, both prominence-based and morphosyntactic information are assumed to serve as argument interpretation cues during on-line comprehension. These cues are utilized in a probabilistic fashion. The weightings, interplay and availability of them are reflected in their distribution in language use, as shown in corpus data. The dissertation investigates these assumptions by using various methods in a triangulating fashion. The first contribution of the dissertation is an ERP (event-related brain potentials) experiment that investigates the ERP response to grammatical function reanalysis, i.e., a revision of a tentative grammatical function assignment, during on-line comprehension of transitive sentences. Grammatical function reanalysis engenders a response that correlates with the (re-)assignment of thematic roles to the NP arguments. This suggests that the comprehension of grammatical functions involves assigning role-semantic functions to the NPs. The second contribution is a corpus study that investigates the distribution of prominence-based, verb-semantic and morphosyntactic features in transitive sentences in written discourse. The study finds that overt morphosyntactic information about grammatical functions is used more frequently when the grammatical functions cannot be determined on the basis of word order or animacy. This suggests that writers are inclined to accommodate the understanding of their recipients by more often providing formal markers of grammatical functions in potentially ambiguous sentences. The study also finds that prominence features and their interactions with verb-semantic features are systematically distributed across grammatical functions and therefore can predict these functions with a high degree of confidence. The third contribution consists of three computational models of incremental grammatical function assignment. These models are based upon the distribution of argument interpretation cues in written discourse. They predict processing difficulties during grammatical function assignment in terms of on-line change in the expectation of different grammatical function assignments over the presentation of sentence constituents. The most prominent model predictions are qualitatively consistent with reading times in a self-paced reading experiment of Swedish transitive sentences. These findings indicate that grammatical function assignment draws upon statistical regularities in the distribution of morphosyntactic and prominence-based information in language use. Processing difficulties in the comprehension of Swedish transitive sentences can therefore be predicted on the basis of corpus distributions.

Les créances monétaires constituent une excellente source de crédit et les sûretés sur créances existent en droit français, droit anglais et droit vietnamien. Cependant, si elles sont reconnues de longue date en droit anglais, l’évolution de leur régime juridique est récente en droits français et vietnamien. Par ailleurs, si ces trois droits connaissent tous les sûretés traditionnelles sans transfert de propriété (nantissement de créances, charges sur les créances et hypothèque de créances), l’admission en droit français des seules fiducie sur créances et cession de créances professionnelles à titre de garantie par bordereau Dailly ainsi que le rejet par les juges vietnamiens des cessions innommées à titre de garantie démontrent que l’exploitation de la fonction de garantie de la propriété d’une créance n’est pas encore généralisée en France et au Vietnam à la différence de ce que l’on peut observer en droit anglais à travers la "mortgage"par voie d’"assignment" ou de novation. Enfin, l’hypothèque de créance de droit vietnamien et la "fixed charge" sur les "bookdebts" de droit anglais démontrent qu’une sûreté non basée sur le transfert de propriété peut être tout à fait efficace que ce soit dans un contexte de solvabilité ou de procédure collective du titulaire de la créance.Ces approches révèlent tout l’intérêt d’une entreprise doctorale mise en perspective des nombreux investissements économiques et montages financiers impliquant, de façon croissante, des acteurs économiques et partenaires bancaires internationaux dont les intérêts, les enjeux et les stratégies relèvent par construction, ou nécessité,des ordres juridiques précités. / Receivables constitute an excellent source of credit and security over receivables is available under French, English and Vietnamese law. However, if they have been recognised in English law for a long period of time, their development is quite recent in French and Vietnamese law. Moreover, although these three legal systems recognise all traditional security interests which are not based on the transfer of ownership over secur ed receivables (nantissement de créances in French law, floating and fixed charge over book debts in English law and hypothecation over debt claims in Vietnamese law), the fact that French law only recognises fiducia over receivables and assignment of trade receivables by way of security and Vietnamese judges have rejected the transfer ofownership by means of security, demonstrates that the use of functionality of ownership over receivables has not become widespread in France and in Vietnam. In contrast, in England, mortgages over receivables allow for the transfer of ownership as security, whether by way of an assignment or a novation. Finally, the hypothecation over debt claims of Vietnamese law and the fixed charge over book debts of English law show that security that does not entail the transfer of ownership can be perfectly efficient inside and outside insolvency proceedings.These approaches reveal the interests of a doctoral enterprise put in perspective from numerous economic investments and financing structures involving, in a rising fashion, economic stakeholders and international bank partners whose interests,stakes and strategies fall under (by construction, or necessity) the aforementioned jurisdictions

The thesis deals with the phenomenon of employees' global mobility in large multinational companies. Primarily, it focuses on the expatriation process from the perspective of the necessary support of expatriates by HR department. In the practical part, there are compared the current practices of four multinational organizations. The goal of the work is to choose the best practice, which the most eliminates the international assignment failure. The thesis further formulates the recommendations designed for companies implementing new policies in the area of employee global mobility. Work is processed by an analysis of secondary sources - literature, textbooks, professional journals, international studies and articles or websites of analyzed companies.

Cette thèse développe des méthodes d'optimisation pour la gestion de la Supply Chain et a pour thème central la flexibilité définie comme la capacité à fournir un service ou un produit au consommateur dans un environnement incertain. La recherche a été menée dans le cadre d'un partenariat entre Argon Consulting, une société indépendante de conseil en Supply Chain et l'École des Ponts ParisTech. Dans cette thèse, nous développons trois sujets rencontrés par Argon Consulting et ses clients et qui correspondent à trois différents niveaux de décision (long terme, moyen terme et court terme).Lorsque les entreprises élargissent leur portefeuille de produits, elles doivent décider dans quelles usines produire chaque article. Il s'agit d'une décision à long terme, car une fois qu'elle est prise, elle ne peut être facilement modifiée. Plus qu'un problème d'affectation où un article est produit par une seule usine, ce problème consiste à décider si certains articles doivent être produits par plusieurs usines et par lesquelles. Cette interrogation est motivée par la grande incertitude de la demande. En effet, pour satisfaire la demande, l'affectation doit pouvoir équilibrer la charge de travail entre les usines. Nous appelons ce problème le multi-sourcing de la production. Comme il ne s'agit pas d'un problème récurrent, il est essentiel de tenir compte du risque au moment de décider le niveau de multi-sourcing. Nous proposons un modèle générique qui inclut les contraintes techniques du problème et une contrainte d'aversion au risque basée sur des mesures de risque issues de la théorie financière. Nous développons un algorithme et une heuristique basés sur les outils standards de la Recherche Opérationnelle et de l'Optimisation Stochastique pour résoudre le problème du multi-sourcing et nous testons leur efficacité sur des données réelles.Avant de planifier la production, certains indicateurs macroscopiques doivent être décidés à horizon moyen terme tels la quantité de matières premières à commander ou la taille des lots produits. Certaines entreprises utilisent des modèles de stock en temps continu, mais ces modèles reposent souvent sur un compromis entre les coûts de stock et les coûts de lancement. Ces derniers sont des coûts fixes payés au lancement de la production et sont difficiles à estimer en pratique. En revanche, à horizon moyen terme, la flexibilité des moyens de production est déjà fixée et les entreprises estiment facilement le nombre maximal de lancements. Poussés par cette observation, nous proposons des extensions de certains modèles classiques de stock en temps continu, sans coût de lancement et avec une limite sur le nombre d'installations. Nous avons utilisé les outils standard de l'Optimisation Continue pour calculer les indicateurs macroscopiques optimaux.Enfin, la planification de la production est une décision à court terme qui consiste à décider quels articles doivent être produits par la ligne de production pendant la période en cours. Ce problème appartient à la classe bien étudiée des problèmes de Lot-Sizing. Comme pour les décisions à moyen terme, ces problèmes reposent souvent sur un compromis entre les coûts de stock et les coûts de lancement. Fondant notre modèle sur ces considérations industrielles, nous gardons le même point de vue (aucun coût de lancement et une borne supérieure sur le nombre de lancement) et proposons un nouveau modèle.Bien qu'il s'agisse de décisions à court terme, les décisions de production doivent tenir compte de la demande future, qui demeure incertaine. Nous résolvons notre problème de planification de la production à l'aide d'outils standard de Recherche Opérationnelle et d'Optimisation Stochastique, nous testons l'efficacité sur des données réelles et nous la comparons aux heuristiques utilisées par les clients d'Argon Consulting / This thesis develops optimization methods for Supply Chain Management and is focused on the flexibility defined as the ability to deliver a service or a product to a costumer in an uncertain environment. The research was conducted throughout a partnership between Argon Consulting, which is an independent consulting firm in Supply Chain Operations and the École des Ponts ParisTech. In this thesis, we explore three topics that are encountered by Argon Consulting and its clients and that correspond to three different levels of decision (long-term, mid-term and short-term).When companies expand their product portfolio, they must decide in which plants to produce each item. This is a long-term decision since once it is decided, it cannot be easily changed. More than a assignment problem where one item is produced by a single plant, this problem consists in deciding if some items should be produced on several plants and by which plants. This is motivated by a highly uncertain demand. So, in order to satisfy the demand, the assignment must be able to balance the workload between plants. We call this problem the multi-sourcing of production. Since it is not a repeated problem, it is essential to take into account the risk when making the multi-sourcing decision. We propose a generic model that includes the technical constraints of the assignment and a risk-averse constraint based on risk measures from financial theory. We develop an algorithm and a heuristic based on standard tools from Operations Research and Stochastic Optimization to solve the multi-sourcing problem and we test their efficiency on real datasets.Before planning the production, some macroscopic indicators must be decided at mid-term level such as the quantity of raw materials to order or the size of produced lots. Continuous-time inventory models are used by some companies but these models often rely on a trade-off between holding costs and setups costs. These latters are fixed costs paid when production is launched and are hard to estimate in practice. On the other hand, at mid-term level, flexibility of the means of production is already fixed and companies easily estimate the maximal number of setups. Motivated by this observation, we propose extensions of some classical continuous-time inventory models with no setup costs and with a bound on the number of setups. We used standard tools from Continuous Optimization to compute the optimal macroscopic indicators.Finally, planning the production is a short-term decision consisting in deciding which items must be produced by the assembly line during the current period. This problem belongs to the well-studied class of Lot-Sizing Problems. As for mid-term decisions, these problems often rely on a trade-off between holding and setup costs. Basing our model on industrial considerations, we keep the same point of view (no setup cost and a bound on the number of setups) and propose a new model. Although these are short-term decisions, production decisions must take future demand into account, which remains uncertain. We solve our production planning problem using standard tools from Operations Research and Stochastic Optimization, test the efficiency on real datasets, and compare it to heuristics used by Argon Consulting's clients