Uma proposta de framework como infra-estrutura de implementação de sistemas informacionais baseados na visão dos FRBR orientado a objetos

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

Scattering of photons by an external gravitational field in the framework of higher-derivative gravity

The scattering of photons by a static gravitational field, treated as an external field, is discussed in the context of gravity with higher derivatives. It is shown that the R-2 sector of the theory does not contribute to the photon scattering, whereas the R-mu nu(2) sector produces dispersive (energy-dependent) photon propagation.

Documenting the advantages and limitations of different classes of molecular markers in a well-established phylogeographic context: lessons from the Iberian endemic Golden-striped salamander, Chioglossa lusitanica (Caudata: Salamandridae)

Previous analyses of mitochondrial (mt)DNA and allozymes covering the range of the Iberian endemic golden-striped salamander, Chioglossa lusitanica, suggested a Pleistocene split of the historical species distribution into two population units (north and south of the Mondego river), postglacial expansion into the northernmost extant range, and secondary contact with neutral diffusion of genes close to the Mondego river. We extended analysis of molecular variation over the species range using seven microsatellite loci and the nuclear P-fibrinogen intron 7 (beta-fibint7). Both microsatellites and beta-fibint7 showed moderate to high levels of population structure, concordant with patterns detected with mtDNA and allozymes; and a general pattern of isolation-by-distance, contrasting the marked differentiation of two population groups suggested by mtDNA and allozymes. Bayesian multilocus analyses showed contrasting results as populations north and south of the Douro river were clearly differentiated based on microsatellites, whereas allozymes revealed differentiation north and south of the Mondego river. Additionally, decreased microsatellite variability in the north supported the hypothesis of postglacial colonization of this region. The well-documented evolutionary history of C. lusitanica, provides an excellent framework within which the advantages and limitations of different classes of markers can be evaluated in defining patterns of population substructure and inferring evolutionary processes across distinct spatio-temporal scales. The present study serves as a cautionary note for investigations that rely on a single type of molecular marker, especially when the organism under study exhibits a widespread distribution and complex natural history. (C) 2008 The Linnean Society of London, Biological Journal of the Linnean Society, 2008, 95, 371-387.

A framework for learning in humanoid simulated robots

One of the most important characteristics of intelligent activity is the ability to change behaviour according to many forms of feedback. Through learning an agent can interact with its environment to improve its performance over time. However, most of the techniques known that involves learning are time expensive, i.e., once the agent is supposed to learn over time by experimentation, the task has to be executed many times. Hence, high fidelity simulators can save a lot of time. In this context, this paper describes the framework designed to allow a team of real RoboNova-I humanoids robots to be simulated under USARSim environment. Details about the complete process of modeling and programming the robot are given, as well as the learning methodology proposed to improve robot's performance. Due to the use of a high fidelity model, the learning algorithms can be widely explored in simulation before adapted to real robots. © 2008 Springer-Verlag Berlin Heidelberg.

Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

A rank aggregation framework for video multimodal geocoding

This paper proposes a rank aggregation framework for video multimodal geocoding. Textual and visual descriptions associated with videos are used to define ranked lists. These ranked lists are later combined, and the resulting ranked list is used to define appropriate locations for videos. An architecture that implements the proposed framework is designed. In this architecture, there are specific modules for each modality (e.g, textual and visual) that can be developed and evolved independently. Another component is a data fusion module responsible for combining seamlessly the ranked lists defined for each modality. We have validated the proposed framework in the context of the MediaEval 2012 Placing Task, whose objective is to automatically assign geographical coordinates to videos. Obtained results show how our multimodal approach improves the geocoding results when compared to methods that rely on a single modality (either textual or visual descriptors). We also show that the proposed multimodal approach yields comparable results to the best submissions to the Placing Task in 2012 using no extra information besides the available development/training data. Another contribution of this work is related to the proposal of a new effectiveness evaluation measure. The proposed measure is based on distance scores that summarize how effective a designed/tested approach is, considering its overall result for a test dataset. © 2013 Springer Science+Business Media New York.

