A functional style of programming with CSP-like communication mechanisms

This paper introduces CSP-like communication mechanisms into Backus’ Functional Programming (FP) systems extended by nondeterministic constructs. Several new functionals are used to describe nondeterminism and communication in programs. The functionals union and restriction are introduced into FP systems to develop a simple algebra of programs with nondeterminism. The behaviour of other functionals proposed in this paper are characterized by the properties of union and restriction. The axiomatic semantics of communication constructs are presented. Examples show that it is possible to reason about a communicating program by first transforming it into a non-communicating program by using the axioms of communication, and then reasoning about the resulting non-communicating version of the program. It is also shown that communicating programs can be developed from non-communicating programs given as specifications by using a transformational approach.

A maximal operator, Carleson's embedding, and tent spaces for vector-valued functions

This thesis is concerned with the area of vector-valued Harmonic Analysis, where the central theme is to determine how results from classical Harmonic Analysis generalize to functions with values in an infinite dimensional Banach space. The work consists of three articles and an introduction. The first article studies the Rademacher maximal function that was originally defined by T. Hytönen, A. McIntosh and P. Portal in 2008 in order to prove a vector-valued version of Carleson's embedding theorem. The boundedness of the corresponding maximal operator on Lebesgue-(Bochner) -spaces defines the RMF-property of the range space. It is shown that the RMF-property is equivalent to a weak type inequality, which does not depend for instance on the integrability exponent, hence providing more flexibility for the RMF-property. The second article, which is written in collaboration with T. Hytönen, studies a vector-valued Carleson's embedding theorem with respect to filtrations. An earlier proof of the dyadic version assumed that the range space satisfies a certain geometric type condition, which this article shows to be also necessary. The third article deals with a vector-valued generalizations of tent spaces, originally defined by R. R. Coifman, Y. Meyer and E. M. Stein in the 80's, and concerns especially the ones related to square functions. A natural assumption on the range space is then the UMD-property. The main result is an atomic decomposition for tent spaces with integrability exponent one. In order to suit the stochastic integrals appearing in the vector-valued formulation, the proof is based on a geometric lemma for cones and differs essentially from the classical proof. Vector-valued tent spaces have also found applications in functional calculi for bisectorial operators. In the introduction these three themes come together when studying paraproduct operators for vector-valued functions. The Rademacher maximal function and Carleson's embedding theorem were applied already by Hytönen, McIntosh and Portal in order to prove boundedness for the dyadic paraproduct operator on Lebesgue-Bochner -spaces assuming that the range space satisfies both UMD- and RMF-properties. Whether UMD implies RMF is thus an interesting question. Tent spaces, on the other hand, provide a method to study continuous time paraproduct operators, although the RMF-property is not yet understood in the framework of tent spaces.

Purification and functional characteristics of an endocellulase from Chaetomium thermophile var. coprophile

An endocellulase (1→4)-β-d-glucan 4-glucanohydrolase was isolated from the culture filtrates of Chaetomium thermophile. The enzyme was homogeneous by PAGE and SDS-PAGE. The molecular weight was 36 000 by SDS-PAGE and 38 000 by gel filtration. It was a glycoprotein. From the amino acid composition, it was found to be rich in glycine, threonine, and aspartic and glutamic acids, but contained only low proportions of histidine and sulfur-containing amino acids. It was optimally active at pH 6 and at 60°. The enzyme did not hydrolyze cellobiose and cellotriose, but hydrolyzed cello-tetraose, -pentaose, and -hexaose at comparable rates. It was specific for molecules containing β-(1→4) linkages. It showed high activity towards amorphous cellulose, and the reaction products contained cellobiose to cellopentaose, showing that it effects random cleavage of cellulose.

Functional regulation of the Neurofibromatosis 2 tumor suppressor merlin

