679 resultados para Clause compromissoire


Relevância:

10.00% 10.00%

Publicador:

Resumo:

A collection of miscellaneous pamphlets on politics.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A collection of miscellaneous pamphlets.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

--pt. II. City and county government: Home rule for cities, by H. L. McBain. A proposal for a revision of the municipal article, by L. A. Tanzer. Local government and the state constitution, by M. H. Glynn. The city and the state constitution, by J. P. Mitchel. The organization of county government, by G. S. Buck. Regulation of economic and social conditions: Constitutional limitations on governmental powers, by S. McC. Lindsay. The future of the workmen's compensation amendment, by T. I. Parkinson. Labor legislation, by A. I. Elkus. State policy of forest and water-power conservation, by J. G. Agar. Public service commissions and the state constitution, by J. N. Carlisle. Charitable and correctional institutions and public health, by H. Folks. The Constitution and public franchises, by D. F. Wilcox. Report of the meeting.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thesis (Ph.D.)--University of Washington, 2016-06

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Fault diagnosis has become an important component in intelligent systems, such as intelligent control systems and intelligent eLearning systems. Reiter's diagnosis theory, described by first-order sentences, has been attracting much attention in this field. However, descriptions and observations of most real-world situations are related to fuzziness because of the incompleteness and the uncertainty of knowledge, e. g., the fault diagnosis of student behaviors in the eLearning processes. In this paper, an extension of Reiter's consistency-based diagnosis methodology, Fuzzy Diagnosis, has been proposed, which is able to deal with incomplete or fuzzy knowledge. A number of important properties of the Fuzzy diagnoses schemes have also been established. The computing of fuzzy diagnoses is mapped to solving a system of inequalities. Some special cases, abstracted from real-world situations, have been discussed. In particular, the fuzzy diagnosis problem, in which fuzzy observations are represented by clause-style fuzzy theories, has been presented and its solving method has also been given. A student fault diagnostic problem abstracted from a simplified real-world eLearning case is described to demonstrate the application of our diagnostic framework.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

his article addresses two aspects of Australia's soft secular government. The first aspect explains how, and asks why, judges have been inactive in helping to draw the contours of secular government in Australia. The principal reason is that much of the social regulation that provokes the interest of faith-based groups is the constitutional concern of the States, and no State Constitution claims to coordinate relations between church and state. Moreover, the electorate has twice refused to pass referenda, in 1944 and 1988, for extending a constitutional demand of secular governance to the States. However, this is not so for the Commonwealth. It falls under the restrictions of section 116 of the federal Constitution, which states: The Commonwealth shall not make any law for establishing any religion ('the establishment clause') or for imposing any religious observance, or for prohibiting the free exercise of any religion ('the free exercise clause'), and no religious test shall be required as a qualification for any office or public trust under the Commonwealth. As will be explained, while methods of legal interpretation suggest that section 116's establishment clause could place mild demands of non-discrimination on the federal Parliament, judicial inactivity in policing such demands on the Commonwealth, paradoxically, has arguably been secured by judicial activism in the High Court. A second aspect of secular government addressed is the High Court's disposal of 'the separation of church and state' as a constitutional principle in Australia. The contrast, of course, is to the United States, where for sixty years 'separation' has been given uneven recognition as a rule of constitutional law, and has undoubtedly driven the development of hard forms of secular governance in that country. The centrepiece of American secular government is the 1971 decision in Lemon v Kurtzman, where the US Supreme Court held that valid legislation had to pass three tests, ie: First, the statute must have a secular legislative purpose; second, its principal or primary effect must be one that neither advances nor inhibits religion .. . finally, the statute must not foster 'an excessive government entanglement with religion. The third 'entanglement' prong of Lemon is the modern, less ambitious, form of the 'wall of separation', prohibiting too close an engagement between church and state. As this paper will demonstrate, 'entanglement's' destiny shows how unlikely it is that 'separation' can survive as a meaningful constitutional principle in the USA. And, it will also be argued that 'separation' has even poorer prospects for import to Australia.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

