@neurIST infrastructure for advanced disease management through integration of heterogeneous data, computing, and complex processing services

The increasing volume of data describing humandisease processes and the growing complexity of understanding, managing, and sharing such data presents a huge challenge for clinicians and medical researchers. This paper presents the@neurIST system, which provides an infrastructure for biomedical research while aiding clinical care, by bringing together heterogeneous data and complex processing and computing services. Although @neurIST targets the investigation and treatment of cerebral aneurysms, the system’s architecture is generic enough that it could be adapted to the treatment of other diseases.Innovations in @neurIST include confining the patient data pertaining to aneurysms inside a single environment that offers cliniciansthe tools to analyze and interpret patient data and make use of knowledge-based guidance in planning their treatment. Medicalresearchers gain access to a critical mass of aneurysm related data due to the system’s ability to federate distributed informationsources. A semantically mediated grid infrastructure ensures that both clinicians and researchers are able to seamlessly access andwork on data that is distributed across multiple sites in a secure way in addition to providing computing resources on demand forperforming computationally intensive simulations for treatment planning and research.

Computing infinite plans for LTL goals using a classical planner

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planningdomain and the B¨uchi automaton representingthe goal. This compilation scheme has been implemented and a number of experiments are reported.

Ordonnance de M. le comte de Sainte Maure, premier écuyer commandant la grande écurie du Roi, bailli et capitaine des chasses de la varenne des Tuileries, pont de S. Cloud, plaine de S. Denis, portant règlement général sur le fait des chasses

[Acte. 1719-08-21. Paris]

Ordonnance (du capitaine des chasses de la varenne des Tuileries, pont de S. Cloud, plaine de S. Denis, Genevilliers et dépendances) portant règlement pour les chasses

[Acte. 1726-08-27. aux Tuileries]

Avaliação dos Serviços VoIP em Links de Baixa Capacidade com Tráfego Compartilhado de Dados

Esta dissertação descreve os resultados das medições observadas em um dos Laboratórios de uma Operadora de Telecomunicações (LOP), onde foram avaliados e analisados alguns requisitos de QoS em redes de pacotes IP (Internet Protocol). Essas medições foram feitas no âmbito do objetivo desta dissertação que é avaliar formas de prover serviços VoIP (Voice over Internet Protocol) em redes de pacotes conforme a recomendação do padrão FRF.12. Essa rede é assim, uma rede de link de 512kbps que também provê serviços VoIP compartilhados, concorrentemente com dados e serviços multimídia. Dos ítens analisados destacam-se: Análise de Codecs; QoS (Quality Of Service) Diffserv; Compressão de cabeçalho RTP (Real Time Protocol) - cRTP; Fragmentação com intercalação - LFI; Comportamento da Rede em situações diversas; a adequação do software free Multi Generator (MGEN) de geração - medição - coleta de dados, em redes. A análise foi, essencialmente, em enlace Frame Relay nos CPE (Customer Premise Equipment), passando pelo Backbone IP VPN / MPLS Multicast, pois o Frame Relay Fórum v12 (FRF.12) dá suporte à intercalação de voz entre os pacotes de dados. O FRF.12 é indispensável, pois este esta dissertação tem como objetivo realizar um conjuntos de testes e medidas que avaliam a aplicação dos serviços VoIP em links de baixa capacidades com trafego de dados compartilhados. Para oferecer esse serviço e de qualidade é necessário fragmentar e intercalar frames de voz entre os pacotes de dados usando o FRF.12. Depois do estudo teórico das recomendações, normas de padronização internacional e dos fabricantes, foram realizados testes que resultam na validação prática de toda a teoria outrora analisada através de testes específicos que comprovam em definitivo a viabilidade das aplicações VoIP em uma rede de enlace de baixa velocidade. Feitos esses testes chegou-se a conclusão de que em determinados casos não se revela necessário nem preocupante o aumento da banda para se puder prover determinados serviços. Na sequência dos testes foram também avaliados o desempenho, a ocupação da banda e a eficácia dos equipamentos - softwares. Da bancada dos testes e medições, provou-se o seguinte: que de fato consegue-se melhor otimização da banda ao realizar compressão do cabeçalho cRTP; que de fato a fragmentação de pacote FTP (File Transfer Protocol) com intercalação de pacotes VoIP faz reduzir o delay e jitter1 para as aplicações de tempo real; que de fato a habilitação de QoS Intserv provê classificação e faz diferenciação dos tráfegos, e que o CODEC G729 apresenta melhor adequação em lidar com aplicações VoIP em routers2 CISCO, disponível em CRT (Centro de referência Tecnológica) de uma LOP.

Implementing interactive computing in an object-oriented environment

Statistical computing when input/output is driven by a Graphical User Interface is considered. A proposal is made for automatic control ofcomputational flow to ensure that only strictly required computationsare actually carried on. The computational flow is modeled by a directed graph for implementation in any object-oriented programming language with symbolic manipulation capabilities. A complete implementation example is presented to compute and display frequency based piecewise linear density estimators such as histograms or frequency polygons.

Computing congruences of modular forms and Galois representations modulo prime powers

