Different protocols of physical exercise produce different effects on synaptic and structural proteins in motor areas of the rat brain

The plastic brain responses generated by the training with acrobatic exercise (AE) and with treadmill exercise (TE) may be different. We evaluated the protein expression of synapsin I (SYS), synaptophysin (SYP), microtubule-associated protein 2 (MAP2) and neurofilaments (NF) by immunohistochemistry and Western blotting in the motor cortex, striatum and cerebellum of rats subjected to TE and AE. Young adult male Wistar rats were divided into 3 groups: sedentary (Sed) (n=15), TE (n=20) and AE (n=20). The rats were trained 3 days/week for 4 weeks on a treadmill at 0.6 km/h, 40 min/day (TE), or moved through a circuit of obstacles 5 times/day (AE). The rats from the TE group exhibited a significant increase of SYS and SYP in the motor cortex, of NF68, SYS and SYP in the striatum, and of MAP2, NF and SYS in the cerebellum, whereas NF was decreased in the motor cortex and the molecular layer of the cerebellar cortex. On the other hand, the rats from the AE group showed a significant increase of MAP2 and SYP in the motor cortex, of all four proteins in the striatum, and of SYS in the cerebellum. In conclusion, AE induced changes in the expression of synaptic and structural proteins mainly in the motor cortex and striatum, which may underlie part of the learning of complex motor tasks. TE, on the other hand, promoted more robust changes of structural proteins in all three regions, especially in the cerebellum, which is involved in learned and automatic tasks. (C) 2012 Elsevier B.V. All rights reserved.

Debris and smear removal in flattened root canals after use of different irrigant agitation protocols

Scanning electron microscopy (SEM) can be used to analyze the presence of debris and smear layer on the internal walls of root canal. This study evaluated the debris and smear removal in flattened root canals using SEM after use of different irrigant agitation protocols. Fifty mandibular incisors were distributed into five groups (n = 10) according to the irrigant agitation protocol used during chemomechanical preparation: conventional syringe irrigation with NaviTip needle (no activation), active scrubbing of irrigant with brush-covered NaviTip FX needle, manual dynamic irrigation, continuous passive ultrasonic irrigation, and apical negative pressure irrigation (EndoVac system). Canals were irrigated with 5 mL of 2.5% NaOCl at each change of instrument and received a final flush with 17% EDTA for 1 min. After instrumentation, the roots were split longitudinally and SEM micrographs at x 100 and x 1,000 were taken to evaluate the amount of debris and smear layer, respectively, in each third. Data were analyzed by KruskalWallis and Dunn's post-hoc tests (a = 5%). Manual dynamic activation left significantly (p < 0.05) more debris inside the canals than the other protocols, while ultrasonic irrigation and EndoVac were the most effective (p < 0.05) for debris removal. Regarding the removal of smear layer, there was no statistically significant difference (p > 0.05) either among the irrigant agitation protocols or between the protocolcanal third interactions. Although none of the irrigant agitation protocols completely removed debris and smear layer from flattened root canals, the machine-assisted agitation systems (ultrasound and EndoVac) removed more debris than the manual techniques. Microsc. Res. Tech. 75:781790, 2012. (C) 2011 Wiley Periodicals, Inc.

Cryptanalysis of an efficient three-party password-based key exchange scheme

Three-party password-authenticated key exchange (3PAKE) protocols allow entities to negotiate a secret session key with the aid of a trusted server with whom they share a human-memorable password. Recently, Lou and Huang proposed a simple 3PAKE protocol based on elliptic curve cryptography, which is claimed to be secure and to provide superior efficiency when compared with similar-purpose solutions. In this paper, however, we show that the solution is vulnerable to key-compromise impersonation and offline password guessing attacks from system insiders or outsiders, which indicates that the empirical approach used to evaluate the scheme's security is flawed. These results highlight the need of employing provable security approaches when designing and analyzing PAKE schemes. Copyright (c) 2011 John Wiley & Sons, Ltd.

Implant Stability Measurements of Two Immediate Loading Protocols for the Edentulous Mandible: Rigid and Semi-rigid Splinting of the Implants

