A short training program improves the accuracy of portion-size estimates in future dietitians

[EN] The objective of this study was to determine whether a short training program, using real foods, would decreased their portion-size estimation errors after training. 90 student volunteers (20.18±0.44 y old) of the University of the Basque Country (Spain) were trained in observational techniques and tested in food-weight estimation during and after a 3-hour training period. The program included 57 commonly consumed foods that represent a variety of forms (125 different shapes). Estimates of food weight were compared with actual weights. Effectiveness of training was determined by examining change in the absolute percentage error for all observers and over all foods over time. Data were analyzed using SPSS vs. 13.0. The portion-size errors decreased after training for most of the foods. Additionally, the accuracy of their estimates clearly varies by food group and forms. Amorphous was the food type estimated least accurately both before and after training. Our findings suggest that future dietitians can be trained to estimate quantities by direct observation across a wide range of foods. However this training may have been too brief for participants to fully assimilate the application.

The federal photovoltaics commercialization program

The dissertation presents a political and economic history of the federal government's program to commercialize photovoltaic energy for terrestrial use. Chapter 1 is a detailed history of the program. Chapter 2 is a brief review of the Congressional roll call voting literature. Chapter 3 develops PV benefit measures at the state and Congressional district level necessary for an econometric analysis of PV roll call voting. Chapter 4 presents the econometric analysis.

Because PV power was considerably more expensive than conventional power, the program was designed to make PV a significant power source in the long term, emphasizing research and development, although sizeable amounts have been spent for procurement (direct government purchases and indirectly through tax credits). The decentralized R and D program pursued alternative approaches in parallel, with subsequent funding dependent on earlier progress. Funding rose rapidly in the 1970s before shrinking in the 1980s. Tax credits were introduced in 1978, with the last of the credits due to expire this year.

Major issues in the program have been the appropriate magnitude of demonstrations and government procurement, whether decentralized, residential use or centralized utility generation would first be economic, the role of storage in PV, and the role of PV in a utility's generation mix.

Roll call voting on solar energy (all votes analyzed occurred from 1975-1980) was influenced in a cross-sectional sense by all the influences predicted: party and ideology, local economic benefits of the technology, local PV federal spending and manufacturing, and appropriations committee membership. The cross-sectional results for ideology are consistent with the strongly ideological character of solar energy politics and the timing of funding increases and decreases discussed in Chapter 1. Local PV spending and manufacturing was less significant than ideology or the economic benefits of the technology. Because time series analysis of the votes was not possible, it is not possible to test the role of economic benefits to the nation as a whole.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.

This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.

This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.

The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.

The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.

Direito à moradia, políticas públicas em habitação e o enfrentamento do déficit habitacional: os desafios do Programa Minha Casa, Minha Vida

A presente dissertação tem por objetivo a análise do Programa Minha Casa, Minha Vida no sentido de verificar se o mesmo é passível de ser aplicado em municípios com características diversas, tornando-se um instrumento útil para esses entes federativos, combatendo o déficit habitacional urbano. Inicialmente, é desenvolvida uma abordagem sobre a moradia e o reconhecido direito a esta, que tem residência nas ideias de direitos fundamentais e direitos humanos, buscando definir sua utilização como instrumento para alcançar um status de dignidade humana. A questão do déficit habitacional, de longa data como objeto de políticas públicas em habitação no país, é também abordada, coligindo-se a teoria do direito à moradia com a realidade do referido déficit, utilizando-se como exemplo histórico a cidade do Rio de Janeiro e procurando abordar o porquê da dificuldade em solucionar a questão da moradia para a população de baixa renda, abordando também a natureza da propriedade imobiliária e a influência do setor imobiliário. Continua-se com a abordagem do programa em bases teórica e técnica, descendo-se após a alguma análise de sua legislação, sem esquecer das bases legislativas e programáticas que o antecederam e com ele relacionados. O trabalho finaliza com três estudos de caso nos Municípios de Silva Jardim, Petrópolis e Rio de Janeiro, onde, pelos dados coligidos, verifica-se que nem todos conseguem a contento implementar o programa em seu território, mormente para a faixa de menor renda, bem como que o programa não deixa de sofrer a influência do setor imobiliário, influência esta que pode acabar determinando para onde a cidade crescerá. Também se verifica que a efetiva atuação do poder público municipal é imprescindível para que o programa se torne um instrumento útil no território da cidade.

Probability in Quantum Mechanics: The Everett Interpretation and the Decision-Theoretic Program

The Everett interpretation of quantum mechanics is an increasingly popular alternative to the traditional Copenhagen interpretation, but there are a few major issues that prevent the widespread adoption. One of these issues is the origin of probabilities in the Everett interpretation, which this thesis will attempt to survey. The most successful resolution of the probability problem thus far is the decision-theoretic program, which attempts to frame probabilities as outcomes of rational decision making. This marks a departure from orthodox interpretations of probabilities in the physical sciences, where probabilities are thought to be objective, stemming from symmetry considerations. This thesis will attempt to offer evaluations on the decision-theoretic program.

A utilização da fitoterapia e de plantas medicinais em unidades básicas de saúde nos municípios de Cascavel e Foz do Iguaçu Paraná: a visão dos profissionais de saúde

