Prospects for Solving the Muon Puzzle on the NEVOD-DECOR-TREK Complex

Physics of Atomic Nuclei - The muon puzzle is an excess of muon bundles generated by primary cosmic rays (PCR) at energies above 10 $${}^{17}$$ eV compared to estimations that assume even a heavy...     

Block GPBi-CG method for solving nonsymmetric linear systems with multiple right-hand sides and its convergence analysis

Numerical Algorithms - In this paper, the block generalized product-type bi-conjugate gradient (GPBi-CG) method for solving large, sparse nonsymmetric linear systems of equations with multiple...     

Blockchain for Collaborative Businesses

Mobile Networks and Applications - Blockchain applications have continuously improved ever since its first debut on cryptocurrency. From then on, its uses have branched out from the financial...     

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 -     

Estimation of the Sorption Activity of Silver Nanoparticles on Biodegradable Fibers of Natural and Artificial Origin

Russian Physics Journal - The specific features of the sorption activity of silver nanoparticles (AgNPs) on biodegradable polymers of natural (collagen) and artificial (polyamide 6.6) origin have...     

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.