Defining Contexts in Context-Free Grammars

This thesis introduces an extension of Chomsky’s context-free grammars equipped with operators for referring to left and right contexts of strings.The new model is called grammar with contexts. The semantics of these grammars are given in two equivalent ways — by language equations and by logical deduction, where a grammar is understood as a logic for the recursive definition of syntax. The motivation for grammars with contexts comes from an extensive example that completely defines the syntax and static semantics of a simple typed programming language. Grammars with contexts maintain most important practical properties of context-free grammars, including a variant of the Chomsky normal form. For grammars with one-sided contexts (that is, either left or right), there is a cubic-time tabular parsing algorithm, applicable to an arbitrary grammar. The time complexity of this algorithm can be improved to quadratic,provided that the grammar is unambiguous, that is, it only allows one parsefor every string it defines. A tabular parsing algorithm for grammars withtwo-sided contexts has fourth power time complexity. For these grammarsthere is a recognition algorithm that uses a linear amount of space. For certain subclasses of grammars with contexts there are low-degree polynomial parsing algorithms. One of them is an extension of the classical recursive descent for context-free grammars; the version for grammars with contexts still works in linear time like its prototype. Another algorithm, with time complexity varying from linear to cubic depending on the particular grammar, adapts deterministic LR parsing to the new model. If all context operators in a grammar define regular languages, then such a grammar can be transformed to an equivalent grammar without context operators at all. This allows one to represent the syntax of languages in a more succinct way by utilizing context specifications. Linear grammars with contexts turned out to be non-trivial already over a one-letter alphabet. This fact leads to some undecidability results for this family of grammars

Microfacies analysis of the lower paleocene beda formation in Western Concession 59 and Block 59F, Sirte Basin, Libya /

The rock sequence of the Tertiary Beda Formation of S. W. concession 59 and 59F block in Sirte Basin of Libya has been subdivided into twelve platformal carbonate microfacies. These microfacies are dominated by muddy carbonates, such as skeletal mudstones, wackestones, and packstones with dolomites and anhydrite. Rock textures, faunal assemblages and sedimentary structures suggest shallow, clear, warm waters and low to moderate energy conditions within the depositional shelf environment. The Beda Formation represents a shallowing-upward sequence typical of lagoonal and tidal flat environments marked at the top by sabkha and brackish-water sediments. Microfossils include benthonic foraminifera, such as miliolids, Nummulites, - oerculina and other smaller benthonics, in addition to dasycladacean algae, ostracods, molluscs, echinoderms, bryozoans and charophytes. Fecal pellets and pelloids, along with the biotic allochems, contributed greatly to the composition of the various microfacies. Dolomite, where present, is finely crystalline and an early replacement product. Anhydrite occurs as nodular, chickenwire and massive textures indicating supratidal sabkha deposition. Compaction, micr it i zat ion , dolomit izat ion , recrystallization, cementation, and dissolution resulted in alteration and obliteration of primary sedimentary structures of the Beda Formation microfacies. The study area is located in the Gerad Trough which developed as a NE-SW trending extensional graben. The Gerad trough was characterized by deep-shallow water conditions throughout the deposition of the Beda Formation sediments. The study area is marked by several horsts and grabens; as a result of extent ional tectonism. The area was tectonically active throughout the Tertiary period. Primary porosity is intergranular and intragranular, and secondary processes are characterized by dissolution, intercrystalline, fracture and fenestral features. Diagenesis, through solution leaching and dolomitization, contributed greatly to porosity development. Reservoir traps of the Beda Formation are characterized by normal fault blocks and the general reservoir characteristics/properties appear to be facies controlled.

Sedimentology and stratigraphy of the Lower Silurian Grimsby formation, in subsurface, Lake Erie and Southwestern Ontario

