Subsystem Testing of Message Guided State Machines Using a Simulator Framework

Simulaattorit ovat yksinkertaistettuja malleja tietyist�� j��rjestelm��n osioista. Niit�� k��ytet����n mallintamaan testattavan osion ymp��rill�� olevien muiden osioiden ulkoista toimintaa, jotta testattavalle osiolle saadaan oikeanlainen toimintaymp��rist�� aikaiseksi. Tilakoneita k��ytet����n mallintamaan ohjelmistojen tai niiden osien toimintaa. Sanomaohjatuissa tilakoneissa tilojen vaihdot perustuvat saapuviin sanomiin. T��ss�� ty��ss�� esitell����n er����n ohjelmiston alij��rjestelm��n testaamisessa k��ytett��v�� arkkitehtuuri, joka perustuu suurelta osin simulaattoreiden k��ytt����n muiden alij��rjestelmien mallintamisessa. Testattava ohjelmisto koostuu enimm��kseen tilakoneista, jotka vaihtavat kesken����n sanomia ja ohjaavat n��in toistensa tilasiirtymi��. Ty��n testausymp��rist�� on suunniteltu juuri t��m��nkaltaisen ohjelmiston testaamiseen. Ty��ss�� esitelt��v���� testausymp��rist���� my��skin k��ytettiin useamman kuukauden ajan ja se todettiin toimivaksi. Joitakin testausymp��rist��n k��ytt��ohjeita, k��ytt��kokemuksia sek�� siihen liittyvi�� parannusehdotuksia k��yd����n l��pi ty��n loppuosassa. Erityisesti havaittiin miten t��rke���� on testata implementaatiota jo luokka tasolla ennen alij��rjestelm�� tason testaukseen siirtymist�� sek�� p����dyttiin siihen, ett�� suunnitteluvaiheen pit��isi olla l��hemmin liitoksissa alij��rjestelm��testaukseen.

Ep��puhtauksien vaikutus monokaliumfosfaattikiteen kasvuun

Ty��ss�� on tutkittu ep��puhtauksien vaikutusta kastelulannoitesuolojen monokaliumfosfaatin, kaliumnitraatin ja ureafosfaatin kiteytyksess��. Kirjallisuusosassa on k��sitelty kastelulannoiteprosessit ja ep��puhtauksien vaikutus kastelulannoitteiden valmistuksessa. Kiteytys ja kiteenkasvu on esitetty perusyht��l��in, joissa on otettu ep��puhtauksien vaikutus huomioon. Tarkemmin on perehdytty monokaliumfosfaatin kiteytykseen ja kolmenarvoisten kationeiden, Al3+, Fe3+ ja Cr3+, vaikutukseen kiteiden kasvuun. Kolmenarvoiset metalli-ionit adsorboituvat kiteen pintaan haitaten kiteenkasvua, mik�� vaikuttaa erityisesti kiteen prismapinnan kasvuun. Lis��ksi on esitelty muita kiteenkasvuun vaikuttavia olosuhteita. Lopuksi on k��sitelty kompleksinmuodostajia metalli-ionien haitallisten vaikutusten ehk��isij��in��. Kokeellisessa osassa suoritettiin liukoisuuskokeita monokaliumfosfaatin liukoisuuden selvitt��miseksi eri pH-olosuhteissa. Suoritetuissa yksikidekokeissa tutkittiin pH:n ja kolmenarvoisten kationeiden; Al3+, Fe3+ ja Cr3+, vaikutus monokaliumfosfaattikiteen pituus- ja leveyskasvuun ja kidemuotoon eri ylikyll��isyyksill��. Lis��ksi tutkittiin voidaanko l��mp��tilaa ja pH muuttamalla tai pyrofosfaattia lis����m��ll�� poistaa raudan kasvua inhiboima vaikutus. Kiteytysl��mp��tilaa nostamalla voidaan poistaa raudan haitallinen vaikutus kiteen kasvuun.

Diverse Routes from School, via Higher Education, to Employment. A Comparison of Nine European Countries