A fitoterapia e o uso de plantas medicinais fazem parte da prática da medicina popular, que diminuiu frente ao processo de industrialização nas décadas de 1940 e 1950, aumentando a busca, pela população, por terapias menos agressivas destinadas ao atendimento primário à saúde. Essa complementa o tratamento usualmente empregado para a população de menor renda. O objetivo deste trabalho foi analisar o conhecimento dos gestores e profissionais de saúde que atuam na atenção primária, sobre fitoterapia e uso de plantas medicinais, nos municípios de Cascavel e Foz do Iguaçu - Paraná. Para tanto, no período de fevereiro a julho de 2009, foi realizado estudo exploratório, descritivo, qualitativo, empregando como instrumentos de pesquisa entrevistas semiestruturadas e um questionário estruturado, auto aplicado, com perguntas fechadas, a fim de contemplar os seguintes aspectos: perfil dos profissionais; aceitabilidade quanto à implantação da fitoterapia na atenção básica; confiança nos tratamentos com fitoterápicos; capacitação e formação profissional relacionadas à fitoterapia, entre outros itens. Um dos gestores considerou recente o programa de fitoterapia. Indicadores de satisfação da população quanto ao uso dos fitoterápicos ou plantas medicinais ainda não existem. O gestor do município de Cascavel relatou interesse na implantação do programa. Os demais profissionais entrevistados, de maneira geral, relataram não haver recebido formação sobre o tema durante a graduação, nem mesmo dentro das UBS onde trabalham. Entre os profissionais entrevistados seis (60%) relataram o acesso às informações sobre fitoterapia através do conhecimento popular, uma (10%) formação na UBS, dois (20%) através de periódicos, quatro (40%) através de meio de comunicação, sendo que quatro citaram mais que uma das opções. Em Foz do Iguaçu, nas UBS onde a terapêutica está implantada, os profissionais relataram não terem sido consultados antes de sua implantação, e a avaliação das plantas utilizadas pelos pacientes atendidos ocorre somente através de avaliação objetiva e subjetiva do tratamento Para implantação da fitoterapia nas UBS desses dois municípios, é necessário capacitar os profissionais quanto ao tema, desde o cultivo até a prescrição, melhorando o uso racional desses medicamentos.

Avaliação da eficácia de um programa de treinamento em habilidades sociais para idosos

Estudos atuais apontam a importância da qualidade nos relacionamentos sociais para o bem-estar físico, psicológico e social na terceira idade, mas não fornecem dados suficientes que indiquem como auxiliar os idosos a se tornarem socialmente competentes, ou seja, como desenvolver habilidades sociais na terceira idade. Um método bastante utilizado para ensinar habilidades sociais para diferentes populações tem sido o Treinamento de Habilidades Sociais. O presente estudo pretende avaliar a eficácia de um Programa de Treinamento em Habilidades Sociais para Idosos (THSI) no aumento tanto do repertório de habilidades sociais como do bem estar subjetivo de estudantes da UnATI/UERJ. A pesquisa foi dividida em duas fases. Na primeira fase, foram utilizados a Escala de Depressão em Geriatria-15, o Mini-exame do Estado Mental e o Questionário de Dificuldades em Situações Sociais com a finalidade de selecionar os participantes do estudo. A atual pesquisa contou com a participação de 40 idosos, sendo que a escolha das pessoas que fariam parte do grupo experimental e do grupo controle foi baseada na compatibilidade entre a disponibilidade de horário dos estudantes e o horário escolhido para o treinamento. A segunda fase da pesquisa envolveu investigar a eficácia do THSI. Para a avaliação das habilidades sociais, foi utilizado o Inventário de Habilidades Sociais que compreende cinco fatores (enfrentamento e auto-afirmação com risco; auto-afirmação na expressão de sentimentos positivos; conversação e desenvoltura social; auto-exposição a desconhecidos e situações novas e o autocontrole da agressividade) e sete situações de jogos de papéis. O bem-estar subjetivo foi analisado através da Escala de Satisfação com a Vida e da Escala PANAS. Todo esse material foi aplicado, antes e logo depois do THSI, tanto no grupo controle como no experimental. O THSI foi realizado em 12 encontros de uma hora e meia de duração e teve como objetivo o ensino direto e sistemático das habilidades sociais com o propósito de aperfeiçoar a competência social dos idosos nas situações de: iniciar conversação; fazer pedidos; responder a pedidos; fazer pedido de mudança de comportamento; cobrar dívidas; responder a críticas; falar em público; fazer e receber elogios. A partir dos dados obtidos no material especificado acima, pôde-se observar mudanças positivas entre os participantes do grupo experimental como o desenvolvimento da habilidade assertiva. Os resultados desta pesquisa sugerem que a implementação de programas de treinamento em habilidades sociais em grupo, com pessoas na terceira idade, contribuirá para a aprendizagem e o aperfeiçoamento das habilidades sociais desta população.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Management of fishing capacity in a spiny lobster (Panulirus argus) fishery: analysis of trap performance under the Florida spiny lobster Trap Certificate Program

The spiny lobster (Panulirus argus) fishery in Florida was operationally inefficient and overcapitalized throughout the 1980s. The Trap Certificate Program initiated during the 1992–93 season was intended to increase gear efficiency by reducing the number of traps being used while maintaining the same catch level in the fishery. A depletion model was used to estimate trap fishing efficiency. The costs of fishing operations and the value of the catch were used to determine the revenues generated by the fishery under different trap levels. A negative functional relationship was found between the catchability coefficient and the number of traps, which indicated that the fewer traps operating under the trap reduction scheme were more efficient. Also, the financial analyses indicated that the higher catch efficiency resulting from fewer traps generated significantly higher revenues, despite lower stock abundances. This study indicates that the trap reduction program had improved a situation that would have been much worse.