Gender Divisions and Gender Policies in Top Finnish Corporations

The expansion of transnational corporations is a fundamental part of contemporary globalising processes. Through their activities, transnational corporations also have impacts on national and cultural gender relations, thus highlighting that gender relations are indeed amenable, to some extent, to social change. Accordingly, large transnational corporations have many effects and implications for gender relations in society, as well as having their own gender relations within them, characteristically in the form of men’s far greater presence in management than women’s. A key aspect in the functioning of transnational corporations is thus the way they organise and restructure gender relations within their own activities. The research presented here on gender divisions and gender policies in largest Finnish multinational and national corporations is part of a longer-term examination of the relations of gender relations in transnational corporations. It sets out the results of a survey of the largest 100 Finnish corporations with regard to the following main kinds of question: · general information on the corporation’s size, sector and economic activities; · the gender composition of their employment, middle management, top management, and board; · their gender equality plans and related policies. The human resources manager or their equivalent or delegate of 62 corporations responded to the survey. The general analysis of the data obtained from the survey is presented in this research report. Special attention is given to relations between the gender divisions and the gender policies of corporations. Interpretations of the data and more general theoretical implications are discussed in the report, with special attention to theoretical ways forward.

Organisation Carescapes: Researching Organisations, Work and Care

This working paper develops an approach to the analysis of care as it is evident in the policies and practices of employing organisations. We identify how notions of care are incorporated in myriad and multi-faceted ways that may support, survey and control workers, as well as having implications for employers, managers, employees and workers. Aspects of care can be found in a range of statutory duties, policies and related activities, including: health and safety, equality and diversity, parental leave, religious observance, bullying and harassment, personal development, voluntary redundancy, early retirement, employer pension schemes, grievance procedures, and dismissal. The conceptual framework of organisation carescapes is offered as an aid to the analysis of employee policies and services. These policies and services are transformed by shifts in supranational and national policies such as European Union (EU) economic strategies and national legislation on disability rights legislation, age discrimination and flexible working, and changes in labour market competitiveness. In conclusion, we consider how the framework of organisation carescapes is informing research design in our and our colleagues’ ongoing programme of research.

Networks, Organisations and Men: Concepts and Interrelations

Research on men’s networks and homosociality in and around organisations can produce knowledge on organisational power relations, and contribute to the efforts to promote equality in working life. The search for a conceptual framework to study these issues arises in this paper from my ongoing work on men's social networks and gendered power in and around organisations. Men give each other social support through networks in which formal and informal relationships intermingle, but networks are also contexts of competition and oppression, and of construction of masculinities that are in hierarchical relations with each other and with femininities. For studying the networks men have with each other in work organisations I suggest a broader starting point that contextualises these homosocial networks with men’s other personal relations, and integrates different perspectives deriving from social network analysis, critical studies on men and organisational studies.

Managers Talk about Gender: What Managers in Large Transnational Corporations Say about Gender Policies, Structures and Practices

Mainstream research on management generally continues to ignore gender relations. Even so, over recent years there has been a major growth of international research on gender relations in organizations. Yet, most of this has focused on gender relations in lower or middle levels rather than at the apex of the organization. This book draws on research on gender policies, structures and practices of management in large Finnish corporations. It builds on earlier survey work of gender policies in the 100 largest corporations in Finland, to examine, through qualitative interviews, more detailed gendered processes in seven selected corporations. These represent corporations that are ‘relatively active’, ‘moderately active’, and ‘not active’ in relation to gender equality. Key issues include contrasts between formal policies and organizational practices; different corporate contexts and individual managers’ views; definition and scope of gender policy; and the relation of gender policies and diversity policy. This focus on gender policies is understood and located within organizational structures, most obviously gendered corporate hierarchies. Important structures include national context in relation to transnationalization, relations of headquarters and subsidiaries, and interrelations of management, policy development and policy implementation. Gender relations in practice and gender practices are considered in more detail. These women and men managers operate at the intersections of gendered transnational managerial work, careers and family-type relations, including marriage and children, or lack thereof. Women and men managers may be part of the same management levels or management teams, but have totally different family-type situations and gendered experiences. Interconnections of management, domestic life and transnationalizations are intensely gendered matters. The debate on the public/private continues to be important for both gender relations and organizational relations, but complicated through transnationalizations. The modern transnational corporation is considered in terms of gender divisions and gender power, with particular reference to top management. The concluding discussion notes implications for research and policy.

