Dominant role of the Cu---O charge-transfer energy, electronic polarizability and associated factors in the superconductivity of cuprates

Although it is believed that there is strong hybridization between the Cu(3d) and O(2p) orbitals in the layered cuprates and that the parent compounds such as La2CuO4 are charge-transfer gap insulators, very few models consider the Cu---O charge-transfer energy, Δ, or the hybridization strength, tpd, to be the important factors responsible for the superconductivity of these materials. Based on the crucial experimental observation that the relative intensity of the features in Cu(2p) photoemission of several families of cuprates varies systematically with the hole concentration, nh, we have been able to show that both these properties vary smoothly with Δ /tpd. More importantly, we show that the electronic polarizability of the CuO2 sheets, α , is sufficiently large to favour hole pairing and that the value α also depends on Δ/tpd. Both nh and α increase smoothly with decreasing Δ /tpd. Considering that the maximum Tc in the various cuprate families containing the same number of CuO2 sheets occurs around the same nh value (e.g., nh≈ 0.2 in cuprates with two CuO2 sheets). The present study demonstrates how Δ /tpd, α and such chemical bonding characteristics have an important bearing on the superconducting properties of the cuprates.

A Shared European History? Perceptions of Imperialism and Islam in Matriculation Examination Essays and History Textbooks

The European Union (EU) is faced with a continuous decrease in public support. There is a tension between the growing Euroscepticism and the concurrent academic discourse of a shared European identity. Informed and inspired by the current debates, this Master’s Thesis investigates the potential of a shared past to create shared identity. It also addresses the logic of cultural exclusion that is often connected to collective cultural identities. The source material is a combination of exam essays, written as answers to the history tests in the Finnish matriculation examinations of 2005-2008, and upper secondary school history textbooks. From the sources, current perceptions of Islam (as Europe’s Other) and the age of imperialism (as a debated period from Europe’s past) among the youth are studied. Through the analysis the thesis aims to indicate the level of consensus within the pupils’ identification with the past and with Europe. This objective is pursued through examining the pupils’ perceptions of Europe’s past and its relationship to non-European cultures and countries as they are manifested in the essays, and reflecting upon the level of influence that history textbooks as representatives of national hegemonic historical narratives might have on the contents, framings and emphases with and through which the pupils approach, imagine, and reproduce Europe’s past. The approach is based on previous research on the presence of history and the field of textbook research. The theoretical categories with which the sources are analyzed are derived primarily from literature on identity, European integration, history and memory, postcolonial criticism, and theorizations of European identity. Results of the research project suggest that the rhetoric of European superiority, despite its apparent demise, still resonates in contemporary understandings of Europeanness. Dominant perceptions of imperialism comprise of European agency and colonial submission, dominant perceptions of the Islamic world of fundamental difference. Identification with European history among the Finnish youth is rather shallow when examined through perceptions of imperialism; the Islamic world is perceived as Other and its representations are dominated by recent and contemporary international relations.

A Hub System for Cloud-Computing Based Business-Collaboration: Automating Ontology-Enabled Electronic Business-Service Discovery

The management and coordination of business-process collaboration experiences changes because of globalization, specialization, and innovation. Service-oriented computing (SOC) is a means towards businessprocess automation and recently, many industry standards emerged to become part of the service-oriented architecture (SOA) stack. In a globalized world, organizations face new challenges for setting up and carrying out collaborations in semi-automating ecosystems for business services. For being efficient and effective, many companies express their services electronically in what we term business-process as a service (BPaaS). Companies then source BPaaS on the fly from third parties if they are not able to create all service-value inhouse because of reasons such as lack of reasoures, lack of know-how, cost- and time-reduction needs. Thus, a need emerges for BPaaS-HUBs that not only store service offers and requests together with information about their issuing organizations and assigned owners, but that also allow an evaluation of trust and reputation in an anonymized electronic service marketplace. In this paper, we analyze the requirements, design architecture and system behavior of such a BPaaS-HUB to enable a fast setup and enactment of business-process collaboration. Moving into a cloud-computing setting, the results of this paper allow system designers to quickly evaluate which services they need for instantiationg the BPaaS-HUB architecture. Furthermore, the results also show what the protocol of a backbone service bus is that allows a communication between services that implement the BPaaS-HUB. Finally, the paper analyzes where an instantiation must assign additional computing resources vor the avoidance of performance bottlenecks.

Unraveling the helix of change : An activity-theoretical study of health care change efforts and their consequences

