Partial order and contextual net semantics for atomic and locally atomic CC programs

We present two concurrent semantics (i.e. semantics where concurrency is explicitely represented) for CC programs with atomic tells. One is based on simple partial orders of computation steps, while the other one is based on contextual nets and it is an extensión of a previous one for eventual CC programs. Both such semantics allow us to derive concurrency, dependency, and nondeterminism information for the considered languages. We prove some properties about the relation between the two semantics, and also about the relation between them and the operational semantics. Moreover, we discuss how to use the contextual net semantics in the context of CLP programs. More precisely, by interpreting concurrency as possible parallelism, our semantics can be useful for a safe parallelization of some CLP computation steps. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it for the task of scheduling CC programs. Moreover, our semantics is also suitable for CC programs with a new kind of atomic tell (called locally atomic tell), which checks for consistency only the constraints it depends on. Such a tell achieves a reasonable trade-off between efficiency and atomicity, since the checked constraints can be stored in a local memory and are thus easily accessible even in a distributed implementation.

Testing for Proportional Hazards with Unrestricted Univariate Unobserved Heterogeneity

We develop tests of the proportional hazards assumption, with respect to a continuous covariate, in the presence of unobserved heterogeneity with unknown distribution at the individual observation level. The proposed tests are specially powerful against ordered alternatives useful for modeling non-proportional hazards situations. By contrast to the case when the heterogeneity distribution is known up to …nite dimensional parameters, the null hypothesis for the current problem is similar to a test for absence of covariate dependence. However, the two testing problems di¤er in the nature of relevant alternative hypotheses. We develop tests for both the problems against ordered alternatives. Small sample performance and an application to real data highlight the usefulness of the framework and methodology.

On mappings preserving the sharp and star orders

The present paper is devoted to the study of linear maps preserving certain relations, such as the sharp partial order and the star partial order in semisimple Banach algebras and C*-algebras.

Petroleomics By Electrospray Ionization Ft-icr Mass Spectrometry Coupled To Partial Least Squares With Variable Selection Methods: Prediction Of The Total Acid Number Of Crude Oils.

Negative-ion mode electrospray ionization, ESI(-), with Fourier transform ion cyclotron resonance mass spectrometry (FT-ICR MS) was coupled to a Partial Least Squares (PLS) regression and variable selection methods to estimate the total acid number (TAN) of Brazilian crude oil samples. Generally, ESI(-)-FT-ICR mass spectra present a power of resolution of ca. 500,000 and a mass accuracy less than 1 ppm, producing a data matrix containing over 5700 variables per sample. These variables correspond to heteroatom-containing species detected as deprotonated molecules, [M - H](-) ions, which are identified primarily as naphthenic acids, phenols and carbazole analog species. The TAN values for all samples ranged from 0.06 to 3.61 mg of KOH g(-1). To facilitate the spectral interpretation, three methods of variable selection were studied: variable importance in the projection (VIP), interval partial least squares (iPLS) and elimination of uninformative variables (UVE). The UVE method seems to be more appropriate for selecting important variables, reducing the dimension of the variables to 183 and producing a root mean square error of prediction of 0.32 mg of KOH g(-1). By reducing the size of the data, it was possible to relate the selected variables with their corresponding molecular formulas, thus identifying the main chemical species responsible for the TAN values.

Effects Of Partial Inhibition Of Respiratory Complex I On H2o 2 Production By Isolated Brain Mitochondria In Different Respiratory States.