Ihmisoikeuskasvatus lukiossa — outoa ja itsestään selvää

Human Rights Education in a Finnish Upper Secondary School: Alien Yet Obvious This study focused on conceptions of human rights and human rights education (HRE) among students and teachers. I examined how human rights and HRE are understood by the students and teachers in one general upper secondary school located in southern Finland. I also examined teacher and student discourses about foreigners and immigrants. In the theoretical part of the study I dealt with the history of human rights, the different emphases in HRE and how HRE is handled within the curriculum of upper secondary schools in Finland. In the empirical part of the study I examined HRE in one particular general upper secondary school located in southern Finland where I carried out 28 student interviews and 18 teacher interviews. The study is based on qualitative theme interviews, which I analysed using qualitative content analysis. The aims of HRE as specified in UN documents on education seem not to have been achieved in the Finnish context. The students' knowledge of human rights seemed weak and very limited. Few teachers were familiar with the concept of human rights education. The concept of human rights was also unclear to many of the students. Freedom of speech was the most well-known and the most often-cited human right mentioned in the interviews. Students were not well acquainted with the different human rights instruments or the organisations dealing with human rights. In a way, human rights were both familiar and strange to the students. Materials related to HRE were used very little in the school or not at all. Yet human rights seemed to be very well implemented in the institution. The upper secondary school studied here does not seem to have substantial problems with equality among either the teachers or the students. In the interviews human rights problems were often considered someone else's problem in some other country. The teachers and students connected HRE especially with religious education, history and social studies. Human dignity is mostly dealt with in religious education, while matters concerning the history of human rights are mostly dealt with in history classes. Teachers appear to be human rights educators in the sense that they try to follow human rights principles in their daily work and respect the human dignity of everyone. The special role of a human rights educator was usually assigned to someone else — a teacher or an expert outside the school. HRE was not an intentional or conscious part of teachers´ educational work and was not seen either as belonging to the curriculum or as an obligation prescribed by international documents. There is a need to strengthen the presence of HRE in teacher education. HRE plays an important role in creating a culture of human rights. It is important to implement HRE so that the international aims for HRE will be fulfilled.

Distributed nonlinear optimization algorithms for general network problems

There are a number of large networks which occur in many problems dealing with the flow of power, communication signals, water, gas, transportable goods, etc. Both design and planning of these networks involve optimization problems. The first part of this paper introduces the common characteristics of a nonlinear network (the network may be linear, the objective function may be non linear, or both may be nonlinear). The second part develops a mathematical model trying to put together some important constraints based on the abstraction for a general network. The third part deals with solution procedures; it converts the network to a matrix based system of equations, gives the characteristics of the matrix and suggests two solution procedures, one of them being a new one. The fourth part handles spatially distributed networks and evolves a number of decomposition techniques so that we can solve the problem with the help of a distributed computer system. Algorithms for parallel processors and spatially distributed systems have been described.There are a number of common features that pertain to networks. A network consists of a set of nodes and arcs. In addition at every node, there is a possibility of an input (like power, water, message, goods etc) or an output or none. Normally, the network equations describe the flows amoungst nodes through the arcs. These network equations couple variables associated with nodes. Invariably, variables pertaining to arcs are constants; the result required will be flows through the arcs. To solve the normal base problem, we are given input flows at nodes, output flows at nodes and certain physical constraints on other variables at nodes and we should find out the flows through the network (variables at nodes will be referred to as across variables).The optimization problem involves in selecting inputs at nodes so as to optimise an objective function; the objective may be a cost function based on the inputs to be minimised or a loss function or an efficiency function. The above mathematical model can be solved using Lagrange Multiplier technique since the equalities are strong compared to inequalities. The Lagrange multiplier technique divides the solution procedure into two stages per iteration. Stage one calculates the problem variables % and stage two the multipliers lambda. It is shown that the Jacobian matrix used in stage one (for solving a nonlinear system of necessary conditions) occurs in the stage two also.A second solution procedure has also been imbedded into the first one. This is called total residue approach. It changes the equality constraints so that we can get faster convergence of the iterations.Both solution procedures are found to coverge in 3 to 7 iterations for a sample network.The availability of distributed computer systems — both LAN and WAN — suggest the need for algorithms to solve the optimization problems. Two types of algorithms have been proposed — one based on the physics of the network and the other on the property of the Jacobian matrix. Three algorithms have been deviced, one of them for the local area case. These algorithms are called as regional distributed algorithm, hierarchical regional distributed algorithm (both using the physics properties of the network), and locally distributed algorithm (a multiprocessor based approach with a local area network configuration). The approach used was to define an algorithm that is faster and uses minimum communications. These algorithms are found to converge at the same rate as the non distributed (unitary) case.

