Quantitative analysis of collagen and elastic fibers in the transversalis fascia in direct and indirect inguinal hernia

PURPOSE: Our previous studies demonstrated structural and quantitative age-related changes of the elastic fibers in transversalis fascia, which may play a role in inguinal hernia formation. To verify whether there were differences in the extracellular matrix between direct and indirect inguinal hernia, we studied the amount of collagen and elastic fibers in the transversalis fascia of 36 male patients with indirect inguinal hernia and 21 with direct inguinal hernia. MATERIAL AND METHODS: Transversalis fascia fragments were obtained during surgical intervention and underwent histological quantitative analysis of collagen by colorimetry and analysis of elastic fibers by histomorphometry. RESULTS: We demonstrated significantly lower amounts of collagen and higher amounts of elastic fibers in transversalis fascia from patients with direct inguinal hernia compared to indirect inguinal hernia patients. The transversalis fascia from direct inguinal hernia patients showed structural changes of the mature and elaunin elastic fibers, which are responsible for elasticity, and lower density of oxytalan elastic fibers, which are responsible for resistance. These changes promoted loss of resiliency of the transversalis fascia. CONCLUSION: These results improve our understanding of the participation of the extracellular matrix in the genesis of direct inguinal hernia, suggesting a relationship with genetic defects of the elastic fiber and collagen synthesis.

Bias in returns to tenure when firm wages and employment comove: A quantitative assessment and solution

It is well known that, unless worker-firm match quality is controlled for, returns to firm tenure (RTT) estimated directly via reduced form wage (Mincer) equations will be biased. In this paper we show that even if match quality is properly controlled for there is a further pervasive source of bias, namely the co-movement of firm employment and firm wages. In a simple mechanical model where human capital is absent and separation is exogenous we show that positively covarying shocks (either aggregate or firm level) to firms employment and wages cause downward bias in OLS regression estimates of RTT. We show that the long established procedures for dealing with "traditional" RTT bias do not circumvent the additional problem we have identified. We argue that if a reduced form estimation of RTT is undertaken, firm-year fixed effects must be added in order to eliminate this bias. Estimates from two large panel datasets from Portugal and Germany show that the bias is empirically important. Adding firm-year fixed effects to the regression increases estimates of RTT in the two respective countries by between 3.5% and 4.5% of wages at 20 years of tenure over 80% (50%) of the estimated RTT level itself. The results extend to tenure correlates used in macroeconomics such as the minimum unemployment rate since joining the firm. Adding firm-year fixed effects changes estimates of these effects also.

Quantitative Centromere Epigenetics

A PhD is like a box of chocolates, …… and in this thesis I will present what I got. My work has been focused on a cellular structure that is essential for accurate genome inheritance: the centromere. Centromeres are chromosomal domains that do not rely on the presence of any specific DNA sequence. Rather, they are determined by the presence of a histone variant called CENP-A. Stable transmission of CENP-A containing chromatin is accomplished through 1) an unusually high level of protein stability, 2) selfdirected recruitment of nascent CENP-A near existing molecules, and 3) strict cell cycle regulation of assembly. Together, these features lead to a self-sustaining loop that allows for epigenetic maintenance of centromeres.(...)

Quantitative image analysis as a tool for Yarrowia lipolytica dimorphic growth evaluation in different culture media

Yarrowia lipolytica, a yeast strain with a huge biotechnological potential, capable to produce metabolites such as γ-decalactone, citric acid, intracellular lipids and enzymes, possesses the ability to change its morphology in response to environmental conditions. In the present study, a quantitative image analysis (QIA) procedure was developed for the identification and quantification of Y. lipolytica W29 and MTLY40-2P strains dimorphic growth, cultivated in batch cultures on hydrophilic (glucose and N-acetylglucosamine (GlcNAc) and hydrophobic (olive oil and castor oil) media. The morphological characterization of yeast cells by QIA techniques revealed that hydrophobic carbon sources, namely castor oil, should be preferred for both strains growth in the yeast single cell morphotype. On the other hand, hydrophilic sugars, namely glucose and GlcNAc caused a dimorphic transition growth towards the hyphae morphotype. Experiments for γ-decalactone production with MTLY40-2P strain in two distinct morphotypes (yeast single cells and hyphae cells) were also performed. The obtained results showed the adequacy of the proposed morphology monitoring tool in relation to each morphotype on the aroma production ability. The present work allowed establishing that QIA techniques can be a valuable tool for the identification of the best culture conditions for industrial processes implementation.

A implementação do modelo de atendimento à diversidade como resposta eficaz ao apoio a alunos com necessidades especiais na região norte de Portugal

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Especial)