The central theme for this study is graduate employment and employability in European-wide discussion. In this study, the complex relationships between higher education and the world of work are explored from the vantage point of how individuals make use of the higher education system in their transition from education to employment. The variation among individual transition processes in nine European countries is analysed with the help of a comparable graduate survey. Countries in this study are Italy, Spain, France, Austria, Germany, the Netherlands, the United Kingdom, Finland, and Norway. The data used for the study is commonly known as the ���CHEERS��� or ���Careers after Higher Education, A European Research Survey.��� The data was collected in 1999. The study discusses the possibilities and limitations the higher education system has in supporting the initial education-to-work transitions of youth. The study also addresses problems with comparing national higher education systems in terms of enrolment and graduate employability. A central purpose for this study is to reflect on concerns about the prolongation of individual transitions with a framework that simultaneously considers both the graduate employability and the duration of the education-to-work transition process. The key concept for this study is the standard student/graduate; synonym concepts are the traditional and the conventional student/graduate. Standard graduates are relatively young individuals who are performing their initial transition from education to working-life and who complete the degree-earning process within the stipulated time frame. In all nine countries, standard graduates make up a considerable share of the student flow, passing from higher education to the labour markets. The share of standard graduates is by far the largest in France, where they comprise the overwhelming mass. The proportion of the standard graduates is the lowest in Italy, Finland, and Austria where approximately one in four graduates completed the process of higher education within the stipulated time frame. Of the nine countries compared, employability of the whole graduate population is the greatest in Norway, the UK, Finland, and the Netherlands. Compared with employability of the whole graduate population, variation among the countries is considerably reduced when reviewing the employability of only the standard graduates. Thereby, even though the ranking among countries remains largely unchanged, the variations among them are smaller when the duration of degree earning process is standardized. The study also discusses other ideal types of student careers (or transition processes) besides the standard student/graduate. Results of regression analyses indicate that that at the pan-European level analysis, the graduate labour markets are not heavily segmented in terms of the type of the individual transition process. When considering within-country differences between the graduates, the field of studies is clearly a more powerful explanatory variable than the type of the transition process. There are, nevertheless, clear indications that, irrespective of the country, chances of finding a high status job are, on the average, highest amongst those who graduate within the stipulated duration of the degree program and who thereby have experienced the standard student career, whereas, participating in working life while studying protects against unemployment after finishing one���s degree.

Photoelectric Measurements and Modeling of Bacteriorhodopsin

Recent technology has provided us with new information about the internal structures and properties of biomolecules. This has lead to the design of applications based on underlying biological processes. Applications proposed for biomolecules are, for example, the future computers and different types of sensors. One potential biomolecule to be incorporated in the applications is bacteriorhodopsin. Bacteriorhodopsin is a light-sensitive biomolecule, which works in a similar way as the light sensitive cells of the human eye. Bacteriorhodopsin reacts to light by undergoing a complicated series of chemical and thermal transitions. During these transitions, a proton translocation occurs inside the molecule. It is possible to measure the photovoltage caused by the proton translocations when a vast number of molecules is immobilized in a thin film. Also the changes in the light absorption of the film can be measured. This work aimed to develop the electronics needed for the voltage measurements of the bacteriorhodopsin-based optoelectronic sensors. The development of the electronics aimed to get more accurate information about the structure and functionality of these sensors. The sensors used in this work contain a thick film of bacteriorhodopsin immobilized in polyvinylalcohol. This film is placed between two transparent electrodes. The result of this work is an instrumentation amplifier which can be placed in a small space very close to the sensor. By using this amplifier, the original photovoltage can be measured in more detail. The response measured using this amplifier revealed two different components, which could not be distinguished earlier. Another result of this work is the model for the photoelectric response in dry polymer films.

Asiantuntijuus kokemuksena

Artikkeli perustuu kirjoittajan v��it��skirjaan Joy and struggle for renewal : a narrative inquiry into expertise in job transitions (Helsingin yliopisto 2005).