It has long been observed that many languages from all over the world require that certain grammatical categories (e.g., person, number, tense, modality) occur in the "second position" of a clause. Much of the research into second position has developed formal explanations for this recurring pattern, based on interactions between morphosyntax and phonology. In this article I explore how pragmatics of information packaging interacts with these other features in the development of such morphosyntactic architecture in three North-Central Australian languages: Warlpiri, Wambaya, and Garrwa.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We extend Cuervo's (2003) analysis of the Lower Applicative Dative DP in Spanish to account for the animate definite DP preceded by a and the fact that it is not possible to have both an animate dative definite direct object and a dative indirect object in the same clause. We argue that the presence of such a dative DP 'blocks' the upward movement of the direct object DP to the specifier of the Lower Applicative phrase. We analyse the case ‘mismatch’ between the third person accusative clitic and the co-referring dative DP with animate definite reference in River Plate Spanish as resulting from the raising of the accusative clitic to the head of the Applicative phrase and the movement of the DP to its specifier, where dative case is always assigned in Spanish. We propose that similar phenomena observed in some Australian languages are amenable to a similar analysis.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In real-time programming a timeout mechanism allows exceptional behaviour, such as a lack of response, to be handled effectively, while not overly affecting the programming for the normal case. For. example, in a pump controller if the water level has gone below the minimum level and the pump is on and hence pumping in more water, then the water level should rise above the minimum level within a specified time. If not, there is a fault in the system and it should be shut down and an alarm raised. Such a situation can be handled by normal case code that determines when the level has risen above the minimum, plus a timeout case handling the situation when the specified time to reach the minimum has passed. In this paper we introduce a timeout mechanism, give it a formal definition in terms of more basic real-time commands, develop a refinement law for introducing a timeout clause to implement a specification, and give an example of using the law to introduce a timeout. The framework used is a machine-independent real-time programming language, which makes use of a deadline command to represent timing constraints in a machine-independent fashion. This allows a more abstract approach to handling timeouts.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This book untangles the old grammatical paradox allowing for several negations within the same negative clause through his work of the scope of negations. The scope of each negation over the same predicate is what allows for concordant values. The frequent co-occurrence of negative items, cases of double negation and the expletive negative, as compared to constituent negation, help to demonstrate this. Analysis of these phenomena is based on a large body of data of different varieties of French considered in the light of historical, typological, and psycholinguistic tendencies. While extensive reference is made to current analysis, independence is maintained from any particular model. Starting from syntactic generalisations, the work provides an innovative solution to a classic interpretative issue.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present investigation is based on a linguistic analysis of the 'Housing Act 1980' and attempts to examine the role of qualifications in the structuring of the legislative statement. The introductory chapter isolates legislative writing as a "sub-variety “of legal language and provides an overview of the controversies surrounding the way it is written and the problems it poses to its readers. Chapter two emphasizes the limitations of the available work on the description of language-varieties for the analysis of legislative writing and outlines the approach adopted for the present analysis. This chapter also gives some idea of the information-structuring of legislative provisions and establishes qualification as a key element in their textualisation. The next three chapters offer a detailed account of the ten major qualification-types identified in the corpus, concentrating on the surface form they take, the features of legislative statements they textualize and the syntactic positions to which they are generally assigned in the statement of legislative provisions. The emerging hypotheses in these chapters have often been verified through a specialist reaction from a Parliamentary Counsel, largely responsible for the writing of the ‘Housing Act 1980’• The findings suggest useful correlations between a number of qualificational initiators and the various aspects of the legislative statement. They also reveal that many of these qualifications typically occur in those clause-medial syntactic positions which are sparingly used in other specialist discourse, thus creating syntactic discontinuity in the legislative sentence. Such syntactic discontinuities, on the evidence from psycholinguistic experiments reported in chapter six, create special problems in the processing and comprehension of legislative statements. The final chapter converts the main linguistic findings into a series of pedagogical generalizations, offers indications of how this may be applied in EALP situations and concludes with other considerations of possible applications.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present work studies the overall structuring of radio news discourse via investigating three metatextual/interactive functions: (1) Discourse Organizing Elements (DOEs), (2) Attribution and (3) Sentential and Nominal Background Information (SBI & NBI). An extended corpus of about 73,000 words from BBC and Radio Damascus news is used to study DOEs and a restricted corpus of 38,000 words for Attribution and S & NBI. A situational approach is adopted to assess the influence of factors such as medium and audience on these functions and their frequence. It is found that: (1) DOEs are organizational and their frequency is determined by length of text; (2) Attribution Function in accordance with the editor's strategy and its frequency is audience sensitive; and (3) BI provides background information and is determined by audience and news topics. Secondly, the salient grammatical elements in DOEs are discourse deictic demonstratives, address pronouns and nouns referring to `the news'. Attribution is realized in reporting/reported clauses, and BI in a sentence, a clause or a nominal group. Thirdly, DOEs establish a hierarchy of (1) news, (2) summary/expansion and (3) item: including topic introduction and details. While Attribution is generally, and SBI solely, a function of detailing, NBI and proper names are generally a function of summary and topic introduction. Being primarily addressed to audience and referring metatextually, the functions investigated support Sinclair's interactive and autonomous planes of discourse. They also shed light on the part(s) of the linguistic system which realize the metatextual/interactive function. Strictly, `discourse structure' inevitably involves a rank-scale; but news discourse also shows a convention of item `listing'. Hence only within the boundary of variety (ultimately interpreted across language and in its situation) can textual functions and discourse structure be studied. Finally, interlingual variety study provides invaluable insights into a level of translation that goes beyond matching grammatical systems or situational factors, an interpretive level which has to be described in linguistic analysis of translation data.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

For more than forty years, research has been on going in the use of the computer in the processing of natural language. During this period methods have evolved, with various parsing techniques and grammars coming to prominence. Problems still exist, not least in the field of Machine Translation. However, one of the successes in this field is the translation of sublanguage. The present work reports Deterministic Parsing, a relatively new parsing technique, and its application to the sublanguage of an aircraft maintenance manual for Machine Translation. The aim has been to investigate the practicability of using Deterministic Parsers in the analysis stage of a Machine Translation system. Machine Translation, Sublanguage and parsing are described in general terms with a review of Deterministic parsing systems, pertinent to this research, being presented in detail. The interaction between machine Translation, Sublanguage and Parsing, including Deterministic parsing, is also highlighted. Two types of Deterministic Parser have been investigated, a Marcus-type parser, based on the basic design of the original Deterministic parser (Marcus, 1980) and an LR-type Deterministic Parser for natural language, based on the LR parsing algorithm. In total, four Deterministic Parsers have been built and are described in the thesis. Two of the Deterministic Parsers are prototypes from which the remaining two parsers to be used on sublanguage have been developed. This thesis reports the results of parsing by the prototypes, a Marcus-type parser and an LR-type parser which have a similar grammatical and linguistic range to the original Marcus parser. The Marcus-type parser uses a grammar of production rules, whereas the LR-type parser employs a Definite Clause Grammar(DGC).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The parallel resolution procedures based on graph structures method are presented. OR-, AND- and DCDP- parallel inference on connection graph representation is explored and modifications to these algorithms using heuristic estimation are proposed. The principles for designing these heuristic functions are thoroughly discussed. The colored clause graphs resolution principle is presented. The comparison of efficiency (on the Steamroller problem) is carried out and the results are presented. The parallel unification algorithm used in the parallel inference procedure is briefly outlined in the final part of the paper.