The aim of this work was to characterize the effects of partial inhibition of respiratory complex I by rotenone on H2O2 production by isolated rat brain mitochondria in different respiratory states. Flow cytometric analysis of membrane potential in isolated mitochondria indicated that rotenone leads to uniform respiratory inhibition when added to a suspension of mitochondria. When mitochondria were incubated in the presence of a low concentration of rotenone (10 nm) and NADH-linked substrates, oxygen consumption was reduced from 45.9 ± 1.0 to 26.4 ± 2.6 nmol O2 mg(-1) min(-1) and from 7.8 ± 0.3 to 6.3 ± 0.3 nmol O2 mg(-1) min(-1) in respiratory states 3 (ADP-stimulated respiration) and 4 (resting respiration), respectively. Under these conditions, mitochondrial H2O2 production was stimulated from 12.2 ± 1.1 to 21.0 ± 1.2 pmol H2O2 mg(-1) min(-1) and 56.5 ± 4.7 to 95.0 ± 11.1 pmol H2O2 mg(-1) min(-1) in respiratory states 3 and 4, respectively. Similar results were observed when comparing mitochondrial preparations enriched with synaptic or nonsynaptic mitochondria or when 1-methyl-4-phenylpyridinium ion (MPP(+)) was used as a respiratory complex I inhibitor. Rotenone-stimulated H2O2 production in respiratory states 3 and 4 was associated with a high reduction state of endogenous nicotinamide nucleotides. In succinate-supported mitochondrial respiration, where most of the mitochondrial H2O2 production relies on electron backflow from complex II to complex I, low rotenone concentrations inhibited H2O2 production. Rotenone had no effect on mitochondrial elimination of micromolar concentrations of H2O2. The present results support the conclusion that partial complex I inhibition may result in mitochondrial energy crisis and oxidative stress, the former being predominant under oxidative phosphorylation and the latter under resting respiration conditions.

Photoelastic Analysis Of Fixed Partial Prosthesis Crown Height And Implant Length On Distribution Of Stress In Two Dental Implant Systems.

The aim of this study was to evaluate by photoelastic analysis stress distribution on short and long implants of two dental implant systems with 2-unit implant-supported fixed partial prostheses of 8 mm and 13 mm heights. Sixteen photoelastic models were divided into 4 groups: I: long implant (5 × 11 mm) (Neodent), II: long implant (5 × 11 mm) (Bicon), III: short implant (5 × 6 mm) (Neodent), and IV: short implants (5 × 6 mm) (Bicon). The models were positioned in a circular polariscope associated with a cell load and static axial (0.5 Kgf) and nonaxial load (15°, 0.5 Kgf) were applied to each group for both prosthetic crown heights. Three-way ANOVA was used to compare the factors implant length, crown height, and implant system (α = 0.05). The results showed that implant length was a statistically significant factor for both axial and nonaxial loading. The 13 mm prosthetic crown did not result in statistically significant differences in stress distribution between the implant systems and implant lengths studied, regardless of load type (P > 0.05). It can be concluded that short implants showed higher stress levels than long implants. Implant system and length was not relevant factors when prosthetic crown height were increased.

Long-term Follow-up Of Patients With 46,xy Partial Gonadal Dysgenesis Reared As Males.

Background/Aims. Studies on 46,XY partial gonadal dysgenesis (PGD) have focused on molecular, gonadal, genital, and hormone features; little is known about follow-up. Our aim was to analyze long-term outcomes of PGD. Methods. Retrospective longitudinal study conducted at a reference service in Brazil. Ten patients were first evaluated in the 1990s and followed up until the 2010s; follow-up ranged from 13.5 to 19.7 years. All were reared as males and had at least one scrotal testis; two bore NR5A1 mutations. Main outcomes were: associated conditions, pubertal development, and growth. Results. All patients had normal motor development but three presented cognitive impairment; five had various associated conditions. At the end of the prepubertal period, FSH was high or high-normal in 3/6 patients; LH was normal in all. At the last evaluation, FSH was high or high-normal in 8/10; LH was high or high-normal in 5/10; testosterone was decreased in one. Final height in nine cases ranged from -1.57 to 0.80 SDS. All had spontaneous puberty; only one needed androgen therapy. Conclusions. There is good prognosis for growth and spontaneous pubertal development but not for fertility. Though additional studies are required, screening for learning disabilities is advisable.

Partial-hepatectomized (70%) Model Shows A Correlation Between Hepatocyte Growth Factor Levels And Beta-cell Mass.

6

Explosive Synchronization With Partial Degree-frequency Correlation.

