Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Genesis of quantum nonlocality

We revisit the problem of an otherwise classical particle immersed in the zero-point radiation field, with the purpose of tracing the origin of the nonlocality characteristic of Schrodinger`s equation. The Fokker-Planck-type equation in the particles phase-space leads to an infinite hierarchy of equations in configuration space. In the radiationless limit the first two equations decouple from the rest. The first is the continuity equation: the second one, for the particle flux, contains a nonlocal term due to the momentum fluctuations impressed by the field. These equations are shown to lead to Schrodinger`s equation. Nonlocality (obtained here for the one-particle system) appears thus as a property of the description, not of Nature. (C) 2011 Elsevier B.V. All rights reserved.

Scalar form factors and nuclear interactions

The scalar-isoscalar term in the two-pion exchange NN potential is abnormally large and does not respect the hierarchy of effects predicted by chiral perturbation theory. We argue that this anomaly is associated with non-perturbative effects, which are also present in the pi N scalar form factor.

The spectrum of an open vertex model based on the U(q)[SU(2)] algebra at roots of unity

We study the exact solution of an N-state vertex model based on the representation of the U(q)[SU(2)] algebra at roots of unity with diagonal open boundaries. We find that the respective reflection equation provides us one general class of diagonal K-matrices having one free-parameter. We determine the eigenvalues of the double-row transfer matrix and the respective Bethe ansatz equation within the algebraic Bethe ansatz framework. The structure of the Bethe ansatz equation combine a pseudomomenta function depending on a free-parameter with scattering phase-shifts that are fixed by the roots of unity and boundary variables. (C) 2010 Elsevier B.V. All rights reserved.

Trigger and aperture of the surface detector array of the Pierre Auger Observatory

The surface detector array of the Pierre Auger Observatory consists of 1600 water-Cherenkov detectors, for the study of extensive air showers (EAS) generated by ultra-high-energy cosmic rays. We describe the trigger hierarchy, from the identification of candidate showers at the level of a single detector, amongst a large background (mainly random single cosmic ray muons), up to the selection of real events and the rejection of random coincidences. Such trigger makes the surface detector array fully efficient for the detection of EAS with energy above 3 x 10(18) eV, for all zenith angles between 0 degrees and 60 degrees, independently of the position of the impact point and of the mass of the primary particle. In these range of energies and angles, the exposure of the surface array can be determined purely on the basis of the geometrical acceptance. (C) 2009 Elsevier B.V. All rights reserved.

Metabolic oxidative stress elicited by the copper(II) complex [Cu(isaepy)(2)] triggers apoptosis in SH-SY5Y cells through the induction of the AMP-activated protein kinase/p38(MAPK)/p53 signalling axis: evidence for a combined use with 3-bromopyruvate in neuroblastoma treatment

