GEVREY SOLVABILITY AND GEVREY REGULARITY IN DIFFERENTIAL COMPLEXES ASSOCIATED TO LOCALLY INTEGRABLE STRUCTURES

In this work we study some properties of the differential complex associated to a locally integrable (involutive) structure acting on forms with Gevrey coefficients. Among other results we prove that, for such complexes, Gevrey solvability follows from smooth solvability under the sole assumption of a regularity condition. As a consequence we obtain the proof of the Gevrey solvability for a first order linear PDE with real-analytic coefficients satisfying the Nirenberg-Treves condition (P).

Gas flow analysis in a Kraft recovery boiler

Demands for optimal boiler performance and increased concerns in lowering emission have always been the driving force in the reevaluation and evolution of the Kraft boiler: specifically the air distribution strategies that are directly related to achieving increased residence time of flue gas combustion inside the furnace which in turn lowers atmosphere emission levels and enhances boiler operation. This paper presents the results of a study that analyzes the interaction of the different multilevel air injections have on flue gas flow patterns including various quaternary air supply arrangements. Additionally, this study assesses the performance of the CFD (Computational Fluid Dynamics) model against data available in literature. Simulations were performed considering isothermal and incompressible flows, and did not take into account thermal phenomena or chemical reactions. The numerical solutions generated proved to be coherently related to the data available in literature, and provided proof of the efficiency of tertiary level air injection, as well as revealed that quaternary air injection ports arranged in a symmetrical configuration is most suitable for optimal equipment operation. (C) 2010 Elsevier B.V. All rights reserved.

The Poisson-exponential lifetime distribution

In this paper we proposed a new two-parameters lifetime distribution with increasing failure rate. The new distribution arises on a latent complementary risk problem base. The properties of the proposed distribution are discussed, including a formal proof of its probability density function and explicit algebraic formulae for its reliability and failure rate functions, quantiles and moments, including the mean and variance. A simple EM-type algorithm for iteratively computing maximum likelihood estimates is presented. The Fisher information matrix is derived analytically in order to obtaining the asymptotic covariance matrix. The methodology is illustrated on a real data set. (C) 2010 Elsevier B.V. All rights reserved.

The prospects for immunotherapy in smoking cessation

Context Smoking is a major preventable cause of death and disability that is maintained by dependence on nicotine. Smoking cessation reduces mortality and morbidity. Although existing pharmacological aids to smoking cessation and relapse prevention (nicotine replacement therapy and bupropion) improve on unassisted quitting and behavioural methods, they are only modestly effective. More effective pharmacological methods are required that improve compliance, reduce side-effects, and can be used in combination with existing cessation methods. Starting point A nicotine vaccine is a promising immunotherapeutic approach to smoking cessation and relapse prevention. Such a vaccine would induce the immune system to form specific antibodies to nicotine to prevent it from crossing the blood-brain barrier to act on receptor sites in the central nervous system. Recent studies in rats provide proof of principle by showing that nicotine-specific antibodies can prevent the reinstatement of nicotine self-administration (N Lindblom et al, Respiration 2002; 69: 254–60) and block dopamine release in the shell of the nucleus accumbens (Sde Villiers et al, Respiration 2002; 69: 247–53). A phase 1 trial of a human cocaine vaccine has also recently been successfully completed (T Kosten et al, Vaccine 2002; 20: 1196–204). A safe and effective human nicotine vaccine would potentially have fewer side-effects and better compliance than existing smoking-cessation pharmacotherapies. It could also be used in combination with some of them (eg, bupropion). Where next? The most promising clinical application of a human nicotine vaccine is likely to be in relapse prevention in abstinent smokers. A vaccine may also have a role in preparing smokers to quit. Clinical trials of safety and efficacy in human smokers and ex-smokers are warranted. If a nicotine vaccine proves to be safe and effective, the health-care system will need to ensure that it is registered for clinical use and that the poorer members of the community (among whom smoking prevalence is now highest in developed countries) have access to the vaccine. The community will need to be appropriately informed about the role of a nicotine vaccine to ensure that it is not prematurely used for preventive purposes in children and adolescents.