Evil Gods and Reckless Saviours : Adaptation and Appropriation in Late Twentieth Century Jesus-Novels

Late twentieth century Jesus-novels search after a completely new picture of Jesus. Novels written for instance by Norman Mailer, José Saramago, Michèle Roberts, Marianne Fredriksson, and Ki Longfellow provide an inversive revision of the canonic Gospels. They read the New Testament in terms of the present age. In their adaptation the story turns often into a critique of the whole Christian history. The investigated contrast-novels end up with an appropriation that is based on prototypical rewriting. They aim at the rehabilitation of Judas, and some of them make Mary Magdalane the key figure of Christianity. Saramago describes God as a blood thirsty tyrant, and Mailer makes God combat with the Devil in a manichean sense as with an equal. Such ideas are familiar both from poststructuralist philosophy and post-metaphysical death-of-God theology. The main result of the intertextual analysis is that these scholars have adopted Nietzschean ideas in their writing. Quite unlike earlier Jesus-novels, these more recent novels present a revision that produces discontinuity with the original source text, the New Testament. The intertextual strategy is based on contradiction. The reader wittnesses contesting and challenging, the authors attack Biblical beliefs and attempt to dissolve Christian doctrines. An attack on Biblical slave morality and violent concept of God deprives Jesus of his Jewish Messianic identity, makes Old Testament law a contradiction of life, calls sacrificial soteriology a violent pattern supporting oppression, and presents God as a cruel monster who enslaves people under his commandments and wishes their death. The new Jesus-figure contests Mosaic Law, despises orthodox Judaism, abandons Jewish customs and even questions Old Testament monotheism. In result, the novels intentionally transfer Jesus out of Judaism. Furthermore, Jewish faith appears in a negative light. Such an intertextual move is not open anti-Semitism but it cannot avoid attacking Jewish worship. Why? One reason that explains these attitudes is that Western culture still carries anti-Judaic attitudes beneath the surface covered with sentiments of equality and tolerance. Despite the evident post-holocaust consciousness present in the novels, they actually adopt an arrogant and ironical refutation of Jewish beliefs and Old Testament faith. In these novels, Jesus is made a complete opposite and antithesis to Judaism. Key words: Jesus-novel, intertextuality, adaptation, slave morality, Nietzsche, theodicy, patriarchy.

"Ei sitä ainakaan helpommaksi tehdä sairaan opiskelijan elämää" : Pitkäaikaissairaiden kokemuksia korkeakoulutuksen esteistä ja mahdollisuuksista