Neurofibromatosis 2 (NF2) is an autosomal dominant disorder manifested by the formation of multiple benign tumors of the nervous system. Affected individuals typically develop bilateral vestibular schwannomas which lead to deafness and balance disorders. The syndrome is caused by inactivation of the NF2 tumor suppressor gene, and mutation or loss of the NF2 product, merlin, is sufficient for tumorigenesis in both hereditary and sporadic NF2-associated tumors. Merlin belongs to the band 4.1 superfamily of cytoskeletal proteins, which also contain the related ezrin, radixin, and moesin (ERM) proteins. The ERM members provide a link between the cell cytoskeleton and membrane by connecting membrane-associated proteins to actin filaments. By stabilizing complexes in the cell cortex, the ERMs modulate morphology, growth, and migration of cells. Despite their structural homology, overlapping subcellular distribution, direct molecular association, and partial overlap of molecular interactions, merlin and ezrin exert opposite effects on cell proliferation. Merlin suppresses cell proliferation, whereas ezrin expression is linked to oncogenic activity. We hypothesized that the regions which differ between the proteins might explain merlin s specificity as a tumor suppressor. We therefore analyzed the regions, which are most diverse between merlin and ezrin; the N-terminal tail and the C-terminus. To determine the properties of the C-terminal region, we studied the two most predominant merlin isoforms together with truncation variants similar to those found in patients. We also focused on the evolutionally conserved C-terminal residues, E545-E547, that harbor disease causing mutations in its corresponding DNA sequence. In addition to inhibiting cell proliferation, merlin regulates cytoskeletal organization. The morphogenic properties of merlin may play a role in tumor suppression, since patient-derived tumor cells demonstrate cytoskeletal abnormalities. We analyzed the mechanisms of merlin-induced extension formation and determined that the C-terminal region of amino acids 538-568 is particularly important for the morphogenic activity. We also characterized the role of C-terminal merlin residues in the regulation of proliferation, phosphorylation, and intramolecular associations. In contrast to previous reports, we demonstrated that both merlin isoforms are able to suppress cell proliferation, whereas C-terminally mutated merlin constructs showed reduced growth inhibition. Phosphorylation serves as a mechanism to regulate the tumor suppressive activity of merlin. The C-terminal serine 518 is phosphorylated in response to both p21-activated kinase (PAK) and protein kinase A (PKA), which inactivates the growth inhibitory function of merlin. However, at least three differentially phosphorylated forms of the protein exist. In this study we demonstrated that also the N-terminus of merlin is phosphorylated by AGC kinases, and that both PKA and Akt phosphorylate merlin at serine 10 (S10). We evaluated the impact of this N-terminal tail phosphorylation, and showed that the phosphorylation state of S10 is an important regulator of merlin s ability to modulate cytoskeletal organization but also regulates the stability of the protein. In summary, this study describes the functional effect of merlin specific regions. We demonstrate that both S10 in the N-terminal tail and residues E545-E547 in the C-terminus are essential for merlin activity and function.

Hemiorchidectomy leads to dramatic and immediate alterations in pituitary follicle-stimulating hormone secretion and the functional activity of the remaining testis in the adult male bonnet monkey (Macaca radiata)

The aim of the present study was to examine the effect of hemiorchidectomy (HO) on serum FSH, LH, testosterone (T), and inhibin (INH) concentrations as well as on the testicular volume (TV) and on changes in the kinetics of germ cell turnovers in the remaining testis of adult male bonnet monkeys. Blood samples collected at 2200 h at various times before and after HO and testicular biopsies obtained at different periods were subjected to hormone analysis and DNA flow cytometry. Though serum T levels were lowered (p < 0.05) at 12 h after HO, T levels rapidly returned to intact control concentrations by Day 5. While serum LH remained unaltered, serum FSH increased markedly within 2 days of HO and remained significantly (p < 0.05) elevated over the next 90 days. Though serum INH showed a significant decrease (p < 0.05) by 15 min of HO, it returned to approximately 80% of intact levels within one week. The TV of the remaining testis showed maximal increment by Day 30 (p < 0.05) of HO. DNA flow cytometric analysis 24 days after HO showed increases (p < 0.05) in spermatogonia (2C) and primary spermatocytes (4C). These cell types by Day 45 had transformed to round (1C) and elongate (HC) (by 38%, p < 0.001) spermatids. Overall spermatogenesis (conversion of 2C to 1C and HC) showed significant enhancement at Days 110 and 175, suggesting that the spurt in spermatogenic activity is not confined to a single spermatogenic cycle.

Helsingin kävelykeskustan suunnittelu ydinkeskustan kadunvarsiliikeyrittäjien näkökulmasta