M.A. (Educ.) Anu Kajamaa from the University of Helsinki, Center for Research on Activity, Development and Learning (CRADLE), examines change efforts and their consequences in health care in the public sector. The aim of her academic dissertation is, by providing a new conceptual framework, to widen our understanding of organizational change efforts and their consequences and managerial challenges. Despite the multiple change efforts, the results of health care development projects have not been very promising, and many developmental needs and managerial challenges exist. The study challenges the predominant, well-framed health care change paradigm and calls for an expanded view to explore the underlying issues and multiplicities of change efforts and their consequences. The study asks what kind of expanded conceptual framework is needed to better understand organizational change as transcending currently dominant oppositions in management thinking, specifically in the field of health care. The study includes five explorative case studies of health care change efforts and their consequences in Finland. Theory and practice are tightly interconnected in the study. The methodology of the study integrates the ethnography of organizational change, a narrative approach and cultural-historical activity theory. From the stance of activity theory, historicity, contradictions, locality and employee participation play significant roles in developing health care. The empirical data of the study has mainly been collected in two projects, funded by the Finnish Work Environment Fund. The data was collected in public sector health care organizations during the years 2004-2010. By exploring the oppositions between distinct views on organizational change and the multi-site, multi-level and multi-logic of organizational change, the study develops an expanded, multidimensional activity-theoretical framework on organizational change and management thinking. The findings of the study contribute to activity theory and organization studies, and provide information for health care management and practitioners. The study illuminates that continuous development efforts bridged to one another and anchored to collectively created new activity models can lead to significant improvements and organizational learning in health care. The study presents such expansive learning processes. The ways of conducting change efforts in organizations play a critical role in the creation of collective new practices and tools and in establishing ownership over them. Some of the studied change efforts were discontinuous or encapsulated, not benefiting the larger whole. The study shows that the stagnation and unexpected consequences of change efforts relate to the unconnectedness of the different organizational sites, levels and logics. If not dealt with, the unintended consequences such as obstacles, breaks and conflicts may stem promising change and learning processes.

A new Fuzzy-LOGIC based Model for Chlorophyll-a in Pulicat Lagoon, India

Coastal lagoons are complex ecosystems exhibiting a high degree of non-linearity in the distribution and exchange of nutrients dissolved in the water column due to their spatio-temporal characteristics. This factor has a direct influence on the concentrations of chlorophyll-a, an indicator of the primary productivity in the water bodies as lakes and lagoons. Moreover the seasonal variability in the characteristics of large-scale basins further contributes to the uncertainties in the data on the physico-chemical and biological characteristics of the lagoons. Considering the above, modelling the distributions of the nutrients with respect to the chlorophyll-concentrations, hence requires an effective approach which will appropriately account for the non-linearity of the ecosystem as well as the uncertainties in the available data. In the present investigation, fuzzy logic was used to develop a new model of the primary production for Pulicat lagoon, Southeast coast of India. Multiple regression analysis revealed that the concentrations of chlorophyll-a in the lagoon was highly influenced by the dissolved concentrations of nitrate, nitrites and phosphorous to different extents over different seasons and years. A high degree of agreement was obtained between the actual field values and those predicted by the new fuzzy model (d = 0.881 to 0.788) for the years 2005 and 2006, illustrating the efficiency of the model in predicting the values of chlorophyll-a in the lagoon.

Adaptive Keeper Design for Dynamic Logic Circuits Using Rate Sensing Technique

The increasing variability in device leakage has made the design of keepers for wide OR structures a challenging task. The conventional feedback keepers (CONV) can no longer improve the performance of wide dynamic gates for the future technologies. In this paper, we propose an adaptive keeper technique called rate sensing keeper (RSK) that enables faster switching and tracks the variation across different process corners. It can switch upto 1.9x faster (for 20 legs) than CONV and can scale upto 32 legs as against 20 legs for CONV in a 130-nm 1.2-V process. The delay tracking is within 8% across the different process corners. We demonstrate the circuit operation of RSK using a 32 x 8 register file implemented in an industrial 130-nm 1.2-V CMOS process. The performance of individual dynamic logic gates are also evaluated on chip for various keeper techniques. We show that the RSK technique gives superior performance compared to the other alternatives such as Conditional Keeper (CKP) and current mirror-based keeper (LCR).

Precarious Pregnancies : Alcohol, drugs and the regulation of risks

