An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student`s solution and the template`s solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student`s solution is equivalent to the template`s solution, then we consider the student`s solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers` tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.

Decay of geometry for Fibonacci critical covering maps of the circle

We study the growth of Df `` (f(c)) when f is a Fibonacci critical covering map of the circle with negative Schwarzian derivative, degree d >= 2 and critical point c of order l > 1. As an application we prove that f exhibits exponential decay of geometry if and only if l <= 2, and in this case it has an absolutely continuous invariant probability measure, although not satisfying the so-called Collet-Eckmann condition. (C) 2009 Elsevier Masson SAS. All rights reserved.

On a product formula for the Conley-Zelmder index of symplectic paths and its applications

Using invariance by fixed-endpoints homotopies and a generalized notion of symplectic Cayley transform, we prove a product formula for the Conley-Zehnder index of continuous paths with arbitrary endpoints in the symplectic group. We discuss two applications of the formula, to the metaplectic group and to periodic solutions of Hamiltonian systems.

Periodic geodesics and geometry of compact Lorentzian manifolds with a Killing vector field

We study the geometry and the periodic geodesics of a compact Lorentzian manifold that has a Killing vector field which is timelike somewhere. Using a compactness argument for subgroups of the isometry group, we prove the existence of one timelike non self-intersecting periodic geodesic. If the Killing vector field is nowhere vanishing, then there are at least two distinct periodic geodesics; as a special case, compact stationary manifolds have at least two periodic timelike geodesics. We also discuss some properties of the topology of such manifolds. In particular, we show that a compact manifold M admits a Lorentzian metric with a nowhere vanishing Killing vector field which is timelike somewhere if and only if M admits a smooth circle action without fixed points.

Understanding the Effect of Adsorption Geometry over Substrate Selectivity in the Surface-Enhanced Raman Scattering Spectra of Simazine and Atrazine

This paper studies the selectivity of Well-defined Au and Ag nanostructures as substrates for the SERS, (surface-enhanced Raman scattering) detection of simazine (6-chloro-N,N`-diethyl-1,3,5-triazine-2,4-diamine) and atrazine (6-chloro-N-ethyl-N`-isopropyl-1,3,5-triazine-2,4-diamine). Our data showed that simazine and atrazine displayed similar SERS spectra when the Au was employed as substrate. Conversely, distinct SERS signatures were obtained upon the utilization of Ag substrates. Density functional theory (DFT) calculations and vibrational assignments suggested that, while simazine and atrazine adsorbed on Au via the N3 position of the triazine ring, simazine adsorbed on Ag via N3 and atrazine via N5. The results presented herein demonstrated that the adsorption geometry of analyte molecules can play a central role over substrate selectivity in SERS, which is particularly important in applications involving ultrasensitive analysis of mixtures containing structurally similar molecules.

EXISTENCE RESULTS FOR ABSTRACT NEUTRAL FUNCTIONAL DIFFERENTIAL EQUATIONS

In this paper we discuss the existence of solutions for a class of abstract partial neutral functional differential equations.

GEVREY SOLVABILITY AND GEVREY REGULARITY IN DIFFERENTIAL COMPLEXES ASSOCIATED TO LOCALLY INTEGRABLE STRUCTURES

In this work we study some properties of the differential complex associated to a locally integrable (involutive) structure acting on forms with Gevrey coefficients. Among other results we prove that, for such complexes, Gevrey solvability follows from smooth solvability under the sole assumption of a regularity condition. As a consequence we obtain the proof of the Gevrey solvability for a first order linear PDE with real-analytic coefficients satisfying the Nirenberg-Treves condition (P).

Mechanism and model of the oscillatory electro-oxidation of methanol

A mechanism for the kinetic instabilities observed in the galvanostatic electro-oxidation of methanol is suggested and a model developed. The model is investigated using stoichiometric network analysis as well as concepts from algebraic geometry (polynomial rings and ideal theory) revealing the occurrence of a Hopf and a saddle-node bifurcation. These analytical solutions are confirmed by numerical integration of the system of differential equations. (C) 2010 American Institute of Physics