This study examines the experiences of students with chronic illnesses in higher education. I chose to study rheumatic and other musculoskeletal diseases because they are group of diseases that are nationally significant in Finland. From students experiences I do interpretation of their agency. My research problems are: What kind of obstacles and possibilities student with chronic illness experiences in studying? What kind of obstacles illness set up for the agency or does it set any? How agency of student with chronic illness shows in the context of the university? I collected the data by using interview and focus group method. Additionally I had different kinds of documents of accessibility and equality in the university. Interviews were like halfstructured theme and open interviews. Focus group method I have applied. All the people that participated in the study were students from the university of Helsinki. They all have rheumatic or other musculoskeletal diseases. I have five interviewees and the group consisted of two people and the researcher. In the data analysis I use categorizing by the themes. Students that participated in my study spoke about their pain related experiences of their illness which also connected to their experiences of the higher education. Students agencies were limited the more they experienced pain. Pain forces students to certain activity one actions avoidance and another s favouring. If part-time studying would have been possible economically, it would have made the life easier for a part of the students. Students were aware of the available resources of their body for some of the students illness and life control set challenge and for some it set conditions. Students thought that university education is more possible to them than vocational education. Students didn t feel their own body limited in the context of university that emphasize intellectual and knowledge connected values and some of the students had reversed their illness as a resource of studying. However students felt their illness as a private matter and they considered illness profit and disadvantage before telling about it, which I interpretated limiting students agencies. In the university terms of students agencies were bond to individuality that came up in positive and negative. Freedom of studying was positive but official and individual study accommodations made agency bounded. Majority of the students didn t see possibilities to do differently in the university s practice but some of the students had recognised values underneath the practices that made it possible to reflect them, do differently and made space for agency.

Valkolakki vai haalarit, vaiko molemmat : Koulutuspolitiikan vaikuttajien näkemykset toisen asteen kehityksestä

In the present research Finnish education policy-makers describe the transformation in upper secondary education in the 1990s. They answered questions related to equality and all-round education. The timeline of the research extends from the early development of the welfare state and equality policy to the 2000s. Its focus is on upper secondary education, which, in this paper, denotes general upper secondary education and vocational upper secondary education. The chronological analysis proceeds from the education committee of 1971 up to the youth education experiment of the 1990s. The voices of the then policy-makers are heard in this research. They were the ones who planned the reforms and/or made the decisions. This being the case, the interviewees include cabinet ministers, permanent secretaries, representatives of organisations and the research community as well as civil servants. The research material can be construed as contextual interpretations of the past, influenced by both the times and places where the narrations were given. The persons interviewed described their experiences and views on education policy. In their narratives they illustrated the transformation that occurred in relation to equality and all-round education. The narrative interviews painted a picture of the upper secondary education transformation and the matriculation examination as having a slowing effect on education policy reforms. It was not until the 1990s when the said examination began to make a difference to students in vocational upper secondary education Those interviewed named the persons who, in their opinion, had the most say in Finnish education policy. This list comprised a small circle of people who more or less agreed on the grand values of education policy, i.e. all-round education and equality. Only a small minority represented a radical view of equality, being true believers in universal upper secondary education implemented in accordance with comprehensive school reform. Finnish education policy was led from the perspective of traditional conception of equality from the 1970s to the 1980s. The transformation finally occurred in the 1990s when equality was understood to mean individual needs and the right to choose. As was the case with matriculation education, the insistence on all-round education also hampered the development of universal upper secondary education. The interviews revealed that any attempts to increase the academic syllabus of vocational education caused organisations as well as other policy-makers to oppose such development well into the 1980s. It was not until the youth education experiment of the 1990s that vocational education finally carved a path to higher education, when the polytechnic schools were made permanent. Three principal groups of key players emerged in the research: ministers of education, civil servants and organisations. The research showed that the ministers and civil servant education policy-makers of the 1990s also included only handful women. The circle of policy-makers was small and represented similar schools of thought. In the 1970s era of government committees, representatives of organisations actively participated in education policy. When the committee establishment was discontinued, this eliminated lobbying venues for the organisations. Nonetheless, the organisations regained their policymaking status in the 1990s. New lobbying organisations included the Finnish Entrepreneurs and the Union of Finnish Upper Secondary School Students. However, in contrast to the 1970s, only rarely would individuals rise from the ranks of organisations to the cadre of policy-makers. The interviewees had a twofold view of neo-liberalism Contrary to other policy-makers, representatives of the research community and organisations concur that neo-liberalism did exist in education policy decision-making in the 1990s.

