1000 resultados para denotational proof language


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program`s code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Citrus sudden death (CSD) transmission was studied by graft-inoculation and under natural conditions. Young sweet orange trees on Rangpur rootstock were used as indicator plants. They were examined regularly for one or two characteristic markers of CSD: (i) presence of a yellow-stained layer of thickened bark on the Rangpur rootstock, and (ii) infection with the CSD-associated marafivirus. Based on these two markers, transmission of CSD was obtained, not only when budwood for graft-inoculation was taken from symptomatic, sweet orange trees on Rangpur, but also when the budwood sources were asymptomatic sweet orange trees on Cleopatra mandarin, indicating that the latter trees are symptomless carriers of the CSD agent. For natural transmission, 80 young indicator plants were planted within a citrus plot severely affected by CSD. Individual insect-proof cages were built around 40 indicator plants, and the other 40 indicator plants remained uncaged. Only two of the 40 caged indicator plants were affected by CSD, whereas 17 uncaged indicator plants showed CSD symptoms and were infected with the marafivirus. An additional 12 uncaged indicator plants became severely affected with citrus variegated chlorosis and were removed. These results strongly suggest that under natural conditions, CSD is transmitted by an aerial vector, such as an insect, and that the cages protected the trees against infection by the vector.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective:To investigate the effects of bilateral, surgically induced functional inhibition of the subthalamic nucleus (STN) on general language, high level linguistic abilities, and semantic processing skills in a group of patients with Parkinson’s disease. Methods:Comprehensive linguistic profiles were obtained up to one month before and three months after bilateral implantation of electrodes in the STN during active deep brain stimulation (DBS) in five subjects with Parkinson’s disease (mean age, 63.2 years). Equivalent linguistic profiles were generated over a three month period for a non-surgical control cohort of 16 subjects with Parkinson’s disease (NSPD) (mean age, 64.4 years). Education and disease duration were similar in the two groups. Initial assessment and three month follow up performance profiles were compared within subjects by paired t tests. Reliability change indices (RCI), representing clinically significant alterations in performance over time, were calculated for each of the assessment scores achieved by the five STN-DBS cases and the 16 NSPD controls, relative to performance variability within a group of 16 non-neurologically impaired adults (mean age, 61.9 years). Proportions of reliable change were then compared between the STN-DBS and NSPD groups. Results:Paired comparisons within the STN-DBS group showed prolonged postoperative semantic processing reaction times for a range of word types coded for meanings and meaning relatedness. Case by case analyses of reliable change across language assessments and groups revealed differences in proportions of change over time within the STN-DBS and NSPD groups in the domains of high level linguistics and semantic processing. Specifically, when compared with the NSPD group, the STN-DBS group showed a proportionally significant (p

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Age-related changes in the adult language addressed to children aged 2;0-4;0 years in polyadic conditions were investigated in Australian childcare centres. The language that 21 staff members addressed to these children was coded for multiple variables in the broad social categories of prosody, context, speech act and gesture. The linguistic components were coded within the categories of phonology, lexicon, morphology, syntax and referential deixis. Minimal age-related differences were found. Explanations for the similarity of the adult language input across the age groups within the early childhood educational environment, will be discussed

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nine individuals with complex language deficits following left-hemisphere cortical lesions and a matched control group (n 5 9) performed speeded lexical decisions on the third word of auditory word triplets containing a lexical ambiguity. The critical conditions were concordant (e.g., coin–bank–money), discordant (e.g., river–bank–money), neutral (e.g., day–bank– money), and unrelated (e.g., river–day–money). Triplets were presented with an interstimulus interval (ISI) of 100 and 1250 ms. Overall, the left-hemisphere-damaged subjects appeared able to exhaustively access meanings for lexical ambiguities rapidly, but were unable to reduce the level of activation for contextually inappropriate meanings at both short and long ISIs, unlike control subjects. These findings are consistent with a disruption of the proposed role of the left hemisphere in selecting and suppressing meanings via contextual integration and a sparing of the right-hemisphere mechanisms responsible for maintaining alternative meanings.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The language profile of a group of 18 Alzheimer patients is documented and their performance on a standard aphasia test battery compared to a group of institutionalized, nonneurologically impaired control subjects matched for age, sex, and educational level. The Alzheimer patients scored significantly lower than the controls in the areas of verbal expression, auditory comprehension, repetition, reading, and writing. Articulation abilities were the same in each group. A language deficit was evident in all Alzheimer patients. The language disorder exhibited resembled a transcortical sensory aphasia. Syntax and phonology remained relatively intact but semantic abilities were impaired. The results support the inclusion of a language deficit as a diagnostic criterion of Alzheimer's disease.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The research reported here draws on a study of five teenagers from a Dinka-speaking community of Sudanese settling in Australia. A range of factors including language proficiency, social network structure and language attitudes are examined as possible causes for the variability of language use. The results and discussion illustrate how the use of a triangular research approach captured the complexity of the participants' language situation and was critical to developing a full understanding of the interplay of factors influencing the teens' language maintenance and shift in a way that no single method could. Further, it shows that employment of different methodologies allowed for flexibility in data collection to ensure the fullest response from participants. Overall, this research suggests that for studies of non-standard communities, variability in research methods may prove more of a strength that the use of standardised instruments and approaches.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Demotivation in English language learning was investigated, using Vietnam as a case study, with three main foci: (i) the reasons (i.e., the demotives) underlying demotivation; (ii) the degree of influence of different demotives; and (iii) students’ experiences in overcoming demotivation. Using stimulated recall essays from 100 university students of their foreign language learning experiences, the findings indicated that demotivation was a significant issue for EFL learning, and a framework for discussing the different sources of demotives was developed. While some categories of demotives occurred more frequent than others, no category appeared to be more or less difficult to overcome. Rather, students’ awareness of the role of English language and their determination to succeed were critical factors in overcoming demotivation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A framework for and overview of the key elements of language planning is presented covering status planning, corpus planning, language-in-education planning, prestige planning and critical approaches to language planning. Within each of these areas, key articles outlining important recent directions are discussed indicating the field’s new found sense of vitality.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Except for a few large scale projects, language planners have tended to talk and argue among themselves rather than to see language policy development as an inherently political process. A comparison with a social policy example, taken from the United States, suggests that it is important to understand the problem and to develop solutions in the context of the political process, as this is where decisions will ultimately be made.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Every day trillions of dollars circulate the globe in a digital data space and new forms of property and ownership emerge. Massive corporate entities with a global reach are formed and disappear with breathtaking speed, making and breaking personal fortunes the size of which defy imagination. Fictitious commodities abound. The genomes of entire nations have become corporately owned. Relationships have become the overt basis of economic wealth and political power. Hypercapitalism explores the problems of understanding this emergent form of global political economic organization by focusing on the internal relations between language, new media networks, and social perceptions of value. Taking an historical approach informed by Marx, Phil Graham draws upon writings in political economy, media studies, sociolinguistics, anthropology, and critical social science to understand the development, roots, and trajectory of the global system in which every possible aspect of human existence, including imagined futures, has become a commodity form.

Relevância:

20.00% 20.00%

Publicador: