Racial Conflict in the United States of America : A Deconstructive Perspective on Native Speaker by Changrae Lee

Written about the time of the Golden Venture incident, Chang-rae Lee’s Native Speaker makes a particular reference to that incident, whereby implying that particular immigrants, on the grounds of their racial identities, are mistreated and considered as aliens by some Americas. While some whites discriminate against immigrants, there is widespread ethnic tension between Korean Americans and African Americans. Significantly, racial conflict between Koreans and blacks and the racist attitude of some whites toward immigrants are mirrored in the relationship between the Korean-American protagonist Henry and his American wife Lelia. That is, due to their different racial identities they do not understand each other and they always argue. However, toward the end of the novel, Henry and Lelia come to understand each other. While ethnic conflict between Koreans and blacks and certain whites’ discriminatory attitudes toward immigrants is serious one, the novel suggests the unimportance of racial identity. In other words, the novel concludes that there is no discriminatory treatment of immigrants and, in fact, every one is a native Speaker in America. In the novel there is no message of how racial conflict could be resolved. However, this essay suggests that by investigating how the tension between Henry and Lelia is resolved, one could suggest a solution for the ethnicity problem in America and in real life.

Stranger in a Strange Land: The struggle for cultural and personal identity in Haruki Murakami's Hard-Boiled Wonderland and the End of the World

In order to explicate Murakami's version of the official culture, I have analyzed the novel with the works of several different theorists. Primarily, I drew my own understanding of the official culture from Raymond Williams's examination of culture in Marxism and Literature. His terminology became helpful in writing about the operation of the System and the Town, though it did not define that operation precisely. Williams's work also introduced me to the theory behind the official culture's manipulation and exclusion of historical aspects in order to create their "official" version of history, from which the official culture draws its identity. For further analysis of the treatment of history, I turned to Friedrich Nietzsche's On the Advantage and Disadvantage of History for Life. Though it examines the official culture's manipulation of history in a much more in-depth manner, it seems to have influenced Murakami's treatment of individual memories and cultural histories. For instance, the herd ofunicoms in the End of the World resembles Nietzsche's description of the ''unhistorical herd," or has the potential to resemble it. With these theories I was able to access the mechanisms of cultural control that Murakami depicts in the form of the System and the Town, and from there I was able to develop a model for how the narrator struggles to subvert that control. Both sides of that struggle are depicted and re-imagined many times throughout Hard-Boiled Wonderland and the End of the World.

Verification Of The Standard Vector Data Model For Interoperability Of River-Geospatial Information

Recently, two international standard organizations, ISO and OGC, have done the work of standardization for GIS. Current standardization work for providing interoperability among GIS DB focuses on the design of open interfaces. But, this work has not considered procedures and methods for designing river geospatial data. Eventually, river geospatial data has its own model. When we share the data by open interface among heterogeneous GIS DB, differences between models result in the loss of information. In this study a plan was suggested both to respond to these changes in the information envirnment and to provide a future Smart River-based river information service by understanding the current state of river geospatial data model, improving, redesigning the database. Therefore, primary and foreign key, which can distinguish attribute information and entity linkages, were redefined to increase the usability. Database construction of attribute information and entity relationship diagram have been newly redefined to redesign linkages among tables from the perspective of a river standard database. In addition, this study was undertaken to expand the current supplier-oriented operating system to a demand-oriented operating system by establishing an efficient management of river-related information and a utilization system, capable of adapting to the changes of a river management paradigm.

In search of academic identity : physical education, sport science and the field of human movement studies