Aiempien tutkimusten mukaan keskustayrittäjien kielteinen asenne on olennaisesti vaikeuttanut kävelykatujen toteuttamista kaupunkikeskustoissa. Yrittäjät pelkäävät ostokykyisten asiakkaiden kaikkoavan ja liikevaihtonsa pienenevän kävelykeskustauudistusten myötä. Yrittäjien kielteiset asenteet ovat usein myös painottuneet suuriin kaupunkeihin. Etenkin ydinkeskustassa sijaitsevat kadunvarsiliikeyrittäjät ovat kokeneet kävelykadut ongelmiksi. Tämän tutkimuksen tavoitteena on selvittää, mikä on ydinkeskustan kadunvarsiliikeyrittäjien näkemys Helsingin kävelykeskustan suunnittelusta, millaisena ydinkeskustan kadunvarsiliikeyrittäjät näkevät sijaintikatunsa kävelykeskustan suunnittelupäämäärien kautta tarkasteltuna, ja onko kävelykatuyrittäjien ja kävelykatujen ulkopuolella sijaitsevien yrittäjien näkemysten välillä eroja. Taustana tälle tarkastellaan Helsingin kävelykeskustaa pohjoismaisessa kontekstissa, ja käydään läpi Helsingin kävelykeskustan suunnittelun ja rakentumisen historiaa ja päämääriä. Tutkimuksen aineisto koostuu Helsingin ydinkeskustan kadunvarsiliikeyrittäjille tehdystä kyselystä, kävelykeskustoihin liittyvistä tutkimuksista ja selvityksistä, kaupunkisuunnitteluun ja -tutkimukseen liittyvästä tutkimuskirjallisuudesta, sanomalehtiartikkeleista, ydinkeskustassa tehdystä empiirisestä havainnoinnista ja kahdesta asiantuntijahaastattelusta. Kyselyaineistoa analysoidaan tutkimuksessa tilastollisten menetelmien avulla. Helsingin kävelykeskustan suunnittelu ja rakentuminen on ollut pitkällinen prosessi. Vuoden 1 989 kävelykeskustan periaatesuunnitelmasta on konkretisoitunut Kluuvikatu ja Mikonkatu. Keskustatunnelihanke on vaakalaudalla, minkä vuoksi kävelykeskustan uuden periaatesuunnitelman toteutuminen on epävarmaa. Kävelykeskustan rakentuminen kuitenkin etenee. Keskuskatu ja Kalevankadun itäpää muutetaan kävelykaduiksi ja ydinkeskustan jalankulkuympäristöä parannetaan ja kehitetään jatkuvasti. Tällä hetkellä kävelykeskustan suunnittelun painopiste on Aleksanterinkadun kortteleiden ympäristössä, ja suunnittelun tärkeimpiä päämääriä ovat viihtyisyyden, turvallisuuden, kaupallisen vetovoimaisuuden ja saavutettavuuden parantaminen. Kyselyyn vastanneiden yrittäjien mielestä kävelykeskustaa tulisi laajentaa, sillä laajemman kävelykeskustan nähdään kasvattavan liikevaihtoa ja lisäävän yleisesti ydinkeskustan vetovoimaa. Kävelykatuyrittäjien näkemykset kävelykeskustan suunnittelusta ja kehittämisestä olivat kävelykatujen ulkopuolisia yrittäjiä kielteisempiä. Em. yrittäjien asenteisiin vaikuttavat oletettavasti tutkituilla kävelykaduilla ilmenneet ongelmat. Kyse voi myös olla siitä, että uusien kävelykatujen rakentaminen haittaa kävelykatujen saavutettavuutta. Kadunvarsiliikeyrittäjien yleinen suhtautuminen kävelykeskustan kehittämiseen ja suunnittelupäämääriin on kuitenkin pääosin positiivista. Jatkotutkimuksen kannalta olisi kiinnostavaa selvittää, onko muiden ydinkeskustassa toimivien yritysten, kuten esimerkiksi tavaratalojen ja kauppakeskusten johdon ja kiinteistösijoittajien ja -omistajien suhtautuminen kävelykeskustan kehittämiseen myös positiivista. Tämän lisäksi olisi mielenkiintoista selvittää keskustan käyttäjien ja keskustassa asuvien asenteita kävelykeskustan suunnitteluun, ja verrata tuloksia tässä tutkimuksessa selvitettyihin kadunvarsiliikeyrittäjien näkemyksiin.

