Study of calcium oxalate monohydrate of kidney stones by X-ray diffraction

X-ray powder diffraction was used to study the phase composition of human renal calculi. The stones were collected from 56 donors in Vitoria, Espirito Santo state, southeastern Brazil. An XRD phase quantification revealed that 61% of the studied renal stones were composed exclusively of calcium oxalate [34% formed only by calcium oxalate rnonohydrate (COM) and 27% presents both monohydrate and dihydratate calcium oxalate]. The 39% multi-composed calculi have various other phases such as uric acid and calcium phosphate. Rietveld refinement of XRD data of one apparent monophasic (COM) renal calculus revealed the presence of a small amount of hydroxyapatite. The presence of this second phase and the morphology of the stone (ellipsoidal) indicated that this calculus can be classified as non-papillary type and its nucleation process developed in closed kidney cavities. In order to show some advantages of the X-ray powder diffraction technique, a study of the phase transformation of monohydrate calcium oxalate into calcium carbonate (CaCO(3)) was carried out by annealing of a monophasic COM calculi at 200, 300, and 400 degrees C for 48 h in a N(2) gas atmosphere. The results of the XRD for the heat treated samples is ill good agreement with the thermogravimetric analysis found in the literature and shows that X-ray powder diffraction can be used as a suitable technique to study the composition and phase diagram of renal calculi. (C) 2008 International Centre for Diffraction Data.

A Análise Matemática no Ensino Universitário Brasileiro: a contribuição de Omar Catunda

The goal of this paper is to show the diffusion, reception, and utilization of Omar Catunda's book Course of Mathematical Analysis for mathematics and engineering teaching in Brazilian universities, e. g., University of Sao Paulo and the University of Bahia from 1950 to 1976. We used interviews of some ex-alumni or users of his book. We also present some signs of the influence of his book and of Catunda himself at University of Rio Grande do Sul. We argue that Catunda and his book were important agents of process of modernizing the teaching of calculus and analysis, through his classes as well as his book.

Er : YAG laser, ultrasonic system, and curette produce different profiles on dentine root surfaces: An in vitro study

Objective: The aim of the present study was to compare the in vitro effects of the Er:YAG laser, an ultrasonic system, and manual curette on dentine root surface by roughness and micro-morphological analysis. Materials and Methods: Thirty-six flattened bovine roots were randomly assigned to one of the following groups: group 1 (n = 12): Er: YAG laser ( 2940 nm), 120 mJ/pulse, 10 Hz, 8.4 J/cm(2); group 2 ( n = 12): ultrasonic system; and group 3 ( n = 12): manual curette. The mean surface roughness (Ra) of each sample was measured using a profilometer before and after the treatments. The micro-morphology of the treated and untreated ( control) root surfaces was evaluated with scanning electron microscopy (SEM) at 50 x and 1000 x magnification. Results: Analysis with the profilometer showed that for equal times of instrumentation, the smoothest surfaces were produced by the Er: YAG laser and the ultrasonic system, followed by the curette ( p < 0.05). Morphological analyses demonstrated that treatment with the Er: YAG laser produced some areas with an irregular surface, craters, and ablation of the intertubular dentin. The smear layer was removed and dentine tubules were opened by both curettes and the ultrasonic system. The micro-morphology of the dentine root surface after ultrasonic treatment, however, demonstrated randomly distributed areas cratering. Conclusion: All instruments increased the roughness of the dentine root surface after treatment; however, the curette produced rougher surfaces than the other devices. SEM analysis revealed distinct root surface profiles produced by the three devices.

Anodic porous alumina structural characteristics study based on SEM image processing and analysis

The present work reports the porous alumina structures fabrication and their quantitative structural characteristics study based on mathematical morphology analysis by using the SEM images. The algorithm used in this work was implemented in 6.2 MATLAB software. Using the algorithm it was possible to obtain the distribution of maximum, minimum and average radius of the pores in porous alumina structures. Additionally, with the calculus of the area occupied by the pores, it was possible to obtain the porosity of the structures. The quantitative results could be obtained and related to the process fabrication characteristics, showing to be reliable and promising to be used to control the pores formation process. Then, this technique could provide a more accurate determination of pore sizes and pores distribution. (C) 2008 Elsevier Ltd. All rights reserved.

