Homogeneous model theory of metric structures

This thesis studies homogeneous classes of complete metric spaces. Over the past few decades model theory has been extended to cover a variety of nonelementary frameworks. Shelah introduced the abstact elementary classes (AEC) in the 1980s as a common framework for the study of nonelementary classes. Another direction of extension has been the development of model theory for metric structures. This thesis takes a step in the direction of combining these two by introducing an AEC-like setting for studying metric structures. To find balance between generality and the possibility to develop stability theoretic tools, we work in a homogeneous context, thus extending the usual compact approach. The homogeneous context enables the application of stability theoretic tools developed in discrete homogeneous model theory. Using these we prove categoricity transfer theorems for homogeneous metric structures with respect to isometric isomorphisms. We also show how generalized isomorphisms can be added to the class, giving a model theoretic approach to, e.g., Banach space isomorphisms or operator approximations. The novelty is the built-in treatment of these generalized isomorphisms making, e.g., stability up to perturbation the natural stability notion. With respect to these generalized isomorphisms we develop a notion of independence. It behaves well already for structures which are omega-stable up to perturbation and coincides with the one from classical homogeneous model theory over saturated enough models. We also introduce a notion of isolation and prove dominance for it.

Locality and order-invariant logics

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

Integrating pest population models with biophysical crop models to better represent the farming system

Farming systems frameworks such as the Agricultural Production Systems simulator (APSIM) represent fluxes through the soil, plant and atmosphere of the system well, but do not generally consider the biotic constraints that function within the system. We designed a method that allowed population models built in DYMEX to interact with APSIM. The simulator engine component of the DYMEX population-modelling platform was wrapped within an APSIM module allowing it to get and set variable values in other APSIM models running in the simulation. A rust model developed in DYMEX is used to demonstrate how the developing rust population reduces the crop's green leaf area. The success of the linking process is seen in the interaction of the two models and how changes in rust population on the crop's leaves feedback to the APSIM crop modifying the growth and development of the crop's leaf area. This linking of population models to simulate pest populations and biophysical models to simulate crop growth and development increases the complexity of the simulation, but provides a tool to investigate biotic constraints within farming systems and further moves APSIM towards being an agro-ecological framework.

An efficient and light-weight multi-tasking model to achieve Intra-Agent concurrency for SAGE

Multi-agent systems implicate a high degree of concurrency at both the Inter- and Intra-Agent levels. Scalable, fault tolerant, Agent Grooming Environment (SAGE), the second generation, FIPA compliant MAS requires a built in mechanism to achieve both the Inter- and Intra-Agent concurrency. This paper dilates upon an attempt to provide a reliable, efficient and light-weight solution to provide intra-agent concurrency with-in the internal agent architecture of SAGE. It addresses the issues related to using the JAVA threading model to provide this level of concurrency to the agent and provides an alternative approach that is based on an eventdriven, concurrent and user-scalable multi-tasking model for the agent's internal model. The findings of this paper show that our proposed approach is suitable for providing an efficient and lightweight concurrent task model for SA GE and considerably outweighs the performance of multithreaded tasking model based on JAVA in terms of throughput and efficiency. This has been illustrated using the practical implementation and evaluation of both models. © 2004 IEEE.

Scalable fault tolerant agent grooming environment-SAGE

Multi-agent systems (MAS) advocate an agent-based approach to software engineering based on decomposing problems in terms of decentralized, autonomous agents that can engage in flexible, high-level interactions. This chapter introduces scalable fault tolerant agent grooming environment (SAGE), a second-generation Foundation for Intelligent Physical Agents (FIPA)-compliant multi-agent system developed at NIIT-Comtec, which provides an environment for creating distributed, intelligent, and autonomous entities that are encapsulated as agents. The chapter focuses on the highlight of SAGE, which is its decentralized fault-tolerant architecture that can be used to develop applications in a number of areas such as e-health, e-government, and e-science. In addition, SAGE architecture provides tools for runtime agent management, directory facilitation, monitoring, and editing messages exchange between agents. SAGE also provides a built-in mechanism to program agent behavior and their capabilities with the help of its autonomous agent architecture, which is the other major highlight of this chapter. The authors believe that the market for agent-based applications is growing rapidly, and SAGE can play a crucial role for future intelligent applications development. © 2007, IGI Global.

