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.

A Probabilistic Approach to the Primary Visual Cortex

What can the statistical structure of natural images teach us about the human brain? Even though the visual cortex is one of the most studied parts of the brain, surprisingly little is known about how exactly images are processed to leave us with a coherent percept of the world around us, so we can recognize a friend or drive on a crowded street without any effort. By constructing probabilistic models of natural images, the goal of this thesis is to understand the structure of the stimulus that is the raison d etre for the visual system. Following the hypothesis that the optimal processing has to be matched to the structure of that stimulus, we attempt to derive computational principles, features that the visual system should compute, and properties that cells in the visual system should have. Starting from machine learning techniques such as principal component analysis and independent component analysis we construct a variety of sta- tistical models to discover structure in natural images that can be linked to receptive field properties of neurons in primary visual cortex such as simple and complex cells. We show that by representing images with phase invariant, complex cell-like units, a better statistical description of the vi- sual environment is obtained than with linear simple cell units, and that complex cell pooling can be learned by estimating both layers of a two-layer model of natural images. We investigate how a simplified model of the processing in the retina, where adaptation and contrast normalization take place, is connected to the nat- ural stimulus statistics. Analyzing the effect that retinal gain control has on later cortical processing, we propose a novel method to perform gain control in a data-driven way. Finally we show how models like those pre- sented here can be extended to capture whole visual scenes rather than just small image patches. By using a Markov random field approach we can model images of arbitrary size, while still being able to estimate the model parameters from the data.

Conrad Summenhart's theory of individual rights and its medieval background

This study focuses on the theory of individual rights that the German theologian Conrad Summenhart (1455-1502) explicated in his massive work Opus septipartitum de contractibus pro foro conscientiae et theologico. The central question to be studied is: How does Summenhart understand the concept of an individual right and its immediate implications? The basic premiss of this study is that in Opus septipartitum Summenhart composed a comprehensive theory of individual rights as a contribution to the on-going medieval discourse on rights. With this rationale, the first part of the study concentrates on earlier discussions on rights as the background for Summenhart s theory. Special attention is paid to language in which right was defined in terms of power . In the fourteenth century writers like Hervaeus Natalis and William Ockham maintained that right signifies power by which the right-holder can to use material things licitly. It will also be shown how the attempts to describe what is meant by the term right became more specified and cultivated. Gerson followed the implications that the term power had in natural philosophy and attributed rights to animals and other creatures. To secure right as a normative concept, Gerson utilized the ancient ius suum cuique-principle of justice and introduced a definition in which right was seen as derived from justice. The latter part of this study makes effort to reconstructing Summenhart s theory of individual rights in three sections. The first section clarifies Summenhart s discussion of the right of the individual or the concept of an individual right. Summenhart specified Gerson s description of right as power, taking further use of the language of natural philosophy. In this respect, Summenhart s theory managed to bring an end to a particular continuity of thought that was centered upon a view in which right was understood to signify power to licit action. Perhaps the most significant feature of Summenhart s discussion was the way he explicated the implication of liberty that was present in Gerson s language of rights. Summenhart assimilated libertas with the self-mastery or dominion that in the economic context of discussion took the form of (a moderate) self-ownership. Summenhart discussion also introduced two apparent extensions to Gerson s terminology. First, Summenhart classified right as relation, and second, he equated right with dominion. It is distinctive of Summenhart s view that he took action as the primary determinant of right: Everyone has as much rights or dominion in regard to a thing, as much actions it is licit for him to exercise in regard to the thing. The second section elaborates Summenhart s discussion of the species dominion, which delivered an answer to the question of what kind of rights exist, and clarified thereby the implications of the concept of an individual right. The central feature in Summenhart s discussion was his conscious effort to systematize Gerson s language by combining classifications of dominion into a coherent whole. In this respect, his treatement of the natural dominion is emblematic. Summenhart constructed the concept of natural dominion by making use of the concepts of foundation (founded on a natural gift) and law (according to the natural law). In defining natural dominion as dominion founded on a natural gift, Summenhart attributed natural dominion to animals and even to heavenly bodies. In discussing man s natural dominion, Summenhart pointed out that the natural dominion is not sufficiently identified by its foundation, but requires further specification, which Summenhart finds in the idea that natural dominion is appropriate to the subject according to the natural law. This characterization lead him to treat God s dominion as natural dominion. Partly, this was due to Summenhart s specific understanding of the natural law, which made reasonableness as the primary criterion for the natural dominion at the expense of any metaphysical considerations. The third section clarifies Summenhart s discussion of the property rights defined by the positive human law. By delivering an account on juridical property rights Summenhart connected his philosophical and theological theory on rights to the juridical language of his times, and demonstrated that his own language of rights was compatible with current juridical terminology. Summenhart prepared his discussion of property rights with an account of the justification for private property, which gave private property a direct and strong natural law-based justification. Summenhart s discussion of the four property rights usus, usufructus, proprietas, and possession aimed at delivering a detailed report of the usage of these concepts in juridical discourse. His discussion was characterized by extensive use of the juridical source texts, which was more direct and verbal the more his discussion became entangled with the details of juridical doctrine. At the same time he promoted his own language on rights, especially by applying the idea of right as relation. He also showed recognizable effort towards systematizing juridical language related to property rights.

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.

