Les systèmes embarqués en temps réel (RTES) sont soumis à des contraintes temporelles. Dans ces systèmes, l'exactitude du résultat ne dépend pas seulement de l'exactitude logique du calcul, mais aussi de l'instant où ce résultat est produit (Stankovic, 1988). Les systèmes doivent être hautement prévisibles dans le sens où le temps d'exécution pire-cas de chaque tâche doit être déterminé. Une analyse d’ordonnancement est effectuée sur le système pour s'assurer qu'il y a suffisamment de ressources pour ordonnancer toutes les tâches. La mémoire cache est un composant matériel utilisé pour réduire l'écart de performances entre le processeur et la mémoire principale. L'intégration de la mémoire cache dans un RTES améliore généralement la performance en terme de temps d'exécution, mais malheureusement, elle peut entraîner une augmentation du coût de préemption et de la variabilité du temps d'exécution. Dans les systèmes avec mémoire cache, plusieurs tâches partagent cette ressource matérielle, ce qui conduit à l'introduction d'un délai de préemption lié au cache (CRPD). Par définition, le CRPD est le délai ajouté au temps d'exécution de la tâche préempté car il doit recharger les blocs de cache évincés par la préemption. Il est donc important de pouvoir prendre en compte le CRPD lors de l'analyse d’ordonnancement. Cette thèse se concentre sur l'étude des effets du CRPD dans les systèmes uni-processeurs, et étend en conséquence des méthodes classiques d'analyse d’ordonnancement. Nous proposons plusieurs algorithmes d’affectation de priorités qui tiennent compte du CRPD. De plus, nous étudions les problèmes liés à la simulation d'ordonnancement intégrant le CRPD et nous établissons deux résultats théoriques qui permettent son utilisation en tant que méthode de vérification. Le travail de cette thèse a permis l'extension de l'outil Cheddar - un analyseur d'ordonnancement open-source. Plusieurs méthodes d'analyse de CRPD ont été également mises en oeuvre dans Cheddar en complément des travaux présentés dans cette thèse. / Real-time embedded systems (RTES) are subject to timing constraints. In these systems, the total correctness depends not only on the logical correctness of the computation but also on the time in which the result is produced (Stankovic, 1988). The systems must be highly predictable in the sense that the worst case execution time of each task must be determined. Then, scheduling analysis is performed on the system to ensure that there are enough resources to schedule all of the tasks.Cache memory is a crucial hardware component used to reduce the performance gap between processor and main memory. Integrating cache memory in a RTES generally enhances the whole performance in term of execution time, but unfortunately, it can lead to an increase in preemption cost and execution time variability. In systems with cache memory, multiple tasks can share this hardware resource which can lead to cache related preemption delay (CRPD) being introduced. By definition, CRPD is the delay added to the execution time of the preempted task because it has to reload cache blocks evicted by the preemption. It is important to be able to account for CRPD when performing schedulability analysis.This thesis focuses on studying the effects of CRPD on uniprocessor systems and employs the understanding to extend classical scheduling analysis methods. We propose several priority assignment algorithms that take into account CRPD while assigning priorities to tasks. We investigate problems related to scheduling simulation with CRPD and establish two results that allows the use of scheduling simulation as a verification method. The work in this thesis is made available in Cheddar - an open-source scheduling analyzer. Several CRPD analysis features are also implemented in Cheddar besides the work presented in this thesis.

This master’s thesis introduces factoring as a possibility of financing business activities. It describes factoring as a form of finance business transactions, analyses selected company and proposes improvement its finance situation by means of factoring. And then master’s thesis compares financing by means of bank overdraft, which used selected company before, with financing by means of factoring, of purpose to use given finance.

