Deep learning based automatic software defects detection Framework

We present the VulDetect, a source code vulnerability detection system. This system uses deep learning methods to organizate rules for deciding whether a code fragment is vulnerable. This approach is an improvement of the approach proposed in VulDeePecker. The model uses the AST representation of the source code. We compared vulnerability detection results of both systems on the Bitcoin Core project

Counting and effective rigidity in algebra and geometry

The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effective versions of these rigidity results by ensuring that, for two incommensurable arithmetic manifolds of bounded volume, the length sets (resp., the complex length sets) must disagree for a length that can be explicitly bounded as a function of volume. We also prove an effective version of a similar rigidity result established by the second author with Reid on a surface analog of the length spectrum for hyperbolic 3-manifolds. These effective results have corresponding algebraic analogs involving maximal subfields and quaternion subalgebras of quaternion algebras. To prove these effective rigidity results, we establish results on the asymptotic behavior of certain algebraic and geometric counting functions which are of independent interest.Comment: v.2, 39 pages. To appear in Invent. Mat

A novel role for syndecan-3 in angiogenesis.

Syndecan-3 is one of the four members of the syndecan family of heparan sulphate proteoglycans and has been shown to interact with numerous growth factors via its heparan sulphate chains. The extracellular core proteins of syndecan-1,-2 and -4 all possess adhesion regulatory motifs and we hypothesized that syndecan-3 may also possess such characteristics. Here we show that a bacterially expressed GST fusion protein consisting of the entire mature syndecan-3 ectodomain has anti-angiogenic properties and acts via modulating endothelial cell migration. This work identifies syndecan-3 as a possible therapeutic target for anti-angiogenic therapy.This work was funded by Arthritis Research-UK (Grant No. 19207) and funds from the William Harvey Research Foundation both to JRW

Preparation and thermal properties of mineral-supported polyethylene glycol as form-stable composite phase change materials (CPCMs) used in asphalt pavements

Tis work was supported by the National Natural Science Foundation of China (51704040, 51778071, 51608058), the Scientifc Research Project of Hunan Provincial Department of Education for Excellent Young Scholars (16B007), Open Fund of Key Laboratory of Special Environment Road Engineering of Hunan Province (Changsha University of Science & Technology, kf160501), and Open Fund of Key Laboratory of Biohydrometallurgy, Ministry of Education (Central South University, MOEKLB1708)

LACTOFERIN IN THE PROBLEM OF ANTI-INFECTIOUS PROTECTION OF BABIES IN THEIR FIRST YEAR OF LIVING

The author  summarizes  the  results  of research  of the  antibacterial,  antiviral  and  antifungal  properties  of multifunctional  human protein  — lactoferrin,  in order  to determine  the prospects  for its use in the prevention  and  treatment  of infectious  diseases  of children in their first year of life. The mechanisms of anti-infectious effect of this protein with breastfed children have been described. Basic differences between human lactoferrin and cattle lactoferrin have been shown. Biotechnology of obtaining recombinant human lactoferrin from the milk of genetically engineered dairy animals (goat-producers) has been described. According to the studies, both by physical and chemical parameters and biological activity, human lactoferrin, obtained from milk-producing  goats, corresponds to its natural counterpart

Urokinase Plasminogen Receptor and the Fibrinolytic Complex Play a Role in Nerve Repair after Nerve Crush in Mice, and in Human Neuropathies

Remodeling of extracellular matrix (ECM) is a critical step in peripheral nerve regeneration. In fact, in human neuropathies, endoneurial ECM enriched in fibrin and vitronectin associates with poor regeneration and worse clinical prognosis. Accordingly in animal models, modification of the fibrinolytic complex activity has profound effects on nerve regeneration: high fibrinolytic activity and low levels of fibrin correlate with better nerve regeneration. The urokinase plasminogen receptor (uPAR) is a major component of the fibrinolytic complex, and binding to urokinase plasminogen activator (uPA) promotes fibrinolysis and cell movement. uPAR is expressed in peripheral nerves, however, little is known on its potential function on nerve development and regeneration. Thus, we investigated uPAR null mice and observed that uPAR is dispensable for nerve development, whereas, loss of uPAR affects nerve regeneration. uPAR null mice showed reduced nerve repair after sciatic nerve crush. This was a consequence of reduced fibrinolytic activity and increased deposition of endoneurial fibrin and vitronectin. Exogenous fibrinolysis in uPAR null mice rescued nerve repair after sciatic nerve crush. Finally, we measured the fibrinolytic activity in sural nerve biopsies from patients with peripheral neuropathies. We showed that neuropathies with defective regeneration had reduced fibrinolytic activity. On the contrary, neuropathies with signs of active regeneration displayed higher fibrinolytic activity. Overall, our results suggest that enforced fibrinolysis may facilitate regeneration and outcome of peripheral neuropathies

