930 resultados para Literary constraint
Resumo:
Prescott, S. (2003). Women, Authorship and Literary Culture, 1690 - 1740. Basingstoke: Palgrave Macmillan. RAE2008
Resumo:
Williams, Gruffydd. 'The literary tradition to c. 1560', In: History of Merioneth, Vol. II: The Middle Ages (University of Wales Press, 2001), pp.507-628 RAE2008
Resumo:
The role of renewable energy in power systems is becoming more significant due to the increasing cost of fossil fuels and climate change concerns. However, the inclusion of Renewable Energy Generators (REG), such as wind power, has created additional problems for power system operators due to the variability and lower predictability of output of most REGs, with the Economic Dispatch (ED) problem being particularly difficult to resolve. In previous papers we had reported on the inclusion of wind power in the ED calculations. The simulation had been performed using a system model with wind power as an intermittent source, and the results of the simulation have been compared to that of the Direct Search Method (DSM) for similar cases. In this paper we report on our continuing investigations into using Genetic Algorithms (GA) for ED for an independent power system with a significant amount of wind energy in its generator portfolio. The results demonstrate, in line with previous reports in the literature, the effectiveness of GA when measured against a benchmark technique such as DSM.
Resumo:
System F is a type system that can be seen as both a proof system for second-order propositional logic and as a polymorphic programming language. In this work we explore several extensions of System F by types which express subtyping constraints. These systems include terms which represent proofs of subtyping relationships between types. Given a proof that one type is a subtype of another, one may use a coercion term constructor to coerce terms from the first type to the second. The ability to manipulate type constraints as first-class entities gives these systems a lot of expressive power, including the ability to encode generalized algebraic data types and intensional type analysis. The main contributions of this work are in the formulation of constraint types and a proof of strong normalization for an extension of System F with constraint types.
Resumo:
The problem of discovering frequent arrangements of temporal intervals is studied. It is assumed that the database consists of sequences of events, where an event occurs during a time-interval. The goal is to mine temporal arrangements of event intervals that appear frequently in the database. The motivation of this work is the observation that in practice most events are not instantaneous but occur over a period of time and different events may occur concurrently. Thus, there are many practical applications that require mining such temporal correlations between intervals including the linguistic analysis of annotated data from American Sign Language as well as network and biological data. Two efficient methods to find frequent arrangements of temporal intervals are described; the first one is tree-based and uses depth first search to mine the set of frequent arrangements, whereas the second one is prefix-based. The above methods apply efficient pruning techniques that include a set of constraints consisting of regular expressions and gap constraints that add user-controlled focus into the mining process. Moreover, based on the extracted patterns a standard method for mining association rules is employed that applies different interestingness measures to evaluate the significance of the discovered patterns and rules. The performance of the proposed algorithms is evaluated and compared with other approaches on real (American Sign Language annotations and network data) and large synthetic datasets.
Resumo:
Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.
Resumo:
Much work has been done on learning from failure in search to boost solving of combinatorial problems, such as clause-learning and clause-weighting in boolean satisfiability (SAT), nogood and explanation-based learning, and constraint weighting in constraint satisfaction problems (CSPs). Many of the top solvers in SAT use clause learning to good effect. A similar approach (nogood learning) has not had as large an impact in CSPs. Constraint weighting is a less fine-grained approach where the information learnt gives an approximation as to which variables may be the sources of greatest contention. In this work we present two methods for learning from search using restarts, in order to identify these critical variables prior to solving. Both methods are based on the conflict-directed heuristic (weighted-degree heuristic) introduced by Boussemart et al. and are aimed at producing a better-informed version of the heuristic by gathering information through restarting and probing of the search space prior to solving, while minimizing the overhead of these restarts. We further examine the impact of different sampling strategies and different measurements of contention, and assess different restarting strategies for the heuristic. Finally, two applications for constraint weighting are considered in detail: dynamic constraint satisfaction problems and unary resource scheduling problems.
Resumo:
This thesis examines the literary output of German servicemen writers writing from the occupied territories of Europe in the period 1940-1944. Whereas literary-biographical studies and appraisals of the more significant individual writers have been written, and also a collective assessment of the Eastern front writers, this thesis addresses in addition the German literary responses in France and Greece, as being then theatres of particular cultural/ideological attention. Original papers of the writer Felix Hartlaub were consulted by the author at the Deutsches Literatur Archiv (DLA) at Marbach. Original imprints of the wartime works of the subject writers are referred to throughout, and citations are from these. As all the published works were written under conditions of wartime censorship and, even where unpublished, for fear of discovery written in oblique terms, the texts were here examined for subliminal authorial intention. The critical focus of the thesis is on literary quality: on aesthetic niveau, on applied literary form, and on integrity of authorial intention. The thesis sought to discover: (1) the extent of the literary output in book-length forms. (2) the auspices and conditions under which this literary output was produced. (3) the publication history and critical reception of the output. The thesis took into account, inter alia: (1) occupation policy as it pertained locally to the writers’ remit; (2) the ethical implications of this for the writers; (3) the writers’ literary stratagems for negotiating the constraints of censorship.
Resumo:
Since the age of colonisation, the territory of New Mexico has been exposed to a diversity of cultural influence. Throughout recorded history various forces have battled for control of this territory, resulting in a continuous redefinition of its political, geographic and economic boundaries. Early representations of the Southwest have been defined as “strategies of negotiation” between Anglo, Hispanic and Native populations, strategies that are particularly evident in the territory of New Mexico. The contemporary identity of regions like northern New Mexico have destabilised the notion of what constitutes racial purity in regions which are defined by diversity. This thesis aims to evaluate the literary history of northern New Mexico in order to determine how exposure to a diversity of cultural influence has affected the region’s identity. An analysis of Anglo and Native writers from northern New Mexico will illustrate that these racial groups were influenced by the same geographic landscape. As such, their writing displays many characteristics unique to the region. In providing a comparative analysis of Native and Anglo authors from northern New Mexico, this thesis seeks to demonstrate commonalities of theme, structure and content. In doing so this research encourages a new perspective on New Mexico writing one which effectively de-centres contemporary notions of what the American canon should be.
The Celtic dragon slayer - a literary analysis of Tochmarc Emire in connection with Tristan et Iseut
Resumo:
As Celtic scholars have long noted, the medieval Irish tale Tochmarc Emire “The Courtship of Emer” is heavily indebted to other medieval Irish texts. In this tale of courtship and otherworldly quests, the Irish hero Cú Chulainn must prove himself worthy of the hand of the noblewoman Emer. Among his overseas adventures, Cú Chulainn rescues a princess from three attackers of the Fomoire. This episode may represent the only medieval Irish example of AT300 “The Dragon Slayer”, a story pattern known from classical models such as the stories of Perseus and Andromeda; and Hercules and Hesione. Moreover, in the company of Cú Chulainn we find a character otherwise unknown to Irish tradition by the name of Drust mac Seirb. This has led scholars to argue that Tochmarc Emire may preserve a Celtic precursor of the Continental Tristan legend, seeing in Drust the Pictish origin of the character Tristan, himself a famous dragon slayer. In this interdisciplinary dissertation, a number of questions are addressed. If the redactor of Tochmarc Emire drew on material from outside Irish tradition, what does this tell us about medieval Irish concepts of literature and genre? Further, what evidence do we have for tracing the origin of the Continental Tristan legend back to Pictland, and what explanation might we offer for a putative Pictish prince featuring in an Irish Dragon Slayer story? Finally, what place does the Dragon Slayer episode occupy within Tochmarc Emire and can we find other narratives, Celtic or classical or other, fitting the pattern of AT300, which may strengthen the link between Tochmarc Emire and Tristan?
Resumo:
BACKGROUND: Anterior cruciate ligament (ACL) reconstruction is associated with a high incidence of second tears (graft tears and contralateral ACL tears). These secondary tears have been attributed to asymmetrical lower extremity mechanics. Knee bracing is one potential intervention that can be used during rehabilitation that has the potential to normalize lower extremity asymmetry; however, little is known about the effect of bracing on movement asymmetry in patients following ACL reconstruction. HYPOTHESIS: Wearing a knee brace would increase knee joint flexion and joint symmetry. It was also expected that the joint mechanics would become more symmetrical in the braced condition. OBJECTIVE: To examine how knee bracing affects knee joint function and symmetry over the course of rehabilitation in patients 6 months following ACL reconstruction. STUDY DESIGN: Controlled laboratory study. LEVEL OF EVIDENCE: Level 3. METHODS: Twenty-three adolescent patients rehabilitating from ACL reconstruction surgery were recruited for the study. The subjects all underwent a motion analysis assessment during a stop-jump activity with and without a functional knee brace on the surgical side that resisted extension for 6 months following the ACL reconstruction surgery. Statistical analysis utilized a 2 × 2 (limb × brace) analysis of variance with a significant alpha level of 0.05. RESULTS: Subjects had increased knee flexion on the surgical side when they were braced. The brace condition increased knee flexion velocity, decreased the initial knee flexion angle, and increased the ground reaction force and knee extension moment on both limbs. Side-to-side asymmetry was present across conditions for the vertical ground reaction force and knee extension moment. CONCLUSION: Wearing a knee brace appears to increase lower extremity compliance and promotes normalized loading on the surgical side. CLINICAL RELEVANCE: Knee extension constraint bracing in postoperative ACL patients may improve symmetry of lower extremity mechanics, which is potentially beneficial in progressing rehabilitation and reducing the incidence of second ACL tears.
Resumo:
"Facts and Fictions: Feminist Literary Criticism and Cultural Critique, 1968-2012" is a critical history of the unfolding of feminist literary study in the US academy. It contributes to current scholarly efforts to revisit the 1970s by reconsidering often-repeated narratives about the critical naivety of feminist literary criticism in its initial articulation. As the story now goes, many of the most prominent feminist thinkers of the period engaged in unsophisticated literary analysis by conflating lived social reality with textual representation when they read works of literature as documentary evidence of real life. As a result, the work of these "bad critics," particularly Kate Millett and Andrea Dworkin, has not been fully accounted for in literary critical terms.
This dissertation returns to Dworkin and Millett's work to argue for a different history of feminist literary criticism. Rather than dismiss their work for its conflation of fact and fiction, I pay attention to the complexity at the heart of it, yielding a new perspective on the history and persistence of the struggle to use literary texts for feminist political ends. Dworkin and Millett established the centrality of reality and representation to the feminist canon debates of "the long 1970s," the sex wars of the 1980s, and the more recent feminist turn to memoir. I read these productive periods in feminist literary criticism from 1968 to 2012 through their varied commitment to literary works.
Chapter One begins with Millett, who de-aestheticized male-authored texts to treat patriarchal literature in relation to culture and ideology. Her mode of literary interpretation was so far afield from the established methods of New Criticism that she was not understood as a literary critic. She was repudiated in the feminist literary criticism that followed her and sought sympathetic methods for reading women's writing. In that decade, the subject of Chapter Two, feminist literary critics began to judge texts on the basis of their ability to accurately depict the reality of women's experiences.
Their vision of the relationship between life and fiction shaped arguments about pornography during the sex wars of the 1980s, the subject of Chapter Three. In this context, Dworkin was feminism's "bad critic." I focus on the literary critical elements of Dworkin's theories of pornographic representation and align her with Millett as a miscategorized literary critic. In the decades following the sex wars, many of the key feminist literary critics of the founding generation (including Dworkin, Jane Gallop, Carolyn Heilbrun, and Millett) wrote memoirs that recounted, largely in experiential terms, the history this dissertation examines. Chapter Four considers the story these memoirists told about the rise and fall of feminist literary criticism. I close with an epilogue on the place of literature in a feminist critical enterprise that has shifted toward privileging theory.
Resumo:
We study a two-machine open shop scheduling problem, in which one machine is not available for processing during a given time interval. The objective is to minimize the makespan. We show that the problem is NP-hard and present an approximation algorithm with a worst-case ratio of 4/3.
Resumo:
This paper introduces a characterization of the so-called most general temporal constraint (GTC), which guarantees the common-sense assertion that "the beginning of the effect cannot precede the beginning of the cause". The formalism is based on general time theory which takes both points and intervals as primitive. It is shown that there are in fact 8 possible causal relationships which satisfy GTC, including cases where, on the one hand, effects start simultaneously with, during, immediately after, or some time after their causes, and on the other hand, events end before, simultaneously with, or after their causes. These causal relationships are versatile enough to subsume those representatives in the literature.