Draft Genome Sequence of Campylobacter jejuni 11168H

Campylobacter jejuni is the most prevalent cause of food-borne gastroenteritis in the developed world. The reference and original sequenced strain C. jejuni NCTC11168 has low levels of motility compared to clinical isolates. Here, we describe the draft genome of the laboratory derived hypermotile variant named 11168H

La obra Ornitológica de Azara

Fil: López, Hugo Luis. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; ArgentinaFil: Nadalin, Diego Oscar. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; Argentin

Genidens barbus (Lacepède, 1803)

Fil: Nadalin, Diego Oscar. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; ArgentinaFil: López, Hugo Luis. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; Argentin

Catálogo de ejemplares tipo de la colección ictiológica del Museo de La Plata. Adenda 2015

Fil: Miquelarena, Amalia María. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; ArgentinaFil: Nadalin, Diego Oscar. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; Argentin

Luciopimelodus pati (Valenciennes, 1835)

Fil: Nadalin, Diego Oscar. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; ArgentinaFil: López, Hugo Luis. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; Argentin

Tiburoncito de río : Cetopsis gobioides (Kner, 1858)

Fil: Nadalin, Diego Oscar. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. División Zoología Vertebrados; ArgentinaFil: López, Hugo Luis. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. División Zoología Vertebrados; Argentin

Provably correct Java implementations of Spi Calculus security protocols specifications

Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation. The Java implementation generated by the translation function uses a custom Java library. Formal conditions on such library are stated, so that, if the library implementation code satisfies such conditions, then the generated Java implementation correctly simulates the Spi Calculus specification. A verified implementation of part of the custom library is further presente

Cincuentenario de la publicación de la obra Los Peces Argentinos de Agua Dulce

Fil: López, Hugo Luis. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. División Zoología Vertebrados; ArgentinaFil: Nadalin, Diego Oscar. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. División Zoología Vertebrados; ArgentinaFil: Rouaux, Julia. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. División Zoología Vertebrados; Argentin

Colecciones de la División Zoología de Vertebrados

Fil: López, Hugo Luis. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. División Zoología Vertebrados; ArgentinaFil: Nadalin, Diego Oscar. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. División Zoología Vertebrados; ArgentinaFil: Rouaux, Julia. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. División Zoología Vertebrados; Argentin

Lepidosiren paradoxa (Lepidosiren paradoxa Fitzinger, 1837)

Fil: Nadalin, Diego Oscar. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; ArgentinaFil: López, Hugo Luis. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; Argentin