Display of Cell Surface Sites for Fibronectin Assembly Is Modulated by Cell Adherence to 1F3 and C-Terminal Modules of Fibronectin

BACKGROUND: Fibronectin-null cells assemble soluble fibronectin shortly after adherence to a substrate coated with intact fibronectin but not when adherent to the cell-binding domain of fibronectin (modules (7)F3-(10)F3). Interactions of adherent cells with regions of adsorbed fibronectin other than modules (7)F3-(10)F3, therefore, are required for early display of the cell surface sites that initiate and direct fibronectin assembly. METHODOLOGY/PRINCIPAL FINDINGS: To identify these regions, coatings of proteolytically derived or recombinant pieces of fibronectin containing modules in addition to (7)F3-(10)F3 were tested for effects on fibronectin assembly by adherent fibronectin-null fibroblasts. Pieces as large as one comprising modules (2)F3-(14)F3, which include the heparin-binding and cell adhesion domains, were not effective in supporting fibronectin assembly. Addition of module (1)F3 or the C-terminal modules to modules (2)F3-(14)F3 resulted in some activity, and addition of both (1)F3 and the C-terminal modules resulted in a construct, (1)F3-C, that best mimicked the activity of a coating of intact fibronectin. Constructs (1)F3-C V0, (1)F3-C V64, and (1)F3-C Delta(V(15)F3(10)F1) were all able to support fibronectin assembly, suggesting that (1)F3 through (11)F1 and/or (12)F1 were important for activity. Coatings in which the active parts of (1)F3-C were present in different proteins were much less active than intact (1)F3-C. CONCLUSIONS: These results suggest that (1)F3 acts together with C-terminal modules to induce display of fibronectin assembly sites on adherent cells

ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ ЛАКТОФЕРРИНА У ДЕТЕЙ ПЕРВОГО ГОДА ЖИЗНИ

The author  summarizes  the  results  of research  of the  antibacterial,  antiviral  and  antifungal  properties  of multifunctional  human protein  — lactoferrin,  in order  to determine  the prospects  for its use in the prevention  and  treatment  of infectious  diseases  of children in their first year of life. The mechanisms of anti-infectious effect of this protein with breastfed children have been described. Basic differences between human lactoferrin and cattle lactoferrin have been shown. Biotechnology of obtaining recombinant human lactoferrin from the milk of genetically engineered dairy animals (goat-producers) has been described. According to the studies, both by physical and chemical parameters and biological activity, human lactoferrin, obtained from milk-producing  goats, corresponds to its natural counterpart.В статье обобщены результаты исследований, посвященных изучению антибактериальных, противовирусных и противогрибковых свойств многофункционального белка человека — лактоферрина, для определения перспектив его применения с целью профилактики и лечения инфекционной патологии у детей первого года жизни. Описаны механизмы противоинфекционного действия этого белка у детей, находящихся на грудном вскармливании. Показаны основные различия между лактоферрином человека и лактоферрином крупного рогатого скота. Описана биотехнология получения рекомбинантного лактоферрина человека из молока генно-инженерных молочных животных (коз-продуцентов). Согласно проведенным исследованиям, как по физико-химическим параметрам, так и по биологической активности лактоферрин  человека, выделенный из молока коз-продуцентов, соответствует его природному аналогу

An overview of tissue engineering approaches for management of spinal cord injuries

Severe spinal cord injury (SCI) leads to devastating neurological deficits and disabilities, which necessitates spending a great deal of health budget for psychological and healthcare problems of these patients and their relatives. This justifies the cost of research into the new modalities for treatment of spinal cord injuries, even in developing countries. Apart from surgical management and nerve grafting, several other approaches have been adopted for management of this condition including pharmacologic and gene therapy, cell therapy, and use of different cell-free or cell-seeded bioscaffolds. In current paper, the recent developments for therapeutic delivery of stem and non-stem cells to the site of injury, and application of cell-free and cell-seeded natural and synthetic scaffolds have been reviewed