This thesis addresses the problem of the academic identity of the area traditionally referred to as physical education. The study is a critical examination of the argu ments for the justi cation of this area as an autonomous branch of knowledge. The investigation concentrates on a selected number of arguments. The data collection comprised articles books and proceedings of conferences. The preliminary assessment of these materials resulted in a classi cation of the arguments into three groups. The rst group comprises the arguments in favour of physical education as an academic discipline. The second includes the arguments supporting a science of sport. The third consists of the arguments in favour of to a eld of human movement study. The examination of these arguments produced the following results. (a) The area of physical education does not satisfy the conditions presupposed by the de nition of academic discipline. This is so because the area does not form an integrated system of scienti c theories. (b) The same di culty emerges from the examination of the ar guments for sport science. There is no science of sport because there is no integrated system of scienti c theories related to sport. (c) The arguments in favour of a eld of study yielded more productive results. However di culties arise from the de nition of human movement. The analysis of this concept showed that its limits are not well demarcated. This makes it problematic to take human movement as the focus of a eld of studies. These aspects led to the conclusion that such things as an academic discipline of physical education sport science and eld of human movement studies do not exist. At least there are not such things in the sense of autonomous branches of knowledge. This does not imply that a more integrated inquiry based on several disciplines is not possible and desirable. This would enable someone entering phys ical education to nd a more organised structure of knowledge with some generally accepted problem situations procedures and theories on which to base professional practice.

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

The right to an identity: birth registration in Latin America and the Caribbean

A disturbing token of child and adolescent vulnerability in Latin America and the Caribbean is that so many are deprived of any legal identity by failure to report their birth. This bars them from exercising basic citizen rights and can hinder their access to productive employment, social benefits and the justice system and deny them recognition as full citizens and the right to well-being, capacity development and political participation.

Distributed Hybrid Agent Based Intrusion Detection and Real Time Response System

Wireless LANs are growing rapidly and security has always been a concern. We have implemented a hybrid system, which will not only detect active attacks like identity theft causing denial of service attacks, but will also detect the usage of access point discovery tools. The system responds in real time by sending out an alert to the network administrator.

Tomotherapy dose distribution verification using MAGIC-f polymer gel dosimetry