Rukous on perintöä suvusta sukuun : Ikääntyneet ja uskonto vuosituhannen vaihteen Suomessa

"Prayer, a heritage from generation to generation" The elderly and religion in Finland at the turn of the 21st century The strong demographic changes in Europe mean that research on the elderly is highly needed, and also from the viewpoint of their resources and opportunities. Further, it is important to determine, how the elderly could find a meaningful place as members of the chain of generations in our rapidly changing society. The aim of this study was to find out how the elderly build and perceive their place in the society through religious texts. The study was based on religious texts written by elderly people in the study groups of the Finnish pensioners organization Pension Union (Eläkeliitto). These 943 short prayers, poems, and aphorisms were collected during the Tree of Life (Elämänpuu) project in 1998-1999 and were then analysed applying qualitative content analysis and grounded theory methodology. The social construction of aging and the view of communication as a collective signifying process were used as the mainstays of the research perspective. The themes brought forward by the elderly writers were grouped around three key themes: the self, the world and religion. In this examination religion with its forms of expression appeared to be deeply rooted to each of these themes and thus seems a vital part of the elderly writers' culture. In connection with the theme of the self, the religious forms of expression provided a means of building a coherent and culturally accepted self-image which is further supported by positive views of personal history and current life situation. In relation to the world theme, the elderly writers stressed the importance of close social relationships and at the same time expressed anxiety with regard to the changing world. Concerning the theme of religion, the religious forms of expression were first and foremost used in building and creating a sense of personal safety and a belief in the future. The study suggests that skill in the use of religious language enable the elderly to cope with equivocal life events and cognitive dissonance. At the social level the religious forms of expression seemed to connect the writers to the Finnish linguistic culture and identity, as well as to the collective memory, where religion plays a central part. By using religious language the elderly both exploit and maintain these considerable social resources. The key result of the study is that the elderly were found to have a significant and separate role in the continuity and well-being of society. Bound to the religious tradition, the elderly seem to carry significant information as regards the identity of the Finnish people, information which is essentially passed on to future generations. By sustaining traditions and thus the collective identity, they perform a uniquely productive task and their life experience could be seen as a particular type of capital in the society. This result also raises a grave question: Will the elderly of the future be able to undertake this task that so profoundly requires religious literacy?

Tiedon jakaminen tiimityössä

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

Dressing up Tinderella: Interrogating authenticity claims on the mobile dating app Tinder

Mobile dating applications (‘apps’) have increased in popularity over recent years, with Tinder among the first to break into the mainstream heterosexual market. Since mobile dating intensifies the need to confirm that potential dates are not misrepresenting themselves and are safe to meet in person, Tinder’s success indicates that it has allayed these concerns regarding the authenticity of its users. This article combines Giddens’ conceptualization of authenticity, as the ability to reference a coherent biographical narrative, with Callon’s sociology of translation to investigate Tinder’s framing of authenticity within mobile dating. Applying a walkthrough method that interrogates Tinder’s technological architecture, promotional materials, and related media, this hybrid theoretical framework is used to identify how Tinder configures an actor-network that establishes its app as the solution to users’ concerns, enrols individuals in using its features in authenticity claims, and popularizes Tinder’s framing across public discourse. This network of human and non-human actors frames authenticity as being established through one’s Facebook profile and adherence to normative standards relating to age, gender, ethnicity, and socioeconomic status. However, user discourses on other social media identify and challenge negative outcomes of this framing, with normativity fostering discrimination and Facebook verification failing to prevent abusive behavior. This case study of Tinder paves the way for future investigation into user responses to its framing. Further, it demonstrates the efficacy and broader applicability of this theoretical approach for identifying both human and technological influences on the construction of authenticity with digital media.

Large Low-Frequency Fluctuations in the Velocity of a Driven Vortex Lattice in a Single Crystal of 2H-NbSe2 Superconductor