Since the first offshore Lake Erie well was drilled in 1941, the Grimsby and Thorold formations of the Cataract Group have been economically important to the oil and gas industry of Ontario. The Cataract Group provides a significant amount of Ontario's gas production primarily from wells located on Lake Erie. The Grimsby - Thorold formations are the result of nearshore estuarine processes influenced by tides on a prograding shelf and are composed of subtidal channel complexes, discrete tidal channels, mud flats and non-marine deposits. Deposition was related to a regressive - transgressive cycle associated with eustatic sea level changes caused by the melting and resurgence of continental glaciation centred in Africa in the Late Ordovician/Early Silurian. Grimsby deposition began during a regression with the deposition of subtidal channel complexes incised into the marine deposits of the Cabot Head Formation. The presence of mud drapes and mud couplets suggest that these deposits were influenced by tides. These deposits dominate the lower half of the Grimsby. Deposition continued with a change from these subtidal channel complexes to laterally migrating, discrete, shallow tidal channels and mud flats. These were in turn overlain by the non-marine deposits of the Thorold Formation. Grimsby - Thorold deposition ended with a major transgression replacing siliciclastic deposition with primarily carbonate deposition. Sediment was sourced from the east and southeast and associated with a continuation of the Taconic Orogeny into the Early Silurian. The fluvial head of the estuary prograded from a shoreline that was located in western New York and western Pennsylvania running NNE-SSW and then turning NW-SE and paralleling the present day Lake Erie shoreline. iii The facies attributed to the Grimsby - Thorold formations can be ascribed to the three zones within the tripartite zonation suggested by Dalrymple et ale (1992) for estuaries, that is, a marine-dominated facies, a mixed energy facies, and a facies that is dominated by fluvial processes. Also, sediments within the Grimsby - Thorold are commonly fining upwards sequences which are common in estuarine settings whereas deltaic deposits are normally composed of coarsening upwards sequences in a vertical wedge shape with coarser material near the head. The only coarsening observed was in the Thorold Formation and attributed to non-marine deposition by palynological evidence. The presence of a lag deposit at the base of the sediments of the Grimsby Thorold formations suggests that they were incised into the Cabot Head Formation. Further, the thickness of Early Silurian sediments located between the top of the Queenston Formation, where Early Silurian sedimentation began, to the top of the Reynales - Irondequoit formation are constant whether the Grimsby - Thorold formations are present or not. Also, cross-sections using a sand body located in the Cabot Head Formation for correlation further imply that the Grimsby Formation has been incised into the previous deposits of the Cabot Head.

A sequential analysis of therapist scaffolding and child concept formation in narrative therapy

Narrative therapy is a postmodern therapy that takes the position that people create self-narratives to make sense of their experiences. To date, narrative therapy has compiled virtually no quantitative and very little qualitative research, leaving gaps in almost all areas of process and outcome. White (2006a), one of the therapy's founders, has recently utilized Vygotsky's (1934/1987) theories of the zone of proximal development (ZPD) and concept formation to describe the process of change in narrative therapy with children. In collaboration with the child client, the narrative therapist formalizes therapeutic concepts and submits them to increasing levels of generalization to create a ZPD. This study sought to determine whether the child's development proceeds through the stages of concept formation over the course of a session, and whether therapists' utterances scaffold this movement. A sequential analysis was used due to its unique ability to measure dynamic processes in social interactions. Stages of concept formation and scaffolding were coded over time. A hierarchical log-linear analysis was performed on the sequential data to develop a model of therapist scaffolding and child concept development. This was intended to determine what patterns occur and whether the stated intent of narrative therapy matches its actual process. In accordance with narrative therapy theory, the log-linear analysis produced a final model with interactions between therapist and child utterances, and between both therapist and child utterances and time. Specifically, the child and youth participants in therapy tended to respond to therapist scaffolding at the corresponding level of concept formation. Both children and youth and therapists also tended to move away from earlier and toward later stages of White's scaffolding conversations map as the therapy session advanced. These findings provide support for White's contention that narrative therapists promote child development by scaffolding child concept formation in therapy.

Mediated action, narratives of risk-taking, and identity formation in adolescents with a visual impairment

The purpose of this project was to discern the inherent tension present in narratives told by adolescents with a visual impairment as they attempted to make sense of their experiences, specifically those surrounding risk. Mediated action, based on the foundational work of Vygotsky and Bakhtin, was used as both a theoretical and methodological approach; it is the theory that there are two components that constitute any human action: the "agent," or the person who is doing the acting, and the "mediational means" that he or she is using to accomplish the action in question. Tension ensues as neither is able to fully explain human behaviour. Ten adolescents with a visual impairment participated in a narrative interview, revealing numerous counter-narratives surrounding risk-taking, including "experimentation undertaken using good judgment." Participants offered examples of how they engaged, appropriated, resisted and transformed the dominant narratives of disability and adolescence in their identity formation.

Impact of Openness to Trade on Capital Formation in Developed and Emerging Markets: a Comparative Study.

Rapport de recherche

Power strategy formation in a human service organization undergoing turbulent change

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Ab initio study of the charge order and Zener polaron formation in half-doped manganites

