.

Le langage d'assignation statique unique, SSA, est l'une des représentations intermédiaires les plus communément utilisées dans les compilateurs industriels. Cependant l'intérêt de la communauté d'analyse statique de programmes est minime, un fait dû aux faibles fondations formelles du langage SSA. Cette thèse présente une sémantique dénotationelle du langage SSA, permettant des définitions formelles des analyses statiques du langage SSA en se basant sur les méthodes classiques de l'interprétation abstraite. D'un point de vue pratique, cette thèse présente l'implémentation des analyseurs statiques définis formellement dans un compilateur industriel, la Collection de Compilateurs GNU, GCC.

Thèse d'exercice : Médecine. Médecine générale : Paris 12 : 2006. / Titre provenant de l'écran-titre. Bibliogr. f. 126-129.

Tidigare forskning har visat att människor överskattar chanserna för att positiva händelser ska inträffa dem och underskattar riskerna för att negativa händelser ska inträffa dem jämfört med genomsnittet. Detta kallas orealistisk optimism (OO). En faktor som påverkar detta är grad av upplevd kontroll. Studiens huvudsakliga syfte var att undersöka sambanden mellan upplevd kontroll och OO. I en enkätstudie undersöktes OO och upplevd kontroll för diverse händelser. Deltagarna fick t ex svara på hur sannolikt det är att de utsattes för vissa händelser jämfört med genomsnittet. Händelserna var bl a hälsorelaterade. Deltagarna var studenter från en högskola i Mellansverige, 18 män och 109 kvinnor. OO uppstod för alla händelser utom två. Det fanns vissa samband mellan OO och upplevd kontroll. Nytt med studien är att vissa händelser som i tidigare undersökningar skattats som okontrollerbara i själva verket kan upplevas som delvis kontrollerbara. Sambanden mellan OO och upplevd kontroll bör vidare undersökas.

It is vital that a culture of entrepreneurship is developed in order to unleash the economic potential of all people in South Africa. However, because of the South African woman’s inherited gender role and historical imbalances, women entrepreneurs are faced with unique challenges and barriers when attempting to establish and grow their own businesses. Thus, this study investigated the unique challenges and barriers faced by women when conducting entrepreneurial activities. The literature study provided background information on entrepreneurship in general as well as information on the importance of entrepreneurship to the economy and constraints of entrepreneurship. The woman entrepreneur was explored in terms of her characteristics, motivation to become an entrepreneur and the unique challenges she had to face. The empirical study consisted of a questionnaire developed by the North– West University, specifically the Potchefstroom Business School situated on the Potchefstroom Campus. A total of 120 questionnaires were distributed and 87 were fully completed and collected, which resulted in a response rate of 72.5%. The data collected was statistically analysed using Statistica 10 (Statsoft, 2011). The data from questionnaires was coded and investigated and then transformed to useful outputs such as frequency tables. The frequency tables were used to draw conclusions and to make recommendations regarding the development of women entrepreneurs in South Africa. / Thesis (MBA)--North-West University, Potchefstroom Campus, 2012.

Computer applications can be described as largely rigid structures within which an information seeker must navigate in search of information - each screen, each transaction having underlying unique code. The larger the application, the higher the number of lines of code and the larger the size of the application executable. This study suggests an alternative pattern based approach, an approach driven by the information seeker. This alternative approach makes use of value embedded in intelligent patterns to assemble rules and logic constituents, numerous patterns aggregating to form a ‟virtual screen‟ based on the need of the information seeker. Once the information need is satisfied, the atomic rules and logic constituents dissipate and return to a base state. These same constituents are available, are reassembled and form the succeeding ‟virtual screen‟ to satisfy the following request. The pattern based approach makes use of multiple pattern ‟instances‟ to deliver functionality each pattern instance has a specific embedded value. Numbers of these patterns aggregate to drive the formation of a ‟virtual screen‟ built using patterns, each pattern referencing and associating (physical) atomic logic and spatial constituents. This is analogous to painting a picture using removable dots. The dots can be used to describe a fish, and then, once appreciation has been completed, the image is destroyed and the dots are returned to the palette. These same dots can later be reapplied to present the picture of a dog, if that is requested by the information seeker. In both pictures the same ‟dots‟ are applied and reused. The form of the fish and dog are retained as value embedded within the patterns, the dots are building blocks aligned using instructions within the patterns. This group classifies current solutions within the ‟Artefact-Pattern-Artefact‟ (APA) group and the pattern based approach within the ‟Pattern-Artefact-Pattern‟ (PAP) group. An overview and characteristics of each are discussed. The study concludes by presenting the results obtained when using a prototype developed using the PAP approach. / Thesis (Ph.D. (Information Technology))--North-West University, Vaal Triangle Campus, 2011

