Estrategias estadísticas y de aprendizaje automático en genómica y proteómica funcional.

El objetivo de este proyecto, enmarcado en el área de metodología de análisis en bioingeniería-biotecnología aplicadas al estudio del cáncer, es el análisis y caracterización a través de perfiles de expresión de proteínas y genes de las vías metabólicas asociadas a progresión tumoral. Dicho estudio se llevará a cabo mediante la utilización de tecnologías de alto rendimiento. Las mismas permiten evaluar miles de genes/proteínas en forma simultánea, generando así una gran cantidad de datos de expresión. Se hipotetiza que para un análisis e interpretación de la información subyacente, caracterizada por su abundancia y complejidad, podría realizarse mediante técnicas estadístico-computacionales eficientes en el contexto de modelos mixtos y técnicas de aprendizaje automático. Para que el análisis sea efectivo es necesario contemplar los efectos ocasionados por los diferentes factores experimentales ajenos al fenómeno biológico bajo estudio. Estos efectos pueden enmascarar la información subyacente y así perder informacion relevante en el contexto de progresión tumoral. La identificación de estos efectos permitirá obtener, eficientemente, los perfiles de expresión molecular que podrían permitir el desarrollo de métodos de diagnóstico basados en ellos. Con este trabajo se espera poner a disposición de investigadores de nuestro medio, herramientas y procedimientos de análisis que maximicen la eficiencia en el uso de los recursos asignados a la masiva captura de datos genómicos/proteómicos que permitan extraer información biológica relevante pertinente al análisis, clasificación o predicción de cáncer, el diseño de tratamientos y terapias específicos y el mejoramiento de los métodos de detección como así tambien aportar al entendimiento de la progresión tumoral mediante análisis computacional intensivo.

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.

SAAP - Sistema Automático de Apuestas de Poker

Se trata de la creación de una aplicación de apuestas virtuales automáticas al juego del Texas Hold'Em Poker en el mercado de apuestas más grande que existe ahora mismo en Internet, en Betfair, en su categoría de X-Games. La aplicación permite seleccionar varias estrategias de apuestas que irá aplicando en cada juego.

Dimensionamento de pessoal de enfermagem em uma unidade especializada em transplante de fígado: comparação do real com o preconizado

O estudo foi desenvolvido em uma clínica cirúrgica de um hospital público universitário, onde, dentre as modalidades terapêuticas oferecidas, são realizados transplantes de fígado. Nessa clínica são internados pacientes que necessitam de cuidados de enfermagem de diferentes complexidades, desde intermediários até os intensivos. Teve-se como objetivo comparar o quadro de pessoal de enfermagem existente na unidade coin o preconizado pela Resolução COFEN nº 189/ 96, onde ficou demonstrado que o quadro da unidade respeita essa Resolução.

Proposta de modelo para dimensionamento do pessoal de enfermagem em assistência domiciliária

A assistência domiciliária (AD) suscita questionamentos sobre a necessidade do número de horas diárias e dos dias de assistência de enfermagem por parte dos compradores da prestação de serviços à saúde em domicílio. Identificar os critérios adotados por gerentes e enfermeiras para o dimensionamento do pessoal de enfermagem. Os dados foram coletados por meio de entrevista semi-estruturada e analisados segundo o método de análise de conteúdo. Identificaram-se três categorias: elegibilidade do paciente; tempo despendido na assistência e perfil de competência do profissional. As etapas consideradas foram: identificação da carga média diária de trabalho; determinação da proporção das categorias profissionais; jornada de trabalho dos profissionais de enfermagem e identificação do índice de segurança técnica para cobertura de ausências previstas e de não previstas. Com base nessas variáveis, propusemos um modelo para calcular o quadro de profissionais de enfermagem em AD, agilizando o processo de tomada de decisão.

Ressuscitação cardiopulmonar com a utilização do desfibrilador externo semi-automático: avaliação do processo ensino-aprendizagem

