Search Results - "Le‐Nguyen, Dung"

Simply typed convertibility is TOWER-complete even for safe lambda-terms by Nguyên, Lê Thành Dũng

“…We consider the following decision problem: given two simply typed $\lambda$-terms, are they $\beta$-convertible? Equivalently, do they have the same normal…”
Get full text

Z-number based fuzzy MCDM models for analyzing non-traditional security threats to finance supply chains: A case study from Vietnam by Nguyen, Phi-Hung, Nguyen, Lan-Anh Thi, Pham, The-Vu, Nguyen, Kim-Anh, Nguyen, Mai-Anh Ngoc, Nguyen, Le-Dung Thi, Nguyen, Luong-Tuan

“…Non-traditional security (NTS) threats have a vast and profound impact on many aspects of economic, political, social, and many other areas, especially supply…”
Get full text

Auto-detection of sophisticated malware using lazy-binding control flow graph and deep learning by Nguyen, Minh Hai, Nguyen, Dung Le, Nguyen, Xuan Mao, Quan, Tho Thanh

“…To date, industrial antivirus tools are mostly using signature-based methods to detect malware occurrences. However, sophisticated malware, such as metamorphic…”
Get full text

Trypsin inhibition by macrocyclic and open-chain variants of the squash inhibitor MCoTI-II by Avrutina, Olga, Schmoldt, Hans-Ulrich, Gabrijelcic-Geiger, Dusica, Le Nguyen, Dung, Sommerhoff, Christian P, Diederichsen, Ulf, Kolmar, Harald

“…MCoTI-I and MCoTI-II from the seeds of Momordica cochinchinensis are inhibitors of trypsin-like proteases and the only known members of the large family of…”
Get more information

Computational design of protein-based inhibitors of Plasmodium vivax subtilisin-like 1 protease by Bastianelli, Giacomo, Bouillon, Anthony, Nguyen, Christophe, Le-Nguyen, Dung, Nilges, Michael, Barale, Jean-Christophe

“…Malaria remains a major global health concern. The development of novel therapeutic strategies is critical to overcome the selection of multiresistant…”
Get full text

Toothpick—a rare cause of bowel perforation: case report and literature review by Vo, Nhu Quynh, Nguyen, Le Dung, Chau, Thi Hien Trang, Tran, Van Khoi, Nguyen, Thanh Thao

“…Bowel perforation is an emergency condition. Common causes of bowel perforation include infection, infarction, radiation enteritis, Crohn's disease, and…”
Get full text

Use of a synthetic biosensor for neutralizing activity-biased selection of monoclonal antibodies against atroxlysin-I, an hemorrhagic metalloproteinase from Bothrops atrox snake venom by Schneider, Francisco Santos, Nguyen, Dung Le, Castro, Karen Larissa, Cobo, Sandra, Machado de Avila, Ricardo Andrez, Ferreira, Nivia de Assis, Sanchez, Eladio Flores, Nguyen, Christophe, Granier, Claude, Galéa, Pascale, Chávez-Olortegui, Carlos, Molina, Franck

“…The snake Bothrops atrox is responsible for the majority of envenomings in the northern region of South America. Severe local effects, including hemorrhage,…”
Get full text

Computational reverse-engineering of a spider-venom derived peptide active against Plasmodium falciparum SUB1 by Bastianelli, Giacomo, Bouillon, Anthony, Nguyen, Christophe, Crublet, Elodie, Pêtres, Stéphane, Gorgette, Olivier, Le-Nguyen, Dung, Barale, Jean-Christophe, Nilges, Michael

“…Psalmopeotoxin I (PcFK1), a protein of 33 aminoacids derived from the venom of the spider Psalmopoeus Cambridgei, is able to inhibit the growth of Plasmodium…”
Get full text

Cell-permeable peptide-based disruption of endogenous PKA-AKAP complexes: a tool for studying the molecular roles of AKAP-mediated PKA subcellular anchoring by Faruque, Omar M, Le-Nguyen, Dung, Lajoix, Anne-Dominique, Vives, Eric, Petit, Pierre, Bataille, Dominique, Hani, El-Habib

“…Stimulation of numerous G protein-coupled receptors leads to the elevation of intracellular concentrations of cAMP, which subsequently activates the PKA…”
Get more information

The KNOTTIN website and database: a new information system dedicated to the knottin scaffold by Gelly, Jean‐Christophe, Gracy, Jérôme, Kaas, Quentin, Le‐Nguyen, Dung, Heitz, Annie, Chiche, Laurent

“…The KNOTTIN website and database organize information about knottins or inhibitor cystine knots, small disulfide‐rich proteins with a knotted topology. Thanks…”
Get full text

