481 research outputs found
Exploiting locality in the run-time parallelization of irregular loops
This is a post-peer-review, pre-copyedit version of an article published. The final authenticated version is available online at: http://dx.doi.org/10.1109/ICPP.2002.1040856[Abstract] The goal of this work is the efficient parallel execution of loops with indirect array accesses, in order to be embedded in a parallelizing compiler framework. In this kind of loop pattern, dependences can not always be determined at compile-time as, in many cases, they involve input data that are only known at run-time and/or the access pattern is too complex to be analyzed In this paper we propose runtime strategies for the parallelization of these loops. Our approaches focus not only on extracting parallelism among iterations of the loop, but also on exploiting data access locality to improve memory hierarchy behavior and, thus, the overall program speedup. Two strategies are proposed one based on graph partitioning techniques and other based on a block-cyclic distribution. Experimental results show that both strategies are complementary and the choice of the best alternative depends on some features of the loop pattern.Ministerio de Ciencia y Tecnología; TIC2001-3694-C0
Towards the integration and automation of the design process for domestic drinking-water and sewerage systems with BIM
The use of building information modelling (BIM) in construction projects is expanding, and its usability throughout building lifecycles, from planning and construction to operation and maintenance, is gaining increasing proof. In the design of domestic drinking-water and sewerage systems (DDWSSs), BIM focuses on coordinating disciplines and their design. Despite studies promoting BIM environments for DDWSSs that take into account the regulatory frameworks of corresponding countries, these efforts do not include the use of parametric tools that enhance the efficiency of the design process. Therefore, engineers still use conventional 2D design, which requires many rounds of iteration, and manual work is also generally still used. In this research, we developed and validated an intuitive methodology for solving a specific DDWSS problem, using a design science research method (DSRM) as an applied science approach. This was addressed by developing an artefact and validating it through two case studies. The obtained solution combines BIM models and parametric tools to automate the manual activities of the traditional design method. This article aims to bring abstract BIM concepts into practice and encourage researchers and engineers to adopt BIM for DDWSSs.This research was funded by Proyecto VRIEA-PUCV, grant number 039.427/2021, and the Grants for the Promotion of Research in the Department of Civil and Building Engineering, UCLM. This research was also funded by Spanish Ministry of Economy and Competitiveness provided through the research project BIA2013-47290-R, BIA2017-86811-C2-1-R and BIA2017-86811-C2-2-R. All these projects were funded with FEDER funds.Peer ReviewedPostprint (published version
Characterizing zebra crossing zones using LiDAR data
Light detection and ranging (LiDAR) scanning in urban environments leads to accurate and dense three-dimensional point clouds where the different elements in the scene can be precisely characterized. In this paper, two LiDAR-based algorithms that complement each other are proposed. The first one is a novel profiling method robust to noise and obstacles. It accurately characterizes the curvature, the slope, the height of the sidewalks, obstacles, and defects such as potholes. It was effective for 48 of 49 detected zebra crossings, even in the presence of pedestrians or vehicles in the crossing zone. The second one is a detailed quantitative summary of the state of the zebra crossing. It contains information about the location, the geometry, and the road marking. Coarse grain statistics are more prone to obstacle-related errors and are only fully reliable for 18 zebra crossings free from significant obstacles. However, all the anomalous statistics can be analyzed by looking at the associated profiles. The results can help in the maintenance of urban roads. More specifically, they can be used to improve the quality and safety of pedestrian routesConsellería de Cultura, Educación e Ordenación Universitaria, Grant/Award Numbers: accreditation 2019-2022 ED431G-2019/04, 2022-2024, ED431C2022/16, ED481A-2020/231; European Regional Development Fund (ERDF); CiTIUS-Research Center in Intelligent Technologies of the University of Santiago de Compostela as a Research Center of the Galician University System; Ministry of Economy and Competitiveness, Government of Spain, Grant/Award Number: PID2019-104834GB-I00; National Department of Traffic (DGT) through the project Analysis of Indicators Big-Geodata on Urban Roads for the Dynamic Design of Safe School Roads, Grant/Award Number: SPIP2017-02340S
Formal Model Engineering for Embedded Systems Using Real-Time Maude
This paper motivates why Real-Time Maude should be well suited to provide a
formal semantics and formal analysis capabilities to modeling languages for
embedded systems. One can then use the code generation facilities of the tools
for the modeling languages to automatically synthesize Real-Time Maude
verification models from design models, enabling a formal model engineering
process that combines the convenience of modeling using an informal but
intuitive modeling language with formal verification. We give a brief overview
six fairly different modeling formalisms for which Real-Time Maude has provided
the formal semantics and (possibly) formal analysis. These models include
behavioral subsets of the avionics modeling standard AADL, Ptolemy II
discrete-event models, two EMF-based timed model transformation systems, and a
modeling language for handset software.Comment: In Proceedings AMMSE 2011, arXiv:1106.596
Aminopropyltransferases Involved in Polyamine Biosynthesis Localize Preferentially in the Nucleus of Plant Cells
Plant aminopropyltransferases consist of a group of enzymes that transfer aminopropyl groups derived from decarboxylated S-adenosyl-methionine (dcAdoMet or dcSAM) to propylamine acceptors to produce polyamines, ubiquitous metabolites with positive charge at physiological pH. Spermidine synthase (SPDS) uses putrescine as amino acceptor to form spermidine, whereas spermine synthase (SPMS) and thermospermine synthase (TSPMS) use spermidine as acceptor to synthesize the isomers spermine and thermospermine respectively. In previous work it was shown that both SPDS1 and SPDS2 can physically interact with SPMS although no data concerning the subcellular localization was reported. Here we study the subcellular localization of these enzymes and their protein dimer complexes with gateway-based Bimolecular Fluorescence Complementation (BiFC) binary vectors. In addition, we have characterized the molecular weight of the enzyme complexes by gel filtration chromatography with in vitro assembled recombinant enzymes and with endogenous plant protein extracts. Our data suggest that aminopropyltransferases display a dual subcellular localization both in the cytosol and nuclear enriched fractions, and they assemble preferably as dimers. The BiFC transient expression data suggest that aminopropyltransferase heterodimer complexes take place preferentially inside the nucleus
Analysis of the Relationship between Lifestyle and Coffee Consumption Habits, from the Myth Approach, in the Municipalities of Orizaba, Tehuipango, and Zongolica Veracruz.
Coffee consumption habits have evolved along with society for more than 300 years around the world. Social changes imply different lifestyles in each culture. Lifestyles influence the myths used by people in their consumption decisions. The objective of this research is to determine the relationship between lifestyle and coffee consumption habits, from the perspective of myth, in the inhabitants of the Mexican municipalities of Orizaba, Tehuipango, and Zongolica. A survey was conducted with a sample of inhabitants of the three municipalities studied. The statistical analyzes applied were the central limit theorem, Pearson, and Chi-square. The results show that the variables Consumption habits-Lifestyle-Myth, are highly dependent on the level of perception of people. It is concluded that the coffee myth corresponds to the "family union" in the study municipalities. This myth is not characterized in the evolutionary stages contemplated in the "waves of coffee"
Respuesta fisiológica y productiva de novillos engordados con un sistema de enfriamiento a espacio abierto en un clima árido y seco
Evaluation of the effects of an open space cooling system on weight gain, respiration rate and serum thyroid hormone (T3 and T4) levels in feedlot steers was done using 60 Holstein steers (344 kg) allotted randomly in two treatments: a control with only shade in the corral (n=30), and a cooling with an open space cooling system (n=30). Daily maximum temperature-humidity index (THI) ranged from 82 to 88 during the 12-week study period. The open space cooling system consisted of a fan with 2.4 m diameter blade that displaced 1,416 m3 of air per minute and had a 90º oscillation range, and sprinklers. The fan was installed at 8 m distance on the south side of the shade. Water discharge was 12 L per minute over a 7 h period. Body weight and thyroid hormone levels were measured every two weeks and respiration rate twice a week (1400). Data were analyzed by repeated measures, including initial weight as a covariate. Daily weight gain was different (PCon objeto de evaluar el efecto de un sistema de enfriamiento a espacio abierto sobre la ganancia de peso, frecuencia de respiración y niveles sanguíneos de triiodotironina (T3) y tiroxina (T4) durante el verano, 60 novillos Holstein fueron asignados aleatoriamente a un grupo testigo con únicamente sombra y un segundo grupo con sombra, más enfriamiento. Durante el experimento se registró un Índice de temperatura-humedad máximo que oscilo entre 82 a 88. El sistema de enfriamiento colocado a 8 m a partir de la sombra, consistió de una hélice de 2.4 m de diámetro produciendo 1,416 m3/min de aire con una rotación de 90° y un flujo de agua de 12 L/min. El peso corporal y los niveles de hormonas fueron registrados cada dos semanas, mientras la frecuencia de respiración (1400) en dos ocasiones por semana. Los datos fueron analizados con un diseño de mediciones repetidas, incluyendo el peso inicial como covariable. La ganancia de peso fue mayor (
Sex-specific behavioral and neurogenic responses to cocaine in mice lacking and blocking dopamine D1 or dopamine D2 receptors
Adult neurogenesis in rodents is modulated by dopaminergic signaling and inhibited by cocaine. However, the sex-specific role of dopamine D1 and D2 receptors (D1R, D2R) in the deleterious effect of cocaine on adult neurogenesis has not been described yet. Here, we explored sex differences in (a) cell proliferation (5′-bromo-2′-deoxyuridine [BrdU]), (b) neural precursor (nestin), (c) neuronal phenotype (BrdU/β3-tubulin), and (d) neuronal maturity (NeuN) in the subventricular zone (SVZ) of the lateral ventricles and striatum of mice with genetic deletion (D1, D2) or pharmacological blockage (SCH23390: 0.1 mg/kg/day/5 days; Raclopride: 0.3 mg/kg/day/5 days) of D1R and D2R, and treated (10 mg/kg/day/5 days) and then challenged (5 mg/kg, 48 hr later) with cocaine. Results indicated that hyperactivity responses to cocaine were absent in D1 mice and reduced in SCH23390-treated mice. Activity responses to cocaine were reduced in D2 males, but absent in D2 females and increased in Raclopride-treated females. D1R deletion blocked the deleterious effect of cocaine on SVZ cell proliferation in males. Cocaine-exposed D1 males also had reduced neuronal phenotype of SVZ newborn cells and increased striatal neuronal maturity. D2 mice had lower proliferative and neural precursor responses. Cocaine in D2 females or coadministered with Raclopride in wild-type females improved SVZ cell proliferation, an effect that positively correlated with plasma brain-derived neurotrophic factor (BDNF) concentrations. In conclusion, the sex-specific D1R and D2R signaling on SVZ cell proliferation, neural progenitor and neuronal maturity is differentially perturbed by cocaine, and BDNF may be required to link D2R to neuroplasticity in cocaine addiction in females.Consejería de Salud, Junta de Andalucía, Grant/Award Number: C1-0049-2019; Instituto de Salud Carlos III, Grant/Award Numbers: CP19/00068, CPII17/00024, CPII19/00022, CPII19/00031, PI19/01577, PI19/00886, PI17/02026, RD16/0017/0001; Ministerio de Sanidad, Servicios Sociales e Igualdad, Grant/Award Numbers: PND2017/043, PND2018/033, PND2018/044, PND2019/04
On-surface self-organization of a robust metal-organic cluster based on copper(i) with chloride and organosulphur ligands
Direct sublimation of a Cu4Cl4 metal-organic cluster on Cu(110) under ultra-high vacuum allows the formation of ultra-large well-organized metal-organic supramolecular wires. Our results show that the large monomers assemble with each other by π-π interactions connecting dipyrimidine units and are stabilized by the surfaceWe thank Spanish MINECO (Grants: MAT2013-46753-C2-1-P, MAT2013-47878-C2-1-R and MAT2011-26534) for financial support. JIM acknowledges a CSIC-JaeDoc fellowship, cofunded by ES
- …