Estudos demonstram que a sobrevida após uma parada cardíaca diminui 10% para cada minuto de atraso na desfibrilação, e que a taxa de sobrevivência é de 98% quando ela é conseguida em 30 segundos. No atendimento de uma parada cardíaca, é primordial que seja incluído no treinamento a utilização dos desfibriladores externos semi-automáticos (DEA). O objetivo deste estudo foi comparar a Habilidade Psicomotora e o Conhecimento Teórico de leigos na técnica da ressuscitação cardiopulmonar (RCP) utilizando o DEA, antes e após treinamento. A amostra constituiu-se de 40 funcionários administrativos de uma instituição pública que receberam treinamento da técnica da RCP, utilizando o DEA, em laboratório. O aumento significativo de acertos nos itens do instrumento de avaliação da Habilidade Psicomotora e do Conhecimento Teórico, após o treinamento, indica que houve melhora no desempenho dos participantes.

Vehículos-robot de guiado automático para almacenes y plantas de manufacturación

En este proyecto de final de carrera se realiza la gestión del tráfico de AGV y la simulación de su comportamiento al circular por una planta de estudio. Con la simulación se puede ver como varía el comportamiento de la planta al modificar el número de AGV y la velocidad a la que circulan. La planta objeto de estudio es un laboratorio de análisis clínico en el que se ha sustituido el sistema de transporte interno basado en cintas por uno con AGV, con lo que se ha podido comprobar que dicha sustitución es factible.

Dimensionamento informatizado de profissionais de enfermagem: inovação tecnológica

Esse estudo, de produção tecnológica, teve como objetivo desenvolver um programa aplicativo para dimensionar o quadro de profissionais de enfermagem em unidades de internação hospitalar. O método seguiu as fases de concepção, detalhamento e construção e prototipagem do sistema de forma iterativa e cíclica. O programa computacional, denominado de Dimensionamento de Profissionais de Enfermagem - DIPE, é uma ferramenta que operacionaliza o dimensionamento, fundamentado na carga de trabalho da unidade, para a adequada relação profissionais/pacientes, segundo os tipos de cuidado; no Índice de Segurança Técnica (IST) para cobertura das ausências previstas (folgas e férias) e não previstas (faltas e licenças) e no tempo despendido na jornada de trabalho para as pausas dos profissionais. O sistema está disponível no site da Escola de Enfermagem da USP: http://www.ee.usp.br/dipe. A incorporação desse avanço tecnológico constitui importante estratégia gerencial para a melhoria da qualidade da atenção à saúde.

Dimensionamento informatizado de profissionais de enfermagem: avaliação de um software

A complexidade para operacionalizar o método de dimensionamento de profissionais de enfermagem, diante das inúmeras variáveis relativas à identificação da carga de trabalho, do tempo efetivo de trabalho dos profissionais e do Índice de Segurança Técnica (IST), evidenciou a necessidade de desenvolver um software, denominado: Dimensionamento Informatizado de Profissionais de Enfermagem (DIPE). Este estudo exploratório descritivo teve como objetivo avaliar a qualidade técnica e o desempenho funcional do DIPE. Participaram como sujeitos da pesquisa dezoito avaliadores, sendo dez enfermeiros docentes ou enfermeiros gerentes de unidades de saúde hospitalar e oito especialistas em informática em saúde. A avaliação do software baseou-se na norma NBR ISO/IEC 9126-1, considerando as características funcionalidade, confiabilidade, usabilidade, eficiência e ma­nutenibilidade. A avaliação do software obteve resultados positivos, sobre os quais os avaliadores concordaram em todas as características avaliadas. As sugestões relatadas serão importantes para a proposição de melhorias e aprimoramento do DIPE.

Identificação das intervenções de enfermagem na Atenção Primária à Saúde: parâmetro para o dimensionamento de trabalhadores

Na Atenção Primária à Saúde (APS) o quadro de trabalhadores de enfermagem é planejado de forma empírica, gerando distorção entre a alocação e a real necessidade das unidades de saúde. O objetivo deste trabalho foi identificar as intervenções de enfermagem na APS para subsidiar o dimensionamento dos trabalhadores. Foram utilizadas as seguintes fontes: revisão bibliográfica em bases de dados no período de 1999-2009; observação em campo em Unidade de Saúde da Família; levantamento em prontuários de famílias; mapeamento das atividades em intervenções de enfermagem segundo a taxonomia Nursing Interventions Classification e validação dessas intervenções. Identificaram-se 169 atividades: 11 atividades associadas; 5 pessoais; e 153 de cuidados diretos e indiretos que foram mapeadas e validadas em 7 domínios, 15 classes e 46 intervenções da NIC. O estudo possibilitou o reconhecimento das práticas de enfermagem na APS por meio de uma linguagem padronizada, subsidiando a sua aplicação na construção de instrumentos para a identificação da carga de trabalho.