Novel melody line identification algorithm for polyphonic MIDI music

The problem of automatic melody line identification in a MIDI file plays an important role towards taking QBH systems to the next level. We present here, a novel algorithm to identify the melody line in a polyphonic MIDI file. A note pruning and track/channel ranking method is used to identify the melody line. We use results from musicology to derive certain simple heuristics for the note pruning stage. This helps in the robustness of the algorithm, by way of discarding "spurious" notes. A ranking based on the melodic information in each track/channel enables us to choose the melody line accurately. Our algorithm makes no assumption about MIDI performer specific parameters, is simple and achieves an accuracy of 97% in identifying the melody line correctly. This algorithm is currently being used by us in a QBH system built in our lab.

Straw Performance Studies and Quality Assurance for the ATLAS Transition Radiation Tracker

The Transition Radiation Tracker (TRT) of the ATLAS experiment at the LHC is part of the Inner Detector. It is designed as a robust and powerful gaseous detector that provides tracking through individual drift-tubes (straws) as well as particle identification via transition radiation (TR) detection. The straw tubes are operated with Xe-CO2-O2 70/27/3, a gas that combines the advantages of efficient TR absorption, a short electron drift time and minimum ageing effects. The modules of the barrel part of the TRT were built in the United States while the end-cap wheels are assembled at two Russian institutes. Acceptance tests of barrel modules and end-cap wheels are performed at CERN before assembly and integration with the Semiconductor Tracker (SCT) and the Pixel Detector. This thesis first describes simulations the TRT straw tube. The argon-based acceptance gas mixture as well as two xenon-based operating gases are examined for its properties. Drift velocities and Townsend coefficients are computed with the help of the program Magboltz and used to study electron drift and multiplication in the straw using the software Garfield. The inclusion of Penning transfers in the avalanche process leads to remarkable agreements with experimental data. A high level of cleanliness in the TRT s acceptance test gas system is indispensable. To monitor gas purity, a small straw tube detector has been constructed and extensively used to study the ageing behaviour of the straw tube in Ar-CO2. A variety of ageing tests are presented and discussed. Acceptance tests for the TRT survey dimensions, wire tension, gas-tightness, high-voltage stability and gas gain uniformity along each individual straw. The thesis gives details on acceptance criteria and measurement methods in the case of the end-cap wheels. Special focus is put on wire tension and straw straightness. The effect of geometrically deformed straws on gas gain and energy resolution is examined in an experimental setup and compared to simulation studies. An overview of the most important results from the end-cap wheels tested up to this point is presented.

Matkailurakentaminen ja sen diskursiivinen rakentuminen Kilpisjärvellä

This master s thesis examines tourism related housing and related discourses in the village of Kilpisjärvi, Finland. I study the tourism development in Kilpisjärvi and the debate related to this process. My methodology is based on discourse and content analysis. The purpose of this study is to examine and classify the discourses of tourism related housing and what are the lessons learned from the recent development of Kilpisjärvi. Kilpisjärvi is the northernmost village in western Finnish Lapland, located in the middle of the highest mountain area of Finland. The area has been reindeer herding area of Saami people for centuries, but it has lacked permanent settlement until the beginning of 20th century. The first tourist accommodation was built in 1930s, followed by the road in 1940s and the hotel in 1950s. Traditionally the area has attracted skiers and hikers. The area is also known for its extraordinary nature and rare plant life. Tourism development was slow in Kilpisjärvi until the turn of millennium when rapid growth in tourism related housing was triggered by extensive land use planning. Small wilderness village of Kilpisjärvi has grown to a tourism centre with over 800 beds in commercial enterprises, more than hundred second-homes, and two large caravan areas. This development has raised conflicts among villagers. The empirical part of this study is based on the interviews of 17 permanent dwellers of Kilpisjärvi and three Norwegian cottage owners. Six discourses can be distinguished: 1) Nature and landscape, 2) Economy, 3) Place, 4)Reindeer herding, 5) Governance and 6) Possibilities to influence decision-making. The first discourse stressed that tourism development and building should adapt to nature and landscape, while economic discourse stressed the economical importance of tourism to Kilpisjärvi and the municipality of Enontekiö. The third discourse noted the change of Kilpisjärvi as a place due to the boom of tourism development. The discourse of reindeer herding was clearly distinguished from others, seeing tourism development merely negative. Governance was seen as an important tool in regulating development, but many saw that the municipal administration has failed to take into account other aspects of tourism development than economical factors. Many villagers saw their influence in decision-making weak, while landowners and municipal decision-makers were seen as oligarchy in land-use planning regardless of formal participatory planning process enforced by law. I conclude that it is important to take into account the diversity of local discourses in tourism development and land use issues. Transparent and genuine participatory planning process would promote sustainable development, prevent conflicts and allow decisions and development which would satisfy larger number of local dwellers than presently.

