Realizing live sequence charts in SystemVerilog.

The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety performance. In early stages, system requirements are often specified as scenarios of behavior using sequence charts for different use cases. This specification must be precise, intuitive and expressive enough to capture different aspects of embedded control systems. As a rather rich and useful extension to the classical message sequence charts, live sequence charts (LSC), which provide a rich collection of constructs for specifying both possible and mandatory behaviors, are very suitable for designing an embedded control system. However, it is not a trivial task to realize a high-level design model in executable program codes effectively and correctly. This paper tackles the challenging task by providing a mapping algorithm to automatically synthesize SystemVerilog programs from given LSC specifications

Suicide gene therapy on spontaneous canine melanoma: correlations between in vivo tumors and their derived multicell spheroids in vitro

To validate the use of multicellular spheroids to predict the efficacy of herpes simplex thymidine kinase/ganciclovir (HSVtk/GCV) suicide gene therapy in the respective in vivo tumors, we established and characterized 15 melanoma-derived cell lines from surgically excised melanoma tumors. Three HSVtk-lipofected cell lines were not sensitive to GCV in any culture configuration, other five displayed similar sensitivity as monolayers or spheroids, and only one resulted more sensitive when grown as spheroids. Other six cell lines manifested a relative multicellular resistance (MCR) phenotype growing as spheroids, compared with the same cells growing as monolayers. The reverse correlation between the MCR and the monolayers survival to HSVtk/GCV suggests that one of the main causes of MCR would be the rapid cell repopulation after suicide gene treatment. The high correlation of MCR with the spheroids radial growth and with the mitotic index of the respective originary tumors supported this re-growth involvement. A remarkable finding was the high correlation in HSVtk/GCV sensitivity between in vivo tumor and the corresponding derived cell lines growing as spheroids (R 2 0.85). This strongly encourages the implementation of spheroids as highly realistic experimental model for optimizing and predicting the in vivo response of the respective tumors to therapeutic strategies.Fil: Gil Cardeza, Maria Lourdes. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Dr. Ángel Roffo". Unidad de Transferencia Genética; ArgentinaFil: Villaverde, Marcela Solange. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Dr. Ángel Roffo". Unidad de Transferencia Genética; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Fiszman, Gabriel Leon. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Dr. Ángel Roffo". Unidad de Transferencia Genética; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Altamirano, Natalia Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Dr. Ángel Roffo". Unidad de Transferencia Genética; ArgentinaFil: Cwirenbaum, R. A.. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Dr. Ángel Roffo". Unidad de Transferencia Genética; ArgentinaFil: Glikin, Gerardo Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Dr. Ángel Roffo". Unidad de Transferencia Genética; ArgentinaFil: Finocchiaro, Liliana Maria Elena. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Dr. Ángel Roffo". Unidad de Transferencia Genética; Argentin

Impacto da reforma de financiamento de hospitais de ensino no Brasil

