Neural Networks Architecture Evaluation in a Quantum Computer

In this work, we propose a quantum algorithm to evaluate neural networks architectures named Quantum Neural Network Architecture Evaluation (QNNAE). The proposed algorithm is based on a quantum associative memory and the learning algorithm for artificial neural networks. Unlike conventional algorithms for evaluating neural network architectures, QNNAE does not depend on initialization of weights. The proposed algorithm has a binary output and results in 0 with probability proportional to the performance of the network. And its computational cost is equal to the computational cost to train a neural network

Influence of seismic activity on the atmospheric electric field in Lisbon (Portugal) from 1955 to 1991

In the present study, we considered the influence of seismic activity on the atmospheric electric field recorded at Portela meteorological station (Lisbon, Portugal) for the period from 1955 to 1991. To this end, an exploratory method was developed, which involved the selection of events for which the distance from the atmospheric electrical field sensor to the earthquake epicenter is smaller than the preparation radius of the event. This enabled the correlation of the atmospheric electric field variations with a quantity S, defined basically as the ratio of the earthquake preparation radius to the distance between the sensor and the event epicenter. The first results show promising perspectives, but clearly a more profound study is required, in which a careful analysis of the weather conditions and other variables, like atmospheric radon levels, must be considered

Urban form indicators as proxy on the noise exposure of buildings

Available online 27 September 2013The present paper aims to address the problems of the urban environment as an area of interaction between urban forms and urban noise. This interaction is intended to be monitored using urban indica-tors, by comparing the effects of noise propagation using models of urban forms. The model of noise pre-diction allowed developing noise studies in facades, resulting in noise levels in a calculation grid located in the building facades. The study will allow the creation of different scenarios and anticipate as early as in the preliminary building design phase, which facades would be exposed to higher noise levels. The effects of noise in facades can then be minimized in advance, by adjusting the layout of the urban typology

Um sistema para organização de informações de solos brasileiros.

Com o objetivo de possibilitar o armazenamento e a disponibilização das informações sobre os solos brasileiros, a Embrapa Informática Agropecuária e a Embrapa Solos investem no desenvolvimento de um Sistema de Informações de Solos. O sistema foi concebido para armazenar dados detalhados sobre este recurso natural, para que possam ser acessados pela internet, combinados e analisados sob vários pontos de vista. Seu banco de dados reunirá informações de solos coletados e analisados de todas as regiões do Brasil. A partir desta base de dados serão desenvolvidas aplicações para a tomada de decisões do agronegócio, em zoneamento agrícola, na estimativa da produtividade de culturas, no ensino e na pesquisa. A base será, ainda, continuamente alimentada por pesquisadores da Embrapa e de outras instituições.CIIC 2012. No 12605

'Galculator': functional prototype of a Galois-connection based proof assistant

Galculator is the name of the prototype of a proof assistant of a special brand: it is solely based on the algebra of Galois connections. When combined with the pointfree transform and tactics such as the indirect equality principle, Galois connections offer a very powerful, generic device to tackle the complexity of proofs in program verification. The paper describes the architecture of the current Galculator prototype, which is implemented in Haskell in order to steer types as much as possible. The prospect of integrating the Galculator with other proof assistants such as e.g. Coq is also discussed.(undefined