Dynamical modeling and analysis of large cellular regulatory networks.

The dynamical analysis of large biological regulatory networks requires the development of scalable methods for mathematical modeling. Following the approach initially introduced by Thomas, we formalize the interactions between the components of a network in terms of discrete variables, functions, and parameters. Model simulations result in directed graphs, called state transition graphs. We are particularly interested in reachability properties and asymptotic behaviors, which correspond to terminal strongly connected components (or "attractors") in the state transition graph. A well-known problem is the exponential increase of the size of state transition graphs with the number of network components, in particular when using the biologically realistic asynchronous updating assumption. To address this problem, we have developed several complementary methods enabling the analysis of the behavior of large and complex logical models: (i) the definition of transition priority classes to simplify the dynamics; (ii) a model reduction method preserving essential dynamical properties, (iii) a novel algorithm to compact state transition graphs and directly generate compressed representations, emphasizing relevant transient and asymptotic dynamical properties. The power of an approach combining these different methods is demonstrated by applying them to a recent multilevel logical model for the network controlling CD4+ T helper cell response to antigen presentation and to a dozen cytokines. This model accounts for the differentiation of canonical Th1 and Th2 lymphocytes, as well as of inflammatory Th17 and regulatory T cells, along with many hybrid subtypes. All these methods have been implemented into the software GINsim, which enables the definition, the analysis, and the simulation of logical regulatory graphs.

On Graph-Based Cryptography and Symbolic Computations

We have been investigating the cryptographical properties of in nite families of simple graphs of large girth with the special colouring of vertices during the last 10 years. Such families can be used for the development of cryptographical algorithms (on symmetric or public key modes) and turbocodes in error correction theory. Only few families of simple graphs of large unbounded girth and arbitrarily large degree are known. The paper is devoted to the more general theory of directed graphs of large girth and their cryptographical applications. It contains new explicit algebraic constructions of in finite families of such graphs. We show that they can be used for the implementation of secure and very fast symmetric encryption algorithms. The symbolic computations technique allow us to create a public key mode for the encryption scheme based on algebraic graphs.

Timed Transition Automata as Numerical Planning Domain

A general technique for transforming a timed finite state automaton into an equivalent automated planning domain based on a numerical parameter model is introduced. Timed transition automata have many applications in control systems and agents models; they are used to describe sequential processes, where actions are labelling by automaton transitions subject to temporal constraints. The language of timed words accepted by a timed automaton, the possible sequences of system or agent behaviour, can be described in term of an appropriate planning domain encapsulating the timed actions patterns and constraints. The time words recognition problem is then posed as a planning problem where the goal is to reach a final state by a sequence of actions, which corresponds to the timed symbols labeling the automaton transitions. The transformation is proved to be correct and complete and it is space/time linear on the automaton size. Experimental results shows that the performance of the planning domain obtained by transformation is scalable for real world applications. A major advantage of the planning based approach, beside of the solving the parsing problem, is to represent in a single automated reasoning framework problems of plan recognitions, plan synthesis and plan optimisation.

A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net

The purpose of this research was to apply model checking by using a symbolic model checker on Predicate Transition Nets (PrT Nets). A PrT Net is a formal model of information flow which allows system properties to be modeled and analyzed. The aim of this thesis was to use the modeling and analysis power of PrT nets to provide a mechanism for the system model to be verified. Symbolic Model Verifier (SMV) was the model checker chosen in this thesis, and in order to verify the PrT net model of a system, it was translated to SMV input language. A software tool was implemented which translates the PrT Net into SMV language, hence enabling the process of model checking. The system includes two parts: the PrT net editor where the representation of a system can be edited, and the translator which converts the PrT net into an SMV program.

Characterization of rat behavior in the elevated plus-maze using a directed graph

The elevated plus-maze is a device widely used to assess rodent anxiety under the effect of several treatments, including pharmacological agents. The animal is placed at the center of the apparatus, which consists of two open arms and two arms enclosed by walls, and the number of entries and duration of stay in each arm are measured for a 5-min exposure period. The effect of an anxiolytic drug is to increase the percentage of time spent and number of entries into the open arms. In this work, we propose a new measure of anxiety levels in the rat submitted to the elevated plus-maze. We represented the spatial structure of the elevated plus-maze in terms of a directed graph and studied the statistics of the rat`s transitions between the nodes of the graph. By counting the number of times each transition is made and ordering them in descending frequency we represented the rat`s behavior in a rank-frequency plot. Our results suggest that the curves obtained under different pharmacological conditions can be well fitted by a power law with an exponent sensitive to both the drug type and the dose used. (C) 2009 Elsevier B.V. All rights reserved.