Nodal solutions for nonlinear eigenvalue problems

We are concerned with determining values of, for which there exist nodal solutions of the boundary value problems u" + ra(t) f(u) = 0, 0 < t < 1, u(O) = u(1) = 0. The proof of our main result is based upon bifurcation techniques.

On the Jager-Kaul theorem concerning harmonic maps

In 1983, Jager and Kaul proved that the equator map u*(x) = (x/\x\,0) : B-n --> S-n is unstable for 3 less than or equal to n less than or equal to 6 and a minimizer for the energy functional E(u, B-n) = integral B-n \del u\(2) dx in the class H-1,H-2(B-n, S-n) with u = u* on partial derivative B-n when n greater than or equal to 7. In this paper, we give a new and elementary proof of this Jager-Kaul result. We also generalize the Jager-Kaul result to the case of p-harmonic maps.

Matrix-product codes over Fq

Codes C-1,...,C-M of length it over F-q and an M x N matrix A over F-q define a matrix-product code C = [C-1 (...) C-M] (.) A consisting of all matrix products [c(1) (...) c(M)] (.) A. This generalizes the (u/u + v)-, (u + v + w/2u + v/u)-, (a + x/b + x/a + b + x)-, (u + v/u - v)- etc. constructions. We study matrix-product codes using Linear Algebra. This provides a basis for a unified analysis of /C/, d(C), the minimum Hamming distance of C, and C-perpendicular to. It also reveals an interesting connection with MDS codes. We determine /C/ when A is non-singular. To underbound d(C), we need A to be 'non-singular by columns (NSC)'. We investigate NSC matrices. We show that Generalized Reed-Muller codes are iterative NSC matrix-product codes, generalizing the construction of Reed-Muller codes, as are the ternary 'Main Sequence codes'. We obtain a simpler proof of the minimum Hamming distance of such families of codes. If A is square and NSC, C-perpendicular to can be described using C-1(perpendicular to),...,C-M(perpendicular to) and a transformation of A. This yields d(C-perpendicular to). Finally we show that an NSC matrix-product code is a generalized concatenated code.

Optically driven micromachine elements

We report on a proof of principle demonstration of an optically driven micromachine element. Optical angular momentum is transferred from a circularly polarized laser beam to a birefringent particle confined in an optical tweezers trap. The optical torque causes the particle to spin at up to 350 Hz, and this torque is harnessed to drive an optically trapped microfabricated structure. We describe a photolithographic method for producing the microstructures and show how a light driven motor could be used in a micromachine system. (C) 2001 American Institute of Physics.

The relation between the transversus abdominis muscles, sacroilac joint mechanics, and low back pain

Study Design. Two abdominal muscle patterns were tested in the same group of individuals, and their effects were compared in relation to sacroiliac joint laxity. One pattern was contraction of the transversus abdominis, Independently of the other abdominals; the other was a bracing action that used all the lateral abdominal muscles. Objectives. To demonstrate the biomechanical effect of the exercise for the transversus abdominis known to be effective in low back pain. Summary of Background Data. Drawing in the abdominal wall is a specific exercise for the transversus abdominis muscle (in cocontraction with the multifidus), which is used in the treatment of back pain. Clinical effectiveness has been demonstrated to be a reduction of 3-year recurrence from 75% to 35%. To the authors' best knowledge, there is not yet in vivo proof of the biomechanical effect of this specific exercise. This study of a biomechanical model on the mechanics of the sacroiliac joint, however, predicted a significant effect of transversus abdominis muscle force. Methods. Thirteen healthy individuals who could perform the test patterns were included. Sacroiliac joint laxity values were recorded with study participants in the prone position during the two abdominal muscle patterns. The values were recorded by means of Doppler Imaging of vibrations. Simultaneous electromyographic recordings and ultrasound imaging were used to verify the two muscle patterns. Results. The range of sacroiliac joint laxity values observed in this study was comparable with levels found in earlier studies of healthy individuals. These values decreased significantly in all individuals during both muscle patterns (P < 0.001). The independent transversus abdominis contraction decreased sacroiliac joint laxity (or rather increased sacroiliac joint stiffness) to a significantly greater degree than the general abdominal exercise pat-tern (P < 0.0260). Conclusions. Contraction of the transversus abdominis significantly decreases the laxity of the sacroiliac joint. This decrease in laxity is larger than that caused by a bracing action using all the lateral abdominal muscles. These findings are in line with the authors' biomechanical model predictions and support the use of independent transversus abdominis contractions for the treatment of low back pain.

