Efficient Design of Pruned Convolutional Neural Networks on FPGA

Journal of Signal Processing Systems - Convolutional Neural Networks (CNNs) have improved several computer vision applications, like object detection and classification, when compared to other...     

A Bio-Conjugated Fullerene as a Subcellular-Targeted and Multifaceted Phototheranostic Agent

Fullerenes are candidates for theranostic applications because of their high photodynamic activity and intrinsic multimodal imaging contrast. However, fullerenes suffer from low solubility in aqueous media, poor biocompatibility, cell toxicity, and a tendency to aggregate. C₇₀@lysozyme is introduced herein as a novel bioconjugate that is harmless to a cellular environment, yet is also photoactive and has excellent optical and optoacoustic contrast for tracking cellular uptake and intracellular localization. The formation, water-solubility, photoactivity, and unperturbed structure of C₇₀@lysozyme are confirmed using UV-visible and 2D ¹H, ¹⁵N NMR spectroscopy. The excellent imaging contrast of C₇₀@lysozyme in optoacoustic and third harmonic generation microscopy is exploited to monitor its uptake in HeLa cells and lysosomal trafficking. Last, the photoactivity of C₇₀@lysozyme and its ability to initiate cell death by means of singlet oxygen (¹O₂) production upon exposure to low levels of white light irradiation is demonstrated. This study introduces C₇₀@lysozyme and other fullerene-protein conjugates as potential candidates for theranostic applications.     

Some Properties of Lattice Ordered Rings

Mathematical Notes -     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Increasing the Efficiency of Projection Models of Strip Lines

Journal of Communications Technology and Electronics - Abstract—The matrix coefficients of projection models of strip lines obtained using the Chebyshev basis are presented as a sum of...     

Mesomorphism of Dichotomous Compounds; X-Ray Diffraction Analysis of 4-Chlorophenyl Hexadecyl Ether

Crystallography Reports - The crystal and molecular structures of Cl–C6H4–O–C16H33 (I) have been studied, and its differential scanning calorimetry (DSC) study is performed....     

Phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters

Analog Integrated Circuits and Signal Processing - This paper presents the complete design of a phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters. The...     

Multi-analyte HPLC–DAD Method for Concurrent Analysis of Six Antimicrobials and Three Proton Pump Inhibitors Frequently used in Management of Helicobacter pylori Infection: Application to Simulated Intestinal Fluid Samples

Chromatographia - The present work deals with the optimization, validation and application of a versatile HPLC–DAD method for concurrent estimation of nine antimicrobials and proton pump...     

Simulation is essential for embedded control systems with task jitter

Sampling or task jitter affects the performance of digital control systems but realistic simulation of this effect has not been possible to date. Our previous work has developed a novel method to simulate sampling jitter in MATLAB/Simulink simulation software where the jitter is generated randomly. What has been missing is a way to capture sampling jitter from a target platform and then feed this timing information into the simulation. This paper presents a low-cost and novel solution to these problems. The method uses an Arduino board to capture task jitter from two different hardware platforms with multiple stressing conditions. Then the recorded performance data is used to drive realistic simulations of a control system. Measurement shows that the task jitter data does not follow any specific random distribution such as Gaussian or Uniform. Furthermore, very occasional timing patterns, which may not be picked up while testing a real system, can result in extreme controller responses. This novel method allows comparisons of different platforms and reduces the effort required to choose the most appropriate platform for full implementation.