Aim: Primary and secondary stabilities of immediately loaded mandibular implants restored with fixed prostheses (FP) using rigid or semirigid splinting systems were clinically and radiographically evaluated. Methods: Fifteen edentulous patients were rehabilitated using hybrid FP; each had 5 implants placed between the mental foramens. Two groups were randomly divided: group 1-FP with the conventional rigid bar splinting the implants and group 2-semi-rigid cantilever extension system with titanium bars placed in the 2 distal abutment cylinders. Primary stability was evaluated using resonance frequency analysis after installation of the implant abutments. The measurements were made at 3 times: T0, at baseline; T1, 4 months after implant placement; and T2, 8 months after implant placement. Presence of mobility and inflammation in the implant surrounding regions were checked. Stability data were submitted to statistical analysis for comparison between groups (P, 0.05). Results: Implant survival rate for the implants was of 100% in both groups. No significant differences in the mean implant stability quotient values were found for both groups from baseline and after the 8-month follow-up. Conclusion: The immediate loading of the implants was satisfactory, and both splinting conditions (rigid and semi-rigid) can be successfully used for the restoration of edentulous mandibles. (Implant Dent 2012;21:486-490)

Effect of the root canal final rinse protocols on the debris and smear layer removal and on the push-out strength of an epoxy-based sealer

The aim of the present study was to evaluate the efficacy of QMiX, SmearClear, and 17% EDTA for the debris and smear layer removal from the root canal and its effects on the push-out bond strength of an epoxy-based sealer by scanning electron microscopy (SEM). Forty extracted human canines (n = 10) were assigned to the following final rinse protocols: G1-distilled water (control), G2–17% EDTA, G3-SmearClear, and G4-QMiX. The specimens were submitted to a SEM analysis to evaluate the presence of debris and smear layer, respectively, in the apical or cervical segments. In sequence, forty extracted human maxillary canines with the root canals instrumented were divided into four groups (n = 10) similar to the SEM analysis study. After the filling with AH Plus, the roots were transversally sectioned to obtain dentinal slices. The specimens were submitted to a push-out bond strength test using an electromechanical testing machine. The statistical analysis for the SEM and push-out bond strength studies were performed using the Kruskal–Wallis and Dunn tests (α = 5%). There was no difference among the G2, G3, and G4 efficacy in removing the debris and smear layer (P > 0.05). The efficacy of these groups was superior to the control group. The push-out bond strength values of G2, G3, and G4 were superior to the control group. The ability to remove the debris and smear layer by SmearClear and QMiX was as effective as the 17% EDTA. The final rinse with these solutions promoted similar push-out bond strength values.

Different protocols to produce artificial dentine carious lesions in vitro and in situ: hardness and mineral content correlation

This study compared dentine demineralization induced by in vitro and in situ models, and correlated dentine surface hardness (SH), cross-sectional hardness (CSH) and mineral content by transverse microradiography (TMR). Bovine dentine specimens (n = 15/group) were demineralized in vitro with the following: MC gel (6% carboxymethylcellulose gel and 0.1 m lactic acid, pH 5.0, 14 days); buffer I (0.05 m acetic acid solution with calcium, phosphate and fluoride, pH 4.5, 7 days); buffer II (0.05 m acetic acid solution with calcium and phosphate, pH 5.0, 7 days), and TEMDP (0.05 m lactic acid with calcium, phosphate and tetraethyl methyl diphosphonate, pH 5.0, 7 days). In an in situ study, 11 volunteers wore palatal appliances containing 2 bovine dentine specimens, protected with a plastic mesh to allow biofilm development. The volunteers dripped a 20% sucrose solution on each specimen 4 times a day for 14 days. In vitro and in situ lesions were analyzed using TMR and statistically compared by ANOVA. TMR and CSH/SH were submitted to regression and correlation analysis (p < 0.05). The in situ model produced a deep lesion with a high R value, but with a thin surface layer. Regarding the in vitro models, MC gel produced only a shallow lesion, while buffers I and II as well as TEMDP induced a pronounced subsurface lesion with deep demineralization. The relationship between CSH and TMR was weak and not linear. The artificial dentine carious lesions induced by the different models differed significantly, which in turn might influence further de- and remineralization processes. Hardness analysis should not be interpreted with respect to dentine mineral loss