Practical scheme for quantum computation with any two-qubit entangling gate

Which gates are universal for quantum computation? Although it is well known that certain gates on two-level quantum systems (qubits), such as the controlled-NOT, are universal when assisted by arbitrary one-qubit gates, it has only recently become clear precisely what class of two-qubit gates is universal in this sense. We present an elementary proof that any entangling two-qubit gate is universal for quantum computation, when assisted by one-qubit gates. A proof of this result for systems of arbitrary finite dimension has been provided by Brylinski and Brylinski; however, their proof relies on a long argument using advanced mathematics. In contrast, our proof provides a simple constructive procedure which is close to optimal and experimentally practical.

Chapter 16: Prophylactic Human Papillomavirus Vaccines

Candidate prophylactic vaccines based on papillomavirus L1 virus-like particles (VLPs) are currently in human clinical trials. The main long-term goal of the vaccine is to reduce the incidence of cervical cancer and its precursors. In animal papillomavirus models, systemic immunization with L1 VLPs can induce high titers of neutralizing antibodies that confer protection against high-dose experimental papillomavirus challenge. In humans, systemic vaccination with L1 VLPs has been well tolerated and induced high serum antibody titers (at least 40 times higher than titers seen following natural infection). A recent proof of principle HPV16 L1 VLP efficacy trial has shown excellent protection against persistent HPV16 infection and associated cytological abnormalities. Large scale efficacy trials of L1 VLPs from HPV16 and 18 (the HPV types found most frequently in cervical cancer), with or without HPV6 and 11 (the HPV types responsible for most genital warts), are planned. If the results of these large trials support the encouraging results of the early trials, they should lead to a commercial prophylactic HPV vaccine. Implementation issues may include how to make the vaccine available in the developing world, where the majority of cervical cancer cases occur, the appropriate age of vaccination, and the role of male vaccination. Because a VLP vaccine is likely to provide type-specific protection, increasing the number of cancer-associated HPV types in the vaccine is a likely approach to broadening the protection to additional types. There will probably also be efforts to develop alternative vaccine formulations better suited to implementation in developing countries as well as attempts to develop vaccines with a therapeutic activity against established HPV infection because a combined prophylactic/therapeutic vaccine may be expected to have an even greater impact than a purely prophylactic vaccine on HPV induced disease.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

A creative solution for rapid and inexpensive model-making in product design processes

Rapid prototyping (RP) is an approach for automatically building a physical object through solid freeform fabrication. Nowadays, RP has become a vital aspect of most product development processes, due to the significant competitive advantages it offers compared to traditional manual model making. Even in academic environments, it is important to be able to quickly create accurate physical representations of concept solutions. Some of these can be used for simple visual validation, while others can be employed for ergonomic assessment by potential users or even for physical testing. However, the cost of traditional RP methods prevents their use in most academic environments on a regular basis, and even for very preliminary prototypes in many small companies. That results in delaying the first physical prototypes to later stages, or creating very rough mock-ups which are not as useful as they could be. In this paper we propose an approach for rapid and inexpensive model-making, which was developed in an academic context, and which can be employed for a variety of objects.

Aprendendo a viver com regras : a validação das teses piagetianas da gênese da moral nos contextos atuais

