Independence in CLP Languages

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and eciency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and eciency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sucient for ensuring correctness and eciency. Two additional issues arise. The rst is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow dierent optimizations, from parallelism to intelligent backtracking. Sucient conditions for independence which can be evaluated \a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sucient but also a necessary condition for ensuring correctness and eciency of parallel execution.

Independence and search space preservation in dynamically scheduled constraint logic languages

This paper performs a further generalization of the notion of independence in constraint logic programs to the context of constraint logic programs with dynamic scheduling. The complexity of this new environment made necessary to first formally define the relationship between independence and search space preservation in the context of CLP languages. In particular, we show that search space preservation is, in the context of CLP languages, not only a sufficient but also a necessary condition for ensuring that both the intended solutions and the number of transitions performed do not change. These results are then extended to dynamically scheduled languages and used as the basis for the extension of the concepts of independence. We also propose several a priori sufficient conditions for independence and also give correctness and efficiency results for parallel execution of constraint logic programs based on the proposed notions of independence.

New laser-based approaches to improve the passivation and rear contact quality in high effiency crystalline silicon solar cells

Laser processing has been the tool of choice last years to develop improved concepts in contact formation for high efficiency crystalline silicon (c-Si) solar cells. New concepts based on standard laser fired contacts (LFC) or advanced laser doping (LD) techniques are optimal solutions for both the front and back contacts of a number of structures with growing interest in the c-Si PV industry. Nowadays, substantial efforts are underway to optimize these processes in order to be applied industrially in high efficiency concepts. However a critical issue in these devices is that, most of them, demand a very low thermal input during the fabrication sequence and a minimal damage of the structure during the laser irradiation process. Keeping these two objectives in mind, in this work we discuss the possibility of using laser-based processes to contact the rear side of silicon heterojunction (SHJ) solar cells in an approach fully compatible with the low temperature processing associated to these devices. First we discuss the possibility of using standard LFC techniques in the fabrication of SHJ cells on p-type substrates, studying in detail the effect of the laser wavelength on the contact quality. Secondly, we present an alternative strategy bearing in mind that a real challenge in the rear contact formation is to reduce the damage induced by the laser irradiation. This new approach is based on local laser doping techniques previously developed by our groups, to contact the rear side of p-type c-Si solar cells by means of laser processing before rear metallization of dielectric stacks containing Al2O3. In this work we demonstrate the possibility of using this new approach in SHJ cells with a distinct advantage over other standard LFC techniques.

Minimal mutation of the cytoplasmic tail inhibits the ability of E-cadherin to activate Rac but not phosphatidylinositol 3-kinase - Direct evidence of a role for cadherin-activated Rac signaling in adhesion and contact formation

Classic cadherins are adhesion-activated cell signaling receptors. In particular, homophilic cadherin ligation can directly activate Rho family GTPases and phosphatidylinositol 3-kinase (PI3-kinase), signaling molecules with the capacity to support the morphogenetic effects of these adhesion molecules during development and disease. However, the molecular basis for cadherin signaling has not been elucidated, nor is its precise contribution to cadherin function yet understood. One attractive hypothesis is that cadherin-activated signaling participates in stabilizing adhesive contacts ( Yap, A. S., and Kovacs, E. M. ( 2003) J. Cell Biol. 160, 11-16). We now report that minimal mutation of the cadherin cytoplasmic tail to uncouple binding of p120-ctn ablated the ability of E-cadherin to activate Rac. This was accompanied by profound defects in the capacity of cells to establish stable adhesive contacts, defects that were rescued by sustained Rac signaling. These data provide direct evidence for a role of cadherin-activated Rac signaling in contact formation and adhesive stabilization. In contrast, cadherin-activated PI3-kinase signaling was not affected by loss of p120-ctn binding. The molecular requirements for E-cadherin to activate Rac signaling thus appear distinct from those that stimulate PI3-kinase, and we postulate that p120-ctn may play a central role in the E-cadherin-Rac signaling pathway.

Predicting success with silicone-hydrogel contact lenses in new wearers