Housing the skilled migrants in the Helsinki Metropolitan Area : International attractiveness of housing, neighbourhoods and the city region

The aim of this thesis is to examine the skilled migrants’ satisfaction with the Helsinki Metropolitan Area. The examination is executed on three scales: housing, neighbourhoods and the city region. Specific focus is on the built environment and how it meets the needs of the migrants. The empirical data is formed of 25 semi-structured interviews with skilled migrants and additionally 5 expert interviews. Skilled and educated workforce is an increasingly important resource in the new economy, and cities are competing globally for talented workers. With aging population and a need to develop its innovational structure, the Helsinki Metropolitan Area needs migrant workforce. It has been stated that quality of place is a central factor for skilled migrants when choosing where to settle, and from this perspective their satisfaction with the region is significant. In housing, the skilled migrants found the price-quality ratio and the general sizes of apartments inadequate. The housing market is difficult for the migrants to approach, since they often do not speak Finnish and there are prejudices towards foreigners. The general quality of housing was rated well. On the neighbourhood level, the skilled migrants had settled in residential areas which are also preferred by the Finnish skilled workers. While the migrants showed suburban orientation in their settlement patterns, they were not concentrated in the suburban areas which host large shares of traditional immigrant groups. Migrants were usually satisfied with their neighbourhoods; however, part of the suburban dwellers were unsatisfied with the services and social life in their neighbourhoods. Considering the level of the city region, the most challenging feature for the skilled migrants was the social life. The migrants felt that the social environment is homogeneous and difficult to approach. The physical environment was generally rated well, the most appreciated features being public transportation, human scale of the Metropolitan Helsinki, cleanliness, and the urban nature. Urban culture and services were seen good for the city region’s size, but lacking in international comparison.

Functional Analysis of an Acid Adaptive DNA Adenine Methyltransferase from Helicobacter pylori 26695

HP0593 DNA-(N-6-adenine)-methyltransferase (HP0593 MTase) is a member of a Type III restriction-modification system in Helicobacter pylori strain 26695. HP0593 MTase has been cloned, overexpressed and purified heterologously in Escherichia coli. The recognition sequence of the purified MTase was determined as 5'-GCAG-3' and the site of methylation was found to be adenine. The activity of HP0593 MTase was found to be optimal at pH 5.5. This is a unique property in context of natural adaptation of H. pylori in its acidic niche. Dot-blot assay using antibodies that react specifically with DNA containing m6A modification confirmed that HP0593 MTase is an adenine-specific MTase. HP0593 MTase occurred as both monomer and dimer in solution as determined by gel-filtration chromatography and chemical-crosslinking studies. The nonlinear dependence of methylation activity on enzyme concentration indicated that more than one molecule of enzyme was required for its activity. Analysis of initial velocity with AdoMet as a substrate showed that two molecules of AdoMet bind to HP0593 MTase, which is the first example in case of Type III MTases. Interestingly, metal ion cofactors such as Co2+, Mn2+, and also Mg2+ stimulated the HP0593 MTase activity. Preincubation and isotope partitioning analyses clearly indicated that HP0593 MTase-DNA complex is catalytically competent, and suggested that DNA binds to the MTase first followed by AdoMet. HP0593 MTase shows a distributive mechanism of methylation on DNA having more than one recognition site. Considering the occurrence of GCAG sequence in the potential promoter regions of physiologically important genes in H. pylori, our results provide impetus for exploring the role of this DNA MTase in the cellular processes of H. pylori.

DNA Binding, Coprotease, and Strand Exchange Activities of Mycobacterial RecA Proteins: Implications for Functional Diversity among RecA Nucleoprotein Filaments