RESUMO: Esta dissertação teve como objetivo central replicar o estudo realizado por Piaget sobre aquisição do conceito de regras em crianças, a fim de procurarmos saber se passados 78 anos da obra “O Juízo Moral na Criança”, os dados que o mesmo encontrou sobre a aquisição do princípio da moral se mantêm em nossa atualidade. Para atingir esse objetivo realizamos uma breve revisão bibliográfica, abrangendo alguns autores, teóricos e pesquisadores que enfatizaram estudos sobre o princípio da ética e a fundamentação da moral, entre os quais constam: Platão, Aristóteles, Nietzsche, Kant, Durkheim. Baseamo-nos igualmente em alguns autores mais recentes como Vázquez, Lourenço, Cortina e Martinez, Biaggio, dentre outros. Ao analisarmos a origem psicológica do desenvolvimento moral da criança, buscamos suporte na teoria de Kolhberg e principalmente de Jean Piaget, autor principal para esta pesquisa. A pesquisa guiou-se por uma dimensão descritiva e qualitativa, centrada na observação direta e indireta, baseada no modelo clínico introduzido por Piaget. Os resultados da pesquisa demonstraram que os dados obtidos por Piaget há 78 anos, são compatíveis com os dias de hoje, pois as crianças apresentaram dados equivalentes em média com as idades estipuladas para a aquisição da moral heterônoma e da moral autônoma. Constatámos que a aquisição do princípio da reversibilidade leva as crianças a adquirirem capacidades cognitivas para uma moral autônoma. A concepção de regras transmitidas pelas crianças, emergiram em uma concepção de respeito a uma norma pré estabelecida, e que, gradualmente se transforma em consciência da importância das mesmas para o princípio da boa convivência. ABSTRACT: This dissertation aimed to replicate the study worked out by Piaget on acquisition of concept rules in children, in order to know if, 78 years passed from "The Moral Judgment in Child", data about acquisition of morality principle remain current. To achieve this goal we conducted a brief bibliographic review, covering some authors, theorists and researchers who emphasized studies on ethics principle and moral fundamentation, such as: Plato, Aristotle, Nietzsche, Kant, Durkheim. We were also based on some latest authors as Vázquez, Lourenço, Cortina and Martinez, Biaggio, and others. Considering the psychological origin of moral development of children, we sought support in Kolhberg´s theory and, especially, Jean Piaget, the main author for this search. The research was led by a descriptive and qualitative dimension, focused on direct and indirect observation, based on clinical model introduced by Piaget. The survey results showed that data obtained by Piaget 78 years ago are still compatible with the present day, because children have, on average, equivalent data through all ages stipulated for the acquisition of heteronomic and autonomous moral. We found that the acquisition of the reversibility principle leads children to acquire cognitive skills for an autonomous moral. The conception of rules provided by children, emerged to a conception of respect to a pre-established standard, that gradually becomes aware of its importance to the principle of coexistence.

Work in progress: representar o «outro» segundo o pensamento antropofágico casos de estudo - Hans Staden e Les Maîtres Fous

O presente artigo analisa o filme de Luis Alberto Pereira «Hans Staden» (1999), baseado no livro de Hans Staden «Duas Viagens ao Brasil» (1557), e o documentário/filme «Les Maîtres Fous» (1955) de Jean Rouch, tendo em consideração o pensamento antropofágico. Estas obras focalizam o choque cultural entre “civilizado” e “selvagem”, entre ritual canibal e ritual antropofágico, entre o «Nós» e os «Outros», encontros que permitem uma análise mais concreta à concepção de alteridade. A representação cinematográfica permite uma aproximação ao conceito antropofágico de apropriação da cultura externa, para posteriormente a reproduzir numa interpretação segundo a concepção ocidental do que figuram os rituais em questão. O Movimento Antropófago, pelo seu carácter vanguardista, concilia a matriz fundadora brasileira e ao mesmo tempo enaltece a irreverência de análise, e neste artigo serve de fundamento teórico e prático à decomposição dos exemplos. O pensamento antropófago e a sua aplicabilidade aos exemplos seleccionados permitem também aprofundar o estudo sobre o imaginário europeu enquanto recriação de relatos datados de viajantes ou colonizadores, pois a manutenção de um acervo estereotipado historicamente serve como forma de “legitimar” concepções. As duas obras focalizam a representação indígena e africana - o “selvagem” - na construção do imaginário ocidental - “civilizado” - dicotomia que nos permite desmistificar relações interculturais.