Genetic regulatory networks in avian B cells

Biology is turning into an information science. The science of systems biology seeks to understand the genetic networks that govern organism development and functions. In this study the chicken was used as a model organism in the study of B cell regulatory factors. These studies open new avenues for plasma cell research by connecting the down regulation of the B cell gene expression program directly to the initiation of plasma cell differentiation. The unique advantages of the DT40 avian B cell model system, specifically its high homologous recombination rate, were utilized to study gene regulation in Pax5 knock out cell lines and to gain new insights into the B cell to plasma cell transitions that underlie the secretion of antibodies as part of the adaptive immune response. The Pax5 transcription factor is central to the commitment, development and maintenance of the B cell phenotype. Mice lacking the Pax5 gene have an arrest in development at the pro-B lymphocyte stage while DT40 cells have been derived from cells at a more mature stage of development. The DT40 Pax5-/- cells exhibited gene expression similarities with primary chicken plasma cells. The expression of the plasma cell transcription factors Blimp-1 and XBP-1 were significantly upregulated while the expression of the germinal centre factor BCL6 was diminished in Pax5-/- cells, and this alteration was normalized by Pax5 re-introduction. The Pax5-deficient cells further manifested substantially elevated secretion of IgM into the supernatant, another characteristic of plasma cells. These results for the first time indicated that the downregulation of the Pax5 gene in B cells promotes plasma cell differentiation. Cross-species meta-analysis of chicken and mouse Pax5 gene knockout studies uncovers genes and pathways whose regulatory relationship to Pax5 has remained unchanged for over 300 million years. Restriction of the hematopoietic stem cell fate to produce T, B and NK cell lineages is dependent on the Ikaros and its molecular partners, the closely related <i>Helios</i> and <i>Aiolos</i>. <i>Ikaros</i> family members are zinc finger proteins which act as transcriptional repressors while helping to activate lymphoid genes. <i>Helios</i> in mice is expressed from the hematopoietic stem cell level onwards, although later in development its expression seems to predominate in the T cell lineage. This study establishes the emergence and sequence of the chicken <i>Ikaros</i> family members. <i>Helios</i> expression in the bursa of Fabricius, germinal centres and B cell lines suggested a role for Helios in the avian B-cell lineage, too. Phylogenetic studies of the Ikaros family connect the expansion of the Ikaros family, and thus possibly the emergence of the adaptive immune system, with the second round of genome duplications originally proposed by Ohno. Paralogs that have arisen as a result of genome-wide duplications are sometimes termed ohnologs ��� Ikaros family proteins appear to fit that definition. This study highlighted the opportunities afforded by the genome sequencing efforts and somatic cell reverse genetics approaches using the DT40 cell line. The DT40 cell line and the avian model system promise to remain a fruitful model for mechanistic insight in the post-genomic era as well.

Innovations of ageing and societal transition : Dynamics of change of the socio-technical regime of ageing

