Experimental analysis of Maritime pine and Iroko single shear dowel-type connections

"Available online 21 March 2016"

Rede ecológica para a deteção e estudo de aves marinhas arrojadas REDEMAR-AVES (costa norte portuguesa)

Dissertação de mestrado em Ecologia

Beeswax organogels: Influence of gelator concentration and oil type in the gelation process

This work focused on how different types of oil phase, MCT (medium chain triglycerides) and LCT (long chain triglycerides), exert influence on the gelation process of beeswax and thus properties of the organogel produced thereof. Organogels were produced at different temperatures and qualitative phase diagrams were constructed to identify and classify the type of structure formed at various compositions. The microstructure of gelator crystals was studied by polarized light microscopy. Melting and crystallization were characterized by differential scanning calorimetry and rheology (flow and small amplitude oscillatory measurements) to understand organogels' behaviour under different mechanical and thermal conditions. FTIR analysis was employed for a further understanding of oil-gelator chemical interactions. Results showed that the increase of beeswax concentration led to higher values of storage and loss moduli (G, G) and complex modulus (G*) of organogels, which is associated to the strong network formed between the crystalline gelator structure and the oil phase. Crystallization occurred in two steps (well evidenced for higher concentrations of gelator) during temperature decreasing. Thermal analysis showed the occurrence of hysteresis between melting and crystallization. Small angle X-ray scattering (SAXS) analysis allowed a better understanding in terms of how crystal conformations were disposed for each type of organogel. The structuring process supported by medium or long-chain triglycerides oils was an important exploit to apprehend the impact of different carbon chain-size on the gelation process and on gels' properties.

The Role of B-Type Natriuretic Peptide in the Diagnosis of Congestive Heart Failure in Patients Presenting to an Emergency Department with Dyspnea

OBJECTIVE: To determine the utility of B-type natriuretic peptide (BNP) in the diagnosis of congestive heart failure (CHF) in patients presenting with dyspnea to an emergency department (ED). METHODS: Seventy patients presenting with dyspnea to an ED from April to July 2001 were included in the study. Mean age was 72±16 years and 33 (47%) were male. BNP was measured in all patients at the moment of admission to the ED. Emergency-care physicians, blinded to BNP values, were required to assign a probable initial diagnosis. A cardiologist retrospectively reviewed the data (blinded to BNP measurements) and assigned a definite diagnosis, which was considered the gold standard for assessing the diagnostic performance of BNP. RESULTS: The mean BNP concentration was higher in patients with CHF (n=36) than in those with other diagnoses (990±550 vs 80±67 pg/mL, p<0.0001). Patients with systolic dysfunction had higher BNP levels than those with preserved systolic function (1,180±641 vs 753±437 pg/mL, p=0.03). At a blood concentration of 200 pg/mL, BNP showed a sensitivity of 100%, specificity of 97.1%, positive predictive value of 97.3%, and negative predictive value of 100%. The application of BNP could have potentially corrected all 16 cases in which the diagnosis was missed by the emergency department physician. CONCLUSION: BNP measurement is a useful tool in the diagnosis of CHF in patients presenting to the ED with dyspnea.

Detección de circovirus pocino tipo II en cerdos que presentan diarrea en criaderos intensivos. Detection of porcine circovirus type II in pigs that present diarrhea in intensive hatcheries.

Se propone detectar la presencia del agente etiológico circovirus porcino (CVP) en cerdos con diarrea. El cual se considera un patógeno emergente importante asociado a diferentes sindromes y enfermedades porcinas. Se comunicó a nivel internacional en 1997 y en Argentina fue descripto en el 2003 en animales de cria extensiva, aunque se encuentra en los diferentes sistemas de producción. Su presencia causa grandes pérdidas económicas, ya que muchas veces no tiene una sintomatología clínica, sino que se manifiesta subclinicamente. En la provincia de Córdoba no se han realizado estudios sistemáticos para determinar la presencia de circovirus. Además, en animales que presentan diarrea no se ha realizado un relevamiento de la presencia del CVP y su asociación con el cuadro clínico. Diversos investigadores estan viendo la necesidad de incluir al CVP a la hora de pensar en los diagnósticos etiológicos, en aquellos que no solo presentan índices productivos ineficientes sino también que no responden a la terapia antimicrobiana. Es agente causal del Sindrome de Desmedro Posdestete y podria favorecer la acción de otros agentes patógenos que actuarían tanto en Sistema Respirastorio como en Sistema Digestivo. La complejidad del trabajo radica en demostrar lo antes mencionado a traves de las lesiones a observar en los tejidos y la determinación de la presencia del agente. La ejecución de este estudio sería un importante aporte a la producción porcina, en donde este agente produce importantes pérdidas económicas. La metodología, así como los resultados obtenidos serán útiles en la formación de recursos humanos aplicados a la investigación y transferidos directamente a la docencia. Hipotesis: Establecer la presencia del CVP en cerdos con signos clinicos de enteropatías Objetivos: Determinar en cortes histopatológicos de intestino y ganglio mesentério, lesiones compatibles con CVP; Determinar por inmunohistoquímica la presencia del antígeno CVP en las muestras. Identificar las células en las que se encuentre el antígeno. Materiales y método: Muestreo a campo y toma de muestra. En diferentes establecimientos porcinos, de aquellos animales que presenten el cuadro clínico de diarrea, serán elegidos 3 animales aleatoriamente para sacrificio y realización de la técnica de necropsia. Se tomarán muestras de intestino delgado y ganglio mesentérico que serán fijadas en formol; la técnica histopatológica y su lectura tendrán fin de encontrar lesiones compatibles con circovirus porcino tipo II; Realización de la técnica de inmunohistoquímica con anticuerpo monoclonal, para la detección del CVP en los tejidos; Interpretación de resultados; Publicación de los resultados.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Transfer of radionuclides from soil to vegetation in selected Irish ecosystems