Slummiparakeista kyläkarnevaaleihin : Kumpulan ja Toukolan imagonmuutos sanomalehdissä 1963-1999

Having to do with residential areas, geographical image research in Finland has concentrated mainly on those areas with a relatively negative image, such as eastern parts of Helsinki. However, Kumpula and Toukola are former working class residential areas whose image nowadays is mainly positive. This research aims at understanding the process through which their image has gradually come to be that way. Theoretical background of the research relies on human geography and it s viewpoints on places, spaces and areas. Areas, in this research, are understood to be founded on discursive processes that form meanings in societies. This approach is useful because it provides a way to research newspapers and to see how they affect the society. In addition I lean on Sirpa Tani s research on place images to study image and it s formation process. Her point of view covers especially well the effect of media on images and their formation. Articles published in Helsingin Sanomat and Ilta-Sanomat between the years 1963 and 1999 form the data of the research. Methodologically I proceeded by using content analysis to see what kind of topics have been dominating the news feed from Kumpula and Toukola. Content analysis was followed by discourse analysis, which allowed me to focus on the ways of speaking about and representing Kumpula and Toukola. Discourse analysis also reveals whose viewpoint is being represented in media when it comes to publishing news from these parts of the city. It is clearly visible from the results of this research that the image of Kumpula and Toukola has gone through a significant change between 1963 and 1999. In the 1960s discussion in newspapers was dominated by the need for more effective city planning. This meant that Kumpula and Toukola were under a demolition threat in order for the city to built more effectively on those areas. At the same time there was discussion about wooden houses that were built in Kumpula and Toukola right after the second World War. Those houses were in a poor condition, it was even said in the newspapers that people were living in slum-like conditions in them. By the 1980s the image of Kumpula and Toukola gradually started to change. At this time gentrification process was affecting the areas and well-educated working force moved to Kumpula and Toukola. Already in the beginning of 1990s the image of the areas was highly positive. Throughout this decade newspapers published news on Kumpula and Toukola that commented favorably on the atmosphere and the feeling of togetherness among the residents. In addition Kumpula village carnivals, that were first held in 1991, brought a lot of positive publicity to the areas. This research has revelead that especially the active participationg of the residents to promote joint causes has positively affected the image of Kumpula and Toukola. Since the 1960s fighting for the preservation of the areas has provided a reason for a stronger feeling of communality and identifying in the community. This feeling of togetherness in a community has carried all the way to the 1990s, when the areas, having been affected by gentrification, could make good use of the positive image in order to promote joint causes. Keywords: Image, reputation, newspapers, discursive practices

Vaggvisor i Kvevlax : Språkliga strukturer och konstruktioner

