Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Complexity of coffee flavor: A compositional and sensory perspective

For the consumer, flavor is arguably the most important aspect of a good coffee. Coffee flavor is extremely complex and arises from numerous chemical, biological and physical influences of cultivar, coffee cherry maturity, geographical growing location, production, processing, roasting and cup preparation. Not surprisingly there is a large volume of research published detailing the volatile and non-volatile compounds in coffee and that are likely to be playing a role in coffee flavor. Further, there is much published on the sensory properties of coffee. Nevertheless, the link between flavor components and the sensory properties expressed in the complex matrix of coffee is yet to be fully understood. This paper provides an overview of the chemical components that are thought to be involved in the flavor and sensory quality of Arabica coffee.

Host specificity studies on Gynaikothrips (Thysanoptera: Phlaeothripidae) associated with leaf galls of cultivated Ficus (Rosales: Moraceae) trees

Host specificity tests on Gynaikothrips ficorum (Marchal) and Gynaikothrips uzeli (Zimmerman) (Thysanoptera: Phlaeothripidae) have shown that under experimental conditions, G. ficorum will induce leaf galls on both Ficus benjamina L. and Ficus microcarpa L. f. (Rosales: Moraceae), but G. uzeli will induce galls only on F. benjamina. A further interesting aspect of the results is that gall induction by G. uzeli on F. benjamina appears to have been suppressed in the presence of F. microcarpa plants in the same cage. Liothrips takahashii (Moulton) (Thysanoptera: Phlaeothripidae), an inquiline in the galls of these Gynaikothrips, is reported for the first time from Australia, mainland China, Malaysia, Costa Rica, and western USA.

Experimental networking of microcomputers and a minicomputer

The objective of this paper is to discuss some hardware and software features of an experimental network of 8080 and 8085 microcomputers named Micronet. The interprocessor communication in the ring network is established using ring interfaces consisting of universal synchronous-asynchronous receivers-transmitters (USARTs). Another aspect considered is the interfacing of an 8080 microcomputer to a PDP-11/35 minicomputer and the development of the software for the microcomputer-minicomputer link which has been established over a serial line using the USART interface of the microcomputer and the DZ11 module of the minicomputer. This is useful in developing a host-satellite configuration of microcomputers and the minicomputer.

Tila tilassa : Liturgian ja tilan dialogi alttarin äärellä

This study examines the organisation and transformation of altar space in the modern Evangelical Lutheran Church of Finland in liturgical and architectural perspective. The research data consists of 65 altar spaces in The Finnish Evangelical Lutheran church buildings. All of these were characterised in Church Government records as churches , built 1962 1999 and had been consecrated. The main data was collected by means of observation, photographing, and drawing sketches of altar spaces. The focus of this study concerns the organisation of modern Finnish Evangelical Lutheran altar spaces and, in particular, their changes also in relation to the liturgical movement. The challenge of this approach was especially in discovering the spatial identity of an altar space in terms of unequivocal boundaries. The analysis was realised in three stages. Interiors, the organisation of altar space, as well as architectonic qualities of altar spaces in terms of floor elevations, shapes of ceilings, lighting, and openings in the altar space were analysed. Moreover, attention was focused on furnishing and fixed versus movable pieces of furniture (such as the altar, altar rail, the pulpit, the baptismal font, and lectern). Finally, the potential qualitative and quantitative changes in altar space were examined. All in all, the majority of churches in the data featured elongated church halls with an altar at the end of the nave. To look at the data in chronological perspective, increasingly wide church halls had been built since the 1980s (yet there was only one central hall in which the altar was placed at the middle point of the church). Every third church altar was movable. As for the focal point of this study and the altar in particular, it was my aim to pay attention to the versus populum altar and its development in relation to the (Lutheran) liturgy. Hence, it was meaningful to determine, in terms of interior design, whether liturgists were able to celebrate facing the people attending the service. In the 1960s and 70s, a versus orientem altar featured in more than half of all new Finnish Lutheran churches, yet in 2000 two out of three churches featured a versus populum altar. For architectural and esthetic reasons (and not primarily due to liturgical ideas), also altars standing freely off the walls had been constructed. In terms of the liturgy, versus populum altars had been realised in expectation of increased communication between liturgist and worshippers. However, the analysis indicated that the altar could also become a divider of space. This aspect is a novel finding in relation to earlier and concurrent discussions concerning the liturgical movement. This study concluded, all in all, that altars had been increasingly constructed closer and closer to the worshiping parish and, accordingly, used increasingly often in the versus populum manner. Lecterns were often movable until the millennium this was the case in most altar spaces. Baptismal fonts did not have a permanent place in this data, and the data even included altar spaces with no baptismal fonts in the choir, nor the church hall. The position and status of fonts was generally weakened even if baptism in the Lutheran Church was regarded as one of the two sacraments together with the eucharist. The study concluded that even if baptism is regarded as a sacrament in the church, the position and status of baptismal fonts had weakened overall in newer church architecture. In other words, the tendency of the liturgical movement to emphasise the service and its celebration had obviously had its effect on the placement of baptismal fonts in the church hall. This research indicated that the pieces of furniture that mostly involved (many kinds of) visual and spatial changes included the altar and the lectern. In certain instances, fixed furnishings had been substituted by movable pieces or, moreover, new pieces of furniture and paraphernalia such as music instruments, pieces of art, tables, chairs and plants were brought in. In the Evangelical Lutheran Church of Finland, liturgical changes were principally inspired by the Catholic Church, in which liturgical changes are essentially based on Canon Law. Unlike Finnish Lutheranism, Catholicism provides detailed rules and principles even regarding the design of an altar space. According to this study, in the Finnish Lutheran Church, the primarily functional nature of given guidelines and instructions characterises several practical solutions in furnishing.