Squash inhibitors: from structural motifs to macrocyclic knottins by Chiche, Laurent, Heitz, Annie, Gelly, Jean-Christophe, Gracy, Jérôme, Chau, Pham T T, Ha, Phan T, Hernandez, Jean-François, Le-Nguyen, Dung

“…In this article, we will first introduce the squash inhibitor, a well established family of highly potent canonical serine proteinase inhibitors isolated from…”
Get more information

N-truncated Aβ peptides in complex fluids unraveled by new specific immunoassays by Ranaldi, Sébastien, Caillava, Céline, Promé, Sylvie, Rubrecht, Laetitia, Cobo, Sandra, Salvetat, Nicolas, du Paty, Emilie, Galea, Pascale, Aldrian, Gudrun, Le Nguyen, Dung, Krolak-Salmon, Pierre, Molina, Franck, Laune, Daniel, Checler, Frédéric, Fareh, Jeannette, Abraham, Jean-Daniel

“…Abstract Previous studies have highlighted the potential physiopathological and diagnostic role of N- and C-terminally truncated amyloid-β (Aβ) peptides in…”
Get full text

Knottin cyclization: impact on structure and dynamics by Heitz, Annie, Avrutina, Olga, Le-Nguyen, Dung, Diederichsen, Ulf, Hernandez, Jean-François, Gracy, Jérôme, Kolmar, Harald, Chiche, Laurent

“…Present in various species, the knottins (also referred to as inhibitor cystine knots) constitute a group of extremely stable miniproteins with a plethora of…”
Get full text

Event-Triggered ℋ∞ Optimal Control for Euler-Lagrange Dynamics with Dead Zone Inputs under Attacks on Sensors and Actuators by Tan, Luy Nguyen, Nguyen Le, Dung, Nguyen Phuc, Quoc Phan, Phan Huynh, Lam, Cong, Thanh Pham

“…Optimal control has been investigated for Euler-Lagrange (EL) systems. However, the existing methods have not yet considered the input constraints due to dead…”
Get full text

Role of Asn2 and Glu7 residues in the oxidative folding and on the conformation of the N-terminal loop of apamin by Le-Nguyen, Dung, Chiche, Laurent, Hoh, François, Martin-Eauclaire, Marie France, Dumas, Christian, Nishi, Yoshinori, Kobayashi, Yuji, Aumelas, André

“…The X‐ray structure of [N‐acetyl]‐apamin has been solved at 0.95 Å resolution. It consists of an 1‐7 N‐terminal loop stabilized by an Asn‐β‐turn motif (2–5…”
Get full text

Event-triggered distributed robust optimal control of nonholonomic mobile agents with obstacle avoidance formation, input constraints and external disturbances by Le-Dung, Nguyen, Huynh-Lam, Phan, Hoang-Giap, Nguyen, Tan-Luy, Nguyen

“…This paper proposes an event-triggered distributed robust optimal control algorithm for nonholonomic mobile agents (NMA) systems with collision avoidance,…”
Get full text

Coherent Interaction Graphs by Nguyen, Lê Thành Dũng, Seiller, Thomas

“…We introduce the notion of coherent graphs, and show how those can be used to define dynamic semantics for Multiplicative Linear Logic (MLL) extended with…”
Get full text

Miniglucagon (Glucagon 19–29), a Potent and Efficient Inhibitor of Secretagogue-induced Insulin Release through a Ca2+Pathway by Dalle, S, Smith, P, Blache, P, Le-Nguyen, D, Le Brigand, L, Bergeron, F, Ashcroft, F M, Bataille, D

“…Using the MIN6 B-cell line, we investigated the hypothesis that miniglucagon, the C-terminal ( 19-29 ) fragment processed from glucagon and present in…”
Get full text

Oxyntomodulin inhibits pancreatic secretion through the nervous system in rats by ANINI, Y, JARROUSSE, C, CHARIOT, J, NAGAIN, C, YANAIHARA, N, SASAKI, K, BERNAD, T, LE NGUYEN, D, BATAILLE, D, ROZE, C

“…Glicentin (GLIC), oxyntomodulin (OXM), and peptide YY (PYY) released in blood by ileocolonic L-cells after meals may inhibit pancreatic secretion. Whereas OXM…”
Get full text

New monoclonal antibodies as probes for human cardiac troponin I: epitopic analysis with synthetic peptides by Larue, C, Defacque-Lacquement, H, Calzolari, C, Le Nguyen, D, Pau, B

“…Forty monoclonal antibodies (MAbs) specific for human cardiac troponin I (TnI) were selected to develop a new alternative for specific biological diagnosis of…”
Get more information