Thermo and mechanical cycling and veneering method do not influence Y-TZP core/veneer interface bond strength

Objectives: The purpose of this study was to evaluate the influence of thermal and mechanical cycling and veneering technique on the shear bond strength of Y-TZP (yttrium oxide partially stabilized tetragonal zirconia polycrystal) core–veneer interfaces. Materials and methods: Cylindrical Y-TZP specimens were veneered either by layering (n = 20) or by pressing technique (n = 20). A metal ceramic group (CoCr) was used as control (n = 20). Ten specimens for each group were thermal and mechanical cycled and then all samples were subjected to shear bond strength in a universal testing machine with a 0.5 mm/min crosshead speed. Mean shear bond strength (MPa) was analysed with a 2-way analysis of variance and Tukey’s test ( p < 0.05). Failure mode was determined using stereomicroscopy and scanning electron microscopy (SEM). Results: Thermal and mechanical cycling had no influence on the shear bond strength for all groups. The CoCr group presented the highest bond strength value ( p < 0.05) (34.72 7.05 MPa). There was no significant difference between Y-TZP veneered by layering (22.46 2.08 MPa) or pressing (23.58 2.1 MPa) technique. Failure modes were predominantly adhesive for CoCr group, and cohesive within veneer for Y-TZP groups. Conclusions: Thermal and mechanical cycling, as well as the veneering technique does not affect Y-TZP core–veneer bond strength. Clinical significance: Different methods of veneering Y-TZP restorations would not influence the clinical performance of the core/veneer interfaces.

Grandparents Left with AIDS-orphans; Challenges and Strategies Handling Poverty and Stigma

By 2010 it is estimated that one third of the African children will be orphans as an effect of HIV/AIDS. The crisis is already a fact and most orphans are absorbed by the extended family where the grandparents become the primary caretakers. This qualitative study was carried out in Kenya to explore the situation of these grandparents and to define their current resources and needs. Eight grandparents living in rural village or urban slum caring for their orphaned grandchildren were interviewed. The results showed that these families live under extremely poor conditions lacking food, other vital neccesities and a basic social network. Local churches and support groups emerged as the grandparents main sources to enhance strength and support. Key factors causing the acute poverty is HIV-related stigma and lack of access to land.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Longitudinal dynamics modeling and handling qualities of a conventional jet aircraft

Un noto centro di ricerca europea ha recentemente modificato un jet convenzionale di classe CS-25 in una piattaforma scientifica. Durante il processo di certificazione delle modifiche, l’impatto delle stesse sulle prestazioni è stato studiato in modo esaustivo. Per lo studio delle qualità di volo, i piloti collaudatori hanno sviluppato una procedura di certificazione ad hoc che consiste in test qualitativi separati della stabilità longitudinale, laterale e direzionale. L’obiettivo della tesi è analizzare i dati di volo, registrati durante i test di collaudo, con l'obiettivo di estrarre informazioni di carattere quantitativo circa la stabilità longitudinale del velivolo modificato. In primo luogo sono state analizzate tre diverse modifiche apportate all’aeromobile e successivamente i risultati sono stati messi a confronto per capirne l’influenza sulle qualità di volo dell’aeromobile. Le derivate aerodinamiche sono state stimate utilizzando la cosiddetta “identificazione dei parametri”, che mira a replicare le variabili registrate durante i test di volo, variando un dato insieme di coefficienti all’interno del modello linearizzato della dinamica dell’aeromobile. L'identificazione del modo di corto periodo ha consentito l'estrazione dei suoi parametri caratteristici, quali il rapporto di smorzamento e la frequenza naturale. La procedura ha consentito inoltre di calcolare il cosiddetto “Control Anticipation Parameter” (CAP), parametro caratterizzante delle qualità di volo di un aeroplano. I risultati ottenuti sono stati messi a confronto con i requisiti prescritti dalla normativa MIL-STD-1797-A, risultando conformi al livello più alto di qualità di volo.

A Morphological Box for Handling Temporal Data in B2C Systems