The character of the electronic ground state of La0.5Ca0.5MnO3 has been addressed with quantum chemical calculations on large embedded clusters. We find a charge ordered state for the crystal structure reported by Radaelli et al. [Phys. Rev. B 55, 3015 (1997)] and Zener polaron formation in the crystal structure with equivalent Mn sites proposed by Daoud-Aladine et al. [Phys. Rev. Lett. 89, 097205 (2002)]. Important O to Mn charge transfer effects are observed for the Zener polaron.

User Profile Management and Selection in Context-Aware Service Platforms for Networks Beyond 3G

In recent years, progress in the area of mobile telecommunications has changed our way of life, in the private as well as the business domain. Mobile and wireless networks have ever increasing bit rates, mobile network operators provide more and more services, and at the same time costs for the usage of mobile services and bit rates are decreasing. However, mobile services today still lack functions that seamlessly integrate into users’ everyday life. That is, service attributes such as context-awareness and personalisation are often either proprietary, limited or not available at all. In order to overcome this deficiency, telecommunications companies are heavily engaged in the research and development of service platforms for networks beyond 3G for the provisioning of innovative mobile services. These service platforms are to support such service attributes. Service platforms are to provide basic service-independent functions such as billing, identity management, context management, user profile management, etc. Instead of developing own solutions, developers of end-user services such as innovative messaging services or location-based services can utilise the platform-side functions for their own purposes. In doing so, the platform-side support for such functions takes away complexity, development time and development costs from service developers. Context-awareness and personalisation are two of the most important aspects of service platforms in telecommunications environments. The combination of context-awareness and personalisation features can also be described as situation-dependent personalisation of services. The support for this feature requires several processing steps. The focus of this doctoral thesis is on the processing step, in which the user’s current context is matched against situation-dependent user preferences to find the matching user preferences for the current user’s situation. However, to achieve this, a user profile management system and corresponding functionality is required. These parts are also covered by this thesis. Altogether, this thesis provides the following contributions: The first part of the contribution is mainly architecture-oriented. First and foremost, we provide a user profile management system that addresses the specific requirements of service platforms in telecommunications environments. In particular, the user profile management system has to deal with situation-specific user preferences and with user information for various services. In order to structure the user information, we also propose a user profile structure and the corresponding user profile ontology as part of an ontology infrastructure in a service platform. The second part of the contribution is the selection mechanism for finding matching situation-dependent user preferences for the personalisation of services. This functionality is provided as a sub-module of the user profile management system. Contrary to existing solutions, our selection mechanism is based on ontology reasoning. This mechanism is evaluated in terms of runtime performance and in terms of supported functionality compared to other approaches. The results of the evaluation show the benefits and the drawbacks of ontology modelling and ontology reasoning in practical applications.

Local food security and principle of organic farming (from farm to fork) in context of food culture in Indonesia: Minangkabau's case study