This thesis details the findings of a study relating the transfer of 238U, 228Ra (232Th), 226Ra, and 137Cs from soil to vegetation in an Atlantic blanket bog, upland blanket bog and semi-natural grassland situated along the north-west coast of Ireland. The results of this study provide information on the uptake of these radionuclides by the indigenous vegetation found present in these ecosystems. The ecosystems chosen are internationally recognizable ecosystems and provide a wide variety of vegetation species and contrasting soil physiochemical properties which allow the influence of these parameters on radionuclide uptake to be assessed. The levels of radionuclides in the soil and vegetation were measured using gamma spectrometry, alpha spectrometry and ICP-MS. The nutrient status of the vegetation and soil physiochemical properties were measured using atomic absorption, flame photometry and other analytical techniques. The results of the study indicate that the uptake of 238U and 228Ra (232Th) by vegetation from all three ecosystems was negligible as the levels in all vegetation was below the limits of detection for the methods used in this study. These results appear to indicate that the vegetation studied do not possess the ability to accumulate significant levels of these radionuclides however this assumption cannot be upheld in the case of the Atlantic blanket bog as the levels in the soil of this ecosystem were too low for detection. Similar results were obtained for 226Ra uptake in both the Atlantic blanket bog and grassland for all vegetation with the exception of H. lanatus from the grassland ecosystem. Radium-226 uptake in upland blanket bog was higher and was detectable in the majority of vegetation indigenous to this ecosystem. Transfer factor values ranged from 0.07 to 2.35 and the TF values for E. tetralix were significantly higher than all other vegetation studied. This species of heather demonstrated the ability to accumulate 226Ra to a greater extent than all other vegetation. The uptake of 226Ra by upland blanket bog vegetation appears to be significantly influenced by a range of soil physiochemical properties. The nutrient status of the vegetation, in particular the calcium content in the vegetation appears to have a negative impact on the uptake of this radionuclide. Potassium-40 was detectable in all vegetation present in the three ecosystems and the levels in the grassland soil were significantly higher than the levels in both bogland soils. Transfer factor values for Atlantic blanket bog vegetation ranged from 0.9 to 13 .8 and were significantly higher in E. vaginatum in comparison to C. vulgaris. Potassium-40 TF values for upland blanket bog vegetation on average ranged from 1.4 for C. vulgaris (stems) to 5.2 for E. vaginatum and were statistically similar for all species of vegetation. Transfer factor values for grassland vegetation ranged from 0.7 to 3.8 and were also statistically similar for all species of vegetation indicating that the transfer of 40K to vegetation within the upland bog and grassland ecosystem is not dependent on plant species. Comparisons of 40K TF values for all three ecosystems indicate that the uptake in E. vaginatum from the Atlantic blanket bog was statistically higher than all other vegetation studied. This appears to indicate that E. vaginatum has the ability to accumulate 40K, however, this species of vegetation was also present in the upland blanket and did not demonstrate the same behaviour. The uptake of 40K by vegetation from all three ecosystems was significantly affected by a range of soil physiochemical properties and in some cases the results were contradictory in nature possibly indicating that the affect of these parameters on 40K uptake is species dependent. The most obvious trend in the data was the influence of soil CEC and magnesium levels in vegetation on 40K TF values. A positive correlation was apparent between the CEC of the soil and 40K uptake in vegetation from both the Atlantic blanket bog and grassland ecosystem. A similar trend was apparent between magnesium levels in vegetation and 40K TF values for the upland blanket bog and grassland vegetation. Caesium-13 7 levels were found to be significantly higher in the two bogland soils in comparison to the grassland soil and levels of 137Cs decreased with increasing soil depth. Transfer factor values for Atlantic blanket bog vegetation ranged from 1.9 to 9.6 and TF values were significantly higher in the leaves o f C. vulgaris in comparison to all other vegetation from this ecosystem. Caesium-13 7 TF values for the upland blanket bog vegetation on average ranged from 0.29 for E. tetralix to 1.6 for C. vulgaris. Uptake by the leaves of C. vulgaris was significantly higher than all other vegetation present thereby supporting the trend found within the Atlantic blanket bog vegetation. These results appear to indicate that the leaves of C. vulgaris have the ability to accumulate significant quantities of 137Cs and also that the uptake of 137Cs by this vegetation is dependent on plant compartment as the stems of this vegetation contained significantly lower levels than the leaves in both ecosystems. The uptake of 137Cs by grassland vegetation was very low and was only detectable in a fraction of the vegetation sampled. Caesium-137 TF values for grassland vegetation were in general lower than 0.02. The impact of soil physiochemical properties and nutrient status of vegetation on 137Cs uptake by vegetation appears to be complex and in some cases contradictory. The most apparent trend in the data was the positive influence of vegetation nutrients on 137Cs uptake in particular the magnesium levels present in the vegetation and to a lesser extent the calcium levels present. The results in general indicate that the uptake of 226Ra, 40K and 137Cs by the chosen vegetation is varied and complex and is significantly dependent on the species of vegetation, soil radionuclide concentration, soil physiochemical properties and the nutrient status of the vegetation.

