On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

On Games on Non-Wellfounded Sets and Stationary Sets

In this thesis we study a few games related to non-wellfounded and stationary sets. Games have turned out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of non-wellfounded sets can be determined by a so called bisimulation game already used to identify processes in theoretical computer science and possible world models for modal logic. Here we present a game to classify non-wellfounded sets according to their branching structure. We also study games on stationary sets moving back to classical wellfounded set theory. We also describe a way to approximate non-wellfounded sets with hereditarily finite wellfounded sets. The framework used to do this is domain theory. In the Banach-Mazur game, also called the ideal game, the players play a descending sequence of stationary sets and the second player tries to keep their intersection stationary. The game is connected to precipitousness of the corresponding ideal. In the pressing down game first player plays regressive functions defined on stationary sets and the second player responds with a stationary set where the function is constant trying to keep the intersection stationary. This game has applications in model theory to the determinacy of the Ehrenfeucht-Fraisse game. We show that it is consistent that these games are not equivalent.

A Decentralized Session Management Framework for Heterogeneous Ad-Hoc and Fixed Networks

Wireless technologies are continuously evolving. Second generation cellular networks have gained worldwide acceptance. Wireless LANs are commonly deployed in corporations or university campuses, and their diffusion in public hotspots is growing. Third generation cellular systems are yet to affirm everywhere; still, there is an impressive amount of research ongoing for deploying beyond 3G systems. These new wireless technologies combine the characteristics of WLAN based and cellular networks to provide increased bandwidth. The common direction where all the efforts in wireless technologies are headed is towards an IP-based communication. Telephony services have been the killer application for cellular systems; their evolution to packet-switched networks is a natural path. Effective IP telephony signaling protocols, such as the Session Initiation Protocol (SIP) and the H 323 protocol are needed to establish IP-based telephony sessions. However, IP telephony is just one service example of IP-based communication. IP-based multimedia sessions are expected to become popular and offer a wider range of communication capabilities than pure telephony. In order to conjoin the advances of the future wireless technologies with the potential of IP-based multimedia communication, the next step would be to obtain ubiquitous communication capabilities. According to this vision, people must be able to communicate also when no support from an infrastructured network is available, needed or desired. In order to achieve ubiquitous communication, end devices must integrate all the capabilities necessary for IP-based distributed and decentralized communication. Such capabilities are currently missing. For example, it is not possible to utilize native IP telephony signaling protocols in a totally decentralized way. This dissertation presents a solution for deploying the SIP protocol in a decentralized fashion without support of infrastructure servers. The proposed solution is mainly designed to fit the needs of decentralized mobile environments, and can be applied to small scale ad-hoc networks or also bigger networks with hundreds of nodes. A framework allowing discovery of SIP users in ad-hoc networks and the establishment of SIP sessions among them, in a fully distributed and secure way, is described and evaluated. Security support allows ad-hoc users to authenticate the sender of a message, and to verify the integrity of a received message. The distributed session management framework has been extended in order to achieve interoperability with the Internet, and the native Internet applications. With limited extensions to the SIP protocol, we have designed and experimentally validated a SIP gateway allowing SIP signaling between ad-hoc networks with private addressing space and native SIP applications in the Internet. The design is completed by an application level relay that permits instant messaging sessions to be established in heterogeneous environments. The resulting framework constitutes a flexible and effective approach for the pervasive deployment of real time applications.

Computational Techniques for Haplotype Inference and for Local Alignment Significance