OBJECTIVE: To assess the impact of funding reform on the productivity of teaching hospitals. METHODS: Based on the Information System of Federal University Hospitals of Brazil, 2003 and 2006 efficiency and productivity were measured using frontier methods with a linear programming technique, data envelopment analysis, and input-oriented variable returns to scale model. The Malmquist index was calculated to detect changes during the study period: "technical efficiency change," or the relative variation of the efficiency of each unit; and "technological change" after frontier shift. RESULTS: There was 51% mean budget increase and improvement of technical efficiency of teaching hospitals (previously 11, 17 hospitals reached the empirical efficiency frontier) but the same was not seen for the technology frontier. Data envelopment analysis set benchmark scores for each inefficient unit (before and after reform) and there was a positive correlation between technical efficiency and teaching intensity and dedication. CONCLUSIONS: The reform promoted management improvements but there is a need of further follow-up to assess the effectiveness of funding changes.OBJETIVO: Evaluar el impacto de la reforma de financiamiento en la productividad de hospitales de enseñanza. MÉTODOS: A partir del Sistema de Informaciones de los Hospitales Universitarios Federales de Brasil, se construyeron fronteras de eficiencia y productividad en 2003 y 2006 con técnicas de programación linear, por medio de análisis envoltorio de datos, considerando retornos variables de escala y orientación a input. Se calculó el Índice de Malmquist para identificar cambios de desempeño a lo largo de los años con relación a la eficiencia técnica (cociente entre los puntajes de eficiencia en tiempos distintos) y eficiencia tecnológica (desplazamiento de la frontera en el período considerado). RESULTADOS: Hubo aumento del aporte financiero en 51% y de la eficiencia técnica de los hospitales de enseñanza (de 11, pasaron a ser 17 en la frontera empírica de eficiencia), no ocurriendo el mismo con la frontera tecnológica. El uso del análisis envoltorio de datos estableció los benchmarks para las unidades ineficientes (antes y después de la reforma) y los puntajes de eficiencia mostraron una posible correlación entre la eficiencia técnica encontrada y la intensidad y dedicación de enseñanza. CONCLUSIONES: La reforma permitió el desarrollo de mejoras gerenciales, pero es necesario mayor tiempo de acompañamiento para observar cambios más efectivos del modelo de financiamiento.OBJETIVO: Avaliar o impacto da reforma de financiamento na produtividade de hospitais de ensino. MÉTODOS: A partir do Sistema de Informações dos Hospitais Universitários Federais, foram construídas fronteiras de eficiência e produtividade em 2003 e 2006 com técnicas de programação linear, por meio de análise envoltória de dados, considerando retornos variáveis de escala e orientação a input. Calculou-se o Índice de Malmquist para identificar mudanças de desempenho ao longo dos anos quanto à eficiência técnica (razão entre os escores de eficiência em tempos distintos) e eficiência tecnológica (deslocamento da fronteira no período considerado). RESULTADOS: Houve aumento do aporte financeiro em 51% e da eficiência técnica dos hospitais de ensino (de 11, passaram a ser 17 na fronteira empírica de eficiência), o mesmo não ocorrendo com a fronteira tecnológica. O uso de análise envoltória de dados estabeleceu os benchmarks para as unidades ineficientes (antes e depois da reforma) e os escores de eficiência mostraram uma possível correlação entre a eficiência técnica encontrada e a intensidade e dedicação de ensino. CONCLUSÕES: A reforma permitiu o desenvolvimento de melhorias gerenciais, mas é necessário maior tempo de acompanhamento para observar mudanças mais efetivas do modelo de financiamento

Active compounds and distinctive sensory features provided by American ginseng (Panax quinquefolius L.) extract in a new functional milk beverage

American ginseng (Panax quinquefolius L.) has recognized neurocognitive effects, and a ginsenoside-rich extract of the root of the plant has been shown to improve cognitive functions in young adults. This study aimed at assessing the chemical and sensory profiles of a UHT-treated, low-lactose functional milk containing American ginseng. Individual ginsenosides in the milk were analyzed by HPLC. Descriptive sensory analysis was performed by a trained panel to quantitatively document sensory changes resulting from the addition of ginseng and the UHT process on flavored and unflavored milks. Consumer acceptance of the product was also investigated. Total ginsenoside content in the UHT-treated milk enriched with the ginseng extract after UHT process treatment was 7.52. mg/100. g of milk, corresponding to a recovery of 67.6% compared with the content in the unprocessed extract. The intake of 150 to 300. mL of this ginseng-enriched milk provides the amount of total ginsenosides (11.5 to 23. mg) necessary to improve cognitive function after its consumption. Both the presence of ginsenosides and their thermal treatment affected some sensory properties of the milk, most notably an increase in bitterness and metallic taste, the appearance of a brownish color, and a decrease in milky flavor. Levels of brown color, bitterness, and metallic taste were highest in the industrially processed ginseng-enriched milk. The bitterness attributable to ginseng extract was reduced by addition of vanilla flavor and sucralose. A consumer exploratory study revealed that a niche of consumers exists who are willing to consume this type of product.The financial support of the Ministry of Science and Innovation of Spain (Madrid, Spain) for the project SENIFOOD (CENIT Programme) and for the contract with A. Tárrega (Juan de la Cierva Programme) is acknowledged. We gratefully acknowledge Juan Duato Aguilar, from Naturex Spain S.L. (Quart de Poblet, Spain), for his valuable technical support

Dynamic summarization of bibliographic-based data

