Statistical properties of classical gravitating particles in (2+1) dimensions

We report the statistical properties of classical particles in (2+1) gravity as resulting from numerical simulations. Only particle momenta have been taken into account. In the range of total momentum where thermal equilibrium is reached, the distribution function and the corresponding Boltzmann entropy are computed. In the presence of large gravity effects, different extensions of the temperature turn out to be inequivalent, the distribution function has a power law high-energy tail and the entropy as a function of the internal energy presents a flex. When the energy approaches the open universe limit, the entropy and the mean value of the particle kinetic energy seem to diverge.Comment: Latex2e (amssymb) file, 17 page

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem. Although backward reachability is property-directed, it can unnecessarily explore (large) portions of the state space of a system which are not required to verify the safety property under consideration. To avoid this, invariants can be used to dramatically prune the search space. Indeed, the problem is to guess such appropriate invariants. In this paper, we present a fully declarative and symbolic approach to the mechanization of backward reachability of infinite state systems manipulating arrays by Satisfiability Modulo Theories solving. Theories are used to specify the topology and the data manipulated by the system. We identify sufficient conditions on the theories to ensure the termination of backward reachability and we show the completeness of a method for invariant synthesis (obtained as the dual of backward reachability), again, under suitable hypotheses on the theories. We also present a pragmatic approach to interleave invariant synthesis and backward reachability so that a fix-point for the set of backward reachable states is more easily obtained. Finally, we discuss heuristics that allow us to derive an implementation of the techniques in the model checker MCMT, showing remarkable speed-ups on a significant set of safety problems extracted from a variety of sources.Comment: Accepted for publication in Logical Methods in Computer Scienc

Identificação por "Multiplex PCR" do sorotipo monofásico e atípico Salmonella enterica subsp. enterica sorotipo 1,4,[5],12:i:-, no Estado de São Paulo, Brasil: freqüência e resistência antimicrobiana

Salmonella spp. are the etiologic agents of salmonellosis, a worldwide spread zoonoses causing foodborne outbreaks and clinical diseases. By serological identification, Salmonella enterica subsp. enterica serotype 1,4,[5],12:i:- accounted for 8.8% of human and 1.6% of nonhuman Salmonella strains isolated in São Paulo State, during 1991-2000. A total of 28.6% of them amplified a fragment corresponding to H:1,2 (flagellar phase two) through PCR analysis and were further assigned as S. Typhimurium. Antimicrobial resistance was detected in 36.3% of the 369 PCR-negative strains tested, including the multiresistance to ampicillin, chloramphenicol, sulfonamides, tetracycline, and streptomycin.Salmonella spp. é o agente etiológico da salmonelose, zoonose mundialmente distribuída e responsável por surtos de doenças transmitidas por alimentos e doenças clínicas. Sorologicamente, Salmonella enterica subsp. enterica sorotipo 1,4,[5],12:i:- correspondeu a 8,8% e 1,6% das cepas de Salmonella de origem humana e não-humana, respectivamente, isoladas no Estado de São Paulo, no decênio 1991-2000. Aproximadamente 28,6% destas cepas amplificaram o fragmento correspondente a H:1,2 (fase flagelar dois) em testes de PCR e foram, então, identificadas como S. Typhimurium. Das 369 cepas negativas em PCR, 36,3% apresentou resistência antimicrobiana, incluindo multirresistência a ampicilina, cloranfenicol, sulfonamidas, tetraciclina e estreptomicina

Bulk velocity measurements by video analysis of dye tracer in a macro-rough channel

Steep mountain rivers have hydraulic and morphodynamic characteristics that hinder velocity measurements. The high spatial variability of hydraulic parameters, such as water depth (WD), river width and flow velocity, makes the choice of a representative cross-section to measure the velocity in detail challenging. Additionally, sediment transport and rapidly changing bed morphology exclude the utilization of standard and often intrusive velocity measurement techniques. The limited technical choices are further reduced in the presence of macro-roughness elements, such as large, relatively immobile boulders. Tracer tracking techniques are among the few reliable methods that can be used under these conditions to evaluate the mean flow velocity. However, most tracer tracking techniques calculate bulk flow velocities between two or more fixed cross-sections. In the presence of intense sediment transport resulting in an important temporal variability of the bed morphology, dead water zones may appear in the few selected measurement sections. Thus a technique based on the analysis of an entire channel reach is needed in this study. A dye tracer measurement technique in which a single camcorder visualizes a long flume reach is described and developed. This allows us to overcome the problem of the presence of dead water zones. To validate this video analysis technique, velocity measurements were carried out on a laboratory flume simulating a torrent, with a relatively gentle slope of 1.97% and without sediment transport, using several commonly used velocity measurement instruments. In the absence of boulders, salt injections, WD and ultrasonic velocity profiler measurements were carried out, along with dye injection technique. When boulders were present, dye tracer technique was validated only by comparison with salt tracer. Several video analysis techniques used to infer velocities were developed and compared, showing that dye tracking is a valid technique for bulk velocity measurements. RGB Euclidean distance was identified as being the best measure of the average flow velocity

