Intraaortic balloon pump support during coronary angioplasty. Initial experience

OBJECTIVE: To evaluate the use of the intraaortic balloon (IAoB) in association with coronary angioplasty in high-risk patients. METHODS: Fourteen high-risk patients unresponsive to clinical therapy and with formal contraindication to surgical revascularization were treated by coronary angioplasty, most of which was followed by stenting. All procedures were performed with circulatory support with the IAoB. This study reports the early results and the late findings after 12 months of follow-up. Six patients had multivessel coronary disease; of these, four had left main equivalent lesions and two had unprotected left main coronary artery disease, one of whom had severe "end-vessel" stenosis and the other was a patient with Chagas' disease with single-vessel lesion. Eleven patients had a left ventricular ejection fraction <30%. RESULTS: In 100% of the patients, the procedures were initially successful. Two patients had severe bleeding during the withdrawal of the left femoral sheath. At the end of twelve months, 4 patients were asymptomatic and the others were clinically controlled. There were two late deaths in the 7th and 11th months. CONCLUSION: The combined use of the intraaortic balloon pump and percutaneous coronary angioplasty in high-risk patients with acute ischemic syndromes provides the necessary hemodynamic stability to successfully perform the procedures.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Issues of information support for the process of scientific enterprise's management in the universities and research organizations

This article describes the problem of commercializing of scientific researches in universities. Management tasks are reduced to subtasks and combined formal algorithm. The overall control problem is reduced to a set of formal subtasks combined into a single algorithm. Here the necessity of joint control of all commercialization projects as well as the use of information systems for the successful implementation of the existing commercialpotential is shown.

Venture capital meets contract theory: risky claims or formal control?

This paper develops a theory of the joint allocation of formal control and cash-flow rights in venture capital deals. We argue that when the need for investor support calls for very high-powered outside claims, entrepreneurs should optimally retain formal control in order to avoid excessive interference. Hence, we predict that risky claims should be be negatively correlated to control rights, both along the life of a start-up and across deals. This challenges the idea that risky claims should a ways be associated to more formal control, and is in line with contractual terms increasingly used in venture capital, in corporate venturing and in partnership deals between biotech start-ups and large drug companies. The paper provides a theoretical explanation to some puzzling evidence documented in Gompers (1997) and Kaplan and Stromberg (2000), namely the inclusion in venture capital contracts of contingencies that trigger both a reduction in VC control and the conversion! of her preferred stocks into common stocks.

Promoting hospital-based smoking cessation services at major Swiss hospitals: a before and after study.

Whether a 1-year nationwide, government supported programme is effective in significantly increasing the number of smoking cessation clinics at major Swiss hospitals as well as providing basic training for the staff running them. We conducted a baseline evaluation of hospital services for smoking cessation, hypertension, and obesity by web search and telephone contact followed by personal visits between October 2005 and January 2006 of 44 major public hospitals in the 26 cantons of Switzerland; we compared the number of active smoking cessation services and trained personnel between baseline to 1 year after starting the programme including a training workshop for doctors and nurses from all hospitals as well as two further follow-up visits. At base line 9 (21%) hospitals had active smoking cessation services, whereas 43 (98%) and 42 (96%) offered medical services for hypertension and obesity respectively. Hospital directors and heads of Internal Medicine of 43 hospitals were interested in offering some form of help to smokers provided they received outside support, primarily funding to get started or to continue. At two identical workshops, 100 health professionals (27 in Lausanne, 73 in Zurich) were trained for one day. After the programme, 22 (50%) hospitals had an active smoking cessation service staffed with at least 1 trained doctor and 1 nurse. A one-year, government-supported national intervention resulted in a substantial increase in the number of hospitals allocating trained staff and offering smoking cessation services to smokers. Compared to the offer for hypertension and obesity this offer is still insufficient.

Definició i estudi de viabilitat d'un "support center" funcional en una empresa farmacèutica

Este proyecto comprende dos componentes centrales. Estos son, definir la situación actual sobre el soporte funcional en las aplicaciones y proponer soluciones para una mejora de los servicios. Durante la descripción de la situación actual se han ido encontrando problemas en el soporte, y se proponen soluciones. Se han llegado a proponer 3 modelos distintos de los cuales se ha elegido uno, el cual supone una importante mejora en el servicio.

