Woodification: User‐Controlled Cambial Growth Modeling

We present a botanical simulation of secondary (cambial) tree growth coupled to a physical cracking simulation of its bark. Whereas level set growth would use a fixed resolution voxel grid, our system extends the deformable simplicial complex (DSC), supporting new biological growth functions robustly on any surface polygonal mesh with adaptive subdivision, collision detection and topological control. We extend the DSC with temporally coherent texturing, and surface cracking with a user‐controllable biological model coupled to the stresses introduced by the cambial growth model.     

Optimal randomized RANSAC

A randomized model verification strategy for RANSAC is presented. The proposed method finds, like RANSAC, a solution that is optimal with user-specified probability. The solution is found in time that is (i) close to the shortest possible and (ii) superior to any deterministic verification strategy. A provably fastest model verification strategy is designed for the (theoretical) situation when the contamination of data by outliers is known. In this case, the algorithm is the fastest possible (on average) of all randomized \\RANSAC algorithms guaranteeing a confidence in the solution. The derivation of the optimality property is based on Wald's theory of sequential decision making, in particular a modified sequential probability ratio test (SPRT). Next, the R-RANSAC with SPRT algorithm is introduced. The algorithm removes the requirement for a priori knowledge of the fraction of outliers and estimates the quantity online. We show experimentally that on standard test data the method has performance close to the theoretically optimal and is 2 to 10 times faster than standard RANSAC and is up to 4 times faster than previously published methods.     

A formal model of composing components: the TLA+ approach

In this paper, a method for writing composable TLA⁺ specifications that conform to the formal model called Masaccio is introduced. Specifications are organized in TLA⁺ modules that correspond to Masaccio components by means of a trace-based semantics. Hierarchical TLA⁺ specifications are built from atomic component specifications by parallel and serial composition that can be arbitrary nested. While the rule of parallel composition is a variation of the classical joint-action composition, the authors do not know about a reuse method for the TLA⁺ that systematically employs the presented kind of a serial composition. By combining these two composition rules and assuming only the noninterleaving synchronous mode of an execution, the concurrent, sequential, and timed compositionality is achieved.     

Development of High-Efficiency,Magnetically Separable Palladium-Decorated Manganese-Ferrite Catalyst for Nitrobenzene Hydrogenation

Aniline (AN) is one of the most important compounds in the chemical industry and is prepared by the catalytic hydrogenation of nitrobenzene (NB). The development of novel, multifunctional catalysts which are easily recoverable from the reaction mixture is, therefore, of paramount importance. Compared to conventional filtration, magnetic separation is favored because it is cheaper and more facile. For satisfying these requirements, we developed manganese ferrite (MnFe₂O₄)–supported, magnetically separable palladium catalysts with high catalytic activity in the hydrogenation of nitrobenzene to aniline. In addition to high NB conversion and AN yield, remarkable aniline selectivity (above 96 n/n%) was achieved. Surprisingly, the magnetic support alone also shows moderate catalytic activity even without noble metals, and thus, up to 94 n/n% nitrobenzene conversion, along with 47 n/n% aniline yield, are attainable. After adding palladium nanoparticles to the support, the combined catalytic activity of the two nanomaterials yielded a fast, efficient, and highly selective catalyst. During the test of the Pd/MnFe₂O₄ catalyst in NB hydrogenation, no by-products were detected, and consequently, above 96 n/n% aniline yield and 96 n/n% selectivity were achieved. The activity of the Pd/MnFe₂O₄ catalyst was not particularly sensitive to the hydrogenation temperature, and reuse tests indicate its applicability in at least four cycles without regeneration. The remarkable catalytic activity and other favorable properties can make our catalyst potentially applicable to both NB hydrogenation and other similar or slightly different reactions.     

The Role of Exosomes in Cancer Progression

Early detection, characterization and monitoring of cancer are possible by using extracellular vesicles (EVs) isolated from non-invasively obtained liquid biopsy samples. They play a role in intercellular communication contributing to cell growth, differentiation and survival, thereby affecting the formation of tumor microenvironments and causing metastases. EVs were discovered more than seventy years ago. They have been tested recently as tools of drug delivery to treat cancer. Here we give a brief review on extracellular vesicles, exosomes, microvesicles and apoptotic bodies. Exosomes play an important role by carrying extracellular nucleic acids (DNA, RNA) in cell-to-cell communication causing tumor and metastasis development. We discuss the role of extracellular vesicles in the pathogenesis of cancer and their practical application in the early diagnosis, follow up, and next-generation treatment of cancer patients.     

Optical Study of Solvatochromic Isocyanoaminoanthracene Dyes and 1,5-Diaminoanthracene

Isocyanoaminoarenes (ICAAr-s) are a novel and versatile group of solvatochromic fluorophores. Despite their versatile applicability, such as antifungals, cancer drugs and analytical probes, they still represent a mostly unchartered territory among intramolecular charge-transfer (ICT) dyes. The current paper describes the preparation and detailed optical study of novel 1-isocyano-5-aminoanthrace (ICAA) and its N-methylated derivatives along with the starting 1,5-diaminoanthracene. The conversion of one of the amino groups of the diamine into an isocyano group significantly increased the polar character of the dyes, which resulted in a significant 50–70 nm (2077–2609 cm⁻¹) redshift of the emission maximum and a broadened solvatochromic range. The fluorescence quantum yield of ICAAs is strongly influenced by the polarity of the solvent. The starting anthracene-diamine is highly fluorescent in every solvent (√_f = 12–53%), while the isocyano derivatives are practically nonfluorescent in solvents more polar than dioxane. This phenomenon implies the potential application of ICAAs to probe the polarity of the medium and is favorable in practical applications, such as cell-staining, resulting in a reduced background fluorescence. The ICT character of the emission states of ICAAs are in good agreement with the computational findings presented in TD-DFT calculations and molecular electrostatic potential (MESP) isosurfaces.