We have demonstrated previously that the complex bis[(2-oxindol-3-ylimino)-2-(2-aminoethyl)pyridine-N,N`]copper(II), named [Cu(isaepy)(2)], induces AMPK (AMP-activated protein kinase)-dependent/p53-mediated apoptosis in tumour cells by targeting mitochondria. In the present study, we found that p38(MAPK) (p38 mitogen-activated protein kinase) is the molecular link in the phosphorylation cascade connecting AMPK to p53. Transfection of SH-SY5Y cells with a dominant-negative mutant of AMPK resulted in a decrease in apoptosis and a significant reduction in phospho-active p38(MAPK) and p53. Similarly, reverse genetics of p38(MAPK) yielded a reduction in p53 and a decrease in the extent of apoptosis, confirming an exclusive hierarchy of activation that proceeds via AMPK/p38(MAPK)/p53. Fuel supplies counteracted [Cu(isaepy)(2)]-induced apoptosis and AMPK/p38(MAPK)/p53 activation, with glucose being the most effective, suggesting a role for energetic imbalance in [Cu(isaepy)(2)] toxicity. Co-administration of 3BrPA (3-bromopyruvate), a well-known inhibitor of glycolysis, and succinate dehydrogenase, enhanced apoptosis and AMPK/p38(MAPK)/p53 signalling pathway activation. Under these conditions, no toxic effect was observed in SOD (superoxide dismutase)-overexpressing SH-SY5Y cells or in PCNs (primary cortical neurons), which are, conversely, sensitized to the combined treatment with [Cu(isaepy)(2)] and 3BrPA only if grown in low-glucose medium or incubated with the glucose-6-phosphate dehydrogenase inhibitor dehydroepiandrosterone. Overall, the results suggest that NADPH deriving from the pentose phosphate pathway contributes to PCN resistance to [Cu(isaepy)(2)] toxicity and propose its employment in combination with 3BrPA as possible tool for cancer treatment.

Kinesiska affärsetableringar i Sverige : Kartläggning över områden som förbättrar chanserna att lyckas

Aim and starting point: The aim of the Bachelor thesis is to examine and define the paramount knowledge Chinese businessmen need in order to succeed with their establishment in Sweden. The authors also seek to answer what incentives attract Chinese businessmen to come to Sweden, as well as how Chinese establishments in Sweden can be predicted to appear in the future. Results/conclusions: The study outlines key areas in which Chinese businessmen should have knowledge in order to succeed with their establishment in Sweden. The results also gives an indication on how Chinese business establishments in Sweden will appear in the future, into which areas the Chinese mainly invest/establish in, as well as why and how these are done. On the basis of this material the authors generate proposals for educational packages which among others can be sold to Chinese businessmen. Knowledge overview: Here relevant theory connected to the area of study is presented. The knowledge overview presents the Swedish in relation to the Chinese perspective in areas such as: culture, hierarchy, relations, Face, communication, HRM, education, CSR and labour law. The knowledge overview can itself contribute to fostering an understanding of differences between Sweden and China. Method: The area of research has been accessed by a combination of methods. The study is both deductive and explorative. The main channel of information and data collection are in-depth interviews which are used as a deductive starting point, an expert investigation and as a Grounded Theory. As a complement the authors have also conducted a delphi study in which an expert panel answered questions concerning the future of Chinese establishments in Sweden. The deductive and explorative parts have been analyzed individually and have each generated a conclusion. These conclusions have then been interwoven in a synthesis that highlights and creates new knowledge.

Does road network density matter in optimally locating facilities?

Optimal location on the transport infrastructure is the preferable requirement for many decision making processes. Most studies have focused on evaluating performances of optimally locate p facilities by minimizing their distances to a geographically distributed demand (n) when p and n vary. The optimal locations are also sensitive to geographical context such as road network, especially when they are asymmetrically distributed in the plane. The influence of alternating road network density is however not a very well-studied problem especially when it is applied in a real world context. This paper aims to investigate how the density level of the road network affects finding optimal location by solving the specific case of p-median location problem. A denser network is found needed when a higher number of facilities are to locate. The best solution will not always be obtained in the most detailed network but in a middle density level. The solutions do not further improve or improve insignificantly as the density exceeds 12,000 nodes, some solutions even deteriorate. The hierarchy of the different densities of network can be used according to location and transportation purposes and increase the efficiency of heuristic methods. The method in this study can be applied to other location-allocation problem in transportation analysis where the road network density can be differentiated. 

English-medium instruction in Sweden : Perspectives and practices in two upper secondary schools

This thesis presents English-medium instruction (EMI) in the Swedish context, focusing on perspectives and practices in two schools. The research question is as follows: How and why is EMI offered, chosen, and practiced in the Swedish upper secondary school today? The aim is to explore the status of the educational option, the reasons for offering EMI to stakeholders, the stakeholders’ beliefs about and goals of EMI, and the implementation of EMI in the classroom. A survey of all upper secondary schools in Sweden was conducted to ascertain the spread of content teaching through a foreign language. The educational context was studied from an ecological perspective using methods based in linguistic ethnography. Language alternation, academic language, and language hierarchy were all considered. Interviews were analysed for content; and classroom language use was analysed for language choice and function. The concepts of affordance and scaffolding together with translanguaging were key. The de facto policies of the micro contexts of the schools were examined in light of the declared national policy of the macro context of Sweden. The results indicate that the option in Swedish schools has not increased, and also tends to only be EMI—not Content and Language Integrated Learning (CLIL) or instruction through other languages. EMI is offered for prestige, an international profile, marketing potential and personal interest. EMI students are academically motivated and confident, and see the option as “fun”. 100% EMI in the lessons is not the goal or the practice. Translanguaging is abundant, but how language alternation is perceived as an affordance or not differs in the two schools. One focuses on how the languages are used while the other focuses on how much each language is used. In conclusion, the analysis suggests that a development of definitions and practices of EMI in Sweden is needed, especially in relation to language policy and language hierarchy.

Geoprocessing journey-to-work data : delineating commuting regions in Dalarna, Sweden

Delineation of commuting regions has always been based on statistical units, often municipalities or wards. However, using these units has certain disadvantages as their land areas differ considerably. Much information is lost in the larger spatial base units and distortions in self-containment values, the main criterion in rule-based delineation procedures, occur. Alternatively, one can start from relatively small standard size units such as hexagons. In this way, much greater detail in spatial patterns is obtained. In this paper, regions are built by means of intrazonal maximization (Intramax) on the basis of hexagons. The use of geoprocessing tools, specifically developed for the processing ofcommuting data, speeds up processing time considerably. The results of the Intramax analysis are evaluated with travel-to-work area constraints, and comparisons are made with commuting fields, accessibility to employment, commuting flow density and network commuting flow size. From selected steps in the regionalization process, a hierarchy of nested commuting regions emerges, revealing the complexity of commuting patterns.

"Vox Populi, Vox Dei" - A Discussion of Dissent Within the Modern Catholic Church

The final question is: what happens in the meantime? Is it effective to dissent while conservatives hold power and clearty are not about to make any major changes? What good does it do to repeatedly bang one's head against the wall when progress is not being made? There is no one simple answer to this question, but rather several applicable ones. The first possible answer is that dissent currently does little good. The conservative hierarchy is still the dominant force within Catholicism. This hierarchy has made a habit, evidenced by the birth control debate, of pressing its conservative agenda despite popular opposition. Many people think, that if this hierarchy has not given in to the mass of opinion against it yet, dissent is futile and useless. Why argue with someone who does not listen to your argument?

Scriptural Archeology: Excavating the Presence of Women in the Torah

Women's roles in religious history have been traditionally described in terms of their relation and value to men. The normative religious texts provide an androcentric perspective on the gender relationships within the early community, the growth of Judaism in "Jacob's House" and the monotheistic worship of God. Yet these literary representations omit an entire half of the experience of the Jewish community: the perspective and participation of women. As Judith Plaskow argues extensively in Standing Again at Sinai, women are defined not in her own terms or in her own voice, but by her relationship and value to men through the androcentric vocabulary of the Torah. This statement is textually illustrated by the authorial and editorial presentation of women and their place in ancient Israelite society in the Torah. As Judaism grew increasingly androcentric in its leadership, women were increasingly reduced to marginal figures in the community by authorial and editorial revisions. Yet the participation of women of ancient Israel is not lost. Instead, the presence of women is buried beneath the androcentric presentation of the early Judaic community, waiting to be excavated by historical and scriptural examination. The retelling of the past is influenced by the present; memory is not static but takes on different shapes depending on the focus of concentration. However, tradition greatly influences the interpretation of religious history as well. In the book of Genesis, the literature emphasizes the divine appointment of male figures such as Abraham the father of the covenant and Jacob who is renamed and claimed by God as "Israel," placing them at the center of Jewish history. As a result, the other figures in these biblical narratives are described in relation to the patriarchs, those male bearers of the covenant, by their service or their value to him. Women are at the bottom of this hierarchy. Although female figures of exceptional quality are noted in later chronicles, such as Ruth, Deborah and Miriam, it is the very nature of their exception that highlights the androcentric editorial focus of the Torah. I agree with Peggy Day, whose own scriptural examination in Gender and Difference in Ancient Israel, makes the important distinction between the literary representation and the reality of ancient Israelite culture: they are not coextensive nor equivalent. Although the text represents the culture of ancient Israel as male dominated from the time of Abraham, this presentation omits the perspective of half of the population-the women. By beginning at the point of realization that women did exist and were active in their culture, and placing aside the androcentric perspective of the text and its editors, the reality of women's place in ancient Israel may be determined. Through this new perspective, the women of the Torah will emerge as the archetypes of strength, leadership and spiritual insight to provide Jewish women of the present with female, ancestral role models and a foundation for their gender's heritage, a more complete understanding of the partial record of Jewish history recorded in the Torah. Those stories that appear as the exception of women's presence will unveil an exceptional presence. As Tamar Frankiel eloquently states in The Voice of Sarah, "the women we call our 'Mothers'-Sarah, Rivkah (Rebekah), Rachel, and Leah-are not merely mothers, any more than the 'Fathers'-Abraham, Isaac and Jacob-are merely fathers "(Frankiel 5).

The Cultural Construction of the Maine Sporting Camps

Maine sporting camps were a cultural and social phenomenon of the urban upper and middle class. They originated in Maine in the late 1870s and early 1880s and reached their zenith around the turn of the century with over 160 in operation in eight of the sixteen counties in Maine in 1906. The period from 1880 until World War I can be considered the 'golden era' of the Maine sporting camps. After the war, with technological advancements such as the outboard motor, the proliferation of the automobile, and the introduction of a road system into rural Maine, the camps underwent significant change that warrants an entirely different cultural analysis. A number of elements came together to produce a cultural atmosphere permissive of sporting camp creation in Maine. These include changing national views upon nature, health, sport and the leisure time in which to pursue them. In the late nineteenth century, with the rise of large industrially based cities, overcrowding fostered crime and disease. An upper and middle class emerged that desired escape and separation from the lower classes. Maine was chosen for such an escape because it offered, through sporting camps, a chance to "get back to nature," by pursuing the healthful activities of hunting and fishing. At the same time these urban sportsmen and sportswomen distinguished themselves on the social Hierarchical scale from the rural inhabitants. What happened in rural Maine during the period between 1880 and World War I was the introduction of a new cultural order on the landscape. Coming primarily from urban centers on the East Coast of the United States were men, women and children who looked to Maine for vacations. These vacations were designed to put them in touch with nature by pursuing healthful activities, especially those of fishing and hunting. Coming from an environment that emphasized social standing, they ensured that these trips would perpetuate this hierarchy. They experienced nature through the Maine sporting camps, which provided them with the services and skills necessary to experience it while enjoying a degree of luxury that they were accustomed to in the urban world. The Maine sporting camps were a cultural manifestation of the urban upper and middle class, the groups that the camps were established to serve. Despite this the camps did not represent a structural duplication of urban society. Instead, the camps represented a cultural construction that was produced by interaction between members of two different conceptual and physical worlds, the blending of which, on a social level, was determined by urban mentality and rural knowledge. In the production of a cultural world meaningful to the clients, the rural world of the Maine woods was altered to meet their needs. It was not a one-sided process, however, as the clients were forced to acknowledge the importance of the rural inhabitants on the basis of their value to the clients.

Parcelamento do solo, a necessidade de uniformizar alguns padrões de projetos das vias urbanas

Este trabalho faz uma análise da legislação sobre o parcelamento do solo nas diferentes instâncias de Governo. São analisadas as diversidades e contradições das leis municipais de parcelamento do solo de onze prefeituras estrategicamente distribuídas no Estado. A análise foca em particular o tratamento da hierarquia viária; as dimensões dos gabaritos viários; as rampas empregadas; o comprimento máximo dos quarteirões nos loteamentos residenciais em função da testada mínima dos lotes e a concordância vertical nas interseções. São analisados também os requisitos técnicos de projeto geométrico de vias urbanas estabelecidas por Órgãos federais e estaduais. A revisão bibliográfica aborda questões fundamentais na urbanização tais como os pedestres, as interseções e a capacidade das vias urbanas, com o propósito de sustentar a proposição de alterações nos requisitos técnicos preconizados pelas legislações sobre o parcelamento do solo urbano. Suprindo lacuna constatada na legislação municipal sobre o parcelamento do solo e, fundamentado em simulação gráfica com veículo de transporte coletivo urbano, o trabalho apresenta tabela com sugestões para o tratamento de curvas verticais nas interseções das vias urbanas nos loteamentos. Com as informações obtidas da análise da legislação, na pesquisa bibliográfica e dos requisitos técnicos constantes nas normas conhecidas, propõe-se dimensões para vias urbanas, comprimento ideal para quarteirões residenciais, valores de taxas de declividade urbana e formas de executar-se a concordância destas rampas nas interseções. Com os valores planimétricos sugeridos fez-se um parcelamento em gleba fictícia e comparou-se os resultados com outros loteamentos projetados na mesma gleba utilizando-se as prescrições das leis municipais estudadas.