Networks of Kuramoto oscillators with a positive correlation between the oscillators frequencies and the degree of their corresponding vertices exhibit so-called explosive synchronization behavior, which is now under intensive investigation. Here we study and discuss explosive synchronization in a situation that has not yet been considered, namely when only a part, typically a small part, of the vertices is subjected to a degree-frequency correlation. Our results show that in order to have explosive synchronization, it suffices to have degree-frequency correlations only for the hubs, the vertices with the highest degrees. Moreover, we show that a partial degree-frequency correlation does not only promotes but also allows explosive synchronization to happen in networks for which a full degree-frequency correlation would not allow it. We perform a mean-field analysis and our conclusions were corroborated by exhaustive numerical experiments for synthetic networks and also for the undirected and unweighed version of a typical benchmark biological network, namely the neural network of the worm Caenorhabditis elegans. The latter is an explicit example where partial degree-frequency correlation leads to explosive synchronization with hysteresis, in contrast with the fully correlated case, for which no explosive synchronization is observed.

Novel DMRT1 3'UTR+11insT mutation associated to XY partial gonadal dysgenesis

The Y-chromosome-located SRY gene encodes a small testis-specific protein containing a DNA-binding motif known as the HMG (high mobility group) box. However, mutations in SRY are not frequent especially in cases of 46,XY partial gonadal dysgenesis. Several sex-determining genes direct the fate of the bipotential gonad to either testis or ovary. In addition, heterozygous small deletions in 9p can cause complete and partial XY gonadal dysgenesis without other symptoms. Human DMRT1 gene, which is located at 9p24.3, is expressed in testis and ovary and has been considered, among others, a candidate autosomal gene responsible for gonadal dysgenesis. In this report we describe a nucleotide insertion in DMRT1 3'UTR in a patient of XY partial gonadal dygenesis. The 3'UTR+11insT is located within a conserved motif important for mRNA stabilization.

Effect of different cleansers on the weight and ion release of removable partial denture: an in vitro study

OBJECTIVE: Removable partial dentures (RPD) require different hygiene care, and association of brushing and chemical cleansing is the most recommended to control biofilm formation. However, the effect of cleansers has not been evaluated in RPD metallic components. The aim of this study was to evaluate in vitro the effect of different denture cleansers on the weight and ion release of RPD. MATERIAL AND METHODS: Five specimens (12x3 mm metallic disc positioned in a 38x18x4 mm mould filled with resin), 7 cleanser agents [Periogard (PE), Cepacol (CE), Corega Tabs (CT), Medical Interporous (MI), Polident (PO), 0.05% sodium hypochlorite (NaOCl), and distilled water (DW) (control)] and 2 cobalt-chromium alloys [DeguDent (DD), and VeraPDI (VPDI)] were used for each experimental situation. One hundred and eighty immersions were performed and the weight was analyzed with a high precision analytic balance. Data were recorded before and after the immersions. The ion release was analyzed using mass spectrometry with inductively coupled plasma. Data were analyzed by two-way ANOVA and Tukey HSD post hoc test at 5% significance level. RESULTS: Statistical analysis showed that CT and MI had higher values of weight loss with higher change in VPDI alloy compared to DD. The solutions that caused more ion release were NaOCl and MI. CONCLUSIONS: It may be concluded that 0.05% NaOCl and Medical Interporous tablets are not suitable as auxiliary chemical solutions for RPD care.

Effect of different cleansers on the surface of removable partial denture

