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.

Multiple genetic lineages of anadromous migratory Mekong catfish revealed by mtDNA control region and cytochrome .

Population genetic structure of migratory fishes can reflect ecological and evolutionary processes. is a critically important anadromous catfish in the Mekong River, and its migration pathways and genetic structure have attracted much interest. To investigate, we quantified the genetic diversity of this species using the control region (D-loop) and Cytochrome (Cyt) of the mitochondrial genome.

Variations in Antimicrobial Activities of Human Monocyte-Derived Macrophage and Their Associations With Tuberculosis Clinical Manifestations.

Macrophages play a significant role in preventing infection through antimicrobial activities, particularly acidification, and proteolysis. infection can lead to diverse outcomes, from latent asymptomatic infection to active disease involving multiple organs. Monocyte-derived macrophage is one of the main cell types accumulating in lungs following infection.

Development of ligand-coated beads to measure macrophage antimicrobial activities.

Background Information: After macrophage recognises and phagocytoses the microorganism, their phagosome undergoes a maturation process, which creates a hostile environment for the bacterium. The lumen is acidified, and proteolysis occurs to kill and degrade pathogen for further antigen presentation. It is important to understand the association between the macrophage intracellular activities and the outcome of infection.

A phase 1 and randomized, placebo-controlled phase 2 trial of bevacizumab plus dasatinib in patients with recurrent glioblastoma: Alliance/North Central Cancer Treatment Group N0872.

Background: Src signaling is markedly upregulated in patients with invasive glioblastoma (GBM) after the administration of bevacizumab. The Src family kinase inhibitor dasatinib has been found to effectively block bevacizumab-induced glioma invasion in preclinical models, which led to the hypothesis that combining bevacizumab with dasatinib could increase bevacizumab efficacy in patients with recurrent GBM.

Methods: After the completion of the phase 1 component, the phase 2 trial (ClinicalTrials.

Laparoscopic Splenectomy for Trauma.

Background And Objectives: The use of laparoscopy in the trauma setting is gaining momentum, with more therapeutic procedures being performed. We evaluated the use of laparoscopic splenectomy among trauma patients with data from the National Trauma Database. We compared outcomes for trauma patients undergoing laparoscopic (LS) versus open splenectomy (OS).

Virulence of Clinical Isolates Is Associated With Sputum Pre-treatment Bacterial Load, Lineage, Survival in Macrophages, and Cytokine Response.

It is uncertain whether differences in ( virulence defined influence clinical tuberculosis pathogenesis, transmission, and mortality. We primarily used a macrophage lysis model to characterize the virulence of isolates collected from 153 Vietnamese adults with pulmonary tuberculosis. The virulence phenotypes were then investigated for their relationship with sputum bacterial load, bacterial lineages, bacterial growth, and cytokine responses in macrophages.

Influence of Stress and Antibiotic Resistance on Cell-Length Distribution in Clinical Isolates.

Mycobacterial cellular variations in growth and division increase heterogeneity in cell length, possibly contributing to cell-to-cell variation in host and antibiotic stress tolerance. This may be one of the factors influencing persistence to antibiotics. Tuberculosis (TB) is a major public health problem in developing countries, antibiotic persistence, and emergence of antibiotic resistance further complicates this problem.

Impacts of Dams and Global Warming on Fish Biodiversity in the Indo-Burma Hotspot.

Both hydropower dams and global warming pose threats to freshwater fish diversity. While the extent of global warming may be reduced by a shift towards energy generation by large dams in order to reduce fossil-fuel use, such dams profoundly modify riverine habitats. Furthermore, the threats posed by dams and global warming will interact: for example, dams constrain range adjustments by fishes that might compensate for warming temperatures.

CAML loss causes anaphase failure and chromosome missegregation.

Calcium modulating cyclophilin ligand (CAML) is a ubiquitously expressed cytoplasmic protein that is implicated in the EGFR and LCK signaling pathways and required for early embryonic and thymocyte development. To further define the critical biological functions of CAML at the cellular level, we generated CAML-deleted mouse embryonic fibroblasts (MEFs) using an in vitro Cre-loxP mediated conditional knockout system. We found that CAML(-/-) MEFs have severely impaired proliferation and a strong reduction of normal anaphases.