The Liminality of Cosmopolitanism from the Global South – Transnational Activists in Costa Rica between Colonial Legacies and Decolonial Attitudes

The Master’s thesis examines whether and how decolonial cosmopolitanism is empirically traceable in the attitudes and practices of Costa Rican activists working in transnational advocacy organizations. Decolonial cosmopolitanism is defined as a form of cosmopolitanism from below that aims to propose ways of imagining – and putting into practice – a truly globe-encompassing civic community not based on relations of domination but on horizontal dialogue. This concept has been developed by and shares its basic presumptions with the theory on coloniality that the modernity/coloniality/decoloniality research group is putting forward. It is analyzed whether and how the workings of coloniality as underlying ontological assumption of decolonial cosmopolitanism and broadly subsumable under the three logics of race, capitalism, and knowledge, are traceable in intermediate postcolonial transnational advocacy in Costa Rica. The method of analysis chosen to approach these questions is content analysis, which is used for the analysis of qualitative semi-structured in-depth interviews with Costa Rican activists working in advocacy organizations with transnational ties. Costa Rica was chosen as it – while unquestionably a Latin American postcolonial country and thus within the geo-political context in which the concept was developed – introduces a complex setting of socio-cultural and political factors that put the explanatory potential of the concept to the test. The research group applies the term ‘coloniality’ to describe how the social, political, economic, and epistemic relations developed during the colonization of the Americas order global relations and sustain Western domination still today through what is called the logic of coloniality. It also takes these processes as point of departure for imagining how counter-hegemonic contestations can be achieved through the linking of local struggles to a global community that is based on pluriversality. The issues that have been chosen as most relevant expressions of the logic of coloniality in the context of Costa Rican transnational advocacy and that are thus empirically scrutinized are national identity as ‘white’ exceptional nation with gender equality (racism), the neoliberalization of advocacy in the Global South (capitalism), and finally Eurocentrism, but also transnational civil society networks as first step in decolonizing civic activism (epistemic domination). The findings of this thesis show that the various ways in which activists adopt practices and outlooks stemming from the center in order to empower themselves and their constituencies, but also how their particular geo-political position affects their work, cannot be reduced to one single logic of coloniality. Nonetheless, the aspects of race, gender, capitalism and epistemic hegemony do undeniably affect activist cosmopolitan attitudes and transnational practices. While the premisses on which the concept of decolonial cosmopolitanism is based suffer from some analytical drawbacks, its importance is seen in its ability to take as point of departure the concrete spaces in which situated social relations develop. It thus allows for perceiving the increasing interconnectedness between different levels of social and political organizing as contributing to cosmopolitan visions combining local situatedness with global community as normative horizon that have not only influenced academic debate, but also political projects.

Trafficking in human beings and Foucauldian biopower : A case study in the expansion of the human rights phenomenon