Lullabies in Kvevlax. Linguistic structures and constructions. The study is a linguistic analysis of constructions that shape the texts used in lullabies in Kvevlax in Ostrobothnia in Finland. The empirical goal is to identify linguistic constructions in traditional lullabies that make use of the dialect of the region. The theoretical goal was to test the usability of Construction Grammar (CxG) in analyses of this type of material, and to further develop the formal description of Construction Grammar in such a way as to make it possible to analyze all kinds of linguistically complex texts. The material that I collected in the 1960s comprises approximately 600 lullabies and concomitant interviews with the singers on the use of lullabies. In 1991 I collected additional material in Kvevlax. The number of informants is close to 250. Supplementary material covering the Swedish-language regions in Finland was compiled from the archives of the Society of Swedish Literature in Finland. The first part of the study is mainly based on traditional grammar and gives general information about the language and the structures used in the lullabies. In the detailed study of the Kvevlax lullabies in the latter part of the study I use a version of Construction Grammar intended for the linguistic analysis of usage-based texts. The analysis focuses on the most salient constructions in the lullabies. The study shows that Construction Grammar as a method has more general applicability than traditional linguistic methods. The study identifies important constructions, including elements typical of this genre, that structure the text in different variants of the same lullabies. In addition, CxG made it possible to study pragmatic aspects of the interactional, cultural and contextual language that is used in communication with small children. The constructions found in lullabies are also used in language in general. In addition to being able to give detailed linguistic descriptions of the texts, Construction Grammar can also explain the multidimensionality of language and the variations in the texts. The use of CxG made it possible to show that variations are not random but follow prototypical linguistic patterns, constructions. Constructions are thus found to be linguistic resources with built-in variation potentials.

Stereochemistry of collagen

This review article, based on a lecture delivered in Madras in 1985, is an account of the author's experience in the working out of the molecular structure and conformation of the collagen triple-helix over the years 1952–78. It starts with the first proposal of the correct triple-helix in 1954, but with three residues per turn, which was later refined in 1955 into a coiled-coil structure with approximately 3.3 residues per turn. The structure readily fitted proline and hydroxyproline residues and required glycine as every third residue in each of the three chains. The controversy regarding the number of hydrogen bonds per tripeptide could not be resolved by X-ray diffraction or energy minimization, but physicochemical data, obtained in other laboratories during 1961–65, strongly pointed to two hydrogen bonds, as suggested by the author. However, it was felt that the structure with one straight NH … O bond was better. A reconciliation of the two was obtained in Chicago in 1968, by showing that the second hydrogen bond is via a water molecule, which makes it weaker, as found in the physicochemical studies mentioned above. This water molecule was also shown, in 1973, to take part in further cross-linking hydrogen bonds with the OH group of hydroxyproline, which occurred always in the location previous to glycine, and is at the right distance from the water. Thus, almost all features of the primary structure, X-ray pattern, optical and hydrodynamic data, and the role of hydroxyproline in stabilising the triple helical structure, have been satisfactorily accounted for. These also lead to a confirmation of Pauling's theory that vitamin C improves immunity to diseases, as explained in the last section.

Corporate Brand Repositioning with CSR as the Differentiating Factor: A Study on Consumer Perceptions

Purpose – This research paper studies how the strategy of repositioning enables marketers to communicate CSR as their brand’s differentiating factor. It aims at understanding how consumer perceptions can be managed to generate brand value through corporate brand repositioning when CSR is the differentiating factor. The purpose of this paper is to answer the following research question: How can consumer perceptions be managed to generate brand value through corporate brand repositioning when CSR is the differentiating factor? The two research objectives were: 1. to build a model, which describes the different components of consumer perceptions involved in generation of brand value through repositioning when CSR is the differentiating factor, 2. to identify the most critical components in the context of the case company, IKEA for generation of brand value during the process of corporate brand repositioning Design/methodology/approach – This paper is based on the literature review covering the logic of brand value generation, repositioning strategy and consumer perceptions connected to CSR activities. A key concept of the positioning theory, the brand’s differentiating factor, was explored. Previous studies have concluded that desirability of the differentiating factor largely determines the level of brand value-creation for the target customers. The criterion of desirability is based on three dimensions: relevance, distinctiveness and believability. A model was built in terms of these desirability dimensions. This paper takes a case study approach where the predefined theoretical framework is tested using IKEA as the case company. When developing insights on the multifaceted nature of brand perceptions, personal interviews and individual probing are vital. They enable the interviewees to reflect on their feelings and perceptions with their own words. This is why the data collection was based on means-end type of questioning. Qualitative interviews were conducted with 12 consumers. Findings – The paper highlights five critical components that may determine whether IKEA will fail in its repositioning efforts. The majority of the critical components involved believability perceptions. Hence, according to the findings, establishing credibility and trustworthiness for the brand in the context of CSR seems primary. The most critical components identified of the believability aspect were: providing proof of responsible codes of conduct via conducting specific and concrete CSR actions, connecting the company’s products and the social cause, and building a linkage between the initial and new positioning while also weakening the old positioning. Originality/value – Marketers’ obligation is to prepare the company for future demands. Companies all over the globe have recognized the durable trend of responsibility and sustainability. Consumer´s worry about the environmental and social impact of modern lifestyles is growing. This is why Corporate Social Responsibility (CSR) provides brands an important source of differentiation and strength in the future. The strategy of repositioning enables marketers to communicate CSR as their brand’s differentiating factor. This study aimed at understanding how consumer perceptions can be managed to generate brand value through corporate brand repositioning when CSR is the differentiating factor.

