3,925 research outputs found
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
Non-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture or platform to use. These specifications may be an- alyzed using different formalisms and techniques, simulation being one of them. During a simulation, the relevant data involved in the anal- ysis of the NFPs of interest can be measured using monitors. In this work, we show how monitors can be parametrically specified so that the instrumentation of specifications to be monitored can be automatically performed. We prove that the original specification and the automati- cally obtained specification with monitors are bisimilar by construction. This means that the changes made on the original system by adding monitors do not affect its behavior. This approach allows us to have a library of possible monitors that can be safely added to analyze different properties, possibly on different objects of our systems, at will.Universidad de Málaga, Campus de Excelencia Internacional Andalucía Tech. Spanish MINECO/FEDER project TIN2014-52034-R, NSF Grant CNS 13-19109
Incidence and type of bicuspid aortic valve in two model species
Incidence and type of bicuspid aortic
valve in two model species.
MC Fernández 1,2, A López-García 1,2, MT Soto 1,
AC Durán 1,2 and B Fernández 1,2.
1 Department of Animal Biology, Faculty of Science, University of Málaga, Spain.
2 Biomedical Research Institute of Málaga (IBIMA),
University of Málaga, Spain.
Bicuspid aortic valve (BAV) is the most frequent human congenital cardiac malformation, with an incidence of 1–2% worldwide. Two morphological types exist: type A (incidence 0.75–1.25%) and type B (incidence 0.25–0.5%), each with a distinct aetiology and natural history. Currently, ten animal models of BAV have been described in two different rodent species: one spontaneous Syrian hamster (Mesocricetus auratus) model of BAV type A and nine mutant laboratory mouse (Mus musculus) models of BAV type B. It remains to be elucidated whether the mutations leading to BAV in these models are typespecific or whether there are inter-specific differences regarding the type of BAV that hamsters, mice and humans may develop.
To solve this issue, we have characterized the incidence and types of BAVs in four inbred, two outbred and two hybrid lines of Syrian hamsters (n=4,340) and in three inbred, three outbred and one hybrid lines of laboratory mice (n=1,661) by means of stereomicroscopy and scanning electron microscopy. In addition, we have reviewed and calculated the incidence and type of BAVs in the published papers dealing with this anomaly in mice.
Our results indicate that the Syrian hamster develops BAVs type A and B including a variety of morphologies comparable to those of humans, whereas the mouse develops only BAVs type B with a short spectrum of valve morphologies. Thus, inter-specific differences between human and mouse aortic valves must be taken into consideration when studying valve disease in murine models.
This work was supported by P10-CTS-6068.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. P10-CTS-6068
Contribution of Xenopus model to a better understanding of cardiac outflow tract
Contribution of Xenopus model to a better understanding of cardiac outflow tract.
A Torres-Prioris 1, SJ Smith 2, TJ Mohun 2, B Fernández 1, AC Durán 1.
1 Department of Animal Biology, Faculty of Science, and Biomedical Research Institute of Málaga (IBIMA), University of Málaga, Spain.
2 Developmental Biology Division, The Francis Crick Institute, Mill Hill Laboratory, London, UK.
The morphology and morphogenesis of the cardiac outflow tract is a major topic in the study of the vertebrate circulatory system, especially regarding the pathologies affecting this region in humans. Recent studies have demonstrated that, in fish, the cardiac outflow tract consists of a myocardial conus arteriosus and a nonmyocardial bulbus arteriosus. Moreover, the bulbus arteriosus of fish has been considered homologous to the intrapericardial base of the aortic and
pulmonary trunks of birds and mammals. Under this perspective, we have conducted a study on the outflow tract of Xenopus laevis, using histological, immunohistochemical and 3D reconstruction techniques. It has been assumed
that the outflow tract of Xenopus, which is intercalated between the ventricle and the great arterial trunks, is of myocardial nature. At its luminal side, it contains two sets of valves between which the so-called spiral valve lies.
Our results demonstrate that, together with a proximal myocardial segment, a distal, nonmyocardial, intrapericardial segment is also present in amphibians. We propose that this distal segment, from which the pulmocutaneous and
systemic arteries arise, is homologous to the bulbus arteriosus of fish. Therefore, the bulbus arteriosus is an evolutionarily conserved structure, which has become the aortic and pulmonary roots of birds and mammals. Our findings
contribute to strengthening Xenopus as a good model to better understand the outflow tract morphology and evolution, and as an emerging model for studying human congenital heart diseases.
This work was supported by CGL2010-16417, BES-2011-046901, Estancias Breves para FPI (2012, 2013) and FEDER funds.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. CGL2010-16417, BES-2011-046901, Estancias Breves para FPI (2012, 2013), FEDER funds
Fission fragment angular distribution measurements of U-235 and U-238 at CERN n_TOF facility
Neutron-induced fission cross sections of U-238 and U-235 are used as standards in the fast neutron region up to 200 MeV. A high accuracy of the standards is relevant to experimentally determine other neutron reaction cross sections. Therefore, the detection efficiency should be corrected by using the angular distribution of the fission fragments (FFAD), which are barely known above 20 MeV. In addition, the angular distribution of the fragments produced in the fission of highly excited and deformed nuclei is an important observable to investigate the nuclear fission process.
In order to measure the FFAD of neutron-induced reactions, a fission detection setup based on parallel-plate avalanche counters (PPACs) has been developed and successfully used at the CERN-n_TOF facility. In this work, we present the preliminary results on the analysis of new U-235(n,f) and U-238(n,f) data in the extended energy range up to 200 MeV compared to the existing experimental data.Postprint (published version
Is the bulbus arteriosus of fish homologous to the mamalian intrapericardial thoracic arteries?
El resumen aparece en el Program & Abstracts of the 10th International Congress of Vertebrate Morphology, Barcelona 2013.Anatomical Record, Volume 296, Special Feature — 1: P-089.Two major findings have significantly improved our understanding of the
embryology and evolution of the arterial pole of the vertebrate heart (APVH): 1) a
new embryonic presumptive cardiac tissue, named second heart field (SHF), forms
the myocardium of the outflow tract, and the walls of the ascending aorta (AA) and
the pulmonary trunk (PT) in mammals and birds; 2) the bulbus arteriosus (BA),
previously thought to be an actinopterygian apomorphy, is present in all basal
Vertebrates, and probably derives from the SHF. We hypothesized that the
intrapericardial portions of the AA and the PT of mammals are homologous to the
BA of basal vertebrates. To test this, we performed 1) a literature review of the
anatomy and embryology of the APVH; 2) novel anatomical, histomorphological,
and embryological analyses of the APVH, comparing basal (Galeus atlanticus), with
apical (Mus musculus and Mesocricetus auratus) vertrebrates. Evidence obtained:
1) Anatomically, BA, AA, and PT are muscular tubes into the pericardial cavity,
which connect the distal myocardial outflow tracts with the aortic arch system.
Coronary arteries run through or originate at these anatomical structures; 2)
Histologically, BA, AA, and PT show an inner layer of endothelium covered by
circumferentially oriented smooth muscle cells, collagen fibers, and lamellar
elastin. The histomorphological differences between the BA and the ventral aorta
parallel those between intrapericardial and extrapericardial great arteries; 3)
Embryologically, BA, AA, and PT are composed of smooth muscle cells derived
from the SHF. They show a similar mechanism of development: incorporation of
SHF‐derived cells into the pericardial cavity, and distal‐to‐proximal differentiation
into an elastogenic cell linage.
In conclusion, anatomical, histological and embryological evidence supports the
hypothesis that SHF is a developmental unit responsible for the formation of the
APVH. The BA and the intrapericardial portions of the great arteries must be
considered homologous structures.Proyecto P10-CTS-6068 (Junta de Andalucía); proyecto CGL-16417 (Ministerio de Ciencia e Innovación); Fondos FEDER
Different laboratory mouse strains show distinct coronary artery patterns
Different laboratory mouse strains show distinct coronary artery patterns.
MC Fernández 1,2, A López-García 1,2, M Lorenzale 1, V Sans-Coma 1,2, AC Durán 1,2 and B Fernández 1,2.
1 Department of Animal Biology, Faculty of Science, University of Málaga, Spain.
2 Biomedical Research Institute of Málaga (IBIMA),
University of Málaga, Spain. The C57BL/6 (BL/6) mouse strain is one of the most
common models in research involving laboratory animals, particularly on studies of the cardiovascular system. It has been reported (Fernandez B, et al. J Anat 2008 212(1):12–18) that this strain presents an unusual coronary artery (CA) pattern, including congenital CA anomalies, which are clinically relevant in humans. The aim of the present study was to elucidate whether this pattern is strain-specific or appears in other mouse populations.
We used stereomicroscopy, scanning electron
microscopy, light microscopy, and a corrosion cast
technique in 597 adult mice belonging to three
inbred strains (BL/6, Balb/c, DBA/2), three outbred stocks (CD1, OF1, NMR1), two hybrid lines (129sv x BL/6, CD2F1) and wild mice.
Lock-like ostium was only detected in BL/6 mice,
whereas left septal artery, accessory ostium, high
take-off, intramural course, and solitary ostium of one CA in aorta were present in different laboratory strains and in wild mice. However, each mouse population showed a specific incidence of these coronary conditions.
These results should be taken into account when
studying the murine coronary system, especially in
CA occlusion experiments and in studies on cardiovascular development involving murine mutant lines. In addition, we propose that several laboratory mouse strains may serve as appropriate animal models to study several clinically relevant human congenital anomalies of the CAs. Our results suggest that some of these CA anomalies are subject to a simple mode of inheritance.
This work was supported by P10-CTS-6068 and PI-
0888-2012.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. P10-CTS-6068. PI-0888-201
DISTRIBUTION OF PIGMENT CELLS IN THE HEART OF THE RABBITFISH, CHIMAERA MONSTROSA (CONDRICHTHYES: HOLOCEPHALI)
El resumen aparece en el Program & Abstracts of the 10th International Congress of Vertebrate Morphology, Barcelona 2013. Anatomical Record, Volume 296, Special Feature — 1: P-076.The study of extracutaneous cells producing and storing melanin is of interest because it
may provide valuable information about the presence of neural crest elements in internal
organs and tissues. Here we report, for the first time, the presence and distribution of
melanophores in the heart of a chondrichthyan species, the rabbitfish, Chimaera
monstrosa. Pigment cells were found in all of 20 hearts examined. Pigment cells occur
mainly in the cardiac outflow tract, which consists of two anatomical components, the
proximal, myocardial conus arteriosus and the distal, non-myocardial bulbus arteriosus.
A few groups of dark pigmented cells were found in the apex of the ventricle of one
specimen and in the atrium of two specimens. In all instances, the melanophores were
located in the subepicardial space, where they could be well recognized in both
unstained and stained histological sections. The distribution and intensity of the
pigmentation in the cardiac outflow tract varies markedly between individuals. In all
cases, however, the pigmented area is larger on the dorsal than on the ventral surface.
Dorsally, the size of the pigmented area ranges from a fringe that includes the bulbus
and the distal part of the conus to the whole surface of the outflow tract. Ventrally, the
pigmented area does not cover the entire conus arteriosus. The intensity of the
pigmentation also varies widely; in general, it is highest at the distal portion of the conus.
There is no relationship between the distribution and intensity of the pigmentation and
the sex and age of the animals. The functional role of the pigmented cells is unknown. If
the melanophores in the heart of C. monstrosa are indeed of neural crest origin, it would
suggest a notable contribution of the neural crest cells to the cardiac outflow tract in
holocephalans.Proyecto CGL2010-16417/BOS; Fondos FEDER
BES-2011-04690
PIGMENTATION OF THE HEART IN THE BICHIR, POLYPTERUS SENEGALUS
El resumen aparece en el Program & Abstracts of the 10th International Congress of Vertebrate Morphology, Barcelona 2013. Anatomical Record, Volume 296, Special Feature — 1: P-078.The presence of melanin-containing cells in the heart has been documented in tetrapods,
but not in fish. It has been even suggested that dark pigmented cells are exclusively
associated with hearts having two atria and two ventricles. The aim here is to report the
occurrence of pigment cells in the heart of the bichir, an extant representative of the
polypteriformes, an ancient ray-finned fish lineage that split from the stem of the
actinopterygians soon after their divergence from the sarcopterygians. The bichir heart
is composed of sinus venosus, atrium, ventricle, conus arteriosus and bulbus arteriosus
arranged sequentially within the pericardial cavity. Dendritic-shaped cells containing
melanosomes were found in the five cardiac components of the 12 bichirs included in
this study. Numerous melanophores were distributed regularly over the surface of all
segments having myocardium in their walls, thus resulting in a marked pigmentation of
the whole heart. The bulbus arteriosus, which in the bichir is reduced in size, showed an
even more intense pigmentation. In all instances, the melanophores were localized in
the subepicardial space. Pigment cells also occurred in the pericardium and ventral
aorta. The functional role of melanocytes in the tetrapod heart remains obscure. Antiinflamatory
activity, cytoprotection and effects on the viscoelastic properties of the
cardiac tissue have been adduced as possible actions of such cells. The role of pigment
cells in the bichir heart constitutes a new open question. Interestingly, however, the only
cells that have been shown to form melanin-containing cells in the heart derive from the
neural crest. If the melanophores of the bichir heart are indeed of neural crest origin, it
would suggest a much more extensive contribution and persistence of elements from the
neural crest in the primitive heart of jawed vertebrates as assumed so far in most papers
devoted to vertebrate heart embryology.Proyecto CGL2010-16417/BOS; Fondos FEDER; Beca FPI ref. BES-2011-046901
- …