Phacomatoses et tumeurs génétiquement déterminées: la transition enfant-adulte [Phacomatosis and genetically determined tumors: the transition from childhood to adulthood]

Les phacomatoses regroupent des maladies du développement du neurectoderme, engendrant des manifestations cutanées ou du système nerveux central. Les symptômes de ces maladies peuvent affecter les individus atteints à différents moments de leur vie. Il s'agit de maladies, héréditaires ou congénitales, qui sont transmises de façon variable. Effectivement, certaines, telles que la neurofibromatose, la sclérose tubéreuse ou la maladie de von Hippel-Lindau sont autosomiques dominantes, alors que d'autres, telles que la maladie de Sturge-Weber sont sporadiques. Des transmissions autosomiques récessives liées à X ou des formes mosaïques existent également. Une revue de la littérature, comprenant les cinq phacomatoses les plus fréquemment vues par un neurochirurgien (neurofibromatose de type I et II, sclérose tubéreuse de Bourneville, maladie de Sturge-Weber-Krabbe, maladie de von Hippel-Lindau) a été effectuée en se centrant sur le diagnostic, la variabilité de la symptomatologie selon l'âge du patient et son traitement. Les cas de patients adultes et pédiatriques vus aux consultations de neurologie et neurochirurgie de l'hôpital de Lille (France) et Lausanne (Suisse), de 1961 à nos jours, ont été revus pour illustrer les différentes pathologies rencontrées, selon l'âge des patients atteints. Le phénotype de ces maladies se modifie avec l'âge, car les gènes incriminés sont des gènes impliqués dans la différentiation tissulaire et sont activés à des âges différents suivant les tissus. Le rôle du neurochirurgien sera variable selon l'âge et le syndrome du patient. Il importe de connaître les variations du phénotype de ces maladies avec l'âge ainsi que les conséquences à long terme des traitements pour proposer au patient un suivi neurochirurgical personnalisé. Phacomatoses, or neurocutaneous disorders, are a group of congenital and hereditary diseases characterized by developmental lesions of the neuroectoderm, leading to pathologies affecting the skin and the central nervous system. There is a wide range of pathologies affecting individuals at different moments of life. The genetics is variable: while neurofibromatosis 1 and 2, tuberous sclerosis and von Hippel-Lindau disease are all inherited as autosomal dominant traits, Sturge-Weber syndrome is sporadic. Other neurocutaneous disorders can be inherited as autosomal recessive traits (i.e., ataxia-telangiectasia), X-linked (i.e., incontinentia pigmenti) or explained by mosaicism (i.e., hypomelanosis of Ito, McCune-Albright syndrome). In this review, we discuss the major types of neurocutaneous disorders most frequently encountered by the neurosurgeon and followed beyond childhood. They include neurofibromatosis types 1 and 2, tuberous sclerosis, Sturge-Weber syndrome and von Hippel-Lindau disease. In each case, a review of the literature, including diagnosis, genetics and treatment will be presented. The lifespan of the disease with the implications for neurosurgeons will be emphasized. A review of cases, including both pediatric and adult patients, seen in neurosurgical practices in the Lille, France and Lausanne, Switzerland hospitals between 1961 and 2007 is presented to illustrate the pathologies seen in different age-groups. Because the genes mutated in most phacomatoses are involved in development and are activated following a timed schedule, the phenotype of these diseases evolves with age. The implication of the neurosurgeon varies depending on the patient's age and pathology. While neurosurgeons tend to see pediatric patients affected with neurofibromatosis type 1, tuberous sclerosis and Sturge-Weber syndrome, there will be a majority of adult patients with von Hippel-Lindau disease or neurofibromatosis type 2

Histoire de l'interprétation de la transition néolithique : évolution des théories, modèles et hypothèses

