Kirjallisuusosa: Alzheimerin taudin rottamallien vastaavuus tautiin ihmisessä ja mallien käyttökelpoisuus

Kirjallisuusosa: Alzheimerin taudin hoitoon olisi tarvetta uusille taudinkulkuun vaikuttaville lääkeaineille. Niiden kehittämiseksi tarvitaan eläinmalleja, joissa esiintyy taudin patofysiologisia piirteitä. Rottamalleista vanhemmat skopolamiini- tai MK-801-häirintä sekä ikääntyneiden rottien käyttö eivät kovin hyvin vastaa taudin patofysiologiaa, vaikka niissä eläimen muisti käyttäytymiskokeissa onkin heikentynyt. Uudemmat transgeeniset rottamallit ja mallit, joissa annetaan Aβ:a aivoihin, ilmentävät huomattavasti paremmin Alzheimerin taudin kaltaista tilaa aivoissa ainakin Aβ:n osalta. Taupatofysiologiaa ei silti kummassakaan näistä malleista juuri esiinny. Toisaalta Aβ:lla näyttäisi olevan huomattavasti tau:ta suurempi rooli taudissa, joten sen ilmeneminen mallissa onkin keskeisempi tekijä. Nämä mallit ilmentävät melko suurelti osin yhtä hyvin Alzheimerin taudin patofysiologiaa. Aβ:n antaminen on hieman yksinkertaisempi suorittaa käytännössä, sillä siinä ei tarvitse luoda transgeenista kantaa. Toisaalta transgeenisessa mallissa Aβ-patofysiologia syntyy enemmän Alzheimerin taudin kaltaisesti solujen sisällä eikä valmiita aggregoituvia Aβ-peptidejä anneta ulkopuolelta aivoihin. Molemmat mallit ovat kuitenkin käyttökelpoisia, ja soveltuvat erityisesti Aβ:an vaikuttavien lääkeaineiden kehittämiseen. Kokeellinen osa: Kokeen tarkoituksena oli validoida kohotettu ristikko-sokkelo (elevated plus-maze, EPM) hiirillä kognitiomallina. Kokeessa käytettiin kahden koekerran (trial, T) menetelmää, jossa koekertojen pituus oli viisi minuuttia. Näin saatiin useita oppimista kuvaavia parametreja. Hiirille yritettiin saada muistihäiriö aikaviiveen avulla (koekertojen väli 1-18 vrk) tai antamalla muskariinireseptoriantagonistia skopolamiinia (0,1-0,8 mg/kg i.p.) 30 minuuttia ennen T1:tä. Nämä kokeet suoritettiin sekä C57BL/6J- että ICR:(CD-1)-hiirillä. Aikaviivekokeissa ainut ryhmä, jolla oli viitettä unohtamisesta, oli ICR:(CD-1)-hiirien 18 vrk:n ryhmä. Tämän perusteella tutkittiin vielä 21 vuorokauden aikaväli, mutta selvää muistihäiriötä ei esiintynyt. Skopolamiini ei häirinnyt muistia ICR:(CD-1)-hiirillä, mutta C57BL/6J-hiirillä 0,2 mg/kg:n annoksesta ylöspäin merkitsevä muistihäiriö esiintyi. Näin ollen jatkokokeissa käytettäväksi valittiin skopolamiinin annos 0,2 mg/kg C57BL/6J-hiirillä, ja siinä tutkittiin donepetsiilin (0,3, 0,8 ja 1,5 mg/kg s.c), memantiinin (5,0 ja 10,0 mg/kg s.c) ja kokeellisen 5-HT6-antagonistin SB742457:n (1,5 ja 6,0 mg/kg s.c) muistia parantavia vaikutuksia. Tutkittavat lääkeaineet annettiin 40 minuuttia ennen T1:tä ja skopolamiini 30 minuuttia ennen. Memantiinilla (5,0 mg/kg) oli selkeä skopolamiinin heikentämää kognitiota parantava vaikutus ja donepetsiilillakin (1,5 mg/kg) suuntaus tähän. Tulosten perusteella malli näyttäisi soveltuvan muisti- ja oppimisvaikutusten tutkimiseen käytettäväksi malliksi.

