65 resultados para ASK-CTL
Resumo:
This publication takes the form of a written version of my inaugural lecture, which was presented at Queen’s University Belfast on 10 March 2010. It is more personal and considerably more self-indulgent than would normally be acceptable in an article, with more of my own experiences and also my own references than would usually be considered proper. However, the bestowal of such a title as Professor of Island Geography is something of a marker of the maturity not just of myself but maybe also for island studies. After a section describing my path into island geography, the lecture deals with the negativities of islands and the seeming futility of studying them only then to identify a new or at least enhanced regard for islands as places with which to interact and to examine. Reference is made to islands throughout the world, but with some focus on the small islands off Ireland. The development of island studies as a discipline is then briefly described before the lecture concludes with reference to its title quotation on St Helena by considering that place’s islandness and how this affected/affects it in both the 17th and 21st centuries.
Resumo:
We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E and A where d denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. © 2009 Springer Science+Business Media B.V.
Just ask the Lonely: Lessons learnt from the Engage with Age Big Lottery funded HOPE Project 2012-14
Resumo:
Aim. To examine whether the people with diabetes who ask for psychological support are those who are experiencing clinically significant levels of psychological distress.
Method. In total 300 people with diabetes were asked to complete psychometrically validated questionnaires that assessed subjective need and objective psychological distress.
Results. High levels of psychological distress were reported: 25% of the sample reported depressive symptomatology, 41% reported clinically significant levels if anxiety and 51% reported a degree of binge eating behaviour. Participants also indicated a desire to talk to diabetes professionals about various problem areas in diabetes. Chi-square analysis demonstrated that those reporting psychological distress, especially depression, were most likely to indicate a desire to talk to somebody about living with diabetes.
Conclusions. Those who want to talk are those who need to talk. Future service development issues should acknowledge the needs and expressed wishes of service users.
Resumo:
This article examines the role of contemporary art in a post-9/11 context through The American Effect exhibition at the Whitney Museum of American Art in New York in 2003. This exhibition displayed a range of artworks from around the world that specifically engaged with, commented upon and interrogated the USA's pre-eminent position as a global superpower. In the politically charged climate after 9/11, the exhibition offered itself as a critical voice amid the more obvious patriotic clamour: it was one of the places where Americans could ask (and answer) the question, `Why do they hate us so much?' Although The American Effect claimed to be a space of dissent, it ultimately failed to question, let alone challenge, US global hegemony. Instead, the exhibition articulated a benevolent patriotism that forced artwork from other nations into supplicating and abject positions, and it obscured the complex discursive networks that connect artists, curators, critics, audiences and art museums.
Resumo:
This paper presents evidence that the bid-ask spreads in euro rates increased relative to the corresponding bid-ask spreads in the German mark (DM) prior to the creation of the currency union. This comes with a decrease in transaction volume in the euro rates relative to the previous DM rates. The starkest example is the DM(euro)/yen rate in which the spread has risen by almost two-thirds while the volume decreased by more than one third. This outcome is surprising because the common currency concentrated market liquidity in fewer external euro rates and higher volume tends to be associated with lower spreads. We propose a microstructure explanation based on a change in the information environment of the FX market. The elimination of many cross currency pairs increased the market transparency for order flow imbalances in the dealership market. It is argued that higher market transparency adversely affects the inventory risk sharing efficiency of the dealership market and induces the observed euro spread increase and transaction volume shortfall.
Resumo:
Among the wives of eighteenth-century composers, no one is perhaps more favourably and affectionately described than Bach's second wife, Anna Magdalena (1701-1760). She has been commonly pictured as her husband's trusted assistant, copying his works in handwriting which closely resembled her husband's beautiful calligraphy. No one appreciates her contributions more than today's musicologists, for her copies are usually 'neat and accurate', and are often among the most important primary sources when Bach's autographs do not survive. Occasionally, however, it is difficult to accommodate this patronising view of her role and its significance. It is well known, for instance, that her copy of Bach's Cello Suites (BWV 1007-1012) contains an unusually large number of inaccuracies and copying errors. One must ask how many of these blunders should be ascribed to her. How would a 'neat and accurate' copyist produce such an error-ridden manuscript if she had made it from a fair copy? In this paper, I shall first discuss Anna's copies of Bach's works, and see if any particular patterns or tendencies in her copying activities emerge when these are placed in this broader chronological context. In an attempt to evaluate her performance as a copyist, I shall look at typical situations in which she worked, while at the same time seeking to discover what additional values her copies may bring to our studies of Bach's life and works.
Resumo:
A common feature of the mammalian septin gene family is complex genomic architecture with multiple alternate splice variants. Septin 9 has 18 distinct transcripts encoding 15 polypeptides, with two transcripts (SEPT9_v4 and v4*) encoding the same polypeptide. We have previously reported that the ratio of these distinct transcripts is altered in neoplasia, with the v4 transcript being the usual form in normal cells but v4* becoming predominant in tumours. This led us to ask what the functional differences between these two transcripts might be. The 5'-UTRs of v4 and v4* have distinct 5' ends encoded by exons 1 beta (v4) and 1 zeta and 2 (v4*) and a common 3' region and initiating ATG encoded within exon 3. Here we show that the two mRNAs are translated with different efficiencies and that cellular stress can alter this. A putative internal ribosome entry site can be identified in the common region of the v4 and v4* 5'-UTRs and translation is modulated by an upstream open-reading frame in the unique region of the v4 5'-UTR. Germline mutations in hereditary neuralgic amyotrophy (HNA) map to the region which is common to the two UTRs. These mutations dramatically enhance the translational efficiency of the v4 5'-UTR, leading to elevated SEPT9_v4 protein under hypoxic conditions. Our data provide a mechanistic insight into how the HNA mutations can alter the fine control of SEPT9_v4 protein and its regulation under physiologically relevant conditions and are consistent with the episodic and stress-induced nature of the clinical features of HNA.
Resumo:
Gene gun immunization, i.e., bombardment of skin with DNA-coated particles, is an efficient method for the administration of DNA vaccines. Direct transfection of APC or cross-presentation of exogenous Ag acquired from transfected nonimmune cells enables MHC-I-restricted activation of CD8(+) T cells. Additionally, MHC-II-restricted presentation of exogenous Ag activates CD4(+) Th cells. Being the principal APC in the epidermis, Langerhans cells (LC) seem ideal candidates to accomplish these functions. However, the dependence on LC of gene gun-induced immune reactions has not yet been demonstrated directly. This was primarily hampered by difficulties to discriminate the contributions of LC from those of other dermal dendritic cells. To address this problem, we have used Langerin-diphtheria toxin receptor knockin mice that allow for selective inducible ablation of LC. LC deficiency, even over the entire duration of experiments, did not affect any of the gene gun-induced immune functions examined, including proliferation of CD4(+) and CD8(+) T cells, IFN-gamma secretion by spleen cells, Ab production, CTL activity, and development of protective antitumor immunity.
Resumo:
A current induces forces on atoms inside the conductor that carries it. It is now possible to compute these forces from scratch, and to perform dynamical simulations of the atomic motion under current. One reason for this interest is that current can be a destructive force—it can cause atoms to migrate, resulting in damage and in the eventual failure of the conductor. But one can also ask, can current be made to do useful work on atoms? In particular, can an atomic-scale motor be driven by electrical current as it can be by other mechanisms. For this to be possible, the current-induced forces on a suitable rotor must be non-conservative, so that net work can be done per revolution. Here we show that current-induced forces in atomic wires are not conservative and that they can be used, in principle, to drive an atomic-scale waterwheel.
Resumo:
The most appropriate way to measure the social benefits of conserving built cultural heritage sites is to ask the beneficiaries of conservation interventions how much they would be willing to pay for them. We use contingent valuation - a survey-based approach that elicits willingness to pay (WTP) directly from individuals - to estimate the benefits of a nationwide conservation of built cultural heritage sites in Armenia. The survey was administered to Armenian nationals living in Armenia, and obtained extensive information about the respondents' perceptions of the current state of conservation of monuments in Armenia, described the current situation, presented a hypothetical conservation program, elicited WTP for it, and queried individuals about what they thought would happen to monument sites in the absence of the government conservation program. We posit that respondents combined the information about the fate of monuments provided by the questionnaire with their prior beliefs, and that WTP for the good, or program, is likely to be affected by these updated beliefs. We propose a Bayesian updating model of prior beliefs, and empirically implement it with the data from our survey. We found that uncertainty about what would happen to monuments in the absence of the program results in lower WTP amounts. © 2008 Pion Ltd and its Licensors.
Resumo:
A pin diode-loaded active doubly periodic flat strip FSS is shown to act as a dynamic screen. It is shown that by means of d.c. bias control, we can utilize the screen in, (1) transmission mode as a dual band electromagnetic shutter, or with the inclusion of a ground plane in reflection mode, (is (2) it dual band refection canceller. (3) an amplitude shift keying (ASK) spatial modulator. The properties of the FSS are characterized using a specially designed parallel plate waveguide simulator that permits normal incidence excitation of the FSS under test. (C) 2009 Wiley Periodicals. Inc. Microwave Opt Technol Lett 51: 2059-2061, 2009; Published online in Wiley Inter-Science (www. interscience.wiley.com). DOI 10.1002/mop.24547
Resumo:
Langerhans cells (LCs) are dendritic cells (DCs) localized in stratified epithelia, such as those overlaying skin, buccal mucosa, and vagina. The contribution of LCs to the promotion or control of immunity initiated at epithelial sites remains debated. We report in this paper that an immunogen comprising OVA linked to the B subunit of cholera toxin, used as delivery vector, was efficient to generate CTLs after vaginal immunization. Using Lang-EGFP mice, we evaluated the contribution of distinct DC subsets to the generation of CD4 and CD8 T cell responses. We demonstrate that the vaginal epithelium, unlike the skin epidermis, includes a minor population of LCs and a major subset of langerin(-) DCs. Intravaginally administered Ag is taken up by LCs and langerin(-) DCs and carried up to draining lymph nodes, where both subsets prime CD8 T cells, unlike blood-derived DCs, although with distinct capabilities. LCs prime CD8 T cells with a cytokine profile dominated by IL-17, whereas Lang(-) DCs induce IFN-gamma-producing T cells. Using Lang-DTR-EGFP mice to ensure a transient ablation of LCs, we found that these cells not only are dispensable for the generation of genital CTL responses but also downregulate these responses, by a mechanism that may involve IL-10 and IL-17 cytokines. This finding has implications for the development of mucosal vaccines and immunotherapeutic strategies designed for the targeting of DCs.
Resumo:
This article reports on research carried out on 200 child welfare files from the largest welfare authority in Northern Ireland from 1950-1968. The literature review provides a commentary on some of the major debates surrounding child welfare and protection social work from the perspective of its historical development. The report of the research which follows offers an insight into one core, and less well-known period of child welfare history in Northern Ireland between the two Children and Young Persons Acts (1950 & 1968). Using a method of discourse analysis influenced by Michel Foucault, a detailed description of the nature of practice is offered. This paper is offered as a work in progress, with further work being planned for dissemination of more detailed analysis of the method and outcomes. The research seeks to ask a few core questions based on problems identified in the present with our current understandings of child welfare and protection histories. While recognising the limitations of this study and the need for broader analysis of the wider context surrounding child welfare practice at the moment, it is argued that some salient conclusions can be drawn about continuity and discontinuity in practice which are of interest to practitioners and students of child welfare social work.