4 resultados para STATEMENTS

em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Aim The aim of this study is to investigate areas of endemism within the distribution of Oswaldella species in the Southern Ocean, thereby testing previous hypotheses and proposing alternative scenarios for Antarctic evolution. Location Southern Ocean, Antarctic and sub-Antarctic waters of southern South America. Methods We prepared a database for the 31 currently known species of the Antarctic genus Oswaldella, which includes geographical locations gathered from published taxonomic studies as well as materials from museums and expeditions. A parsimony analysis of endemicity (PAE) was used to test hypotheses of distribution patterns. Results Four areas of endemism are hypothesized: southern South America, two high Antarctic areas (eastern and western) and a larger area, mainly in western Antarctica at lower latitudes and including insular areas (but not the Balleny Islands). Main conclusions The results support, in part, previous hypotheses for the Southern Ocean region, while providing more detailed resolution. The areas of endemism may reflect both historical and ecological processes that influenced the Antarctic biota. The Magellanic area reflects the well-known affinities of the Antarctic biota with that of South America and may be a consequence of dispersal through deeper (and colder) waters, followed by speciation. The second area, the largest one, encompasses most of the insular faunas and may also be associated with deeper waters formed since 43 Ma. The third area may be explained by the development of seaways in the circum-Antarctic region beginning 50 Ma. Finally, the fourth zone, with a very poor fauna, coincides with the opening of the Tasman Strait and the formation of the Australo-Antarctic Gulf, associated with a minor wind-driven current.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Modern database applications are increasingly employing database management systems (DBMS) to store multimedia and other complex data. To adequately support the queries required to retrieve these kinds of data, the DBMS need to answer similarity queries. However, the standard structured query language (SQL) does not provide effective support for such queries. This paper proposes an extension to SQL that seamlessly integrates syntactical constructions to express similarity predicates to the existing SQL syntax and describes the implementation of a similarity retrieval engine that allows posing similarity queries using the language extension in a relational DBM. The engine allows the evaluation of every aspect of the proposed extension, including the data definition language and data manipulation language statements, and employs metric access methods to accelerate the queries. Copyright (c) 2008 John Wiley & Sons, Ltd.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We classify up to isomorphism the spaces of compact operators K(E, F), where E and F are Banach spaces of all continuous functions defined on the compact spaces 2(m) circle plus [0, alpha], the topological sum of Cantor cubes 2(m) and the intervals of ordinal numbers [0, alpha]. More precisely, we prove that if 2(m) and aleph(gamma) are not real-valued measurable cardinals and n >= aleph(0) is not sequential cardinal, then for every ordinals xi, eta, lambda and mu with xi >= omega(1), eta >= omega(1), lambda = mu < omega or lambda, mu is an element of [omega(gamma), omega(gamma+1)[, the following statements are equivalent: (a) K(C(2(m) circle plus [0, lambda]), C(2(n) circle plus [0, xi])) and K(C(2(m) circle plus [0, mu]), C(2(n) circle plus [0, eta]) are isomorphic. (b) Either C([0, xi]) is isomorphic to C([0, eta] or C([0, xi]) is isomorphic to C([0, alpha p]) and C([0, eta]) is isomorphic to C([0,alpha q]) for some regular cardinal alpha and finite ordinals p not equal q. Thus, it is relatively consistent with ZFC that this result furnishes a complete isomorphic classification of these spaces of compact operators. (C) 2010 Elsevier Inc. All rights reserved.