Pappi ja Raamattu : Suomen evankelis-luterilaisen kirkon pappien suhde Raamattuun

The Pastor and the Bible: Finnish Evangelical Lutheran Pastors Relationship with the Bible Since 1970s there has been extensive discussion in Finland about questions relating to the interpretation of the Bible. The themes of this discussion have focused on the trustworthiness and authority of the Bible, and the discussion has attracted participation not only from representatives of the Evangelical Lutheran Church of Finland but also from representatives of the academic community. The discussion has resulted in extensive publication on the relation of postmodern theology to the Bible. Despite this debate and the texts that have been produced, there is little empirical data on how Evangelical Lutheran pastors with theological education view the Bible. In the present study, 22 pastors of the Evangelical Lutheran Church of Finland were interviewed about how they defined their relationship with the Bible. The interview material was analyzed by means of data-based content analysis. The analysis showed, first, that the pastors viewed the Bible as a mirror of the spiritual growth that they had experienced in the past. Second, the Bible was viewed as a source in the interpretation of matters of faith. The third theme concerned the pastors key experiences in their relationship with the authority of the Bible. The time periods that were significant in defining pastors spiritual growth and past perspective on the Bible included childhood, youth, the period of theological education, and the time spent as a pastor. In childhood, the Bible was part of the spiritual atmosphere of the home, and parents and grandparents made a crucial contribution to the child s emerging view of the Bible. In childhood, the Bible was essentially the Old Testament and its exciting stories. In youth, reading the Bible became more personal, and the teachings of Jesus began to take on a more central role. In youth, most of the interviewees had strong experiences of faith and began to view the Bible as an absolute and divine source of dogma. The period of theological studies meant a change in their relationship with the Bible and particularly, revelation of the human aspects of the Bible. These changes were associated with a deepening of belief in the Bible and also a painful crisis in questions related to the trustworthiness of the Bible. For many of the interviewees, their relationship with the Bible changed also when they started their work as pastors. When faced with a call to work as a pastor, the interviewees created a synthesis of the secure faith that they had experienced in their childhood and the more critical views with which they had become acquainted during their theological education. Pastorhood meant the beginning of public teaching of the Bible. The interviewees felt that, in this new role, they discovered again - but now in a deeper sense - the trustworthiness in the bible that they had experienced during their childhood. Based on the interviewees experiences during the periods mentioned above, five different interpretations were formed regarding how the interviewed pastors viewed their past relationship with the Bible. These interpretations were detachment from literal interpretation of the Bible (1), changes in their relationship with the Bible arising from experiences of faith (2), a slow process during which their relationship with the Bible became more human (3), overcoming hardships (4), and no change in their relationship with the Bible (5). In interpretations 1-3, the past was described as a linear development and journey towards a more coherent relationship with the Bible. Interpretations 4-5, in turn, reflected a desire to detach oneself from the perspectives of linear development and change and, instead, emphasize the immutable and process-like nature of one s relationship with the Bible. Concerning the Bible as a source in matters of faith, a conspicuous aspect of the interviews was that all pastors wanted to disconnect themselves from a fundamentalistic view of the Bible, regarding this as an intellectually dishonest relationship with the Bible. On the other hand, none of the interviewees supported a totally relativist view of the Bible. Instead, all interviewees regarded the Bible as a vital source for both them and the Evangelical Lutheran Church. Between the two poles of extremely fundamental and extremely relativistic views, four different categories of viewing the Bible emerged from the interviews: absolute truth (a), a book about the message of salvation (b), a book about holiness and generous love (c), and a source of inspiration (d). The views in categories (a) and (b) emphasized the divine nature of the Bible. According to the pastors who expressed these views, the Bible contains a clear and trustworthy message of God. The views in categories (c) and (d), in turn, emphasized the human aspects of the Bible. The pastors who expressed these views regarded the Bible as a collection of books that was born in a specific historical and cultural context and includes material characteristic to this time. Due to the time-bound nature of the Bible, each generation has to update its view of the Bible. The views in categories (c) and (d) arose from human reality. Comparisons of the views in the different categories indicated that despite their obvious differences, they also shared some common features. The views in categories (a) and (d) shared the common feature of absoluteness, which was seen in category (a) as an emphasis on dogmatism and in category (d) as an emphasis on rationalism. The views in categories (b) and (c), in turn, shared the common feature of a flexible and dynamic relationship with the Bible. The key experiences that appeared to characterize pastors relationship with the authority of the Bible were a joy that arises from self-evidence, awakening to confusion, fear of openness, falling back upon paradoxes, and new confidence. These experiences reveal the circular nature of the process that was common to all interviewees interpretation of their relationship with the Bible. That is, the interviewees experiences of their relationship with the Bible seem to go through a circular process that is activated again and again in new life events. It is like a journey from self-evidence towards critical questions and again back to new confidence. The interview material showed, hence, that relationship with the Bible are characterized by a process that involves experiences of trust, questioning and new trust. The present study brings out the multifaceted reality of pastors relationship with the Bible. The study breaks down contradictions between conservative and liberal views of the Bible by showing how representatives of these opposing poles share commonalities in their attitudes. The study points to a close association between an individual s life history and his or her relationship with the Bible, and lays the groundwork for future studies to investigate the relation between personality and view of the Bible.

