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.

Effectiveness of case management and post-acute services in older people after hospital discharge

Objective: To evaluate the benefits of coordinating community services through the Post-Acute Care (PAC) program in older patients after discharge from hospital. Design: Prospective multicentre, randomised controlled trial with six months of follow-up with blinded outcome measurement. Setting: Four university-affiliated metropolitan general hospitals in Victoria. Participants: All patients aged 65 years and over who were discharged between August 1998 and October 1999 and required community services after discharge. Interventions: Participants were randomly allocated to receive services of a Post-Acute Care (PAC) coordinator (intervention) versus usual discharge planning (control). Main outcome measures: Comparison of quality of life and carer stress at one-month post-discharge, mortality, hospital readmissions, use of community services and community and hospital costs over the six months post-discharge. Results: 654 patients were randomised, and 598 were included in the analysis (311 in the PAC group and 287 in the control group). There was no difference in mortality between the groups (both 6%), but significantly greater overall quality-of-life scores at one-month follow-up in the PAC group. There was no difference in unplanned readmissions, but PAC patients used significantly fewer hospital bed-days in the six months after discharge (mean, 3.0 days; 95% CI, 2.1-3.9) than control patients (5.2 days; 95% CI, 3.8-6.7). Total costs (including hospitalisation, community services and the intervention) were lower in the PAC than the control group (mean difference, $1545; 95% CI, $11-$3078). Conclusions: The PAC program is beneficial in the transition from hospital to the community in older patients.

Texto para discuss??o 16: novos padr??es gerenciais no setor p??blico: medidas do governo americano orientadas para o desempenho e resultados

O estudo realizado envolve um benchmarking de novos padr??es gerenciais adotados pelo governo dos Estados Unidos, notadamente no que se refere a formas inovadoras de gest??o, de controle de gest??o, de gest??o or??ament??ria e de avalia????o institucional. Para a realiza????o do presente trabalho, os autores valeram-se de consulta bibliogr??fica a livros e documentos produzidos nos ??ltimos cinco anos, cabendo destacar, dentre os diversos documentos citados nas refer??ncias bibliogr??ficas e notas, os estudos produzidos pela National Academy of Public Administration ??? NAPA e pelo General Accounting Office ??? GAO sobre o processo de ???reinven????o do governo??? americano. Integram, tamb??m, o presente trabalho informa????es obtidas atrav??s de participa????o em semin??rios e palestras conduzidas pela NAPA e pela Virginia Polytechnic Institute and State University, no per??odo de 03 a 14 de junho de 1996, no ??mbito de projeto de Avalia????o de Programas P??blicos Orientada para Resultados, desenvolvido pela Escola Brasileira de Administra????o P??blica da Funda????o Get??lio Vargas (EBAP/FGV) para o Tribunal de Contas da Uni??o (TCU) do Brasil. Tais palestras inclu??ram, dentre outros assuntos, a vis??o geral da avalia????o no ??mbito do governo federal americano; o papel do Office of Management and Budget (OMB) na avalia????o e mensura????o de desempenho; a evolu????o da auditoria interna e externa, bem como a avalia????o de programas efetuada pela Rand Corporation. Finalmente, ainda no ??mbito do programa referido, foram utilizados materiais e informa????es coletadas a partir de entrevistas efetuadas em organiza????es governamentais como, dentre outras, o U.S. Department of Health and Human Services, e em organiza????es particulares que realizam avalia????o de programas, por for??a de contratos de presta????o de servi??os, como o Urban Institute, a Mathematic Policy Research e a Maximus, todas situadas em Washington D.C

A trajetória de um serviço público em álcool e outras drogas no município de Vitória : o caso do CPTT

Comunicação oral apresentada na 18th World Conference of Social Work realizada em 2006 em Munique, Alemanha.

Currículo e atendimento educacional especializado na educação infantil : possibilidades e desafios à inclusão escolar