Global solutions for abstract impulsive neutral differential equations

We study the existence of mild solutions for a class of impulsive neutral functional differential equation defined on the whole real axis. Some concrete applications to ordinary and partial neutral differential equations with impulses are considered. (C) 2010 Elsevier Ltd. All rights reserved.

A prospective study evaluating the efficacy of the artificial sphincter AMS 800 for the treatment of postradical prostatectomy urinary incontinence and the correlation between preoperative urodynamic and surgical outcomes

OBJECTIVES We have evaluated prospectively the long-term efficacy of the artificial urinary sphincter (AUS) AMS 800 for the treatment postradical prostatectomy urinary incontinence (PRPUI) patients. We also evaluated the correlation between preoperative urodynamic findings and surgical outcomes. METHODS From May 1997 to April 2003, 40 consecutive patients with PRPUI caused by intrinsic sphincter deficiency (ISD) were treated with the AMS 800. Mean age was 68.3 +/- 6.3 years. Continence status was evaluated on the basis of pad count, impact of urinary incontinence on the quality of life, complications, and surgical revisions. Preoperative urodynamic findings were correlated with surgical outcomes. RESULTS Follow-up ranged from 27 to 132 months (mean = 53.4 +/- 21.4 months). There was a significant reduction in pad count from 4.0 +/- 0.9 to 0.62 +/- 1.07 diapers per day (P <0.001) leading to continence in 90%. There was a significant reduction on the impact of incontinence decreasing from 5.0 +/- 0.7 to 1.4 +/- 0.93 (P <0.001) in a visual analogue scale (VAS). Surgical revision rate was 20%. Preoperative urodynamics was useful to identify sphincter deficiency. Except by a tendency of worse results in patients with reduced bladder compliance (RBC), other urodynamic parameters did not correlate with a worse surgical outcome. CONCLUSIONS The AMS 800 offers good long-term continence to most PRPUI patients. Preoperative findings like detrusor hyperactivity (DH), impaired detrusor contraction (IDC), low Valsalva leak point pressure, bladder outlet obstruction (BOO), and mild RBC were not associated with worse surgical outcomes.

Differential diagnosis of oocysts of Hammondia-like organisms of dogs and cats by PCR-RFLP analysis of 70-kilodalton heat shock protein (HSP70) gene

Organisms of the genera Toxoplasma, Hammondia and Neospora, the Hammondia-like organisms, are closely related coccidian with similarly sized oocysts. Therefore, a diagnosis based on microscopy of oocysts in feces is not a method of choice for species identification of these important parasites. In this paper, we present a polymerase chain reaction coupled with restriction fragment length polymorphism (PCR-RFLP) method to differentially diagnose oocysts of Toxoplasma gondii from oocyst of Hammondia hammondi. Another PCR-RFLP was designed to differentiate oocysts of Hammondia heydorni from oocysts of Neospora spp. Both PCR-RFLP are based on nucleotide sequences of the Hsp70 coding gene. In conclusion, we presented two alternative molecular diagnostic assays that can be successfully applied for the differentiation of oocysts of Hammondia-like organisms shed by felids and canids.

Differential kinase requirement for enhancement of Fc gamma R-mediated phagocytosis in alveolar macrophages by leukotriene B(4) vs. D(4)

