Karnaugh map analysis and synthesis of threshold functions

A unate function can easily be identified on a Karnaugh map from the well-known property that it cons ist s only ofess en ti al prime implicante which intersect at a common implicant. The additional property that the plot of a unate function F(x, ... XII) on a Karnaugh map should possess in order that F may also be Ivrealizable (n';:; 6) has been found. It has been sh own that the I- realizability of a unate function F corresponds to the ' compac tness' of the plot of F. No resort to tho inequalities is made, and no pre-processing such as positivizing and ordering of the given function is required.

A Note on Easily Testable Realizations for Logic Functions

It is shown that at most, n + 3 tests are required to detect any single stuck-at fault in an AND gate or a single faulty EXCLUSIVE OR (EOR) gate in a Reed-Muller canonical form realization of a switching function.

Essays on Illegal Activities, Institutions and Economic Growth

In public economics, two extremist views on the functions of a government compete: one emphasizes government working for the public interest to provide value for the citizens, while another regards government mainly as a workhorse for private interests. Moreover, as the sole legitimate authority, the government has the right to define the rules and laws as well as to enforce them. With respect to regulation, two extremes arise: from too little regulation to too much of it. If the government does not function or ceases to exist, the state falls into anarchy or chaos (Somalia). If it regulates too much, it will completely suffocate private activities, which might be considered extralegal (the former Soviet Union). In this thesis I scrutinize the government s interventionist policies and evaluate the question of how to best promote economic well-being. The first two essays assume that the government s policies promote illegal activity. The first paper evaluates the interaction between the government and the mafia, and pays attention to the law enforcement of underground production. We show that the revenue-maximizing government will always monitor the shadow economy, as monitoring contributes to the government s revenue. In general, both legal and illegal firms are hurt by the entry of the mafia. It is, however, plausible that legal firms might benefit by the entry of the mafia if it competes with the government. The second paper tackles the issue of the measurement of the size of the shadow economy. To formulate policies it is essential to know what drives illegal economic activity; is it the tax burden, excess regulation, corruption or a weak legal environment? In this paper we propose an additional explanation for tax evasion and shadow production, namely cultural factors as manifested by religion as determinants of tax morality. According to our findings, Catholic and Protestant countries do not differ in their tax morale. The third paper contributes to the literature discussing the role of the government in promoting economic and productivity growth. Our main result is that, given the complex relationship between economic growth and economic freedom, marketization has not necessarily been beneficial in terms of growth. The last paper builds on traditional growth literature and revisits the debate on convergence clubs arising from demographic transition. We provide new evidence against the idea that countries within a club would converge over time. Instead, we propose that since the demographic transition is a dynamic process, one can expect countries to enter the last regime of stable, modern growth in stages.

ORP1L, a new Rab7 effector and regulator of late endosome functions

Oxysterol binding protein (OSBP) homologues have been found in eukaryotic organisms ranging from yeast to humans. These evolutionary conserved proteins have in common the presence of an OSBP-related domain (ORD) which contains the fully conserved EQVSHHPP sequence motif. The ORD forms a barrel structure that binds sterols in its interior. Other domains and sequence elements found in OSBP-homologues include pleckstrin homology domains, ankyrin repeats and two phenylalanines in an acidic tract (FFAT) motifs, which target the proteins to distinct subcellular compartments. OSBP homologues have been implicated in a wide range of intracellular processes, including vesicle trafficking, lipid metabolism and cell signaling, but little is known about the functional mechanisms of these proteins. The human family of OSBP homologues consists of twelve OSBP-related proteins (ORP). This thesis work is focused on one of the family members, ORP1, of which two variants were found to be expressed tissue-specifically in humans. The shorter variant, ORP1S contains an ORD only. The N-terminally extended variant, ORP1L, comprises a pleckstrin homology domain and three ankyrin repeats in addition to the ORD. The two ORP1 variants differ in intracellular localization. ORP1S is cytosolic, while the ankyrin repeat region of ORP1L targets the protein to late endosomes/lysosomes. This part of ORP1L also has profound effects on late endosomal morphology, inducing perinuclear clustering of late endosomes. A central aim of this study was to identify molecular interactions of ORP1L on late endosomes. The morphological changes of late endosomes induced by overexpressed ORP1L implies involvement of small Rab GTPases, regulators of organelle motility, tethering, docking and/or fusion, in generation of the phenotype. A direct interaction was demonstrated between ORP1L and active Rab7. ORP1L prolongs the active state of Rab7 by stabilizing its GTP-bound form. The clustering of late endosomes/lysosomes was also shown to be linked to the minus end-directed microtubule-based dynein-dynactin motor complex through the ankyrin repeat region of ORP1L. ORP1L, Rab7 and the Rab7-interacting lysosomal protein (RILP) were found to be part of the same effector complex recruiting the dynein-dynactin complex to late endosomes, thereby promoting minus end-directed movement. The proteins were found to be physically close to each other on late endosomes and RILP was found to stabilize the ORP1L-Rab7 interaction. It is possible that ORP1L and RILP bind to each other through their C-terminal and N-terminal regions, respectively, when they are bridged by Rab7. With the results of this study we have been able to place a member of the uncharacterized OSBP-family, ORP1L, in the endocytic pathway, where it regulates motility and possibly fusion of late endosomes through interaction with the small GTPase Rab7.

Temperature influence on the excess interaction parameter of styrene-methyl methacrylate copolymer

Intrinsic viscosity data for polystyrene, poly(methyl methacrylate) and styrene-methyl methacrylate copolymer of azeotropic composition have been used to evaluate the excess interaction parameters at different temperatures in γ-butyrolactone and dimethylformamide. It is found that these values are positive and show a negligible increase with increase in temperature, indicating therefore that the hetero-contact interactions are not influenced by temperature, contrary to the results obtained by Dondos and Benoit for the same copolymer system in p-xylene and iso-amyl acetate.

A Note on Minimal Reed-Muller Canonical Forms of Switching Functions

A nonexhaustive procedure for obtaining minimal Reed-Muller canonical (RMC) forms of switching functions is presented. This procedure is a modification of a procedure presented earlier in the literature and enables derivation of an upper bound on the number of RMC forms to be derived to choose a minimal one. It is shown that the task of obtaining minimal RMC forms is simplified in the case of symmetric functions and self-dual functions.

The biological functions of mouse twinfilin isoforms

The actin cytoskeleton is essential for many cellular processes, including motility, morphogenesis, endocytosis and signal transduction. Actin can exist in monomeric (G-actin) or filamentous (F-actin) form. Actin filaments are considered to be the functional form of actin, generating the protrusive forces characteristic for the actin cytoskeleton. The structure and dynamics of the actin filament and monomer pools are regulated by a large number of actin-binding proteins in eukaryotic cells. Twinfilin is an evolutionarily conserved small actin monomer binding protein. Twinfilin is composed of two ADF/cofilin-like domains, separated by a short linker and followed by a C-terminal tail. Twinfilin forms a stable, high affinity complex with ADP-G-actin, inhibits the nucleotide exchange on actin monomers, and prevents their assembly into filament ends. Twinfilin was originally identified from yeast and has since then been found from all organisms studied except plants. Not much was known about the role of twinfilin in the actin dynamics in mammalian cells before this study. We set out to unravel the mysteries still covering twinfilins functions using biochemistry, cell biology, and genetics. We identified and characterized two mouse isoforms for the previously identified mouse twinfilin-1. The new isoforms, twinfilin-2a and -2b, are generated from the same gene through alternative promoter usage. The three isoforms have distinctive expression patterns, but are similar biochemically. Twinfilin-1 is the major isoform during development and is expressed in high levels in almost all tissues examined. Twinfilin-2a is also expressed almost ubiquitously, but at lower levels. Twinfilin-2b turned out to be a muscle-specific isoform, with very high expression in heart and skeletal muscle. It seems all mouse tissues express at least two twinfilin isoforms, indicating that twinfilins are important regulators of actin dynamics in all cell and tissue types. A knockout mouse line was generated for twinfilin-2a. The mice homozygous for this knockout were viable and developed normally, indicating that twinfilin-2a is dispensable for mouse development. However, it is important to note that twinfilin-2a shows similar expression pattern to twinfilin-1, suggesting that these proteins play redundant roles in mice. All mouse isoforms were shown to be able to sequester actin filaments and have higher affinity for ADP-G-actin than ATP-G-actin. They are also able to directly interact with heterodimeric capping protein and PI(4,5)P2 similar to yeast twinfilin. In this study we also uncovered a novel function for mouse twinfilins; capping actin filament barbed ends. All mouse twinfilin isoforms were shown to possess this function, while yeast and Drosophila twinfilin were not able to cap filament barbed ends. Twinfilins localize to the cytoplasm but also to actin-rich regions in mammalian cells. The subcellular localizations of the isoforms are regulated differently, indicating that even though twinfilins biochemical functions in vitro are very similar, in vivo they can play different roles through different regulatory pathways. Together, this study show that twinfilins regulate actin filament assembly both by sequestering actin monomers and by capping filament barbed ends, and that mammals have three biochemically similar twinfilin isoforms with partially overlapping expression patterns.

ORP2 is a sterol receptor that regulates cellular lipid metabolism

ORP2 is a member of mammalian oxysterol binding protein (OSBP)-related protein/gene family (ORPs), which is found in almost every eukaryotic organism. ORPs have been suggested to participate in the regulation of cellular lipid metabolism, vesicle trafficking and cellular signaling. ORP2 is a cytosolic protein that is ubiquitously expressed and most abundant in the brain. In previous studies employing stable cell lines with constitutive ORP2 overexpression ORP2 was shown to affect cellular cholesterol metabolism. The aim of this study was to characterize the properties and function of ORP2 further. ORP2 ligands were searched for among sterols and phosphoinositides using purified ORP2 and in vitro binding assays. As expected, ORP2 bound several oxysterols and cholesterol, the highest affinity ligand being 22(R)hydroxycholesterol. In addition, affinity for anionic membrane phospholipids, phosphoinositides was observed, which may assist in the membrane targeting of ORP2. Intracellular localization of ORP2 was also investigated. ORP2 was observed on the surface of cytoplasmic lipid droplets, which are storage organelles for neutral lipids. Lipid droplet targeting of ORP2 was inhibited when 22(R)hydroxycholesterol was added to the cells or when the N-terminal FFAT-motif of ORP2 was mutated, suggesting that oxysterols and the N-terminus of ORP2 regulate the localization and the function of ORP2. The role of ORP2 in cellular lipid metabolism was studied using HeLa cell lines that can be induced to overexpress ORP2. Overexpression of ORP2 was shown to enhance cholesterol efflux from the cells resulting in a decreased amount of cellular free cholesterol. ORP2 overexpressing cells responded to the loss of cholesterol by upregulating cholesterol synthesis and uptake. Intriguingly, also cholesterol esterification was increased in ORP2 overexpressing cells. These results may be explained by the ability of ORP2 to bind and thus transport cholesterol, which most likely leads to changes in cholesterol metabolism when ORP2 is overexpressed. ORP2 function was further investigated by silencing the endogenous ORP2 expression with short interfering RNAs (siRNA) in A431 cells. Silencing of ORP2 led to a delayed break-down of triglycerides under lipolytic conditions and an increased amount of cholesteryl esters in the presence of excess triglycerides. Together these results suggest that ORP2 is a sterol-regulated protein that functions on the surface of cytoplasmic lipid droplets to regulate the metabolism of triglycerides and cholesteryl esters. Although the exact mode of ORP2 action still remains unclear, this study serves as a good basis to investigate the molecular mechanisms and possible cell type specific functions of ORP2.

Automata and logics over finitely varying functions

We extend some of the classical connections between automata and logic due to Büchi (1960) [5] and McNaughton and Papert (1971) [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called View the MathML source’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich (2002) [15]. We also identify a “counter-free” subclass of View the MathML source’s which characterise the first-order definable languages of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic (MTL) Chevalier et al. (2006, 2007) [6] and [7].

Neuromagnetic studies on cortical somatosensory functions in infants and children : Normal development and effect of early brain lesions

Until recently, objective investigation of the functional development of the human brain in vivo was challenged by the lack of noninvasive research methods. Consequently, fairly little is known about cortical processing of sensory information even in healthy infants and children. Furthermore, mechanisms by which early brain insults affect brain development and function are poorly understood. In this thesis, we used magnetoencephalography (MEG) to investigate development of cortical somatosensory functions in healthy infants, very premature infants at risk for neurological disorders, and adolescents with hemiplegic cerebral palsy (CP). In newborns, stimulation of the hand activated both the contralateral primary (SIc) and secondary somatosensory cortices (SIIc). The activation patterns differed from those of adults, however. Some of the earliest SIc responses, constantly present in adults, were completely lacking in newborns and the effect of sleep stage on SIIc responses differed. These discrepancies between newborns and adults reflect the still developmental stage of the newborns’ somatosensory system. Its further maturation was demonstrated by a systematic transformation of the SIc response pattern with age. The main early adult­like components were present by age two. In very preterm infants, at term age, the SIc and SIIc were activated at similar latencies as in healthy fullterm newborns, but the SIc activity was weaker in the preterm group. The SIIc response was absent in four out of the six infants with brain lesions of the underlying hemisphere. Determining the prognostic value of this finding remains a subject for future studies, however. In the CP adolescents with pure subcortical lesions, contrasting their unilateral symptoms, the SIc responses of both hemispheres differed from those of controls: For example the distance between SIc representation areas for digits II and V was shorter bilaterally. In four of the five CP patients with cortico­subcortical brain lesions, no normal early SIc responses were evoked by stimulation of the palsied hand. The varying differences in neuronal functions, underlying the common clinical symptoms, call for investigation of more precisely designed rehabilitation strategies resting on knowledge about individual functional alterations in the sensorimotor networks.