Esta pesquisa teve como objetivo geral compreender a proposta/ prática curricular do Atendimento Educacional Especializado (AEE) na Sala de Recursos Multifuncionais (SRM) enquanto função complementar na educação da criança pequena com deficiência e Transtornos Globais do Desenvolvimento (TGD). Partimos das constatações de que, nas duas últimas décadas, documentos oficiais, assim como pesquisas na área, apontam a necessidade de um trabalho pedagógico inclusivo, que atenda às demandas e características dos diferentes sujeitos matriculados. Questionamos se a proposta e prática curricular complementar do AEE, por meio da SRM, têm contribuído para a inclusão da criança pequena, público alvo da educação especial, nas práticas pedagógicas da sala de aula comum? Teoricamente buscamos as contribuições da Abordagem Histórico-Cultural para compreender o desenvolvimento e aprendizagem da criança com deficiência, assim como procuramos a interlocução com os teóricos do currículo, entre os quais Sacristán. Como metodologia, utilizamos a pesquisa-ação colaborativo-crítico. O lócus da pesquisa foi um Centro de Educação Infantil, situado em Vitória/ES, com uma sala de recurso multifuncional, modelo proposto pelo Ministério da Educação (MEC). Os sujeitos participantes foram crianças de 3 a 7 anos matriculadas no Centro Municipal de Educação Infantil (CMEI) e encaminhadas para o AEE, na SRM (seis crianças surdas, sete crianças com manifestações de TGD e uma criança com Síndrome de Down); dois professores de educação especial da SRM (uma professora da área da área de Deficiência Intelectual (DI), uma professora bilíngue e um instrutor surdo); professores regentes do turno da manhã CMEI e dois pedagogos. Como perspectiva teórico-metodológica, optamos pela rede significações (Rossetti-Ferreira, 2004) que tem seus pressupostos fundamentados na teoria histórico-cultural, que compreende os processos de desenvolvimento humano como atos de significação constituídos por múltiplas interações estabelecidas social e culturalmente pelos sujeitos durante toda a vida. A organização e análise dos dados ocorreram por meio dos movimentos, cenários e atores; as práticas curriculares inclusivas na/da escola: a SRM e a sala de aula comum em seus encontros e desencontros; a preocupação com o desenvolvimento psicomotor da criança; o brincar versus a aquisição da leitura e escrita; o diálogo entre o currículo da SRM e a sala de aula comum e os encontros colaborativos com os professores de educação especial, com as pedagogas e com as professoras regentes do CMEI. Algumas considerações importantes se destacam, entre as quais: a falta de formação e desconhecimento por parte dos professores de educação especial sobre a proposta curricular da educação infantil e práticas pedagógicas descontextualizadas e fragmentadas desenvolvidas na SRM, que dificultam a ação complementar ao trabalho da classe comum. Para as professoras das salas de atividades o AEE é viável na escola de educação infantil, mas não somente na SRM, concordam que deve haver o atendimento educacional especializado no turno em que a criança esteja matriculada; que ele pode ajudar na inclusão da criança público alvo da educação especial, por meio de práticas sociais e culturais lúdicas, linguísticas e intelectuais. Concluímos que as professoras desejam um AEE dinâmico, interlocutor, que se movimente na escola como um todo.

O papel da cidade de Viçosa-MG na rede urbana : a especialização funcional de uma cidade média mineira

Rede é o nome dado para se referenciar qualquer forma que seja composta por linhas interligadas por pontos, sendo assim essa denominação é utilizada para participar de nomes e conceitos em diversas área do conhecimento. Na geografia isso não ocorre de forma diferente. As redes geográficas são a denominação dada as ligações feitas no espaço articuladas por pontos, notadamente são usadas para se fazer referência a redes materiais, mas podem ser mais imateriais ou abstratas a depender do objeto de pesquisa e do adjetivo adotado. A noção de redes urbanas nasceu vinculada aos objetos materiais, entretanto com a evolução da técnica passou a abranger objetos cada vez mais virtuais. As redes urbanas são compostas pelo conjunto de cidades, cada qual com sua centralidade representadas por pontos ou nós na rede, e pelas ligações entre elas, rodovias, hidrovias, infovias etc. As cidades que compõem a rede, por mais semelhanças que possam ter entre si, tem diferentes tipos e graus de centralidade, de poder de atração de pessoas, de recursos; sendo uma região de influência singular, que muda de tempos em tempos, face a evolução do território onde se insere. Tanto as centralidades quanto as redes de urbanas estão em constante mudança, necessitando sempre de atualização tornando o estudo das redes e das centralidades uma questão sempre nova; em especial quando considerado um território tão vasto e complexo como o brasileiro. Neste trabalho relatamos os resultados do estudo das especificidades da centralidade da cidade de Viçosa, que está localizada no interior do estado de Minas Gerais, Brasil. Este estudo fez uso de dados numéricos, fotográficos e cartográficos coletados em diversos momentos da evolução do município e da região onde este se insere, que revelaram as mudanças de qualidade e de intensidade na centralidade dessa cidade, hoje tipificada como média ou intermediária, inserida na rede urbana mineira. No período compreendido entre os anos de 1850 e 1930, Viçosa passou de uma inexpressiva localidade rural, a importante centro de produção de café, galgando ganhos políticos nesse período. Seguiu-se um período de menor pujança, por cerca de setenta anos, para depois, na virada do século XX para XXI, ressurgi como uma localidade especializada em oferecer serviços, notadamente vinculados ao ensino superior e à produção de ciência e tecnologia. Essa nova centralidade, ao contrário do que muitas vezes ocorre, não foi fruto nem de um recurso natural inerente ao território e nem, tão pouco, pela atuação de grandes grupos capitalistas. Foi galgado principalmente pela atuação do Estado que construiu ali as bases de uma especialização funcional, através da implantação de uma universidade pública.

