On the EA-style integrated processing of self-contained mathematical texts

A sound and complete first-order goal-oriented sequent-type calculus is developed with ``large-block'' inference rules. In particular, the calculus contains formal analogues of such natural proof-search techniques as handling definitions and applying auxiliary propositions.

Structural depth profile and nanoscale piezoelectric properties of randomly oriented Pb(Zr0.50Ti0.50)O-3 thin films

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Low-temperature, self-nucleated growth of indium-tin oxide nanostructures by pulsed laser deposition on amorphous substrates

Indium-tin oxide nanostructures were deposited by excimer laser ablation in a nitrogen atmosphere using catalyst-free oxidized silicon substrates at 500 degrees C. Up to 1 mbar, nanowires grew by the vapor-liquid-solid (VLS) mechanism, with the amount of liquid material decreasing as the deposition pressure increased. The nanowires present the single-crystalline cubic bixbyite structure, oriented < 100 >. For the highest pressure used, pyramids were formed and no sign of liquid material could be observed, indicating that these structures grew by a vapor-solid mechanism. (c) 2006 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Analysis of the lightning attractive radius of power transmission lines through the use of a physically-oriented model

Models of different degrees of complexity are found in the literature for the estimation of lightning striking distances and attractive radius of objects and structures. However, besides the oversimplifications of the physical nature of the lightning discharge on which most of them are based, till recently the tridimensional structure configuration could not be considered. This is an important limitation, as edges and other details of the object affect the electric field and, consequently, the upward leader initiation. Within this context, the Self-consistent leader initiation and propagation model (SLIM) proposed by Becerra and Cooray is state-of-the-art leader inception and propagation leader model based on the physics of leader discharges which enables the tridimensional geometry of the structure to be taken into account. In this paper, the model is used for estimating the striking distance and attractive radius of power transmission lines. The results are compared with those obtained from the electrogeometric and Eriksson's models. © 2003-2012 IEEE.

Monitoring Drug Use Among HIV/AIDS Patients in Brazil: Should we Combine Self-Report and Urinalysis?

Illicit drug use in HIV-infected patients can be linked to impairment of physical and mental health, low health-related quality of life, and suboptimal adherence to HIV treatment. This study aimed to evaluate the correlation of self-report illicit drug use, urinalysis for cocaine and cannabis metabolites, and severity of dependence among HIV-infected patients on antiretroviral therapy (ART) in a treatment center in Brazil. Four hundred and thirty-eight outpatients of an HIV referral center were interviewed and assessed for drug use (lifetime, last year and last month). Urinalysis was performed to detect the presence of cocaine and cannabis metabolites in urine samples. Overall agreement between self-report and urinalysis was almost 68% for cannabis and higher than 85% for cocaine. Positive urinalysis was significantly associated with more than once a week cannabis (p < .0001) and cocaine (p <.0001) use during the last-month. Severity of Dependence Scale (SDS) properly predicted positive cocaine urinalysis results (area under the curve [AUC] = .81, p = .0001). Frequency of cannabis and cocaine use, SDS score degree and positive urinalysis for both drugs were correlated. Our findings suggest that positive self-report is a reliable predictor of positive urine sample both for cannabis and cocaine, but since the agreement was not perfect, there is a role for urine drug screening in the care of patients with HIV-related conditions.

Medication adherence in frail elderly outpatients with dementia

