Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

Error bounds for low-rank approximations of the first exponential integral kernel

A hierarchical matrix is an efficient data-sparse representation of a matrix, especially useful for large dimensional problems. It consists of low-rank subblocks leading to low memory requirements as well as inexpensive computational costs. In this work, we discuss the use of the hierarchical matrix technique in the numerical solution of a large scale eigenvalue problem arising from a finite rank discretization of an integral operator. The operator is of convolution type, it is defined through the first exponential-integral function and, hence, it is weakly singular. We develop analytical expressions for the approximate degenerate kernels and deduce error upper bounds for these approximations. Some computational results illustrating the efficiency and robustness of the approach are presented.

Palco: a multisensor realtime 3D cartoon production system

This paper presents Palco, a prototype system specifically designed for the production of 3D cartoon animations. The system addresses the specific problems of producing cartoon animations, where the main obj ective is not to reproduce realistic movements, but rather animate cartoon characters with predefined and characteristic body movements and facial expressions. The techniques employed in Palco are simple and easy to use, not requiring any invasive or complicated motion capture system, as both body motion and facial expression of actors are captured simultaneously, using an infrared motion detection sensor, a regular camera and a pair of electronically instrumented gloves. The animation process is completely actor-driven, with the actor controlling the character movements, gestures, facial expression and voice, all in realtime. The actor controlled cartoonification of the captured facial and body motion is a key functionality of Palco, and one that makes it specifically suited for the production of cartoon animations.

Modelos quantitativos de apoio as decisões: II

O sucesso da aplicação de técnicas de Análise das Decisões como apoio em problemas com um único objetivo predominante abriu caminho para estudos de problemas mais ambiciosos como os de decisões com multicritérios e decisões e de grupo (estes dois tipos utilizam metodologias muito semelhantes). Como evolução natural da Análise das Decisões, resultou a metodologia MAUT (Multi-Attribute Utility Theory). Seu rigorismo teórico torna as aplicações difíceis para um analista menos preparado. Como conseqüência, surgiu a metodologia AHP (Analytic Hierarchy Process) de utilização extremamente simples. A crítica ao AHP veio da escola européia que criou uma série de métodos conhecidos pela abreviação comum: MCDA (Multicriteria Decision Aid).

AN ANTI-MANAGEMENT STATEMENT IN DIALOGUE WITH CRITICAL BRAZILIAN AUTHORS

The expressions Management and Organization Studies and Management and Organization Knowledge are expressions of an Anglo-Saxon construct. The association of Organization Studies (OS) with Management (M) produces the subordination of the former to the latter. In a different direction, a critical approach elaborated in Brazilian OS provides an original body of knowledge that expresses an anti-management (A-M) attitude. As the Brazilian A-M authors point out, the distinction between North/South M is irrelevant; what is relevant is a coherent pluriversal A-M attitude. In this paper, we honor and disseminate the Brazilian original body of knowledge on OS and introduce an OS agenda that is liberated from M.

An investigation into support for restrictions on HIV carriers in the Chicago metropolitan area

An investigation into support for restrictions on people testing seropositive for HIV is reported on. Data were collected during telephone interviews with two-hundred adults aged eighteen to sixty-five in the Chicago metropolitan area. Using the analytic technique of LISREL, six models which attempt to explain support for restrictions were tested. It was found that the model best supported by the data indicates that two groups contribute to support for restrictions on HIV carriers - one due to intolerance of homosexuality and one to mistrust of public health officials regarding their control and management of the AIDS epidemic. The relevance of these findings for public health policy makers is discussed.

Increasing availability through maintainability growth using partial Multi Criteria Decision Making (pMCDM)

In the last decades considerations about equipments' availability became an important issue, as well as its dependence on components characteristics such as reliability and maintainability. This is particularly of outstanding importance if one is dealing with high risk industrial equipments, where these factors play an important and fundamental role in risk management when safety or huge economic values are in discussion. As availability is a function of reliability, maintainability, and maintenance support activities, the main goal is to improve one or more of these factors. This paper intends to show how maintainability can influence availability and present a methodology to select the most important attributes for maintainability using a partial Multi Criteria Decision Making (pMCDM). Improvements in maintainability can be analyzed assuming it as a probability related with a restore probability density function [g(t)].