Secretion is the passage of macromolecules across cellular membranes. In bacteria, secretion is essential for virulence and survival. Gram-negative bacteria use specialized envelope-spanning multiprotein complexes to secrete macromolecules called type IV secretion system (T4SS). T4SSs mediate the secretion of monomeric proteins, multisubunit protein toxins and nucleoprotein complexes. Also, they contribute to the horizontal spread of plasmid-encoded antibiotic resistance genes. Consequently, they are potential targets for antivirulence drugs. Gram- negative bacteria have two membranes that the secretion complex spans. As a result, the T4SS consists of proteins inserted in the membranes and of soluble proteins that face into or out of the bacterial cell. The details of channel assembly and structure are not known, although recent advances have revealed the structure of the core secretion channel. VirB8 is an inner membrane protein of the complex that interacts with many other T4SS subunits and works as nucleation factor for T4SS channel assembly. Biophysical studies and NMR experiments in particular were conducted to characterize the structural aspects of VirB8 interactions. Dynamic regions of VirB8 during monomer-to-dimer transition were identified by NMR spectroscopy. X-ray crystal and NMR analyses revealed structural differences at the helical regions (α-1 and α-4) of wild-type VirB8 and its monomeric variant VirB8M102R. Fragment screening identified small molecules binding to the wild-type and monomeric variant. In silico docking analyses suggested that the surface groove in the VirB8 structure is important for effective binding of the small molecules. NMR experiments and biochemical assays demonstrated that the β-sheet domain (β1 in particular) is the binding interface of VirB8 for the interaction with VirB10. The identified interface has functional importance for T4SS-mediated conjugation. In addition, I used NMR spectroscopy to identify changes in the structure of VirB8 upon interaction with VirB5. Altogether, structural and biochemical studies on periplasmic and full length VirB8 enabled us to characterize the sequence of interactions between VirB8 and other VirB proteins during T4SS complex assembly and function. The results of this research may lead to an innovative strategy for the development of novel antimicrobial drugs. / La sécrétion est le passage de macromolécules à travers les membranes cellulaires. Chez les bactéries, la sécrétion est essentielle pour la virulence et la survie. Les bactéries à Gramnégatif utilisent le système de sécrétion de type IV (SST4) pour la sécrétion de toxines et de nucléoprotéines. Les SST4 contribuent notamment à la propagation des gènes de résistance aux antibiotiques. Pour cette raison, les composants du SST4 sont des cibles potentielles pour le développement de médicaments antivirulence. Le SST4 est un complexe protéique qui s’étend entre la double membrane de la bactérie à Gram-négatif. Les protéines qui le composent sont insérées dans les membranes cellulaires ou solubles. Bien que la structure du pore central du SST4 ait été résolue récemment, les détails de l'assemblage et la structure de ce complexe ne sont pas connus. VirB8 est une protéine de la membrane interne qui interagit avec de nombreuses autres sous-unités du SST4. Il s’agit d’un acteur central de l'assemblage du SST4. Des études biophysiques, et notamment des expériences de RMN ont ainsi été réalisées pour caractériser les aspects structuraux des interactions avec VirB8. Des regions dynamiques dans la structure de VirB8 ont été identifiées par spectroscopie RMN lors de la transition entre la forme monomérique et dimérique. Les analyses de cristallographie et de RMN ont révélé des différences structurales dans les régions hélicoïdales (α1 et α4) de VirB8 wild-type et du variant monomérique VirB8M102R. Le criblage de fragments a permis d’identifier de petites molécules capables de se lier à VirB8 ainsi qu’au variant monomérique. Les analyses d’arrimage moléculaire in silico suggèrent que la rainure de surface dans la structure VirB8 est importante pour laliaison de ces petites molécules. Les expériences de RMN et les essais biochimiques révèlent que le feuillet β (β1 en particulier) constitue l'interface d’interaction entre VirB8 et VirB10. Cette interface d’interaction est d’ailleurs importante pour la conjugaison du SST4. De plus, j'ai identifié des changements dans la structure de VirB8 lors de l'interaction avec VirB5. Les études sur la protéine VirB8 nous ont permis de caractériser la séquence d'événements entre VirB8 et d'autres protéines VirB, régulant l'assemblage et la fonction du SST4.

