Propriedades físico-químicas e mecânicas, potencial bioativo e caracterização da interface dentina-cimento de cimentos endodônticos experimentais à base de cimento Portland associados à radiopacificadores micro e nanoparticulados

Pós-graduação em Odontologia - FOAR

Interaction of cyclic and linear labaditin peptides with anionic and zwitterionic micelles

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

Interaction of biologically-relevant peptides with membrane model systems

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

Effect of moisture on dental enamel in the interaction of two orthodontic bonding systems

OBJECTIVE: The purpose of this study was to assess by means of scanning electron microscopy (SEM) the remaining adhesive interface after debonding orthodontic attachments bonded to bovine teeth with the use of hydrophilic and hydrophobic primers under different dental substrate moisture conditions. MATERIAL AND METHODS: Twenty mandibular incisors were divided into four groups (n=5). In Group I, bracket bonding was performed with Transbond MIP hydrophilic primer and Transbond XT adhesive paste applied to moist substrate, and in Group II a bonding system comprising Transbond XT hydrophobic primer and adhesive paste was applied to moist substrate. Brackets were bonded to the specimens in Groups III and IV using the same adhesive systems, but on dry dental enamel. The images were qualitatively assessed by SEM. RESULTS: The absence of moisture in etched enamel enabled better interaction between bonding materials and the adamantine structure. The hydrophobic primer achieved the worst micromechanical interlocking results when applied to a moist dental structure, whereas the hydrophilic system proved versatile, yielding acceptable results in moist conditions and excellent interaction in the absence of contamination. CONCLUSION: The authors assert that the best condition for the application of primers to dental enamel occurs in the absence of moisture.

A oração relativa em português sob a perspectiva discursivofuncional: interface entre a descrição e o ensino

Pós-graduação em Estudos Linguísticos - IBILCE

Mechanical properties of components of the bonding interface in different regions of radicular dentin surfaces

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

Interaction of cyclic and linear Labaditin peptides with anionic and zwitterionic micelles

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Análise da interface adesiva entre pinos de fibra de vidro e dentina intrarradicular submetida à irrigação com diferentes agentes condicionantes

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

Interaction of the meso-tetrakis (4-N-methylpyridyl) porphyrin with gel and liquid state phospholipid vesicles

The interaction of the cationic meso-tetrakis 4-N-methylpyridyl porphyrin (TMPyP) with large unilamellar vesicles (LUVs) was investigated in the present study. LUVs were formed by mixtures of the zwitterionic 1,2-dipalmitoyl-sn-glycero-phosphatidylcholine (DPPC) and anionic 1,2-dipalmitoyl-sn-glycero-3-phosphoglycerol (DPPG) phospholipids, at different DPPG molar percentages. All investigations were carried out above (50 degrees C) and below (25 degrees C) the main phase transition temperature of the LUVs (similar to 41 degrees C). The binding constant values, K-b, estimated from the time-resolved fluorescence study, showed a significant increase of the porphyrin affinity at higher mol% DPPG. This affinity is markedly increased when the LUVs are in the liquid crystalline state. For both situations, the increase of the K-b value was also followed by a higher porphyrin fraction bound to the LUVs. The displacement of the vesicle-bound porphyrins toward the aqueous medium, upon titration with the salt potassium chloride (KCl), was also studied. Altogether, our steady-state and frequency-domain fluorescence quenching data results indicate that the TMPyP is preferentially located at the LUVs Stern layer. This is supported by the zeta potential studies, where a partial neutralization of the LUVs surface charge, upon porphyrin titration, was observed. Dynamic light scattering (DLS) results showed that, for some phospholipid systems, this partial neutralization leads to the LUVs flocculation. (C) 2012 Elsevier Inc. All rights reserved.

Interaction of chitosan and mucin in a biomembrane model environment

Chitosans have been widely exploited in biological applications, including drug delivery and tissue engineering, especially owing to their mucoadhesive properties, but the molecular-level mechanisms for the chitosan action are not known in detail. It is believed that chitosan could affect the mucus by interacting with the proteins mucins, in a process mediated by the cell membrane. In this study we used Langmuir monolayers of dimyristoylphosphatidic acid (DMPA) as simplified membrane models to investigate the interplay between the activity of mucins and chitosan. Surface pressure and surface potential measurements were performed with DMPA monolayers onto which chitosan and/or mucin was adsorbed. We found that the expanding effect from mucin was considerably reduced when chitosan was injected after mucin had been adsorbed on the DMPA monolayer. The results were consistent with the formation of complexes between mucin and chitosan, thus highlighting the importance of electrostatic interactions. Furthermore, chitosan could remove mucin that was co-deposited along with DMPA in Langmuir-Blodgett (LB) films, which could be ascribed to molecular-level interactions between chitosan and mucin inferred from the FTIR spectra of the LB films. In conclusion, the results with Langmuir and LB films suggest that electrostatic interactions are crucial for the mucoadhesive mechanism, which is affected by the complexation between chitosan and mucin. (C) 2012 Elsevier Inc. All rights reserved.

Probabilistic patterns of interaction: the effects of link-strength variability on food web structure