Ce mémoire reconstitue l’histoire des théories, modèles et hypothèses qui ont été formulés, principalement en archéologie, afin d’expliquer la naissance de l’agriculture qui correspond, du point de vue chronologique, à la transition (ou révolution) néolithique. Ces schèmes explicatifs sont décrits chronologiquement depuis la naissance de l’archéologie préhistorique, dans la première moitié du XIXe siècle, jusqu’à maintenant. Ils sont classifiés en fonction des principales écoles qui ont joué un rôle prédominant en archéologie préhistorique depuis son origine, soit : l’évolutionnisme multilinéaire, l’école culturelle-historique, le processualisme, le néodarwinisme et le postprocessualisme. Les théories spécifiques (dites de « niveau mitoyen » ou « régionales ») qui ont été avancées par ces écoles sont présentées dans leur ordre chronologique, soit (principalement) : les théories de la dessiccation ou de l’oasis, des flancs de colline, de la périphérie, du stress démographique, du festin compétitif, de la révolution des symboles, etc. Ce mémoire pose enfin les jalons d’une théorie multifactorielle qui intègre ou synthétise les principaux facteurs qui ont pu influer sur la naissance de l’agriculture et sur la transition néolithique.

La transition postcommuniste en Roumanie (entre 1989 et 2004) : une étude à partir de la structuration de la famille

Cette thèse propose une analyse des transformations postcommunistes en Roumanie à partir d’une étude de la structuration de trajectoires familiales. La réflexion sur les itinéraires très variés de ces trajectoires familiales met en valeur les pratiques développées par les familles dans la construction de leur mode de vie quotidienne après la chute du communisme. L’approche utilisée privilégie deux axes d’analyse. Le premier vise les aspects socio-structurels concernant les cadres de la vie incluant les aspects matériels, alors que le deuxième, l’axe socio-symbolique, concerne les aspects subjectifs liés au vécu des acteurs en corrélation avec le contexte social en mutation. L’analyse est fondée sur des éléments issus de la théorie de la structuration qui ont contribué à la construction du cadre conceptuel. Elle s’appuie aussi sur la méthodologie qualitative qui comprend des récits de vie obtenus à partir des entretiens semi-dirigés réalisés avec les membres de 11 familles. Les thématiques retenues après l’analyse du corpus de données nous ont permis d’identifier des stratégies que les familles ont mises en place et les projets familiaux qui ont orienté leur parcours de vie durant la période de transition postcommuniste. Ces deux concepts révèlent des éléments liés à l’ordre général permettant ainsi la mise en évidence des tendances structurelles de la société postcommuniste.

Theoretical study of magnetism, structure and chemical order in transition-metal alloy clusters

Research on transition-metal nanoalloy clusters composed of a few atoms is fascinating by their unusual properties due to the interplay among the structure, chemical order and magnetism. Such nanoalloy clusters, can be used to construct nanometer devices for technological applications by manipulating their remarkable magnetic, chemical and optical properties. Determining the nanoscopic features exhibited by the magnetic alloy clusters signifies the need for a systematic global and local exploration of their potential-energy surface in order to identify all the relevant energetically low-lying magnetic isomers. In this thesis the sampling of the potential-energy surface has been performed by employing the state-of-the-art spin-polarized density-functional theory in combination with graph theory and the basin-hopping global optimization techniques. This combination is vital for a quantitative analysis of the quantum mechanical energetics. The first approach, i.e., spin-polarized density-functional theory together with the graph theory method, is applied to study the Fe$_m$Rh$_n$ and Co$_m$Pd$_n$ clusters having $N = m+n \leq 8$ atoms. We carried out a thorough and systematic sampling of the potential-energy surface by taking into account all possible initial cluster topologies, all different distributions of the two kinds of atoms within the cluster, the entire concentration range between the pure limits, and different initial magnetic configurations such as ferro- and anti-ferromagnetic coupling. The remarkable magnetic properties shown by FeRh and CoPd nanoclusters are attributed to the extremely reduced coordination number together with the charge transfer from 3$d$ to 4$d$ elements. The second approach, i.e., spin-polarized density-functional theory together with the basin-hopping method is applied to study the small Fe$_6$, Fe$_3$Rh$_3$ and Rh$_6$ and the larger Fe$_{13}$, Fe$_6$Rh$_7$ and Rh$_{13}$ clusters as illustrative benchmark systems. This method is able to identify the true ground-state structures of Fe$_6$ and Fe$_3$Rh$_3$ which were not obtained by using the first approach. However, both approaches predict a similar cluster for the ground-state of Rh$_6$. Moreover, the computational time taken by this approach is found to be significantly lower than the first approach. The ground-state structure of Fe$_{13}$ cluster is found to be an icosahedral structure, whereas Rh$_{13}$ and Fe$_6$Rh$_7$ isomers relax into cage-like and layered-like structures, respectively. All the clusters display a remarkable variety of structural and magnetic behaviors. It is observed that the isomers having similar shape with small distortion with respect to each other can exhibit quite different magnetic moments. This has been interpreted as a probable artifact of spin-rotational symmetry breaking introduced by the spin-polarized GGA. The possibility of combining the spin-polarized density-functional theory with some other global optimization techniques such as minima-hopping method could be the next step in this direction. This combination is expected to be an ideal sampling approach having the advantage of avoiding efficiently the search over irrelevant regions of the potential energy surface.