Au Gabon, le Censeur de vie scolaire (CVS) est nommé en Conseil de Ministres. C’est une fonction qui suscite un certain nombre de préoccupations au regard de l’environnement entropique dans lequel elle s’exerce, de sa méconnaissance et incompréhension par les différents acteurs et surtout à cause de l’inexistence d’un cadre institutionnel et fonctionnel clairement défini. L’environnement entropique pose la question des valeurs dont l’élève est imprégné et celle du pragmatisme éthique du CVS, vu qu’il a la responsabilité de donner aux élèves la capacité de « s’élever » eux-mêmes sur les plans physique, intellectuel, moral, mental et pourquoi pas spirituel. Par une approche de l’étendue du mouvement profond de l’éthique, de la responsabilité vocationnel, par des valeurs caractéristiques, il a été possible de comprendre, à travers l’analyse du contenu des entretiens avec les sujets, l’éthique des sujets. C’est une éthique aux variations et vibrations fréquentielles faibles, propres à chaque sujet. Elle présente aussi des convergences vers une transversalité à tous les sujets. A cette éthique, nous proposons une amélioration de l’environnement de travail des sujets tout comme une croissance et un dépli de leur ipséité professionnelle. Nous entrevoyons de mettre l’instabilité et la faiblesse des interactions des sujets au profit d’un mouvement réenchanteur de leur réalité, par l’action non intentionnelle. Les sujets pourraient se défaire du moi observateur pour accepter l’instabilité qu’occasionne le changement constant de ce moi. / In Gabon, the deputy Head master in charge of life and discipline reaches that function after a nomination decided in a council of ministers. This function raises some concern related to the entropic environment in which the activity is practiced.The entropic setting with reference to the learner raises the question of the values the latter is marked with. As for the function of deputy headmaster in charge of school life and discipline, the concern is that of his/her ethical pragmatism, given that he/she has the duty to conduct the training of the pupils while giving them the opportunity to “arise” physically, intellectually, morally and if possible, spiritually. As for the approaches in this dissertation, we dealt with the complexity of the deep movement of ethics, the responsibility at vocational and meta-levels and that of specific and contextual values that have been identified through the analysis of the interviews the pupils have been submitted to and which are recorded as ethics of the target audience. It is an ethics whose variations and weak frequencial variations are specific to each person.At the individual level, every deputy headmaster in charge of school life and discipline should reach a growth and a depli of his/her professional ipseity. Beyond the individual ethics, our aim in proposing an improvement of the working environment is to use the instability and the weakness of the subjects’ interactions as unintentionally favoring elements of their reality. The subjects can therefore get rid of the consciousness of their observing ego, to adopt the instability caused by a constant change of standpoint.

Avant d’accorder un crédit, tout créancier entend naturellement s’assurer que la restitution des sommes prêtées sera effective quelle que soit la situation de l’emprunteur le jour de l’exigibilité du remboursement. C’est particulièrement l’hypothèse de l’ouverture d’une procédure collective à l’encontre du débiteur emprunteur qui concentre les craintes des créanciers. La socialisation croissante du droit des entreprises en difficulté a en effet sensiblement réduit l’efficacité des sûretés réelles traditionnelles en cas de faillite du débiteur. C’est dans ce contexte que les créanciers ont cherché ailleurs une sûreté réelle susceptible de satisfaire à leur exigence de sécurité. Le trust d’une part, la fiducie d’autre part, pouvaient apparaître comme des oasis de tranquillité en période de troubles financiers affectant le débiteur. Universitaires et praticiens ont alors redécouvert les vertus du transfert de propriété réalisé à des fins de garantie, et plus précisément la cession fiduciaire de créance. / Before granting a loan, any creditor naturally intends to ensure that the return of the money lent will be effective regardless of the situation of the borrower on the day of the repayment of the refund. This is particularly the case of the opening of insolvency proceedings against the debtor which concentrates the creditors fears. The increasing socialization of the insolvency law has indeed significantly reduced the effectiveness of traditional collateral in case of bankruptcy of the debtor. It is in this context that the creditors have also sought a security that would satisfy their security requirements. The trust one hand, the other hand trust, could appear as oasis of tranquility in times of financial turmoil affecting the debtor. Academics and practitioners then rediscovered the virtues of transfer of title made for guarantee purposes, specifically fiduciary assignment of receivables.

This dissertation aimed to improve travel time estimation for the purpose of transportation planning by developing a travel time estimation method that incorporates the effects of signal timing plans, which were difficult to consider in planning models. For this purpose, an analytical model has been developed. The model parameters were calibrated based on data from CORSIM microscopic simulation, with signal timing plans optimized using the TRANSYT-7F software. Independent variables in the model are link length, free-flow speed, and traffic volumes from the competing turning movements. The developed model has three advantages compared to traditional link-based or node-based models. First, the model considers the influence of signal timing plans for a variety of traffic volume combinations without requiring signal timing information as input. Second, the model describes the non-uniform spatial distribution of delay along a link, this being able to estimate the impacts of queues at different upstream locations of an intersection and attribute delays to a subject link and upstream link. Third, the model shows promise of improving the accuracy of travel time prediction. The mean absolute percentage error (MAPE) of the model is 13% for a set of field data from Minnesota Department of Transportation (MDOT); this is close to the MAPE of uniform delay in the HCM 2000 method (11%). The HCM is the industrial accepted analytical model in the existing literature, but it requires signal timing information as input for calculating delays. The developed model also outperforms the HCM 2000 method for a set of Miami-Dade County data that represent congested traffic conditions, with a MAPE of 29%, compared to 31% of the HCM 2000 method. The advantages of the proposed model make it feasible for application to a large network without the burden of signal timing input, while improving the accuracy of travel time estimation. An assignment model with the developed travel time estimation method has been implemented in a South Florida planning model, which improved assignment results.

