Stratified resolution

We introduce a calculus of stratified resolution, in which special attention is paid to clauses that "define" relations. If such clauses are discovered in the initial set of clauses, they are treated using the rule of definition unfolding, i.e. the rule that replaces defined relations by their definitions. Stratified resolution comes with a powerful notion of redundancy: a clause to which definition unfolding has been applied can be removed from the search space. To prove the completeness of stratified resolution with redundancies, we use a novel combination of Bachmair and Ganzingerâ??s model construction technique and a hierarchical construction of orderings and least fixpoints.

On the EA-style integrated processing of self-contained mathematical texts

A sound and complete first-order goal-oriented sequent-type calculus is developed with ``large-block'' inference rules. In particular, the calculus contains formal analogues of such natural proof-search techniques as handling definitions and applying auxiliary propositions.

Quantitative Information Flow, Relations and Polymorphic Types

This paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to specialise to a simpler form when the information source and the known inputs jointly determine the inputs. For this special case, the definition is related to the classical security condition of non-interference and an equivalence is established between non-interference and independence of random variables. Quantitative information flow for deterministic systems is then presented in relational form. With this presentation, it is shown how relational parametricity can be used to derive upper and lower bounds on information flows through families of functions defined in the second order lambda calculus.

O processo decisório para obtenção de materiais de emprego militar no Exército Brasileiro

Este trabalho tem como objetivo descrever como os fatores racionais, organizacionais e políticos influenciam o processo decisório no Exército Brasileiro para a obtenção de Materiais de Emprego Militar (MEM). Utilizou-se a abordagem proposta no trabalho de Allison para análise das decisões durante a crise dos mísseis de Cuba em 1962. Os fatores racionais utilizados foram: cálculo, maximização de valor, impessoalidade, escolha racional e racionalidade limitada. Os fatores organizacionais foram: padrões e processos organizacionais, segmentação do problema, coordenação e controle centralizados, flexibilidade limitada, previsibilidade e cultura organizacional. Os fatores políticos utilizados foram: conflito, poder, negociação, contingências, cooptação, interesses e influência externa. Os resultados permitiram constatar que o processo decisório, mesmo ocorrendo em uma organização baseada em pressupostos racionais, sofre influência de fatores organizacionais e políticos.

Periodontal diseases in a representative urban population in south Brazil

Background and Aims: There is little information about the epidemiology and risk factors of periodontal diseases in Latin America in general, and Brazil in particular. The principal aims of this study were to: 1) describe the prevalence and severity of periodontal attachment loss and gingival recession, and to assess the contribution of demographic, behavioral, and environmental exposures to the occurrence of periodontal disease outcomes in a sample representative of the urban population in the state of Rio Grande do Sul in south Brazil; and 2) report the epidemiology and risk indicators of aggressive periodontitis in this population. Methods: A representative sample consisting of 1,586 subjects 14-103 years of age (mean 38 y) and comprising 45.3% males and 54.7% females was selected using a multi-stage, probability, cluster sampling strategy. The subjects were interviewed using a structured questionnaire and underwent a full-mouth, six sites per tooth clinical examination in a mobile examination center. Results: Moderate and severe clinical attachment loss and gingival recession were widespread among adults in this population. The prevalence and extent of attachment loss ³5 and ³7 mm were 79% and 52% subjects, and 36% and 16% teeth; and for gingival recession ³3 mm and ³5 mm were 52% and 22% subjects, and 17% and 6% teeth, respectively. Aggressive periodontitis was diagnosed in 5.5% of subjects, which is significantly higher than the reported prevalence in most other populations. Among the main risk indicators for chronic as well as aggressive destructive periodontal diseases were: older age, low socioeconomic status, dental calculus, and smoking. Cigarette smoking accounted for an important part of periodontal disease burden, particularly in adults, and should be considered an important target in any prevention strategy aimed at reducing the burden of periodontal diseases. Partial recording methods consistently underestimated the prevalence of attachment loss in the population, and the extent of underestimation was dependent on the type of system used and the threshold of attachment loss. Conclusions: Destructive periodontal diseases are prevalent in this Brazilian population. Suitable disease prevention and health promotion programs should be established to improve the periodontal health in this population.