The Home of Hearing : George Lindbeck's understanding of community

The aim of this thesis was to examine the understanding of community in George Lindbeck s The Nature of Doctrine. Intrinsic to this question was also examining how Lindbeck understands the relation between the text and the world which both meet in a Christian community. Thirdly this study also aimed at understanding what the persuasiveness of this understanding depends on. The method applied for this task was systematic analysis. The study was conducted by first providing an orientation into the nontheological substance of the ND which was assumed useful with respect to the aim of this study. The study then went on to explore Lindbeck in his own context of postliberal theology in order to see how the ND was received. It also attempted to provide a picture of how the ND relates to Lindbeck as a theologian. The third chapter was a descriptive analysis into the cultural-linguistic perspective, which is understood as being directly proportional to his understanding of community. The fourth chapter was an analysis into how the cultural-linguistic perspective sees the relation between the text and the world. When religion is understood from a cultural-linguistic perspective, it presents itself as a cultural-linguistic entity, which Lindbeck understands as a comprehensive interpretive scheme which structures human experience and understanding of oneself and the world in which one lives. When one exists in this entity, it is the entity which shapes the subjectivities of all those who are at home in this entity which makes participation in the life of a cultural linguistic entity a condition for understanding it. Religion is above all an external word that moulds and shapes our religious existence and experience. Understanding faith then as coming from hearing, is something that correlates with the cultural-linguistic depiction of reality. Religion informs us of a religious reality, it does not originate in any way from ourselves. This externality linked to the axiomatic nature of religion is also something that distinguishes Lindbeck sharply from liberalist tendencies, which understand religion as ultimately expressing the prereflective depths of the inner self. Language is the central analogy to understanding the medium in which one moves when inhabiting a cultural-linguistic system because language is the transmitting medium in which the cultural-linguistic system is embodied. The realism entailed in Lindbeck s understanding of a community is that we are fundamentally on the receiving end when it comes to our identities whether cultural or religious. We always witness to something. Its persuasiveness rests on the fact that we never exist in an unpersuaded reality. The language of Christ is a self-sustaining and irreducible cultural-linguistic entity, which is ontologically founded upon Christ. It transmits the reality of a new being. The basic relation to the world for a Christian is that of witnessing salvation in Christ: witnessing Christ as the home of hearing the message of salvation, which is the God-willed way. Following this logic, the relation of the world and the text is one of relating to the world from the text, i.e. In Christ through the word (text) for the world, because it assumes it s logic from the way Christ ontologically relates to us.

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 Priori and the A Posteriori

The distinction between a priori and a posteriori knowledge has been the subject of an enormous amount of discussion, but the literature is biased against recognizing the intimate relationship between these forms of knowledge. For instance, it seems to be almost impossible to find a sample of pure a priori or a posteriori knowledge. In this paper it will be suggested that distinguishing between a priori and a posteriori is more problematic than is often suggested, and that a priori and a posteriori resources are in fact used in parallel. We will define this relationship between a priori and a posteriori knowledge as the bootstrapping relationship. As we will see, this relationship gives us reasons to seek for an altogether novel definition of a priori and a posteriori knowledge. Specifically, we will have to analyse the relationship between a priori knowledge and a priori reasoning, and it will be suggested that the latter serves as a more promising starting point for the analysis of aprioricity. We will also analyse a number of examples from the natural sciences and consider the role of a priori reasoning in these examples. The focus of this paper is the analysis of the concepts of a priori and a posteriori knowledge rather than the epistemic domain of a posteriori and a priori justification.

A new approach to the kinetics of size reduction in ball milling