This thesis which consists of an introduction and four peer-reviewed original publications studies the problems of haplotype inference (haplotyping) and local alignment significance. The problems studied here belong to the broad area of bioinformatics and computational biology. The presented solutions are computationally fast and accurate, which makes them practical in high-throughput sequence data analysis. Haplotype inference is a computational problem where the goal is to estimate haplotypes from a sample of genotypes as accurately as possible. This problem is important as the direct measurement of haplotypes is difficult, whereas the genotypes are easier to quantify. Haplotypes are the key-players when studying for example the genetic causes of diseases. In this thesis, three methods are presented for the haplotype inference problem referred to as HaploParser, HIT, and BACH. HaploParser is based on a combinatorial mosaic model and hierarchical parsing that together mimic recombinations and point-mutations in a biologically plausible way. In this mosaic model, the current population is assumed to be evolved from a small founder population. Thus, the haplotypes of the current population are recombinations of the (implicit) founder haplotypes with some point--mutations. HIT (Haplotype Inference Technique) uses a hidden Markov model for haplotypes and efficient algorithms are presented to learn this model from genotype data. The model structure of HIT is analogous to the mosaic model of HaploParser with founder haplotypes. Therefore, it can be seen as a probabilistic model of recombinations and point-mutations. BACH (Bayesian Context-based Haplotyping) utilizes a context tree weighting algorithm to efficiently sum over all variable-length Markov chains to evaluate the posterior probability of a haplotype configuration. Algorithms are presented that find haplotype configurations with high posterior probability. BACH is the most accurate method presented in this thesis and has comparable performance to the best available software for haplotype inference. Local alignment significance is a computational problem where one is interested in whether the local similarities in two sequences are due to the fact that the sequences are related or just by chance. Similarity of sequences is measured by their best local alignment score and from that, a p-value is computed. This p-value is the probability of picking two sequences from the null model that have as good or better best local alignment score. Local alignment significance is used routinely for example in homology searches. In this thesis, a general framework is sketched that allows one to compute a tight upper bound for the p-value of a local pairwise alignment score. Unlike the previous methods, the presented framework is not affeced by so-called edge-effects and can handle gaps (deletions and insertions) without troublesome sampling and curve fitting.

AndroMedia - Towards a Context-aware Mobile Music Recommender

Portable music players have made it possible to listen to a personal collection of music in almost every situation, and they are often used during some activity to provide a stimulating audio environment. Studies have demonstrated the effects of music on the human body and mind, indicating that selecting music according to situation can, besides making the situation more enjoyable, also make humans perform better. For example, music can boost performance during physical exercises, alleviate stress and positively affect learning. We believe that people intuitively select different types of music for different situations. Based on this hypothesis, we propose a portable music player, AndroMedia, designed to provide personalised music recommendations using the user’s current context and listening habits together with other user’s situational listening patterns. We have developed a prototype that consists of a central server and a PDA client. The client uses Bluetooth sensors to acquire context information and logs user interaction to infer implicit user feedback. The user interface also allows the user to give explicit feedback. Large user interface elements facilitate touch-based usage in busy environments. The prototype provides the necessary framework for using the collected information together with other user’s listening history in a context- enhanced collaborative filtering algorithm to generate context-sensitive recommendations. The current implementation is limited to using traditional collaborative filtering algorithms. We outline the techniques required to create context-aware recommendations and present a survey on mobile context-aware music recommenders found in literature. As opposed to the explored systems, AndroMedia utilises other users’ listening habits when suggesting tunes, and does not require any laborious set up processes.

Dental Service Utilization, Dental Health Production and Equity in Dental Care: the Finnish Experience

This thesis is grounded on four articles. Article I generally examines the factors affecting dental service utilization. Article II studies the factors associated with sector-specific utilization among young adults entitled to age-based subsidized dental care. Article III explores the determinants of dental ill-health as measured by the occurrence of caries and the relationship between dental ill-health and dental care use. Article IV measures and explains income-related inequality in utilization. Data employed were from the 1996 Finnish Health Care Survey (I, II, IV) and the 1997 follow-up study included in the longitudinal study of the Northern Finland 1966 Birth Cohort (III). Utilization is considered as a multi-stage decision-making process and measured as the number of visits to the dentist. Modified count data models and concentration and horizontal equity indices were applied. Dentist s recall appeared very efficient at stimulating individuals to seek care. Dental pain, recall, and the low number of missing teeth positively affected utilization. Public subvention for dental care did not seem to statistically increase utilization. Among young adults, a perception of insufficient public service availability and recall were positively associated with the choice of a private dentist, whereas income and dentist density were positively associated with the number of visits to private dentists. Among cohort females, factors increasing caries were body mass index and intake of alcohol, sugar, and soft drinks and those reducing caries were birth weight and adolescent school achievement. Among cohort males, caries was positively related to the metropolitan residence and negatively related to healthy diet and education. Smoking increased caries, whereas regular teeth brushing, regular dental attendance and dental care use decreased caries. We found equity in young adults utilization but pro-rich inequity in the total number of visits to all dentists and in the probability of visiting a dentist for the whole sample. We observed inequity in the total number of visits to the dentist and in the probability of visiting a dentist, being pro-poor for public care but pro-rich for private care. The findings suggest that to enhance equal access to and use of dental care across population and income groups, attention should focus on supply factors and incentives to encourage people to contact dentists more often. Lowering co-payments and service fees and improving public availability would likely increase service use in both sectors. To attain favorable oral health, appropriate policies aimed at improving dental health education and reducing the detrimental effects of common risk factors on dental health should be strengthened. Providing equal access with respect to need for all people ought to take account of the segmentation of the service system, with its two parallel delivery systems and different supplier incentives to patients and dentists.