Final Report Review of DHSSPS Training Support Funding For Social Care Voluntary Organisations February 2011 (PDF 368KB)

Review of DHSSPS Training Support Funding Programme For Social Care Voluntary Organisations

Addressing Young People's Drinking in Northern Ireland: Action to Support the New Strategic Direction for Alcohol and Drugs

This action plan focuses on three main areas: • reducing young people’s demand for alcohol by providing information, education and training to young people and their parents; •restricting the supply of alcohol via measures to reduce accessibility to alcohol (including how alcohol is priced, marketed, and promoted); and • providing treatment and support for those who require additional help. While the emphasis of this action plan is on young people, it recognises that their drinking patterns are very much influenced by modelling the drinking patterns of adults in our society, and it therefore contains actions that will impact on the entire population. Alcohol misuse - however you measure the cost, whether to the individual, the family, the community, the health service, or society as a whole - is one of the biggest public health issues facing Northern Ireland.

Report of Student Support Review

Report of Student support review

Student Support Determination 07-08 (PDF 167 KB)

Financial support arrangements in the 2007/08 academic year for Allied Health Professional Students and Medical and Dental students from year five study

Mental Health Services for Older People Regional Summary (PDF 217 KB)

June 2004 - study to examine service provision, early identification, information and support, co-ordination of services and strategic planning

Equality Programme for Health, Social Services and Public Safety (PDF 181KB)

The Department of Health, Social Services and Public Safety (HSSPS), like all public authorities, is required under Section 75 of the Northern Ireland Act 1998 (‘the Act’) in carrying out its functions, powers and duties, to have due regard to the need to promote equality of opportunity and good relations among 9 specific categories of people. In fulfilling these obligations, the Department is required to submit its policies and programmes to formal assessment of the equality implications arising from them through Equality Impact Assessments (EQIAs). åÊ

Evaluation of pilot initiatives undertaken in the North Eastern and South Eastern Health Boards on the provision of General Practitioner out-of-hours services in those areas

To assess the efficiency and effectiveness of the management, administrative and support structures for the General Practitioner out-of-hours pilot projects in the North Eastern and South Eastern Health Boards having regard to value for money and service enhancement considerations Download the Report here

Health Promoting Hospitals and Health Services network in Northern Ireland - Update report 2008-2009

The third annual report from the World Health Organisation’s (WHO) Healthy Promoting Hospitals (HPH) and Healthy Services network highlights a rich selection of the innovative developments and team-working achievements across services in Northern Ireland. The report provides a platform to showcase the five Health and Social Care Trusts and Cooperation and Working Together (CAWT)’s commitment to health and wellbeing to the population and shows how hospitals can have an impact on the determinants of health as they are explained in the context of people’s daily lives. The Public Health Agency continues to support the network both locally and nationally as this report gives hospitals and other health services a chance to be recognised as health enhancing organisations. The HPH and Healthy Services concept recognises that a hospital is much more than a place where people go for treatment and cure from sickness. It identifies the huge opportunities for the promotion of good health among the many thousands of people, patients and staff who have daily contact with hospitals and also with the wider community which the hospitals serve. In recent years much progress has been made in addressing health improvement in the hospital setting by looking at the broader cultural, social and environmental issues which can support health and wellbeing. The Northern Ireland HPH network continues to embrace change across services and to drive action to ensure that health improvement is embedded in the new health and social care systems.

Effective services for substance misuse & homelessness in Scotland: The recommendations of the Advisory Group on Homelessness and Substance Misuse

The Group makes 12 recommendations for actions covering the two key themes of strategic and organisational responses, and service design and delivery. It calls for: * A joint strategic response at national level to be developed * A joint strategic response at a local level to be developed (responsibility sitting with Alcohol and Drug Partnerships (ADPs) * Recognition of the importance of investing to save over the long term * A joint operational response at local level to be developed * More flexible approaches in rural and island areas * Service development and commissioning to be based on evidence of good practice * An individual’s priorities to be the starting point for the design and delivery of services and support * Ongoing evaluation of services in this field to be managed through the ADP planning and monitoring processes * Targeted service user participation and involvement to be supported * Training across homelessness, housing, alcohol and drug fields to be supported in statutory and commissioned services * The stigmatisation of these populations to be addressed at a local and national level.This resource was contributed by The National Documentation Centre on Drug Use.