The rate of breakage of feed in ball milling is usually represented in the form of a first-order rate equation. The equation was developed by treating a simple batch test mill as a well mixed reactor. Several case of deviation from the rule have been reported in the literature. This is attributed to the fact that accumulated fines interfere with the feed material and breaking events are masked by these fines. In the present paper, a new rate equation is proposed which takes into account the retarding effect of fines during milling. For this purpose the analogy of diffusion of ions through permeable membranes is adopted, with suitable modifications. The validity of the model is cross checked with the data obtained in batch grinding of ?850/+600 ?m size quartz. The proposed equation enables calculation of the rate of breakage of the feed at any instant of time.

Numerical and experimental study of the thermal behaviour of coining and upsetting processes

A numerical simulation technique has been employed to study the thermal behavior of hot-forging type forming processes. Experiments on the coining and upsetting of an aluminum billet were conducted to validate the numerical predictions. Typical forming conditions for both the coining and upsetting processes were then studied in detail. an electrical analogy scheme was used to determine the thermal contact resistance. This scheme can conviniently provide the interface characteristics for typical processing conditions, which normally involve high pressures and temperatures. A single forging cycle was first considered, and then a batch of twenty-five forgings was studied. Each forging cycle includes the billet mounting, ascent, loading, dwelling, unloading, descent, and billet removal stages. The temperature distribution in the first forging to be formed is found to be significantly different from that at the end of the batch. In industry, forging is essentially a batch operation. The influence of forming speed and reduction on thermal characteristics was investigated also. The variations that can occur in the process design by considering differences in temperature characteristics are discussed also.

A Shapley Value-Based Approach to Discover Influential Nodes in Social Networks

Our study concerns an important current problem, that of diffusion of information in social networks. This problem has received significant attention from the Internet research community in the recent times, driven by many potential applications such as viral marketing and sales promotions. In this paper, we focus on the target set selection problem, which involves discovering a small subset of influential players in a given social network, to perform a certain task of information diffusion. The target set selection problem manifests in two forms: 1) top-k nodes problem and 2) lambda-coverage problem. In the top-k nodes problem, we are required to find a set of k key nodes that would maximize the number of nodes being influenced in the network. The lambda-coverage problem is concerned with finding a set of k key nodes having minimal size that can influence a given percentage lambda of the nodes in the entire network. We propose a new way of solving these problems using the concept of Shapley value which is a well known solution concept in cooperative game theory. Our approach leads to algorithms which we call the ShaPley value-based Influential Nodes (SPINs) algorithms for solving the top-k nodes problem and the lambda-coverage problem. We compare the performance of the proposed SPIN algorithms with well known algorithms in the literature. Through extensive experimentation on four synthetically generated random graphs and six real-world data sets (Celegans, Jazz, NIPS coauthorship data set, Netscience data set, High-Energy Physics data set, and Political Books data set), we show that the proposed SPIN approach is more powerful and computationally efficient. Note to Practitioners-In recent times, social networks have received a high level of attention due to their proven ability in improving the performance of web search, recommendations in collaborative filtering systems, spreading a technology in the market using viral marketing techniques, etc. It is well known that the interpersonal relationships (or ties or links) between individuals cause change or improvement in the social system because the decisions made by individuals are influenced heavily by the behavior of their neighbors. An interesting and key problem in social networks is to discover the most influential nodes in the social network which can influence other nodes in the social network in a strong and deep way. This problem is called the target set selection problem and has two variants: 1) the top-k nodes problem, where we are required to identify a set of k influential nodes that maximize the number of nodes being influenced in the network and 2) the lambda-coverage problem which involves finding a set of influential nodes having minimum size that can influence a given percentage lambda of the nodes in the entire network. There are many existing algorithms in the literature for solving these problems. In this paper, we propose a new algorithm which is based on a novel interpretation of information diffusion in a social network as a cooperative game. Using this analogy, we develop an algorithm based on the Shapley value of the underlying cooperative game. The proposed algorithm outperforms the existing algorithms in terms of generality or computational complexity or both. Our results are validated through extensive experimentation on both synthetically generated and real-world data sets.

Automatic verification of distributed logic specifications

