A new noctuid moth, Chrysorithrum duda sp. n., from southwest China is described. Previously the genus Chrysorithrum (Butler 1878) included two species with eastern Palaearctic and Manchurian distributions. The new species differs in appearance, genitalia and DNA from its congeners Chrysorithrum flavomaculata (Bremer) and Chrysorithrum amata (Bremer & Grey). Nomenclature used here follows Draud...

Journal of Turbulence Publication details, including instructions for authors and subscription information: http://www.informaworld.com/smpp/title~content=t713665472 Lagrangian dynamic SGS model for stochastic coherent adaptive large eddy simulation Oleg V. Vasilyev a; Giuliano De Stefano b; Daniel E. Goldstein c; Nicholas K. -R. Kevlahan d a Department of Mechanical Engineering, University of ...

Justin Olamit,1 Elke Arenholz,2 Zhi-Pan Li,3 Oleg Petracic,3,4 Igor V. Roshchin,3 R. Morales,3,5 Xavier Batlle,3,6 Ivan K. Schuller,3 and Kai Liu1,* 1Physics Department, University of California, Davis, California 95616, USA 2Advanced Light Source, Lawrence Berkeley National Laboratory, Berkeley, California 94720, USA 3Physics Department, University of California–San Diego, La Jolla, California...

Critical properties of the compact three-dimensional U(1) lattice gauge theory are explored at finite temperatures on an asymmetric lattice. For vanishing value of the spatial gauge coupling one obtains an effective two-dimensional spin model which describes the interaction between Polyakov loops. We study numerically the effective spin model for Nt = 1, 4, 8 on lattices with spatial extension ...

We show that no xed number of parallel repetitions suuces in order to reduce the error in two-prover one-round proof systems from one constant to another. Our results imply that the recent bounds proven by Ran Raz, showing that the number of rounds that suuce is inversely proportional to the answer length, are nearly best possible. Our proof technique builds upon an idea of Oleg Verbitsky. We u...

John P. Perdew, Adrienn Ruzsinszky, Gábor I. Csonka, Oleg A. Vydrov, Gustavo E. Scuseria, Lucian A. Constantin, Xiaolan Zhou, and Kieron Burke Department of Physics and Quantum Theory Group, Tulane University, New Orleans, Louisiana 70118, USA Department of Chemistry, Budapest University of Technology and Economics, H-1521 Budapest, Hungary Department of Chemistry, Rice University, Houston, Tex...

Editorial Board Jônatas Santos Abrahão Federal University of Minas Gerais, Brazil Wuguo Chen University of North Carolina at Chapel Hill, USA François Denis University of Limoges, France Tahar Kernif Institut Pasteur d’Algérie, Algeria Xavier de Lamballerie Marseille Medical University, France Vu Dang La University of Pennsylvania, USA Míriam-José Álvarez Martínez University of Barcelona, Spain...

‘This research was supported by the following grants: NIH Grant RR-00785; NIH Grant RR-00711; Boeing Grant W266875; NASA/Ames Grant NCC 2-274; DARPA Contract N00039-83-C0136; ONR Contract N00014-86-K-0652. We thank Micheal Hewett, M. Vaughan Johnson Jr., Robert Schulman and Jeff Harvey for their work on BBl. We thank Russ Altman, Jim Brinkley, Bruce Duncan, Olivier Lichtarge, John Brugge, and O...

A stereoscopic view on a particular historical event, in which contemporary assessments are combined with mental stereotypes of medieval man, allows slightly different assessment the chronicle plot about posthumous “baptism bones” Oleg and Yaropolk, Princes Kyivan Rus, 1044. While from theological positions it is perceived as an absurdity direct violation rules church, Middle Ages this act did ...

We describe the Monitoring and Checking (MaC) framework which provides assurance on the correctness of an execution of a real-time system at run-time. Monitoring is performed based on a formal specification of system requirements. MaC bridges the gap between formal specification, which analyzes designs rather than implementations, and testing, which validates implementations but lacks formality...