The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

The use of 16s rDNA restriction fragment length polymorphism analysis for the identification of non-fermenting gram negative bacilli in a cystic fibrosis microbiology referral service

The utility of 16s rDNA restriction fragment length polymorphism (RFLP) analysis for the partial genomovar differentiation of Burkholderia cepacia complex bacterium is well documented. We compared the 16s rDNA RFLP signatures for a number of non-fermenting gram negative bacilli (NF GNB) LMG control strains and clinical isolates pertaining to the genera Burkholderia, Pseudomonas, Achromobacter (Alcaligenes), Ralstonia, Stenotrophomonas and Pandoraea. A collection of 24 control strain (LMG) and 25 clinical isolates were included in the study. Using conventional PCR, a 1.2 kbp 16s rDNA fragment was generated for each organism. Following restriction digestion and electrophoresis, each clinical isolate RFLP signature was compared to those of the control strain panel. Nineteen different RFLP signatures were detected from the 28 control strains included in the study. TwentyoneyTwenty- five of the clinical isolates could be classified by RFLP analysis into a single genus and species when compared to the patterns produced by the control strain panel. Four clinical B. pseudomallei isolates produced RFLP signatures which were indistinguishable from B. cepacia genomovars I, III and VIII. The identity of these four isolates were confirmed using B. pseudomallei specific PCR. 16s rDNA RFLP analysis can be a useful identification strategy when applied to NF GNB, particularly for those which exhibit colistin sulfate resistance. The use of this molecular based methodology has proved very useful in the setting of a CF referral laboratory particularly when utilised in conjunction with B. cepacia complex and genomovar specific PCR techniques. Species specific PCR or sequence analysis should be considered for selected isolates; especially where discrepancies between epidemiology, phenotypic and genotypic characteristics occur.

Transition to raloxifene with and without low-dose estrogen therapy in postmenopausal women: effects on serum lipids and fibrinogen - a pilot study

Objective To compare the effects of transferring from low-dose transdermal estrogen to raloxifene (RLX), with a phase of alternate-day RLX therapy with or without low-dose transdermal estrogen, on serum lipids and fibrinogen in postmenopausal women previously administered estrogen plus progestogen therapy. Methods Sixty postmenopausal women (mean age 55 years) were randomized to one of two treatment groups: RLX + low-dose transdermal estrogen (RLX + E) or RLX + placebo. The study consisted of four 8-week phases: phase I (all subjects low-dose transdermal estrogen 25 mug/day), phase II (double-blind RLX 60 mg every 2nd day in combination with either low-dose transdermal estrogen or placebo), phase III (all subjects RLX 60 mg every 2nd day + placebo) and phase IV (all subjects RLX 60 mg/day + placebo). Results No significant differences existed between groups for baseline measurements prior to phase I. In phase I, for all subjects combined, total cholesterol and low-density lipoprotem cholesterol both showed a significant increase (median increase of 0.2 mmol/l, p = 0.008 and 0.4 mmol/l, p < 0.001, respectively), while triglycerides decreased significantly (median decrease of 0.2 mmol/l, p < 0.001). For the primary analysis (phase II to phase IV), the mean change from baseline observations showed no significant differences between the therapy groups for serum lipids, fibrinogen, vital signs or weight. In the comparison phase (phase II), changes in serum lipids, fibrinogen, vital signs and weight were not significantly different between groups. Conclusion Gradual conversion to RLX from low-dose transdermal estrogen, with a phase of alternate-day RLX therapy with or without low-dose transdermal estrogen, does not have any effect on the serum lipid profile or fibrinogen level.

The effectiveness of personalized smoking cessation strategies for callers to a Quitline service

Aim To assess the effectiveness of a program of computer-generated tailored advice for callers to a telephone helpline, and to assess whether it enhanced a series of callback telephone counselling sessions in aiding smoking cessation. Design Randomized controlled trial comparing: (1) untailored self-help materials; (2) computer-generated tailored advice only, and (3) computer-generated tailored advice plus callback telephone counselling. Assessment surveys were conducted at baseline, 3, 6 and 12 months. Setting Victoria, Australia. Participants A total of 1578 smokers who called the Quitline service and agreed to participate. Measurements Smoking status at follow-up; duration of cessation, if quit; use of nicotine replacement therapy; and extent of participation in the callback service. Findings At the 3-month follow-up, significantly more (chi(2)(2) = 16.9; P < 0.001) participants in the computer-generated tailored advice plus telephone counselling condition were not smoking (21%) than in either the computer-generated advice only (12%) or the control condition (12%). Proportions reporting not smoking at the 12-month follow-up were 26%, 23% and 22%, respectively (NS) for point prevalence, and for 9 months sustained abstinence; 8.2, 6.0, and 5.0 (NS). In the telephone counselling group, those receiving callbacks were more likely than those who did not to have sustained abstinence at 12 months (10.2 compared with 4.0, P < 0.05). Logistic regression on 3-month data showed significant independent effects on cessation of telephone counselling and use of NRT, but not of computer-generated tailored advice. Conclusion Computer-generated tailored advice did not enhance telephone counselling, nor have any independent effect on cessation. This may be due to poor timing of the computer-generated tailored advice and poor integration of the two modes of advice.