Patterns of species interactions affect the dynamics of food webs. An important component of species interactions that is rarely considered with respect to food webs is the strengths of interactions, which may affect both structure and dynamics. In natural systems, these strengths are variable, and can be quantified as probability distributions. We examined how variation in strengths of interactions can be described hierarchically, and how this variation impacts the structure of species interactions in predator-prey networks, both of which are important components of ecological food webs. The stable isotope ratios of predator and prey species may be particularly useful for quantifying this variability, and we show how these data can be used to build probabilistic predator-prey networks. Moreover, the distribution of variation in strengths among interactions can be estimated from a limited number of observations. This distribution informs network structure, especially the key role of dietary specialization, which may be useful for predicting structural properties in systems that are difficult to observe. Finally, using three mammalian predator-prey networks ( two African and one Canadian) quantified from stable isotope data, we show that exclusion of link-strength variability results in biased estimates of nestedness and modularity within food webs, whereas the inclusion of body size constraints only marginally increases the predictive accuracy of the isotope-based network. We find that modularity is the consequence of strong link-strengths in both African systems, while nestedness is not significantly present in any of the three predator-prey networks.

The role of the C-terminal region of pulchellin A-chain in the interaction with membrane model systems

Pulchellin is a Ribosome Inactivating Protein containing an A-chain (PAC), whose toxic activity requires crossing the endoplasmic reticulum (ER) membrane. In this paper, we investigate the interaction between recombinant PAC (rPAC) and Langmuir monolayers of dipalmitoyl phosphatidyl glycerol (DPPG), which served as membrane model. Three catalytically active, truncated PACs with increasing deletion of the C-terminal region, possessing 244,239 and 236 residues (rPAC(244), rPAC(239) and rPAC(236)), were studied. rPAC had the strongest interaction with the DPPG monolayer, inducing a large expansion in its surface pressure-area isotherm. The affinity to DPPG decreased with increased deletion of the C-terminal region. When the C-terminal region was deleted completely (rPAC(236)), the interaction was recovered, probably because other hydrophobic regions were exposed to the membrane. Using Polarization Modulated-Infrared Reflection Absorption Spectroscopy (PM-IRRAS) we observed that at a bare air/water interface rPAC comprised mainly alpha-helix structures, the C-terminal region had unordered structures when interacting with DPPG. For rPAC(236) the alpha-helices were preserved even in the presence of DPPG. These results confirm the importance of the C-terminal region for PAC-ER membrane interaction. The partial unfolding only with preserved C-terminal appears a key step for the protein to reach the cytosol and develop its toxic activity. (C) 2011 Elsevier B.V. All rights reserved.

Six-month evaluation of a resin/dentin interface created by methacrylate and silorane-based materials

Objectives: This study aimed to compare the micro-tensile bond strength of methacrylate resin systems to a silorane-based restorative system on dentin after 24 hours and six months water storage. Material and Methods: The restorative systems Adper Single Bond 2/Filtek Z350 (ASB), Clearfil SE Bond/Z350 (CF), Adper SE Plus/Z350 (ASEP) and P90 Adhesive System/Filtek P90 (P90) were applied on flat dentin surfaces of 20 third molars (n=5). The restored teeth were sectioned perpendicularly to the bonding interface to obtain sticks (0.8 mm2) to be tested after 24 hours (24 h) and 6 months (6 m) of water storage, in a universal testing machine at 0.5 mm/min. The data was analyzed via two-way Analysis of Variance/Bonferroni post hoc tests at 5% global significance. Results: Overall outcomes did not indicate a statistical difference for the resin systems (p=0.26) nor time (p=0.62). No interaction between material × time was detected (p=0.28). Mean standard-deviation in MPa at 24 h and 6 m were: ASB 31.38 (4.53) and 30.06 (1.95), CF 34.26 (3.47) and 32.75 (4.18), ASEP 29.54 (4.14) and 33.47 (2.47), P90 30.27 (2.03) and 31.34 (2.19). Conclusions: The silorane-based system showed a similar performance to methacrylate-based materials on dentin. All systems were stable in terms of bond strength up to 6 month of water storage.

Probing the interaction of brain fatty acid binding protein (B-FABP) with model membranes

Brain fatty acid-binding protein (B-FABP) interacts with biological membranes and delivers polyunsaturated fatty acids (FAs) via a collisional mechanism. The binding of FAs in the protein and the interaction with membranes involve a motif called "portal region", formed by two small α-helices, A1 and A2, connected by a loop. We used a combination of site-directed mutagenesis and electron spin resonance to probe the changes in the protein and in the membrane model induced by their interaction. Spin labeled B-FABP mutants and lipidic spin probes incorporated into a membrane model confirmed that BFABP interacts with micelles through the portal region and led to structural changes in the protein as well in the micelles. These changes were greater in the presence of LPG when compared to the LPC models. ESR spectra of B-FABP labeled mutants showed the presence of two groups of residues that responded to the presence of micelles in opposite ways. In the presence of lysophospholipids, group I of residues, whose side chains point outwards from the contact region between the helices, had their mobility decreased in an environment of lower polarity when compared to the same residues in solution. The second group, composed by residues with side chains situated at the interface between the α-helices, experienced an increase in mobility in the presence of the model membranes. These modifications in the ESR spectra of B-FABP mutants are compatible with a less ordered structure of the portal region inner residues (group II) that is likely to facilitate the delivery of FAs to target membranes. On the other hand, residues in group I and micelle components have their mobilities decreased probably as a result of the formation of a collisional complex. Our results bring new insights for the understanding of the gating and delivery mechanisms of FABPs.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.