The basic idea behind improving local food security consists of two paths; first, accessibility (price, stock) and second, availability (quantity and biodiversity); both are perquisites to the provision of nutrients and a continuous food supply with locally available resources. The objectives of this thesis are to investigate if indigenous knowledge still plays an important role in traditional farming in the Minangkabau`s culture, thus supporting local food security. If the indigenous knowledge still plays a role in food culture in the Minangkabau`s culture which is linked to the matrilineal role and leads to a sound nutrition. Further, it should be tested if marantau influences traditional farming and food culture in Minangkabau`s, and if the local government plays a role in changing of traditional farming systems and food culture. Furthermore this thesis wants to prove if education and gender are playing a role in changing traditional farming system and food culture, and if the mass media affects traditional farming systems and food culture for the Minangkabau. The study was completed at four locations in West Sumatera; Nagari Ulakan (NU) (coastal area), Nagari Aia Batumbuak (NAB) (hilly area), Nagari Padang Laweh Malalo (NPLM) (lake area), Nagari Pandai Sikek (NPS) (hilly area). The rainfall ranged from 1400- 4800 mm annually with fertile soils. Data was collected by using PRA (Participatory Rural Appraisal) to investigate indigenous knowledge (IK) and its interactions, which is also combining with in depth-interview, life history, a survey using semi-structured-questionnaire, pictures, mapping, and expert interview. The data was collected from June - September 2009 and June 2010. The materials are; map of area, list of names, questionnaires, voices recorder, note book, and digital camera. The sampling method was snowball sampling which resulted in the qualitative and quantitative data taken. For qualitative data, ethnography and life history was used. For quantitative, a statistical survey with a semi-structured questionnaire was used. 50 respondents per each site participated voluntarily. Data was analyzed by performing MAXQDA 10, and F4 audio analysis software (created and developed by Philip-University Marburg). The data is clustered based on causality. The results show that; the role of IK on TFS (traditional farming system) shown on NPLM which has higher food crop biodiversity in comparison to the other three places even though it has relatively similar temperature and rainfall. This high food crop biodiversity is due to the awareness of local people who realized that they lived in unfavourable climate and topography; therefore they are more prepared for any changes that may occur. Carbohydrate intake is 100 % through rice even though they are growing different staple crops. Whereas most of the people said in the interviews that not eating rice is like not really eating for them. In addition to that, mothers still play an important role in kitchen activities. But when the agriculture income is low, mothers have to decide whether to change the meals or to feel insecure about their food supply. Marantau yields positive impact through the remittances it provides to invest on the farm. On the other hand, it results in fewer workers for agriculture, and therefore a negative impact on the transfer of IK. The investigation showed that the local government has a PTS (Padi Tanam Sabatang) programme which still does not guarantee that the farmers are getting sufficient revenue from their land. The low agricultural income leads to situation of potential food insecurity. It is evident that education is equal among men and women, but in some cases women tend to leave school earlier because of arranged marriages or the distances of school from their homes. Men predominantly work in agriculture and fishing, while women work in the kitchen. In NAB, even though women work on farmland they earn less then men. Weaving (NPS) and kitchen activity is recognized as women’s work, which also supports the household income. Mass media is not yielding any changes in TFS and food culture in these days. The traditional farming system has changed because of intensive agricultural extension which has introduced new methods of agriculture for the last three decades (since the 1980’s). There is no evidence that they want to change any of their food habits because of the mass media despite the lapau activity which allows them to get more food choices, instead preparing traditional meal at home. The recommendations of this thesis are: 1) The empowerment of farmers. It is regarding the self sufficient supply of manure, cooperative seed, and sustainable farm management. Farmers should know – where are they in their state of knowledge – so they can use their local wisdom and still collaborate with new sources of knowledge. Farmers should learn the prognosis of supply and demand next prior to harvest. There is a need for farm management guidelines; that can be adopted from both their local wisdom and modern knowledge. 2) Increase of non-agricultural income Increasing the non-agricultural income is strongly recommended. The remittances can be invested on non-agricultural jobs. 3) The empowerment of the mother. The mother plays an important role in farm to fork activities; the mother can be an initiator and promoter of cultivating spices in the backyard. Improvement of nutritional knowledge through information and informal public education can be done through arisan ibu-ibu and lapau activity. The challenges to apply these recommendations are: 1) The gap between institutions and organizations of local governments. There is more than one institution involved in food security policy. 2) Training and facilities for field extension agriculture (FEA) is needed because the rapid change of interaction between local government and farmer’s dependent on this agency.

Copyright in context

Questions asked by library staff and answered by experts, to give insight into everyday issues to do with copyright and licensing.

3D Analysis of the TCR/pMHCII Complex Formation in Monkeys Vaccinated with the First Peptide Inducing Sterilizing Immunity against Human Malaria

T-cell receptor gene rearrangements were studied in Aotus monkeys developing high antibody titers and sterilizing immunity against the Plasmodium falciparum malaria parasite upon vaccination with the modified synthetic peptide 24112, which was identified in the Merozoite Surface Protein 2 (MSP-2) and is known to bind to HLA-DR beta 1*0403 molecules with high capacity. Spectratyping analysis showed a preferential usage of V beta 12 and V beta 6 TCR gene families in 67% of HLA-DR beta 1*0403-like genotyped monkeys. Docking of peptide 24112 into the HLA-DR beta 1*0401-HA peptide-HA1.7TCR complex containing the VDJ rearrangements identified in fully protected monkeys showed a different structural signature compared to nonprotected monkeys. These striking results show the exquisite specificity of the TCR/pMHCII complex formation needed for inducing sterilizing immunity and provide important hints for a logical and rational methodology to develop multiepitopic, minimal subunit-based synthetic vaccines against infectious diseases, among them malaria.

Beginning to read : the new phonics in context : a precis of the classic text.

Trata de conciliar el debate que ha dividido durante décadas a los teóricos sobre el 'correcto' modo de ayudar a los niños a aprender a leer, y pone de manifiesto que los educadores no deben verse atrapados en el dilema de fonética versus lectura con significado. Se propone un tratamiento integral, incluida la fonética, de los conocimientos y los procesos involucrados en el desarrollo de la habilidad para la lectura.