The Feedback Effect of Intensity of Ionizing Radiation With the Light Ions Content in Atmosphere. Paradox (the Tbilisi Type of a Smog), or Usual Phenomenon for the Strongly Pollution Cities?.

თბილისში მსუბუქი იონების, რადონის და გალაქტიკური კოსმოსური სხივების ნეიტრონული კომპონენტის ინტენსივობის 2009-2010 წლებში კომპლექსური მონიტორინგის მონაცემების მიხედვით გამოვლენილია მაიონიზებელი გამოსხივების ინტენსივობისა და ატმოსფეროში მსუბუქი იონების შემცველობის უკუკავშირის ეფექტი.

Resistance Exercise Restores Endothelial Function and Reduces Blood Pressure in Type 1 Diabetic Rats

Background: Resistance exercise effects on cardiovascular parameters are not consistent. Objectives: The effects of resistance exercise on changes in blood glucose, blood pressure and vascular reactivity were evaluated in diabetic rats. Methods: Wistar rats were divided into three groups: control group (n = 8); sedentary diabetic (n = 8); and trained diabetic (n = 8). Resistance exercise was carried out in a squat device for rats and consisted of three sets of ten repetitions with an intensity of 50%, three times per week, for eight weeks. Changes in vascular reactivity were evaluated in superior mesenteric artery rings. Results: A significant reduction in the maximum response of acetylcholine-induced relaxation was observed in the sedentary diabetic group (78.1 ± 2%) and an increase in the trained diabetic group (95 ± 3%) without changing potency. In the presence of NG-nitro-L-arginine methyl ester, the acetylcholine-induced relaxation was significantly reduced in the control and trained diabetic groups, but not in the sedentary diabetic group. Furthermore, a significant increase (p < 0.05) in mean arterial blood pressure was observed in the sedentary diabetic group (104.9 ± 5 to 126.7 ± 5 mmHg) as compared to that in the control group. However, the trained diabetic group showed a significant decrease (p < 0.05) in the mean arterial blood pressure levels (126.7 ± 5 to 105.1 ± 4 mmHg) as compared to the sedentary diabetic group. Conclusions: Resistance exercise could restore endothelial function and prevent an increase in arterial blood pressure in type 1 diabetic rats.

Functional Vascular Study in Hypertensive Subjects with Type 2 Diabetes Using Losartan or Amlodipine

Background: Antihypertensive drugs are used to control blood pressure (BP) and reduce macro- and microvascular complications in hypertensive patients with diabetes. Objectives: The present study aimed to compare the functional vascular changes in hypertensive patients with type 2 diabetes mellitus after 6 weeks of treatment with amlodipine or losartan. Methods: Patients with a previous diagnosis of hypertension and type 2 diabetes mellitus were randomly divided into 2 groups and evaluated after 6 weeks of treatment with amlodipine (5 mg/day) or losartan (100 mg/day). Patient evaluation included BP measurement, ambulatory BP monitoring, and assessment of vascular parameters using applanation tonometry, pulse wave velocity (PWV), and flow-mediated dilation (FMD) of the brachial artery. Results: A total of 42 patients were evaluated (21 in each group), with a predominance of women (71%) in both groups. The mean age of the patients in both groups was similar (amlodipine group: 54.9 ± 4.5 years; losartan group: 54.0 ± 6.9 years), with no significant difference in the mean BP [amlodipine group: 145 ± 14 mmHg (systolic) and 84 ± 8 mmHg (diastolic); losartan group: 153 ± 19 mmHg (systolic) and 90 ± 9 mmHg (diastolic)]. The augmentation index (30% ± 9% and 36% ± 8%, p = 0.025) and augmentation pressure (16 ± 6 mmHg and 20 ± 8 mmHg, p = 0.045) were lower in the amlodipine group when compared with the losartan group. PWV and FMD were similar in both groups. Conclusions: Hypertensive patients with type 2 diabetes mellitus treated with amlodipine exhibited an improved pattern of pulse wave reflection in comparison with those treated with losartan. However, the use of losartan may be associated with independent vascular reactivity to the pressor effect.

Variations and application conditions of the data type "Image" : the foundation of computational visualistics

Visualistics, computer science, picture syntax, picture semantics, picture pragmatics, interactive pictures