First record of the genus Palpostilpnus Aubert (Ichneumonidae: Phygadeuontinae) from Vietnam, with descriptions of eight new species.

Palpostilpnus Aubert, 1961 is a genus of the subfamily Phygadeuontinae (Hymenoptera: Ichneumonidae) with 17 currently recognized species from the Oriental and Australasian regions. In this paper, this genus is reported for the first time from Vietnam. Eight new species are described, comprising: P.

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.

This article presents a security formal analysis of the hybrid post-quantum Transport Layer Security (TLS) protocol, a quantum-resistant version of the TLS protocol proposed by Amazon Web Services as a precaution in dealing with future attacks from quantum computers. In addition to a classical key exchange algorithm, the proposed protocol uses a post-quantum key encapsulation mechanism, which is believed invulnerable under quantum computers, so the protocol's key negotiation is called the hybrid key exchange scheme. One of our assumptions about the intruder's capabilities is that the intruder is able to break the security of the classical key exchange algorithm by utilizing the power of large quantum computers.

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores.

The Transport Layer Security (TLS) 1.0 protocol has been formally verified with CafeInMaude Proof Generator (CiMPG) and Proof Assistant (CiMPA), where CafeInMaude is the second major implementation of CafeOBJ, a direct successor of OBJ3, a canonical algebraic specification language. The properties concerned are the secrecy property of pre-master secrets and the correspondence (or authentication) property from both server and client points of view.

The bee genus in Vietnam: descriptions of five new species and the first male of (Hymenoptera, Megachilidae).

The Vietnamese fauna of bees in the Cockerell (Megachilinae, Anthidiini) is reviewed. Seven species are recognized, representing two subgenera. Five new species are described and figured as: Anthidiellum (Clypanthidium) nahang Tran, Engel & Nguyen, , A.

Two new species of Trichrysis Lichtenstein (Hymenoptera: Chrysididae) from Vietnam and China, with taxonomic notes on other species from the Oriental region.

Two new species of the genus Trichrysis Lichtenstein, belonging to the cyanea species group, are described from northeastern Vietnam (Cao Bang Province) and China (Yunnan Province) as new for science: T. sinica Rosa, Nguyen & Wiśniowski, sp. nov.

Maternal and Neonatal Health Outcomes Associated with the Use of Gliclazide and Metformin for the Treatment of Diabetes in Pregnancy: A Record Linkage Study.

Gliclazide is commonly used in the treatment of diabetes mellitus; however, very little is known regarding the safety of its use in pregnancy. The aims of this study was to examine the rate of maternal hospitalizations, congenital anomalies, and adverse neonatal outcomes in pregnant women treated with gliclazide compared with pregnant women treated with metformin. Women who used gliclazide during pregnancy ( = 108) between 2003 and 2012 were identified by linking national medication dispensing data with the New South Wales perinatal data collection.

Vast assembly of vocal marine mammals from diverse species on fish spawning ground.

Observing marine mammal (MM) populations continuously in time and space over the immense ocean areas they inhabit is challenging but essential for gathering an unambiguous record of their distribution, as well as understanding their behaviour and interaction with prey species. Here we use passive ocean acoustic waveguide remote sensing (POAWRS) in an important North Atlantic feeding ground to instantaneously detect, localize and classify MM vocalizations from diverse species over an approximately 100,000 km(2) region. More than eight species of vocal MMs are found to spatially converge on fish spawning areas containing massive densely populated herring shoals at night-time and diffuse herring distributions during daytime.

Using a coherent hydrophone array for observing sperm whale range, classification, and shallow-water dive profiles.

Sperm whales in the New England continental shelf and slope were passively localized, in both range and bearing, and classified using a single low-frequency (<2500 Hz), densely sampled, towed horizontal coherent hydrophone array system. Whale bearings were estimated using time-domain beamforming that provided high coherent array gain in sperm whale click signal-to-noise ratio. Whale ranges from the receiver array center were estimated using the moving array triangulation technique from a sequence of whale bearing measurements.

Comparing passive source localization and tracking approaches with a towed horizontal receiver array in an ocean waveguide.

Approaches for instantaneous passive source localization using a towed horizontal receiver array in a random range-dependent ocean waveguide are examined. They include: (1) Moving array triangulation, (2) array invariant, (3) bearings-only target motion analysis in modified polar coordinates via the extended Kalman filter, and (4) bearings-migration minimum mean-square error. These methods are applied to localize and track a vertical source array deployed in the far-field of a towed horizontal receiver array during the Gulf of Maine 2006 Experiment.