The driven state of a well-ordered flux line lattice in a single crystal of 2H-NbSe2 in the time domain has revealed the presence of substantial fluctuations in velocity, with large and distinct time periods (similar to seconds). A superposition of a periodic drive in the driven vortex lattice causes distinct changes in these fluctuations. We propose that prior to the onset of the peak effect there exists a heretofore unexplored regime of coherent dynamics, with unexpected behavior in velocity fluctuations.

IASDR 2015 Interplay Exhibition 2-5 NOV 2015

It has been said that we are living in a golden age of innovation. New products, systems and services aimed to enable a better future, have emerged from novel interconnections between design and design research with science, technology and the arts. These intersections are now, more than ever, catalysts that enrich daily activities for health and safety, education, personal computing, entertainment and sustainability, to name a few. Interactive functions made possible by new materials, technology, and emerging manufacturing solutions demonstrate an ongoing interplay between cross-disciplinary knowledge and research. Such interactive interplay bring up questions concerning: (i) how art and design provide a focus for developing design solutions and research in technology; (ii) how theories emerging from the interactions of cross-disciplinary knowledge inform both the practice and research of design and (iii) how research and design work together in a mutually beneficial way. The IASDR2015 INTERPLAY EXHIBITION provides some examples of these interconnections of design research with science, technology and the arts. This is done through the presentation of objects, artefacts and demonstrations that are contextualised into everyday activities across various areas including health, education, safety, furniture, fashion and wearable design. The exhibits provide a setting to explore the various ways in which design research interacts across discipline knowledge and approaches to stimulate innovation. In education, Designing South African Children’s Health Education as Generative Play (A Bennett, F Cassim, M van der Merwe, K van Zijil, and M Ribbens) presents a set of toolkits that resulted from design research entailing generative play. The toolkits are systems that engender pleasure and responsibility, and are aimed at cultivating South African’s youth awareness of nutrition, hygiene, disease awareness and prevention, and social health. In safety, AVAnav: Avalanche Rescue Helmet (Jason Germany) delivers an interactive system as a tool to contribute to reduce the time to locate buried avalanche victims. Helmet-mounted this system responds to the contextual needs of rescuers and has since led to further design research on the interface design of rescuing devices. In apparel design and manufacturing, Shrinking Violets: Fashion design for disassembly (Alice Payne) proposes a design for disassembly through the use of beautiful reversible mono-material garments that interactively responds to the challenges of garment construction in the fashion industry, capturing the metaphor for the interplay between technology and craft in the fashion manufacturing industry. Harvest: A biotextile future (Dean Brough and Alice Payne), explores the interplay of biotechnology, materiality and textile design in the creation of sustainable, biodegradable vegan textile through the process of a symbiotic culture of bacteria and yeast (SCOBY). SCOBY is a pellicle curd that can be harvested, machine washed, dried and cut into a variety of designs and texture combinations. The exploration of smart materials, wearable design and micro-electronics led to creative and aesthetically coherent stimulus-reactive jewellery; Symbiotic Microcosms: Crafting Digital Interaction (K Vones). This creation aims to bridge the gap between craft practitioner and scientific discovery, proposing a move towards the notion of a post-human body, where wearable design is seen as potential ground for new human-computer interactions, affording the development of visually engaging multifunctional enhancements. In furniture design, Smart Assistive chair for older adults (Chao Zhao) demonstrates how cross-disciplinary knowledge interacting with design strategies provide solution that employed new technological developments in older aged care, and the participation of multiple stakeholders: designers, health care system and community based health systems. In health, Molecular diagnosis system for newborns deafness genetic screening (Chao Zhao) presents an ambitious and complex project that includes a medical device aimed at resolving a number of challenges: technical feasibility for city and rural contexts, compatibility with standard laboratory and hospital systems, access to health system, and support the work of different hospital specialists. The interplay between cross-disciplines is evident in this work, demonstrating how design research moves forward through technology developments. These works exemplify the intersection between domains as a means to innovation. Novel design problems are identified as design intersects with the various areas. Research informs this process, and in different ways. We see the background investigation into the contextualising domain (e.g. on-snow studies, garment recycling, South African health concerns, the post human body) to identify gaps in the area and design criteria; the technologies and materials reviews (e.g. AR, biotextiles) to offer plausible technical means to solve these, as well as design criteria. Theoretical reviews can also inform the design (e.g. play, flow). These work together to equip the design practitioner with a robust set of ‘tools’ for design innovation – tools that are based in research. The process identifies innovative opportunity and criteria for design and this, in turn, provides a means for evaluating the success of the design outcomes. Such an approach has the potential to come full circle between research and design – where the design can function as an exemplar, evidencing how the research-articulated problems can be solved. Core to this, however, is the evaluation of the design outcome itself and identifying knowledge outcomes. In some cases, this is fairly straightforward that is, easily measurable. For example the efficacy of Jason Germany’s helmet can be determined by measuring the reduced response time in the rescuer. Similarly the improved ability to recycle Payne’s panel garments can be clearly determined by comparing it to those recycling processes (and her identified criteria of separating textile elements!); while the sustainability and durability of the Brough & Payne’s biotextile can be assessed by documenting the growth and decay processes, or comparative strength studies. There are however situations where knowledge outcomes and insights are not so easily determined. Many of the works here are open-ended in their nature, as they emphasise the holistic experience of one or more designs, in context: “the end result of the art activity that provides the health benefit or outcome but rather, the value lies in the delivery and experience of the activity” (Bennet et al.) Similarly, reconfiguring layers of laser cut silk in Payne’s Shrinking Violets constitutes a customisable, creative process of clothing oneself since it “could be layered to create multiple visual effects”. Symbiotic Microcosms also has room for facilitating experience, as the work is described to facilitate “serendipitous discovery”. These examples show the diverse emphasis of enquiry as on the experience versus the product. Open-ended experiences are ambiguous, multifaceted and differ from person to person and moment to moment (Eco 1962). Determining the success is not always clear or immediately discernible; it may also not be the most useful question to ask. Rather, research that seeks to understand the nature of the experience afforded by the artefact is most useful in these situations. It can inform the design practitioner by helping them with subsequent re-design as well as potentially being generalizable to other designers and design contexts. Bennett et. al exemplify how this may be approached from a theoretical perspective. This work is concerned with facilitating engaging experiences to educate and, ultimately impact on that community. The research is concerned with the nature of that experience as well, and in order to do so the authors have employed theoretical lenses – here these are of flow, pleasure, play. An alternative or complementary approach to using theory, is using qualitative studies such as interviews with users to ask them about what they experienced? Here the user insights become evidence for generalising across, potentially revealing insight into relevant concerns – such as the range of possible ‘playful’ or experiences that may be afforded, or the situation that preceded a ‘serendipitous discovery’. As shown, IASDR2015 INTERPLAY EXHIBITION provides a platform for exploration, discussion and interrogation around the interplay of design research across diverse domains. We look forward with excitement as IASDR continues to bring research and design together, and as our communities of practitioners continue to push the envelope of what is design and how this can be expanded and better understood with research to foster new work and ultimately, stimulate innovation.

