New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.

Addendum to "New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi"

This is an addendum to our technical report BUCS TR-94-014 of December 19, 1994. It clarifies some statements, adds information on some related research, includes a comparison with research be de Groote, and fixes two minor mistakes in a proof.

Analytical Characterization, Thermal And Ftir Studies Of Urinary Calculi

Urolithiasis is identified to be a major urological disorder affecting people all over the world irrespective of their age, sex and race. Urinary stone samples resected from the urinary bladders of two patients belonging to tropical region, Kollam District of Kerala State, India are investigated by using XRD,SEM, EDAX, TGA, DSC and FTIR to understand its chemical structure. Uric acid shows exothermic peak around 432°C is due to the decomposition with the evolution of CO and cracking of the remaining products. Results of analytical studies reveal that samples under investigation consist mainly in uric acid and hydrated uric acid. Hydrogen bonding exists in hydrated uric acid samples

Regular Derivations in Basic Superposition-Based Calculi

We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in [Kan63], who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the elimination of tautologies. The implication of our result is the completeness of non-standard selection functions by which in non-relational clauses only equality literals (and all of them) are selected.

Effects of uracil calculi on cell growth and apoptosis in the BBN-initiated Wistar rat urinary bladder mucosa

The different potential of initiated and non-initiated urinary bladder mucosa (UBM) to develop neoplasia was quantitatively evaluated in the male Wistar rat. Initiation of carcinogenesis was accomplished with N-butyl-N- (4-hydroxybutyl) -nitrosamine (BBN). Stimuli for cell proliferation and apoptosis were obtained by exposure followed by withdrawal of 3% Uracil in the diet. The proliferation index (PI) was estimated in UBM immunostained for the proliferating nuclear cell antigen (PCNA). The apoptotic index (AI) and the density of papillary/nodular hyperplasia (PNH) were estimated in hematoxilin-eosin stained sections. PNH was the main proliferative response to the mechanical irritation by uracil, irrespective of previous initiation with BBN. Uracil exposure induced higher PI and PNH density in the initiated rats. After uracil withdrawal, there was a significant increase of the AI in both uracil-treated groups, which correlated well to the respective PNH density. However, at the end of the experiment, PNH incidence and density were significantly higher in the BBN-initiated mucosa, which also presented 18% incidence of papillomas and 27% of carcinomas. Therefore, under prolonged uracil calculi trauma, the UBM of BBN-initiated Wistar rats gives rise to epithelial proliferative lesions that progress to neoplasia through acquired resistance to apoptosis. (C) 1999 Wiley-Liss, Inc.

Effects of uracil calculi on cell growth and apoptosis in the BBN- initiated Wistar rat urinary bladder mucosa

The different potential of initiated and non-initiated urinary bladder mucosa (UBM) to develop neoplasia was quantitatively evaluated in the male Wistar rat. Initiation of carcinogenesis was accomplished with N-butyl-N-(4- hydroxybutyl)-nitrosamine (BBN). Stimuli for cell proliferation and apoptosis were obtained by exposure followed by withdrawal of 3% Uracil in the diet. The proliferation index (PI) was estimated in UBM immunostained for the proliferating nuclear cell antigen (PCNA). The apoptotic index (AI) and the density of papillary/nodular hyperplasia (PNH) were estimated in hematoxilin- eosin stained sections. PNH was the main proliferative response to the mechanical irritation by uracil, irrespective of previous initiation with BBN. Uracil exposure induced higher PI and PNH density in the initiated rats. After uracil withdrawal, there was a significant increase of the AI in both uracil-treated groups, which correlated well to the respective PNH density. However, at the end of the experiment, PNH incidence and density were significantly higher in the BBN-initiated mucosa, which also presented 18% incidence of papillomas and 27% of carcinomas. Therefore, under prolonged uracil calculi trauma, the UBM of BBN-initiated Wistar rats gives rise to epithelial proliferative lesions that progress to neoplasia through acquired resistance to apoptosis.

Current practices in the management of patients with ureteral calculi in the emergency room of a university hospital

OBJECTIVE: Urinary lithiasis is a common disease. The aim of the present study is to assess the knowledge regarding the diagnosis, treatment and recommendations given to patients with ureteral colic by professionals of an academic hospital. MATERIALS AND METHODS: Sixty-five physicians were interviewed about previous experience with guidelines regarding ureteral colic and how they manage patients with ureteral colic in regards to diagnosis, treatment and the information provided to the patients. RESULTS: Thirty-six percent of the interviewed physicians were surgeons, and 64% were clinicians. Forty-one percent of the physicians reported experience with ureterolithiasis guidelines. Seventy-two percent indicated that they use noncontrast CT scans for the diagnosis of lithiasis. All of the respondents prescribe hydration, primarily for the improvement of stone elimination (39.3%). The average number of drugs used was 3.5. The combination of nonsteroidal anti-inflammatory drugs and opioids was reported by 54% of the physicians (i. e., 59% of surgeons and 25.6% of clinicians used this combination of drugs) (p = 0.014). Only 21.3% prescribe alpha blockers. CONCLUSION: Reported experience with guidelines had little impact on several habitual practices. For example, only 21.3% of the respondents indicated that they prescribed alpha blockers; however, alpha blockers may increase stone elimination by up to 54%. Furthermore, although a meta-analysis demonstrated that hydration had no effect on the transit time of the stone or on the pain, the majority of the physicians reported that they prescribed more than 500 ml of fluid. Dipyrone, hyoscine, nonsteroidal anti-inflammatory drugs, and opioids were identified as the most frequently prescribed drug combination. The information regarding the time for the passage of urinary stones was inconsistent. The development of continuing education programs regarding ureteral colic in the emergency room is necessary.