Since the 1970s alcohol and drug use by pregnant women has become a target of political, professional and personal concern. The present study focuses on prenatal substance use and the regulation of risks by examining different kinds of societal responses to prenatal alcohol and drug use. The study analyses face-to-face encounters between professionals and service users at a specialised maternity clinic for pregnant women with substance abuse problems, medical and political discourses on the compulsory treatment of pregnant women as a means of FAS prevention and official recommendations on alcohol intake during pregnancy. Moreover, the study addresses the women s perspective by asking how women who have used illicit drugs during pregnancy perceive and rank the dangers linked to drug use. The study consists of five empirical sub-studies and a summary article. Sub-study I was written in collaboration with Dorte Hecksher and Sub-study IV with Riikka Perälä. Theoretically the study builds on the one hand, on the socio-cultural approach to the selection and perception of risks and on the other on governmentality studies which focus on the use of power in contemporary Western societies. The study is based on an ethnographic approach and makes use of the principles of multi-sited ethnography. The empirical sub-studies are based on three different types of qualitative data: ethnographic field notes from a maternity clinic from a period of 7 months, documentary material (medical journals, political documents, health education materials, government reports) and 3) interviews from maternity clinics with clients and members of staff. The study demonstrates that the logic of the regulation of prenatal alcohol use in Finland is characterised by the rise of the foetus , a process in which the urgency of protecting the foetus has gradually gained a more prominent role in the discourses on alcohol-related foetal damage. An increasing unwillingness to accept any kinds of risks when foetal health is at stake is manifested in the public debate on the compulsory treatment of pregnant women with alcohol problems and in the health authorities decision to advise pregnant women to refrain from alcohol use during pregnancy (Sub-studies I and II). Secondly, the study suggests that maternity care professionals have an ambivalent role in their mundane encounters with their pregnant clients: on the one hand professionals focus on the well-being of the foetus, but on the other, they need to take into account the women s needs and agency. The professionals daily encounters with their clients are thus characterised by hybridisation: the simultaneous use of technologies of domination and technologies of agency (Sub-studies III and IV). Finally, the study draws attention to the women s understanding of the risks of illicit drug during pregnancy, and shows that the women s understanding of risk differs from the bio-medical view. The study suggests that when drug-using pregnant women seek professional help they can feel that their moral worth is threatened by professionals negative attitudes which can make service-use challenging.

A Case Study in Matching Service Descriptions to Implementations in an Existing System

A number of companies are trying to migrate large monolithic software systems to Service Oriented Architectures. A common approach to do this is to first identify and describe desired services (i.e., create a model), and then to locate portions of code within the existing system that implement the described services. In this paper we describe a detailed case study we undertook to match a model to an open-source business application. We describe the systematic methodology we used, the results of the exercise, as well as several observations that throw light on the nature of this problem. We also suggest and validate heuristics that are likely to be useful in partially automating the process of matching service descriptions to implementations.

A survey of indian logic from the point of view of computer science

Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas) of Indian philosophy, namely, Nyaya and Vaisesika. The generally accepted definition of Indian logic over the ages is the science which ascertains valid knowledge either by means of six senses or by means of the five members of the syllogism. In other words, perception and inference constitute the subject matter of logic. The science of logic evolved in India through three ages: the ancient, the medieval and the modern, spanning almost thirty centuries. Advances in Computer Science, in particular, in Artificial Intelligence have got researchers in these areas interested in the basic problems of language, logic and cognition in the past three decades. In the 1980s, Artificial Intelligence has evolved into knowledge-based and intelligent system design, and the knowledge base and inference engine have become standard subsystems of an intelligent system. One of the important issues in the design of such systems is knowledge acquisition from humans who are experts in a branch of learning (such as medicine or law) and transferring that knowledge to a computing system. The second important issue in such systems is the validation of the knowledge base of the system i.e. ensuring that the knowledge is complete and consistent. It is in this context that comparative study of Indian logic with recent theories of logic, language and knowledge engineering will help the computer scientist understand the deeper implications of the terms and concepts he is currently using and attempting to develop.

Automatic verification of distributed logic specifications

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

On the optimality of exhaustive service policies in multiclass queueing systems with modulated arrivals and switchovers

Consider a single-server multiclass queueing system with K classes where the individual queues are fed by K-correlated interrupted Poisson streams generated in the states of a K-state stationary modulating Markov chain. The service times for all the classes are drawn independently from the same distribution. There is a setup time (and/or a setup cost) incurred whenever the server switches from one queue to another. It is required to minimize the sum of discounted inventory and setup costs over an infinite horizon. We provide sufficient conditions under which exhaustive service policies are optimal. We then present some simulation results for a two-class queueing system to show that exhaustive, threshold policies outperform non-exhaustive policies.

Combinatorial logic synthesis using technology directed decomposition

The aim of logic synthesis is to produce circuits which satisfy the given boolean function while meeting timing constraints and requiring the minimum silicon area. Logic synthesis involves two steps namely logic decomposition and technology mapping. Existing methods treat the two as separate operation. The traditional approach is to minimize the number of literals without considering the target technology during the decomposition phase. The decomposed expressions are then mapped on to the target technology to optimize the area, Timing optimization is carried out subsequently, A new approach which treats logic decomposition and technology maping as a single operation is presented. The logic decomposition is based on the parameters of the target technology. The area and timing optimization is carried out during logic decomposition phase itself. Results using MCNC circuits are presented to show that this method produces circuits which are 38% faster while requiring 14% increase in area.