A Metaontology for Medical Diagnostics of Acute Diseases. Part 1. An Informal Description and Definitions of Basic Terms

The aim of this article is to describe formally a metaontology for medical diagnostics of acute diseases in the language of applied logic. The article includes an informal description of the metaontology, and the part of its model which contains the definitions for basic terms of knowledge and situations and also their integrity restrictions in the form of ontological agreements.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 2. A Formal Description of Cause-and-effect Relations

This article is the continuation of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of interrelations between terms of knowledge and reality in the form of ontological agreements.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 3. A Formal Description of the Causes of Signs’ Values and of Diseases

This article is the final part of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of the causes of signs’ values and of the causes of diseases.

The Variety of Leibniz Algebras Defined by the Identity x(y(zt)) ≡ 0

2000 Mathematics Subject Classification: Primary: 17A32; Secondary: 16R10, 16P99, 17B01, 17B30, 20C30

Simulation and Robust Modifications of Estimates in Branching Processes

This study is focused on the comparison and modification of different estimates arising in the branching processes. Simulations of models with or without migration are put through. Due to the complexity of the computations the algorithms are designed with the language of technical computing MATLAB. Using the simulations, estimates of the o spring mean of the generated processes are calculated. It is well known in the literature that under certain conditions the asymptotic distribution of the estimates is proved to be normal. Using the asymptotic normality a modified method of maximum likelihood is proposed. The aim is to obtain trimmed maximum likelihood estimates based on several sample paths with the same number of generations. Thus in a natural way the observations, inconsistent with the aprior information about the asymptotic normality are excluded from the model. The computation of the standard error allows the comparison of different types of estimates.

Counting on use of technology to enhance learning

In global policy documents, the language of Technology-Enhanced Learning (TEL) now firmly structures a perception of educational technology which ‘subsumes’ terms like Networked Learning and e-Learning. Embedded in these three words though is a deterministic, economic assumption that technology has now enhanced learning, and will continue to do so. In a market-driven, capitalist society this is a ‘trouble free’, economically focused discourse which suggests there is no need for further debate about what the use of technology achieves in learning. Yet this raises a problem too: if technology achieves goals for human beings, then in education we are now simply counting on ‘use of technology’ to enhance learning. This closes the door on a necessary and ongoing critical pedagogical conversation that reminds us it is people that design learning, not technology. Furthermore, such discourse provides a vehicle for those with either strong hierarchical, or neoliberal agendas to make simplified claims politically, in the name of technology. This chapter is a reflection on our use of language in the educational technology community through a corpus-based Critical Discourse Analysis (CDA). In analytical examples that are ‘loaded’ with economic expectation, we can notice how the policy discourse of TEL narrows conversational space for learning so that people may struggle to recognise their own subjective being in this language. Through the lens of Lieras’s externality, desubjectivisation and closure (Lieras, 1996) we might examine possible effects of this discourse and seek a more emancipatory approach. A return to discussing Networked Learning is suggested, as a first step towards a more multi-directional conversation than TEL, that acknowledges the interrelatedness of technology, language and learning in people’s practice. Secondly, a reconsideration of how we write policy for educational technology is recommended, with a critical focus on how people learn, rather than on what technology is assumed to enhance.

The future of engineering - Do primary school engineering education interventions leave a lasting impression?

This positional paper proposes a conceptual framework and methodological approach for use in a PhD study investigating the longer term educational and social impact of 'active' engineering focused interventions for children age 8-10 in the UK. The study will critically analyse how a child's participation in an engineering education activity contributes to the Engineering Capital that the child possesses; focusing on how the child's awareness and perceptions about engineering are affected. To achieve this aim it is proposed that Grounded Theory methodology be used to enable an in-depth analysis of participation from the perspective of the child participant. The study proposed will be longitudinal, taking place over three formative years for the education and career aspirations of the child, from age 8-10 to 11-13. Although the research is in its infancy, this paper will provide the opportunity to develop theory in an underdeveloped area of engineering education research.

Islamist movements at crossroads: the choice between ideology and context-driven approach to politics. Case study on the Hashemite Kingdom of Jordan

