Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2020 ( 1 )

2019 ( 38 )

2018 ( 50 )

2017 ( 52 )

Custom range...

Search Results: 1 - 10 of 31043 matches for " Pedro Lopez-Garcia "
All listed articles are free for downloading (OA Articles)
Page 1 /31043
Display every page Item
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
Alejandro Serrano,Pedro Lopez-Garcia,Manuel V. Hermenegildo
Computer Science , 2014, DOI: 10.1017/S147106841400057X
Abstract: We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing resource analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
Edison Mera,Pedro Lopez-Garcia,German Puebla,Manuel Carro,Manuel Hermenegildo
Computer Science , 2007,
Abstract: Effective static analyses have been proposed which infer bounds on the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and have been shown to be useful in a number of applications, such as granularity control in parallel execution. On the other hand, in distributed computation scenarios where platforms with different capabilities come into play, it is necessary to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution times. With this objective in mind, we propose an approach which combines compile-time analysis for cost bounds with a one-time profiling of the platform in order to determine the values of certain parameters for a given platform. These parameters calibrate a cost model which, from then on, is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in the given platform. The approach has been implemented and integrated in the CiaoPP system.
Are SNOMED CT Browsers Ready for Institutions? Introducing MySNOM
Pablo Lopez-Garcia
Computer Science , 2010,
Abstract: SNOMED Clinical Terms (SNOMED CT) is one of the most widespread ontologies in the life sciences, with more than 300,000 concepts and relationships, but is distributed with no associated software tools. In this paper we present MySNOM, a web-based SNOMED CT browser. MySNOM allows organizations to browse their own distribution of SNOMED CT under a controlled environment, focuses on navigating using the structure of SNOMED CT, and has diagramming capabilities.
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
Umer Liqat,Kyriakos Georgiou,Steve Kerrison,Pedro Lopez-Garcia,John P. Gallagher,Manuel V. Hermenegildo,Kerstin Eder
Computer Science , 2015,
Abstract: The static estimation of the energy consumed by program executions is an important challenge, which has applications in program optimization and verification, and is instrumental in energy-aware software development. Our objective is to estimate such energy consumption in the form of functions on the input data sizes of programs. We have developed a tool for experimentation with static analysis which infers such energy functions at two levels, the instruction set architecture (ISA) and the intermediate code (LLVM IR) levels, and reflects it upwards to the higher source code level. This required the development of a translation from LLVM IR to an intermediate representation and its integration with existing components, a translation from ISA to the same representation, a resource analyzer, an ISA-level energy model, and a mapping from this model to LLVM IR. The approach has been applied to programs written in the XC language running on XCore architectures, but is general enough to be applied to other languages. Experimental results show that our LLVM IR level analysis is reasonably accurate (less than 6.4% average error vs. hardware measurements) and more powerful than analysis at the ISA level. This paper provides insights into the trade-off of precision versus analyzability at these levels.
The lizard cerebral cortex as a model to study neuronal regeneration
Anais da Academia Brasileira de Ciências , 2002,
Abstract: The medial cerebral cortex of lizards, an area homologous to the hippocampal fascia dentata, shows delayed postnatal neurogenesis, i.e., cells in the medial cortex ependyma proliferate and give rise to immature neurons, which migrate to the cell layer. There, recruited neurons differentiate and give rise to zinc containing axons directed to the rest of cortical areas, thus resulting in a continuous growth of the medial cortex and its zinc-enriched axonal projection. This happens along the lizard life span, even in adult lizards, thus allowing one of their most important characteristics: neuronal regeneration. Experiments in our laboratory have shown that chemical lesion of the medial cortex (affecting up to 95% of its neurons) results in a cascade of events: first, massive neuronal death and axonal-dendritic retraction and, secondly, triggered ependymal-neuroblast proliferation and subsequent neo-histogenesis and regeneration of an almost new medial cortex, indistinguishable from a normal undamaged one. This is the only case to our knowledge of the regeneration of an amniote central nervous centre by new neuron production and neo-histogenesis. Thus the lizard cerebral cortex is a good model to study neuronal regeneration and the complex factors that regulate its neurogenetic, migratory and neo-synaptogenetic events.
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015
Francisco Corbera,Andrés Rodríguez,Rafael Asenjo,Angeles Navarro,Antonio Vilches,Maria Garzaran,Ismat Chaib Draa,Jamel Tayeb,Smail Niar,Mikael Desertot,Daniel Gregorek,Robert Schmidt,Alberto Garcia-Ortiz,Pedro Lopez-Garcia,Rémy Haemmerlé,Maximiliano Klemen,Umer Liqat,Manuel V. Hermenegildo,Radim Vav?ík,Albert Saà-Garriga,David Castells-Rufas,Jordi Carrabina
Computer Science , 2015,
Abstract: Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Amsterdam, January 21st. Collocated with HIPEAC 2015 Conference.
Deep XMM-Newton observation of the Eta Chamaleontis cluster
J. Lopez-Santiago,J. F. Albacete Colombo,M. A. Lopez-Garcia
Physics , 2010, DOI: 10.1051/0004-6361/201015306
Abstract: The members of the Eta Chamaleontis cluster are in an evolutionary stage in which disks are rapidly evolving. It also presents some peculiarities, such as the large fraction of binaries and accretion disks, probably related with the cluster formation process. Its proximity makes this stellar group an ideal target for studying the relation between X-ray emission and those stellar parameters. The main objective of this work is to determine general X-ray properties of the cluster members in terms of coronal temperature, column density, emission measure, X-ray luminosity and variability. We also aim to establish the relation between the X-ray luminosity of these stars and other stellar parameters, such as binarity and presence of accretion disks. A study of flare energies for each flare event and their relation with some stellar parameters is also performed. We used proprietary data from a deep XMM-Newton observation pointed at the core of the Eta Chamaleontis cluster. Specific software for the reduction of XMM-Newton data was used for the analysis of our observation. For the detection of sources, we used the wavelet-based code PWDetect. General coronal properties were derived from plasma model fitting. We also determined variability of the Eta Chamaleontis members in the EPIC field-of-view. A total of six flare-like events were clearly detected in five different stars. For them, we derived coronal properties during the flare events and pseudo-quiescent state separately. In our observations, stars that underwent a flare event have higher X-ray luminosities in the pseudo-quiescent state than cluster members with similar spectral type with no indications of flaring, independently whether they have an accretion disk or not. Observed flare energies are typical of both pre-main and main-sequence M stars. We detected no difference between flare energies of stars with and without an accretion disk.
ZNF366 is a novel corepressor for estrogen receptor alpha that mediates its effects through interaction with CtBP
S Ali, M Periyasamy, J Lopez-Garcia, RS Thomas, M Christian, MG Parker, L Buluwela
Breast Cancer Research , 2008, DOI: 10.1186/bcr1891
Abstract: We have recently identified a new ER interacting protein, ZNF366, which is recruited to the liganded ER, through interactions involving the zinc finger domains of both proteins. We show that repression of ER-regulated genes by ZNF366 involves recruitment of the well-described corepressor CtBP. This interaction is mediated by two sequence motifs in ZNF366, conforming to the consensus CtBP-binding motif (PXDLS). Mutation of these motifs in ZNF366 reduces, but does not abolish, the corepressor activity of ZNF366. Additionally, ZNF366 interacts with RIP140, raising the possibility that RIP140 and ZNF366 may act synergistically in regulating ER activity [1].Finally, we show that although ZNF366 is expressed in normal breast epithelial cells, its expression is not detected in breast cancer cells. This raises the possibility that regulation of ER activity by ZNF366 may be important in breast cancer development.
Half Mode Microwave Filters Based on Epsilon Near Zero and Mu Near Zero Concepts
Benjamin Lopez-Garcia;Devata Venkata Bhyrava Murthy;Alonso Corona-Chavez
PIER , 2011, DOI: 10.2528/PIER10100707
Abstract: A new design of microwave band pass filter design is presented using metamaterial-inspired Epsilon Near Zero (ENZ) and Mu Near Zero (MNZ) behaviors. These filters are based on waveguide technology. The proposed structure allows us to reduce the number of tunnels normally used for passband filter design by reducing its size. It is also incorporated the half mode concept to the tunnels leading a greater miniaturization. Two Chebyshev filters with two and four-poles were designed, fabricated and measured showing good agreement between simulated and experimental results.
Contrasted crustal sources for peraluminous granites of the segmented Montes de Toledo Batholith (Iberian Variscan Belt)
Billstrom K,Lopez-Garcia J A,Orejana D,Merino E
Journal of Geosciences , 2009, DOI: 10.3190/jgeosci.035
Abstract: The Variscan Montes de Toledo Batholith (MTB) is an E-W linear array of peraluminous granite plutons which is chemically segmented. The study is focused on the western segment of the MTB (W-MTB), mainly composed of granites with slightly lower CaO and higher P2O5 contents than associated eastern plutonic units and nearby S-type granites, giving them a more pronounced peraluminous nature. The chemical contrast is also observed in isotopic composition, especially in radiogenic Nd and Pb ratios. The W-MTB granites have higher initial εNd (-5.0 to -5.9) and lower 206Pb/204Pb and 208Pb/204Pb ratios than peraluminous types from the E-MTB segment. A mixed pelitic-greywackeous derivation from regional Neoproterozoic formations is suggested whereas lower crustal and meta-igneous sources were involved in the origin of the easternmost MTB granites. The presence of igneous muscovite together with coexisting andalusite and sillimanite in some of the studied granites suggests that solidus was reached at 650-700 °C and depth corresponding to the pressure of 2-3 kbar.
Page 1 /31043
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.