Tiedon jakaminen tiimityössä

Knowledge-sharing in a teamwork The study examines the link between knowledge-sharing that takes place in a team and the dimensions and objectives of the team s activities. The question the study poses is: How does knowledge-sharing in a team relate to the team s activities? The exchange of knowledge is examined using knowledge-sharing networks and the conversion model, which describes the process of knowledge formation. The answer to the question is sought through four empirical articles describing the activities of a team from the viewpoint of quality, fairness, power related to knowledge management, and performance. One of the articles used in the study describes the role of networks in work life more generally. It attempts to shed light on the manner in which team-related networks operate as part of a more extensive structure of organizational networks. Finland is one of the most eager users of teamwork, if numbers are used as a yardstick. About half of all Finnish wage earners worked in teams in 2009, and comparisons show that the use of teams in Finland is above the EU average. This study focuses on so-called semi-autonomous teams, which carry out permanent work tasks. In such teams, tasks are interdependent, and teams are jointly responsible for ensuring that the work is done. Team members may also, at least to some extent, agree between themselves on how the tasks are carried out and are able to take part in the decision-making process. Such teamwork makes knowledge-sharing an important element for the team s activities. Knowledge and knowledge-sharing have become a major resource, allowing organizations to operate and even compete in today s increasingly competitive markets. A single team or a single organization cannot, however, possess all the knowledge required for carrying out the tasks assigned to it. Although it is difficult to copy the knowledge generated in an organization, it is important to share the knowledge within and between organizations. External links supply teams and organizations with important knowledge that allows them to keep their operations up-to-date and their structures well-functioning. In fact, knowledge provides teams and organizations with an intangible resource that improves their capacity to interact with their environment and to adjust to it. For this reason, it is important to examine both the internal and external knowledge-sharing taking place in a team. The findings of the study show that in terms of quality, fairness, performance and the knowledge management issues concerning a team, its social network structure is both internally and externally connected with its activities. A team structure that is internally coherent and at the same time open to external contacts, is, with certain restrictions, connected with the quality, fairness, and performance of the team. The restrictions concern differences between procedural and interactional justice, public and private sectors, and the team leaders and ordinary team members. The role of the team leader is closely connected with the management of networks that are considered valuable. The results of the study indicate that teamwork is supervisor-dominated. Thus, teamwork does not substantially strengthen the influence of individual employees as players in knowledge-transfer networks. However, ordinary team members possess important peer contacts inside the organization. Teamwork clearly allows employees to interact in a democratic manner, and here the transfer of tacit knowledge plays an important role. Keywords: teamwork, knowledge-sharing, social networks, organization

Essays on Misplanning Wealth and Health: A Behavioural Approach

The dissertation consists of three essays on misplanning wealth and health accumulation. The conventional economics assumes that individual's intertemporal preferences are exponential (exponential preferences, EP). Recent findings in behavioural economics have shown that, actually, people do discount near future relatively heavier than distant future. This implies hyperbolic intertemporal preferences (HP). Essays I and II concentrate especially on the effects of a delayed completion of tasks, a feature of behaviour that HP enables. Essay III uses current Finnish data to analyse the evolvement of the quality adjusted life years (QALYs) and inconsistencies in measuring that. Essay I studies the existence effects of a lucrative retirement savings program (SP) on the retirement savings of different individual types having HP. If the individual does not know that he will have HP also in the future, i.e. he is the naïve, for certain conditions, he delays the enrolment on SP until he abandons it. Very interesting finding is that the naïve retires then poorer in the presence than in the absence of SP. For the same conditions, the individual who knows that he will have HP also in the future, i.e. he is the sophisticated, gains from the existence of SP, and retires with greater retirement savings in the presence than in the absence of SP. Finally, capabilities to learn from past behaviour and about intertemporal preferences improve possibilities to gain from the existence but an adequate time to learn must be then guaranteed. Essay II studies delayed doctor's visits, theirs effects on the costs of a public health care system and government's attempts to control patient behaviour and fund the system. The controlling devices are a consultation fee and a deductible for that. The deductible is effective only for a patient whose diagnosis reveals a disease that would not get cured without the doctor's visit. The naives delay their visits the longest while EP-patients are the quickest visitors. To control the naives, the government should implement a low fee and a high deductible, while for the sophisticates the opposite is true. Finally, if all the types exist in an economy then using an incorrect conventional assumption that all individuals have EP leads to worse situation and requires higher tax rates than assuming incorrectly but unconventionally that only the naives exists. Essay III studies the development of QALYs in Finland 1995/96-2004. The essay concentrates on developing a consistent measure, i.e. independent of discounting, for measuring the age and gender specific QALY-changes and their incidences. For the given time interval, use of a relative change out of an attainable change seems to be almost intact to discounting and reveals that the greatest gains are for older age groups.