Simple thermodynamics of jet engines

We use the first and second laws of thermodynamics to analyze the behavior of an ideal jet engine. Simple analytical expressions for the thermal efficiency, the overall efficiency, and the reduced thrust are derived. We show that the thermal efficiency depends only on the compression ratio r and on the velocity of the aircraft. The other two performance measures depend also on the ratio of the temperature at the turbine to the inlet temperature in the engine, T-3/T-i. An analysis of these expressions shows that it is not possible to choose an optimal set of values of r and T-3/T-i that maximize both the overall efficiency and thrust. We study how irreversibilities in the compressor and the turbine decrease the overall efficiency of jet engines and show that this effect is more pronounced for smaller T-3/T-i.

On differentiability and analyticity of positive definite functions

We derive a set of differential inequalities for positive definite functions based on previous results derived for positive definite kernels by purely algebraic methods. Our main results show that the global behavior of a smooth positive definite function is, to a large extent, determined solely by the sequence of even-order derivatives at the origin: if a single one of these vanishes then the function is constant; if they are all non-zero and satisfy a natural growth condition, the function is real-analytic and consequently extends holomorphically to a maximal horizontal strip of the complex plane.

Percolation of colloids with distinct interaction sites

We generalize the Flory-Stockmayer theory of percolation to a model of associating (patchy) colloids, which consists of hard spherical particles, having on their surfaces f short-ranged-attractive sites of m different types. These sites can form bonds between particles and thus promote self-assembly. It is shown that the percolation threshold is given in terms of the eigenvalues of a m x m matrix, which describes the recursive relations for the number of bonded particles on the ith level of a cluster with no loops; percolation occurs when the largest of these eigenvalues equals unity. Expressions for the probability that a particle is not bonded to the giant cluster, for the average cluster size and the average size of a cluster to which a randomly chosen particle belongs, are also derived. Explicit results for these quantities are computed for the case f = 3 and m = 2. We show how these structural properties are related to the thermodynamics of the associating system by regarding bond formation as a (equilibrium) chemical reaction. This solution of the percolation problem, combined with Wertheim's thermodynamic first-order perturbation theory, allows the investigation of the interplay between phase behavior and cluster formation for general models of patchy colloids.

Lógicas de acção na gestão intermédia das escolas : o caso do departamento curricular das expressões

O tema da investigação prende-se com a gestão intermédia das escolas, especificamente, o departamento curricular de expressões (DCEXP). Este estudo analisa as mudanças provocadas pelo novo modelo de estrutura intermédia estabelecido pelo DL nº 75/2008, de 22 de Abril, tendo em conta os vários modelos de agrupamento de escolas vigentes no actual sistema educativo. Procurou-se conhecer a perspectiva de directores, coordenadores de departamento de expressões e professores do mesmo departamento sobre os processos organizacionais e as lógicas de acção desenvolvidas. Para consolidar as múltiplas interrogações e o trajecto final assentar numa reflexão solidamente construída, o corpus teórico envolveu duas grandes temáticas: abordagem da escola como organização e o seu desenvolvimento no sistema educativo português. Em termos metodológicos, optou-se por um estudo qualitativo, com características exploratórias e descritivas. Para a recolha de dados, seleccionámos três agrupamentos de escolas de três concelhos limítrofes ao distrito de Lisboa (um agrupamento vertical, um agrupamento horizontal e um mega agrupamento). Os sujeitos participantes de cada agrupamento foram os directores, os coordenadores do departamento curricular de expressões, um professor do mesmo departamento com muita experiência profissional e um com menos experiência. Realizaram-se doze entrevistas semi-estruturadas, constituídas por um conjunto de questões formuladas a partir dos objectivos e organizadas em temas. Para analisar os dados, utilizámos a técnica de análise de conteúdo. A análise das representações dos diversos grupos de entrevistados permitiu vislumbrar que, apesar da aceitação das mudanças estabelecidas pelos normativos vigentes, as lógicas de acção mantêm-se centradas nas disciplinas de forma fragmentada, dificultando processos colaborativos interdisciplinares. A insatisfação em relação ao actual modelo é consensual em todos os grupos de entrevistados tendo presente a sua complexidade que resulta de aspectos relacionados com a sua dimensão e multidisciplinaridade. No entanto, também vislumbrámos aspectos potenciadores do DCEXP que o valorizam na organização escolar e no processo educativo dos alunos.