THE LONG TRAIL: A CHIMERA-LIKE FOSSIL CRUSTACEAN INTERPRETED AS DECAPODA, STOMATOPODA, AMPHIPODA AND FINALLY ISOPODA

The process of interpreting and evaluating a fossil is a difficult task. Isopoda is a species rich group of peracarid eumalacostracans which represent quite a challenge when found as fossils, independent of whether we are working with fragmentary or more complete specimens. Here we describe a new fossil species of crustacean, Platuropodus odysseus n. gen. n. sp., from the Irati Formation, Permian of Paraná Basin, Brazil. After misinterpretations, the fossil taxon is recognised here as a representative of Isopoda. The new species presents characters found in Phreatoicidea, Asellota and Oniscidea in a unique combination for the fossil and extant record, such as two pairs of sub-chelate anterior trunk appendages, a short region after the anus and flat uropods. This chimera-like morphology and a morphometric analysis of the sub-chelae indicate convergent evolution in the early diversification of Isopoda. The morphological diversification present in the Palaeozoic and Mesozoic fossil record of Eumalacostraca indicate a “push of the past” effect in different ingroups of Peracarida

How to assess appearance distress and motivation in plastic surgery candidates: Italian validation of Derriford Appearance Scale 59 (DAS 59)

The Derriford Appearance Scale (DAS) 59 was specifically designed to measure psychosocial adjustment in patients with appearance problems. Previous studies using the DAS59 have proven it to be a reliable method of assessing the appearance-related quality of life after plastic surgery procedures. The aim of this study was to develop a valid and reliable Italian version of the DAS59

Sorovares de Salmonella isolados de humanos no Estado de São Paulo, Brasil, 1996-2003

A salmonelose permanece uma importante causa de doença diarréica em humanos no Estado de São Paulo, Brasil. Nesse estudo foram identificados 3554 isolados de Salmonella de infecções humanas, durante o período 1996-2003. Entre os 68 diferentes sorovares determinados, S. Enteritidis foi predominante em infecções gastrointestinais e extra-intestinais, responsável por 67.4% de todos os isolados. S. Typhimurium e S. enterica subsp. enterica (4,5,12:i:-) foram mais freqüentemente isolados de crianças com idade de < 1 a 4 anos, em contraste, infecções por S. Enteritidis foram predominantes em pessoas entre 20 e 50 anos. A contínua vigilância laboratorial das salmoneloses, incluindo a sorotipagem, tem evidenciado os sorovares de Salmonella causando infecções humanas em nossa área geográfica ao longo do tempo.Salmonellosis remains an important cause of diarrheal illness in humans in São Paulo State, Brazil. In this study were identified 3554 Salmonella isolates from human infections, during the period 1996-2003. Among 68 different serovars determined, S. Enteritidis was the most frequent one in gastrointestinal and extra-intestinal infections accounting for 67.4% of all isolates. S. Typhimurium and S. enterica subsp. enterica (4,5,12:i:-) were most frequently isolated from children aged < 1-4 year-old, in contrast, people with S. Enteritidis infections were most likely to be 20-50 year-old. In our geographic area the continued laboratorial surveillance of salmonellosis, including serotyping, has showed the trends in Salmonella serovars causing infections in humans throughout the time

Administration of a tropomyosin receptor kinase inhibitor attenuates sarcoma-induced nerve sprouting, neuroma formation and bone cancer pain

Pain often accompanies cancer and most current therapies for treating cancer pain have significant unwanted side effects. Targeting nerve growth factor (NGF) or its cognate receptor tropomyosin receptor kinase A (TrkA) has become an attractive target for attenuating chronic pain

Structurally Related Monoterpenes p-Cymene, Carvacrol and Thymol Isolated from Essential Oil from Leaves of Lippia sidoides Cham. (Verbenaceae) Protect Mice against Elastase-Induced Emphysema