The purpose of this dissertation is to examine the dynamics of the socio-technical system in the field of ageing. The study stems from the notion that the ageing of the population as a powerful megatrend has wide societal effects, and is not just a matter for the social and health sector. The central topic in the study is change: not only the age structures and structures of society are changing, but also at the same time there is constant development, for instance, in technologies, infrastructures and cultural perceptions. The changing concept of innovation has widened the understanding of innovations related to ageing from medical and assistive technological innovations to service and social innovations, as well as systemic innovations at different levels, which means the intertwined and co-evolutionary change in technologies, structures, services and thinking models. By the same token, the perceptions of older people and old age are becoming more multi-faceted: old age is no longer equated to illnesses and decline, but visions of active ageing and a third age have emerged, which are framed by choices, opportunities, resources and consumption in later life. The research task in this study is to open up the processes and mechanisms of change in the field of ageing, which are studied as a complex, multi-level and interrelated socio-technical system. The question is about co-effective elements consisting of macro-level landscape changes, the existing socio-technical regime (the rule system, practices and structures) and bottom-up niche-innovations. Societal transitions do not account for the things inside the regime alone, or for the long-term changes in the landscape, nor for the radical innovations, but for the interplay between all these levels. The research problem is studied through five research articles, which offer micro-level case studies to macro-level phenomenon. Each of the articles focus on different aspects related to ageing and change, and utilise various datasets. The framework of this study leans on the studies of socio-technical systems and multi-level perspective on transitions mainly developed by Frank Geels. Essential factors in transition from one socio-technological regime to another are the co-evolutionary processes between landscape changes, regime level and experimental niches. Landscape level changes, like the ageing of the population, destabilise the regime in the forms of coming pressures. This destabilization offers windows for opportunity to niche-innovations outside or at fringe of the regime, which, through their breakthrough, accelerate the transition process. However, the change is not easy because of various kinds of lock-ins and inertia, which tend to maintain the stability of the regime. In this dissertation, a constructionist approach of society is applied leaning mainly to the ideas of Anthony Giddens��� theory of structuration, with the dual nature of structures. The change is taking place in the interplay between actors and structures: structures shape people���s practices, but at the same time these practices constitute and reproduce social systems. Technology and other material aspects, as part of socio-technical systems, and the use of them, also take part in the structuration process. The findings of the study point out that co-evolutionary and co-effective relationships between economic, cultural, technological and institutional fields, as well as relationships between landscape changes, changes in the local and regime-level practices and rule systems, are a very complex and multi-level dynamic socio-technical phenomenon. At the landscape level of ageing, which creates the pressures and triggers to the regime change, there are three remarkable megatrends: demographic change, changes in the global economy and the development of technologies. These exert pressures to the socio-technical regime, which as a rule system is experiencing changes in the form of new markets and consumer habits, new ways of perceiving ageing, new models of organising the health care and other services and as new ways of considering innovation and innovativeness. There are also inner dynamics in the relationships between these aspects within the regime. These are interrelated and coconstructed: the prevailing perceptions of ageing and innovation, for instance, reflect the ageing policies, innovation policies, societal structures, organising models, technology and scientific discussion, and vice versa. Technology is part of the inner dynamics of the sociotechnological regime. Physical properties of the artefacts set limitations and opportunities with regard to their functions and uses. The use of and discussion about technology, contributes producing and reproducing the perceptions of old age. For societal transition, micro-level changes are also needed, in form of niche-innovations, for instance new services, organisational models or new technologies, Regimes, as stabilitystriven systems, tend to generate incremental innovations, but radically new innovations are generated in experimental niches protected from ���normal��� market selection. The windows of opportunity for radical novelties may be opened if the circumstances are favourable for instance by tensions in the socio-technical regime affected by landscape level changes. This dissertation indicates that a change is taking place, firstly, in the dynamic interactionbetween levels, as a result of purposive action and governance to some extent. Breaking the inertia and using the window of opportunity for change and innovation offered by dynamics between levels, presupposes the actors��� special capabilities and actions such as dynamic capabilities and distance management. Secondly, the change is taking place the socio-technological negotiations inside the regime: interaction between technological and social, which is embodied in the use of technology. The use of technology includes small-level contextual scripts that also participate in forming broader societal scripts (for instance defining old age at the society level), which in their turn affect the formation of policies for innovation and ageing. Thirdly, the change is taking place by the means of active formation of the multi-actor innovation networks, where the role of distance management is crucial to facilitate the communication between actors coming from different backgrounds as well as to help the niches born outside the regime to utilise the window of opportunity offered by regime destabilisation. This dissertation has both theoretical and practical contributions. This study participates in the discussion of action-oriented view on transition by opening up of the socio-technological, coevolutionary processes of the multi-faceted phenomenon of ageing, which has lacked systematic analyses. The focus of this study, however, is not on the large-scale coordination and governance, but rather on opening up the incremental elements and structuration processes, which contribute to the transition little by little, and which can be affected to. This increases the practical importance of this dissertation, by highlighting the importance of very tiny, everyday elements in the change processes in the long run.