Spirituality of Finnish peacekeepers

The previous academic research on Finnish peacekeeping has clarified the operative and historical aspects of Finnish peacekeeping lacking the view of an individual who does the actual peacekeeping work. This research is based on the underlying theoretical assumption of human beings possessing different kinds of talents and intelligences creating a holistic entity. In this broad perspective spirituality was explored as an umbrella concept, as a holistic ability or talent, that can be explored as the deepest aspect of defining what it means to be human. The theoretical framework incorporated the concept of an intelligence, which is defined in Gardner's theory of multiple intelligences as the ability to solve problems, or to create products, that are valued within one or more cultural settings (Gardner, 1993, x). The viability of this theory was studied in the sample of Finnish peacekeepers. Spirituality in the theoretical and conceptual horizon was viewed as an extension of Gardner's theory of intelligences as one potential Gardnerian intelligence candidate. In addition to Gardner's theory, spirituality was explored as sensitivity which includes capacities such as sensing awareness, sensing mystery and sensing value (Hay, 1998). Also the practical aspects of spirituality were taken in account as shown in our everyday lives giving us the direction and influencing our social responsibilities and concerns (Bradford, 1995). Spirituality was explored also involving the element of the peacekeepers' community, the element of personal moral orientations and in the domain of religion and coping. The purpose of this research aimed in two dimensions. First, the aim was to outline the intelligence profile and the spiritual sensitivity profile of peacekeepers. Second, the aim was to understand qualitatively the nature of peacekeepers' spirituality The research interests were studied with different kinds of peacekeepers. Applying the mixed methods approach the research was conducted in two phases: first the former SFOR peacekeepers (N=6) were interviewed and the data was analysed. Inspired by the primary findings of these interviews, the data for the case-study of one peacekeeper was collected in co-operation with one former SFOR peacekeeper (N=1). In the second phase the data was collected from KFOR peacekeepers through the quantitative MI-Survey and the spiritual sensitivity survey (N=195). The quantitative method was used to outline the intelligence profile and the spiritual sensitivity profile of peacekeepers (N=195). In the mixed methods approach this method highlighted the general overview of intelligence traits and spiritual sensitivity of peacekeepers. In the mixed methods approach the qualitative method including interviews (N=6) and a case-study of one peacekeeper (N=1) increased subjective, qualitative information of spirituality of peacekeepers. The intelligence profile of peacekeepers highlighted the bodily-kinesthetic and interpersonal dimensions as the practical and social aspects of peacekeepers. Strong inter-item dependencies in the intrapersonal intelligence profile meant that peacekeepers possess a self-reflection and self-knowledge component and they reflect on deep psychological and philosophical issues. Regarding the spiritual sensitivity, peacekeepers found awareness-sensing, mystery-sensing, value-sensing and community-sensing important. The community-sensing emphasised a strong will to advance peace and to help people who are in need: things that are close to the heart of the peacekeepers. These results depicted practicality, being socially capable, and reflecting one's inner world as essential to peacekeepers. Moreover, spirituality as peacekeepers' moral endeavour became clearer because the sub-model of their community-sensing described morally charged destinations: advancing peace and helping people in need. In the qualitative findings peacekeepers articulated justice orientation and rule-following characterising the nature of peacekeepers' moral attitude and moral call (Kohlberg, 1969). An ethic of care (Gilligan, 1982) describes mainly female moral orientation, but the findings revealed that an ethic of care is also an important agent supporting strongly male peacekeepers in their aim to carry out qualitatively good peacekeeping work. The moral endeavour was voiced, when the role of religion in coping meant the assessment of the a way of life, a way of conduct, a way of being truthful to one's own values in confusing surroundings. The practical level of spiritual and religious contemplation was voiced as morally charged inner motivation to fulfil one's duties and at the same time to cope with various peacekeeping challenges. The results of different data sets were combined and interpreted as the moral endeavour, which characterises peacekeepers' spirituality. As the combining result, the perspective of peacekeepers' spirituality is considered moral or at least morally charged.

