925 resultados para Symbolic computation and algebraic computation
Resumo:
“The Franco-German friendship is rich in memories and gestures that are at once important and symbolic, and that characterize the exceptional nature of the relationship between our two countries,” reflects former French economics minister and European Commission President Jacques Delors. Such symbolic acts and joint memories are not primarily about cooperation in specific instances. Rather, more generally, they denote what it means to act together. They lend significance to a relationship; they signify what is “at stake,” or what it is “all about.” They are about a deeper and more general social purpose underlying specific instances of cooperation. They are about the value and intrinsic importance that social relations incorporate. Symbols contribute to the institutionalization of social meaning and social purpose in dealing with one another. In this paper I clarify the concept of “predominantly symbolic acts and practices among states,” systematically explore such acts for the bilateral Franco-German relationship between the late 1950s and the mid-1990s, and scrutinize the specific meaning and effects that these practices have helped to generate and perpetuate.
Resumo:
The Russian Orthodox Church Moscow Patriarchate (ROC), the largest religious community in Russia, plays an essential role in the process of the cultural and national self-identification of the Russian people. Being a socio-political institution with a centuries-long history, it possesses great symbolic capital and enjoys public respect, which has been used for political purposes. Since Vladimir Putin regained the presidency in 2012, in order to strengthen the political regime in Russia the Kremlin has begun to extensively draw upon conservative ideology and promote the traditional moral and social values which the Church is viewed as the guardian of. This has resulted in establishing closer relations between the secular government and the ROC, as well as in a greater engagement of ROC hierarchs and organisations in domestic and foreign policy issues. This situation exposes the ROC to criticism for being excessively involved in politics, and in the longer term, to the risks linked to potential destabilisation of the governmental system in Russia.
Resumo:
This paper examines the 'ideological grip' of personalization. It does so empirically, tracking the trajectory of personalization through austerity budgeting in one English local authority. In this case, personalization continued to signify hope and liberation even though the most draconian cuts in the Council's history effectively rendered personalization a practical impossibility. This requires critical theorization. Two bodies of theory are interrogated. First Boltanski's sociology of critique, and, in particular, his notion of managerial domination illuminate the way in which change imperatives and crises come to cement ideological formations. Here it is argued that the articulation of personalization with transformation lends itself to managerial domination. It is further argued, though, that while institutional actors may be able to manipulate the symbolic to evade, what Boltanski terms, deconstructionist critique, this cannot entirely explain the hold of this particular discourse. Here, the Lacanian concept of enjoyment is deployed to interrogate its extra-symbolic function and fantasmatic form. Finally, the paper explores the political implications of such affective attachment and, in particular, the guarantee that personalization offers in a period of welfare state decline. © The Author(s) 2012.
Resumo:
BOOK REVIEWS Multibody System Mechanics: Modelling, Stability, Control, and Ro- bustness, by V. A. Konoplev and A. Cheremensky, Mathematics and its Appli- cations Vol. 1, Union of Bulgarian Mathematicians, Sofia, 2001, XXII + 288 pp., $ 65.00, ISBN 954-8880-09-01
Resumo:
The purpose of this qualitative case study was to gain insight into the perspectives of experienced higher education administrators regarding faculty unionization, the collective bargaining process, and the interpersonal relationships between higher education faculty members and administrators. ^ The primary method of data collection was semi-structured face to face interviews with nine administrators from two community colleges and two universities in the south Florida area. All of the study participants worked with unionized faculty members and had direct experience participating in bargaining negotiations. ^ Upon the completion of each interview, the researcher listened to the taped audio recording of the interview several times and then transcribed all of the information from the audiotape into a Word file. Data collection and analysis for each participant were performed concurrently. Using a modified concept mapping approach, the research questions were written on large yellow sticky notes and placed in the middle of a wall in the researcher’s home with nine descriptive categorical themes written on smaller sticky notes placed around the study questions. The highlighted quotes and key phrases were cut from each transcript and placed under each of the descriptive categories. Over the course of a few months repeatedly reviewing the research questions that guided this study, the theory of symbolic interactionism, and relevant literature the categorical descriptive themes were refined and condensed into five descriptive themes. ^ Study findings indicated that the administrators: (a) must have a clear understanding of what it is that the faculty does to be an effective representative at the bargaining table, (b) experienced role ambiguity and role strain related to a lack of understanding as to their role at the bargaining table and a lack of organizational support, (c) were not offered any type of training in preparation for bargaining, (d) perceived a definite “us versus them” mentality between faculty and administration, and (e) saw faculty collective bargaining at public institutions of higher education in Florida as ineffectual. ^
Resumo:
This study looks at the broader transformations in Cuban history through the case study of a single, yet symbolic, man, and proposes a new paradigm for understanding the dynamics of Cuban society and culture. It also examines the implications for Cuba’s aspiring national identity at the turn of the twentieth century, by detailing the interplay between fact and fiction in the story of Alberto Yarini: elite born; well-educated; politically and socially well-connected; powerful; and celebrated Cuban racketeer and chulo (pimp). Yarini was described as vibrant and triumphant at a time when other nation-building forces in Cuba were weak and ambivalent. A century after his dramatic death, Yarini became the quintessential public man in Cuban lore who symbolized a cubanidad (Cuban national identity) not defined in terms of the ideological hegemony of class, race, or gender, and who through his actions dispelled the ambivalence that plagued Cuban nationalism. Using archival documents, contemporary newspaper accounts, court records, memoirs, and published works, this study analyzes the confluence of national events and individual action in the formation of Cuban national identity. It contends that for Cuba, the failure of nation-building experiments resulted in an ambivalent national identity based on failed philosophical and political ideals of equality and prosperity. These ideals played out within the context of the realities of racial discrimination, political dissonance, and class and gender barriers. Instead of a cohesive sense of national character, for Cubans the result was a competing set of identities including a populist version that was defined through identification with antitypes and pseudo-heroes such as Alberto Yarini y Ponce de León (1882-1910), a rising politician and celebrated chulo of the early republic. The telling and retelling of his story has given rise to what has been termed the island nation’s first national myth – one that continues to evolve and grow in the twenty-first century. For many Cubans, the Yarini antitype provided an idealized national identity which in many ways was—and many argue continues to be— the expression of an elusive and ambivalent cubanidad.
Resumo:
Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^
Resumo:
The purpose of this thesis was to explore selected works from William Shakespeare, Edmund Spenser, and John Keats, in order to expose textual instances of feminist thought. This analysis was aided with feminist theorists falling under the main strains of queer theory, materialism, and gender performance. Specifically, this thesis focused on the ways in which women, particularly virgin daughters, were viewed as property by their male kin. It also looked at how these women engaged in various symbolic masquerades and/or actual cross-dressing as a response to the aforementioned phenomenon. Finally, the thesis exposed how these masquerades can be construed as a queering of identity—manifested through reversals of power and rejection of patriarchal institutions like marriage.
Resumo:
The purpose of this study is to provide an alternative approach in analyzing social hybrid situations. The study is based on fieldwork conducted in 1995 in the village of Nasautoka, Fiji. The suggested analysis for hybrid cases is based on Anthony Giddens's structuration theory, with an emphasis on the concept of "agency" and "signification" rules. Giddens conceptualizes agents as both knowledgeable and reflexive. The agent is not viewed as passive and impotent as he paces through social life. Signification rules are extremely useful in analyses of symbolic orders, and shed light on the meaning of both "new" and "old" symbols as they manifest themselves simultaneously in Nasautoka. Of paramount importance is that these new symbols are unfolding beside the "old" symbols represented by the vanua. The vanua is a Fijian social structure with both sociocultural and physical dimensions. The current hybrid is exemplified by two merging structures and by the contrasting reactions of three groups within the village.
Resumo:
Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.
Resumo:
Language provides an interesting lens to look at state-building processes because of its cross-cutting nature. For example, in addition to its symbolic value and appeal, a national language has other roles in the process, including: (a) becoming the primary medium of communication which permits the nation to function efficiently in its political and economic life, (b) promoting social cohesion, allowing the nation to develop a common culture, and (c) forming a primordial basis for self-determination. Moreover, because of its cross-cutting nature, language interventions are rarely isolated activities. Languages are adopted by speakers, taking root in and spreading between communities because they are legitimated by legislation, and then reproduced through institutions like the education and military systems. Pádraig Ó’ Riagáin (1997) makes a case for this observing that “Language policy is formulated, implemented, and accomplishes its results within a complex interrelated set of economic, social, and political processes which include, inter alia, the operation of other non-language state policies” (p. 45). In the Turkish case, its foundational role in the formation of the Turkish nation-state but its linkages to human rights issues raises interesting issues about how socio-cultural practices become reproduced through institutional infrastructure formation. This dissertation is a country-level case study looking at Turkey’s nation-state building process through the lens of its language and education policy development processes with a focus on the early years of the Republic between 1927 and 1970. This project examines how different groups self-identified or were self-identified (as the case may be) in official Turkish statistical publications (e.g., the Turkish annual statistical yearbooks and the population censuses) during that time period when language and ethnicity data was made publicly available. The overarching questions this dissertation explores include: 1.What were the geo-political conditions surrounding the development and influencing the Turkish government’s language and education policies? 2.Are there any observable patterns in the geo-spatial distribution of language, literacy, and education participation rates over time? In what ways, are these traditionally linked variables (language, literacy, education participation) problematic? 3.What do changes in population identifiers, e.g., language and ethnicity, suggest about the government’s approach towards nation-state building through the construction of a civic Turkish identity and institution building? Archival secondary source data was digitized, aggregated by categories relevant to this project at national and provincial levels and over the course of time (primarily between 1927 and 2000). The data was then re-aggregated into values that could be longitudinally compared and then layered on aspatial administrative maps. This dissertation contributes to existing body of social policy literature by taking an interdisciplinary approach in looking at the larger socio-economic contexts in which language and education policies are produced.
Resumo:
Let U be a domain in CN that is not a Runge domain. We study the topological and algebraic properties of the family of holomorphic functions on U which cannot be approximated by polynomials.
Resumo:
This paper examines the emerging cultural patterns and interpretative repertoires in reports of an impending pandemic of avian flu in the UK mass media and scientific journals at the beginning of 2005, paying particular attention to metaphors, pragmatic markers ('risk signals'), symbolic dates and scare statistics used by scientists and the media to create expectations and elicit actions. This study complements other work on the metaphorical framing of infectious disease, such as foot and mouth disease and SARS, tries to link it to developments in the sociology of expectations and applies insights from pragmatics both to the sociology of metaphor and the sociology of expectations.
Resumo:
This article deals with climate change from a linguistic perspective. Climate change is an extremely complex issue that has exercised the minds of experts and policy makers with renewed urgency in recent years. It has prompted an explosion of writing in the media, on the internet and in the domain of popular science and literature, as well as a proliferation of new compounds around the word ‘carbon’ as a hub, such as ‘carbon indulgence’, a new compound that will be studied in this article. Through a linguistic analysis of lexical and discourse formations around such ‘carbon compounds’ we aim to contribute to a broader understanding of the meaning of climate change. Lexical carbon compounds are used here as indicators for observing how human symbolic cultures change and adapt in response to environmental threats and how symbolic innovation and transmission occurs.
Resumo:
The purpose of this thesis was to explore how alchemy has influenced Carlos Estevez’s work through a study of the symbolic repertoire and the philosophical concepts associated with it in his art, particularly how these are expressed in his artworks and how alchemy has evolved thematically in his oeuvre. The study of alchemy influenced this artist so deeply that even pieces that were not primarily inspired by this philosophical system show traces of it, essentially by representing the concept of transformation, crucial to understanding the alchemical process. This thesis is based on Carl Gustav Jung’s idea of metaphysical transformation as one of the main aspects of alchemy, and on his theory of active imagination as a tool to represent thoughts through artworks. Alchemy transformed Estevez’s art, and by extension the way he approaches life, making him conscious of the importance of transmutation and alchemical concepts.