Contact angle of a hemispherical bubble: An analytical approach

We have calculated the equilibrium shape of the axially symmetric Plateau border along which a spherical bubble contacts a flat wall, by analytically integrating Laplace's equation in the presence of gravity, in the limit of small Plateau border sizes. This method has the advantage that it provides closed-form expressions for the positions and orientations of the Plateau border surfaces. Results are in very good overall agreement with those obtained from a numerical solution procedure, and are consistent with experimental data. In particular we find that the effect of gravity on Plateau border shape is relatively small for typical bubble sizes, leading to a widening of the Plateau border for sessile bubbles and to a narrowing for pendant bubbles. The contact angle of the bubble is found to depend even more weakly on gravity. (C) 2009 Elsevier Inc. All rights reserved.

Eastwards / westwards: which direction for gender studies in the 21st century?

Eastwards / Westwards: Which Direction for Gender Studies in the XXIst Century? is a collection of essays which focus on themes and methods that characterize current research into gender in Asian countries in general. In this collection, ideas derived from Gender Studies elsewhere in the world have been subjected to scrutiny for their utility in helping to describe and understand regional phenomena. But the concepts of Local and Global – with their discoursive productions – have not functioned as a binary opposition: localism and globalism are mutually constitutive and researchers have interrogated those spaces of interaction between the ‘self’ and the ‘other’, bearing in mind their own embeddedness in social and cultural structures and their own historical memory. Contributors to this collection provided a critical transnational perspective on some of the complex effects of the dynamics of cultural globalization, by exploring the relation between gender and development, language, historiography, education and culture. We have also given attention to the ideological and rhetorical processes through which gender identity is constructed, by comparing textual grids and patterns of expectation. Likewise, we have discussed the role of ethnography, anthropology, historiography, sociology, fiction, popular culture and colonial and post-colonial sources in (re)inventing old/new male/female identities, their conversion into concepts and circulation through time and space. This multicultural and trans-disciplinary selection of essays is totally written in English, fully edited and revised, therefore, it has a good potential for an immediate international circulation. This project may trace new paths and issues for discussion on what concerns the life, practices and narratives by and about women in Asia, as well as elsewhere in the present day global experience. Academic readership: Researchers, scholars, educators, graduate and post-graduate students, doctoral students and general non-fiction readers, with a special interest in Gender Studies, Asia, Colonial and Post-Colonial Literature, Anthropology, Cultural Studies, History, Historiography, Politics, Race, Feminism, Language, Linguistics, Power, Political and Feminist Agendas, Popular Culture, Education, Women’s Writing, Religion, Multiculturalism, Globalisation, Migration. Chapter summary: 1. “Social Gender Stereotypes and their Implication in Hindi”, Anjali Pande, Jawaharlal Nehru University, New Delhi, India. This essay looks at the subtle ways in which gender identities are constructed and reinforced in India through social norms of language use. Language itself becomes a medium for perpetuating gender stereotypes, forcing its speakers to confirm to socially defined gender roles. Using examples from a classroom discussion about a film, this essay will highlight the underlying rigid male-female stereotypes in Indian society with their more obvious expressions in language. For the urban woman in India globalisation meant increased economic equality and exposure to changed lifestyles. On an individual level it also meant redefining gender relations and changing the hierarchy in man-­woman relationships. With the economic independence there is a heightened sense of liberation in all spheres of social life, a confidence to fuzz the rigid boundaries of gender roles. With the new films and media celebrating this liberated woman, who is ready to assert her sexual needs, who is ready to explode those long held notions of morality, one would expect that the changes are not just superficial. But as it soon became obvious in the course of a classroom discussion about relationships and stereotypes related to age, the surface changes can not become part of the common vocabulary, for the obvious reason that there is still a vast gap between the screen image of this new woman and the ground reality. Social considerations define the limits of this assertiveness of women, whereas men are happy to be liberal within the larger frame of social sanctions. The educated urban woman in India speaks in favour of change and the educated urban male supports her, but one just needs to scratch the surface to see the time tested formulae of gender roles firmly in place. The way the urban woman happily balances this emerging promise of independence with her gendered social identity, makes it necessary to rethink some aspects of looking at gender in a gradually changing, traditional society like India. 2. “The Linguistic Dimension of Gender Equality”, Alissa Tolstokorova, Kiev Centre for Gender Information and Education, Ukraine. The subject-matter of this essay is gender justice in language which, as I argue, may be achieved through the development of a gender-related approach to linguistic human rights. The last decades of the 20th century, globally marked by a “gender shift” in attitudes to language policy, gave impetus to the social movement for promoting linguistic gender equality. It was initiated in Western Europe and nowadays is moving eastwards, as ideas of gender democracy progress into developing countries. But, while in western societies gender discrimination through language, or linguistic sexism, was an issue of concern for over three decades, in developing countries efforts to promote gender justice in language are only in their infancy. My argument is that to promote gender justice in language internationally it is necessary to acknowledge the rights of women and men to equal representation of their gender in language and speech and, therefore, raise a question of linguistic rights of the sexes. My understanding is that the adoption of the Universal Declaration of Linguistic Rights in 1996 provided this opportunity to address the problem of gender justice in language as a human rights issue, specifically as a gender dimension of linguistic human rights. 3. “The Rebirth of an Old Language: Issues of Gender Equality in Kazakhstan”, Maria Helena Guimarães, Polytechnic Institute of Porto, Portugal. The existing language situation in Kazakhstan, while peaceful, is not without some tension. We propose to analyze here some questions we consider relevant in the frame of cultural globalization and gender equality, such as: free from Russian imperialism, could Kazakhstan become an easy prey of Turkey’s “imperialist dream”? Could these traditionally Muslim people be soon facing the end of religious tolerance and gender equality, becoming this new old language an easy instrument for the infiltration in the country of fundamentalism (it has already crossed the boarders of Uzbekistan), leading to a gradual deterioration of its rich multicultural relations? The present structure of the language is still very fragile: there are three main dialects and many academics defend the re-introduction of the Latin alphabet, thus enlarging the possibility of cultural “contamination” by making the transmission of fundamentalist ideas still easier through neighbour countries like Azerbaijan, Uzbekistan and Turkmenistan (their languages belong to the same sub-group of Common Turkic), where the Latin alphabet is already in use, and where the ground for such ideas shown itself very fruitful. 4. “Construction of Womanhood in the Bengali Language of Bangladesh”, Raasheed Mahmood; University of New South Wales, Sydney. The present essay attempts to explore the role of gender-based language differences and of certain markers that reveal the status accorded to women in Bangladesh. Discrimination against women, in its various forms, is endemic in communities and countries around the world, cutting across class, race, age, and religious and national boundaries. One cannot understand the problems of gender discrimination solely by referring to the relationship of power or authority between men and women. Rather one needs to consider the problem by relating it to the specific social formation in which the image of masculinity and femininity is constructed and reconstructed. Following such line of reasoning this essay will examine the nature of gender bias in the Bengali language of Bangladesh, holding the conviction that as a product of social reality language reflects the socio-cultural behaviour of the community who speaks it. This essay will also attempt to shed some light on the processes through which gender based language differences produce actual consequences for women, who become exposed to low self-esteem, depression and systematic exclusion from public discourse. 5. “Marriage in China as an expression of a changing society”, Elisabetta Rosado David, University of Porto, Portugal, and Università Ca’Foscari, Venezia, Italy. In 29 April 2001, the new Marriage Law was promulgated in China. The first law on marriage was proclaimed in 1950 with the objective of freeing women from the feudal matrimonial system. With the second law, in 1981, values and conditions that had been distorted by the Cultural Revolution were recovered. Twenty years later, a new reform was started, intending to update marriage in the view of the social and cultural changes that occurred with Deng Xiaoping’s “open policy”. But the legal reform is only the starting point for this case-study. The rituals that are followed in the wedding ceremony are often hard to understand and very difficult to standardize, especially because China is a vast country, densely populated and characterized by several ethnic minorities. Two key words emerge from this issue: syncretism and continuity. On this basis, we can understand tradition in a better way, and analyse whether or not marriage, as every social manifestation, has evolved in harmony with Chinese culture. 6. “The Other Woman in the Portuguese Colonial Empire: The Case of Portuguese India”, Maria de Deus Manso, University of Évora, Portugal. This essay researches the social, cultural and symbolic history of local women in the Portuguese Indian colonial enclaves. The normative Portuguese overseas history has not paid any attention to the “indigenous” female populations in colonial Portuguese territories, albeit the large social importance of these social segments largely used in matrimonial and even catholic missionary strategies. The first attempt to open fresh windows in the history of this new field was the publication of Charles Boxer’s referential study about Women in lberian Overseas Expansion, edited in Portugal only after the Revolution of 1975. After this research we can only quote some other fragmentary efforts. In fact, research about the social, cultural, religious, political and symbolic situation of women in the Portuguese colonial territories, from the XVI to the XX century, is still a minor historiographic field. In this essay we discuss this problem and we study colonial representations of women in the Portuguese Indian enclaves, mainly in the territory of Goa, using case studies methodologies. 7. “Heading East this Time: Critical Readings on Gender in Southeast Asia”, Clara Sarmento, Polytechnic Institute of Porto, Portugal. This essay intends to discuss some critical readings of fictional and theoretical texts on gender condition in Southeast Asian countries. Nowadays, many texts about women in Southeast Asia apply concepts of power in unusual areas. Traditional forms of gender hegemony have been replaced by other powerful, if somewhat more covert, forms. We will discuss some universal values concerning conventional female roles as well as the strategies used to recognize women in political fields traditionally characterized by male dominance. Female empowerment will mean different things at different times in history, as a result of culture, local geography and individual circumstances. Empowerment needs to be perceived as an individual attitude, but it also has to be facilitated at the macro­level by society and the State. Gender is very much at the heart of all these dynamics, strongly related to specificities of historical, cultural, ethnic and class situatedness, requiring an interdisciplinary transnational approach.