This article starts a computational study of congruences of modular forms and modular Galoisrepresentations modulo prime powers. Algorithms are described that compute the maximum integermodulo which two monic coprime integral polynomials have a root in common in a sensethat is defined. These techniques are applied to the study of congruences of modular forms andmodular Galois representations modulo prime powers. Finally, some computational results withimplications on the (non-)liftability of modular forms modulo prime powers and possible generalisationsof level raising are presented.

Tecnologia VOIP com Asterisk (UM@STERISK)

Este trabalho trata do software livre Asterisk (Elastix), uma central telefónica privada IP ou (PBX IP) que suporta inúmeros protocolos e codecs da tecnologia de voz sobre IP, Abordando a sua instalação, configuração e compatibilidade com hardware de telefonia. O crescimento das redes IP, as técnicas avançadas de digitalização de voz e os mecanismos que permitem a qualidade dos serviços, permitiram a consolidação da telefonia IP. A telefonia IP está em todo-poderoso crescimento, pois além de reduzir os custos das ligações telefónicas, ela permite a ligação entre as redes de dados e de voz, criando uma infra-estrutura única, facilitando a instalação, a manutenção e o gerenciamento. Este trabalho tem como objetivo fazer um estudo da Tecnologia VoIP (Voz sob IP), propor uma estrutura e implementar um ambiente de teste, uma central telefónica VoIP com o uso do Asterisk. A central telefónica VoIP baseada no software livre Asterisk possibilita a interligação de localidades geograficamente distantes uma das outras através das redes IP, sem a necessidade de pagar os altos valores cobrados pelos fabricantes de centrais telefónicas, de hardware proprietário, pela manutenção, fornecimento de equipamentos e licenças, mas permite que se obtenha os mesmos resultados, como por exemplo, que todos os Funcionários e ou colaboradores de uma empresa realizem chamadas telefónicas entre si sem precisar pagar altas taxas cobradas pelas operadoras de telefonia pública. Através da pesquisa bibliográfica sobre a tecnologia VoIP e do estudo do software livre Asterisk, será proposta a implantação da tecnologia através da implementação de um central VoIP. A verificação dessa implantação será realizada através de testes práticos em um ambiente que será desenvolvido.

Empirical studies of cloud effects on UV radiation: A review

The interest in solar ultraviolet (UV) radiation from the scientific community and the general population has risen significantly in recent years because of the link between increased UV levels at the Earth's surface and depletion of ozone in the stratosphere. As a consequence of recent research, UV radiation climatologies have been developed, and effects of some atmospheric constituents (such as ozone or aerosols) have been studied broadly. Correspondingly, there are well-established relationships between, for example, total ozone column and UV radiation levels at the Earth's surface. Effects of clouds, however, are not so well described, given the intrinsic difficulties in properly describing cloud characteristics. Nevertheless, the effect of clouds cannot be neglected, and the variability that clouds induce on UV radiation is particularly significant when short timescales are involved. In this review we show, summarize, and compare several works that deal with the effect of clouds on UV radiation. Specifically, works reviewed here approach the issue from the empirical point of view: Some relationship between measured UV radiation in cloudy conditions and cloud-related information is given in each work. Basically, there are two groups of methods: techniques that are based on observations of cloudiness (either from human observers or by using devices such as sky cameras) and techniques that use measurements of broadband solar radiation as a surrogate for cloud observations. Some techniques combine both types of information. Comparison of results from different works is addressed through using the cloud modification factor (CMF) defined as the ratio between measured UV radiation in a cloudy sky and calculated radiation for a cloudless sky. Typical CMF values for overcast skies range from 0.3 to 0.7, depending both on cloud type and characteristics. Despite this large dispersion of values corresponding to the same cloud cover, it is clear that the cloud effect on UV radiation is 15–45% lower than the cloud effect on total solar radiation. The cloud effect is usually a reducing effect, but a significant number of works report an enhancement effect (that is increased UV radiation levels at the surface) due to the presence of clouds. The review concludes with some recommendations for future studies aimed to further analyze the cloud effects on UV radiation

Feature Extraction from Whole-Sky Ground-Based Images for Cloud-Type Recognition

Several features that can be extracted from digital images of the sky and that can be useful for cloud-type classification of such images are presented. Some features are statistical measurements of image texture, some are based on the Fourier transform of the image and, finally, others are computed from the image where cloudy pixels are distinguished from clear-sky pixels. The use of the most suitable features in an automatic classification algorithm is also shown and discussed. Both the features and the classifier are developed over images taken by two different camera devices, namely, a total sky imager (TSI) and a whole sky imager (WSC), which are placed in two different areas of the world (Toowoomba, Australia; and Girona, Spain, respectively). The performance of the classifier is assessed by comparing its image classification with an a priori classification carried out by visual inspection of more than 200 images from each camera. The index of agreement is 76% when five different sky conditions are considered: clear, low cumuliform clouds, stratiform clouds (overcast), cirriform clouds, and mottled clouds (altocumulus, cirrocumulus). Discussion on the future directions of this research is also presented, regarding both the use of other features and the use of other classification techniques

Optical nebulosities associated with IRAS sources in dense cloud cores

I, H¿ and [SII] CCD images of the regions around 4 young IRAS sources embedded in the dense molecular cloud cores CB 6, CB 39, AFGL 5142, and L 1251 are presented. Reflection nebulosities are found in all 4 regions. Herbig-Haro objects are detected in AFGL 5142 and L 1251. In both cases, the HH objects are new discoveries.