Gestão de periódicos científicos: um estudo com revistas da área de administração

A criação e popularização da Internet têm provocado sérias mudanças no campo da comunicação. Especificamente na comunicação científica, o uso do meio eletrônico permite agilizar as etapas do processo editorial, bem como facilitar a criação, disseminação, pesquisa e uso de informação científica. Entretanto, a incorporação de tecnologias é também desafiadora, pois exige diversas mudanças no modelo de gestão de periódicos científicos. Esse é composto basicamente por aspectos científicos (certificação de conteúdo visando a seleção e divulgação de conhecimento de qualidade), administrativos (produção editorial e gráfica, gestão administrativa e financeira, comunicação e marketing) e financeiros (modelo de rendimentos) que precisam estar alinhados para que o periódico possa cumprir seu objetivo. A presente pesquisa teve como principal objetivo analisar a gestão editorial de periódicos científicos da área de Administração no contexto brasileiro e propor uma tipologia de seus modelos de gestão. Adotou-se de uma abordagem qualitativa e foram utilizados métodos de pesquisa documental, entrevista e análise bibliométrica para, respectivamente, identificação do contexto, descrição dos modelos de gestão editorial e cálculo do impacto dos periódicos selecionados para o estudo (Revista de Administração de Empresas, Revista de Administração Contemporânea, Revista de Administração da USP, Organizações & Sociedade e Brazilian Administration Review). Identificou-se que os periódicos selecionados apresentam impacto (medido por meio de citações) relativamente alto quando comparados aos periódicos estrangeiros avaliados pelo Qualis da área de Administração, Contabilidade e Turismo. Percebe-se que o modelo de gestão dos periódicos está fortemente vinculado ao tipo de Instituição Mantenedora desse (Associação Científica, Instituição de Ensino Superior (IES) Pública, IES Privada), a qual influencia nas questões financeiras, administrativas e científicas das revistas. Espera-se que os resultados da pesquisa possam contribuir não só para os editores de revistas científicas, mas também para os responsáveis por decisões que se referem às políticas de avaliação e fomento de periódicos científicos no Brasil.

Studies in non-Gaussian analysis

This thesis presents general methods in non-Gaussian analysis in infinite dimensional spaces. As main applications we study Poisson and compound Poisson spaces. Given a probability measure μ on a co-nuclear space, we develop an abstract theory based on the generalized Appell systems which are bi-orthogonal. We study its properties as well as the generated Gelfand triples. As an example we consider the important case of Poisson measures. The product and Wick calculus are developed on this context. We provide formulas for the change of the generalized Appell system under a transformation of the measure. The L² structure for the Poisson measure, compound Poisson and Gamma measures are elaborated. We exhibit the chaos decomposition using the Fock isomorphism. We obtain the representation of the creation, annihilation operators. We construct two types of differential geometry on the configuration space over a differentiable manifold. These two geometries are related through the Dirichlet forms for Poisson measures as well as for its perturbations. Finally, we construct the internal geometry on the compound configurations space. In particular, the intrinsic gradient, the divergence and the Laplace-Beltrami operator. As a result, we may define the Dirichlet forms which are associated to a diffusion process. Consequently, we obtain the representation of the Lie algebra of vector fields with compact support. All these results extends directly for the marked Poisson spaces.

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Estudo da papila mamária em fêmeas bovinas (Bos taurus - Linnaeus, 1758), mediante as características ultra-sonográficas em modo-B (tempo real)