Varistors based on mixed‐phase ceramics containing ZnO and negative temperature coefficient spinels

High nonlinearity coefficients of 60–150 are observed in the current‐voltage (I‐V) curves of the mixed phase ceramics formed by cosintering ZnO with spinel phases having large negative temperature coefficients (NTCs) in resistivity. The region of negative slope in the I‐V curves of the NTC ceramics is progressively made positive with ZnO phase content, wherein ZnO grains function as a built‐in resistor in series to the resistance of the NTC phase. High α depends on the optimum phase content of ZnO as much as its intrinsic conductivity. The studies indicate that the predominent contribution to power dissipation is by way of joule heating from the resistive component of the current.

Choosing the Arranged One, Arranging the Chosen One – Imagining an Indian Modernity: Reconciling Love, Marriage and Family On and Off the Screen

This is a study on the changing practices of kinship in Northern India. The change in kinship arrangements, and particularly in intermarriage processes, is traced by analysing the reception of Hindi popular cinema. Films and their role and meaning in people´s lives in India was the object of my research. Films also provided me with a methodology for approaching my other subject-matters: family, marriage and love. Through my discussion of cultural change, the persistence of family as a core value and locus of identity, and the movie discourses depicting this dialogue, I have looked for a possibility of compromise and reconciliation in an Indian context. As the primary form of Indian public culture, cinema has the ability to take part in discourses about Indian identity and cultural change, and alleviate the conflicts that emerge within these discourses. Hindi popular films do this, I argue, by incorporating different familiar cultural narratives in a resourceful way, thus creating something new out of the old elements. The final word, however, is the one of the spectator. The “new” must come from within the culture. The Indian modernity must be imaginable and distinctively Indian. The social imagination is not a “Wild West” where new ideas enter the void and start living a life of their own. The way the young women in Dehra Dun interpreted family dramas and romantic movies highlights the importance of family and continuity in kinship arrangements. The institution of arranged marriage has changed its appearance and gained new alternative modes such as love cum arranged marriage. It nevertheless remains arranged by the parents. In my thesis I have offered a social description of a cultural reality in which movies act as a built-in part. Movies do not work as a distinct realm, but instead intertwine with the social realities of people as a part of a continuum. The social imagination is rooted in the everyday realities of people, as are the movies, in an ontological and categorical sense. According to my research, the links between imagination and social life were not so much what Arjun Appadurai would call global and deterritorialised, but instead local and conventional.

Temperature dependent transport behavior of n-InN nanodot/p-Si heterojunction structures

The present work explores the temperature dependent transport behavior of n-InN nanodot/p-Si(100) heterojunction diodes. InN nanodot (ND) structures were grown on a 20 nm InN buffer layer on p-Si(100) substrates. These dots were found to be single crystalline and grown along 001] direction. The junction between these two materials exhibits a strong rectifying behavior at low temperatures. The average barrier height (BH) was determined to be 0.7 eV from current-voltage-temperature, capacitance-voltage, and flat band considerations. The band offsets derived from built-in potential were found to be Delta E-C=1.8 eV and Delta E-V=1.3 eV and are in close agreement with Anderson's model. (C) 2010 American Institute of Physics. doi:10.1063/1.3517489]