Background: Chronic obstructive pulmonary disease (COPD) is characterized by irreversible airflow obstruction and inflammation. Natural products, such as monoterpenes, displayed anti-inflammatory and anti-oxidant activities and can be used as a source of new compounds to COPD treatment. Our aim was to evaluate, in an elastase-induced pulmonary emphysema in mice, the effects of and underlying mechanisms of three related natural monoterpenes (p-cymene, carvacrol and thymol) isolated from essential oil from leaves Lippia sidoides Cham. (Verbenaceae). Methods: Mices received porcine pancreatic elastase (PPE) and were treated with p-cymene, carvacrol, thymol or vehicle 30 min later and again on 7th, 14th and 28th days. Lung inflammatory profile and histological sections were evaluated. Results: In the elastase-instilled animals, the tested monoterpenes reduced alveolar enlargement, macrophages and the levels of IL-1 beta, IL-6, IL-8 and IL-17 in bronchoalveolar lavage fluid (BALF), and collagen fibers, MMP-9 and p-65-NF-kappa B-positive cells in lung parenchyma (p < 0.05). All treatments attenuated levels of 8-iso-PGF2 alpha but only thymol was able to reduced exhaled nitric oxide (p < 0.05). Conclusion: Monoterpenes p-cymene, carvacrol and thymol reduced lung emphysema and inflammation in mice. No significant differences among the three monoterpenes treatments were found, suggesting that the presence of hydroxyl group in the molecular structure of thymol and carvacrol do not play a central role in the anti-inflammatory effects.Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Laboratorio de Investigacao Medica, Hospital das Clinicas, Faculdade de Medicina, University of Sao Paulo (LIM)Univ Fed Sao Paulo, Dept Biol Sci, BR-09913030 Diadema, BrazilUniv Sao Paulo, Sch Med, Dept Med, BR-01246903 Sao Paulo, SP, BrazilUniv Fed Sao Paulo, Dept Exact Sci & Earth, BR-09913030 Diadema, BrazilFed Univ ABC, Ctr Nat Sci & Humanities, BR-09606045 Santo Andre, SP, BrazilUniv Fed Sao Paulo, Dept Biosci, Campus Baixada Santista, BR-11015020 Santos, SP, BrazilDepartment of Biological Science, Universidade Federal de São Paulo, Diadema 09913-030, BrazilDepartment of Exact Science and Earth, Universidade Federal de São Paulo, Diadema 09913-030, BrazilDepartment of Bioscience, Federal University of São Paulo, Campus Baixada Santista, Santos 11015-020, SP, BrazilCNPq: 300546/2012-2CNPq: 304465/2012-7CNPq: 476877/2012-1CNPq: 306278/2015-4FAPESP: 2011/51739-0FAPESP: 2013/02881-4FAPESP: 2008/55359-5FAPESP: 2015/11936-2FAPESP: 2014/25689-4LIM: LIM20Web of Scienc

Carotid bruits as predictor for carotid stenoses detected by ultrasonography: an observational study

<p>Abstract</p> <p>Background</p> <p>Carotid surgery in asymptomatic subjects with carotid stenosis is effective to prevent ischemic stroke. There is, however, uncertainty how to find such persons at risk, because mass screening with carotid artery ultrasonography (US) is not cost-effective. Signs of carotid bruits corresponding to the carotid arteries may serve as a tool to select subjects for further investigation. This study is thus aimed at determining the usefulness of carotid bruits in the screening of carotid stenoses.</p> <p>Methods</p> <p>1555 consecutive carotid ultrasonography investigations from 1486 cases done between January 2004 and March 2006 at Norrlands University Hospital, Sweden, were examined. 356 subjects, medium age 69 (27–88) years, had a significant (≥ 50%) US-verified carotid stenosis uni- or bilaterally, 291 had been examined for signs of carotid bruits. The likelihood ratios for carotid bruits to predict US-verified carotid stenoses were calculated and expressed as likelihood percentages.</p> <p>Results</p> <p>Thirty-one out of 100 persons (31%) with carotid bruit as an indication to perform carotid US had a significant (≥ 50%) carotid stenosis. 281 of the 356 (79%) cases with significant carotid stenoses were found among patients with cerebrovascular disease (CVD). 145 of 226 (64%) CVD patients with a significant carotid stenosis had a carotid bruit. In patients with 50–99% carotid stenoses carotid bruits had an accuracy of 75% (436/582), a sensitivity of 71% (236/334), a specificity of 81% (200/248), a positive likelihood ratio at 3.65 and a negative likelihood at 0.36. Patients with 70–99% stenoses had the highest sensitivity at 77% (183/238). In patients with 100% carotid stenoses, carotid bruits had a sensitivity of 26% (15/57) and a specificity of 49% (256/525).</p> <p>Conclusion</p> <p>Although carotid bruits are not accurate to confirm or to exclude significant carotid stenoses, these signs are appropriate for directed screening for further investigation with carotid US if the patient lacks contraindications for surgery. Lack of carotid bruits in CVD patients does not exclude a carotid stenosis.</p