Caminhando pelo fio da história: a residência multiprofissional em saúde nos espaços de construção da política de formação de trabalhadores para o SUS

Este trabalho analisa o Programa de Residência Multiprofissional em Saúde, com objetivo de identificar como o Programa de Residência Multiprofissional em Saúde, desenvolvido pelo Ministério da Educação e pelo Ministério da Saúde a partir de 2005, tem se constituído como uma proposta de política de formação profissional para o SUS. Foi realizada pesquisa documental com análise de conteúdo que possibilitou configurar a Política Nacional de Gestão da Educação na Saúde, na área de formação do ensino superior, especificamente na pós-graduação, onde se situa a modalidade Residências Multiprofissionais. As legislações do Sistema Único de Saúde para a formação dessa política determinam diretrizes para a formação na área da saúde baseadas na integração ensino/Serviço. São eixos que se destacam no interior do processo de constituição da política de formação profissional e são as bases dos Programas de Residência Multiprofissional em Saúde. Constatou-se que houve, na primeira metade dos anos 2000, o surgimento de inúmeros atores (fóruns de residentes, coordenadores e preceptores) que estiveram presentes na luta para estruturação da Comissão Nacional de Residência Multiprofissional em Saúde, também presentes na disputa acirrada da composição e da luta pelo reconhecimento das Residências Multiprofissionais, a partir do ano 2005. Há um campo que coloca interesses em confronto e por onde caminha a definição da base legal para institucionalização do Programa. Polariza-se e ganha força posicionamentos corporativistas indo contra aos pressupostos do perfil profissional para a saúde. Ao mesmo tempo observa-se o esvaziamento das Residências na atenção básica e o movimento do Ministério da Saúde e do Ministério da Educação para implantar as Residências Multiprofissionais nos Hospitais Universitários Federais, direcionando especialmente aos serviços de alta complexidade. Os riscos podem ser observados na conformação da formação em saúde no plano da tarefa do fazer. Frente ao contexto de precarização do trabalho, fragiliza-se a presença dos residentes para cobrir o déficit de trabalhadores nas instituições de saúde, tornando necessárias uma intensa defesa e afirmação dos residentes enquanto profissionais em formação e não profissionais de serviço. Diante desse quadro fica a dúvida quanto ao papel das Residências Multiprofissionais nas transformações do modo de se produzir saúde e formação profissional. Por outro lado a observação dos vários aspectos vinculados à residência tem demonstrado também que elas, contraditoriamente, tem sido, ou podem ser, também um reduto importante de resistência à sucumbência dos novos contornos que vêm sendo desenhado no próprio SUS. E que apesar desse contexto, elas têm sido importantes como qualificação dos serviços e dos profissionais. Há um consenso em torno da importância das presenças dos residentes e dos tutores nos serviços, através dos seus questionamentos para rompimento com práticas de cunho conservador, pois a presença dos residentes nas equipes multiprofissionais pode assumir esse enfrentamento.

A modernização do atraso : os fundamentos da urbanização de Vitória-1889-1930

Esta dissertação volta-se para a investigação da modernização da cidade de Vitória durante a passagem do século XIX ao XX. Trata-se, especificamente, da tentativa de compreender a modernização de Vitória no seu conteúdo arcaico, no sentido de, no conjunto das estratégias do poder, preservarem-se interesses de estruturas sociais anteriores, para um novo contexto econômico e sociopolítico. O referencial teórico de análise pressupôs apreender a cidade (seu espaço construído) articulada à estrutura econômica, enquanto condições urbanas necessárias à reprodução do capital. Para tal efeito, foi necessário compreender as implicações da metamorfose da riqueza, representada anteriormente pela propriedade do escravo e transferida para a propriedade da terra. Nessa tarefa, investigamos a hegemonia dos interesses da instância mercantil-exportadora do capital que dominou o aparelho de Estado e dirigiu o processo. A interferência dessa fração do capital no processo foi compreendida a partir da estruturação do poder no Espírito Santo processada na reorganização das bases da produção de café na transição do trabalho escravo para o livre. Através da modernização da cidade, foram criadas novas alternativas de valorização do capital por intermédio da construção da cidade (habitações, edifícios públicos, infraestrutura e serviços urbanos). Contudo, não se verificou de forma significativa desdobramento do excedente acumulado na esfera do comércio em atividades produtivas modernas (multiplicadoras da riqueza). Nesse processo, surge a perspectiva de a valorização da propriedade imobiliária como expressão do desenvolvimento das condições gerais da produção e da reprodução do trabalho possibilitar rendas futuras crescentes ao capital. O que indica uma urbanização fundamentalmente dominada pelos interesses mercantil-exportadores e patrimonialistas, revelando um forte traço de atraso da modernização da cidade em seu papel de centro comercial da economia regional.

