226 resultados para formal semantics
Resumo:
University incubators (UI) are generally believed to be important in the successful commercialisation of university spin-outs (USO) with over half of all UK Universities having established an on-campus UI. In this chapter we examine the value of UIs in the spin-out process, focusing on the structural networks of USOs located in a UI as compared to USOs in a University with no access to a UI. Our primary research question is therefore: to what extent does the structural network of USOs with access to an on-campus UI differ from USOs without? The research therefore con-tributes to a growing critique of the effectiveness of UIs in commercialis-ing academic research and the recognition of positive direct and indirect externalities from participation in networks. Through network mapping of all USOs from two research intensive universities, we profile and ana-lyse the formal and informal network ties of USOs to various partners in-ternal and external to the host university. Through interviews we also consider how these networks enhance the resources and capabilities of USOs. Our findings highlight significant differences, with USOs located in a UI having more informal but fewer formal ties, both to other USOs as well as within the host University. In contrast, location in an incuba-tor was not found to affect the extent and nature of ties with external or-ganisations. Reasons for these differences are examined through inter-views with the USOs and point to various factors including the proactive brokering role of incubator and university staff, university bureaucracy, the hidden networks of executive board members across USOs, university equity investment policy and complementary technologies.
Resumo:
This research project explores the communications’ experiences and practices of
selected grant making and grant seeking organisations, at the point of grant refusal. It was funded by the Charities Aid Foundation, and undertaken through collaboration with the Association of Charitable Foundations (ACF).
The research context is the enhanced competition for funding in which many grant seeking organisations experience the disappointment of refusal; whilst grant makers also face multiple pressures, in responding to grant seekers’ needs. This is an operating environment in which subsequent organisational learning appears demanding.
The aims of the research were to:
- Increase understanding of the communications demands, challenges and
opportunities in giving, receiving and sharing news of grant refusal
- Identify opportunities for organisational learning in these situations, for grant
makers and grant seekers
- Contribute to future practice improvement and development, by drawing on
the reported experiences and practices of participating respondents.
The research focuses on private, formal grant makers (foundations and trusts); and their grant seeking organisational constituencies. It excludes study of public grant makers’ grant refusal processes and those of individuals making personal gifts, direct businesses’ grant making, and grant making by community foundations and by other operating and fundraising charities. A staged research process began in 2008, and field research completed in 2009/2011.
Resumo:
It is self-evident that we live in the age of inquiry where the negative impact of risk has been examined through numerous formal processes. In the wake of such scrutiny, there have been repeated recommendations for better training of the professionals charged with safeguarding the welfare of vulnerable individuals. Yet there has been very little examination of how student social workers, in particular, evaluate this training. This exploratory study responded to this gap through a mixed-methods design centring on the views of qualifying and post-qualifying social work students attending courses within two regional universities in Northern Ireland. The study found that, in the main, the cohorts responded favourably to certain aspects of the curriculum and how they were delivered. That said, the emotive nature of the case review and inquiry reports was inadequately addressed in the classroom and was not processed afterwards through a psycho-social framework. In effect, students were often left with residual anxieties that potentially hampered learning. On the basis of the findings, the study calls for further research into this highly significant area of professional competence.
Resumo:
The Organisation for Economic Co-operation and Development investigated numeracy proficiency among adults of working age in 23 countries across the world. Finland had the highest mean numeracy proficiency for people in the 16 – 24 age group while Northern Ireland’s score was below the mean for all the countries. An international collaboration has been undertaken to investigate the prevalence of mathematics within the secondary education systems in Northern Ireland and Finland, to highlight particular issues associated with transition into university and consider whether aspects of the Finnish experience are applicable elsewhere. In both Northern Ireland and Finland, at age 16, about half of school students continue into upper secondary level following their compulsory education. The upper secondary curriculum in Northern Ireland involves a focus on three subjects while Finnish students study a very wide range of subjects with about two-thirds of the courses being compulsory. The number of compulsory courses in maths is proportionally large; this means that all upper secondary pupils in Finland (about 55% of the population) follow a curriculum which has a formal maths content of 8%, at the very minimum. In contrast, recent data have indicated that only about 13% of Northern Ireland school leavers studied mathematics in upper secondary school. The compulsory courses of the advanced maths syllabus in Finland are largely composed of pure maths with a small amount of statistics but no mechanics. They lack some topics (for example, in advanced calculus and numerical methods for integration) which are core in Northern Ireland. This is not surprising given the much broader curriculum within upper secondary education in Finland. In both countries, there is a wide variation in the mathematical skills of school leavers. However, given the prevalence of maths within upper secondary education in Finland, it is to be expected that young adults in that country demonstrate high numeracy proficiency.
Resumo:
n the context of psychosocial oncology research, disseminating study findings to a range of knowledge “end-users” can advance the well-being of diverse patient subgroups and their families. This article details how findings drawn from a study of prostate cancer support groups were repackaged in a knowledge translation website—www.prostatecancerhelpyourself.ubc.ca—using Web 2.0 features. Detailed are five lessons learned from developing the website: the importance of pitching a winning but feasible idea, keeping a focus on interactivity and minimizing text, negotiating with the supplier, building in formal pretests or a pilot test with end-users, and completing formative evaluations based on data collected through Google™ and YouTube™ Analytics. The details are shared to guide the e-knowledge translation efforts of other psychosocial oncology researchers and clinicians.
Resumo:
Trajectory surface hopping (TSH) is one of the most widely used quantum-classical algorithms for nonadiabatic molecular dynamics. Despite its empirical effectiveness and popularity, a rigorous derivation of TSH as the classical limit of a combined quantum electron-nuclear dynamics is still missing. In this work, we aim to elucidate the theoretical basis for the widely used hopping rules. Naturally, we concentrate thereby on the formal aspects of the TSH. Using a Gaussian wave packet limit, we derive the transition rates governing the hopping process at a simple avoided level crossing. In this derivation, which gives insight into the physics underlying the hopping process, some essential features of the standard TSH algorithm are retrieved, namely (i) non-zero electronic transition rate ("hopping probability") at avoided crossings; (ii) rescaling of the nuclear velocities to conserve total energy; (iii) electronic transition rates linear in the nonadiabatic coupling vectors. The well-known Landau-Zener model is then used for illustration. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4770280]
Resumo:
Although child maltreatment due to abuse or neglect is pervasive within our society, less
is known about fabricated or induced illness by carers (FII), which is considered to be a
rare form of child abuse. FII occurs when a caregiver (in 93% of cases, the mother)
misrepresents the child as ill either by fabricating, or much more rarely, producing
symptoms and then presenting the child for medical care, disclaiming knowledge of the
cause of the problem. The growing body of literature on FII reflects the lack of clarity
amongst professionals as to what constitutes FII, the difficulties involved in diagnosis,
and the lack of research into psychotherapeutic intervention with perpetrators. This lack
of clarity further complicates the identification, management and treatment of children
suffering from FII and may result in many cases going undetected, with potentially lifethreatening
consequences for children. It has been suggested that there is a national
under-reporting of fabricated or induced illness. In practice these cases are encountered
more frequently due to the chronic nature of the presentations, the large number of
professionals who may be involved and the broad spectrum including milder cases that
may not all require a formal child protection response. Diagnosis of fabricated disease
can be especially difficult, because the reported signs and symptoms cannot be confirmed
(when they are being exaggerated or imagined) or may be inconsistent (when they are
induced or fabricated). This paper highlights and discusses the controversies and
complexities of this condition, the risks to the child and how it affects children; the
paucity of systematic research regarding what motivates mothers to harm their children
by means of illness falsification; how the condition should be managed and treated for
both mother and child; and implications for policy and practice.
Resumo:
This site been designed primarily to support students, staff and other professionals involved in Initial Teacher Education North or South. However, it should also be of interest to others within the formal and non-formal education sectors.Those involved with, or interested in, Education for Citizenship.
Resumo:
A framework supporting fast prototyping as well as tuning of distributed applications is presented. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. The paper describes how the framework can be used to derive and evaluate alternative orchestrations of a well know parallel/distributed computation pattern; and shows how the same formal model can be used to support generation of prototypes of distributed applications skeletons directly from the application description.
Resumo:
Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.
Resumo:
Optimizing and editing enterprise software systems, after the implementation process has started, is widely recognized to be an expensive process. This has led to increasing emphasis on locating mistakes within software systems at the design stage, to help minimize development costs. There is increasing interest in the field of architecture evaluation techniques that can identify problems at the design stage, either within complete, or partially complete architectures. Most current techniques rely on manual review-based evaluation methods that require advanced skills from architects and evaluators. We are currently considering what a formal Architecture Description Language (ADL) can contribute to the process of architecture evaluation and validation. Our investigation is considering the inter-relationships between the activities performed during the architecture evaluation process, the characteristics an ADL should possess to support these activities, and the tools needed to provide convenient access to, and presentation of architectural information.
Resumo:
Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.
Resumo:
A formal specification of a complex programming language statement is presented. The subject matter was selected as being typical of the kind confronting a small software house. It is shown that formal specification notations may be applied, with benefit, to 'messy' problems. Emphasis is placed upon producing a specification which is readable by, and useful to a reader not familiar with formal notations.
Resumo:
Science journalism is the source of much of the science an individual will encounter beyond formal education. Science-based media reports, which might have been associated with informal education, are increasingly becoming incorporated into formal school contexts. Unlike science textbooks, the science reported in the news is often tentative and sometimes contested. It can involve difficult socio-scientific issues. Descriptors of ‘science literacy’ generally include reading and responding critically to media reports of science. The challenge of using science-based news effectively encourages teachers to reassess their knowledge and pedagogical practices.
In addition to creating interest in science and making links beyond the classroom, news media can be used to introduce pupils to elements of science enquiry and teachers can promote basic literacy and critical reading skills through systematic and imaginative use of media reports with a science component.
This chapter explores the knowledge, skills and attitudes that underpin the use of science journalism in the classroom. The unique characteristics and constraints of science journalism that influence the way science is presented and perceived are considered, and the importance of media awareness as a foundation for critical reading of science news is argued. Finally the characteristics of teaching programmes to support critical engagement with science-based media reports are outlined and the opportunities for cross-curricular initiatives highlighted.
Resumo:
Background: Chronic musculoskeletal pain is highly prevalent, affecting around one in five people across Europe. Osteoarthritis, low back pain, neck pain and other musculoskeletal disorders are leading causes of disability
worldwide and the most common source of chronic pain. Exercise and/or physical activity interventions have the potential to address not only the pain and disability associated with chronic pain but also the increased risk of morbidity and mortality seen in this population. Although exercise and/or physical activity is widely recommended, there is currently a paucity of research that offers an evidence base upon which the development or optimisation of interventions can be based. This systematic review will investigate the components of interventions associated with changes in physical activity levels in adults with chronic musculoskeletal pain.
Methods/Design: This systematic review will be reported in line with the Preferred Reporting Items for Systematic Reviews and Meta-analyses (PRISMA) guidance. Randomised and quasi-randomised controlled trials of interventions aimed at increasing physical activity in adults with chronic musculoskeletal pain will be included. Articles will be identified through a comprehensive search of the following databases: CENTRAL in the Cochrane Library, the Cochrane Database of Systematic Reviews (CDSR), MEDLINE, Embase, CINAHL, PsycINFO and AMED. Two review authors will independently screen articles retrieved from the search for eligibility, extract relevant data on methodological issues and code interventions according to the behaviour change technique taxonomy (v1) of 93 hierarchically clustered techniques. As complex healthcare interventions can be modified by a wide variety of factors, data will be summarised statistically when the data are available, are sufficiently similar and are of sufficient quality. A narrative synthesis will be completed if there is insufficient data to permit a formal meta-analysis.
Discussion: This review will be of value to clinicians working in chronic pain services and to researchers involved in designing and evaluating interventions.