Trafficking in human beings has become one of the most talked about criminal concerns of the 21st century. But this is not all that it has become. Trafficking has also been declared as one of the most pressing human rights issues of our time. In this sense, it has become a part of the expansion of the human rights phenomenon. Although it is easy to see that the crime of trafficking violates several of the human rights of its victims, it is still, in its essence, a fairly conventional although particularly heinous and often transnational crime, consisting of acts between private actors, and lacking, therefore, the vertical effect associated traditionally with human rights violations. This thesis asks, then, why, and how, has the anti-trafficking campaign been translated in human rights language. And even more fundamentally: in light of the critical, theoretical studies surrounding the expansion of the human rights phenomenon, especially that of Costas Douzinas, who has declared that we have come to the end of human rights as a consequence of the expansion and bureaucratization of the phenomenon, can human rights actually bring salvation to the victims of trafficking? The thesis demonstrates that the translation process of the anti-trafficking campaign into human rights language has been a complicated process involving various actors, including scholars, feminist NGOs, local activists and global human rights NGOs. It has also been driven by a complicated web of interests, the most prevalent one the sincere will to help the victims having become entangled with other aims, such as political, economical, and structural goals. As a consequence of its fragmented background, the human rights approach to trafficking seeks still its final form, consisting of several different claims. After an assessment of these claims from a legal perspective, this thesis concludes that the approach is most relevant regarding the mistreatment of victims of trafficking in the hands of state authorities. It seems to be quite common that authorities have trouble identifying the victims of trafficking, which means that the rights granted to themin international and national documents are not realized in practice, but victims of trafficking are systematically deported as illegal immigrants. It is argued that in order to understand the measures of the authorities, and to assess the usefulness of human rights, it is necessary to adopt a Foucauldian perspective and to observe the measures as biopolitical defence mechanisms. From a biopolitical perspective, the victims of trafficking can be seen as a threat to the population a threat that must be eliminated either by assimilating them to the main population with the help of disciplinary techniques, or by excluding them completely from the society. This biopolitical aim is accomplished through an impenetrable net of seemingly insignificant practices and discourses that not even the participants are aware of. As a result of these practices and discourses, trafficking victims only very few of fit the myth of the perfect victim, produced by biopolitical discourses become invisible and therefore subject to deportation as (risky) illegal immigrants, turning them into bare life in the Agambenian sense, represented by the homo sacer, who cannot be sacrificed, yet does not enjoy the protection of the society and its laws. It is argued, following Jacques Rancière and Slavoj i ek, that human rights can, through their universality and formal equality, provide bare life the tools to formulate political claims and therefore utilize their politicization through their exclusion to return to the sphere of power and politics. Even though human rights have inevitably become entangled with biopolitical practices, they are still perhaps the most efficient way to challenge biopower. Human rights have not, therefore, become useless for the victims of trafficking, but they must be conceived as a universal tool to formulate political claims and challenge power .In the case of trafficking this means that human rights must be utilized to constantly renegotiate the borders of the problematic concept of victim of trafficking created by international instruments, policies and discourses, including those that are sincerely aimed to provide help for the victims.

An Analysis of the Concept of Citizenship: Legal, Political and Social Dimensions

The thesis aims at analyzing concept of citizenship in political philosophy. The concept of citizenship is a complex one: it does not have a definitive explication, but it nevertheless is a very important category in contemporary world. Citizenship is a powerful ideal, and often the way a person is treated depends on whether he or she has the status of a citizen. Citizenship includes protection of a person’s rights both at home and abroad. It entails legal, political and social dimension: the legal status as a full member of society, the recognition of that status by fellow citizens and acting as a member of society. The thesis discusses these three dimensions. Its objective is to show how all of them, despite being insufficient in some aspects, reach something important about the concept. The main sources of the thesis are Civic Republicanism by Iseult Honohan (Routledge 2002), Republicanism by Philip Pettit (Clarendon Press 1997), and Taking Rights Seriously by Ronald Dworkin (1997). In addition, the historical part of the thesis relies mainly on the works of Aristotle, Immanuel Kant, Adam Smith, Quentin Skinner, James Pocock and James Tully. The writings of Will Kymlicka, John Rawls, Chantal Mouffe, and Shane Phelan are referred to in the presentation and critique of the liberal tradition of thought. Hannah Arendt and Seyla Benhabib’s analysis of Arendt’s philosophy both address the problematic relations between human rights and nation-states as the main guarantors of rights. The chapter on group rights relies on Peter Jones’ account of corporate and collective rights, after which I continue to Seumas Miller’s essay on the (liberal) account of group rights and their relation to the concept of citizenship. Republicanism and Political Theory (2002) edited by Cécile Laborde and John Maynor is also references. David Miller and Maurizio Viroli represent the more “rooted” version of republicanism. The thesis argues that the full concept of citizenship should be seen as containing legal, political and social dimensions. The concept can be viewed from all of these three angles. The first means that citizenship is connected with certain rights, like the right to vote or stand for election, the right to property and so on. In most societies, the law guarantees these rights to every citizen. Then there is also the social dimension, which can be said to be as important as the legal one: the recognition of equality and identities of others. Finally, there is the political dimension, meaning the importance of citizens’ participation in the society, which is discussed in connection with the contemporary account of republicanism. All these issues are discussed from the point of view of groups demanding for group-specific rights and equal recognition. The challenge with these three aspects of citizenship is, however, that they are difficult to discuss under one heading. Different theories or discourses of citizenship each approach the subject from different starting points, which make reconciling them sometimes hard. The fundamental questions theories try to answer may differ radically depending on the theory. Nevertheless, in order to get the whole image of what the citizenship discourses are about all the aspects deserve to be taken into account.

