Equality and Monodic First-Order Temporal Logic

It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.

A justiça distributiva como critério fundamental nas políticas públicas: o caso dos jogos panamericanos na cidade do Rio de Janeiro

This dissertation is a project of evaluation of the proposals of the Panamerican Games of 2007, that they will be carried through in the city of Rio De Janeiro. Great events present the possibility of improvement of the urban space and economic development, amongst other chances seen by politics and urban planners well. For this work we search to argue the city as field of specific study, understanding it in the current world-wide scene of globalization and computerization, the relations politics, economic and social existing interns. We search in material literature to study and to evaluate what it would be a ¿good city¿ and studies that had understood the development of the urban space. We also look for to understand the city of Rio de Janeiro as a singular urban space, since the origin of the city as a urban space, passing for the proposals gifts of modification of the carioca space. We dedicate part of the work, inside of the chapter where we understand the city of Rio de Janeiro, the presentation of the project of the Panamerican of 2007, comparing it with great previous events. The vision of technique and politics during the interviews was essential for the best understanding of the proposals of the Games. Finally we evaluate the proposals of modification of the Pan2007 for the city of Rio de Janeiro with the methodology of Kevin Lynch to evaluate the good form of the city" in communion with the proposal of distributive justice of Rawls. The result of this evaluation was that the current proposals of modification of the city for the Pan2007 will be able to generate resulted not deliberate for a considerable parcel of the population and to modify the economic relations harmfully, social and politics inside of the territory of the city. For such we consider measured compensatory satisfactory that they can reach the objectives of an equal citizenship and an equitable equality of chances, starting for the offering of the social minimums of just form. "

Compensatory lung growth in autologous lobar implant: Experimental study in dogs

Background. The best way to study compensatory lung growth (CLG) is in a transplant without rejection. Since immunosuppressive drugs may influence CLG, it is better to not use them. Therefore we studied CLG in a reimplant of only one lobe after its removal. The objective was to compare lobar transplant CLG with CLG after lobectomy.Methods. Forty eight dogs were distributed in three groups: G1 = control, G2 = left cranial lobectomy, and G3 = left pneumonectomy with reimplantation of the caudal lobe. Five months after surgery the animals underwent lung scintigraphy and were sacrificed for morphometric study.Results. There was no correlation between scintigraphy and lung mass or lung volume. There was both mass and residual volume CLG in the operated groups, both contralateral and ipsilateral to surgery. There was no compensation for total lung capacity or compliance in the remaining caudal lobe (G2) or the reimplanted caudal lobe (G3) at 5 months after surgery. There was more damage in the reimplanted lobe. As previous studies have shown that CLG starts with increased mass and residual volume and compliance is compensated later. This study seemed to document the beginning of CLG, with lung compliance being the limiting factor of CLG at 5 months.Conclusion. There was CLG in both the reimplanted lobe and the contralateral lung, but compliance was still reduced. CLG was similar in both groups, but in the implanted lobe compliance was more prejudiced.

Sex-specific compensatory growth in food-deprived Nile tilapia

Female Nile tilapia incubate fertilized eggs in their mouth until they are released as alevins. Consequently, the female may not eat during this period. Thus, it would be expected that female Nile tilapia are more adapted to recovering from fasting than males, which do not display this behavior. To test this hypothesis we conducted an experiment with two groups of fish consisting of 7 males and 7 females each, with one fish per aquarium. The experiment was divided into three phases involving adjustment of the animals to experimental aquaria (0-15th day), fasting (16th-27th day), and refeeding (27th-42nd day). Compensatory growth performance was assessed by specific growth rate, weight, food conversion efficiency and food intake. Food conversion efficiency increased after fasting with a similar rate for both sexes. However, specific growth rate, food intake and weight gain (%) were significantly higher in males than in females in the refeeding phase. Thus, we conclude that male Nile tilapia can compensate for a fasting period more efficiently than females, refuting our hypothesis. A possible mechanism involved in the greater male compensation is that they presented greater hyperphagia than females, concomitantly with a similar rate of food conversion efficiency for both sexes during refeeding, which would probably be provoking greater growth in males.

COMPENSATORY LUNG GROWTH: LUNG PROTEIN,DNA and RNA CONTENTS IN TRILOBECTOMIZED RATS

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Compensatory lung growth: protein, DNA and RNA lung contents in undernourished trilobectomized rats