Energiavarastojen mitoitus laivas��hk��j��rjestelm����n

Jatkuvasti kiristyv��t p����st��rajoitukset ajavat eri alojen energiatuottajia kehitt��m����n uusia ratkaisuja p����st��jen pienent��miseksi. Viime aikoina my��s laivojen p����st��rajoituksia on tiukennettu ja tulevaisuudessa niit�� tullaan tiukentamaan lis����. N��m�� tiukentuvat p����st��rajoitukset asettavat my��s laivan dieselmoottoreiden valmistajat uusien haasteiden eteen. Yhten�� vaihtoehtona on lis��t�� dieselmoottorin rinnalle energiavarasto, joka v��hent���� dieselmoottorin p����st��j�� varsinkin nopeissa kuormituksen muutoksissa. T��ss�� diplomity��ss�� tarkastellaan s��hk��isten energiavarastojen mitoitusta laivan s��hk��j��rjestelm����n. Energiavarastot mitoitetaan useaan eri toimintatilanteeseen. Mitoituksen lis��ksi pohditaan energiavarastoilla saatavaa mahdollista rahallista hy��ty�� sek�� p����st��jen v��henemist��.

Functional studies on bacterial nucleotide-regulated inorganic pyrophosphatases

CBS domains are ~60 amino acid tandemly repeated regulatory modules forming a widely distributed domain superfamily. Found in thousands of proteins from all kingdoms of life, CBS domains have adopted a variety of functions during evolution, one of which is regulation of enzyme activity through binding of adenylate-containing compounds in a hydrophobic cavity. Mutations in human CBS domain-containing proteins cause hereditary diseases. Inorganic pyrophosphatases (PPases) are ubiquitous enzymes, which pull pyrophosphate (PPi) producing reactions forward by hydrolyzing PPi into phosphate. Of the two nonhomologous soluble PPases, dimeric family II PPases, belonging to the DHH family of phosphoesterases, require a transition metal and magnesium for maximal activity. A quarter of the almost 500 family II PPases, found in bacteria and archaea, contain a 120-250 amino acid N-terminal insertion, comprised of two CBS domains separated in sequence by a DRTGG domain. These enzymes are thus named CBS-PPases. The function of the DRTGG domain in proteins is unknown. The aim of this PhD thesis was to elucidate the structural and functional differences of CBS-PPases in comparison to family II PPases lacking the regulatory insert. To this end, we expressed, purified and characterized the CBS-PPases from <i>Clostridium perfringens</i> <i>(cp</i>CBS-PPase) and <i>Moorella thermoacetica</i> (<i>mt</i>CBS-PPase), the latter lacking a DRTGG domain. Both enzymes are homodimers in solution and display maximal activity against PPi in the presence of Co2+ and Mg2+. Uniquely, the DRTGG domain was found to enable tripolyphosphate hydrolysis at rates similar to that of PPi. Additionally, we found that AMP and ADP inhibit, while ATP and AP4A activate CBSPPases, thus enabling regulation in response to changes in cellular energy status. We then observed substrate- and nucleotide-induced conformational transitions in <i>mt</i>CBS-PPase and found that the enzyme exists in two differentially active conformations, interconverted through substrate binding and resulting in a 2.5-fold enzyme activation. AMP binding was shown to produce an alternate conformation, which is reached through a different pathway than the substrate-induced conformation. We solved the structure of the regulatory insert from <i>cp</i>CBS-PPase in complex with AMP and AP4A and proposed that conformational changes in the loops connecting the catalytic and regulatory domains enable activity regulation. We examined the effects of mutations in the CBS domains of <i>mt</i>CBS-PPase on catalytic activity, as well as, nucleotide binding and inhibition.

Proactive and Preventive Student Welfare Activities in Finnish Preschool and Elementary School: Handling of Transition to Formal Schooling and a National Anti-Bullying Program as Examples

