Branch and bound algorithm for transmission network expansion planning using DC model

This paper presents an algorithm to solve the network transmission system expansion planning problem using the DC model which is a mixed non-linear integer programming problem. The major feature of this work is the use of a Branch-and-Bound (B&B) algorithm to directly solve mixed non-linear integer problems. An efficient interior point method is used to solve the non-linear programming problem at each node of the B&B tree. Tests with several known systems are presented to illustrate the performance of the proposed method. ©2007 IEEE.

Using GPUs for beamforming acceleration on SAFT imaging

SAFT techniques are based on the sequential activation, in emission and reception, of the array elements and the post-processing of all the received signals to compose the image. Thus, the image generation can be divided into two stages: (1) the excitation and acquisition stage, where the signals received by each element or group of elements are stored; and (2) the beamforming stage, where the signals are combined together to obtain the image pixels. The use of Graphics Processing Units (GPUs), which are programmable devices with a high level of parallelism, can accelerate the computations of the beamforming process, that usually includes different functions such as dynamic focusing, band-pass filtering, spatial filtering or envelope detection. This work shows that using GPU technology can accelerate, in more than one order of magnitude with respect to CPU implementations, the beamforming and post-processing algorithms in SAFT imaging. ©2009 IEEE.

A useful empirical bayesian method to analyse industrial data from saturated factorial designs

The use of saturated two-level designs is very popular, especially in industrial applications where the cost of experiments is too high. Standard classical approaches are not appropriate to analyze data from saturated designs, since we could only get the estimates of the main factor effects and we would not have degrees of freedom to estimate the variance of the error. In this paper, we propose the use of empirical Bayesian procedures to get inferences for data obtained from saturated designs. The proposed methodology is illustrated assuming a simulated data set. © 2013 Growing Science Ltd. All rights reserved.

Técnicas de paralelização em GPGPU aplicadas em algoritmo para remoção de ruído multiplicativo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Simulação numérica de escoamentos de fluidos pelo método de elementos finitos de mínimos quadrados

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Utilização da lógica difusa na caracterização de áreas favoráveis à disposição de resíduos sólidos no município de Americana (SP)

Pós-graduação em Geociências e Meio Ambiente - IGCE

Competência informacional e a busca de informações científicas: um estudo com pós-graduandos da Faculdade de Ciências Agronômicas da UNESP campus de Botucatu

Pós-graduação em Ciência da Informação - FFC

Comportamento informacional de pós-graduandos de educação: estudo sobre as variáveis intervenientes

Pós-graduação em Ciência da Informação - FFC

Desenvolvimento de uma arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

O campo escalar no formalismo de Duffin-Kemmer-Petiau

Pós-graduação em Física - IFT

Expressão de ZAP 70 e relação com a expressão de CD 38, ploidia e índice de fase S em pacientes com lucemia linfocítica crônica

Pós-graduação em Pesquisa e Desenvolvimento (Biotecnologia Médica) - FMB

Análise de protocolos com intervenção motora domiciliar para pacientes com doença de Alzheimer: uma revisão sistemática

The regular practice of physical therapy is indicated as a non-pharmacological treatment of Alzheimer's disease by promoting cognitive, behavioral and functional benefits. However, little is known about the protocols with home-based motor intervention for this population. Thinking about it, this review aimed to investigate and analyze the protocols for home-based motor intervention for elderly with Alzheimer's disease described in scientific articles. A systematic search was performed in the following databases: Web of Science, PubMed, PsycINFO, and Scopus, using the following keywords and Boolean operators: home-based exercise OR home-based physical exercise OR home-based physical fitness OR home-based rehabilitation OR home-based physical therapy OR home-based physical activity OR home-based engine Intervention and AD OR Alzheimer's disease OR AlzheimerOR Alzheimer's dementia. We also conducted a manual search of reference lists of selected articles. Of the five articles that met the inclusion criteria adopted, three performed a protocol for home motor intervention, achieving good compliance with the program, improvement of general health and reduction of depressive symptoms. The other two studies were limited to describing the protocols. Although more studies are needed, with detailed protocols, this review allowed to show that protocols for home motor intervention can also produce positive effects for both patients and caregivers.

DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

3D stability orbits close to 433 Eros using an effective polyhedral model method

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Singular Value Decomposition and Ligand Binding Analysis

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)