<p>Abstract</p> <p>Background</p> <p>Traditional information retrieval techniques typically return excessive output when directed at large bibliographic databases. Natural Language Processing applications strive to extract salient content from the excessive data. Semantic MEDLINE, a National Library of Medicine (NLM) natural language processing application, highlights relevant information in PubMed data. However, Semantic MEDLINE implements manually coded schemas, accommodating few information needs. Currently, there are only five such schemas, while many more would be needed to realistically accommodate all potential users. The aim of this project was to develop and evaluate a statistical algorithm that automatically identifies relevant bibliographic data; the new algorithm could be incorporated into a dynamic schema to accommodate various information needs in Semantic MEDLINE, and eliminate the need for multiple schemas.</p> <p>Methods</p> <p>We developed a flexible algorithm named Combo that combines three statistical metrics, the Kullback-Leibler Divergence (KLD), Riloff's RlogF metric (RlogF), and a new metric called PredScal, to automatically identify salient data in bibliographic text. We downloaded citations from a PubMed search query addressing the genetic etiology of bladder cancer. The citations were processed with SemRep, an NLM rule-based application that produces semantic predications. SemRep output was processed by Combo, in addition to the standard Semantic MEDLINE genetics schema and independently by the two individual KLD and RlogF metrics. We evaluated each summarization method using an existing reference standard within the task-based context of genetic database curation.</p> <p>Results</p> <p>Combo asserted 74 genetic entities implicated in bladder cancer development, whereas the traditional schema asserted 10 genetic entities; the KLD and RlogF metrics individually asserted 77 and 69 genetic entities, respectively. Combo achieved 61% recall and 81% precision, with an F-score of 0.69. The traditional schema achieved 23% recall and 100% precision, with an F-score of 0.37. The KLD metric achieved 61% recall, 70% precision, with an F-score of 0.65. The RlogF metric achieved 61% recall, 72% precision, with an F-score of 0.66.</p> <p>Conclusions</p> <p>Semantic MEDLINE summarization using the new Combo algorithm outperformed a conventional summarization schema in a genetic database curation task. It potentially could streamline information acquisition for other needs without having to hand-build multiple saliency schemas.</p

Text summarization in the biomedical domain: A systematic review of recent research

The amount of information for clinicians and clinical researchers is growing exponentially. Text summarization reduces information as an attempt to enable users to find and understand relevant source texts more quickly and effortlessly. In recent years, substantial research has been conducted to develop and evaluate various summarization techniques in the biomedical domain. The goal of this study was to systematically review recent published research on summarization of textual documents in the biomedical domain

Bases de datos Objeto-Relacionales y la tecnología J2EE. Caso práctico: gestión del macrosistema del Iberá. Experiencias durante el diseño y la implementación

En este trabajo se presenta el diseño de una aplicación web, teniendo como repositorio de datos una Base de Datos Objeto-Relacional. El objetivo es generar un sistema de información para gestionar la información de los reptiles y anfibios (herpetofauna) del macrosistema del Iberá en la provincia de Corrientes. El ORDBMS que se emplea es Oracle9i, debido a que en la actualidad es uno de los sistemas Objeto Relacional mas avanzado, que cumple en gran medida con los estándares de SQL:1999. Se emplea una Base de Datos Objeto Relacional por la complejidad de los datos y de las relaciones entre lo mismos, que incluyen el manejo de tipos de datos complejos, colecciones, relaciones de herencia, composición y asociación. La aplicación se ejecutará en browsers estándar en un entorno web. Los módulos de la aplicación se desarrollan en Java sobre una plataforma J2EE. Se emplearon varias herramientas: Rational Rose (análisis en UML), Object Database Designer, JDeveloper 9i, Oracle Containers for Java, Struts, etc. En el trabajo se describen las partes más relevantes del modelo de datos, las experiencias recogidas en el desarrollo del mismo, las soluciones adoptadas en el diseño conceptual de la Base de Datos, el diseño de la arquitectura de la aplicación y cómo se relaciona la arquitectura con la base de datos

Subtle changes in the flavour and texture of a drink enhance expectations of satiety

Background: The consumption of liquid calories has been implicated in the development of obesity and weight gain. Energy-containing drinks are often reported to have a weak satiety value: one explanation for this is that because of their fluid texture they are not expected to have much nutritional value. It is important to consider what features of these drinks can be manipulated to enhance their expected satiety value. Two studies investigated the perception of subtle changes in a drink’s viscosity, and the extent to which thick texture and creamy flavour contribute to the generation of satiety expectations. Participants in the first study rated the sensory characteristics of 16 fruit yogurt drinks of increasing viscosity. In study two, a new set of participants evaluated eight versions of the fruit yogurt drink, which varied in thick texture, creamy flavour and energy content, for sensory and hedonic characteristics and satiety expectations. Results: In study one, participants were able to perceive small changes in drink viscosity that were strongly related to the actual viscosity of the drinks. In study two, the thick versions of the drink were expected to be more filling and have a greater expected satiety value, independent of the drink’s actual energy content. A creamy flavour enhanced the extent to which the drink was expected to be filling, but did not affect its expected satiety. Conclusions: These results indicate that subtle manipulations of texture and creamy flavour can increase expectations that a fruit yogurt drink will be filling and suppress hunger, irrespective of the drink’s energy content. A thicker texture enhanced expectations of satiety to a greater extent than a creamier flavour, and may be one way to improve the anticipated satiating value of energy-containing beverages