Pyhä Teresa ja keskiajan mystiikan teoriat

In my dissertation I have studied St Teresa (1515-1582) in the light of medieval mystical theories. I have two main levels in my research: historical and theological. On the historical level I study St Teresa s personal history in the context of her family and the Spanish society. On the theological level I study both St Teresa s mysticism and her religious experience in the light of medieval mysticism. St Teresa wrote a book called Life , which is her narrative autobiography and story about her mystical spiritual formation. She reflected herself through biblical texts interpreting them in the course of the biblical hermeneutics like allegory, typology, tropology and anagogy. In addition to that she read others life stories from her period of time, but reflected herself only slightly through the sociological point of view. She used irony as a means to gain acceptance to her authority and motive to write. Her position has been described as a double bind because of writing at the request of educated men and to the non-educated women as she herself was uneducated. She used irony as a means to achieve valuation to women, to gain negative attributes connected to them and to gain authority to teach them mystical spirituality, the Bible and prayer. In this ironic tendency she was a feminist writer. In order to understand medieval mysticism I have written in the first chapter a review of the main trends in medieval mysticism in connection with the classical emotional theories. Two medieval mystical theories show an important role in St Teresa s mysticism. One is love mysticism and the other is the three partite way of mysticism (purification, illumination and union). The classic-philosophical emotional theories play a role in both patterns. The theory of love mysticism St Teresa interpreted in the traditional way stressing the spiritual meaning of love in connexion with God and neighbors. Love is an emotion, which is bound with other emotions, but all objects of love don t strengthen spiritual love. In the three partite way of mysticism purification means to find biblical values in life and to practice meditative self-knowledge theologically interpreted. In illumination human understanding has to be illuminated by God and united to mystical knowledge from God. St Teresa considered illumination a way to learn things. Illumination has also psychological aspects like recognition of many trials and pains, which come from life on earth. Theologically interpreted in illumination one should die to oneself, let oneself be transformed and renewed by God. I have also written a review of the modern philosophical discussion on personal identity where memory and mental experiences are important creators of personal identity. St Teresa bound medieval mystical teaching together with her personal religious experience. Her personal identity is by its character based on her narrative life story where mental experiences play important role. Previous researchers have labelled St Teresa as an ecstatic person whose experiences produced ecstatic phenomena to the mysticism. These phenomena combined with visions have in one respect made of her a person who has brought physical and visionary tendencies to theology. In spite of that she also represents a modern tendency trying to give words to experiences, which at first seem to be exceptional and extreme and which are easily interpreted as one-sided either physical or sexual or unsaid. In other respect I have stressed the personality of St Teresa that was represented as both strong and weak. The strong personality for her is demonstrated by religious faith and in its practice. The weak personality was for her a natural personal identity. St Teresa saw a unifying aspect in almost all. Firstly, her mysticism was aimed towards union with God and secondly, the unifying aspects and common rules in human relations in community life were central. Union with God is based on the fact that in a soul God is living in its centre, where God is present in the Trinitarian way. The picture of God in ourselves is a mirror but to get to know God better is to recognize his/her presence in us. When the soul recognizes itself as a dwelling place of God, it knows itself as God knows him/herself. There is equality between God and the soul. To be a Christian means to participate in God in his Trinitarian being. The participation to God is a process of divinization that puts a person into transformation, change and renewal. The unitive aspect concludes also knowledge of opposites between experience of community and solitude as well as community and separateness. As a founder of monasteries St Teresa practiced theology of poverty. She renewed the monastic life founding a rule called discalced that stressed ascetic tendencies. Supporters of her work were after the difficulties in the beginning both society and churchly leaders. She wrote about the monasteries including in her description at times seriousness at times humor and irony. Her stories are said to be picaresque histories that contain stories of ordinary laymen and many unexpected occasions. She exercised a kind of Bakhtinian dialogue in her letters. St Teresa stressed the virtues like sacrifice, determination and courage in the monastic life. Most of what she taught of virtues is based on biblical spirituality but there are also psychological tendencies in her writings. The theological pedagogical advice is mixed with psychology, but she herself made no distinction between different aspects in her teaching. To understand St Teresa and her mysticism is to recognize that she mixes her personal religious experience and mysticism, which widens mysticism to religious experience in a new way, although this corresponds also the very definition of mysticism. St Teresa concentrated on mental-spiritual experiences and the aim of her mystical teaching was to produce a human mind well cured like a garden that has God as its gardener.

