Limitations of a Mapping Algorithm with Fragmentation Mimics (MAFM) when modeling statistical data sources based on measured packet network traffic

Knowing the estimation of a statistical process’s parameters for measured network traffic is very important as it can then be further used for the statistical analyses and modeling of network traffic in simulation tools. It is for this reason that different estimation methods are proposed that allow estimations of the statistical processes of network traffic. One of them is our own histograms comparison (EMHC) based method that can be used to estimate statistical data-length process parameters from measured packet traffic. The main part of EMHC method is Mapping Algorithm with Fragmentation Mimics (MAFM).     

Disquiet in the plasma

The metaphor of plasma is taken up to present and discuss movement and engagement by participants in mixed reality installation arts. Two works involving full body video portraits exhibited through large plasma screens in a variety of public settings are covered. Machinic mediations of video realism are considered in terms of embodied interaction in which viewer-participants contribute to the ‘disquiet’ of gendered figuring. Processural, proximal and personal aspects of responsive engagement are discussed. This is extended to performativity that may lead us to critical reflection of our own actions and responses in mixed reality arts.     

Efficient SAT-based bounded model checking for software verification

This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a large subset of the C programming language that includes pointer arithmetic and bounded recursion. We consider reachability properties, in particular whether certain assertions or basic blocks are reachable in the source code, or whether certain standard property violations can occur. We perform this analysis via a translation to a Boolean circuit representation based on modeling basic blocks. The program is then analyzed by a back-end SAT-based bounded model checker, where each unrolling is mapped to one step in a block-wise execution of the program.     

Extension of domains of states

We deal with categorical aspects of the extensions of generalized probability measures. In particular, we study various domains of fuzzy sets, describe the relationships between σ-fields of crisp sets and generated Łukasiewicz tribes of measurable functions, and mention some probabilistic aspects. D-posets and sequential continuity play an important role. This work was supported by the Slovak Research and Development Agency under the contract No. APVV-0071-06, Protocol for Scientific and Technological Collaboration between the Republic of Italy and Slovak Republic, Project No. 15: Algebraic and Logical Systems of Soft Computing, and VEGA 2/6088/26.     

Thermal images generated by a line-scanning technique: statistical properties

The analysis of statistical parameters of computer-generated therfial images by a line-scanning technique indicates an approach to efficient image transmission.     

Mode-selective dynamic light scattering: theory versus experimental realization

We present a quantitative experimental comparison of fiber-based, single- and few-mode dynamic light scattering with the classical pinhole-detection optics. The recently presented theory of mode-selective dynamic light scattering [Appl. Opt. 32, 2860 (1993)] predicts a collection efficiency and a signal-tobaseline ratio superior to that of a classical pinhole setup. These predictions are confirmed by our experiments. Using single-mode optical fibers with different cutoff wavelengths and commercially available mechanical components, we have constructed a mode-selective detection optics in a simple and compact dynamic light-scattering spectrometer that permits an optimal compromise between signal intensity and dynamical resolution.     

The influence of temperature and grain size on substructure evolution in stainless steel 316L

The flow stress of polycrystals is controlled by the processes occurring in the grain interior as well as in the mantle, i.e. at the grain boundary and its immediate vicinity. The early stages of evolution of dislocation substructure in these two regions with strain in 316L stainless steel polycrystals have been studied at 293 K, 673 K and 1123 K representing the low temperature thermal, the intermediate temperature athermal and the high temperature thermal regimes respectively. Specimens with grain sizes of 4 and 12 m were employed to determine the effect of grain size.Transmission electron microscopy studies on deformed specimens show the different roles of grain boundary and grain interior in different temperature regimes. In the low temperature regime grain boundaries act as obstacles to moving dislocations and as such high density of dislocation is found in the grain boundary vicinity. In the intermediate temperature regime the dislocations which are easily spread into the grain interior rearrange to form cell walls. In the high temperature regime grain boundaries transform to the equilibrium state and do not contain any grain boundary dislocations, and the distribution of dislocations within grains is homogeneous at all strains. Significantly higher values of dislocation densities in the vicinity as well as in the grain interior were found in the finer grain size material in the whole strain region employed.     

Multifunctional Gadolinium‐Doped Mesoporous TiO2 Nanobeads: Photoluminescence,Enhanced Spin Relaxation,and Reactive Oxygen Species Photogeneration,Beneficial for Cancer Diagnosis and Treatment

Materials with controllable multifunctional abilities for optical imaging (OI) and magnetic resonant imaging (MRI) that also can be used in photodynamic therapy are very interesting for future applications. Mesoporous TiO₂ sub‐micrometer particles are doped with gadolinium to improve photoluminescence functionality and spin relaxation for MRI, with the added benefit of enhanced generation of reactive oxygen species (ROS). The Gd‐doped TiO₂ exhibits red emission at 637 nm that is beneficial for OI and significantly improves MRI relaxation times, with a beneficial decrease in spin–lattice and spin–spin relaxation times. Density functional theory calculations show that Gd³⁺ ions introduce impurity energy levels inside the bandgap of anatase TiO₂, and also create dipoles that are beneficial for charge separation and decreased electron–hole recombination in the doped lattice. The Gd‐doped TiO₂ nanobeads (NBs) show enhanced ability for ROS monitored via ^?OH radical photogeneration, in comparison with undoped TiO₂ nanobeads and TiO₂ P25, for Gd‐doping up to 10%. Cellular internalization and biocompatibility of TiO₂@x Gd NBs are tested in vitro on MG‐63 human osteosarcoma cells, showing full biocompatibility. After photoactivation of the particles, anticancer trace by means of ROS photogeneration is observed just after 3 min irradiation.     

Cross-property connections for copper–graphite composites

Copper–graphite composite materials in the range of 0–10 vol% of carbon phase were prepared from the mixture of copper and graphite powders by hot isostatic pressing. The microstructure, mechanical (tensile strength, elongation to fracture) and physical (electrical and thermal conductivity) properties of composite samples were investigated, and the cross-property connections were calculated. It was shown that electrical and thermal conductivity cross-property (Lorenz number) is almost constant and increases only slightly (no more than 10 % increase was observed). This implies that in the investigated composition range the Lorenz number of a copper–graphite composite system behaves according to Franz–Wiedemann law for pure metals at constant temperature. On the contrary, the conductivity to tensile strength cross-property connections showed significant linear increase (over 200 % in the investigated composition range) for both electrical conductivity and thermal conductivity of composite materials. The cross-property connections of conductivity to the elongation to fracture exhibit a nonlinear dependence on the volume fraction of graphite.