Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Maximum level and time to peak of dam-break waves on mobile horizontal bed

Journal of Hydraulic Engineering, Vol. 135, No. 11, November 1, 2009

Time-domain optimization of amplifiers based on distributed genetic algorithms

Thesis presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the subject of Electrical and Computer Engineering

Gestão de bloco operatório : modelos de gestão e monitorização

RESUMO - A consciência de uma necessidade clara em rentabilizar a capacidade instalada e os meios tecnológicos e humanos disponíveis no Bloco Operatório e face ao imperativo de um cabal desempenho e de uma adequada efectividade nestes serviços levou-nos à realização deste estudo. Objectivos: O trabalho de projecto centrou-se em quatro objectivos concretos: Elaboração de uma grelha de observação de Modelos de Gestão de Bloco Operatório; Observação de seis Modelos de Gestão de Blocos Operatórios em experiências nacionais e in-loco, de acordo com a grelha de observação; Avaliação da qualidade gestionária na amostra seleccionada à luz dos modelos existentes; Criação de uma grelha de indicadores para a monitorização e avaliação do Bloco Operatório. Metodologia: Na elaboração da grelha de observação dos Blocos Operatórios recorremos a um grupo de peritos, à bibliografia disponível e à informação recolhida em entrevistas. Aplicámos a grelha de observação aos seis Blocos Operatórios e analisámos as informações referentes a cada modelo com a finalidade de encontrar os pontos-chave que mais se destacavam em cada um deles. Para a elaboração da grelha de indicadores de monitorização do Bloco Operatório realizámos uma reunião recorrendo à técnica de grupo nominal para encontrar o nível de consenso entre os peritos. Resultados: Criámos uma grelha de observação de Modelos de Gestão de Bloco Operatório que permite comparar as características de gestão. Esta grelha foi aplicada a seis Blocos Operatórios o que permitiu destacar como elementos principais e de diferenciação: o sistema de incentivos implementado; o sistema informático, de comunicação entre os serviços e de débito directo dos gastos; a existência de uma equipa de gestão de Bloco Operatório e de Gestão de Risco; a importância de um planeamento cirúrgico semanal e da existência de um regulamento do Bloco Operatório. Desenhámos um painel de indicadores para uma monitorização do Bloco Operatório, de onde destacamos: tempo médio de paragem por razões técnicas, tempo médio de paragem por razões operacionais, tempo médio por equipa e tempo médio por procedimento. Considerações finais: Os Blocos Operatórios devem ponderar a existência das componentes mais importantes dos Modelos, bem como recolher exaustivamente indicadores de monitorização. A investigação futura deverá debruçar-se sobre a relação entre os indicadores de monitorização e os Modelos de Gestão, recorrendo à técnicas de benchmarking. -------------------ABSTRACT - This study was driven by the need to optimise available capacity, technology and human resources in the Operating Room and to address the corresponding goals of adequate performance and effectiveness. Objectives: This project focuses on four specific objectives: development of an observation grid of operating room management models; in-loco observation and documentation of six national operating room, according to the grid; assess the quality of management in the selected sample relative to existing management models; create a set of indicators for monitoring and evaluating operating rooms. Methodology: The design of the observation grid was based on experts’ consultation, a literature survey and information gathered in various interviews. The observation grid was applied to six operating rooms and the information for each management model was analysed in order to find its key characteristics. We used the Nominal Group Technique in order to develop a set of indicators for monitoring and evaluating operating rooms. Results: An observation grid was created for operating rooms management models, which allowed comparing management characteristics. This grid was applied to six operating rooms allowing disentangle its main features and differentiating characteristics: implementation of incentive systems; IT systems including information flow between services; inventory and expense management; existence of a management team and effective risk management; importance of weekly planning and regulations. We designed a set control indicators, whose major characteristics are the following: the average down time due to technical reasons, the average down time due to operational reasons, the average time per team and the average time per procedure. Final Conclusions: Operating rooms should consider the most relevant characteristics of management models and collect exhaustive information on control indicators. Future research should be devoted to assessing the operating room performance according to management models, using control indicators and benchmarking techniques.

Algorithms for time series clustering applied to biomedical signals

Thesis submitted in the fulfillment of the requirements for the Degree of Master in Biomedical Engineering

Critical Velocity obtained using Simplified Models of the Railway Track: Viability and Applicability

Increased demands on the capacity of the railway network gave rise to new issues related to the dynamic response of railway tracks subjected to moving vehicles. Thus, it becomes important to evaluate the applicability of traditionally used simplified models which have a closed form solution. Regarding simplified models, transversal vibrations of a beam on a visco-elastic foundation subjected to a moving load are considered. Governing equations are obtained by Hamilton’s principle. Shear distortion, rotary inertia and effect of axial force are accounted for. The load is introduced as a time varying force moving at a constant velocity. Transversal vibrations induced by the load are solved by the normal-mode analysis. Reflected waves at the extremities of the full beam are avoided by introduction of semi-infinite elements. Firstly, the critical velocity obtained from this model is compared with results of an undamped Euler- Bernoulli formulation with zero axial force. Secondly, a finite element model in ABAQUS is examined. The new contribution lies in the introduction of semi- infinite elements and in the first step to a systematic comparison, which have not been published so fa

