Military competition and the emergence of nationalism: putting the logic of political survival into historical context

This essay aims to make a contribution to the conversation between IR and nationalism literatures by considering a particular question: What is the relationship between interstate military competition and the emergence of nationalism as a potent force in world politics? The conventional wisdom among international security scholars, especially neorealists, holds that nationalism can be more or less treated like a “technology” that allowed states to extract significant resources as well as manpower from their respective populations. This paper underlines some of the problems involved with this perspective and pushes forward an interpretation that is based on the logic of political survival. I argue that nationalism’s emergence as a powerful force in world politics followed from the “mutation” and absorption of the universalistic/cosmopolitan republican ideas that gained temporary primacy in Europe during the eighteenth century into particularistic nationalist ideologies. This transformation, in turn, can be best explained by the French Revolution’s dramatic impacts on rulers’ political survival calculi vis-à-vis both interstate and domestic political challenges. The analysis offered in this essay contributes to our understanding of the relationship between IR and nationalism while also highlighting the potential value of the political survival framework for exploring macrohistorical puzzles.

Evaluating microfossil content of dental calculus from Brazilian sambaquis

To date, limited numbers of dental calculus samples have been analyzed by researchers in diverse parts of the world. The combined analyses of these have provided some general guidelines for the analysis of calculus that is non-destructive to archaeological teeth. There is still a need for a quantitative study of large numbers of calculus samples to establish protocols, assess the level of contamination, evaluate the quantity of microfossils in dental calculus, and to compare analysis results with the literature concerning the biology of calculus formation. We analyzed dental calculus from 53 teeth from four Brazilian sambaquis. Sambaquis are the shell-mounds that were established prehistorically along the Brazilian coast. The analysis of sambaqui dental calculi shows that there are relatively high concentrations of microfossils (phytoliths and starch), mineral fragments, and charcoal in dental calculus. Mineral fragments and charcoal are possibly contaminants. The largest dental calculi have the lowest concentrations of microfossils. Biologically, this is explained by individual variation in calculus formation between people. Importantly, starch is ubiquitous in dental calculus. The starch and phytoliths show that certainly Dioscorea (yam) and Araucaria angustifolia (Parana pine) were eaten by sambaqui people. Araceae (arum family), Ipomoea batatas (sweet potato) and Zea mays (maize) were probably in their diet. (C) 2009 Elsevier Ltd. All rights reserved.

Handling Equality in Monodic Temporal Resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments including the guarded fragment with equality. In this paper, we specialise the monodic resolution method to the guarded monodic fragment with equality and first-order temporal logic over expanding domains. We introduce novel resolution calculi that can be applied to formulae in the normal form associated with the clausal resolution method, and state correctness and completeness results.

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.

Evidence Algorithm and Processing Formalized Mathematical Texts

The goal of a research programme Evidence Algorithm is a development of an open system of automated proving that is able to accumulate mathematical knowledge and to prove theorems in a context of a self-contained mathematical text. By now, the first version of such a system called a System for Automated Deduction, SAD, is implemented in software. The system SAD possesses the following main features: mathematical texts are formalized using a specific formal language that is close to a natural language of mathematical publications; a proof search is based on special sequent-type calculi formalizing natural reasoning style, such as application of definitions and auxiliary propositions. These calculi also admit a separation of equality handling from deduction that gives an opportunity to integrate logical reasoning with symbolic calculation.

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.

Urolitíase: estudo comparativo em bovinos Guzerá oriundos de propriedades com e sem o problema

Diversos fatores podem contribuir para a formação de cálculos urinários, dentre estes, o desequilíbrio nutricional e a dureza da água consumida pelos ruminantes. O objetivo deste estudo foi identificar as características de propriedades que predispõem à urolitíase, através da avaliação da água, da dieta e determinações séricas e urinárias de cálcio, fósforo, magnésio, cloretos, sódio, potássio, cálculo da excreção fracionada (EF) dos eletrólitos, e da creatinina, proteína total, albumina e globulinas séricas. Foram colhidas amostras de sangue e urina de bovinos, Guzerá, criados semi intensivamente, distribuídos por dois grupos. O primeiro denominado grupo urolitíase (Gu), composto de animais com histórico, sinais clínicos e confirmação ultrassonográfica que apresentavam urolitíase; o segundo: grupo controle (Gc), sem histórico, nem sintomas da doença. Os bovinos do grupo urolitíase consumiam água com dureza total na concentração de 166,0mg CaCO3/L. A dieta dos animais do Gu apresentava maior concentração de fósforo e relação Ca:P inadequada. Os teores de fósforo sérico e urinário dos animais do Gu foram maiores do que os do Gc, assim como a concentração sérica de magnésio (p<0,05). Não houve aumento nas concentrações de creatinina no grupo urolitíase, mas ocorreu hipoproteinemia por hipoglobulinemia (p<0,05). As EFs de cálcio, fósforo e sódio não diferiram entre os grupos (p>0,05), mas houve diminuição significativa nas EFs de magnésio, cloretos e de potássio do grupo urolitíase (p<0,05). A união destes fatores contribuiu para a ocorrência da urolitíase, sendo dureza total da água e a alta concentração de fósforo na dieta os principais fatores na gênese dos cálculos em bovinos.