Purpose: to evaluate changes in tear metrics and ocular signs induced by six months of silicone-hydrogel contact lens wear and the difference in baseline characteristics between those who successfully continued in contact lens wear compared to those that did not. Methods: Non-invasive Keratograph, Tearscope and fluorescein tear break-up times (TBUTs), tear meniscus height, bulbar and limbal hyperaemia, lid-parallel conjunctival folds (LIPCOF), phenol red thread, fluorescein and lissamine-green staining, and lid wiper epitheliopathy were measured on 60 new contact lens wearers fitted with monthly silicone-hydrogels (average age 36 ± 14 years, 40 females). Symptoms were evaluated by the Ocular Surface Disease Index (OSDI). After six months full time contact lens wear the above metrics were re-measured on those patients still in contact lens wear (n= 33). The initial measurements were also compared between the group still wearing lenses after six months and those who had ceased lens wear (n= 27). Results: There were significant changes in tear meniscus height (p= 0.031), bulbar hyperaemia (p= 0.011), fluorescein TBUT (p= 0.027), corneal (p= 0.007) and conjunctival (p= 0.009) staining, LIPCOF (p= 0.011) and lid wiper epitheliopathy (p= 0.002) after six months of silicone-hydrogel wear. Successful wearers had a higher non-invasive (17.0 ± 8.2. s vs 12.0 ± 5.6. s; p= 0.001) and fluorescein (10.7 ± 6.4. s vs 7.5 ± 4.7. s; p= 0.001) TBUT than drop-outs, although OSDI (cut-off 4.2) was also a strong predictor of success. Conclusion: Silicone-hydrogel lenses induced significant changes in the tear film and ocular surface as well as lid margin staining. Wettability of the ocular surface is the main factor affecting contact lens drop-out. © 2013 British Contact Lens Association.

Diachronic and Synchronic Indexing: Modeling Conceptual Change in Indexing Languages

This paper outlines a model of conceptual change in indexing languages. Findings from this modeling effort point to three ways meaning and relationships are established and then change in an indexing language. These ways: structural, terminological, and textual point to ways indexing language metadata can aid in managing conceptual change in indexing languages.

Estudo inicial da degradação in vivo de poli(L-co-D,L ácido lático), sintetizado em laboratório, aplicado como prótese tibial em coelhos

The copolymer poly (L-co-D,L lactic acid), PLDLA, has gained prominence in the field of temporary prostheses due to the fact that their time of degradation is quite compatible with the requirement in the case of osseous fracture. In this work the in vivo degradation of devices from copolymer, as a system of plates and screws, used in fixation of the tibia of rabbits was studied. The devices were implanted in 15 adult rabbits, albinos, New Zealand race, and they were used as control devices of alloys of titanium (Ti-6Al-4V/ V grade). The use of copolymers, synthesized in the laboratory, was tested in the repair of fracture in rabbits'tibias, being assessed in the following times: 2 weeks, 2 months and 3 months. Morphological analysis of tissue surrounding the plate and screw system, for 2 weeks of implantation, showed the presence of osteoblasts, indicating a pre bone formation. After 2 months there was new bone formation in the region in contact with the polymer. This bone growth occurred simultaneously with the process of PLDLA degradation, invading the region where there was polymer and after 3 months there was an intense degradation of the copolymer and hence greater tissue invasion compared to 2 months which characterized bone formation in a region where the polymer degraded. The in vivo degradation study of the devices for PLDLA by means of histological evaluations during the period of consolidation of the fracture showed the efficiency of plate and screw system, and it was possible to check formation of bone tissue at the implantation site, without the presence of inflammatory reaction

In vitro effect of low intensity laser on the cytotoxicity produced by substances released by bleaching gel

This in vitro study aimed to analyze the effect of different parameters of phototherapy with low intensity laser on the viability of human dental pulp fibroblasts under the effect of substances released by bleaching gel. Cells were seeded into 96 wells plates (1 x 10³ cells/well) and placed in contact with culture medium conditioned by a 35 % hydrogen peroxide bleaching gel for 40 minutes, simulating the clinical condition of the in-office bleaching treatment. Cells cultured in ideal growth conditions served as positive control group (PC), and the cells grown in conditioned medium and non-irradiated served as negative control group (NC). Cells grown in conditioned medium were submitted to a single irradiation with a diode laser (40 mW, 0.04 cm²) emitting at visible red (660 nm; RL) or near infrared (780 nm; NIR) using punctual technique, in contact mode and energy densities of 4, 6 or 10 J/cm². The cell viability was analyzed through the MTT reduction assay immediately and 24 hours after the irradiation. The data was compared by ANOVA followed by the Tukey's test (p < 0.05). The cell viability increased significantly in 24 hours within each group. The PC presented cell viability significantly higher than NC in both experimental times. Only the NIR/10 J/cm² group presented cell viability similar to that of PC in 24 hours. The phototherapy with low intensity laser in defined parameters is able to compensate the cytotoxic effects of substances released by 35 % hydrogen peroxide bleaching gel.

Crown-down preflaring in the determination of the first apical file

In this study, scanning electron microscopy (SEM) was used to evaluate the adaptation of the first apical file after preflaring in mesiobuccal (MB) and mesiolingual (ML) canals of mandibular molars considering the tactile sensibility as a reference. The mesial canals (n = 22) of human mandibular molar teeth were used, and the first instrument to bind to the working length was determined after preflaring and crown-down shaping. Digital images of the root apex were acquired and a single examiner determined the contact of the file with the walls using Image J software. The results showed that the file was in contact in 47.83% and 31.71% in the MB and ML canals, respectively. When the apexes are fused, the average was 40.03%. A descriptive analysis showed that the first apical file did not touch all dentin walls in any of the samples.