Engaging in online postgraduate education as means of professional learning

With enrolments in higher education becoming a competitive market, through the removal of caps in 2012, the equitable access to postgraduate education is raised. Postgraduate education, provided through higher education institutions, is an important aspect of career development for professionals. Professionals working outside of the metropolitan area are increasingly seeking postgraduate education opportunities that will be delivered online, at a distance. In this research study, data collected from the teaching profession, has culminated in a model that will ultimately improve access to professional learning. This research paper aims to highlight the important role that higher education providers play in the delivery of postgraduate education to professionals working in regional and remote areas of Australia. Although this paper focuses on the realm of education, the model of connectedness, where synchronous and asynchronous technologies are used, can be adapted and applied to any profession that requires equitable access to professional learning.

The church must become the people of Soweto : Manas Buthelezi’s existential-Christocentric understanding of the church

The aim of this study has been to discern what Manas Buthelezi (1935-), a black South African Lutheran theologian and later also a bishop, regards as the requirements a church has to fulfill in order to be credible in the apartheid society. Buthelezi’s dissertation and several articles written between the years 1968 and 1993 are the sources of this study. Also the lectures held in Heidelberg in 1972 are referred to. Systematic analysis is the method used. The question of the credibility of the church is studied through three concepts that play an important role in Buthelezi’s ecclesiological thought, namely the wholeness of life, incarnation and liberation. The notion of the wholeness of life stems from the African tradition. Buthelezi takes the concept into the Christian church: the church should realize that God is the Creator of all life and Christ the lord of every aspect of human existence. Life is one entity coram Deo. However, the church is not to become the world; solidarity between the two must remain critical as the church is also called to play a prophetic role in the society. The church is in an open relationship with the world. It has a unique message of forgiveness and reconciliation. Nevertheless, the message is not a possession of the church but it is addressed to the whole world. The meaning of incarnation comes close to that of the wholeness of life. Following the example of Christ’s incarnation, the church must become human in the reality of the people. The church in Soweto is to become the people of Soweto, that is, the church must become as vulnerable as the people are. An incarnate church cannot be immune to the oppression that people experience, because the people are the church. The church is therefore bound to suffer. Buthelezi’s theology of the cross is pragmatic: the suffering of the church aims at the liberation of the oppressed. At times the physical presence of the church by the side of the suffering people is the only way to preach the incarnate gospel. In the South Africa of the late 1960s onwards the liberation of the oppressed black people was high on the agenda of Black Theology. As a leader of the early South African Black Theology, Buthelezi is concerned about the racial injustice in his country. He urges the churches to join the struggle against it as one people of God. The notions of liberation and the wholeness of life emerge in Buthelezi’s holistic understanding of liberation that involves the inner liberation of the black spirit and the liberation of the economic, social and political aspects of life. Interpreting Tillich’s correlation method in the South African situation, and also paralleling other liberation theologians, Buthelezi takes the existential situation of the people as the starting point for liberation. The gospel has to respond to the existential questions of people. The church is called to work for the liberation of society but it must also be liberated itself. Buthelezi initiated the LWF statement on the status confessionis in South Africa (1977). In line with the statement, he calls for church unity on the human level. For the unity to be true, it has to be experienced on the grassroots’ level. All the three concepts covered urge the church to come down from any ivory tower and out of any spiritual haven it might hide in. A lot of the credibility of the church derives from the behavior of the people. Buthelezi’s concentration on how the people who constitute the church should live their faith leaves less attention to how God constitutes the church. I have labeled Buthelezi’s understanding of the church existential-Christocentric due to the emphasis he lays on the need of the church to take the existential situation of the people seriously and on the other hand, on Christ as the exemplar for the church.