Since drug therapy in the elderly is complex and longterm and aged people commonly present some level of impairment and disability, medication adherence tend to decrease with age. Cognitive function is a key factor associated with medication adherence and professional or caregiver assistance may be necessary to maintain correct drug use. This study aims to analyze frail elderly outpatients aged 80 years or over diagnosed with dementia. The study is cross-sectional and is being conducted at the Ambulatory of Frailty of the University Hospital of the University of São Paulo (AF-UH). It is being based on information collected through an interview conducted with the patient or its caregiver. Medication adherence is assessed by the proportion of the prescribed drugs used in concordance with the prescription. Here it is presented the results of a pilot study. Thirty patients were included in the pilot study of which 23 (76.7%) were female and 7 (23.3%) males. The mean(SD) age, number of dwelling relatives, living children and prescribed drugs was, respectively, 86(5) years, 3(2), 3(2) and 6(3). The AF-UH consultation is the only regular physician encounter for 60.7% of the patients. Out of 30 patients, 5 (16.7%) live alone. Medication is a caregiver responsibility in 22 (73.4%) patients; the others (26.6%) self-administer their medicines. 13 (43.3%) of patients regularly use at least one drug not prescribed. Dementia was present in 8 patients all of which have a caregiver responsible for the management and,or the administration of the medicines; on the other hand, only 4 of the 22 nondemented patients (18.2%) have assistance of a caregiver (p<.001). The mean(SD) number of prescribed drugs was higher in nondemented patients [6.5(2.4)] than in those with dementia[3.5(2.3)] (p=.004). Educational level was similar between caregivers and patients (p=.503) as well as between caregivers of demented and non demented patients (p=.582). Among patients without dementia, those with caregiver assistance pre-presented the same mean(SD) medication adherence [0.93(0.14)] than those without it [0.78(0.28)] (p=.305). When compared to nondemented patients without caregivers, demented patients showed higher medication adherence [1.00(0.00)] (p=.013) since all of them used their drugs as recommended. The lower number of prescribed drugs and caregiver assistance seem to play an important role in the adherence of pharmacotherapy of demented patients in the studied population.

Control of the long-range self-organization of polycyclic aromatic hydrocarbons for device applications

Electronic devices based on organic semiconductors have gained increased attention in nanotechnology, especially applicable to the field of field-effect transistors and photovoltaic. A promising class of materials in this reseach field are polycyclic aromatic hydrocarbons (PAHs). Alkyl substitution of these graphenes results in the selforganization into one-dimensional columnar superstructures and provides solubility and processibility. The nano-phase separation between the π-stacking aromatic cores and the disordered peripheral alkyl chains leads to the formation of thermotropic mesophases. Hexa-peri-hexabenzocoronenes (HBC), as an example for a PAH, exhibits some of the highest values for the charge carrier mobility for mesogens, which makes them promising candidates for electronic devices. Prerequisites for efficient charge carrier transport between electrodes are a high purity of the material to reduce possible trapping sites for charge carriers and a pronounced and defect-free, long-range order. Appropriate processing techniques are required to induce a high degree of aligned structures in the discotic material over macroscopic dimensions. Highly-ordered supramolecular structures of different discotics, in particular, of HBC derivatives have been obtained by solution processing using the zone-casting technique, zone-melting or simple extrusion. Simplicity and fabrication of highly oriented columnar structures over long-range are the most essential advantages of these zone-processing methods. A close relation between the molecular design, self-aggregation and the processing conditions has been revealed. The long-range order achieved by the zone-casting proved to be suitable for field effect transistors (FET).

Networking: the "making of" social networks. A closer look at the process and antecedents of some resourcing-oriented behaviors in organizations.

Social networks are one of the “hot” themes in people’s life and contemporary social research. Considering our “embeddedness” in a thick web of social relations is a study perspective that could unveil a number of explanations of how people may manage their personal and social resources. Looking at people’s behaviors of building and managing their social networks, seems to be an effective way to find some possible rationalization about how to help people getting the best from their resources . The main aim of this dissertation is to give a closer look at the role of networking behaviors. Antecedents, motivations, different steps and measures about networking behaviors and outcomes are analyzed and discussed. Results seem to confirm, in a different setting and time perspective, that networking behaviors include different types and goals that change over time. Effects of networking behaviors seem to find empirical confirmation through social network analysis methods. Both personality and situational self-efficacy seem to predict networking behaviors. Different types of motivational drivers seem to be related to diverse networking behaviors.

Atomic-scale characterization of diamond surfaces and fullerene self-assembly