Ecdysteroid-Dependent Expression of the Tweedle and Peroxidase Genes during Adult Cuticle Formation in the Honey Bee, Apis mellifera

Cuticle renewal is a complex biological process that depends on the cross talk between hormone levels and gene expression. This study characterized the expression of two genes encoding cuticle proteins sharing the four conserved amino acid blocks of the Tweedle family, AmelTwdl1 and AmelTwdl2, and a gene encoding a cuticle peroxidase containing the Animal haem peroxidase domain, Ampxd, in the honey bee. Gene sequencing and annotation validated the formerly predicted tweedle genes, and revealed a novel gene, Ampxd, in the honey bee genome. Expression of these genes was studied in the context of the ecdysteroid-coordinated pupal-to-adult molt, and in different tissues. Higher transcript levels were detected in the integument after the ecdysteroid peak that induces apolysis, coinciding with the synthesis and deposition of the adult exoskeleton and its early differentiation. The effect of this hormone was confirmed in vivo by tying a ligature between the thorax and abdomen of early pupae to prevent the abdominal integument from coming in contact with ecdysteroids released from the prothoracic gland. This procedure impaired the natural increase in transcript levels in the abdominal integument. Both tweedle genes were expressed at higher levels in the empty gut than in the thoracic integument and trachea of pharate adults. In contrast, Ampxd transcripts were found in higher levels in the thoracic integument and trachea than in the gut. Together, the data strongly suggest that these three genes play roles in ecdysteroid-dependent exoskeleton construction and differentiation and also point to a possible role for the two tweedle genes in the formation of the cuticle (peritrophic membrane) that internally lines the gut.

Low-Level Laser Therapy in Burning Mouth Syndrome Patients: A Pilot Study

Objective: The aim of this study was to investigate the effect of low-level laser therapy (LLLT) on the treatment of burning mouth syndrome (BMS). In addition, the laser effect was compared on the different affected oral sites. Materials and Methods: Eleven subjects with a total of 25 sites (tongue, lower lip, upper lip, and palate) affected by a burning sensation were selected. The affected areas were irradiated once a week for three consecutive weeks with an infrared laser (lambda = 790 nm). The probe was kept in contact with the tissue, and the mucosal surface was scanned during the irradiation. The exposure time was calculated based on the fluence of 6 J/cm(2), the output power of 120 mW, and the area to be treated. Burning intensity was recorded through a visual analog scale before and after the treatment and at the 6-week follow-up. The percentage of the improvement in symptoms was also obtained. Results: Burning intensity at the end of the laser therapy was statistically lower than at the beginning (p < 0.01). Patients reported an 80.4% reduction in the intensity of symptoms after laser treatment. There was no statistical difference between the end of the treatment and the 6-week follow-up, except for the tongue site. Conclusion: Under the investigated parameters, infrared LLLT proved to be a valuable alternative for BMS treatment, providing a significant and lasting reduction in symptoms.

Improvement in Quality of Life of An Oncological Patient by Laser Phototherapy

Objective and Background Data: Common side effects of radiotherapy (RT) to the head and neck include oral mucositis, xerostomia, and severe pain. The aim of this study is to report improvement in the quality of life of an oncological patient by laser phototherapy (LPT). Clinical Case and Laser Phototherapy Protocol: The patient, a 15-year-old girl diagnosed with mucoepidermoid carcinoma, underwent surgical excision of a tumor of the left palatomaxilla. After that, she was subjected to 35 sessions of RT (2 Gy/d). Clinical examination revealed the spread of severe ulcerations to the jugal mucosa, gums, lips, hard palate, and tongue (WHO mucositis score 3). She had difficulty in moving her tongue and she was unable to eat any solid food. Oral hygiene orientation and LPT were performed throughout all RT sessions. A continuous diode laser, 660 nm, 40 mW, 6 J/cm(2), 0.24 J per point in contact mode, with spot size of 0.04 cm(2) was used in the entire oral cavity. A high-power diode laser at 1 W, 10 sec per cm of mucositis, approximately 10 J/cm(2), was used in defocused mode only on ulcerative lesions. After the first laser irradiation session, decreases in pain and xerostomia were reported; however, a more significant improvement was seen after five sessions. At that point although the mucositis score was still 2, the patient reported that she was free of pain, and consequently a palatine plate could be made to rehabilitate the entire surgical area. Seventeen laser irradiation sessions were necessary to eliminate all oral mucositis lesions. Conclusion: Normal oral function and consequent improvements in the quality of life of this oncologic patient were observed with LPT.