Nesta pesquisa foram utilizadas vinte fêmeas bovinas, sem patologias aparentes nas glândulas mamárias, em lactação, objetivando avaliar estruturas anatômicas das papilas mamárias. Quatro técnicas ultra-sonográficas foram avaliadas. Utilizou-se transdutor linear de 7,5 MHz para uso endoretal, na obtenção das imagens, padronizando-se o lado direito do animal para visualização das papilas craniais e caudais, em dois planos anatômicos (sagital e transversal). Os animais foram divididos em quatro grupos (G1, G2, G3, G4) que representaram as diferentes técnicas empregadas em momentos distintos (antes e após ordenha). Os resultados indicaram que entre as técnicas estudadas, as de exame direto e com uso de almofadada de silicone, foram as que apresentaram maior aplicabilidade, quando considerada a sua facilidade de uso na rotina com complementação do exame clinico. Entretanto, pólipos e cálculos lácteos tem sua extensão e localização convenientemente visibilizados mediante uso da técnica de pressão de liquido. Já a técnica de imersão em água, mostrou-se mais eficiente quanto à qualidade das imagens obtidas e na caracterização das estruturas anatômicas. O experimento realizado, traz subsídios anatomo-topográfico que irão contribuir com a qualidade do diagnóstico em pacientes que possam ter indicação cirúrgica (telotomia) e levanta questões que poderão ser respondidas conforme a casuística e a experiência consolidada do cirurgião.

Problemas e modelos que contribuíram com o desenvolvimento do cálculo diferencial e integral: dos gregos à Newton

This article refers to a research which tries to historically (re)construct the conceptual development of the Integral and Differential calculus, taking into account its constructing model feature, since the Greeks to Newton. These models were created by the problems that have been proposed by the history and were being modified by the time the new problems were put and the mathematics known advanced. In this perspective, I also show how a number of nature philosophers and mathematicians got involved by this process. Starting with the speculations over scientific and philosophical natures done by the ancient Greeks, it culminates with Newton s work in the 17th century. Moreover, I present and analyze the problems proposed (open questions), models generated (questions answered) as well as the religious, political, economic and social conditions involved. This work is divided into 6 chapters plus the final considerations. Chapter 1 shows how the research came about, given my motivation and experience. I outline the ways I have gone trough to refine the main question and present the subject of and the objectives of the research, ending the chapter showing the theoretical bases by which the research was carried out, naming such bases as Investigation Theoretical Fields (ITF). Chapter 2 presents each one of the theoretical bases, which was introduced in the chapter 1 s end. In this discuss, I try to connect the ITF to the research. The Chapter 3 discusses the methodological choices done considering the theoretical fields considered. So, the Chapters 4, 5 and 6 present the main corpus of the research, i.e., they reconstruct the calculus history under a perspective of model building (questions answered) from the problems given (open questions), analyzing since the ancient Greeks contribution (Chapter 4), pos- Greek, especially, the Romans contribution, Hindus, Arabian, and the contribution on the Medium Age (Chapter 5). I relate the European reborn and the contribution of the philosophers and scientists until culminate with the Newton s work (Chapter 6). In the final considerations, it finally gives an account on my impressions about the development of the research as well as the results reached here. By the end, I plan out a propose of curse of Differential and Integral Calculus, having by basis the last three chapters of the article

Desenvolvimento e projeto de colhedora de babaçu (Orbignya phalerata Mart.) para agricultura familiar nas regiões de matas de transição da Amazônia

O babaçu (Orbignya phalerata) é uma típica palmeira das matas de transição dos ecossistemas Amazônia/Cerrado e Amazônia/Caatinga, sendo de grande importância econômica, social e ambiental nestas regiões. Os produtos advindos dos babaçuais possibilitam renda para uma das camadas mais pobres da região amazônica e um dos entraves para a obtenção eficiente destes produtos é a colheita dos cocos de babaçu, que atualmente se faz no sistema extrativista. O objetivo deste trabalho foi realizar o desenvolvimento e projeto de uma colhedora de babaçu adaptável ao ambiente de trabalho da agricultura familiar e as características das matas de transição amazônicas. Para tal foram realizados estudos de literatura que nortearam as decisões e simplificações de projeto, assim como foram realizados os cálculos e desenhos da nova colhedora. O projeto foi realizado através de ferramentas de engenharia que apresentaram como resultados o memorial de cálculo que descreve o caminho técnico para o dimensionamento dos elementos constituintes da colhedora e a partir destes os desenhos detalhados dos elementos da nova máquina. Pelos desenhos detalhados suas considerações e decisões concluí-se que a colhedora de babaçu apresenta-se passível de ser construída com materiais nacionais de baixo custo, além de fácil operação, manutenção e com mínimo efeito sobre os babaçuais naturais.