VEGFR-2 and VEGFR-3 Specific Signaling in Lymphangiogenesis and Angiogenesis

The circulatory system consists of the blood and lymphatic vessels. While blood vessels transport oxygen, cells, and nutrients to tissues, the lymphatic vessels collect fluid, cells, and plasma proteins from tissues to return back to the blood circulation. Angiogenesis, the growth of new blood vessels from pre-existing ones, is an important process involved in several physiological conditions such as inflammation, wound healing, and embryonic development. Furthermore, angiogenesis is found in many pathological conditions such as atherosclerosis and the growth and differentiation of solid tumors. Many tumor types spread via lymphatic vessels to form lymph node metastasis. The elucidation of the molecular players coordinating development of the vascular system has provided an array of tools for further insight of the circulatory system. The discovery of the Vascular Endothelial Growth Factor (VEGF) family members and their tyrosine kinase receptors (VEGFRs) has facilitated the understanding of the vasculature in different physiological and pathological situations. The VEGFRs are expressed on endothelial cells and mediate the growth and maintenance of both the blood and lymphatic vasculatures. This study was undertaken to address the role of VEGFR-2 specific signaling in maturation of blood vessels during neoangiogenesis and in lymphangiogenesis. We also wanted to differentiate between VEGFR-2 and VEGFR-3 specific signaling in lymphangiogenesis. We found that specific VEGFR-2 stimulation alone by gene therapeutic methods is not sufficient for production of mature blood vessels. However, VEGFR-2 stimulation in combination with expression of platelet-derived growth factor D (PDGF-D), a recently identified member of the PDGF growth factor family, was capable of stabilizing these newly formed vessels. Signaling through VEGFR-3 is crucial during developmental lymphangiogenesis, but we showed that the lymphatic vasculature becomes independent of VEGFR-3 signaling after the postnatal period. We also found that VEGFR-2 specific stimulation cannot rescue the loss of lymphatic vessels when VEGFR-3 signaling is blocked and that VEGFR-2 specific signals promote lymphatic vessel enlargement, but are not involved in vessel sprouting to generate new lymphatic vessels in vivo, in contrast to the VEGFR-2 dependent sprouting observed in blood vessels. In addition, we compared the inhibitory effects of a small molecular tyrosine kinase inhibitor of VEGFR-2 vs. VEGFR-3 specific signaling in vitro and in vivo. Our results showed that the tyrosine kinase inhibitor could equally affect physiological and pathological processes dependent on VEGFR-2 and VEGFR-3 driven angiogenesis or lymphangiogenesis. These results provide new insights into the VEGFR specific pathways required for pre- and postnatal angiogenesis as well as lymphangiogenesis, which could provide important targets and therapies for treatment of diseases characterized by abnormal angiogenesis or lymphangiogenesis.

Oxygen reduction and proton translocation by cytochrome c oxidase