The Kineticist's Workbench: Combining Symbolic and Numerical Methods in the Simulation of Chemical Reaction Mechanisms

The Kineticist's Workbench is a program that simulates chemical reaction mechanisms by predicting, generating, and interpreting numerical data. Prior to simulation, it analyzes a given mechanism to predict that mechanism's behavior; it then simulates the mechanism numerically; and afterward, it interprets and summarizes the data it has generated. In performing these tasks, the Workbench uses a variety of techniques: graph- theoretic algorithms (for analyzing mechanisms), traditional numerical simulation methods, and algorithms that examine simulation results and reinterpret them in qualitative terms. The Workbench thus serves as a prototype for a new class of scientific computational tools---tools that provide symbiotic collaborations between qualitative and quantitative methods.

Non-commutative symbolic coding

We give a non-commutative generalization of classical symbolic coding in the presence of a synchronizing word. This is done by a scattering theoretical approach. Classically, the existence of a synchronizing word turns out to be equivalent to asymptotic completeness of the corresponding Markov process. A criterion for asymptotic completeness in general is provided by the regularity of an associated extended transition operator. Commutative and non-commutative examples are analysed.

STRUCTURE AND DYNAMICS: THE TRANSITION FROM NONEQUILIBRIUM TO EQUILIBRIUM IN INTEGRATE-AND-FIRE DYNAMICS

The transient and equilibrium properties of dynamics unfolding in complex systems can depend critically on specific topological features of the underlying interconnections. In this work, we investigate such a relationship with respect to the integrate-and-fire dynamics emanating from a source node and an extended network model that allows control of the small-world feature as well as the length of the long-range connections. A systematic approach to investigate the local and global correlations between structural and dynamical features of the networks was adopted that involved extensive simulations (one and a half million cases) so as to obtain two-dimensional correlation maps. Smooth, but diverse surfaces of correlation values were obtained in all cases. Regarding the global cases, it has been verified that the onset avalanche time (but not its intensity) can be accurately predicted from the structural features within specific regions of the map (i.e. networks with specific structural properties). The analysis at local level revealed that the dynamical features before the avalanches can also be accurately predicted from structural features. This is not possible for the dynamical features after the avalanches take place. This is so because the overall topology of the network predominates over the local topology around the source at the stationary state.

The Hungarian Economic Elite After the Political Transition

Erzsebet Szalai (Hungary). The Hungarian Economic Elite after the Political Transition. Ms. Szalai is a research fellow in the Institute of Political Sciences in Budapest and worked on this project from July 1996 to June 1998. In the period following the political changes of 1989, the leading forces of the economic elite have gained increasing superiority over the political and cultural elites, with the clear ambition of putting the latter to their service. The power relations within the economic elite were characterised by "a war of all against all". The desire to gain precedence over others became an openly declared value. The formation of estates and the intensification of competition became embodied in a multitude of lobbies which cropped up to assert short-term interests. After the state socialist period, possession of at least two of the social, economic and cultural forms of capital is necessary to join one of the three segments of the elite: political, cultural or economic. What defines the ability of the members of the three elite groups to assert their interests is their ability to convert any of the three types of capital into another. That is to say, the basis on which they can retain and extend their position is "symbolic capital" as interpreted by Bourdieu. The concept of symbolic capital is useful for describing the power relations following the collapse of state socialist systems and societies. In the state-socialist system, the political, economic and cultural spheres are tightly interwoven, and this interpenetration slackens only slowly after the system's disintegration. A close institutional relationship between the three spheres continues to make it easier for power actors to convert social, economic and cultural capital from one type to another. Symbolic capital, or the easy transfer between the three spheres, in turn reproduces the institutional relationship, or more precisely, complicates the separation of the three spheres after the fall of state socialism.