Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

Programming and Computer Software - In this paper, we overview the approaches and techniques employed by the Svace static analysis tool for intraprocedural analysis. This analysis implies the...     

The multi-fuzzy N-soft set and its applications to decision-making

Neural Computing and Applications - The goal of this paper is to introduce a novel hybrid model called multi-fuzzy N-soft set, and to design an adjustable decision-making methodology for solving...     

A Multiscale-Porous Anion Exchange Membrane for Convenient and Scalable Electrokinetic Concentration of Cationic Species

A device able to electrokinetically concentrate cationic samples has many potential medical and industrial applications, but until now has remained undeveloped due to the lack of a commercial anion-permselective material leading to a prohibitively complex fabrication procedure. Herein, a novel multiscale-porous anion exchange membrane (MP-AEM) that enables the convenient and scalable electrokinetic concentration of cationic species is proposed. A mechanically enhanced multiscale-porous structure with a solid framework is realized by adopting polyester resin as an additive to overcome the intrinsic limitations of the AEM material. The scalable MP-AEM-embedded electrokinetic concentrator is devised based on the peculiar properties of the MP-AEM that for allow both ion and fluid transport. With the MP-AEM, the concentrator is fabricated in a highly streamlined manner consisting only of a simple insertion and assembly. The concentration performance of the MP-AEM-embedded electrokinetic concentrator is demonstrated with a positively charged fluorescent dye and a fluorescein-labeled protein, and the results show enrichment factors of 250 and 500, respectively. The MP-AEM makes cationic electrokinetic concentration more accessible and scalable, thereby enabling further progress in a wide range of fields.     

Development of DSL Compilers for Specialized Processors

Programming and Computer Software - Modern computer systems often include specialized processors that are programmed in domain-specific languages. The compiler-in-the-loop technology, which assumes...     

Cooperative Diversity in Secondary Systems: Efficient Relaying Protocol for Cognitive Radio

Wireless Personal Communications - This paper considers half-duplex cooperative spectrum sharing scheme where both primary and secondary systems mutually cooperate with each other to exploit...     

Biohydrogen Production from Organic Waste – A Review

Hydrogen fuel is a promising alternative to fossil fuels because of its energy content, clean nature, and fuel efficiency. However, it is not readily available. Most current producion processes are very energy intensive and emit carbon dioxide. Therefore, this article reviews technological options for hydrogen production that are eco-friendly and generate clean hydrogen fuel. Biological methods, such different fermentation processes and photolysis are discussed together with the required substrates and the process efficiency.     

Soret and Dufour effects between two rectangular plane walls with heat source/sink

This study addresses the thermo‐diffusion and the diffusion‐thermo phenomena in a semi‐infinite absorbent channel whose walls are contracting/expanding, with heat source/sink effects. The governing partial differential equations with suitable boundary conditions are transformed to a system of dimensionless ordinary differential equations. An analytic solution of the problem has been found using a technique called homotopy analysis method (HAM). HAM gives consistently valid answers to the problem over an extensive variety of parameters and also provides better accuracy. To validate the analytical results, a comparison has been presented with a numerical solution calculated by using the parallel shooting method. The effects of dimensionless parameters, that is, deformation parameter, Reynolds number, Soret and Dufour numbers, and heat source/sink parameter on the expressions of velocity, temperature, and concentration profiles are analyzed graphically to understand the physics of the deformable channel. It has been noted that the velocity across the channel is higher for the expanding channel, as compared to that for the contracting channel. Also the Soret and Dufour number increases the temperature of the fluid, and decreases the concentration. The temperature profile has an increasing behavior in the case of heat source, and a decreasing behavior in the case of heat sink.     

Mechanophysical Cues in Extracellular Matrix Regulation of Cell Behavior

The extracellular matrix (ECM) is a macromolecular network that can provide biochemical and structural support for cell adhesion and formation. It regulates cell behavior by influencing biochemical and physical cues. It is a dynamic structure whose components are modified, degraded, or deposited during connective tissue development, giving tissues strength and structural integrity. The physical properties of the natural ECM environment control the design of naturally or synthetically derived biomaterials to guide cell function in tissue engineering. Tissue engineering is an important field that explores physical cues of the ECM to produce new viable tissue for medical applications, such as in organ transplant and organ recovery. Understanding how the ECM exerts physical effects on cell behavior, when cells are seeded in synthetic ECM scaffolds, is of utmost importance. Herein we review recent findings in this area that report on cell behaviors in a variety of ECMs with different physical properties, i.e., topology, geometry, dimensionality, stiffness, and tension.     

Design and Characterization of a New pVII Combinatorial Phage Display Peptide Library for Protease Substrate Mining Using Factor VII Activating Protease (FSAP) as Model

We describe a novel, easy and efficient combinatorial phage display peptide substrate-mining method to map the substrate specificity of proteases. The peptide library is displayed on the pVII capsid of the M13 bacteriophage, which renders pIII necessary for infectivity and efficient retrieval, in an unmodified state. As capture module, the 3XFLAG was chosen due to its very high binding efficiency to anti-FLAG mAbs and its independency of any post-translational modification. This library was tested with Factor-VII activating protease (WT-FSAP) and its single-nucleotide polymorphism variant Marburg-I (MI)-FSAP. The WT-FSAP results confirmed the previously reported Arg/Lys centered FSAP cleavage site consensus as dominant, as well as reinforcing MI-FSAP as a loss-of-function mutant. Surprisingly, rare substrate clones devoid of basic amino acids were also identified. Indeed one of these peptides was cleaved as free peptide, thus suggesting a broader range of WT-FSAP substrates than previously anticipated.