Energy conversion by living organisms is central dogma of bioenergetics. The effectiveness of the energy extraction by aerobic organisms is much greater than by anaerobic ones. In aerobic organisms the final stage of energy conversion occurs in respiratory chain that is located in the inner membrane of mitochondria or cell membrane of some aerobic bacteria. The terminal complex of the respiratory chain is cytochrome c oxidase (CcO) - the subject of this study. The primary function of CcO is to reduce oxygen to water. For this, CcO accepts electrons from a small soluble enzyme cytochrome c from one side of the membrane and protons from another side. Moreover, CcO translocates protons across the membrane. Both oxygen reduction and proton translocation contributes to generation of transmembrane electrochemical gradient that is used for ATP synthesis and different types of work in the cell. Although the structure of CcO is defined with a relatively high atomic resolution (1.8 Å), its function can hardly be elucidated from the structure. The electron transfer route within CcO and its steps are very well defined. Meanwhile, the proton transfer roots were predicted from the site-specific mutagenesis and later proved by X-ray crystallography, however, the more strong proof of the players of the proton translocation machine is still required. In this work we developed new methods to study CcO function based on FTIR (Fourier Transform Infrared) spectroscopy. Mainly with use of these methods we answered several questions that were controversial for many years: [i] the donor of H+ for dioxygen bond splitting was identified and [ii] the protolytic transitions of Glu-278 one of the key amino acid in proton translocation mechanism was shown for the first time.

Microbe-induced activation of inflammatory cytokine response in human cells

Human body is in continuous contact with microbes. Although many microbes are harmless or beneficial for humans, pathogenic microbes possess a threat to wellbeing. Antimicrobial protection is provided by the immune system, which can be functionally divided into two parts, namely innate and adaptive immunity. The key players of the innate immunity are phagocytic white blood cells such as neutrophils, monocytes, macrophages and dendritic cells (DCs), which constantly monitor the blood and peripheral tissues. These cells are armed for rapid activation upon microbial contact since they express a variety of microbe-recognizing receptors. Macrophages and DCs also act as antigen presenting cells (APCs) and play an important role in the development of adaptive immunity. The development of adaptive immunity requires intimate cooperation between APCs and T lymphocytes and results in microbe-specific immune responses. Moreover, adaptive immunity generates immunological memory, which rapidly and efficiently protects the host from reinfection. Properly functioning immune system requires efficient communication between cells. Cytokines are proteins, which mediate intercellular communication together with direct cell-cell contacts. Immune cells produce inflammatory cytokines rapidly following microbial contact. Inflammatory cytokines modulate the development of local immune response by binding to cell surface receptors, which results in the activation of intracellular signalling and modulates target cell gene expression. One class of inflammatory cytokines chemokines has a major role in regulating cellular traffic. Locally produced inflammatory chemokines guide the recruitment of effector cells to the site of inflammation during microbial infection. In this study two key questions were addressed. First, the ability of pathogenic and non-pathogenic Gram-positive bacteria to activate inflammatory cytokine and chemokine production in different human APCs was compared. In these studies macrophages and DCs were stimulated with pathogenic Steptococcus pyogenes or non-pathogenic Lactobacillus rhamnosus. The second aim of this thesis work was to analyze the role of pro-inflammatory cytokines in the regulation of microbe-induced chemokine production. In these studies bacteria-stimulated macrophages and influenza A virus-infected lung epithelial cells were used as model systems. The results of this study show that although macrophages and DCs share several common antimicrobial functions, these cells have significantly distinct responses against pathogenic and non-pathogenic Gram-positive bacteria. Macrophages were activated in a nearly similar fashion by pathogenic S. pyogenes and non-pathogenic L. rhamnosus. Both bacteria induced the production of similar core set of inflammatory chemokines consisting of several CC-class chemokines and CXCL8. These chemokines attract monocytes, neutrophils, dendritic cells and T cells. Thus, the results suggest that bacteria-activated macrophages efficiently recruit other effector cells to the site of inflammation. Moreover, macrophages seem to be activated by all bacteria irrespective of their pathogenicity. DCs, in contrast, were efficiently activated only by pathogenic S. pyogenes, which induced DC maturation and production of several inflammatory cytokines and chemokines. In contrast, L. rhamnosus-stimulated DCs matured only partially and, most importantly, these cells did not produce inflammatory cytokines or chemokines. L. rhamnosus-stimulated DCs had a phenotype of "semi-mature" DCs and this type of DCs have been suggested to enhance tolerogenic adaptive immune responses. Since DCs have an essential role in the development of adaptive immune response the results suggest that, in contrast to macrophages, DCs may be able to discriminate between pathogenic and non-pathogenic bacteria and thus mount appropriate inflammatory or tolerogenic adaptive immune response depending on the microbe in question. The results of this study also show that pro-inflammatory cytokines can contribute to microbe-induced chemokine production at multiple levels. S. pyogenes-induced type I interferon (IFN) was found to enhance the production of certain inflammatory chemokines in macrophages during bacterial stimulation. Thus, bacteria-induced chemokine production is regulated by direct (microbe-induced) and indirect (pro-inflammatory cytokine-induced) mechanisms during inflammation. In epithelial cells IFN- and tumor necrosis factor- (TNF-) were found to enhance the expression of PRRs and components of cellular signal transduction machinery. Pre-treatment of epithelial cells with these cytokines prior to virus infection resulted in markedly enhanced chemokine response compared to untreated cells. In conclusion, the results obtained from this study show that pro-inflammatory cytokines can enhance microbe-induced chemokine production during microbial infection by providing a positive feedback loop. In addition, pro-inflammatory cytokines can render normally low-responding cells to high chemokine producers via enhancement of microbial detection and signal transduction.