Cidadão e comunidade : que relevância no processo de contratualizaç

RESUMO - Nas últimas décadas, a especialização dos cuidados médicos tem conduzido a uma fragmentação do sistema de prestação, que, associada a uma deficiente coordenação entre serviços, cuidados e prestadores, torna a navegabilidade dos utentes nos sistemas de saúde uma tarefa complexa. Um novo modelo de organização, assente na procura de valor para os cidadãos, deve adoptar uma abordagem sistémica, que tenha subjacente uma coordenação integrada de serviços, numa perspectiva de ciclo de cuidados. Reorientar a prestação de cuidados para a obtenção de resultados e valor em saúde, exige uma reengenharia em torno da estrutura, organização e avaliação1 dos cuidados, requerendo, nomeadamente: i) instrumentos e ferramentas que auxiliem e estruturem este novo modelo; ii) assumpção dos papéis definidos para cada um dos actores do sistema, nomeadamente ao nível da coordenação; iii) encorajamento à adopção de modelos de contratualização, pagamento e competição, que responsabilizem os actores envolvidos não só pela prática que desenvolvem, mas pelos resultados em saúde. Estes mecanismos constituem uma oportunidade para expandir e sustentar abordagens, programas e intervenções integradas. Investir num sistema de pagamento por valor em saúde — P4V — payment for value, traduz uma aposta na relação entre diagnóstico, tratamento, resultados clínicos e custos, enquanto estratégia para assegurar ganhos em qualidade dos cuidados, eficiência dos processos e valor em saúde para o cidadão. Neste contexto, a gestão da doença enquanto modelo direccionado para o reforço da perspectiva e participação activa do cidadão, e avaliação compreensiva de novas formas de organização e gestão do sistema de prestação, constitui um instrumento para informar e sustentar esse processo de reengenharia do sistema. Um modelo que procura assegurar o encontro entre o estado da arte na prestação de cuidados e um nível óptimo, garantindo a qualidade de vida expectável para a pessoa com doença crónica. ----------------- ---------ABSTRACT – In the last decades advanced medical sciences trend to specialized care and fragmented health systems, leaving patients with a challenge on navigating services and care, requiring them to see a sequence of specialists each delivering discrete interventions. To overcome these challenges, every health system must redefine health care delivery to use its resources more efficiently and improve quality of care through an organization of the system as a whole. A system currently organized around value for patients, entails a framework that comprises the entire set of activities needed to address a patient´s medical condition, over the full cycle of care. Value- based care delivery therefore requires an integrated practice, both across services and time, and implies a movement through new structures, organization models, evaluation efforts and payment systems that enables, catalyze and reinforces the extension and sustainability of the steps needed to the change required. A shift from a payment for performance to a payment for value focuses attention on maximizing the overall value of care, and encourages coordination and integration between components of care that extends from screening, diagnoses, all the way through treatment, outcomes and costs, and ensuring an incentive for potentially high value types of care as well as innovation. These leave the actors of the system with the task of best allocating and valuing components of care. Disease management as a model designed to structure patient engagement and involvement in their care, and assure a comprehensive evaluation and monitoring of new organization and care delivery strategies align an opportunity as a source of information and sustainability for the progress of a growing number of likeminded efforts now underway across care delivery for chronic diseases. This framework will allow the fulfillment of the gap between sta

Behavioral and synaptic circuit analysis in models of neuropsychiatric disorders: Dissecting the in vivo role of the postsynaptic density proteins nArgBP2 and Shank3 using genetic engineered mice

Dissertation presented to obtain the Ph.D degree in Biology

Landslide susceptibility assessment in Karanganyar regency - Indonesia - Comparison of knowledge-based and Data-driven Models

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Algorithm for the Parkinson’s disease behavioural models characterization using a biosensor

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Development of novel human cellular models for neurotoxicity studies

Dissertation to obtain master degree in Genética Molecular e Biomedicina

Time diversity solutions to cope with lost packets

A dissertation submitted to Departamento de Engenharia Electrotécnica of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Engenharia Electrotécnica e de Computadores

The new mobility paradigm: transformation of value chain and business models

We would like to thank Philipp Schwarz and Julia Gückel for their dedicated support in preparing this paper and our colleagues and students of the School of Engineering and the Business School for our fruitful discussions.

Evaluation of chemotherapeutic potential of natural extracts using 3D models of colon cancer

Dissertation to obtain master degree in Biotechnology