Formal specification is vital to the development of distributed real-time systems as these systems are inherently complex and safety-critical. It is widely acknowledged that formal specification and automatic analysis of specifications can significantly increase system reliability. Although a number of specification techniques for real-time systems have been reported in the literature, most of these formalisms do not adequately address to the constraints that the aspects of 'distribution' and 'real-time' impose on specifications. Further, an automatic verification tool is necessary to reduce human errors in the reasoning process. In this regard, this paper is an attempt towards the development of a novel executable specification language for distributed real-time systems. First, we give a precise characterization of the syntax and semantics of DL. Subsequently, we discuss the problems of model checking, automatic verification of satisfiability of DL specifications, and testing conformance of event traces with DL specifications. Effective solutions to these problems are presented as extensions to the classical first-order tableau algorithm. The use of the proposed framework is illustrated by specifying a sample problem.

Optimal pulse spacing for dynamical decoupling in the presence of a purely dephasing spin bath

Maintaining quantum coherence is a crucial requirement for quantum computation; hence protecting quantum systems against their irreversible corruption due to environmental noise is an important open problem. Dynamical decoupling (DD) is an effective method for reducing decoherence with a low control overhead. It also plays an important role in quantum metrology, where, for instance, it is employed in multiparameter estimation. While a sequence of equidistant control pulses the Carr-Purcell-Meiboom-Gill (CPMG) sequence] has been ubiquitously used for decoupling, Uhrig recently proposed that a nonequidistant pulse sequence the Uhrig dynamic decoupling (UDD) sequence] may enhance DD performance, especially for systems where the spectral density of the environment has a sharp frequency cutoff. On the other hand, equidistant sequences outperform UDD for soft cutoffs. The relative advantage provided by UDD for intermediate regimes is not clear. In this paper, we analyze the relative DD performance in this regime experimentally, using solid-state nuclear magnetic resonance. Our system qubits are C-13 nuclear spins and the environment consists of a H-1 nuclear spin bath whose spectral density is close to a normal (Gaussian) distribution. We find that in the presence of such a bath, the CPMG sequence outperforms the UDD sequence. An analogy between dynamical decoupling and interference effects in optics provides an intuitive explanation as to why the CPMG sequence performs better than any nonequidistant DD sequence in the presence of this kind of environmental noise.

Dynamic structure of charge carrier in polyaniline by near-infrared excited resonance Raman spectroscopy

New vibrational Raman features characteristic to the conductive form of polyaniline have been observed with the near-infrared excitation at 1047 nm. Based on an analogy with the resonance Raman spectrum of Michler's ketone in the lowest excited triplet (T-1) state, we consider these features as due to a dynamic structure of a diimino-1,4-phenylene unit in the polyaniline chain exchanging a positive charge very rapidly. This consideration directly leads to a conducting mechanism in which a positive charge migrates from one nitrogen to the other through the conjugated chain of polyaniline.

Genetic algorithms: a survey

Genetic algorithms provide an alternative to traditional optimization techniques by using directed random searches to locate optimal solutions in complex landscapes. We introduce the art and science of genetic algorithms and survey current issues in GA theory and practice. We do not present a detailed study, instead, we offer a quick guide into the labyrinth of GA research. First, we draw the analogy between genetic algorithms and the search processes in nature. Then we describe the genetic algorithm that Holland introduced in 1975 and the workings of GAs. After a survey of techniques proposed as improvements to Holland's GA and of some radically different approaches, we survey the advances in GA theory related to modeling, dynamics, and deception

Social selection and the evolution of cooperative groups: The example of the cellular slime moulds

