6,722 research outputs found
Some Extended Classes of Distributions: Characterizations and Properties
Based on a simple relationship between two truncated moments and certain functions of the th order statistic, we characterize some extended classes of distributions recently proposed in the statistical literature, videlicet Beta-G, Gamma-G, Kumaraswamy-G and McDonald-G. Several properties of these extended classes and some special cases are discussed. We compare these classes in terms of goodness-of-fit criteria using some baseline distributions by means of two real data sets
Alveolar weathering basins in granitein Central Portugal: Morphogenesis and typological analysis of weathering forms in levelled landscapes
As bacias de meteorização química de escala média, ou “alvéolos graníticos” quando entendidos no sentido que Alain Godard lhe conferiu, constituem-se como um dos elementos fundamentais na interpretação da morfologia granítica portuguesa, em particular na compreensão da degradação das superfícies aplanadas que são um dos principais traços morfológicos do Portugal Central. Em termos morfológicos, assumem-se como bacias arredondadas, relativamente circunscritas, revestidas por um manto de alteração com espessura variável e com uma dimensão que vai desde as centenas de metros até à dimensão quilométrica.A alveolização é o resultado de um compromisso morfogenético entre fases de alteração química em clima tropical húmido e fases de ablação em clima subtropical seco, pelo que a sua génese se encontra associada a fatores morfoestruturais, enquanto a sua diferenciação se deve, no essencial, a fatores morfoclimáticos. A similaridade das condições de base estruturais nos diferentes sectores do Maciço Hespérico aponta para uma justificação em termos da eficácia dos processos morfogenéticos, em particular da meteorização química, no quadro das diferenças observadas em torno das condições climáticas (atuais e passadas), para a compreensão da manifesta diferença observada entre as formas alveolares do litoral e do interior. A existência de vários tipos de alvéolos – elementares, complexos, corredores de erosão e mistos – mostra que outros fatores, tais como a proximidade do nível de base ou as dimensões das bacias hidrográficas, têm de ser tomados em consideração na compreensão do processo de alveolização no Portugal Central no cenozoico e início do Pleistocénico.</p
Avaliação de linhagens de Arroz irrigado derivadas de populações conduzidas por Seleção recorrente.
bitstream/item/41041/1/BPD-24-2010-ID-81.pd
Avaliação de Híbridos de Arroz Irrigado em Roraima: Características e Produtividade.
bitstream/item/24081/1/hibridosRoraima.pd
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
We describe and evaluate a bug refutation extension for the Clang Static
Analyzer (CSA) that addresses the limitations of the existing built-in
constraint solver. In particular, we complement CSA's existing heuristics that
remove spurious bug reports. We encode the path constraints produced by CSA as
Satisfiability Modulo Theories (SMT) problems, use SMT solvers to precisely
check them for satisfiability, and remove bug reports whose associated path
constraints are unsatisfiable. Our refutation extension refutes spurious bug
reports in 8 out of 12 widely used open-source applications; on average, it
refutes ca. 7% of all bug reports, and never refutes any true bug report. It
incurs only negligible performance overheads, and on average adds 1.2% to the
runtime of the full Clang/LLVM toolchain. A demonstration is available at {\tt
https://www.youtube.com/watch?v=ylW5iRYNsGA}.Comment: 4 page
- …