Stillness: A meditation in new media art

While technology is often seen as a noisy, impatient and pervasive aspect of our lives, this practice-led research project investigated the counter proposition–that we might be able to evoke sensations of stillness through technology-mediated artworks. Investigations into stillness were informed by Buddhism, phenomenology, and experiences of meditation and the practice of archery. By combining visual art, performance, installation, video and interaction design, a series of experimental, interdisciplinary artworks were produced and exhibited to evoke a sense of stillness and to impel audiences to consider the form and nature of stillness in relation to time, space and motion.

Mean Flow Measurements in Turbulent Boundary Layers along Mildly Curved Surfaces

An experimental investigation of the mean flow characteristics of two-dimensional turbulent boundary layers over surfaces of mild longitudinal curvature is reported. The study covered both convex and concave walls of \d/Rw I « 0.013 (d being the boundary-layer thickness and Rw being the wall radius). It was found that, whereas the region close to the wall was not affected significantly by wall curvature, the outer region was very sensitive to even mild wall curvature. A detailed study of the wake region using present and other available data suggests a systematic effect of b/Rw on the wake structure. The paper also discusses in detail the effect of mild wall curvature on the boundary-layer development with particular emphasis on the difference in behavior of the boundary layer at short and long distances from the leading edge of the curved wall, an aspect which has not received sufficient attention in previous experimental investigations. An attempt has been made to explain this behavior from a consideration of the structure of turbulence in boundary layers over curved surfaces taken into account.

Genomic approach to organ-specific growth control