In social selection the phenotype of an individual depends on its own genotype as well as on the phenotypes, and so genotypes, of other individuals. This makes it impossible to associate an invariant phenotype with a genotype: the social context is crucial. Descriptions of metazoan development, which often is viewed as the acme of cooperative social behaviour, ignore or downplay this fact. The implicit justification for doing so is based on a group-selectionist point of view. Namely, embryos are clones, therefore all cells have the same evolutionary interest, and the visible differences between cells result from a common strategy. The reasoning is flawed, because phenotypic heterogeneity within groups can result from contingent choices made by cells from a flexible repertoire as in multicellular development. What makes that possible is phenotypic plasticity, namely the ability of a genotype to exhibit different phenotypes. However, co-operative social behaviour with division of labour requires that different phenotypes interact appropriately, not that they belong to the same genotype, or have overlapping genetic interests. We sketch a possible route to the evolution of social groups that involves many steps: (a) individuals that happen to be in spatial proximity benefit simply by virtue of their number; (b) traits that are already present act as preadaptations and improve the efficiency of the group; and (c) new adaptations evolve under selection in the social context-that is, via interactions between individuals-and further strengthen group behaviour. The Dictyostelid or cellular slime mould amoebae (CSMs) become multicellular in an unusual way, by the aggregation of free-living cells. In nature the resulting group can be genetically homogeneous (clonal) or heterogeneous (polyclonal); in either case its development, which displays strong cooperation between cells (to the extent of so-called altruism) is not affected. This makes the CSMs exemplars for the study of social behaviour.

Self-similar solutions of laser produced blast waves

The aerodynamics of the blast wave produced by laser ablation is studied using the piston analogy. The unsteady one-dimensional gasdynamic equations governing the flow an solved under assumption of self-similarity. The solutions are utilized to obtain analytical expressions for the velocity, density, pressure and temperature distributions. The results predict. all the experimentally observed features of the laser produced blast waves.

Substitution of chromium for univalent copper in superconducting Pb2Sr2(Ca,Y)Cu3O8+delta

Following considerations of geometry and the similarity between chromate and carbonate groups in terms of size and charge, we have investigated the possibility of replacing the two-coordinate Cu-I in superconducting lead cuprates of the general formula Pb2Sr2(Ca, Y)CU3O8 by Cr. A high-resolution electron microscopy study coupled with energy dispersive X-ray analysis on small crystals of the title phases suggests that between 10 and 15% of the Cu-I can be replaced by Cr. While from the present structural study using HRTEM and Rietveld refinement of X-ray powder data we are unable to precisely obtain the oxidation state and oxygen coordination of Cr, we suggest in analogy with Cr substitution in other similar cuprates that in the title phases (CuO2)-O-I rods are partially replaced by tetrahedral CrO42- groups. Infrared spectroscopy supports the presence of CrO42- groups. The phases Pb1.75Sr2Ca0.2Y0.8O8+delta and Pb1.75Sr2Ca0.2Y0.8CCu2.85Cr0.15O8+delta are superconducting as-prepared, but the substitution of Cr for Cu-I results in a decrease of the Te as well as the superconducting volume fraction. (C) 1996 Academic Press, lnc.

ICADA: Intelligent computer aided defect analysis for castings

An intelligent computer aided defect analysis (ICADA) system, based on artificial intelligence techniques, has been developed to identify design, process or material parameters which could be responsible for the occurrence of defective castings in a manufacturing campaign. The data on defective castings for a particular time frame, which is an input to the ICADA system, has been analysed. It was observed that a large proportion, i.e. 50-80% of all the defective castings produced in a foundry, have two, three or four types of defects occurring above a threshold proportion, say 10%. Also, a large number of defect types are either not found at all or found in a very small proportion, with a threshold value below 2%. An important feature of the ICADA system is the recognition of this pattern in the analysis. Thirty casting defect types and a large number of causes numbering between 50 and 70 for each, as identified in the AFS analysis of casting defects-the standard reference source for a casting process-constituted the foundation for building the knowledge base. Scientific rationale underlying the formation of a defect during the casting process was identified and 38 metacauses were coded. Process, material and design parameters which contribute to the metacauses were systematically examined and 112 were identified as rootcauses. The interconnections between defects, metacauses and rootcauses were represented as a three tier structured graph and the handling of uncertainty in the occurrence of events such as defects, metacauses and rootcauses was achieved by Bayesian analysis. The hill climbing search technique, associated with forward reasoning, was employed to recognize one or several root causes.