Innate immune system and adiponectin in diabetic nephropathy in type 1 diabetes

Introduction: The pathogenesis of diabetic nephropathy remains a matter of debate, although strong evidence suggests that it results from the interaction between susceptibility genes and the diabetic milieu. The true pathogenetic mechanism remains unknown, but a common denominator of micro- and macrovascular complications may exist. Some have suggested that low-grade inflammation and activation of the innate immune system might play a synergistic role in the pathogenesis of diabetic nephropathy. Aims of the study: The present studies were undertaken to investigate whether low-grade inflammation, mannan-binding lectin (MBL) and α-defensin play a role, together with adiponectin, in patients with type 1 diabetes and diabetic nephropathy. Subjects and methods: This study is part of the ongoing Finnish Diabetic Nephropathy Study (FinnDiane). The first four cross-sectional substudies of this thesis comprised 194 patients with type 1 diabetes divided into three groups (normo-, micro-, and macroalbuminuria) according to their albumin excretion rate (AER). The fifth substudy aimed to determine whether baseline serum adiponectin plays a role in the development and progression of diabetic nephropathy. This follow-up study included 1330 patients with type 1 diabetes and a mean follow-up period of five years. The patients were divided into three groups depending on their AER at baseline. As a measure of low-grade inflammation, highly sensitive CRP (hsCRP) and α-defensin were measured with radio-immunoassay, and interleukin-6 (IL-6) with high- sensitivity enzyme immuno-assay. Mannan-binding lectin and adiponectin were determined with time-resolved immunofluorometric assays. The progression of albuminuria from one stage to the other served as a measure of the progression of diabetic nephropathy. Results: Low-grade inflammatory markers, MBL, adiponectin, and α-defensin were all associated with diabetic nephropathy, whereas MBL, adiponectin, and α-defensin per se were unassociated with low-grade inflammatory markers. AER was the only clinical variable independently associated with hsCRP. AER, HDL-cholesterol and the duration of diabetes were independently associated with IL-6. HbA1c was the only variable independently associated with MBL. The estimated glomerular filtration rate (eGFR), AER, and waist-to-hip ratio were independently associated with adiponectin. Systolic blood pressure, HDL-cholesterol, total cholesterol, age, and eGFR were all independently associated with α-defensin. In patients with macroalbuminuria, progression to end-stage renal disease (ESRD) was associated with higher baseline adiponectin concentrations. Discussion and conclusions: Low-grade inflammation, MBL, adiponectin, and defensin were all associated with diabetic nephropathy in these cross-sectional studies. In contrast however, MBL, adiponectin, and defensin were not associated with low-grade inflammatory markers per se. Nor was defensin associated with MBL, which may suggest that these different players function in a coordinated fashion during the deleterious process of diabetic nephropathy. The question of what causes low-grade inflammation in patients with type 1 diabetes and diabetic nephropathy, however, remains unanswered. We could observe in our study that glycemic control, an atherosclerotic lipid profile, and waist-to-hip ratio (WHR) were associated with low-grade inflammation in the univariate analysis, although in the multivariate analysis, only AER, HDL-cholesterol, and the duration of diabetes, as a measure of glycemic load, proved to be independently associated with inflammation. Notably, all these factors are modifiable with changes in lifestyle and/or with a targeted medication. In the follow-up study, elevated serum adiponectin levels at baseline predicted the progression from macroalbuminuria to ESRD independently of renal function at baseline. This observation does not preclude adiponectin as a favorable factor during the process of diabetic nephropathy, since the rise in serum adiponectin concentrations may remain a mechanism by which the body compensates for the demands created by the diabetic milieu.

