Land use/ land cover change and its impact on soil erosion process in Begnas Tal Rupa Tal watershed using geospatial tools, Kaski district, Nepal

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

A luz da grisalha. Arte, liturgia e história no Livro de Horas dito de D. Leonor (Il.165 da BNP)

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em História da Arte Medieval

Implementação do modelo de Credit Var aplicado a uma carteira de crédito

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Matemática e Aplicações - Actuariado, Estatística e Investigação Operacional

Avaliação de cultivares de girassol em savana de Roraima

A cultura do girassol (Helianthus annuus L.) pode ser conduzida em diversas épocas do ano, destacando-se desta forma, entre as culturas viáveis de serem exploradas nas savanas (lavrados) de Roraima. Entretanto, as cultivares podem apresentar diferenças de adaptação e desenvolvimento dependendo da área de cultivo. Assim, desenvolveu-se este estudo comparativo em área experimental da Embrapa Roraima em 2000, visando avaliar o desempenho de seis cultivares (Agrobel 910; Agrobel 920; Cargill 11; Embrapa 122; Morgan 742; e Rumbosol 91) semeadas em duas épocas (seca, com irrigação suplementar; e chuvosa) em Boa Vista, Roraima. Utilizaram-se parcelas subdivididas num delineamento de blocos ao acaso com quatro repetições, sendo as duas épocas de semeadura em 20 de janeiro e 19 de julho. As subparcelas constaram de quatro fileiras de 6 m, distanciadas de 0,90 m, sendo 0,30 m o espaçamento entre plantas. As cultivares Cargill 11, Rumbosol 91 e Agrobel 910 foram as mais produtivas para cultivo nas condições climáticas das savanas de Roraima, e a semeadura em janeiro é mais indicada, comparada a de julho.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Darwin and after Darwin. An exposition of the Darwinian theory and a discussion of post-Darwinian questions, by George John Romanes ...

3

Darwin and after Darwin. An exposition of the Darwinian theory and a discussion of post-Darwinian questions, by George John Romanes ...

2

Darwin and after Darwin. An exposition of the Darwinian theory and a discussion of post-Darwinian questions, by George John Romanes ...

1

Reports of the Princeton University Expeditions to Patagonia, 1896-1899. J. B. Hatcher in charge. Edited by William B. Scott.

v.3:pt.4 (1910)

Long-term miR-669a therapy alleviates chronic dilated cardiomyopathy in dystrophic mice.

BACKGROUND: Dilated cardiomyopathy (DCM) is a leading cause of chronic morbidity and mortality in muscular dystrophy (MD) patients. Current pharmacological treatments are not yet able to counteract chronic myocardial wastage, thus novel therapies are being intensely explored. MicroRNAs have been implicated as fine regulators of cardiomyopathic progression. Previously, miR-669a downregulation has been linked to the severe DCM progression displayed by Sgcb-null dystrophic mice. However, the impact of long-term overexpression of miR-669a on muscle structure and functionality of the dystrophic heart is yet unknown. METHODS AND RESULTS: Here, we demonstrate that intraventricular delivery of adeno-associated viral (AAV) vectors induces long-term (18 months) miR-669a overexpression and improves survival of Sgcb-null mice. Treated hearts display significant decrease in hypertrophic remodeling, fibrosis, and cardiomyocyte apoptosis. Moreover, miR-669a treatment increases sarcomere organization, reduces ventricular atrial natriuretic peptide (ANP) levels, and ameliorates gene/miRNA profile of DCM markers. Furthermore, long-term miR-669a overexpression significantly reduces adverse remodeling and enhances systolic fractional shortening of the left ventricle in treated dystrophic mice, without significant detrimental consequences on skeletal muscle wastage. CONCLUSIONS: Our findings provide the first evidence of long-term beneficial impact of AAV-mediated miRNA therapy in a transgenic model of severe, chronic MD-associated DCM.

Role of surgery in the management of brain arteriovenous malformations: prospective cohort study.

BACKGROUND AND PURPOSE: Management of brain arteriovenous malformation (bAVM) is controversial. We have analyzed the largest surgical bAVM cohort for outcome. METHODS: Both operated and nonoperated cases were included for analysis. A total of 779 patients with bAVMs were consecutively enrolled between 1989 and 2014. Initial management recommendations were recorded before commencement of treatment. Surgical outcome was prospectively recorded and outcomes assigned at the last follow-up visit using modified Rankin Scale. First, a sensitivity analyses was performed to select a subset of the entire cohort for which the results of surgery could be generalized. Second, from this subset, variables were analyzed for risk of deficit or near miss (intraoperative hemorrhage requiring blood transfusion of ≥2.5 L, hemorrhage in resection bed requiring reoperation, and hemorrhage associated with either digital subtraction angiography or embolization). RESULTS: A total of 7.7% of patients with Spetzler-Ponce classes A and B bAVM had an adverse outcome from surgery leading to a modified Rankin Scale >1. Sensitivity analyses that demonstrated outcome results were not subject to selection bias for Spetzler-Ponce classes A and B bAVMs. Risk factors for adverse outcomes from surgery for these bAVMs include size, presence of deep venous drainage, and eloquent location. Preoperative embolization did not affect the risk of perioperative hemorrhage. CONCLUSIONS: Most of the ruptured and unruptured low and middle-grade bAVMs (Spetzler-Ponce A and B) can be surgically treated with a low risk of permanent morbidity and a high likelihood of preventing future hemorrhage. Our results do not apply to Spetzler-Ponce C bAVMs.