Dimensionamento de Pilares Mistos Aço- Betão Segundo a en1994-1-1 Através de uma Aplicação Informática

O presente trabalho debruça-se sobre as estruturas mistas aço-betão, com foco nos pilares mistos e no seu dimensionamento segundo a norma europeia EN1994-1-1 (EC4) [1]. Um pilar misto aço-betão pode definir-se como um elemento de aço, laminado ou composto, que trabalha em conjunto com o betão, podendo as secções serem classificados como revestidas ou preenchidas. Com a crescente evolução das técnicas construtivas, as estruturas mistas aço-betão aparecem como soluções viáveis e seguras, tornando-se numa opção competitiva em relação às soluções tradicionais de betão armado e de aço estrutural. Isto, devido à grande capacidade de carga proporcionada por secções mais reduzidas, à boa relação de rigidez e bom comportamento perante os fenómenos de encurvadura. Com o surgimento da recente norma europeia EC4, não obstante a complexidade das metodologias de verificação da segurança propostas, há uma maior confiança na utilização deste tipo de estrutura por parte dos projetistas. É neste contexto que surge a necessidade de desenvolver ferramentas de cálculo expedito que possam ser utilizadas em gabinete de projeto, salvaguardando todos os aspetos regulamentares de verificação da segurança preconizados no EC4, de que é exemplo o dimensionamento de pilares mistos abordados no presente trabalho. De forma a validar a ferramenta desenvolvida é proposto um caso de estudo, com o objetivo de obter soluções de pilares mistos com dimensões otimizadas, fazendo as verificações previstas no EC4. Os resultados obtidos na ferramenta são comparados com os resultados obtidos através de cálculos analíticos.

Viabilidade do fabrico do supositório de paracetamol em Cabo Verde Seu dimensionamento

Com este trabalho pretendo saber se é viável produzir supositórios de paracetamol em Cabo Verde. Da descoberta de uma molécula à sua introdução no mercado, passando pela sua produção a escala industrial, sobre uma forma farmacêutica segura, eficaz e económica, existe várias etapas. A molécula de paracetamol passou por todas estas fases e existe literaturas conceituadas sobre o supositório de paracetamol. No nosso trabalho, começamos por fazer o levantamento das informações gerais sobre o fármaco e as características farmacológicas da molécula. De seguida fizemos uma análise do consumo do produto importado em Cabo Verde, com o objectivo sobretudo de dimensionar o processo na indústria nacional. Escolhemos o equipamento e os materiais necessários e avaliamos o custo da produção. No final do trabalho analisamos se o projecto é viável ou não e em que dimensão para o mercado existente.

Proceso automático para la medida de las reflectancias. 1.-Descripción preliminar

Para el cálculo de las constantes fsicas n, k, a partir de las medidas de reflectancia en dos medios de índice de refracción conocido y diferente, se necesita emplear criterios estadísticos, lo que obliga a obtener gran cantidad de datos experimentales y por consiguiente el cálculo es muy laborioso. Se describe el método automàtico utilizado para la simplificación de estas operaciones que permiten realizar dichos cálculos en gran rapidez.

Sistema automático para determinar estructuras cristalinas por difracción de rayos-X

Se desarrolla en este trabajo un sistema de calculo para la determinación de estructuras cristalinas por difracción de rayos-X. Las caracteristicas de este sistema son: Incorporar los métodos y las técnicas más recientes. Obtener la máxima velocidad de ejecución posible. Obtener la total automatización del proceso. Y conseguir la mínima ocupacion de memoria posible.

Aplicación para la obtención y análisis automático de noticias en el ámbito financiero

Este trabajo desarrolla el análisis, diseño e implementación de un prototipo para un sistema de obtención y análisis automático de noticias, estando enfocado al uso en el ámbito de los mercados financieros.