Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

Evaluation of Community Nursing Project : Moving Professional Boundries From A Stoma Care Nursing Service To A Colorectal Nursing Service (PDF 3607 KB)

Foyle HSS Trust's Evaluation of community nursing project. Part of the Department's redesign of community nursing project.

Sperrin Lakeland Health & Social Care Trust Community Nursing Project - Evaluation Report on Establishment of a treatment Room Service Bureau (PDF 316 KB)

Sperrin Lakeland Trust's final report on the establishment of a treatment room service bureau. Part of the Department's redesign of community nursing project

Analyse de la dotation en lits par groupes diagnostiques : exemple du service d'obstétrique dans les hôpitaux de zone

Ce document présente le modèe utilisé par le Service de la santé publique du canton de Vaud pour l'estimation du nombre de lits de court séjour et propose un enrichissement de ce modèle par l'utilisation de la statistique médicale VESKA. L'exemple présenté est celui de l'obstétrique, mais vaut pour d'autres secteurs de l'activité médico-hospitalières.

Forensic examination of ink by high-performance thin layer chromatography - The United States Secret Service Digital Ink Library

Forensic examinations of ink have been performed since the beginning of the 20th century. Since the 1960s, the International Ink Library, maintained by the United States Secret Service, has supported those analyses. Until 2009, the search and identification of inks were essentially performed manually. This paper describes the results of a project designed to improve ink samples' analytical and search processes. The project focused on the development of improved standardization procedures to ensure the best possible reproducibility between analyses run on different HPTLC plates. The successful implementation of this new calibration method enabled the development of mathematical algorithms and of a software package to complement the existing ink library.

Consultant Terms and Conditions of Service (Northern Ireland) 2004 (PDF 267 KB)

Consultant Terms and Conditions of Service (Northern Ireland) 2004

Northern Ireland's Fire and Rescue Service - Consultation Paper

Northern Ireland's Fire and Rescue Service - Consultation

Feasibility Study On A Helicopter Emergency Medical Service (HEMS) For The Island Of Ireland

A feasibility study on the costs and benefits associated with the introduction of dedicated Helicopter Emergency Medical Service (HEMS) was commissioned by the Department of Health and Children, Dublin and the Department of Health, Social Services and Public Safety, Belfast. The study was commissioned on foot of advice by the Cross Border Working Group on Pre-Hospital Care Working Group, one of the Groups established under the “Good Friday Agreement”.

The Recovery of Health Service Costs in Cases Involving Personal Injury Compensation (205KB)

A Consultation Document

Department of Health, Social Services and Public Safety Service Delivery Agreement (SDA) 2002-03. (PDF 80 KB)

Department of Health, Social Services and Public Safety Service Delivery Agreement (SDA) 2002-03.

Accounting for Big City Growth in Low Paid Occupations: Immigration and/or Service Class Consumption

Growth of 'global cities' in the 1980s was supposed to have involved an occupational polarisation, including growth of low paid service jobs. Though held to be untrue for European cities, at the time, some such growth did emerge in London a decade later than first reported for New York. The question is whether there was simply a delay before London conformed to the global city model, or whether another distinct cause was at work in both cases. This paper proposes that the critical factor in both cases was actually an upsurge of immigration from poor countries providing an elastic supply of cheap labour. This hypothesis and its counterpart based on growth in elite jobs are tested econometrically for the British case with regional data spanning 1975-2008, finding some support for both effects, but with immigration from poor countries as the crucial influence in late 1990s London. Keywords: regional labour markets; wages; employment; international migration; consumer demand JEL Codes: J21, J23, F22, R12