Removable partial dentures (RPD) demand specific hygienic cleaning and the combination of brushing with immersion in chemical solutions has been the most recommended method for control of biofilm. However, the effect of the cleansers on metallic components has not been widely investigated. This study evaluated the effect of different cleansers on the surface of RPD. Five disc specimens (12 mm x 3 mm metallic disc centered in a 38 x 18 x 4 mm mould filled with resin) were obtained for each experimental situation: 6 solutions [Periogard (PE), Cepacol (CE), Corega Tabs (CT), Medical Interporous (MI), Polident (PO), 0.05% sodium hypochlorite (NaOCl), and distilled water (DW) control] and 2 Co-Cr alloys [DeguDent (DD) and VeraPDI (VPDI)] were used for each experimental situation. A 180-day immersion was simulated and the measurements of roughness (Ra, µm) of metal and resin were analyzed using 2-way ANOVA and Tukey’s test. The surface changes and tarnishes were examined with a scanning electronic microscopy (SEM). In addition, energy dispersive x-ray spectrometry (EDS) analysis was carried out at representative areas. Visually, NaOCl and MI specimens presented surface tarnishes. The roughness of materials was not affected by the solutions (p>0.05). SEM images showed that NaOCl and MI provided surface changes. EDS analysis revealed the presence of oxygen for specimens in contact with both MI and NaOCl solutions, which might suggest that the two solutions promoted the oxidation of the surfaces, thus leading to spot corrosion. Within the limitations of this study, it may be concluded that the NaOCl and MI may not be suitable for cleaning of RPD.

T-Bar clasp-retained removable partial denture as an alternative to implant-based prosthetic treatment

This article reports the case of a 55-year-old female patient who presented with unsatisfactory temporary crowns in the right mandibular premolars and molars, and a premolar-to-molar fixed partial denture in the left side. The clinical and radiographic examinations revealed a fracture of the left first premolar that was a retainer of the fixed partial denture and required extraction. Initially, the acrylic resin crowns were replaced by new ones, and a provisional RPD was made using acrylic resin and orthodontic wire clasps to resolve the problem arising from the loss of the fixed partial denture. Considering the patient's high esthetic demands, the treatment options for the definitive prosthetic treatment were discussed with her and rehabilitation with implant-supported dentures was proposed because the clinical conditions of the residual alveolar ridge were suitable for implant installation, and the patient's general health was excellent. However, the patient did not agree because she knew of a failed case of implant-retained denture in a diabetic individual and was concerned. The patient was fully informed that implant installation was the best indication for her case, but the arguments were not sufficient to change her decision. The treatment possibilities were presented and the patient opted for a clasp-retained removable partial denture (RPD) associated with the placement of crowns in the pillar teeth. The temporary RPD was replaced by the definitive RPD constructed subsequently. Although RPD was not the first choice, satisfactory esthetic and functional outcomes were achieved, overcaming the patient's expectations. This case report illustrates that the dentist must be prepared to deal with situations where, for reasons that cannot be managed, the patient does not accept the treatment considered as the most indicated for his/her case. Alternatives must be proposed and the functional and esthetic requirements must be fulfilled in the best possible manner.

Retention force of T-bar clasps for titanium and cobalt-chromium removable partial dentures

The objective of this study was to evaluate the retention force of T-bar clasps made from commercially pure titanium (CP Ti) and cobalt-chromium (Co-Cr) alloy by the insertion/removal test simulating 5 years use. Thirty-six frameworks were cast from CP Ti (n=18) and Co-Cr alloy (n=18) with identical prefabricated patterns on refractory casts from a distal extension mandibular hemi-arch segment. The castings were made on a vacuum-pressure machine, under vacuum and argon atmosphere. Each group was subdivided in three, corresponding to 0.25 mm, 0.50 mm and 0.75 mm undercuts, respectively. No polishing procedures were performed to ensure uniformity. The specimens were subjected to an insertion/removal test and data was analyzed statistically to compare CP Ti and Co-Cr alloy in the same undercut (Student's t-test for independent samples) and each material in different undercuts (one-way ANOVA) (p=0.05). Comparisons between materials revealed significant differences (p=0.017) only for the 0.50-mm undercut. No significant differences (p>0.05) were found when comparing the same material for the undercuts. It may be concluded that for different undercuts, both Co-Cr alloy and CP Ti had no significant differences for T-bar clasps; CP Ti showed the lowest retention force values when compared to Co-Cr alloy in each undercut, but with significant difference only for the 0.50-mm undercut; and both materials maintained the retentive capacity during the simulation test.