No description available.

La RMN à l’état solide est une méthode de choix pour l’étude des protéines insolubles et des complexes protéiques de haut poids moléculaire. L’insolubilité intrinsèque des protéines fibrillaires, ainsi que leur architecture complexe, rendent difficile leur caractérisation structurale par la cristallographie et par la RMN en solution. La RMN à l‘état solide n’est pas limitée par le poids moléculaire et constitue donc un outil puissant pour l’étude des protéines fibrillaires. L’attribution des résonances RMN est le prérequis pour obtenir des informations structurales à résolution atomique. La première partie de ce travail de thèse décrit le développement de méthodes en RMN à l’état solide pour l’attribution des résonances. Nous avons appliqué ces méthodes afin d’attribuer le domaine C-terminal du prion Ure2 (33 kDa), qui est à ce jour la plus grande protéine attribuée par RMN à l’état solide. Nos résultats fournissent les bases pour l’étude de protéines à haut poids moléculaire à l’échelle atomique. Ceci est démontré dans la seconde partie de ce travail de thèse avec les premières études RMN à l’état solide des fibrilles des prions Ure2 et Sup35. Nous avons caractérisé la structure de ces prions pour les fibrilles entières ainsi que pour les domaines isolés. La troisième fibrille étudiée est l’α- synuclein, fibrille associée à la maladie de Parkinson, pour laquelle nous présentons l’attribution des résonances RMN ainsi que la structure secondaire d’un nouveau polymorphe. Les études présentées ici fournissent de nouvelles clés pour comprendre la diversité des architectures de fibrilles, en considérant les fibrilles comme entités individuelles d’un point de vue structural / Solid-state NMR is the method of choice for studies on insoluble proteins and other high molecular weight protein complexes. The inherent insolubility of fibrillar proteins, as well as their complex architecture, makes the application of x-ray crystallography and solution state NMR difficult. Solid-state NMR is not limited by the molecular weight or by the absence of long-range structural order, and is thus a powerful tool for the 3D structural investigation of fibrillar proteins. The assignment of the NMR resonances is a prerequisite to obtain structural information at atomic level. The first part of this thesis describes the development of solid-state NMR methods to assign the resonances in large proteins. We apply these methods to assign the 33 kDa C-terminal domain of the Ure2p prion which is up to now the largest protein assigned by solid-state NMR. Our results provide the basis to study high molecular weight proteins at atomic level. This is demonstrated in the second part with the first high-resolution solid-state NMR study of Ure2 and Sup35 prion fibrils. We describe the conformation of the functional domains and prion domains in the full-length fibrils and in isolation. The third fibrillar protein addressed in this work is the Parkinson’s disease related α-synuclein whereof we demonstrate the NMR resonance assignment and the secondary structure determination of a new polymorph. Thus, the studies described here provide new insights in the structural diversity of fibril architectures, and plead to view fibrils as individuals from a structural point of view, rather than a homogenous protein family

This thesis deals with public procurement and the influence of various aspects of the procurement procedure on the degree of competition and efficiency. The main aim of the thesis is to confirm the positive effect of competition and public procurement openness on the final price of the public procurement. This assumption was confirmed by regression analysis of a sufficiently representative sample of below-threshold procurement assigned in the first half of 2013 in the Czech Republic. At the end, the thesis defines certain weaknesses of the procurements.

The topic of this diploma thesis is Temporary agency work in the Czech Republic. Diploma thesis is logically divided into two main parts. The first part is predominantly theoretical. Within this topic the basic definitions and its mutual relationship are analyzed in detail. The thesis is mainly focused on analysis of current legislation and its history from 2004 till present. The second part of the diploma thesis is based on the survey published through questionnaire. The questionnaire has logical structure and therefore it is possible to deduce the position and experience of the respondents with the held topic. In conclusion, there are proposals to improve the current regulation of temporary agency work which could contribute to an increase of positive attitudes towards agency employment in the Czech Republic.