Remoção do cobre de efluente galvânico aplicando tensoativos derivado de óleos vegetais

Copper is one of the most used metals in platingprocesses of galvanic industries. The presence of copper, a heavy metal, in galvanic effluents is harmful to the environment.The main objective of this researchwas the removal ofcopperfromgalvanic effluents, using for this purpose anionic surfactants. The removal process is based on the interaction between the polar head group of the anionic surfactant and the divalent copper in solution. The surfactants used in this study were derived from soybean oil (OSS), coconut oil (OCS), and sunflower oil (OGS). It was used a copper synthetic solution (280 ppm Cu+2) simulating the rinse water from a copper acid bath of a galvanic industry. It were developed 23and 32 factorial designs to evaluate the parameters that have influence in theremoval process. For each surfactant (OSS, OCS, and OGS), the independent variables evaluated were: surfactant concentration (1.25 to 3.75 g/L), pH (5 to 9) and the presence of an anionic polymer (0 to 0.0125 g/L).From the results obtained in the 23 factorial design and in the calculus for estimatingthe stoichiometric relationship between surfactants and copper in solution, it were developed new experimental tests, varying surfactant concentration in the range of 1.25 to 6.8 g/L (32 factorial design).The results obtained in the experimental designs were subjected to statistical evaluations to obtain Pareto charts and mathematical modelsfor Copper removal efficiency (%). The statistical evaluation of the 23 and 32factorial designs, using saponifiedcoconut oil (OCS), presented the mathematical model that best described the copper removal process.It can be concluded that OCS was the most efficient anionic surfactant, removing 100% of the copper present in the synthetic galvanic solution

Dificuldades na construção de gráficos de funções

This study describes about graduation s students difficulties of to draw functions graph. Specifically, we intend to observe their abilities evolution, as well as their difficulties during Calculus I subject in engineering course. For that, we show them publications about the elaboration of graphs and its difficulties in obstacle terms and some researches witch contain this subject and that it was done during postgraduate studies in mathematical education. It shows by research methodology aspects related to French didatic s mathematic and some theories of cognitive psychology considering the high value between theoretical-methodological relation that was evidenced in both theoretical conceptions about ways to understand and teach mathematic. This methodology is based on didactic engineering purpose, that consist in preliminaries analysis, conception and didactic sequence analysis prior, trials by application followed analysis up and conclusion. We had also used pedagogicals actions and analysis of results achieved, to classify types of errors made by the 2005 s students during second semester, from conceptions related to the episthemologic and didactics obstacles

Deriving the magnitude of niobium off-center displacement in ferroelectric niobates from infrared spectroscopy

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

Aplicações da q-Álgebra em física da matéria condensada

We address the generalization of thermodynamic quantity q-deformed by q-algebra that describes a general algebra for bosons and fermions . The motivation for our study stems from an interest to strengthen our initial ideas, and a possible experimental application. On our journey, we met a generalization of the recently proposed formalism of the q-calculus, which is the application of a generalized sequence described by two parameters deformation positive real independent and q1 and q2, known for Fibonacci oscillators . We apply the wellknown problem of Landau diamagnetism immersed in a space D-dimensional, which still generates good discussions by its nature, and dependence with the number of dimensions D, enables us future extend its application to systems extra-dimensional, such as Modern Cosmology, Particle Physics and String Theory. We compare our results with some experimentally obtained performing major equity. We also use the formalism of the oscillators to Einstein and Debye solid, strengthening the interpretation of the q-deformation acting as a factor of disturbance or impurity in a given system, modifying the properties of the same. Our results show that the insertion of two parameters of disorder, allowed a wider range of adjustment , i.e., enabling change only the desired property, e.g., the thermal conductivity of a same element without the waste essence