On Walkup's class K (d) and a minimal triangulation of (S-3 (sic) S-1)(#3)

For d >= 2, Walkup's class K (d) consists of the d-dimensional simplicial complexes all whose vertex-links are stacked (d - 1)-spheres. Kalai showed that for d >= 4, all connected members of K (d) are obtained from stacked d-spheres by finitely many elementary handle additions. According to a result of Walkup, the face vector of any triangulated 4-manifold X with Euler characteristic chi satisfies f(1) >= 5f(0) - 15/2 chi, with equality only for X is an element of K(4). Kuhnel observed that this implies f(0)(f(0) - 11) >= -15 chi, with equality only for 2-neighborly members of K(4). Kuhnel also asked if there is a triangulated 4-manifold with f(0) = 15, chi = -4 (attaining equality in his lower bound). In this paper, guided by Kalai's theorem, we show that indeed there is such a triangulation. It triangulates the connected sum of three copies of the twisted sphere product S-3 (sic) S-1. Because of Kuhnel's inequality, the given triangulation of this manifold is a vertex-minimal triangulation. By a recent result of Effenberger, the triangulation constructed here is tight. Apart from the neighborly 2-manifolds and the infinite family of (2d + 3)-vertex sphere products Sd-1 X S-1 (twisted for d odd), only fourteen tight triangulated manifolds were known so far. The present construction yields a new member of this sporadic family. We also present a self-contained proof of Kalai's result. (C) 2011 Elsevier B.V. All rights reserved.

Executable Analysis using Abstract Interpretation with Circular Linear Progressions

We propose a new abstract domain for static analysis of executable code. Concrete states are abstracted using circular linear progressions (CLPs). CLPs model computations using a finite word length as is seen in any real life processor. The finite abstraction allows handling overflow scenarios in a natural and straight-forward manner. Abstract transfer functions have been defined for a wide range of operations which makes this domain easily applicable for analyzing code for a wide range of ISAs. CLPs combine the scalability of interval domains with the discreteness of linear congruence domains. We also present a novel, lightweight method to track linear equality relations between static objects that is used by the analysis to improve precision. The analysis is efficient, the total space and time overhead being quadratic in the number of static objects being tracked.

Real-time monitoring of critical nodes with minimal number of Phasor Measurement Units

This paper presents a method for placement of Phasor Measurement Units, ensuring the monitoring of vulnerable buses which are obtained based on transient stability analysis of the overall system. Real-time monitoring of phase angles across different nodes, which indicates the proximity to instability, the very purpose will be well defined if the PMUs are placed at buses which are more vulnerable. The issue is to identify the key buses where the PMUs should be placed when the transient stability prediction is taken into account considering various disturbances. Integer Linear Programming technique with equality and inequality constraints is used to find out the optimal placement set with key buses identified from transient stability analysis. Results on IEEE-14 bus system are presented to illustrate the proposed approach.