Diurnal-scale signatures of monsoon rainfall over the Indian region from TRMM satellite observations

One of the most important modes of summer season precipitation variability over the Indian region, the diurnal cycle, is studied using the Tropical Rainfall Measuring Mission 3-hourly, 0.25 degrees x 0.25 degrees 3B42 rainfall product for nine years (1999-2007). Most previous studies have provided an analysis of a single year or a few years of satellite-or station-based rainfall data. Our study aims to systematically analyze the statistical characteristics of the diurnal-scale signature of rainfall over the Indian and surrounding regions. Using harmonic analysis, we extract the signal corresponding to diurnal and subdiurnal variability. Subsequently, the 3-hourly time period or the octet of rainfall peak for this filtered signal, referred to as the ``peak octet,'' is estimated, with care taken to eliminate spurious peaks arising out of Gibbs oscillations. Our analysis suggests that over the Bay of Bengal, there are three distinct modes of the peak octet of diurnal rainfall corresponding to 1130, 1430, and 1730 Indian standard time (IST), from the north central to south bay. This finding could be seen to be consistent with southward propagation of the diurnal rainfall pattern reported by earlier studies. Over the Arabian Sea, there is a spatially coherent pattern in the mode of the peak octet (1430 IST), in a region where it rains for more than 30% of the time. In the equatorial Indian Ocean, while most of the western part shows a late night/early morning peak, the eastern part does not show a spatially coherent pattern in the mode of the peak octet owing to the occurrence of a ual maxima (early morng and early/late afternoon). The imalayan foothills were found to have a mode of peak octet corresponding to 0230 IST, whereas over the Burmese mountains and the Western Ghats (west coast of India) the rainfall peaks during late afternoon/early evening (1430-1730 IST). This implies that the phase of the diurnal cycle over inland orography (e. g., Himalayas) is significantly different from coastal orography (e. g., Western Ghats). We also find that over the Gangetic plains, the peak octet is around 1430 IST, a few hours earlier compared to the typical early evening maxima over land.

A complete characterization of pre-Mueller and Mueller matrices in polarization optics