High plasma uric acid concentration: causes and consequences

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

Ureteroscopy in Pregnant Women for Ureteral Stone

Introduction: The occurrence of urolithiasis in pregnancy represents a challenge in both diagnosis and treatment of this condition, because it presents risks not only to the mother but also to the fetus. Surgical treatment may be indicated for patients with infection, persistent pain, and obstruction of a solitary kidney. We present our experience on the management of pregnant patients with ureteral calculi and a review of the literature.Materials and Methods: The charts of 19 pregnant patients with obstructive ureteral calculi were retrospectively reviewed. Gestational age ranged from 13 to 33 weeks. In all patients, ureteral stone was diagnosed on abdominal ultrasound. In regard to localization, 15 calculi were in the distal ureter, 3 in the proximal ureter, and 1 in the interior of an ureterocele. Calculi size ranged from 6 to 10 mm (mean, 8 mm). The following criteria were used to indicate ureteroscopy: persistent pain with no improvement after clinical treatment, increase in renal dilation, or presence of uterine contractions. Nine patients (47.3%) were submitted to ureteroscopy. All calculi (100%) were removed with a stone basket extractor under continuous endoscopic vision. None of the calculi demanded the use of a lithotriptor.Results: Nine patients (47.3%) treated with clinical measurements presented no obstetric complications and spontaneous elimination of the calculi. Nine patients (47.3%) submitted to ureteroscopy had no surgical complications. There was remission of pain in all cases after ureteroscopy and ureteral catheter placement.Conclusion: The diagnosis and treatment of ureteral lithiasis in pregnant women present potential risks for the fetus and the mother. Conservative management is the first option, but ureteroscopy may be performed with safety and high success rates.

POST-MORTEM LESIONS of UROLITHIASIS IN A LESSER SEED FINCH (Sporophila angolensis).

Urolithiasis is a disease that despite being a commonly observed problem in veterinary practice is uncommon in birds. Such disease was not reported in passeriforms to date. Accordingly, the aim of the present article is to describe a case of urolithiasis in an adult female lesser seed finch (Sporophila angolensis) pet bird which presented abdominal distension, respiratory distress, and apathy prior to death. The bird had history of being fed with a diet rich in protein. After the bird death, a necropsy was conducted in order to determine the cause of death. At necropsy, accentuated ascites, hydropericardium, and ureteral stones in the left ureter could be grossly observed. Additional tests related with viral and bacterial microbiological testing and with the determination of calculi composition could not be performed since the owner did not consent with the procedures because of the cost. Since the bird was fed on a high protein diet, a relationship between the ureteroliths and dietary imbalance was suggested with participation of protein in calculi development by providing the organic nuclei. Additionally, we conclude that the presence of calculi in the ureter resulted in urinary flow blockage, ascites, and consequent acute respiratory failure due to filling of air sacs with liquid.

Disorders related with ageing in the gerbil female prostate (Skene's paraurethral glands)

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

Caracterização de cálculos renais por análise térmica

Dez amostras de cálculos renais foram estudadas por Análise Elementar de CHN (EA), Espectroscopia de Absorção no Infravermelho (IV) e Difração de raios X pelo método de Pó (XRD). O comportamento térmico das amostras foi estudado por Termogravimetria/Termogravimetria Derivada (TG/DTG) e por Calorimetria Exploratória Diferencial (DSC). Os resultados de EA, Espectroscopia de Absorção IV e XRD mostraram a presença de estruvita [NH4Mg(PO4).6H2O], apatita, oxalato de cálcio monohidratado e oxalato de cálcio dihidratado. As curvas TG e DSC permitiram classificar as amostras em dois grupos diferentes: Grupo I mostrando comportamento térmico típico de estruvita e Grupo II apresentando um perfil termoanalítico característico de mistura de oxalatos.

Cistoplastia experimental em coelhos (Oryctolagus cuniculus) com peritônio bovino conservado em glicerol a 98%

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