Counterexample to Peano's theorem in infinite-dimensional F '-spaces

Let $E$ be a nonnormable Frechet space, and let $E'$ be the space of all continuous linear functionals on $E$ in the strong topology. A continuous mapping $f : E' \to E'$ such that for any $t_0\in R$ and $x_0\in E'$, the Cauchy problem $\dot x= f(x)$, x(t_0) = x_0$ has no solutions is constructed.

Some results on solvability of ordinary linear differential equations in locally convex spaces

Let $\Gamma$ be the class of sequentially complete locally convex spaces such that an existence theorem holds for the linear Cauchy problem $\dot x = Ax$, $x(0) = x_0$ with respect to functions $x: R\to E$. It is proved that if $E\in \Gamma$, then $E\times R^A$ is-an-element-of $\Gamma$ for an arbitrary set $A$. It is also proved that a topological product of infinitely many infinite-dimensional Frechet spaces, each not isomorphic to $\omega$, does not belong to $\Gamma$.

The Regulation of Public Space in Northern Ireland

The Parades Commission of Northern Ireland was established to regulate the use of public space in the region. Its formal design includes both a role in mediating between groups over how spaces are used and an adjudicative role when agreement between competing groups cannot be reached. We argue that the Parades Commission has only been effective to the degree that its character as a bureaucracy has quelled violence surrounding parades. The Commission's goal of conciliation cannot be attained without a more consistent, transparent and inclusive approach to applying law.

Formal and informal care utilisation amongst elderly persons with visual impairment.

OBJECTIVE: To examine the determinants of formal and informal care utilisation amongst persons with age-related macular degeneration (AMD). DESIGN: Cross-sectional hospital-based study. SETTING: Hospital eye clinic in Northern Ireland. PARTICIPANTS: 284 persons aged >or=50 years. MAIN OUTCOME MEASURES: Participants were questioned about their care, living arrangements, eyesight-related ability to self-care, and eyesight-related need to be more careful whilst undertaking everyday tasks. RESULTS: The percentage of older persons receiving formal and informal care rose with the level of visual impairment. 34.9% and 37.3% of those with no visual impairment received formal and informal care, respectively, compared with 51.6% and 69.9% of those with moderate visual impairment and 55.6% and 88.9% of those with severe visual impairment. Three factors (age, best corrected distance visual acuity in the better eye and living alone) were significant predictors (p

Protest practice and (tree) cultures of conflict: understanding the spaces of ‘tree maiming’ in eighteenth- and early nineteenth-century England

Developing understandings of protest and cultures of resistance has been a central theme of the 'new' cultural geography of the 1990s and 2000s. But whilst geographers of the here and now have been highly sensitive to the importance of acts of protest which occur outside of the context of broader social movements, geographers concerned with past protests have tended to focus overwhelmingly upon either understanding the development of social movements or highly specific place-based studies. Through a focus upon the hitherto ignored practice of 'tree maiming', this paper demonstrates not only the value of examining specific protest practices in helping to better understand the complexity of conflict, but also how in periods of acute socio-economic change the evolving relationship between humans and the non-human – in this case trees – is a central discourse to the protest practices of the poor. Such attacks often involved complex cultural understandings about the ways in which trees should – and should not – be socially enrolled.

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.