Computer applications can be described as largely rigid structures within which an information seeker must navigate in search of information - each screen, each transaction having underlying unique code. The larger the application, the higher the number of lines of code and the larger the size of the application executable. This study suggests an alternative pattern based approach, an approach driven by the information seeker. This alternative approach makes use of value embedded in intelligent patterns to assemble rules and logic constituents, numerous patterns aggregating to form a ‟virtual screen‟ based on the need of the information seeker. Once the information need is satisfied, the atomic rules and logic constituents dissipate and return to a base state. These same constituents are available, are reassembled and form the succeeding ‟virtual screen‟ to satisfy the following request. The pattern based approach makes use of multiple pattern ‟instances‟ to deliver functionality each pattern instance has a specific embedded value. Numbers of these patterns aggregate to drive the formation of a ‟virtual screen‟ built using patterns, each pattern referencing and associating (physical) atomic logic and spatial constituents. This is analogous to painting a picture using removable dots. The dots can be used to describe a fish, and then, once appreciation has been completed, the image is destroyed and the dots are returned to the palette. These same dots can later be reapplied to present the picture of a dog, if that is requested by the information seeker. In both pictures the same ‟dots‟ are applied and reused. The form of the fish and dog are retained as value embedded within the patterns, the dots are building blocks aligned using instructions within the patterns. This group classifies current solutions within the ‟Artefact-Pattern-Artefact‟ (APA) group and the pattern based approach within the ‟Pattern-Artefact-Pattern‟ (PAP) group. An overview and characteristics of each are discussed. The study concludes by presenting the results obtained when using a prototype developed using the PAP approach. / Thesis (Ph.D. (Information Technology))--North-West University, Vaal Triangle Campus, 2011

It is vital that a culture of entrepreneurship is developed in order to unleash the economic potential of all people in South Africa. However, because of the South African woman’s inherited gender role and historical imbalances, women entrepreneurs are faced with unique challenges and barriers when attempting to establish and grow their own businesses. Thus, this study investigated the unique challenges and barriers faced by women when conducting entrepreneurial activities. The literature study provided background information on entrepreneurship in general as well as information on the importance of entrepreneurship to the economy and constraints of entrepreneurship. The woman entrepreneur was explored in terms of her characteristics, motivation to become an entrepreneur and the unique challenges she had to face. The empirical study consisted of a questionnaire developed by the North– West University, specifically the Potchefstroom Business School situated on the Potchefstroom Campus. A total of 120 questionnaires were distributed and 87 were fully completed and collected, which resulted in a response rate of 72.5%. The data collected was statistically analysed using Statistica 10 (Statsoft, 2011). The data from questionnaires was coded and investigated and then transformed to useful outputs such as frequency tables. The frequency tables were used to draw conclusions and to make recommendations regarding the development of women entrepreneurs in South Africa. / Thesis (MBA)--North-West University, Potchefstroom Campus, 2012.

Diss.--München--Universität, 1990.

L'inférence des réseaux de régulation de gènes (RRG) à partir de données d'expression est un défi majeur en biologie. L’arrivée des technologies de mesure de transcriptomique à l’échelle de la cellule a suscité de nombreux espoirs, mais paradoxalement elles montrent une nouvelle complexité du problème d’inférence des RRG qui limite encore les approches existantes. Nous avons commencé par montrer, à partir de données d'expression en cellules uniques acquises sur un modèle aviaire de différenciation érythrocytaire, que les RRG sont des systèmes stochastiques à l'échelle de la cellule et qu'il y a une évolution dynamique de cette stochasticité au cours du processus de différenciation (Richard et al, PLOS Comp.Biol., 2016). C'est pourquoi nous avons développé par la suite un modèle de RRG mécaniste qui inclus cette stochasticité afin d'exploiter au maximum l'information des données expérimentales à l'échelle de la cellule (Herbach et al, BMC Sys.Biol., 2017). Ce modèle décrit les interactions entre gènes comme un couplage de processus de Markov déterministes par morceaux. En régime stationnaire une formule explicite de la distribution jointe est dérivée du modèle et peut servir à inférer des réseaux simples. Afin d'exploiter l'information dynamique et d'intégrer d'autres données expérimentales (protéomique, demi-vie des ARN), j’ai développé à partir du modèle précédent une approche itérative, intégrative et parallèle, baptisée WASABI qui est basé sur le concept de vague d'expression (Bonnaffoux et al, en révision, 2018). Cette approche originale a été validée sur des modèles in-silico de RRG, puis sur nos données in-vitro. Les RRG inférés affichent une structure de réseau originale au regard de la littérature, avec un rôle central du stimulus et une topologie très distribuée et limitée. Les résultats montrent que WASABI surmonte certaines limitations des approches existantes et sera certainement utile pour aider les biologistes dans l’analyse et l’intégration de leurs données. / Inference of gene regulatory networks from gene expression data has been a long-standing and notoriously difficult task in systems biology. Recently, single-cell transcriptomic data have been massively used for gene regulatory network inference, with both successes and limitations.In the present work we propose an iterative algorithm called WASABI, dedicated to inferring a causal dynamical network from timestamped single-cell data, which tackles some of the limitations associated with current approaches. We first introduce the concept of waves, which posits that the information provided by an external stimulus will affect genes one-byone through a cascade, like waves spreading through a network. This concept allows us to infer the network one gene at a time, after genes have been ordered regarding their time of regulation. We then demonstrate the ability of WASABI to correctly infer small networks, which have been simulated in-silico using a mechanistic model consisting of coupled piecewise-deterministic Markov processes for the proper description of gene expression at the single-cell level. We finally apply WASABI on in-vitro generated data on an avian model of erythroid differentiation. The structure of the resulting gene regulatory network sheds a fascinating new light on the molecular mechanisms controlling this process. In particular, we find no evidence for hub genes and a much more distributed network structure than expected. Interestingly, we find that a majority of genes are under the direct control of the differentiation-inducing stimulus. Together, these results demonstrate WASABI versatility and ability to tackle some general gene regulatory networks inference issues. It is our hope that WASABI will prove useful in helping biologists to fully exploit the power of time-stamped single-cell data.