In this thesis, elemental research towards the implantation of a diamond-based molecular quantum computer is presented. The approach followed requires linear alignment of endohedral fullerenes on the diamond C(100) surface in the vicinity of subsurface NV-centers. From this, four fundamental experimental challenges arise: 1) The well-controlled deposition of endohedral fullerenes on a diamond surface. 2) The creation of NV-centers in diamond close to the surface. 3) Preparation and characterization of atomically-flat diamondsurfaces. 4) Assembly of linear chains of endohedral fullerenes. First steps to overcome all these challenges were taken in the framework of this thesis. Therefore, a so-called “pulse injection” technique was implemented and tested in a UHV chamber that was custom-designed for this and further tasks. Pulse injection in principle allows for the deposition of molecules from solution onto a substrate and can therefore be used to deposit molecular species that are not stable to sublimation under UHV conditions, such as the endohedral fullerenes needed for a quantum register. Regarding the targeted creation of NV-centers, FIB experiments were carried out in cooperation with the group of Prof. Schmidt-Kaler (AG Quantum, Physics Department, Johannes Gutenberg-Universität Mainz). As an entry into this challenging task, argon cations were implanted into (111) surface-oriented CaF2 crystals. The resulting implantation spots on the surface were imaged and characterized using AFM. In this context, general relations between the impact of the ions on the surface and their valency or kinetic energy, respectively, could be established. The main part of this thesis, however, is constituted by NCAFM studies on both, bare and hydrogen-terminated diamond C(100) surfaces. In cooperation with the group of Prof. Dujardin (Molecular Nanoscience Group, ISMO, Université de Paris XI), clean and atomically-flat diamond surfaces were prepared by exposure of the substrate to a microwave hydrogen plasma. Subsequently, both surface modifications were imaged in high resolution with NC-AFM. In the process, both hydrogen atoms in the unit cell of the hydrogenated surface were resolved individually, which was not achieved in previous STM studies of this surface. The NC-AFM images also reveal, for the first time, atomic-resolution contrast on the clean, insulating diamond surface and provide real-space experimental evidence for a (2×1) surface reconstruction. With regard to the quantum computing concept, high-resolution NC-AFM imaging was also used to study the adsorption and self-assembly potential of two different kinds of fullerenes (C60 and C60F48) on aforementioned diamond surfaces. In case of the hydrogenated surface, particular attention was paid to the influence of charge transfer doping on the fullerene-substrate interaction and the morphology emerging from self-assembly. Finally, self-assembled C60 islands on the hydrogen-terminated diamond surface were subject to active manipulation by an NC-AFM tip. Two different kinds of tip-induced island growth modes have been induced and were presented. In conclusion, the results obtained provide fundamental informations mandatory for the realization of a molecular quantum computer. In the process it was shown that NC-AFM is, under proper circumstances, a very capable tool for imaging diamond surfaces with highest resolution, surpassing even what has been achieved with STM up to now. Particular attention was paid to the influence of transfer doping on the morphology of fullerenes on the hydrogenated diamond surface, revealing new possibilities for tailoring the self-assembly of molecules that have a high electron affinity.

Systematic functionalization of molecules for molecular self-assembly