Quantitative determination by HPLC of iridoids in the bark and latex of himatanthus sucuuba

The main iridoids from the bark and latex of Himatanthus sucuuba were isolated and characterised by spectroscopic methods. HPLC was used for the quantitative analyses of these iridoids and the chromatograms of bark and latex showed a similar iridoid composition. Both parts of the plant are used in folk medicine for the treatment of various ailments.

Puberty in male collared peccary (Pecari tajacu) determined by quantitative analysis of spermatogenic cells

Biological studies are necessary for the management of wildlife in captivity, and knowledge of reproduction is one of the important features for increasing production. The objective of the research was to determine the age at which male collared peccaries reach puberty. Testicular samples of 15 animals, aged 7 to 16 months, distributed into five groups (G1, G2, G3, G4 and G5) were used. The testes showed considerably increased weight, length and width (p < 0.05) from G1 to G3, whereas, from this group onward, the development of this organ was slower. There was positive correlation (p < 0.001) between the following testicular parameters: weight and length (r = 0.97), weight and width (r = 0.88), length and width (r = 0.92). Regarding the diameter of seminiferous tubules, an increase was observed (p < 0.05) from G1 to G4. The total number of spermatogenic cells increased significantly (p < 0.05) until G3 and then it stabilized. There was also positive correlation between testis weight and tubular diameter (r = 0.99, p < 0.001), and testis weight and spermatogenic cells (r = 0.98, p < 0.001). The number of Sertoli cells decreased significantly (p < 0.05) from G1, when they were undifferentiated as support cells, to G5, when they occurred together with the complete line of spermatic cells. The results demonstrate that the reproductive development of peccaries can be classified into the following stages: impuberty (G1, 7-8 months); pre-pubertal (G2, 9-10 months); pubertal (G3, 11-12 months); post-pubertal 1 (G4, 13-14 months); and post-pubertal 2 (G5, 15-16 months). Based on the histological analyses, puberty in the male collared peccary was determined to occur between 11 and 12 months of age.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Three-dimensional technology facilitates surgical performance of novice laparoscopy surgeons: a quantitative assessment on a porcine kidney model

Objective To determine whether the use of 3-dimensional (3D) imaging translates into a better surgical performance of naïve urologic laparoscopic surgeons during pyeloplasty (PY) and partial nephrectomy (PN) procedures. Materials and Methods Eighteen surgeons without any previous laparoscopic experience were randomly assigned to perform PY and PN in a porcine model using initially 2-dimensional (2D) and 3D laparoscopy. A surgical performance score was rated by an "expert" tutor through a modified 5-item global rating scale contemplating operative field view, bimanual dexterity, efficiency, tissue handling, and autonomy. Overall surgical time, complications, subjective perception of participating surgeons, and inconveniences related to the 3D vision were recorded. Results No difference in terms if operative time was found between 2D or 3D laparoscopy for both the PY (P =.51) and the PN (P =.28) procedures. A better rate in terms of surgical performance score was noted by the tutors when the study participants were using 3D vs 2D, for both PY (3.6 [0.8] vs 3.0 [0.4]; P =.034) and PN (3.6 [0.51] vs 3.15 [0.63]; P =.001). No complications occurred in any of the procedures. Most (77.2%) of the participating na??ve laparoscopic surgeons had the perception that 3D laparoscopy was overall easier than 2D. Headache (18.1%), nausea (18.1%), and visual disturbance (18.1%) were the most common issues reported by the surgeons during 3D procedures. Conclusion Despite the absence of translation in a shorter operative time, the use of 3D technology seems to facilitate the surgical performance of naive surgeons during laparoscopic kidney procedures on a porcine model.

Quantitative study of myocardial microcirculation in arterial hypertension due to progressive inhibition of NO synthesis