In alveolar macrophages, leukotriene (IT) B(4) and cysteinyl LTs (LTC(4), LTD(4) and LTE(4)) both enhance Fc gamma receptor (Fc gamma R)-mediated phagocytosis. In the present study we investigated the role of specific PKC isoforms (PKC-alpha and -delta), the MAP kinases p38 and ERK 1/2, and PI3K in mediating the potentiation of Fc gamma R-mediated phagocytosis induced by addition of leukotrienes to the AMs. It was found that exogenously added LTB(4) and LTD(4) both enhanced PKC-delta and -alpha phosphorylation during Fc gamma R engagement. Studies with isoform-selective inhibitors indicated that exogenous LTB(4) effects were dependent on both PKC-alpha and -delta, while LTD(4) effects were exclusively due to PKC-delta activation. Although both exogenous LTB(4) and LTD(4) enhanced p38 and ERK 1/2 activation, LTB(4) required only ERK 1/2, while LTD(4) required only p38 activation. Activation by both LTs was dependent on PI3K activation. Effects of endogenous LTs on kinase activation were also investigated using selective LT receptor antagonists. Endogenous LTB(4) contributed to Fc gamma R-mediated activation of PKC-alpha, ERK 1/2 and PI3K, while endogenous cysLTs contributes to activation of PKC-delta, p38 and PI3K. Taken together, our data show that the capacities of LTB(4) and LTD(4) to enhance Fc gamma R-mediated phagocytosis reflect their differential activation of specific kinase programs. (C) 2008 Elsevier Ltd. All rights reserved.

Plasma confinement in tokamaks with robust torus

We present a non-linear symplectic map that describes the alterations of the magnetic field lines inside the tokamak plasma due to the presence of a robust torus (RT) at the plasma edge. This RT prevents the magnetic field lines from reaching the tokamak wall and reduces, in its vicinity, the islands and invariant curve destruction due to resonant perturbations. The map describes the equilibrium magnetic field lines perturbed by resonances created by ergodic magnetic limiters (EMLs). We present the results obtained for twist and non-twist mappings derived for monotonic and non-monotonic plasma current density radial profiles, respectively. Our results indicate that the RT implementation would decrease the field line transport at the tokamak plasma edge. (C) 2010 Elsevier B.V. All rights reserved.

A new proposal for the picture changing operators in the minimal pure spinor formalism

Using a new proposal for the ""picture lowering"" operators, we compute the tree level scattering amplitude in the minimal pure spinor formalism by performing the integration over the pure spinor space as a multidimensional Cauchy-type integral. The amplitude will be written in terms of the projective pure spinor variables, which turns out to be useful to relate rigorously the minimal and non-minimal versions of the pure spinor formalism. The natural language for relating these formalisms is the. Cech-Dolbeault isomorphism. Moreover, the Dolbeault cocycle corresponding to the tree-level scattering amplitude must be evaluated in SO(10)/SU(5) instead of the whole pure spinor space, which means that the origin is removed from this space. Also, the. Cech-Dolbeault language plays a key role for proving the invariance of the scattering amplitude under BRST, Lorentz and supersymmetry transformations, as well as the decoupling of unphysical states. We also relate the Green`s function for the massless scalar field in ten dimensions to the tree-level scattering amplitude and comment about the scattering amplitude at higher orders. In contrast with the traditional picture lowering operators, with our new proposal the tree level scattering amplitude is independent of the constant spinors introduced to define them and the BRST exact terms decouple without integrating over these constant spinors.

Minimal Lagrangian surfaces in the tangent bundle of a Riemannian surface

Given an oriented Riemannian surface (Sigma, g), its tangent bundle T Sigma enjoys a natural pseudo-Kahler structure, that is the combination of a complex structure 2, a pseudo-metric G with neutral signature and a symplectic structure Omega. We give a local classification of those surfaces of T Sigma which are both Lagrangian with respect to Omega and minimal with respect to G. We first show that if g is non-flat, the only such surfaces are affine normal bundles over geodesics. In the flat case there is, in contrast, a large set of Lagrangian minimal surfaces, which is described explicitly. As an application, we show that motions of surfaces in R(3) or R(1)(3) induce Hamiltonian motions of their normal congruences, which are Lagrangian surfaces in TS(2) or TH(2) respectively. We relate the area of the congruence to a second-order functional F = f root H(2) - K dA on the original surface. (C) 2010 Elsevier B.V. All rights reserved.