This thesis describes the investigation of systematically varied organic molecules for use in molecular self-assembly processes. All experiments were performed using high-resolution non-contact atomic force microscopy under UHV conditions and at room temperature. Using this technique, three different approaches for influencing intermolecular and molecule-surface interaction on the insulating calcite(10.4) surface were investigated by imaging the structure formation at the molecular scale. I first demonstrated the functionalization of shape-persistent oligo(p-benzamide)s that was engineered by introducing different functional groups and investigating their effect on the structural formation on the sample surface. The molecular core was designed to provide significant electrostatic anchoring towards the surface, while at the same time maintaining the flexibility to fine-tune the resulting structure by adjusting the intermolecular cohesion energy. The success of this strategy is based on a clear separation of the molecule-substrate interaction from the molecule-molecule interaction. My results show that sufficient molecule-surface anchoring can be achieved without restricting the structural flexibility that is needed for the design of complex molecular systems. Three derivatives of terephthalic acid (TPA) were investigated in chapter 7. Here, the focus was on changing the adhesion to the calcite surface by introducing different anchor functionalities to the TPA backbone. For all observed molecules, the strong substrate templating effect results in molecular structures that are strictly oriented along the calcite main crystal directions. This templating is especially pronounced in the case of 2-ATPA where chain formation on the calcite surface is observed in contrast to the formation of molecular layers in the bulk. At the same time, the amino group of 2-ATPA proved an efficient anchor functionality, successfully stabilizing the molecular chains on the sample surface. These findings emphasizes, once again, the importance of balancing and fine-tuning molecule-molecule and molecule-surface interactions in order to achieve stable, yet structurally flexible molecular arrangements on the sample surface. In the last chapter, I showed how the intrinsic property of molecular chirality decisively influences the structure formation in molecular self-assembly. This effect is especially pronounced in the case of the chiral heptahelicene-2-carboxylic acid. Deposition of the enantiopure molecules results in the formation of homochiral islands on the sample surface which is in sharp contrast to the formation of uni-directional double rows upon deposition of the racemate onto the same surface. While it remained uncertain from these previous experiments whether the double rows are composed of hetero- or homochiral molecules, I could clearly answer that question here and demonstrate that the rows are of heterochiral origin. Chirality, thus, proves to be another important parameter to steer the intermolecular interaction on surfaces. Altogether, the results of this thesis demonstrate that, in order to successfully control the structure formation in molecular self-assembly, the correct combination of molecule and surface properties is crucial. This is of special importance when working on substrates that exhibit a strong influence on the structure formation, such as the calcite(10.4) surface. Through the systematic variation of functional groups several important parameters that influence the balance between molecule-surface and molecule-molecule interaction were identified here, and the results of this thesis can, thus, act as a guideline for the rational design of molecules for use in molecular self-assembly.

Use of modern and traditional products to self-treat symptoms of sexually transmitted infections in South African women

The objective of the study is to investigate products used by women self-treating symptoms of reproductive tract infections (RTIs), including sexually transmitted infections (STIs), and their methods of administration. A household survey using a multi-stage cluster sample design was undertaken in KwaZulu-Natal, South Africa. Women aged 18-60 years were interviewed (n = 867) and information was collected on demographics, reproductive health and sexual behaviours. A fifth of women reported having RTI/STI symptoms (20.5%), of whom 41.9% were treating these symptoms (mostly discharge [79.1%], ulcers [6.8%] and itching [7.7%]). Only three women were using medication prescribed by a health provider, while the remainder were self-treating using traditional medicines and modern products, including antiseptics, soaps, petroleum jelly, menthol creams and alum. Products were administered in various ways. Although RTI/STI treatment is widely available and free in public health facilities, many women are still self-treating. Potential harm of products for self-treatment requires further investigation and efforts should be made to improve STI service uptake.

Effectiveness of individual resource-oriented joint protection education in people with rheumatoid arthritis. A randomized controlled trial

the modern joint protection (JP) concept for people with rheumatoid arthritis (RA) is an active coping strategy to improve daily tasks and role performance by changing working methods and using assistive devices. Effective group JP education includes psycho-educational interventions. The Pictorial Representation of Illness and Self Measure (PRISM) is an interactive hands-on-tool, assessing (a) the individual's perceived burden of illness and (b) relevant individual resources. Both issues are important for intrinsic motivation to take action and change behaviour. This study compared individual conventional JP education (C-JP) with PRISM-based JP education (PRISM-JP).

Medication errors in a swiss cardiovascular surgery department: a cross-sectional study based on a novel medication error report method