Strategic argumentation: A game theoretical investigation

Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of arguments that have actually been exchanged, and given the probability of the factual premises. The probability of a conclusion is calculated using a standard variant of Defeasible Logic, in combination with standard probability calculus. It is a new element of the present approach that the exchange of arguments is analysed with game theoretical tools, yielding a prescriptive and to some extent even predictive account of the actual course of play. A brief comparison with existing argument-based dialogue approaches confirms that such a prescriptive account of the actual argumentation has been almost lacking in the approaches proposed so far.

Asymptotic limits of a self-dual Ginzburg-Landau functional in bounded domains

In the author's joint paper [HJS] with Jest and Struwe, we discuss asymtotic limits of a self-dual Ginzburg-Landau functional involving a section of a line bundle over a closed Riemann surface and a connection on this bundle. In this paper, the author generalizes the above results [HJS] to the case of bounded domains.

Tongue piercing: Case report and review of current practice

Although oral piercing has been an uncommon practice in the Western world, the insertion of metal objects into intra-oral and peri-oral pierced sites is growing in popularity. Tongue piercing is one such practice whereby a metal barbell is inserted into the tongue after piercing with a 14-16 gauge needle. Pain, swelling and infection are the most serious consequences associated with this procedure. Other adverse outcomes include mucosal or gingival trauma, chipped or fractured teeth, increased salivary flow, calculus build-up, and interference with speech, mastication and swallowing. This article presents a case report on tongue piercing and highlights the procedure involved. Special attention is given to complications and dental implications associated with such an unusual practice.

Quantum measurement and stochastic processes in mesoscopic conductors

In quantum measurement theory it is necessary to show how a, quantum source conditions a classical stochastic record of measured results. We discuss mesoscopic conductance using quantum stochastic calculus to elucidate the quantum nature of the measurement taking place in these systems. To illustrate the method we derive the current fluctuations in a two terminal mesoscopic circuit with two tunnel barriers containing a single quasi bound state on the well. The method enables us to focus on either the incoming/ outgoing Fermi fields in the leads, or on the irreversible dynamics of the well state itself. We show an equivalence between the approach of Buttiker and the Fermi quantum stochastic calculus for mesoscopic systems.

Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

Analytical solution to the zero-inertia problem for surge flow phenomena in nonprismatic channels

Surge flow phenomena. e.g.. as a consequence of a dam failure or a flash flood, represent free boundary problems. ne extending computational domain together with the discontinuities involved renders their numerical solution a cumbersome procedure. This contribution proposes an analytical solution to the problem, It is based on the slightly modified zero-inertia (ZI) differential equations for nonprismatic channels and uses exclusively physical parameters. Employing the concept of a momentum-representative cross section of the moving water body together with a specific relationship for describing the cross sectional geometry leads, after considerable mathematical calculus. to the analytical solution. The hydrodynamic analytical model is free of numerical troubles, easy to run, computationally efficient. and fully satisfies the law of volume conservation. In a first test series, the hydrodynamic analytical ZI model compares very favorably with a full hydrodynamic numerical model in respect to published results of surge flow simulations in different types of prismatic channels. In order to extend these considerations to natural rivers, the accuracy of the analytical model in describing an irregular cross section is investigated and tested successfully. A sensitivity and error analysis reveals the important impact of the hydraulic radius on the velocity of the surge, and this underlines the importance of an adequate description of the topography, The new approach is finally applied to simulate a surge propagating down the irregularly shaped Isar Valley in the Bavarian Alps after a hypothetical dam failure. The straightforward and fully stable computation of the flood hydrograph along the Isar Valley clearly reflects the impact of the strongly varying topographic characteristics on the How phenomenon. Apart from treating surge flow phenomena as a whole, the analytical solution also offers a rigorous alternative to both (a) the approximate Whitham solution, for generating initial values, and (b) the rough volume balance techniques used to model the wave tip in numerical surge flow computations.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Two estimates concerning asymptotics of the minimizations of a Ginzburg-Landau functional

We prove two asymptotical estimates for minimizers of a Ginzburg-Landau functional of the form integral(Omega) [1/2 \del u\(2) + 1/4 epsilon(2) (1 - \u\(2))(2) W (x)] dx.