The RATAS-project, in the Light of 25 Years of Development Towards Computer-Integrated Construction

In smaller countries where the key players in construction IT development tend to know each other personally and where public R&D funding is concentrated to a few channels, IT roadmaps and strategies would seem to have a better chance of influencing development than in the bigger industrial countries. In this paper Finland and the RATAS-project is presented as a historical case illustrating such impact. RATAS was initiated as a construction IT roadmap project in 1985, involving many of the key organisations and companies active in construction sector development. Several of the individuals who took an active part in the project have played an important role in later developments both in Finland and on the international scene. The central result of RATAS was the identification of what is nowadays called Building Information Modelling (BIM) technology as the central issue in getting IT into efficient use in the construction sector. BIM, which earlier was referred to as building product modelling, has been a key ingredient in many roadmaps since and the subject of international standardisation efforts such as STEP and IAI/IFCs. The RATAS project can in hindsight be seen as a forerunner with an impact which also transcended national borders.

Weak Ehrenfeucht-Fraïssé Games

In this paper we define a game which is played between two players I and II on two mathematical structures A and B. The players choose elements from both structures in moves, and at the end of the game the player II wins if the chosen structures are isomorphic. Thus the difference of this to the ordinary Ehrenfeucht-Fra¨ıss´e game is that the isomorphism can be arbitrary, whereas in the ordinary EF-game it is determined by the moves of the players. We investigate determinacy of the weak EF-game for different (the length of the game) and its relation to the ordinary EF-game.

Valkolakki vai haalarit, vaiko molemmat : Koulutuspolitiikan vaikuttajien näkemykset toisen asteen kehityksestä

In the present research Finnish education policy-makers describe the transformation in upper secondary education in the 1990s. They answered questions related to equality and all-round education. The timeline of the research extends from the early development of the welfare state and equality policy to the 2000s. Its focus is on upper secondary education, which, in this paper, denotes general upper secondary education and vocational upper secondary education. The chronological analysis proceeds from the education committee of 1971 up to the youth education experiment of the 1990s. The voices of the then policy-makers are heard in this research. They were the ones who planned the reforms and/or made the decisions. This being the case, the interviewees include cabinet ministers, permanent secretaries, representatives of organisations and the research community as well as civil servants. The research material can be construed as contextual interpretations of the past, influenced by both the times and places where the narrations were given. The persons interviewed described their experiences and views on education policy. In their narratives they illustrated the transformation that occurred in relation to equality and all-round education. The narrative interviews painted a picture of the upper secondary education transformation and the matriculation examination as having a slowing effect on education policy reforms. It was not until the 1990s when the said examination began to make a difference to students in vocational upper secondary education Those interviewed named the persons who, in their opinion, had the most say in Finnish education policy. This list comprised a small circle of people who more or less agreed on the grand values of education policy, i.e. all-round education and equality. Only a small minority represented a radical view of equality, being true believers in universal upper secondary education implemented in accordance with comprehensive school reform. Finnish education policy was led from the perspective of traditional conception of equality from the 1970s to the 1980s. The transformation finally occurred in the 1990s when equality was understood to mean individual needs and the right to choose. As was the case with matriculation education, the insistence on all-round education also hampered the development of universal upper secondary education. The interviews revealed that any attempts to increase the academic syllabus of vocational education caused organisations as well as other policy-makers to oppose such development well into the 1980s. It was not until the youth education experiment of the 1990s that vocational education finally carved a path to higher education, when the polytechnic schools were made permanent. Three principal groups of key players emerged in the research: ministers of education, civil servants and organisations. The research showed that the ministers and civil servant education policy-makers of the 1990s also included only handful women. The circle of policy-makers was small and represented similar schools of thought. In the 1970s era of government committees, representatives of organisations actively participated in education policy. When the committee establishment was discontinued, this eliminated lobbying venues for the organisations. Nonetheless, the organisations regained their policymaking status in the 1990s. New lobbying organisations included the Finnish Entrepreneurs and the Union of Finnish Upper Secondary School Students. However, in contrast to the 1970s, only rarely would individuals rise from the ranks of organisations to the cadre of policy-makers. The interviewees had a twofold view of neo-liberalism Contrary to other policy-makers, representatives of the research community and organisations concur that neo-liberalism did exist in education policy decision-making in the 1990s.