Growth is a fundamental aspect of life cycle of all organisms. Body size varies highly in most animal groups, such as mammals. Moreover, growth of a multicellular organism is not uniform enlargement of size, but different body parts and organs grow to their characteristic sizes at different times. Currently very little is known about the molecular mechanisms governing this organ-specific growth. The genome sequencing projects have provided complete genomic DNA sequences of several species over the past decade. The amount of genomic sequence information, including sequence variants within species, is constantly increasing. Based on the universal genetic code, we can make sense of this sequence information as far as it codes proteins. However, less is known about the molecular mechanisms that control expression of genes, and about the variations in gene expression that underlie many pathological states in humans. This is caused in part by lack of information about the second genetic code that consists of the binding specificities of transcription factors and the combinatorial code by which transcription factor binding sites are assembled to form tissue-specific and/or ligand-regulated enhancer elements. This thesis presents a high-throughput assay for identification of transcription factor binding specificities, which were then used to measure the DNA binding profiles of transcription factors involved in growth control. We developed ‘enhancer element locator’, a computational tool, which can be used to predict functional enhancer elements. A genome-wide prediction of human and mouse enhancer elements generated a large database of enhancer elements. This database can be used to identify target genes of signaling pathways, and to predict activated transcription factors based on changes in gene expression. Predictions validated in transgenic mouse embryos revealed the presence of multiple tissue-specific enhancers in mouse c- and N-Myc genes, which has implications to organ specific growth control and tumor type specificity of oncogenes. Furthermore, we were able to locate a variation in a single nucleotide, which carries a susceptibility to colorectal cancer, to an enhancer element and propose a mechanism by which this SNP might be involved in generation of colorectal cancer.

Comment on "Pseudoelasticity of Cu-Zr nanowires via stress-induced martensitic phase transformations"

Recently, a novel stress-induced phase transformation in an initial < 100 >/{100} B2-CuZr nanowire has been reported for the first time [Sutrakar and Mahapatra, Mater. Lett. 63, 1289 (2009)]. Following this, a martenisitic phase transformation in Cu-Zr nanowire was shown [Cheng et al., Appl. Phys. Lett. 95, 021911 (2009)] using the same idea (Sutrakar and Mahapatra, Mater. Lett. 63, 1289 (2009)]. The pseudoelastic recovery of the bct phase of Cu-Zr by unloading has also been shown [Cheng et al., Appl. Phys. Lett. 95, 021911 (2009)]. They also tested the epitaxial bain path [Alippi et al., Phys. Rev. Lett. 78, 3892 (1997)] and reported that the bct phase in the nanowire is metastable, whereas the bulk counterpart is unstable. This aspect is re-examined in this comment with corrected results.

Gene Expression : From Microarrays to Functional Genomics

The time of the large sequencing projects has enabled unprecedented possibilities of investigating more complex aspects of living organisms. Among the high-throughput technologies based on the genomic sequences, the DNA microarrays are widely used for many purposes, including the measurement of the relative quantity of the messenger RNAs. However, the reliability of microarrays has been strongly doubted as robust analysis of the complex microarray output data has been developed only after the technology had already been spread in the community. An objective of this study consisted of increasing the performance of microarrays, and was measured by the successful validation of the results by independent techniques. To this end, emphasis has been given to the possibility of selecting candidate genes with remarkable biological significance within specific experimental design. Along with literature evidence, the re-annotation of the probes and model-based normalization algorithms were found to be beneficial when analyzing Affymetrix GeneChip data. Typically, the analysis of microarrays aims at selecting genes whose expression is significantly different in different conditions followed by grouping them in functional categories, enabling a biological interpretation of the results. Another approach investigates the global differences in the expression of functionally related groups of genes. Here, this technique has been effective in discovering patterns related to temporal changes during infection of human cells. Another aspect explored in this thesis is related to the possibility of combining independent gene expression data for creating a catalog of genes that are selectively expressed in healthy human tissues. Not all the genes present in human cells are active; some involved in basic activities (named housekeeping genes) are expressed ubiquitously. Other genes (named tissue-selective genes) provide more specific functions and they are expressed preferably in certain cell types or tissues. Defining the tissue-selective genes is also important as these genes can cause disease with phenotype in the tissues where they are expressed. The hypothesis that gene expression could be used as a measure of the relatedness of the tissues has been also proved. Microarray experiments provide long lists of candidate genes that are often difficult to interpret and prioritize. Extending the power of microarray results is possible by inferring the relationships of genes under certain conditions. Gene transcription is constantly regulated by the coordinated binding of proteins, named transcription factors, to specific portions of the its promoter sequence. In this study, the analysis of promoters from groups of candidate genes has been utilized for predicting gene networks and highlighting modules of transcription factors playing a central role in the regulation of their transcription. Specific modules have been found regulating the expression of genes selectively expressed in the hippocampus, an area of the brain having a central role in the Major Depression Disorder. Similarly, gene networks derived from microarray results have elucidated aspects of the development of the mesencephalon, another region of the brain involved in Parkinson Disease.