Purpose: This paper presents the application of MAGIC-f gel in a three-dimensional dose distribution measurement and its ability to accurately measure the dose distribution from a tomotherapy unit. Methods: A prostate intensity-modulated radiation therapy (IMRT) irradiation was simulated in the gel phantom and the treatment was delivered by a TomoTherapy equipment. Dose distribution was evaluated by the R2 distribution measured in magnetic resonance imaging. Results: A high similarity was found by overlapping of isodoses of the dose distribution measured with the gel and expected by the treatment planning system (TPS). Another analysis was done by comparing the relative absorbed dose profiles in the measured and in the expected dose distributions extracted along indicated lines of the volume and the results were also in agreement. The gamma index analysis was also applied to the data and a high pass rate was achieved (88.4% for analysis using 3%/3 mm and of 96.5% using 4%/4 mm). The real three-dimensional analysis compared the dose-volume histograms measured for the planning volumes and expected by the treatment planning, being the results also in good agreement by the overlapping of the curves. Conclusions: These results show that MAGIC-f gel is a promise for tridimensional dose distribution measurements. (C) 2012 American Association of Physicists in Medicine. [http://dx.doi.org/10.1118/1.4704496]

Reference model for implementing an MRP system in a highly diverse component and seasonal lean production environment

Companies are currently choosing to integrate logics and systems to achieve better solutions. These combinations also include companies striving to join the logic of material requirement planning (MRP) system with the systems of lean production. The purpose of this article was to design an MRP as part of the implementation of an enterprise resource planning (ERP) in a company that produces agricultural implements, which has used the lean production system since 1998. This proposal is based on the innovation theory, theory networks, lean production systems, ERP systems and the hybrid production systems, which use both components and MRP systems, as concepts of lean production systems. The analytical approach of innovation networks enables verification of the links and relationships among the companies and departments of the same corporation. The analysis begins with the MRP implementation project carried out in a Brazilian metallurgical company and follows through the operationalisation of the MRP project, until its production stabilisation. The main point is that the MRP system should help the company's operations with regard to its effective agility to respond in time to demand fluctuations, facilitating the creation process and controlling the branch offices in other countries that use components produced in the matrix, hence ensuring more accurate estimates of stockpiles. Consequently, it presents the enterprise knowledge development organisational modelling methodology in order to represent further models (goals, actors and resources, business rules, business process and concepts) that should be included in this MRP implementation process for the new configuration of the production system.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Previdenza complementare: evoluzione e tendenze

La tesi si articola in tre capitoli. Il primo dà conto del dibattito sorto attorno alla problematica dell’inquadramento della previdenza complementare nel sistema costituzionale dell’art. 38 Cost. che ha diviso la dottrina tra quanti hanno voluto ricondurre tale fenomeno al principio di libertà della previdenza privata di cui all’ art. 38, comma 5, Cost. e quanti lo hanno invece collocato al 2° comma della stessa norma, sulla base di una ritenuta identità di funzioni tra previdenza pubblica e previdenza complementare. Tale ultima ricostruzione in particolare dopo la c.d. Riforma “Amato” è culminata nella giurisprudenza della Corte Costituzionale, che ha avuto modo di pronunciarsi sulla questione con una serie di pronunce sulla vicenda del c.d. “contributo sul contributo” e su quella della subordinazione dei requisiti di accesso alle prestazioni pensionistiche complementari alla maturazione dei requisiti previsti dal sistema obbligatorio. Il capitolo successivo si occupa della verifica della attualità e della coerenza dell’impostazione della Corte Costituzionale alla luce dell’evoluzione della disciplina dei fondi pensione. Nel terzo capitolo, infine, vengono affrontate alcune questioni aperte in relazione ai c.d. fondi pensione “preesistenti” suscettibili di sollevare preoccupazioni circa la necessità di garantire le aspettative e i diritti dei soggetti iscritti.

Trend- und Natursport als System

Zusammenfassung: Freizeitaktivitäten wie Mountainbiking, Sportklettern, Drachen- und Gleitschirmfliegen oder Windsur-fen sind relativ neue Erscheinungen der letzten fünfzehn bis fünfundzwanzig Jahre. Ihre Entwicklung und Ausdifferenzierung beschränkt sich vor allem auf Gesellschaften westlich-industrieller Prägung, deren Grundlage ein funktional differenziertes Gesellschaftssystem ist. Mit Hilfe des Beobachtungsin-strumentes der neueren soziologischen Systemtheorie wird zunächst das Aufkommen und die immer fortschreitende Ausdifferenzierung von Trend- und Natursportarten analysiert und gedeutet. Es zeigt sich, daß diese neuen Freizeitaktivitäten über den Zugriff auf die eigene Körperlichkeit in hohem Ma-ße zur Identitätsfindung der Individuen solcher Gesellschaftssysteme beitragen.Aus geographischer Sicht stellt sich die Frage nach der Bedeutung dieser Entwicklung für die Land-schaft. Dabei wird Landschaft explizit nicht als etwas verstanden, daß 'an sich' existiert, sondern als etwas, das 'erlebt' oder 'begriffen', also immer wieder aufs Neue im Auge des Betrachters konstru-iert wird. Für die Sporttreibenden von Trend- und Natursportarten ist der Blick auf die Welt durch ihre Sportart strukturiert. Jedenfalls immer dann, wenn es darum geht, eine Sportstätte für ihre jeweilige Sportausübung auszuwählen. Die Naturlandschaft (oder auch Kulturlandschaft) wird damit zur 'Sportlandschaft'. Der Begriff der 'Landschaft' erscheint dann im Sinne Werlens 'alltäglichen Geo-graphie-Machens' als eine permanent neu zu erstellende und damit sich auch ständig verändernde Perspektive auf die Objektwelt. So kann sich im Auge der Sporttreibenden von Trend- und Natur-sportarten jedes Objekt und jede Landschaft, wenn man so will: die Welt, als ein einziger großer Sportplatz darstellen.Wenn also alles potentiell eine Sportstätte sein kann, stellt sich die Frage, wie es zur Herausbildung sogenannter Top Spots kommt, also zu jenen Sportstätten, die innerhalb der jeweiligen Sportart von herausragender Bedeutung sind - sozusagen die oberste Sprosse der Karriereleiter erklommen haben - und an der jeder gewesen sein muß, der innerhalb der sportartspezifischen Szene etwas gelten will. Dieser Frage wird anhand eines Fallbeispiels nachgegangen. Als Grundlage wurde ein Untersu-chungsgebiet gewählt, das sich bereits in einem fortgeschrittenen Stadium der Entwicklung zu einem Top Spot befindet - eine Landschaft also, die bereits eine 'Karriere als Sportlandschaft' aufzuweisen hat. Die peripher gelegene US-amerikanische Kleinstadt Moab in Südost-Utah (ca. 5.000 Einwohner) hat sich seit Anfang der 1990er Jahre zu einem internationalen Szene-Treffpunkt für Mountainbiking entwickelt. Zu dem wichtigsten Mountainbike-Trail (dem Slickrock Bike Trail) kommen pro Jahr al-lein mehr als 200.000 Mountainbike-TouristInnen. Neben dem Mountainbiking spielt River Rafting eine bedeutende Rolle im Tourismus und es hat sich dort in den letzten Jahren außerdem eine kleine Sportkletter-Szene etabliert, die in den nächsten Jahren sicherlich noch an Bedeutung zunehmen wird.

Investigations on formation and specification of neural precursor cells in the central nervous system of the Drosophila melanogaster embryo

Investigations on formation and specification of neural precursor cells in the central nervous system of the Drosophila melanogaster embryoSpecification of a unique cell fate during development of a multicellular organism often is a function of its position. The Drosophila central nervous system (CNS) provides an ideal system to dissect signalling events during development that lead to cell specific patterns. Different cell types in the CNS are formed from a relatively few precursor cells, the neuroblasts (NBs), which delaminate from the neurogenic region of the ectoderm. The delamination occurs in five waves, S1-S5, finally leading to a subepidermal layer consisting of about 30 NBs, each with a unique identity, arranged in a stereotyped spatial pattern in each hemisegment. This information depends on several factors such as the concentrations of various morphogens, cell-cell interactions and long range signals present at the position and time of its birth. The early NBs, delaminating during S1 and S2, form an orthogonal array of four rows (2/3,4,5,6/7) and three columns (medial, intermediate, and lateral) . However, the three column and four row-arrangement pattern is only transitory during early stages of neurogenesis which is obscured by late emerging (S3-S5) neuroblasts (Doe and Goodman, 1985; Goodman and Doe, 1993). Therefore the aim of my study has been to identify novel genes which play a role in the formation or specification of late delaminating NBs.In this study the gene anterior open or yan was picked up in a genetic screen to identity novel and yet unidentified genes in the process of late neuroblast formation and specification. I have shown that the gene yan is responsible for maintaining the cells of the neuroectoderm in an undifferentiated state by interfering with the Notch signalling mechanism. Secondly, I have studied the function and interactions of segment polarity genes within a certain neuroectodermal region, namely the engrailed (en) expressing domain, with regard to the fate specification of a set of late neuroblasts, namely NB 6-4 and NB 7-3. I have dissected the regulatory interaction of the segment polarity genes wingless (wg), hedgehog (hh) and engrailed (en) as they maintain each other’s expression to show that En is a prerequisite for neurogenesis and show that the interplay of the segmentation genes naked (nkd) and gooseberry (gsb), both of which are targets of wingless (wg) activity, leads to differential commitment of NB 7-3 and NB 6-4 cell fate. I have shown that in the absence of either nkd or gsb one NB fate is replaced by the other. However, the temporal sequence of delamination is maintained, suggesting that formation and specification of these two NBs are under independent control.

Structural verification of the ESEO spacecraft: from launch loads analysis to composite panels verification

The present thesis work was performed in the frame of ESEO (European Student Earth Orbiter) project. The activities that are described in this document were carried out in the Microsatellites and Space Micro systems Lab led by Professor Paolo Tortora and in ALMASpace company facilities. The thesis deals with ESEO structural analysis, at system and unit level, and verification: after determining the design limit loads to be applied to the spacecraft as an envelope of different launchers load profiles, a finite element structural analysis was performed on the model of the satellite in order to ensure the capability to withstand the loads encountered during the launch; all the analyses were performed according to ESA standards and using the software MSC NASTRAN SIMXPERT. Amplification factors were derived and used to determine loads to be considered at unit level. In particular structural analyses were carried out on the GPS unit, the payload developed for ESEO by students of University of Bologna and results were used in the preparation of GPS payload design definition file. As for the verification phase a study on the panels and inserts to be used in the spacecraft was performed: different designs were created exploiting methods to optimize weight and mechanical behavior. The configurations have been analyzed and results compared to select the final design.