The aim of the paper is to analyse the ongoing transformation process within the Islamist movements using the example of the moderate Islamic Action Front party in Jordan. The dilemma of participation in the 2010 general elections raised tensions between the Muslim Brotherhood in Jordan and its political wing, the Islamic Action Front, and between doves and hawks of the same organizations. Internal debate on the future has started recently among different groups within the Islamist movement in Jordan. The research is based on the author‘s recent field experience in Jordan (April–July 2010, Andrew W. Mellon Fellowship at the American Centre of Oriental Research, Amman, Jordan). The author also conducted research in Syria, Lebanon, Palestine and Egypt, where several interviews were carried out with leading and lower level Islamist politicians. The dynamic changes within Islamic Action Front Party in Jordan and its relation with the regime has been used as reference point. The main question of the research was aa how the changing political and regional context shapes decisions of the Islamist with special attention to the acceptance of democratic values and human rights, political participation, and the meanings of Islamic values in the 21st century, possible cooperation with secular parties/movements/the regime.

The democratization of higher education in Jamaica: The role of the University of the West Indies

The University of the West Indies (UWI), established in the British colony of Jamaica in 1948, was mandated to serve the “brightest and the best” of the British colonies. Unfortunately, the austerity of Jamaica's economy has not helped to augment an “open door” access to higher education, and UWI is often criticized for not implementing policies to sustain the democratization of higher education; it is accused of functioning as an elitist institution. ^ The purpose of this qualitative study was to determine whether UWI functions democratically as an institution to influence the equity of higher education in Jamaica. A review of the literature reveals many interpretations of the democratization of higher education. Three of Spaulding and Kargodorian's four criteria were utilized to analyze this research. They were (1) equality of access to higher education, (2) equality of participation within the institution of higher education, and (3) equality of educational results. Multiple sources of written data augmented by interviews in Jamaica and Miami were utilized. ^ The analysis revealed that UWI functions in a collaborative relationship with Jamaica's Centralized Educational System as well as with the country's political, economic, and social realms to impact the democratization of higher education. Documentation suggests that, although strong traditional influences continue to exist, UWI has deviated from its original mandate and instead, flexible admittance policies and diversification of expanded programs have contributed to greater accessibility. ^ Despite UWI's reports of improvements which have contributed to more access, UNESCO and some interviewees have not been impressed. A World Bank report on enrollment ratio at the university level in English speaking Caribbean countries reflects less than one percent of the age cohort. The Jamaicans interviewed, especially those from the lower class, felt that their democratic right to receive higher education was not met. UNESCO regards UWI's efforts as just putting a “dent” in the problem. ^ Recommendations include continuing efforts towards developing curricula more relevant to the Jamaican society, increasing distance education in order to ease UWI's load, expanding financial partnerships with private sectors, and extending research in collaboration with large local and foreign private companies. ^

Profile of Florida: Services in transitional housing programs for homeless women with children

Family homelessness is a disturbing social problem in the United States. This study was conducted to determine the scope of components that included services and programs available for homeless women with children in transitional housing programs in Florida and the effectiveness of these components in helping these women move towards independence. Primary data for this study were obtained through questionnaires sent to directors of homeless centers in Florida. Supportive services offered by these centers were evaluated to determine if they enabled homeless women with children to become self-sufficient. The findings of this research indicated that regardless of the size, length of participation, and scope of services provided by the centers, these women showed gains in their ability to move toward self-sufficiency. The results support the hypothesis that transitional housing programs have a positive effect on homeless women with children. ^

An analysis of the themes of environmental sustainability in the United States curriculum science content standards

This study examined how the themes of environmental sustainability are evident in the national, state and local standards that guide k–12 science curriculum. The study applied the principles of content analysis within the framework of an ecological paradigm. In education, an ecological paradigm focuses on students' use of a holistic lens to view and understand material. The intent of this study was to analyze the seventh grade science content standards at the national, state, and local textbook levels to determine how and the extent to which each of the five themes of environmental sustainability are presented in the language of each text. The themes are: (a) Climate Change Indicators, (b) Biodiversity, (c) Human Population Density, (d) Impact and Presence of Environmental Pollution, (e) Earth as a Closed System. The research study offers practical insight on using a method of content analysis to locate keywords of environmental sustainability in the three texts and determine if the context of each term relates to this ecological paradigm. Using a concordance program, the researcher identified the frequency and context of each vocabulary item associated with these themes. Nine chi squares were run to determine if there were differences in content between the national and state standards and the textbook. Within each level chi squares were also run to determine if there were differences between the appearance of content knowledge and skill words. Results indicate that there is a lack of agreement between levels that is significant p < .01. A discussion of these results in relation to curriculum development and standardized assessments followed. The study found that at the national and state levels, there is a lack of articulation of the goals of environmental sustainability or an ecological paradigm. With respect to the science textbook, a greater number of keywords were present; however, the context of many of these keywords did not align with the discourse of an ecological paradigm. Further, the environmental sustainability themes present in the textbook were limited to the last four chapters of the text. Additional research is recommended to determine whether this situation also exists in other settings.