The Mueller-Stokes formalism that governs conventional polarization optics is formulated for plane waves, and thus the only qualification one could require of a 4 x 4 real matrix M in order that it qualify to be the Mueller matrix of some physical system would be that M map Omega((pol)), the positive solid light cone of Stokes vectors, into itself. In view of growing current interest in the characterization of partially coherent partially polarized electromagnetic beams, there is a need to extend this formalism to such beams wherein the polarization and spatial dependence are generically inseparably intertwined. This inseparability brings in additional constraints that a pre-Mueller matrix M mapping Omega((pol)) into itself needs to meet in order to be an acceptable physical Mueller matrix. These additional constraints are motivated and fully characterized. (C) 2010 Optical Society of America

Convergence analysis of the Newton algorithm and a pseudo-time marching scheme for diffuse correlation tomography

We propose a self-regularized pseudo-time marching scheme to solve the ill-posed, nonlinear inverse problem associated with diffuse propagation of coherent light in a tissuelike object. In particular, in the context of diffuse correlation tomography (DCT), we consider the recovery of mechanical property distributions from partial and noisy boundary measurements of light intensity autocorrelation. We prove the existence of a minimizer for the Newton algorithm after establishing the existence of weak solutions for the forward equation of light amplitude autocorrelation and its Frechet derivative and adjoint. The asymptotic stability of the solution of the ordinary differential equation obtained through the introduction of the pseudo-time is also analyzed. We show that the asymptotic solution obtained through the pseudo-time marching converges to that optimal solution provided the Hessian of the forward equation is positive definite in the neighborhood of optimal solution. The superior noise tolerance and regularization-insensitive nature of pseudo-dynamic strategy are proved through numerical simulations in the context of both DCT and diffuse optical tomography. (C) 2010 Optical Society of America.

Quasi-periodic, global oscillations in sea level pressure on intraseasonal timescales

The sea level pressure (SLP) variability in 30-60 day intraseasonal timescales is investigated using 25 years of reanalysis data addressing two issues. The first concerns the non-zero zonal mean component of SLP near the equator and its meridional connections, and the second concerns the fast eastward propagation (EP) speed of SLP compared to that of zonal wind. It is shown that the entire globe resonates with high amplitude wave activity during some periods which may last for few to several months, followed by lull periods of varying duration. SLP variations in the tropical belt are highly coherent from 25A degrees S to 25A degrees N, uncorrelated with variations in mid latitudes and again significantly correlated but with opposite phase around 60A degrees S and 65A degrees N. Near the equator (8A degrees S-8A degrees N), the zonal mean contributes significantly to the total variance in SLP, and after its removal, SLP shows a dominant zonal wavenumber one structure having a periodicity of 40 days and EP speeds comparable to that of zonal winds in the Indian Ocean. SLP from many of the atmospheric and coupled general circulation models show similar behaviour in the meridional direction although their propagation characteristics in the tropical belt differ widely.

Cities of Light: Two Centuries of Urban Illumination

Cities of Light is the first global overview of modern urban illumination, a development that allows human wakefulness to colonize the night, doubling the hours available for purposeful and industrious activities. Urban lighting is undergoing a revolution due to recent developments in lighting technology, and increased focus on sustainability and human-scaled environments. Cities of Light is expansive in coverage, spanning two centuries and touching on developments on six continents, without diluting its central focus on architectural and urban lighting. Covering history, geography, theory, and speculation in urban lighting, readers will have numerous points of entry into the book, finding it easy to navigate for a quick reference and or a coherent narrative if read straight through. With chapters written by respected scholars and highly-regarded contemporary practitioners, this book will delight students and practitioners of architectural and urban history, area and cultural studies, and lighting design professionals and the institutional and municipal authorities they serve. At a moment when the entire world is being reshaped by new lighting technologies and new design attitudes, the longer history of urban lighting remains fragmentary. Cities of Light aims to provide a global framework for historical studies of urban lighting and to offer a new perspective on the fast-moving developments of lighting today.

Long-lived giant number fluctuations in a swarming granular nematic

Coherently moving flocks of birds, beasts, or bacteria are examples of living matter with spontaneous orientational order. How do these systems differ from thermal equilibrium systems with such liquid crystalline order? Working with a fluidized monolayer of macroscopic rods in the nematic liquid crystalline phase, we find giant number fluctuations consistent with a standard deviation growing linearly with the mean, in contrast to any situation where the central limit theorem applies. These fluctuations are long-lived, decaying only as a logarithmic function of time. This shows that flocking, coherent motion, and large-scale inhomogeneity can appear in a system in which particles do not communicate except by contact.