Conceptual model for decomposing the value for the customer

Value has been defined in different theoretical contexts as need, desire, interest, standard /criteria, beliefs, attitudes, and preferences. The creation of value is key to any business, and any business activity is about exchanging some tangible and/or intangible good or service and having its value accepted and rewarded by customers or clients, either inside the enterprise or collaborative network or outside. “Perhaps surprising then is that firms often do not know how to define value, or how to measure it” (Anderson and Narus, 1998 cited by [1]). Woodruff echoed that we need “richer customer value theory” for providing an “important tool for locking onto the critical things that managers need to know”. In addition, he emphasized, “we need customer value theory that delves deeply into customer’s world of product use in their situations” [2]. In this sense, we proposed and validated a novel “Conceptual Model for Decomposing the Value for the Customer”. To this end, we were aware that time has a direct impact on customer perceived value, and the suppliers’ and customers’ perceptions change from the pre-purchase to the post-purchase phases, causing some uncertainty and doubts.We wanted to break down value into all its components, as well as every built and used assets (both endogenous and/or exogenous perspectives). This component analysis was then transposed into a mathematical formulation using the Fuzzy Analytic Hierarchy Process (AHP), so that the uncertainty and vagueness of value perceptions could be embedded in this model that relates used and built assets in the tangible and intangible deliverable exchange among the involved parties, with their actual value perceptions.

Estudo electromiográfico do conflito sub-acromial

Objectivo: estudar a actividade muscular no complexo articular do ombro e tronco durante o serviço e a sua relação com o Conflito Sub-Acromial. Metodologia: estudo observacional, analítico, transversal. Amostra de 15 atletas de voleibol distribuídas em 3 grupos e avaliadas através de electromiografia de superfície em músculos do ombro e do tronco. Foi avaliada a percentagem de activação muscular nas diferentes fases do serviço. Resultados: aumento de actividade do Trapézio Superior e Infraespinhoso e diminuição do Recto Abdominal e Oblíquo Externo no grupo com Conflito Sub-Acromial. Conclusão: existem diferenças significativas nas atletas com e sem Conflito Sub-Acromial.