Silêncios em liberdade assistida : entre governamentalidades e estratégias de vida

Esta pesquisa teve a intenção de traçar e problematizar os atravessamentos percebidos nos encontros com profissionais do Creas (Centro de Referência Especializada da Assistência Social), que atuam com medida socioeducativa em meio aberto ou Liberdade Assistida. Através dos diálogos realizados, tanto por meio de entrevistas individuais ou em grupo, a intenção foi de localizar, intensificar entrelaçamentos, linhas presentes nas diferentes facetas e momentos que esse campo apresenta. Partindo dessa intenção, o desafio que se colocou foi traçar mapas, de forma a dar corpo a ressonâncias com diferentes tempos e territórios. Constatou-se, com o auxílio de alguns autores, como Foucault, Costa e Agamben, a presença de emaranhados de questões que se entrelaçam com várias outras áreas e esferas de atuação, ou seja, áreas que não são não específicas desse campo, mas que envolvem outros profissionais, programas e propostas de serviços Estatais. Tudo isso se encontrou nas falas dos técnicos sobre as ações diárias, priorizando encontros com adolescentes em cumprimento de liberdade assistida e suas famílias, aliadas com referências dos conceitos como de governamentalidade, biopolítica, que permitiram deslocamentos de pontos de vistas cristalizados e problematizações de práticas e discursos que ali estão colocados. Para se construir um olhar crítico sobre esse campo, também foi feito um breve levantamento histórico sobre como alguns conceitos, como os de delinquência e família, são utilizados nas estratégias de intervenção governamental da população. A partir da construção de certos padrões de normalidade no cuidado com a infância ao longo da história das estratégias socioassistenciais do Brasil, se enfatizaram relações de desigualdade nos serviços e práticas contemporâneos. Tudo isso também permitiu questionar como ilegalidades participam das relações de Estado cada vez mais de forma consolidada, participando tanto da afirmação de práticas produtoras de aprisionamentos, como também possibilitando a percepção de diferentes tipos de relações que atuam na produção de outras formas de se viver Liberdade Assistida, sob discursos e práticas vigilância e controle.

An e-marketplace of healthcare and social care services: the perceived interest

Purpose – The health and social care sector is receiving growing attention due to the increased life expectancy and to the public demand for a better quality of life and better health services. New cost-efficient approaches are required, and the paper aims to present and discuss the main results of a study undertaken in a Portuguese municipality on the perceived relevance of an e-marketplace of social and healthcare services for the inhabitants in general, and for people with special needs in particular, and the identification of the most relevant services to be offered through this platform. Design/methodology/approach – A wide survey was undertaken to identify the needs of potential users and their expectancies with relation to the proposed platform. The results of the study are a support for the project promoters to understand the viability of the solution and the requirements to the deployment of the pilot experiment, as well as to drive the selection of domains of activities/classes of services to be offered by the platform. Findings – Services such as information about healthcare services, home monitoring/accompanying services 24 hours per day, and personal hygiene services provided at home are the ones recognized by the inquired citizens as the most important, which indicates that the potential users will be mostly people with special needs or their family or caregivers. Originality/value – While still at a preliminary development phase, the project represents a good opportunity to develop a totally innovative service with high potential impact for the senior population and for individuals with special needs.

An e-marketplace of healthcare and social care services: the perceived interest

The health and social care sector is receiving growing attention for the last years, due to the increased life expectancy, the public demand for a better quality of life and for better health services. These requirements can be met with more cost-efficient approaches and using new technology-based solutions for providing services. The paper presents and discusses some of the main results of a study undertaken in Guimarães, a Municipality at the North of Portugal, on the perceived relevance of an e-Marketplace of social and healthcare services for the inhabitants in general, and in particular for people with special needs; the study also included the identification of the most relevant services to be offered by this platform and allowed concluding that such an e-Marketplace is of recognized relevance and that it is expected a good adhesion from the population.

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.