In vitro assessment of an experimental coat applied over fluoride varnishes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

An exact equation for the free surface of a fluid in a porous medium

We study the problem of the evolution of the free surface of a fluid in a saturated porous medium, bounded from below by a. at impermeable bottom, and described by the Laplace equation with moving-boundary conditions. By making use of a convenient conformal transformation, we show that the solution to this problem is equivalent to the solution of the Laplace equation on a fixed domain, with new variable coefficients, the boundary conditions. We use a kernel of the Laplace equation which allows us to write the Dirichlet-to-Neumann operator, and in this way we are able to find an exact differential-integral equation for the evolution of the free surface in one space dimension. Although not amenable to direct analytical solutions, this equation turns out to allow an easy numerical implementation. We give an explicit illustrative case at the end of the article.

Supersymmetry of Affine Toda Models as Fermionic Symmetry Flows of the Extended mKdV Hierarchy

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Non-destructive thermal wave method applied to study thermal properties of fast setting time endodontic cement

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

GPR applied to mapping utilities along the route of the Line 4 (yellow) subway tunnel construction in Sao Paulo City, Brazil

The rapid industrial development and disorganized population growth in huge cities bring about various urban problems due to intense use of physical space on and below the surface. Subsurface problems in metropolitan areas are caused by subway line construction, which often follows the routes of utility networks, such as electric and telephone cables, water and gas pipes, storm sewers, etc. Usually, the main problems are related to damage or destruction of preexisting utilities, often putting human lives at risk. With the purpose of minimizing risks. GPR-profiling with 200 MHz antennae was done at two sites, both located in downtown Sao Paulo, Brazil. The objectives of this work were to map utilities or existing infrastructure in the subsurface in order to orient the construction of the Line 4 (yellow) subway tunnel in Sao Paulo. GPR profiles can detect water pipes, utility networks in the subsurface, and concrete foundation columns or pilings in subsoil up to 2 m depth. In addition. the GPR profiles also provided details of the target shapes in the subsurface. GPR interpretations combined with lithological information from boreholes and trenches opened in the study areas were extremely important in mapping of the correct spatial distribution of buried utilities at these two sites in Sao Paulo. This information improves and updates maps of utility placement, serves as a basis for planning of the geotechnical excavation of the Line 4 (yellow) subway tunnel in Sao Paulo, helps minimize problems related to destruction of preexisting utilities in the subsoil, and avoids risk of dangerous accidents. (C) 2012 Elsevier B.V. All rights reserved.

TRANSVERSAL DISTRIBUTION COMPARISON OF SOLID FERTILIZERS APPLIED OVER ANNUAL CROPS

Centrifugal spreaders dominate the application of solid materials in agriculture offering expressive operational field capacity and extended range of applied rates. Field tests for characterization of theirperformance are conducted without any physical obstacles (such as the presence of plants) during the parabolic trajectory of the falling particles of fertilizer to the soil. The purpose of this study was to comparatively evaluate the transverse distribution of solid fertilizers applied on cropped corn, soybeans and cotton. Evaluations of the spreaders were designed according to ASAE S341.3/99 Standard. Tests consisted in aligning side by side collectors in-between the cropped rows and weighting the material deposited. The results showed that transverse distribution of solid fertilizers applied over the cotton and corn crops is affected by the crop height, interfering directly on the effective width of the spreader application, which was not observedin the soybean crop, once the fertilizer application is done when the crop was still below the collector's height. The results suggest that evaluation of effective width of the spreaders application need to be done under real crop environment.

Asymptotic integral kernel for ensembles of random normal matrices with radial potentials

The method of steepest descent is used to study the integral kernel of a family of normal random matrix ensembles with eigenvalue distribution P-N (z(1), ... , z(N)) = Z(N)(-1)e(-N)Sigma(N)(i=1) V-alpha(z(i)) Pi(1 <= i<j <= N) vertical bar z(i) - z(j)vertical bar(2), where V-alpha(z) = vertical bar z vertical bar(alpha), z epsilon C and alpha epsilon inverted left perpendicular0, infinity inverted right perpendicular. Asymptotic formulas with error estimate on sectors are obtained. A corollary of these expansions is a scaling limit for the n-point function in terms of the integral kernel for the classical Segal-Bargmann space. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.3688293]