One of the fundamental questions concerning homologous recombination is how RecA or its homologues recognize several DNA sequences with high affinity and catalyze all the diverse biological activities. In this study, we show that the extent of single-stranded DNA binding and strand exchange (SE) promoted by mycobacterial RecA proteins with DNA substrates having various degrees of GC content was comparable with that observed for Escherichia coli RecA. However, the rate and extent of SE promoted by these recombinases showed a strong negative correlation with increasing amounts of sequence divergence embedded at random across the length of the donor strand. Conversely, a positive correlation was seen between SE efficiency and the degree of sequence divergence in the recipient duplex DNA. The extent of heteroduplex formation was not significantly affected when both the pairing partners contained various degrees of sequence divergence, although there was a moderate decrease in the case of mycobacterial RecA proteins with substrates containing larger amounts of sequence divergence. Whereas a high GC content had no discernible effect on E. coli RecA coprotease activity, a negative correlation was apparent between mycobacterial RecA proteins and GC content. We further show clear differences in the extent of SE promoted by E. coli and mycobacterial RecA proteins in the presence of a wide range of ATP:ADP ratios. Taken together, our findings disclose the existence of functional diversity among E. coli and mycobacterial RecA nucleoprotein filaments, and the milieu of sequence divergence (i.e., in the donor or recipient) exerts differential effects on heteroduplex formation, which has implications for the emergence of new genetic variants.

Glass Transition in the Density Functional Theory of Freezing

A mean-field description of the glass transition in the hard-sphere system is obtained by numerically locating "glassy" minima of a model free-energy functional. These minima, characterized by inhomogeneous but aperiodic density distributions, appear as the average density is increased above the value at which equilibrium crystallization takes place. Investigations of the density distribution and local bond-orientational order at these minima yield results similar to those obtained from simulations.

Diversity in Functional Organization of Class I and Class II Biotin Protein Ligase

The cell envelope of Mycobacterium tuberculosis (M. tuberculosis) is composed of a variety of lipids including mycolic acids, sulpholipids, lipoarabinomannans, etc., which impart rigidity crucial for its survival and pathogenesis. Acyl CoA carboxylase (ACC) provides malonyl-CoA and methylmalonyl-CoA, committed precursors for fatty acid and essential for mycolic acid synthesis respectively. Biotin Protein Ligase (BPL/BirA) activates apo-biotin carboxyl carrier protein (BCCP) by biotinylating it to an active holo-BCCP. A minimal peptide (Schatz), an efficient substrate for Escherichia coli BirA, failed to serve as substrate for M. tuberculosis Biotin Protein Ligase (MtBPL). MtBPL specifically biotinylates homologous BCCP domain, MtBCCP87, but not EcBCCP87. This is a unique feature of MtBPL as EcBirA lacks such a stringent substrate specificity. This feature is also reflected in the lack of self/promiscuous biotinylation by MtBPL. The N-terminus/HTH domain of EcBirA has the selfbiotinable lysine residue that is inhibited in the presence of Schatz peptide, a peptide designed to act as a universal acceptor for EcBirA. This suggests that when biotin is limiting, EcBirA preferentially catalyzes, biotinylation of BCCP over selfbiotinylation. R118G mutant of EcBirA showed enhanced self and promiscuous biotinylation but its homologue, R69A MtBPL did not exhibit these properties. The catalytic domain of MtBPL was characterized further by limited proteolysis. Holo-MtBPL is protected from proteolysis by biotinyl-59 AMP, an intermediate of MtBPL catalyzed reaction. In contrast, apo-MtBPL is completely digested by trypsin within 20 min of co-incubation. Substrate selectivity and inability to promote self biotinylation are exquisite features of MtBPL and are a consequence of the unique molecular mechanism of an enzyme adapted for the high turnover of fatty acid biosynthesis.

Enhancement in Bath Mixing and Plume area in a New Degassing Process - A Computational Fluid Dynamic Study

Reaction between the various species in slag and metal phase is usually mass transfer controlled. There have been continuous efforts to increase the reaction efficiency in slag-metal system, especially during decarburization of steel to produce the ultra low carbon steel (ULCS) in secondary steelmaking. It has been found that the surface reaction is a dominant factor in the final stage of decarburization. In the initial stage, the inner site reaction is major factor in the refining process. The mixing of bath affects the later reaction. However, the former reaction (surface reaction) is affected by the plume size area at the top of the metal surface. Therefore, a computational study has been made to understand the fluid dynamics of a new secondary steelmaking process called Revolutionary Degasser Activator (REDA) to study the bath mixing and plume area. REDA process has been considered as it is claimed that this process can reduce the carbon content in steel below 10ppm in a less time than the other existing processes such as RH and Tank degasser. This study shows that both bath mixing and plume area are increased in REDA process facilitating it to give the desired carbon content in less time. Qualitative comments are made on slag-metal reaction system based on this finding.