RegulonDB (version 3.2): transcriptional regulation and operon organization in Escherichia coli K-12

RegulonDB is a database on mechanisms of transcription regulation and operon organization in Escherichia coli K-12. The current version has considerably increased numbers of regulatory elements such as promoters, binding sites and terminators. The complete repertoire of known and predicted DNA-binding transcriptional regulators can be considered to be included in this version. The database now distinguishes different allosteric conformations of regulatory proteins indicating the one active in binding and regulating the different promoters. A new set of operon predictions has been incorporated. The relational design has been modified accordingly. Furthermore, a major improvement is a graphic display enabling browsing of the database with a Java-based graphic user interface with three zoom-levels connected to properties of each chromo­somal element. The purpose of these modifications is to make RegulonDB a useful tool and control set for tran­scriptome experiments. RegulonDB can be accessed on the web at the URL: http://www.cifn.unam.mx/Computational_Biology/regulondb/

Vídeo-Mapa: uma interface de geovisualização multimídia aplicada a transportes e meio ambiente.

A presente tese propõe uma metodologia de vídeo-mapeamento móvel georreferenciado a partir do desenvolvimento de protótipos que utilizam uma Interface de Geovisualização Multimídia para sincronizar o registro (em vídeo) de um local ou evento de interesse com a rota percorrida pelo veículo de inspeção (sobre mapa ou imagem), através da coleta de dados por sensores móveis: câmera digital, microfone, receptor GNSS e bússola digital. A interface permite a integração desses sensores com os atuais serviços de mapas digitais disponíveis na web. Sistemas como esse melhoram significativamente as análises temporais, a gestão e a tomada de decisão. A interface proposta e desenvolvida no presente trabalho é útil para muitas aplicações como ferramenta de monitoramento e inventário. Esta interface pode ser entendida como o componente visual de um sistema de mapeamento móvel ou como um sistema cartográfico alternativo ou complementar, para aplicações em que a precisão geométrica do receptor GNSS, na modalidade de navegação, é suficiente e sua acessibilidade, um fator competitivo. As aplicações desenvolvidas no presente trabalho foram duas: um sistema de monitoramento e inventário de placas de sinalização viária e um sistema de monitoramento de cheias/secas e inventário de propriedades na borda de reservatórios de hidroelétricas, ambos em pleno funcionamento.

Abordagem experimental para avaliação de manobras de navios em modelos físicos de espaços náuticos.

Em um mercado de comércio internacional cada vez mais competitivo existe a necessidade de a infraestrutura do sistema portuário brasileiro modernizar-se, tornando-se mais eficiente do ponto de vista operacional e com capacidade para receber navios de maior porte. Neste cenário, as técnicas de projeto de espaços náuticos precisam ser revistas, utilizando-se de ferramentas mais sofisticadas que permitam otimizar os dimensionamentos sem deixar de lado as questões da eficiência e, principalmente, da segurança operacional. O presente trabalho apresenta uma abordagem experimental para análise do projeto das dimensões de canais de acesso e bacias portuárias, fundamentada no desenvolvimento de um simulador de manobras de navios em modelo físico de escala reduzida, denominado Simulador Analógico de Manobras SIAMA 2014. Além disso, é proposto um sistema completo para avaliação das condições de manobrabilidade de espaços náuticos portuários, desde a calibração da ferramenta de simulação, até a verificação de cenários complexos e situações de emergência. O SIAMA 2014 e o sistema desenvolvido foram aplicados em um estudo de caso, que contou com a participação de práticos e autoridades portuárias na realização de simulações de manobras para verificação das condições de atracação no novo berço do Terminal Portuário Marítimo de Ponta da Madeira, em São Luís do Maranhão. Os resultados deste estudo foram apresentados e discutidos, de forma a mostrar a importância da utilização de modelos físicos reduzidos na simulação de manobra de navios.

How to use WinEdt 5 as an interface for TDA

The text editor WinEdt 5 may be easily configured to provide a user interface for TDA. The configuration described below allows you to launch TDA command files directly from within WinEdt (via menu or shortcut). TDA's standard output will be written to disk and displayed in WinEdt automatically. Furthermore, you may also just execute selected parts of a command file.

Federal Wind Energy Program : program summary, January 1978.

Includes index.

Wind turbine generator system, Block Island, Rhode Island : final environmental impact statement /

"DOE/EIS-0006; UC 11, 13, 60."

Federal wind energy program : summary report /

"UC-60."

Survey of historical and current site selection techniques for the placement of small wind energy conversion systems /

"BNWL-WIND-9. UC-60."

Horizontal-axis wind system rotor performance model comparison : a compendium /

"February 1983."

Dynamic stall of small wind systems /

"February 1983."

A report on wind energy /

Presents an overview of the wind energy industry and discusses potential future wind energy development in Illinois.

The possible effects of wind energy on Illinois birds and bats.

"200/2007"

Two NextGen Air Safety Tools: An ADS-B Equipped UAV and a Wake Turbulence Estimator

Thesis (Master's)--University of Washington, 2016-06

Operations and Planning in Sustainable Power Systems

Thesis (Ph.D.)--University of Washington, 2016-06

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.