Hand and ultrasonic instrumentation for orthograde root canal treatment of permanent teeth

Root canal treatment is a frequently performed dental procedure and is carried out on teeth in which irreversible pulpitis has led to necrosis of the dental pulp. Removal of the necrotic tissue remnants and cleaning and shaping of the root canal are important phases of root canal treatment. Treatment options include the use of hand and rotary instruments and methods using ultrasonic or sonic equipment. OBJECTIVES: The objectives of this systematic review of randomized controlled trials were to determine the relative clinical effectiveness of hand instrumentation versus ultrasonic instrumentation alone or in conjunction with hand instrumentation for orthograde root canal treatment of permanent teeth. MATERIAL AND METHODS: The search strategy retrieved 226 references from the Cochrane Oral Health Group Trials Register (7), the Cochrane Central Register of Controlled Trials (CENTRAL) (12), MEDLINE (192), EMBASE (8) and LILACS (7). No language restriction was applied. The last electronic search was conducted on December 13th, 2007. Screening of eligible studies was conducted in duplicate and independently. RESULTS: Results were to be expressed as fixed-effect or random-effects models using mean differences for continuous outcomes and risk ratios for dichotomous outcomes with 95% confidence intervals. Heterogeneity was to be investigated including both clinical and methodological factors. No eligible randomized controlled trials were identified. CONCLUSIONS: This review illustrates the current lack of published or ongoing randomized controlled trials and the unavailability of high-level evidence based on clinically relevant outcomes referring to the effectiveness of ultrasonic instrumentation used alone or as an adjunct to hand instrumentation for orthograde root canal treatment. In the absence of reliable research-based evidence, clinicians should base their decisions on clinical experience, individual circumstances and in conjunction with patients' preferences where appropriate. Future randomized controlled trials might focus more closely on evaluating the effectiveness of combinations of these interventions with an emphasis on not only clinically relevant, but also patient-centered outcomes.

Lower complexity bounds in justification logic

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Linkage in narratives: A comparison between monolingual speakers of French and Italian, and early and late French-Italian bilinguals

In the course of language acquisition learners have to deal with the task of producing narrative texts that are coherent across a range of conceptual domains (space, time, entities) -- both within as well as across utterances. The organization of information is analyzed in this study, on the basis of retellings of a silent film, in terms of devices used in the coordination and subordination of events within the narrative sequence. The focus on subordination reflects a core grammatical difference between Italian and French, as Italian is a null-subject language while French is not. The implications of this contrast for information structure include differences in topic management within the sequence of events. The present study investigates in how far Italian-French bilingual speakers acquire the patterns of monolingual speakers of Italian. It compares how early and late bilinguals of these two languages proceed when linking information in narratives in Italian.

Human Trafficking: What is the Role of the Health Care Provider?

The article will address the global and local issue of human trafficking. An estimated 20,000 people are trafficked within the U.S. each year. Trafficked people are forced, defrauded and coerced into labor and sexual service for profit of others. Traffickers use individual vulnerabilities and immigration status, language ability and poor understanding of U.S. laws to identify future victims. One case in 2005 in Texas resulted in 100 victims being identified, none of whom revealed themselves to health care professionals. Health care professionals need contemporary and updated information and resources about health risks, screening methods, and identification of trafficked persons. Readers will learn about common medical problems experienced by individuals who are leaving trafficking situations. Legal and health care intersections will be explored. Implementation of a response protocol to assist those who may currently be enslaved will be introduced. Real case examples from trafficking survivors will be presented and discussed. Participants will learn how to reach out, look beneath the surface, provide assistance, and access resources to help victims, and gain a better understanding of the health challenges faced by trafficked victims.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.