Comparison of different protocols for the extraction of microbial DNA from reef corals

This study aimed to test different protocols for the extraction of microbial DNA from the coral Mussismilia harttii. Four different commercial kits were tested, three of them based on methods for DNA extraction from soil (FastDNA SPIN Kit for soil, MP Bio, PowerSoil DNA Isolation Kit, MoBio, and ZR Soil Microbe DNA Kit, Zymo Research) and one kit for DNA extraction from plants (UltraClean Plant DNA Isolation Kit, MoBio). Five polyps of the same colony of M. harttii were macerated and aliquots were submitted to DNA extraction by the different kits. After extraction, the DNA was quantified and PCR-DGGE was used to study the molecular fingerprint of Bacteria and Eukarya. Among the four kits tested, the ZR Soil Microbe DNA Kit was the most efficient with respect to the amount of DNA extracted, yielding about three times more DNA than the other kits. Also, we observed a higher number and intensities of DGGE bands for both Bacteria and Eukarya with the same kit. Considering these results, we suggested that the ZR Soil Microbe DNA Kit is the best adapted for the study of the microbial communities of corals.

Prostaglandin treatment at the onset of norgestomet and estradiol-based synchronization protocols did not alter the ovarian follicular dynamics or pregnancy per timed artificial insemination in cyclic Bos indicus heifers

The aim of the present study was to evaluate the effects of the PGF2˛treatment givenat the onset of a synchronization of ovulation protocol using a norgestomet (NORG) earimplant on ovarian follicular dynamics (Experiment 1) and pregnancy per AI (P/AI; Exper-iment 2) in cyclic (CL present) Bos indicus heifers. In Experiment 1, a total of 46 heiferswere presynchronized using two consecutive doses of PGF2˛12 days apart. At first dayof the synchronization protocol the heifers received implants containing 3 mg of NORGand 2 mg of estradiol benzoate (EB). At the same time, heifers were randomly assignedto receive 150 mg of d-cloprostenol (n = 23; PGF2˛) or no additional treatment (n = 23;Control). When the ear implants were removed 8 days later, all heifers received a PGF2˛treatment and 1 mg of EB was given 24 h later. The follicular diameter and interval toovulation were determined by transrectal ultrasonography. No effects of PGF2˛treat-ment on the diameter of the largest follicle present were observed at implant removal(PGF2˛= 9.8 ± 0.4 vs. Control = 10.0 ± 0.3 mm; P = 0.73) or after 24 h (PGF2˛= 11.1 ± 0.4 vs.Control = 11.0 ± 0.4 mm; P = 0.83). No differences in the time of ovulation after ear implantremoval (PGF2˛= 70.8 ± 1.2 vs. Control = 73.3 ± 0.9 h; P = 0.10) or in the ovulation rate(PGF2˛= 87.0 vs. Control = 82.6%; P = 0.64) between treatments were observed. In Experi-ment 2, 280 cyclic heifers were synchronized using the same experimental design describedabove (PGF2˛; n = 143 and Control; n = 137), at random day of the estrous cycle. All heifersreceived 300 IU of equine chorionic gonadotropin (eCG) and 0.5 mg of estradiol cypionate(as ovulatory stimulus) when the NORG ear implants were removed. Timed artificial insem-ination (TAI) was performed 48 h after implant removal and the pregnancy diagnosis wasconducted 30 days later. No effects on the P/AI due to PGF2˛treatment were observed(PGF2˛= 51.7 vs. Control = 57.7%; P = 0.29). In conclusion, PGF2˛treatment at the onset ofNORG-based protocols for the synchronization of ovulation did not alter the ovarian follic-ular responses or the P/AI in cyclic Bos indicus beef heifers synchronized for TAI.

Column generation for a multitrip vehicle routing problem with time windows, driver work hours, and heterogeneous fleet