User interfaces are key properties of Business-to-Consumer (B2C) systems, and Web-based reservation systems are an important class of B2C systems. In this paper we show that these systems use a surprisingly broad spectrum of different approaches to handling temporal data in their Web inter faces. Based on these observations and on a literature analysis we develop a Morphological Box to present the main options for handling temporal data and give examples. The results indicate that the present state of developing and maintaining B2C systems has not been much influenced by modern Web Engi neering concepts and that there is considerable potential for improvement.

Remodeling of calcium handling in skeletal muscle through PGC-1?: impact on force, fatigability, and fiber type

Regular endurance exercise remodels skeletal muscle, largely through the peroxisome proliferator-activated receptor-γ coactivator-1α (PGC-1α). PGC-1α promotes fiber type switching and resistance to fatigue. Intracellular calcium levels might play a role in both adaptive phenomena, yet a role for PGC-1α in the adaptation of calcium handling in skeletal muscle remains unknown. Using mice with transgenic overexpression of PGC-1α, we now investigated the effect of PGC-1α on calcium handling in skeletal muscle. We demonstrate that PGC-1α induces a quantitative reduction in calcium release from the sarcoplasmic reticulum by diminishing the expression of calcium-releasing molecules. Concomitantly, maximal muscle force is reduced in vivo and ex vivo. In addition, PGC-1α overexpression delays calcium clearance from the myoplasm by interfering with multiple mechanisms involved in calcium removal, leading to higher myoplasmic calcium levels following contraction. During prolonged muscle activity, the delayed calcium clearance might facilitate force production in mice overexpressing PGC-1α. Our results reveal a novel role of PGC-1α in altering the contractile properties of skeletal muscle by modulating calcium handling. Importantly, our findings indicate PGC-1α to be both down- as well as upstream of calcium signaling in this tissue. Overall, our findings suggest that in the adaptation to chronic exercise, PGC-1α reduces maximal force, increases resistance to fatigue, and drives fiber type switching partly through remodeling of calcium transients, in addition to promoting slow-type myofibrillar protein expression and adequate energy supply.

Model Predictive Control for Vehicle Stabilization at the Limits of Handling

Recent developments in vehicle steering systems offer new opportunities to measure the steering torque and reliably estimate the vehicle sideslip and the tire-road friction coefficient. This paper presents an approach to vehicle stabilization that leverages these estimates to define state boundaries that exclude unstable vehicle dynamics and utilizes a model predictive envelope controller to bound the vehicle motion within this stable region of the state space. This approach provides a large operating region accessible by the driver and smooth interventions at the stability boundaries. Experimental results obtained with a steer-by-wire vehicle and a proof of envelope invariance demonstrate the efficacy of the envelope controller in controlling the vehicle at the limits of handling.

The influence of handling and exposure to a ferret on body temperature and running wheel activity of golden hamsters (Mesocricetus auratus)

In order to determine a stress response, two groups of twenty male golden hamsters were either exposed to a ferret or handled by a human. The hamsters' body temperature and running wheel activity were measured as stress correlates. Half of the hamsters' cages were equipped with a functional running wheel to determine whether the presence of a running wheel might reduce stress. Exposure to the ferret was followed by a significant increase in body temperature and running wheel revolutions: however, running wheel activity did not change after handling. Body temperature increased less after handling in hamsters living in a cage with a functional running wheel than in those with a non-revolving running wheel. This suggests that hamsters with a functional running wheel reacted less strongly to acute stress caused by handling. On the other hand, temperature increase after the exposure to a ferret was not affected by the presence of a running wheel. Both exposure to a ferret and handling caused stress in golden hamsters, as demonstrated by an increase in body temperature (emotional fever). Stress caused by handling was much milder than stress caused by the ferret. (C) 2011 Elsevier B.V. All rights reserved.

Cardiac G-protein-coupled receptor kinase 2 ablation induces a novel Ca2+ handling phenotype resistant to adverse alterations and remodeling after myocardial infarction