Prerequisites and effects of proactive and preventive psycho-social student welfare activities in Finnish preschool and elementary school were of interest in the present thesis. So far, Finnish student welfare work has mainly focused on interventions and individuals, and the voluminous possibilities to enhance well-being of all students as a part of everyday school work have not been fully exploited. Consequently, in this thesis three goals were set: (1) To present concrete examples of proactive and preventive psycho-social student welfare activities in Finnish basic education; (2) To investigate measurable positive effects of proactive and preventive activities; and (3) To investigate implementation of proactive and preventive activities in ecological contexts. Two prominent phenomena in preschool and elementary school years���transition to formal schooling and school bullying���were chosen as examples of critical situations that are appropriate targets for proactive and preventive psycho-social student welfare activities. Until lately, the procedures concerning both school transitions and school bullying have been rather problem-focused and reactive in nature. Theoretically, we lean on the bioecological model of development by Bronfenbrenner and Morris with concentric micro-, meso-, exo- and macrosystems. Data were drawn from two large-scale research projects, the longitudinal First Steps Study: Interactive Learning in the Child���Parent��� Teacher Triangle, and the Evaluation Study of the National Antibullying Program KiVa. In Study I, we found that the academic skills of children from preschool���elementary school pairs that implemented several supportive activities during the preschool year developed more quickly from preschool to Grade 1 compared with the skills of children from pairs that used fewer practices. In Study II, we focused on possible effects of proactive and preventive actions on teachers and found that participation in the KiVa antibullying program influenced teachers��� self-evaluated competence to tackle bullying. In Studies III and IV, we investigated factors that affect implementation rate of these proactive and preventive actions. In Study III, we found that principal���s commitment and support for antibullying work has a clear-cut positive effect on implementation adherence of student lessons of the KiVa antibullying program. The more teachers experience support for and commitment to anti-bullying work from their principal, the more they report having covered KiVa student lessons and topics. In Study IV, we wanted to find out why some schools implement several useful and inexpensive transition practices, whereas other schools use only a few of them. We were interested in broadening the scope and looking at local-level (exosystem) qualities, and, in fact, the local-level activities and guidelines, along with teacherreported importance of the transition practices, were the only factors significantly associated with the implementation rate of transition practices between elementary schools and partner preschools. Teacher- and school-level factors available in this study turned out to be mostly not significant. To summarize, the results confirm that school-based promotion and prevention activities may have beneficial effects not only on students but also on teachers. Second, various top-down processes, such as engagement at the level of elementary school principals or local administration may enhance implementation of these beneficial activities. The main message is that when aiming to support the lives of children the primary focus should be on adults. In future, promotion of psychosocial well-being and the intrinsic value of inter- and intrapersonal skills need to be strengthened in the Finnish educational systems. Future research efforts in student welfare and school psychology, as well as focused training for psychologists in educational contexts, should be encouraged in the departments of psychology and education in Finnish universities. Moreover, a specific research centre for school health and well-being should be established.

Electroactive ion exchange membranes based on conducting polymers