A Framework to Optimize Biodiversity Restoration Efforts Based on Habitat Amount and Landscape Connectivity

The effectiveness of ecological restoration actions toward biodiversity conservation depends on both local and landscape constraints. Extensive information on local constraints is already available, but few studies consider the landscape context when planning restoration actions. We propose a multiscale framework based on the landscape attributes of habitat amount and connectivity to infer landscape resilience and to set priority areas for restoration. Landscapes with intermediate habitat amount and where connectivity remains sufficiently high to favor recolonization were considered to be intermediately resilient, with high possibilities of restoration effectiveness and thus were designated as priority areas for restoration actions. The proposed method consists of three steps: (1) quantifying habitat amount and connectivity; (2) using landscape ecology theory to identify intermediate resilience landscapes based on habitat amount, percolation theory, and landscape connectivity; and (3) ranking landscapes according to their importance as corridors or bottlenecks for biological flows on a broader scale, based on a graph theory approach. We present a case study for the Brazilian Atlantic Forest (approximately 150 million hectares) in order to demonstrate the proposed method. For the Atlantic Forest, landscapes that present high restoration effectiveness represent only 10% of the region, but contain approximately 15 million hectares that could be targeted for restoration actions (an area similar to today's remaining forest extent). The proposed method represents a practical way to both plan restoration actions and optimize biodiversity conservation efforts by focusing on landscapes that would result in greater conservation benefits. © 2013 Society for Ecological Restoration.

Context-sensitive analysis of x86 obfuscated executables

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

Integração do framework manakin com a plataforma dspace para múltiplas apresentações visuais de informações nos repositórios digitais

Digital repositories are currently being used by education and research institutions in Brazil as an alternative for propagating scientific and academic results, mainly to reach institutional memory and visibility. However, the way these results are presented may influence their use, affecting user-system interaction through the interface components. Thus, it is possible to state that an unique digital information environment can offer different ways of visual presentation, customizing informational and visual components for specific users communities. In this context, tools are being developed as a resource to make access and use of information easier, and to increase the usability of digital informational environments. One of these tools, Manakin, is presented in this paper, as well as its integration with the DSpace platform, in order to enable multiple visual presentations, stressing the importance of the differentiation and direction of interfaces by a single repository to the various knowledge fields. So, results and examples of repositories with multiple visual presentations are introduced, to facilitate the use of the presented tool, as well as to reinforce the importance of a differentiated visual identity by areas of knowledge in a single repository, by means of literary and exploratory analysis.

Thick braneworlds and the Gibbons-Kallosh-Linde no-go theorem in the Gauss-Bonnet framework

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

On partial derivative-Neumann's problem in generalized functions framework

In this paper, we show that the equation delta u/delta (z) over bar + Gu = f, where the elements involved are in generalized functions context, has a local solution in the generalized functions context.

Supply chain strategies in the context of an ecommerce chain (E-Chain)

This paper purpose to explore the relationships between supply chain strategies and product performance in retail e-commerce. In this case, we concern that in current, in order to bear up under competition, organizations have to manage their supply chains so that they meet the needs of their final customers. With this concept in mind, the research presented in this study focuses on establishing the right strategy for supply chains according to their product segment. Thus, after a Literature Review, the paper explain a methodology based in different authors studies. Finally the article focuses on a pratical case in e-commerce retail that describes its application in this field. The research shows that it is possible to use a methodology for classifying supply chains using chain strategies and product features. The use of the right strategy for supply chains will improve the competitive advantage of businesses. One limitation is that the methodology study focuses on only two e-commerce segment; future studies may go further in refining the proposed framework for other segments. The aim of this research is to offer businesses a model for evaluating supply chains, allowing them to improve the performance of their products and services by using the right strategy for supply chains. The classification proposal of this paper presents an original model for classification of supply chains based on different studies on the theme.

Framework para integração semântica de dados geoespaciais: integração de dados geológicos

Pós-graduação em Ciência da Computação - IBILCE