The purpose of this study was (1) to determine frequency and type of medication errors (MEs), (2) to assess the number of MEs prevented by registered nurses, (3) to assess the consequences of ME for patients, and (4) to compare the number of MEs reported by a newly developed medication error self-reporting tool to the number reported by the traditional incident reporting system. We conducted a cross-sectional study on ME in the Cardiovascular Surgery Department of Bern University Hospital in Switzerland. Eligible registered nurses (n = 119) involving in the medication process were included. Data on ME were collected using an investigator-developed medication error self reporting tool (MESRT) that asked about the occurrence and characteristics of ME. Registered nurses were instructed to complete a MESRT at the end of each shift even if there was no ME. All MESRTs were completed anonymously. During the one-month study period, a total of 987 MESRTs were returned. Of the 987 completed MESRTs, 288 (29%) indicated that there had been an ME. Registered nurses reported preventing 49 (5%) MEs. Overall, eight (2.8%) MEs had patient consequences. The high response rate suggests that this new method may be a very effective approach to detect, report, and describe ME in hospitals.

Self-reported non-adherence to antiretroviral therapy repeatedly assessed by two questions predicts treatment failure in virologically suppressed patients

BACKGROUND: The aim of this study was to explore the predictive value of longitudinal self-reported adherence data on viral rebound. METHODS: Individuals in the Swiss HIV Cohort Study on combined antiretroviral therapy (cART) with RNA <50 copies/ml over the previous 3 months and who were interviewed about adherence at least once prior to 1 March 2007 were eligible. Adherence was defined in terms of missed doses of cART (0, 1, 2 or >2) in the previous 28 days. Viral rebound was defined as RNA >500 copies/ml. Cox regression models with time-independent and -dependent covariates were used to evaluate time to viral rebound. RESULTS: A total of 2,664 individuals and 15,530 visits were included. Across all visits, missing doses were reported as follows: 1 dose 14.7%, 2 doses 5.1%, >2 doses 3.8% taking <95% of doses 4.5% and missing > or =2 consecutive doses 3.2%. In total, 308 (11.6%) patients experienced viral rebound. After controlling for confounding variables, self-reported non-adherence remained significantly associated with the rate of occurrence of viral rebound (compared with zero missed doses: 1 dose, hazard ratio [HR] 1.03, 95% confidence interval [CI] 0.72-1.48; 2 doses, HR 2.17, 95% CI 1.46-3.25; >2 doses, HR 3.66, 95% CI 2.50-5.34). Several variables significantly associated with an increased risk of viral rebound irrespective of adherence were identified: being on a protease inhibitor or triple nucleoside regimen (compared with a non-nucleoside reverse transcriptase inhibitor), >5 previous cART regimens, seeing a less-experienced physician, taking co-medication, and a shorter time virally suppressed. CONCLUSIONS: A simple self-report adherence questionnaire repeatedly administered provides a sensitive measure of non-adherence that predicts viral rebound.

Disparities in bone density measurement history and osteoporosis medication utilisation in Swiss women: results from the Swiss Health Survey 2007

BACKGROUND Although factors associated with the utilisation of bone density measurement (BDM) and osteoporosis treatment have been regularly assessed in the US and Canada, they have not been effectively analysed in European countries. This study assessed factors associated with the utilisation of BDM and osteoporosis medication (OM) in Switzerland. METHODS The Swiss Health Survey 2007 data included self-reported information on BDM and OM for women aged 40 years and older who were living in private households. Multivariable logistic regression analysis was used to identify sociodemographic, socioeconomic, healthcare-related and osteoporosis risk factors associated with BDM and OM utilisation. RESULTS The lifetime prevalence of BDM was 25.6% (95% CI: 24.3-26.9%) for women aged 40 years and older. BDM utilisation was associated with most sociodemographic factors, all the socioeconomic and healthcare-related factors, and with major osteoporosis risk factors analysed. The prevalence of current OM was 7.8% (95% CI: 7.0-8.6%) and it was associated with some sociodemographic and most healthcare-related factors but only with one socioeconomic factor. CONCLUSIONS In Swiss women, ever having had a BDM and current OM were low and utilisation disparities exist according to sociodemographic, socioeconomic and healthcare-related factors. This might foster further health inequalities. The reasons for these findings should be addressed in further studies of the elderly women, including those living in institutions.