OBJECTIVE: To study the quantitative changes in intramyocardial blood vessels in rats in whom nitric oxide synthesis was inhibited. METHODS: Four groups of 10 rats were studied: control (C25 and C40) and L-NAME (L25 and L40). The animals L25 and L40 received L-NAME in the dosage of 50mg/kg/day for 25 and 40 days, respectively. On days 26 and 41 the animals in groups 25 and 40 were sacrificed. Analysis of the myocardium was performed using light microscopy and stereology. RESULTS: Arterial blood pressure and heart weight increased 74.5 and 57.8% after 25 days and 90.2 and 34.6% after 40 days, respectively. Comparing the L-NAME rats with the respective controls revealed that vessel volume density decreased 31.3% after 40 days, and the vessel length-density decreased 53.5% after 25 days and 25.7% after 40 days. The mean cross-sectional area of the vessels showed an important reduction of 154.6% after 25 days. The intramyocardial vessels decreased significantly in length- density in the L-NAME animals. The mean cross-sectional area of the vessels, which normally increases during heart growth between 25 and 40 days, showed a precocious increase by the 25th day in the L-NAME rats. This suggests an increase of the size of the heart, including blood vessels. CONCLUSION: The inhibition of the NO synthesis provokes rarefaction in the intramyocardial vessels that progresses with the time of administration of L-NAME.

A quantitative research about attitudes of pre-service teachers on inclusive education

In this paper we propose to characterize the inclusive philosophy in Thailand as well as to present and discuss results from a quantitative research carried out within the teacher pre-service context, viewed as one of the components that should be addressed by school systems that seek to be inclusive.

Influence of balloon pressure inflation in patients undergoing primary coronary stent implantation during acute myocardial infarction: a quantitative coronary angiography analysis

OBJECTIVE:To verify the influence of moderate- or high-pressure balloon inflation during primary coronary stent implantation for acute myocardial infarction. METHODS: After successful coronary stent implantation, 82 patients were divided into 2 groups according to the last balloon inflation pressure: group 1 (³12 to <16 atm) and group 2 (³16 to 20 atm), each with 41 cases. All patients underwent late coronary angiography. RESULTS: In group 1, the mean stent deployment pressure was 13.58±0.92 atm, and in the group 2 it was 18.15±1.66 atm. Stents implanted with moderate pressures (³12 to <16 atm) had a significantly smaller postprocedural minimal lumen diameter, compared to with those with higher pressure, with lesser acute gain (2.7± 0.4 mm vs 2.9±04 mm; p=0.004), but the late lumen loss (0,9±0,8 mm vs 0,9±0,6 mm) and the restenosis (22% vs. 17.1%) and target-vessel revascularization rates (9.8% vs 7.3%) were similar between the groups. CONCLUSION: During AMI stenting, the use of high pressures (³16 atm) did not cause a measurable improvement in late outcome, either in the late loss, its index, and the net gain, or in clinical and angiographic restenosis rates.

Diferenças relacionadas ao sexo nos volumes ventriculares e na fração de ejeção do ventrículo esquerdo estimados por cintilografia de perfusão miocárdica: comparação entre os programas Quantitative Gated SPECT (QGS) e Segami

OBJETIVO: Analisar as diferenças relacionadas ao sexo nas medidas obtidas pelos programas Segami e Quantitative Gated SPECT (QGS). MÉTODOS: Cento e oitenta e um indivíduos assintomáticos sem evidência de cardiopatia foram submetidos a estudos de perfusão miocárdica. O volume diastólico final (VDF), volume sistólico final (VSF) e a fração de ejeção do ventrículo esquerdo (FEVE) foram quantificados pelos programas QGS and Segami para avaliar a influência do sexo, idade, peso, altura, freqüência cardíaca, pressão arterial sistólica, pressão arterial diastólica, índice de massa corporal e área de superfície corporal. RESULTADOS: As médias obtidas com o método QGS foram VDF (mulheres = 68 ml; homens = 95 ml; p < 0,001) e FEVE (mulheres = 66,24%; homens = 58,7%), e com o Segami, VDF (mulheres = 137 ml; homens = 174 ml) e FEVE (mulheres = 62,67%; homens = 58,52%). Foram observadas diferenças significantes entre homens e mulheres no VDF (p < 0,001) e VSF (p < 0,001), que persistiram após o ajuste em relação à área de superfície corporal. CONCLUSÃO: Os volumes ventriculares foram significantemente menores e a FEVE foi significantemente maior em mulheres, de acordo com os programas QGS e Segami.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.