G-protein-coupled receptor kinase 2 (GRK2) is a primary regulator of β-adrenergic signaling in the heart. G-protein-coupled receptor kinase 2 ablation impedes heart failure development, but elucidation of the cellular mechanisms has not been achieved, and such elucidation is the aim of this study.

Materials-Handling Hazard Controls: Assessment of Haddon’s Injury Control Strategies

This investigation assessed the applicability of Dr. William Haddon’s strategies for controlling hazards involving materials-handling operations in industrial and mining workplaces. Published over 20 years ago, Haddon’s strategies purport to include all strategies for preventing and mitigating harm to people, property, and the environment. Students in an undergraduate class were assigned to find tactical examples of each of Haddon’s strategies applicable to material handling. Haddon’s tenth strategy involving medical care and rehabilitation was not included. Their classifications were analyzed to identify points of confusion as well as points of general agreement. Students found numerous tactics for strategies involving engineering and behavioral strategies. Fewer tactics were identified for strategies involving damage control through effective and timely response.

Handling mammalian mitochondrial tRNAs and aminoacyl-tRNA synthetases for functional and structural characterization

The mammalian mitochondrial (mt) genome codes for only 13 proteins, which are essential components in the process of oxidative phosphorylation of ADP into ATP. Synthesis of these proteins relies on a proper mt translation machinery. While 22 tRNAs and 2 rRNAs are also coded by the mt genome, all other factors including the set of aminoacyl-tRNA synthetases (aaRSs) are encoded in the nucleus and imported. Investigation of mammalian mt aminoacylation systems (and mt translation in general) gains more and more interest not only in regard of evolutionary considerations but also with respect to the growing number of diseases linked to mutations in the genes of either mt-tRNAs, synthetases or other factors. Here we report on methodological approaches for biochemical, functional, and structural characterization of human/mammalian mt-tRNAs and aaRSs. Procedures for preparation of native and in vitro transcribed tRNAs are accompanied by recommendations for specific handling of tRNAs incline to structural instability and chemical fragility. Large-scale preparation of mg amounts of highly soluble recombinant synthetases is a prerequisite for structural investigations that requires particular optimizations. Successful examples leading to crystallization of four mt-aaRSs and high-resolution structures are recalled and limitations discussed. Finally, the need for and the state-of-the-art in setting up an in vitro mt translation system are emphasized. Biochemical characterization of a subset of mammalian aminoacylation systems has already revealed a number of unprecedented peculiarities of interest for the study of evolution and forensic research. Further efforts in this field will certainly be rewarded by many exciting discoveries.

Practical handling of AIO admixtures - Guidelines on Parenteral Nutrition, Chapter 10

All-in-one admixtures (AIO-admixtures) provide safe, effective and low-risk PN (parenteral nutrition) for practically all indications and applications. Water, energy (carbohydrates and lipids), amino acids, vitamins and trace elements are infused together with PN either as industrially-manufactured AIO admixtures provided as two- or three-chamber bags (shelf life usually more than 12 months) completed with electrolytes and micronutrients where appropriate or as individually compounded ready-to-use AIO admixtures (compounding, usually prepared by a pharmacy on either a daily or weekly basis and stored at 2-8 degrees C). Physico-chemical and microbial stability of an AIO admixture is essential for the safety and effectiveness of patient-specific PN, and its assurance requires specialist pharmaceutical knowledge. The stability should be documented for an application period of 24 (-48) hours. It is advisable to offer a limited selection of different PN regimes in each hospital. For reasons of drug and medication safety, PN admixtures prepared for individual patients must be correctly labelled and specifications for storage conditions must also be followed during transport. Monitoring is required where applicable. Micronutrients are usually administered separately to AIO admixtures. In case compatibility and stability have been well documented trace elements and/or combination preparations including water-soluble or water-soluble/fat soluble vitamin supplements can be added to PN admixtures under strict aseptic conditions. AIO admixtures are usually not used as vehicles for drugs (incompatibilities).