Lions and roses: An interpretive history of Israeli-Iranian relations

This multi-disciplinary research project explores the religious and cultural foundations within the "master commemorative narratives" that frame Israeli and Iranian political discourse. In articulating their grievances against one another, Israeli and Iranian leaders express the tensions between religion, nationalism, and modernity in their own societies. The theoretical and methodological approach of this dissertation is constructivist-interpretivist. The concept of "master commemorative narratives" is adapted from Yael Zerubavel's study of ritualized remembrance in Israeli political culture, and applied to both Israeli and Iranian foreign policy. Israel’s master commemorative narrative draws heavily upon the language of the Hebrew Bible, situating foreign policy discourse within a paradigm of covenantal patrimony, exile, and return, despite the unrelenting hostility of eternal enemies and "the nations." Iran’s master commemorative narrative expresses Iranian suspicion of foreign encroachment and interference, and of the internal corruption that they engender, sacralizing resistance to the forces of evil in the figurative language and myths of pre-Islamic tradition and of Shi'a Islam. Using a constructivist-interpretive methodological approach, this research offers a unique interpretive analysis of the parallels between these narratives, where they intersect, and where they come into conflict. It highlights both the broad appeal and the diverse challenges to the components of these "master" narratives within Israeli and Iranian politics and society. The conclusion of this study explains the ways in which the recognition of religious and cultural conflicts through the optic of master commemorative narratives can complement the perspectives of other theoretical approaches and challenge the conventions of Security Studies. It also suggests some of the potential practical applications of this research in devising more effective international diplomacy.

Global factors affecting women's participation in leadership

This dissertation is a multi-level, cross-cultural study of women in leadership conducted with both macro-society data and individual-level data aggregated to the country level. The research questions are, “What macro and micro forces are hindering or advancing women into business or political leadership?” “How do these forces impact the level of women's involvement in business and political leadership in a particular country?” Data was collected from 10 secondary sources, available for 213 countries, and includes about 300 variables for business leadership (N=115) and political leadership (N=181). To date, most women in leadership research has been Western- or US-based, and little rigorous empirical, multi-level research has been done across countries. The importance of cross-cultural studies on women in leadership stems from the potential to better understand why some countries have more women in positions of both business and political leadership; and the factors that affect women's involvement in such positions in different countries. A “Levels of Women's Participation in Leadership” country model is tested using cluster and discriminant analyses. Results indicate that the factors that affect women?s participation in leadership in countries with fewer women leaders are different from the factors that affect women's participation in countries with high levels of participation. This dissertation proposes that initiatives to increase participation of women in leadership need to consider the relevant factors that significantly affect countries at certain Levels of Women's Participation in Leadership. ^

Ethnic groups and institutions: A study of institutional engineering in four Central and Eastern European countries

The issue of institutional engineering has gained a renewed interest with the democratic transitions of the Central and Eastern European countries, as for some states it has become a matter of state survival. The four countries examined in the study – Macedonia, Slovakia, Romania and Bulgaria – exemplify the difficulty in establishing a stable democratic society in the context of the resurgence of national identity. The success of ethnonational minorities in achieving the desired policies affirming or expanding their rights as a group was conditioned upon the cohesion of the minority as well as the permissiveness of state institutions in terms of participation and representation of minority members. The Hungarian minorities in Slovakia and Romania, the Turkish minority in Bulgaria, and the Albanian minority in Macedonia, formed their political organizations to represent their interests. However, in some cases the divergence of strategies or goals between factions of the minority group seriously impeded its ability to obtain the desired concessions from the majority. The difficulty in the pursuit of policies favoring the expansion of minority rights was further exacerbated in some of the cases by the impermissiveness of political institutions. The political parties representing the interest of ethnonational minorities were allowed to participate in elections, although not without suspicions about their intent and even strong opposition from majority groups, but participation in elections and subsequent representation in legislative bodies did not translate into adoption of the desired policies. The ethnonational minorities' inability to effectively influence the decision-making process was the result of the inadequacy of democratic institutions to process these demands and channel them through the normal political process in the absence of majority desire to accommodate them. Despite the promise of democratic institutions to bring about a major overhaul of the policies of forceful assimilation and disregard for minority rights, the four cases analyzed in the study demonstrate that in effect ethnonational minorities continued to be at the mercy of the majority, especially if the minority was unable to position itself as a balancing actor.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^