O Senior Executive Service: especial refer??ncia ao perfil do Top Public Service em Portugal

No contexto de reforma da administra????o p??blica, o objectivo do trabalho pretende dar conta das caracter??sticas dos modelos de direc????o p??blica, em particular dos dirigentes (Senior Executive Service: Top Public Service e Top Management Service), e do seu perfil em face dos novos desafios da administra????o p??blica. O objectivo principal deste trabalho foi caracterizar o sistema de designa????o/ nomea????o para os cargos de dirigente de livre escolha pol??tica, sistema conhecido na literatura como spoil system, com especial refer??ncia ao 1o e 2o n??veis, grupo I, dessas fun????es, no contexto da elite das direc????es-gerais em Portugal.

Dose inseminante utilizada na fertilização artificial de ovócito de piracanjuba (Brycon orbignyanus)

A piracanjuba (Brycon orbignyanus Valenciennes, 1849) é uma espécie de peixe migratória, ameaçada de extinção. O objetivo do presente estudo foi determinar a dose inseminante na fertilização artificial de ovócitos de piracanjuba. Para isso, utilizou-se delineamento em blocos casualizados, com quatro tratamentos e três repetições. Três casais de piracanjuba, selecionados dos tanques de reprodutores da Estação Ambiental de Itutinga (EAI - CEMIG), no período de piracema 2006/2007, receberam aplicação de hormônio extrato bruto de hipófise de carpa (EBHC) para obtenção dos gametas. Adotaram-se quatro tratamentos diferentes para a fertilização de 0,1 grama de ovócitos: 10µL, 20µL, 30µL e 40µL de sêmen. As amostras foram ativadas com 5 mL de água do próprio tanque e, em seguida, levadas para incubadoras, dotadas de renovação constante de água, à temperatura de 28ºC. Após 8 e 16 horas, analisaram-se as taxas de fertilização (ovos viáveis) e de eclosão dos ovos, respectivamente. Os resultados obtidos foram comparados pelo teste de Tukey a 5%. As relações sêmen-ovócitos testadas não alteraram as taxas de fertilização e eclosão (P>0,05). O número de espermatozoides-ovócitos, variando de 10,4 x10(5) a 41,6 x10(5), foi eficiente para obtenção de boas taxas de fertilidade.

O senior executive service (SES): especial referência ao perfil do top public service (TPS) em Portugal

Alguns dos países da OCDE (2002) enfrentam, hoje, problemas relacionados ao emprego público e à sua competitividade (recrutamento, retenção de pessoal, falta crítica de habilidades e competências, etc.). Em nível de recrutamento (OCDE, 2002), os países que já identificaram o problema são o Canadá, a Dinamarca e a Finlândia; a falta crítica de habilidades e de competências foi já identificada por: Itália, Coreia, Noruega, Polónia, Portugal1 , Espanha, Áustria e Alemanha. O desenho e a implementação de estratégias de recursos humanos nas organizações públicas desenrolam-se em ambiente altamente politizado (LACOVIELLO, 1996) e o processo de decisão está sujeito a influências que tomam proporções maiores pelas características particulares que apresentam e pelo conflito essencial que decorre das relações entre políticos e burocratas.

Automated traffic route identification through the shared nearest neighbour algorithm

Many organisations need to extract useful information from huge amounts of movement data. One example is found in maritime transportation, where the automated identification of a diverse range of traffic routes is a key management issue for improving the maintenance of ports and ocean routes, and accelerating ship traffic. This paper addresses, in a first stage, the research challenge of developing an approach for the automated identification of traffic routes based on clustering motion vectors rather than reconstructed trajectories. The immediate benefit of the proposed approach is to avoid the reconstruction of trajectories in terms of their geometric shape of the path, their position in space, their life span, and changes of speed, direction and other attributes over time. For clustering the moving objects, an adapted version of the Shared Nearest Neighbour algorithm is used. The motion vectors, with a position and a direction, are analysed in order to identify clusters of vectors that are moving towards the same direction. These clusters represent traffic routes and the preliminary results have shown to be promising for the automated identification of traffic routes with different shapes and densities, as well as for handling noise data.

Broad and restricted scope of the concept of civil service: a multipolarização do conceito de publica nos modelos hibricos. A capacidade transformadora dos memorados de entendimento: Portugal e Irlanda

