Two new charismatic Pristimantis species (Anura: Craugastoridae) from the tepuis of “The Lost World” (Pantepui region, South America)

Two new colourful species of direct-developing frogs of the genus Pristimantis are described from the summit of two isolated tepuis (sandstone table mountains) in the Eastern Pantepui District of the Guiana Shield highlands. Pristimantis jamescameroni sp. nov. is described from the summit of Aprada-tepui from 2557-2571 m elevation, and P. imthurni sp. nov. is described from the summit of Ptaritepui at 2471 m elevation. Both species share the absence of a differentiated tympanic membrane and external tympanic annulus (but presence of tiny pharyngeal ostia), the presence of nuptial pads in males, and the presence of lateral fringes on fingers and toes, a combination of characters that immediately distinguishes them from all other known Pantepui congeners. The two new species are morphologically similar to each other and are phylogenetically closely related, but they can be distinguished based on colour pattern and morphological characters such as head proportions, dorsal skin texture, and condition of the supratympanic fold. The IUCN conservation status of the new species is considered as Endangered (EN) owing to their apparent very restricted ranges. The number of described Pristimantis species occurring exclusively on tepui (and faunistically related granitic mountains) summits and upper slopes now reaches eleven

Vortex methods for separated flows

The numerical solution of the Euler or Navier-Stokes equations by Lagrangian vortex methods is discussed. The mathematical background is presented in an elementary fashion and includes the relationship with traditional point-vortex studies, the convergence to smooth solutions of the Euler equations, and the essential differences between two- and three-dimensional cases. The difficulties in extending the method to viscous or compressible flows are explained. The overlap with the excellent review articles available is kept to a minimum and more emphasis is placed on the area of expertise, namely two-dimensional flows around bluff bodies. When solid walls are present, complete mathematical models are not available and a more heuristic attitude must be adopted. The imposition of inviscid and viscous boundary conditions without conformal mappings or image vortices and the creation of vorticity along solid walls are examined in detail. Methods for boundary-layer treatment and the question of the Kutta condition are discussed. Practical aspects and tips helpful in creating a method that really works are explained. The topics include the robustness of the method and the assessment of accuracy, vortex-core profiles, timemarching schemes, numerical dissipation, and efficient programming. Calculations of flows past streamlined or bluff bodies are used as examples when appropriate

Numerical simulation of boundary layers. Part 3: Turbulence and relaminarization in sink flows

Direct numerical simulations of sink-flow boundary layers, with acceleration parameters K between 1.5 and 3.0 x 10 to the -6 power, are presented. The three-dimensional, time-dependent Navier-Stokes equations are solved numerically using a spectral method, with about 10 to the -6 degrees of freedom. The flow is assumed to be statistically steady, and self-similar. A multiple-scale approximation and periodic conditions are applied to the fluctuations. The turbulence is studied using instantaneous and statistical results. Good agreement with the experiments of Jones and Launder is observed. Two effects of the favorable pressure gradient are to extend the logarithmic layer, and to alter the energy balance of the turbulence near the edge of the boundary layer. At very low Reynolds number the logarithmic layer is shortened and slightly displaced, but wall-layer streaks are present even at the lowest values of the Reynolds number for which turbulence can be sustained. Large quiescent patches appear in the flow. Relaminarization occurs at K = 3.0 x 10 to the -6 power, corresponding to a Reynolds number, based on momentum thickness, of about 330

Counting eigenvalues in domains of the complex field

A procedure for counting the number of eigenvalues of a matrix in a region surrounded by a closed curve is presented. It is based on the application of the residual theorem. The quadrature is performed by evaluating the principal argument of the logarithm of a function. A strategy is proposed for selecting a path length that insures that the same branch of the logarithm is followed during the integration. Numerical tests are reported for matrices obtained from conventional matrix test sets.Comment: 21 page

Meeting report : Neuropathology and Neuropharmacology of Monoaminergic systems

The third EU COST Action CM1103 “Structure-based drug design for diagnosis and treatment of neurological diseases: dissecting and modulating complex function in the monoaminergic systems of the brain” Annual Conference entitled “Neuropathology and Neuropharmacology of Monoaminergic Systems” was hosted by the University of Bordeaux, France on 8-10 October 2014. The conference, organized by Prof. De Deurwaerdère, was supported by COST (European Cooperation in Science and Technology) and LABEX (LABEX Brain, University of Bordeaux). The program took the form of a three-day meeting, comprising a series of French and international invited talks and breakout sessions designed to identify key gaps in current knowledge and potential future research questions. The aims of this Conference were two-fold: 1. To identify the current state-of-the-art in the understanding of the pathological mechanisms that contribute to different neuropsychiatric disorders, and to what extent, monoamines a multi-target drugs and/or other interventions might prevent these changes. 2. To identify specific areas of research where information is sparse but which are likely to yield data that will impact on future strategies to treat neurodegenerative disorders.peer-reviewe

Improving QED-Tutrix by Automating the Generation of Proofs

The idea of assisting teachers with technological tools is not new. Mathematics in general, and geometry in particular, provide interesting challenges when developing educative softwares, both in the education and computer science aspects. QED-Tutrix is an intelligent tutor for geometry offering an interface to help high school students in the resolution of demonstration problems. It focuses on specific goals: 1) to allow the student to freely explore the problem and its figure, 2) to accept proofs elements in any order, 3) to handle a variety of proofs, which can be customized by the teacher, and 4) to be able to help the student at any step of the resolution of the problem, if the need arises. The software is also independent from the intervention of the teacher. QED-Tutrix offers an interesting approach to geometry education, but is currently crippled by the lengthiness of the process of implementing new problems, a task that must still be done manually. Therefore, one of the main focuses of the QED-Tutrix' research team is to ease the implementation of new problems, by automating the tedious step of finding all possible proofs for a given problem. This automation must follow fundamental constraints in order to create problems compatible with QED-Tutrix: 1) readability of the proofs, 2) accessibility at a high school level, and 3) possibility for the teacher to modify the parameters defining the "acceptability" of a proof. We present in this paper the result of our preliminary exploration of possible avenues for this task. Automated theorem proving in geometry is a widely studied subject, and various provers exist. However, our constraints are quite specific and some adaptation would be required to use an existing prover. We have therefore implemented a prototype of automated prover to suit our needs. The future goal is to compare performances and usability in our specific use-case between the existing provers and our implementation.Comment: In Proceedings ThEdu'17, arXiv:1803.0072

Contributions of numerical simulation data bases to the physics, modeling and measurement of turbulence

The use of simulation data bases for the examination of turbulent flows is an effective research tool. Studies of the structure of turbulence have been hampered by the limited number of probes and the impossibility of measuring all desired quantities. Also, flow visualization is confined to the observation of passive markers with limited field of view and contamination caused by time-history effects. Computer flow fields are a new resource for turbulence research, providing all the instantaneous flow variables in three-dimensional space. Simulation data bases also provide much-needed information for phenomenological turbulence modeling. Three dimensional velocity and pressure fields from direct simulations can be used to compute all the terms in the transport equations for the Reynolds stresses and the dissipation rate. However, only a few, geometrically simple flows have been computed by direct numerical simulation, and the inventory of simulation does not fully address the current modeling needs in complex turbulent flows. The availability of three-dimensional flow fields also poses challenges in developing new techniques for their analysis, techniques based on experimental methods, some of which are used here for the analysis of direct-simulation data bases in studies of the mechanics of turbulent flows