OBJETIVO: demonstrar se ocorre crescimento pulmonar compensatório (CPC) representado pelos conteúdos de proteínas, DNA e RNA no rato adulto jovem, subnutrido, submetido à trilobectomia pulmonar. MÉTODOS: Utilizamos 137 ratos Wistar, machos, distribuídos por sorteio, em 9 grupos, submetidos a três tratamentos (controle, toracotomia, trilobectomia), sacrificados em três momentos (7, 30 e 90 dias). Na trilobectomia foram extirpados os lobos médio, acessório e caudal direitos. Variáveis estudadas: conteúdos pulmonares de proteínas, DNA e RNA. RESULTADOS: No lobo cranial e pulmão esquerdo o conteúdo protéico foi maior nos trilobectomizados. Ocorreu CPC insuficiente para suprir a perda desta variável, sendo menor nos pulmões dos trilobectomizados. O incremento nos conteúdos de DNA do lobo cranial e pulmão esquerdo dos trilobectomizados foram suficientes para compensar a perda desta variável, resultando num conteúdo de DNA dos pulmões semelhante aos controle. O conteúdo de RNA, nos trilobectomizados, foi maior no lobo cranial e pulmão esquerdo, com maior eficiência no primeiro, insuficiente para que se aproximassem aos obtidos nos demais grupos, ficando menores. CONCLUSÃO: Nos trilobectomizados ocorreu CPC, provavelmente com hiperplasia celular e pouca hipertrofia, devido a grande compensação do DNA e pequena do RNA. Esta foi a grande diferença quando comparamos este resultado ao obtido com animais nutridos, que apresentavam hipertrofia pronunciada.

Compensatory lung growth in autologus lobar implant after pneumonectomy in dogs

OBJETIVO: Avaliar se existe crescimento compensatório pulmonar em transplante lobar e verificar se este crescimento é semelhante ao que ocorre após lobectomia. MÉTODOS: Foram utilizados 48 cães, distribuídos em 3 grupos (G1=controle, G2=lobectomia cranial esquerda e G3=pneumonectomia com reimplante do lobo caudal esquerdo). Após 5 meses da cirurgia, os animais foram submetidos à cintilografia pulmonar e a seguir sacrificados para estudo morfométrico pulmonar. RESULTADOS: Os resultados mostraram que não existe correlação da cintilografia nem com a massa nem com o volume do pulmão. Houve crescimento compensatório em massa e volume residual nos dois grupos operados, tanto no pulmão contralateral como no ipsilateral à cirurgia, não existindo até os 5 meses de estudo compensação em capacidade pulmonar total, nem em complacência pulmonar no lobo caudal remanescente do G2 e no lobo caudal reimplantado do G3, havendo maior prejuízo para o lobo reimplantado. Como estudos prévios mostram que o crescimento compensatório pulmonar se inicia com aumento da massa e do volume residual, e que a complacência é compensada posteriormente, este estudo parece ter documentado o início do crescimento compensatório, sendo a complacência pulmonar o fator limitante do crescimento compensatório após 5 meses de estudo. CONCLUSÃO: Conclui-se que existe crescimento compensatório tanto no lobo reimplantado como no pulmão contralateral, mas a complacência ainda encontra-se reduzida. O crescimento compensatório foi semelhante nos dois grupos, mas a complacência do lobo implantado está mais prejudicada.

Compensatory rebound of body movements during sleep, after asphyxia in neonatal rats

OBJETIVO: A utilidade dos movimentos corporais (MC) que ocorrem durante o sono para diagnosticar e predizer as conseqüências, em longo prazo, da asfixia perinatal é contraditório. Este estudo investigou se ratos recém-nascidos (RN) manifestam MC em resposta compensatória à asfixia, e se estas alterações podem ter alguma importância na sua patogênese. MÉTODOS: Oito ratos RN (6-48h de vida) foram submetidos à implantação de pequenos eletrodos para registros da eletromiografia e eletrocardiografia. Os MC e a freqüência cardíaca (FC) foram registrados durante períodos de 30 min: fase controle (F1), fases de asfixia (F2; F3) e fase de recuperação pós-asfixia (F4). A asfixia foi promovida pelo envolvimento completo do animal com uma lâmina de polivinil. RESULTADOS: A FC diminuiu progressivamente durante F2 e F3 até a bradicardia. em F2 houve grande agitação dos animais e aumento dos períodos de vigília. em F3 houve redução significante dos MC de 12,5 ± 0,5 (Md ± SE/2min) para 9,0 ± 0,44 (P<0,05). A freqüência dos MC aumentou em F4 para 15,0 ± 0,49. CONCLUSÃO: Estes dados mostram que ratos RN com asfixia apresentam MC compensatórios durante o sono que podem ajudar no diagnóstico desta afecção e de outros problemas relacionados aos parâmetros do sono.

Methods to verify parameter equality in nonlinear regression models

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

Ageing, solidarity and social protection in Latin America and the Caribbean: time for progress towards equality

Includes bibliography