226 resultados para formal semantics
Resumo:
Molecular medicine is transforming modern clinical practice, from diagnostics to therapeutics. Discoveries in research are being incorporated into the clinical setting with increasing rapidity. This transformation is also deeply changing the way we practise pathology. The great advances in cell and molecular biology which have accelerated our understanding of the pathogenesis of solid tumours have been embraced with variable degrees of enthusiasm by diverse medical professional specialties. While histopathologists have not been prompt to adopt molecular diagnostics to date, the need to incorporate molecular pathology into the training of future histopathologists is imperative. Our goal is to create, within an existing 5-year histopathology training curriculum, the structure for formal substantial teaching of molecular diagnostics. This specialist training has two main goals: (1) to equip future practising histopathologists with basic knowledge of molecular diagnostics and (2) to create the option for those interested in a subspecialty experience in tissue molecular diagnostics to pursue this training. It is our belief that this training will help to maintain in future the role of the pathologist at the centre of patient care as the integrator of clinical, morphological and molecular information.
Resumo:
Three issues usually are associated with threat prevention intelligent surveillance systems. First, the fusion and interpretation of large scale incomplete heterogeneous information; second, the demand of effectively predicting suspects’ intention and ranking the potential threats posed by each suspect; third, strategies of allocating limited security resources (e.g., the dispatch of security team) to prevent a suspect’s further actions towards critical assets. However, in the literature, these three issues are seldomly considered together in a sensor network based intelligent surveillance framework. To address
this problem, in this paper, we propose a multi-level decision support framework for in-time reaction in intelligent surveillance. More specifically, based on a multi-criteria event modeling framework, we design a method to predict the most plausible intention of a suspect. Following this, a decision support model is proposed to rank each suspect based on their threat severity and to determine resource allocation strategies. Finally, formal properties are discussed to justify our framework.
Resumo:
Background: Men can be hard to reach with face-to-face health-related information, while increasingly, research shows that they are seeking health information from online sources. Recognizing this trend, there is merit in developing innovative online knowledge translation (KT) strategies capable of translating research on men’s health into engaging health promotion materials. While the concept of KT has become a new mantra for researchers wishing to bridge the gap between research evidence and improved health outcomes, little is written about the process, necessary skills, and best practices by which researchers can develop online knowledge translation.
Objective: Our aim was to illustrate some of the processes and challenges involved in, and potential value of, developing research knowledge online to promote men’s health.
Methods: We present experiences of KT across two case studies of men’s health. First, we describe a study that uses interactive Web apps to translate knowledge relating to Canadian men’s depression. Through a range of mechanisms, study findings were repackaged with the explicit aim of raising awareness and reducing the stigma associated with men’s depression and/or help-seeking. Second, we describe an educational resource for teenage men about unintended pregnancy, developed for delivery in the formal Relationship and Sexuality Education school curricula of Ireland, Northern Ireland (United Kingdom), and South Australia. The intervention is based around a Web-based interactive film drama entitled “If I Were Jack”.
Results: For each case study, we describe the KT process and strategies that aided development of credible and well-received online content focused on men’s health promotion. In both case studies, the original research generated the inspiration for the interactive online content and the core development strategy was working with a multidisciplinary team to develop this material through arts-based approaches. In both cases also, there is an acknowledgment of the need for gender and culturally sensitive information. Both aimed to engage men by disrupting stereotypes about men, while simultaneously addressing men through authentic voices and faces. Finally, in both case studies we draw attention to the need to think beyond placement of content online to delivery to target audiences from the outset.
Conclusions: The case studies highlight some of the new skills required by academics in the emerging paradigm of translational research and contribute to the nascent literature on KT. Our approach to online KT was to go beyond dissemination and diffusion to actively repackage research knowledge through arts-based approaches (videos and film scripts) as health promotion tools, with optimal appeal, to target male audiences. Our findings highlight the importance of developing a multidisciplinary team to inform the design of content, the importance of adaptation to context, both in terms of the national implementation context and consideration of gender-specific needs, and an integrated implementation and evaluation framework in all KT work.
Resumo:
At the Sixth International Cough Symposium, eleven clinical posters were presented at the podium in a formal symposium session. Here we summarize the posters and the discussions.
Resumo:
Bax's Fourth is the only one of his symphonies that alludes explicitly to an extramusical stimulus: 'a rough sea at flood-tide on a sunny day'. This essay contextualizes Bax's frequent use of sea imagery throughout his oeuvre, noting in particular the peripherality of the composer's observation of the sea from the liminal position of the shore. It then considers how the idea of the sea in the Fourth Symphony is related to several musical features (motivic coherence, thematic expansion, formal anomalies), and how the sea is central to the underlying conflict in the work between nature and humanity.
Resumo:
Having experienced social and political structures of the 19th century Europe, Western- educated Egyptian elite used public institutions to force legislative structures and procedures that ruled out traditional housing forms and spatial systems. This essay detects direct and indirect impact of these changes that informed the spatial change of modern living in Egypt in the first quarter of the twentieth century. It offers analysis of socio-spatial practices and change in ordinary Cairenes’ modes of everyday living, using social routine and interaction to explain spatial systems and changing house forms during the first quarter of the 20th century. In doing so, the essay utilized archival documents, accounts, formal decrees, and novels of the time as well as conducting survey of house forms and spatial organizations in Old Cairo.
Resumo:
Belief merging operators combine multiple belief bases (a profile) into a collective one. When the conjunction of belief bases is consistent, all the operators agree on the result. However, if the conjunction of belief bases is inconsistent, the results vary between operators. There is no formal manner to measure the results and decide on which operator to select. So, in this paper we propose to evaluate the result of merging operators by using three ordering relations (fairness, satisfaction and strength) over operators for a given profile. Moreover, a relation of conformity over operators is introduced in order to classify how well the operator conforms to the definition of a merging operator. By using the four proposed relations we provide a comparison of some classical merging operators and evaluate the results for some specific profiles.
Resumo:
The BDI architecture, where agents are modelled based on their beliefs, desires and intentions, provides a practical approach to develop large scale systems. However, it is not well suited to model complex Supervisory Control And Data Acquisition (SCADA) systems pervaded by uncertainty. In this paper we address this issue by extending the operational semantics of Can(Plan) into Can(Plan)+. We start by modelling the beliefs of an agent as a set of epistemic states where each state, possibly using a different representation, models part of the agent's beliefs. These epistemic states are stratified to make them commensurable and to reason about the uncertain beliefs of the agent. The syntax and semantics of a BDI agent are extended accordingly and we identify fragments with computationally efficient semantics. Finally, we examine how primitive actions are affected by uncertainty and we define an appropriate form of lookahead planning.
Resumo:
3-Allyl substituted five six and seven membered ring lactams, are readily available in good yields and reasonable selectivity by a formal Meerwein Eschenmoser [3,3] rearrangement, using readily available methoxymethyleniminium salts and lithium alkoxides derived from allyl alcohols.
Resumo:
3-Allyl substituted five, six, and seven membered ring lactams are readily available in good yields and reasonable selectivity by a formal Meerwein Eschenmoser Claisen [3,3] rearrangement, using the readily available N,N-dialkylalkoxymethylene iminium salts and lithium alkoxides derived from allyl alcohols.
Resumo:
In September 2012 the European Commission opened a formal investigation of Gazprom’s business practices in the EU. The Gazprom investigation raises a number of questions. One of them is the issue of jurisdiction—whether EU competition law applies to Gazprom, a foreign company. A day after the opening of the proceeding, in a press note and alongside other issues, Gazprom raised the question of jurisdiction, noting that it complies with laws of the countries in which it operates and that is it ‘registered outside the jurisdiction of the EU’. This statement, possibly, prompted some commentators to consider the applicability of EU law in this case.
In a piece in the ECLR, entitled ‘Iron Curtain at the border: Gazprom and the Russian blocking order to prevent the extraterritoriality of EU competition law’, Sean Morris offered his views on some of the aspects of the Gazprom case, including the issue of jurisdiction. Morris discussed also the blocking Order issued by the Russian President in response to the European Commission’s investigation, and its possible effects in the Gazprom case.
This article seeks to add a few important and relevant issues of law relating to extraterritoriality and the reach of EU law generally and in particular— in the context of the Gazprom investigation and in the light of the Morris article. This piece also sheds some light on the considerations which might have informed Russia’s hastily enactment of the Blocking Order.
Resumo:
Four experiments reported here demonstrate the importance of structural as well as local features in listening to contemporary popular music. Experiment 1 established that listeners without formal musical training regard as salient the formal structure that links individual sections of songs. When asked to listen to and assemble the individual sections of unfamiliar contemporary songs to form new compositions, participants positioned the sections in ways consistent with the true structure of the music. In Experiment 2, participants were provided with only the song lyrics with which to arrange the individual sections of contemporary songs. It was found that in addition to musical features
studied in Experiment 1, lyrical content of contemporary music also acts as a strong cue to a song’s formal structure. Experiments 3 and 4 revealed that listeners’ enjoyment of music is influenced both by structural features and local features of music, which were carried by the individual song sections.
The influence of structural features on music listening was most apparent over repeated hearings. In Experiment 4, listeners’ liking for contemporary music followed an inverted U-shape trend with repeated exposure, in which liking for music took a downward turn after just four repeated hearings. In contrast, liking for restructured music increased with repeated hearings and almost eliminated an initial negative effect of restructuring by the sixth hearing. In sum, our findings demonstrate that structural features as well as local features of contemporary music are salient and important to
listeners.
Resumo:
Learning has an important position in the development of employees and their expertise. This article focuses on the role and utilization of intra and interorganizational formal and informal learning within different types of learning networks. Specifically, we investigate different types of networks (inter- or intraorganizational) and different types of learning (formal or informal) that can occur within such networks. Our qualitative case study is based on 46 expert interviews involving 49 interviewees, through which we explore how formal and informal learning was used in the development and implementation of quality improvement initiatives at a large public teaching hospital in Portugal. Our analysis suggests that formal and informal learning can take place within different types of learning networks that draw on internal resources as well as on the collaboration with external entities. The article argues that it is important for HRD managers, seeking to support organizational learning, to understand how different types of learning take place, and which features of learning networks support these processes.
Resumo:
Recent work of Biedermann and Roendigs has translated Goodwillie's calculus of functors into the language of model categories. Their work focuses on symmetric multilinear functors and the derivative appears only briefly. In this paper we focus on understanding the derivative as a right Quillen functor to a new model category. This is directly analogous to the behaviour of Weiss's derivative in orthogonal calculus. The immediate advantage of this new category is that we obtain a streamlined and more informative proof that the n-homogeneous functors are classified by spectra with an action of the symmetric group on n objects. In a later paper we will use this new model category to give a formal comparison between the orthogonal calculus and Goodwillie's calculus of functors.
Resumo:
Introduction: Vocational training (VT) is a mandatory requirement for all UK dental graduates prior to entering NHS practice. The VT period provides structured, supervised experience supported by study days and interaction with peers. It is not compulsory for Irish dental graduates working in either Ireland or the UK to undertake VT but yet a proportion voluntarily do so each year.
Objectives: This study was designed to explore the choices made by Irish dental graduates. It aimed to record any benefits of VT and its impact upon future career choices.
Method: A self-completion questionnaire was developed and piloted before being circulated electronically to recent dental graduates from University College Cork. After collecting demographic information respondents were asked to indicate if they pursued vocational training on graduation, give their perception of their post-graduation experience, describe their current work profile and detail any formal postgraduate studies.
Results: 35% of respondents opted to undertake VT and 79% did so in the UK. Those who completed VT regarded it as a very positive experience with benefits including: working in a positive learning environment, help on demand and interaction with peers. Of those who chose VT, 49% have pursued some form of further formal postgraduate study as compared to 40% of those who did not. All of the respondents who completed VT indicated they would recommend it to current Irish graduates. The majority of those who took up an associate position immediately after graduation reported that this was beneficial but up to three quarters would recommend current graduates undertake VT and 45% would now chose to do so themselves.
Conclusions: Increasing numbers of Irish graduates are moving to the UK to undertake VT and they find it a beneficial experience. In addition, those who undertook VT were more likely to undertake formal postgraduate study.