This study addresses a vehicle routing problem with time windows, accessibility restrictions on customers, and a fleet that is heterogeneous with regard to capacity and average speed. A vehicle can performmultiple routes per day, all starting and ending at a single depot, and it is assigned to a single driverwhose totalwork hours are limited.Acolumn generation algorithmis proposed.The column generation pricing subproblem requires a specific elementary shortest path problem with resource constraints algorithm to address the possibility for each vehicle performingmultiple routes per day and to address the need to set the workday’s start time within the planning horizon. A constructive heuristic and a metaheuristic based on tabu search are also developed to find good solutions.

Electrochemically prepared polypyrrole-2-carboxylic acid films: synthesis protocols and studies on biosensors

The process for obtaining polypyrrole-2-carboxylic acid (PPY-2-COOH) films in acetonitrile was investigated using cyclic voltammetry, electrochemical quartz crystal microgravimetry (EQCM), and infrared spectroscopy (FTIR). Different potential ranges were applied during cyclic voltammetry experiments with the aim of obtaining films without and with the presence of controlled amounts of water added in acetonitrile. The FTIR spectra of the films have evidenced that cations and anions from the electrolyte solution were incorporated into the PPY-2-COOH structure, with a preferential adsorption of cations. After chemically immobilizing polyphenoloxidase (tyrosinase, PPO), PPY-2-COOH/PPO films were build for amperometric detection of catechol, establishing a linear limit of concentrations ranging from 5.0 x 10-4 to 2.5 x 10-2 mol L-1.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Management and routing algorithms for ad-hoc and sensor networks

Large scale wireless adhoc networks of computers, sensors, PDAs etc. (i.e. nodes) are revolutionizing connectivity and leading to a paradigm shift from centralized systems to highly distributed and dynamic environments. An example of adhoc networks are sensor networks, which are usually composed by small units able to sense and transmit to a sink elementary data which are successively processed by an external machine. Recent improvements in the memory and computational power of sensors, together with the reduction of energy consumptions, are rapidly changing the potential of such systems, moving the attention towards datacentric sensor networks. A plethora of routing and data management algorithms have been proposed for the network path discovery ranging from broadcasting/floodingbased approaches to those using global positioning systems (GPS). We studied WGrid, a novel decentralized infrastructure that organizes wireless devices in an adhoc manner, where each node has one or more virtual coordinates through which both message routing and data management occur without reliance on either flooding/broadcasting operations or GPS. The resulting adhoc network does not suffer from the deadend problem, which happens in geographicbased routing when a node is unable to locate a neighbor closer to the destination than itself. WGrid allow multidimensional data management capability since nodes' virtual coordinates can act as a distributed database without needing neither special implementation or reorganization. Any kind of data (both single and multidimensional) can be distributed, stored and managed. We will show how a location service can be easily implemented so that any search is reduced to a simple query, like for any other data type. WGrid has then been extended by adopting a replication methodology. We called the resulting algorithm WRGrid. Just like WGrid, WRGrid acts as a distributed database without needing neither special implementation nor reorganization and any kind of data can be distributed, stored and managed. We have evaluated the benefits of replication on data management, finding out, from experimental results, that it can halve the average number of hops in the network. The direct consequence of this fact are a significant improvement on energy consumption and a workload balancing among sensors (number of messages routed by each node). Finally, thanks to the replications, whose number can be arbitrarily chosen, the resulting sensor network can face sensors disconnections/connections, due to failures of sensors, without data loss. Another extension to {WGrid} is {W*Grid} which extends it by strongly improving network recovery performance from link and/or device failures that may happen due to crashes or battery exhaustion of devices or to temporary obstacles. W*Grid guarantees, by construction, at least two disjoint paths between each couple of nodes. This implies that the recovery in W*Grid occurs without broadcasting transmissions and guaranteeing robustness while drastically reducing the energy consumption. An extensive number of simulations shows the efficiency, robustness and traffic road of resulting networks under several scenarios of device density and of number of coordinates. Performance analysis have been compared to existent algorithms in order to validate the results.