Ion exchange membranes are indispensable for the separation of ionic species. They can discriminate between anions and cations depending on the type of fixed ionic group present in the membrane. These conventional ion exchange membranes (CIX) have exceptional ionic conductivity, which is advantageous in various electromembrane separation processes such as electrodialysis, electrodeionisation and electrochemical ion exchange. The main disadvantage of CIX membranes is their high electrical resistance owing to the fact that the membranes are electronically non conductive. An alternative can be electroactive ion exchange membranes, which are ionically and electronically conducting. Polypyrrole (PPy) is a type of electroactive ion exchange material as well as a commonly known conducting polymer. When PPy membranes are repeatedly reduced and oxidised, ions are pumped through the membrane. The main aim of this thesis was to develop electroactive cation transport membranes based on PPy for the selective transport of divalent cations. Membranes developed composed of PPy films deposited on commercially available support materials. To carry out this study, cation exchange membranes based on PPy doped with immobile anions were prepared. Two types of dopant anions known to interact with divalent metal ions were considered, namely 4-sulphonic calix[6]arene (C6S) and carboxylated multiwalled carbon nanotubes (CNT). The transport of ions across membranes containing PPy doped with polystyrene sulphonate (PSS) and PPy doped with para-toluene sulphonate (pTS) was also studied in order to understand the nature of ion transport and permeability across PPy(CNT) and PPy(C6S) membranes. In the course of these studies, membrane characterisation was performed using electrochemical quartz crystal microbalance (EQCM) and scanning electron microscopy (SEM). Permeability of the membranes towards divalent cations was explored using a two compartment transport cell. EQCM results demonstrated that the ion exchange behaviour of polypyrrole is dependent on a number of factors including the type of dopant anion present, the type of ions present in the surrounding medium, the scan rate used during the experiment and the previous history of the polymer film. The morphology of PPy films was found to change when the dopant anion was varied and even when the thickness of the film was altered in some cases. In nearly all cases the permeability of the membranes towards metal ions followed the order K+ > Ca2+ > Mn2+. The one exception was PPy(C6S), for which the permeability followed the order Ca2+ ��� K+ > Mn2+ > Co2+ > Cr3+. The above permeability sequences show a strong dependence on the size of the metal ions with metal ions having the smallest hydrated radii exhibiting the highest flux. Another factor that affected the permeability towards metal ions was the thickness of the PPy films. Films with the least thickness showed higher metal ion fluxes. Electrochemical control over ion transport across PPy(CNT) membrane was obtained when films composed of the latter were deposited on track-etched Nucleopore�� membranes as support material. In contrast, the flux of ions across the same film was concentration gradient dependent when the polymer was deposited on polyvinylidene difluoride membranes as support material. However, electrochemical control over metal ion transport was achieved with a bilayer type of PPy film consisting of PPy(pTS)/PPy(CNT), irrespective of the type of support material. In the course of studying macroscopic charge balance during transport experiments performed using a two compartment transport cell, it was observed that PPy films were non-permselective. A clear correlation between the change in pH in the receiving solution and the ions transported across the membrane was observed. A decrease in solution pH was detected when the polymer membrane acted primarily as an anion exchanger, while an increase in pH occurred when it functioned as a cation exchanger. When there was an approximately equal flux of anions and cations across the polymer membrane, the pH in the receiving solution was in the range 6 - 8. These observations suggest that macroscopic charge balance during the transport of cations and anions across polypyrrole membranes was maintained by introduction of anions (OH-) and cations (H+) produced via electrolysis of water.

Non-Markovian dynamics and quantum information probes

This Thesis discusses the phenomenology of the dynamics of open quantum systems marked by non-Markovian memory effects. Non-Markovian open quantum systems are the focal point of a flurry of recent research aiming to answer, e.g., the following questions: What is the characteristic trait of non-Markovian dynamical processes that discriminates it from forgetful Markovian dynamics? What is the microscopic origin of memory in quantum dynamics, and how can it be controlled? Does the existence of memory effects open new avenues and enable accomplishments that cannot be achieved with Markovian processes? These questions are addressed in the publications forming the core of this Thesis with case studies of both prototypical and more exotic models of open quantum systems. In the first part of the Thesis several ways of characterizing and quantifying non-Markovian phenomena are introduced. Their differences are then explored using a driven, dissipative qubit model. The second part of the Thesis focuses on the dynamics of a purely dephasing qubit model, which is used to unveil the origin of non-Markovianity for a wide class of dynamical models. The emergence of memory is shown to be strongly intertwined with the structure of the spectral density function, as further demonstrated in a physical realization of the dephasing model using ultracold quantum gases. Finally, as an application of memory effects, it is shown that non- Markovian dynamical processes facilitate a novel phenomenon of timeinvariant discord, where the total quantum correlations of a system are frozen to their initial value. Non-Markovianity can also be exploited in the detection of phase transitions using quantum information probes, as shown using the physically interesting models of the Ising chain in a transverse field and a Coulomb chain undergoing a structural phase transition.