Analise do conceito de Função Publica, identificando, á partida, uma dicotomia conceptual, entre um modelo marcadamente continental(broad concept of civil service) e um modelo restrito(restricted scope of the concept of civil service), característico dos países anglo-saxónicos, aflorando a reforma da Administração Publica, na senda da New Public Management, como o caminho para a afirmação de modelos híbridos, com características de laboralização da Função Publica e de flexisegurança, que surgem como consequência da pulverização daquela dicotomia, revelando uma miscigenação entre os modelos iniciais e elementos externos, de acordo com as idiossincrasias de cada país. Posterior estudo de caso, versando sobre Portugal e a Irlanda , dois países que, são contrario do que a tradição anglo- saxónica da Irlanda faria adivinhar, partilham um conceito amplo de Função Publica(broad concept of Civil Service), apoiado num sistema de carreira(carrear sytem). Percorrerem, quase em simultâneo, o caminho de um regate económico-financeiro desenvolvido pelo Fundo Monetário Internacional, Banco Central Europeu e Comissão Europeia. Procurara investiga-se se o acordo firmado entre os dois países e a Troika, materializado nos respectivos Memorando de Entendimento e sucessivas revisões, no período compreendido entre 16 de Dezembro de 2010 e 31 de Dezembro de 2012, introduziu modificações nos respectivos modelos de Função Publica, designadamente forçando-os a uma aproximação do restricted scope of the concept of Civil Service e, com isso, projectando-os para a adopção de modelos híbridos.

Automated image analysis of lung branching morphogenesis from microscopic images of fetal rat explants

Background: Regulating mechanisms of branching morphogenesis of fetal lung rat explants have been an essential tool for molecular research. This work presents a new methodology to accurately quantify the epithelial, outer contour and peripheral airway buds of lung explants during cellular development from microscopic images. Methods: The outer contour was defined using an adaptive and multi-scale threshold algorithm whose level was automatically calculated based on an entropy maximization criterion. The inner lung epithelial was defined by a clustering procedure that groups small image regions according to the minimum description length principle and local statistical properties. Finally, the number of peripheral buds were counted as the skeleton branched ends from a skeletonized image of the lung inner epithelial. Results: The time for lung branching morphometric analysis was reduced in 98% in contrast to the manual method. Best results were obtained in the first two days of cellular development, with lesser standard deviations. Non-significant differences were found between the automatic and manual results in all culture days. Conclusions: The proposed method introduces a series of advantages related to its intuitive use and accuracy, making the technique suitable to images with different lightning characteristics and allowing a reliable comparison between different researchers.

Automated image analysis of lung branching morphogenesis

Regulating mechanisms of branchingmorphogenesis of fetal lung rat explants have been an essential tool formolecular research.This work presents a new methodology to accurately quantify the epithelial, outer contour, and peripheral airway buds of lung explants during cellular development frommicroscopic images. Methods.Theouter contour was defined using an adaptive and multiscale threshold algorithm whose level was automatically calculated based on an entropy maximization criterion. The inner lung epithelium was defined by a clustering procedure that groups small image regions according to the minimum description length principle and local statistical properties. Finally, the number of peripheral buds was counted as the skeleton branched ends from a skeletonized image of the lung inner epithelia. Results. The time for lung branching morphometric analysis was reduced in 98% in contrast to themanualmethod. Best results were obtained in the first two days of cellular development, with lesser standard deviations. Nonsignificant differences were found between the automatic and manual results in all culture days. Conclusions. The proposed method introduces a series of advantages related to its intuitive use and accuracy, making the technique suitable to images with different lighting characteristics and allowing a reliable comparison between different researchers.

An empirical assessment of customer satisfaction and quality of service: comparing SERVQUAL and SERVPERF

This paper assesses the validity and reliability of two instruments measuring quality of service, the SERVPERF and SERVQUAL scales, replicated in a novel cultural settings, a Portuguese energy company. To provide insights and strategies for managerial intervention, a relation between customers’ satisfaction and quality of service is established. The empirical study suggests a superior convergent and predictive validity of SERVPERF scale to measure quality of service in this settings when comparing to SERVQUAL. The main differences of this study with previous ones, are that this one resorts on a confirmatory factor analysis, the validation of the instruments is performed by using the same measures suggested by their creators and extends the line of research to a novel cultural settings, a Portuguese energy company. Concerning the relationship between service quality and customers’ satisfaction, all of the quality of service attributes correlate almost equally to the satisfaction ones, with a lower weight concerning tangibles.

Use of Performance Measurement in the Public Sector: the case of the police service

Many public organisations have been under great pressure in recent years to increase the efficiency and transparency of outputs, to rationalise the use of public resources, and to increase the quality of service delivery. In this context, public organisations were encouraged to introduce the New Public Management reforms with the goal of improving the efficiency and effectiveness of the performance organisation through a new public management model. This new public management model is based on measurement by outputs and outcomes, a clear definition of responsibilities, the transparency and accountability of governmental activities, and on a greater value for citizens. What type of performance measurement systems are used in police services? Based on the literature, we see that multidimensional models, such as the Balanced Scorecard, are important in many public organisations, like municipalities, universities, and hospitals. Police services are characterised by complex, diverse objectives and stakeholders. Therefore, performance measurement of these public services calls for a specific analysis. Based on a nationwide survey of all police chiefs of the Portuguese police force, we find that employee performance measurement is the main form of measurement. Also, we propose a strategic map for the Portuguese police service.