Verification of randomized consensus algorithms under round-rigid adversaries

International Journal on Software Tools for Technology Transfer - Randomized fault-tolerant distributed algorithms pose a number of challenges for automated verification: (i) parameterization in...     

UR: SMART–A tool for analyzing social media content

Information Systems and e-Business Management - The digital transformation, with its ongoing trend towards electronic business, confronts companies with increasingly growing amounts of data which...     

High-voltage surge protection by a varistor-filled air gap

The electric discharge across a varistor granule filled air gap under a fast-rising voltage pulse was investigated for surge protection applications. The effects of temperature and pressure on the arc and the electrical conduction were analyzed by the characteristic changes in voltage waveforms triggered by a fast-rising high voltage pulse. In addition to the gap size, experimental results show that competing mechanisms among arc conduction, conduction through the varistor granule network, thermionic emission from Joule heating at granule-to-granule contact points, and the magnitude of the switching voltage dictate the maximum surge protection voltage for the filled air gap. Experimental evidence indicated that accumulated degradation was created at small contact points between varistor granules by repetitive assaults from longer duration, high voltage pulses. The uniqueness of using varistor over other dielectric granules in an air gap for surge protection is identified and discussed.     

Low-Field Nuclear Magnetic Resonance Time Domain Characterization of Polyunsaturated Fatty Acid–Rich Linseed and Fish Oil Emulsions during Thermal Air Oxidation

Linseed contains high levels of polyunsaturated fatty acids (PUFA), such as α-linolenic acid (> 50% ALA-18:3), that are naturally protected against thermal oxidation by their encapsulation within linseed oil bodies (OB) by multiple components including antioxidant proteins and mucilage emulsifying agents. Linseed OB emulsions (LSE) can be produced by grinding linseed seeds, adding water, adjusting pH, and sonication. This is a process that can encapsulate externally added PUFA to minimize their thermal oxidation, as it does for the intrinsic ALA PUFA. Fish oil (FO) encapsulation into this LSE platform to form linseed fish oil emulsions (LSFE) offers the possibility of a nutritive delivery system of the biologically essential FO PUFA eicosapentaenoic acid and docosahexaenoic acid. In this study, ¹H low-field nuclear magnetic resonance (LF-NMR) is used to characterize LSE's and LSFE's chemical and structural properties as well as their stability and changes under thermal oxidation (55 °C for 96 hours). ¹H LF-NMR data processing was developed to generate one-dimensional (1D) T₁ (spin–lattice), 1D T₂ (spin–spin), and 2D (T₁ vs. T₂) relaxation time spectra that can characterize OB emulsions and monitor their time domain fingerprints (spectrum peaks) of chemical and structural changes during the oxidation process. The ¹H LF-NMR analysis were further supported and correlated with conventional peroxide value test, self-diffusion, droplet size distribution, zeta potential estimation of surface stability, and gas chromatography–mass spectrometry analysis of fatty acid profile changes under thermal oxidation conditions. The 1D and 2D LF-NMR relaxation spectra showed that the LSE and LSFE did not suffer intense oxidation process, due to PUFA assembly in OB oxidative protection. These results were further confirmed by the supportive analytical methodologies. The results of this study demonstrate the efficacy of ¹H LF-NMR methodology to monitor PUFA's rich oil and emulsion thermal oxidation.     

Comparison of 2D simultaneous multi-slice and 3D GRASE readout schemes for pseudo-continuous arterial spin labeling of cerebral perfusion at 3 T

Objective

In this perfusion magnetic resonance imaging study, the performances of different pseudo-continuous arterial spin labeling (PCASL) sequences were compared: two-dimensional (2D) single-shot readout with simultaneous multislice (SMS), 2D single-shot echo-planar imaging (EPI) and multishot three-dimensional (3D) gradient and spin echo (GRASE) sequences combined with a background-suppression (BS) module.

Materials and methods

Whole-brain PCASL images were acquired from seven healthy volunteers. The performance of each protocol was evaluated by extracting regional cerebral blood flow (rCBF) measures using an inline morphometric segmentation prototype. Image data postprocessing and subsequent statistical analyses enabled comparisons at the regional and sub-regional levels.

Results

The main findings were as follows: (i) Mean global CBF obtained across methods was were highly correlated, and these correlations were significantly higher among the same readout sequences. (ii) Temporal signal-to-noise ratio and gray-matter-to-white-matter CBF ratio were found to be equivalent for all 2D variants but lower than those of 3D-GRASE.

Discussion

Our study demonstrates that the accelerated SMS readout can provide increased acquisition efficiency and/or a higher temporal resolution than conventional 2D and 3D readout sequences. Among all of the methods, 3D-GRASE showed the lowest variability in CBF measurements and thus highest robustness against noise.

     

High-capacity quantum key distribution using Chebyshev-map values corresponding to Lucas numbers coding

We propose an approach that achieves high-capacity quantum key distribution using Chebyshev-map values corresponding to Lucas numbers coding. In particular, we encode a key with the Chebyshev-map values corresponding to Lucas numbers and then use k-Chebyshev maps to achieve consecutive and flexible key expansion and apply the pre-shared classical information between Alice and Bob and fountain codes for privacy amplification to solve the security of the exchange of classical information via the classical channel. Consequently, our high-capacity protocol does not have the limitations imposed by orbital angular momentum and down-conversion bandwidths, and it meets the requirements for longer distances and lower error rates simultaneously.     

Pose-invariant face recognition by matching on multi-resolution MRFs linked by supercoupling transform

Recognition of faces in arbitrary pose is addressed in this paper. For this task, an MRF-based classification approach is proposed which employs the energy of the established match between a pair of images as a criterion of goodness-of-match. By incorporating an image matching method as part of the recognition process, the system is made robust to moderate global spatial transformations. The approach draws on a method [1] which has the potential to cope with pose changes but a direct application of which suffers from several shortcomings. In order to overcome these problems, a number of enhancements are proposed. First, by adopting a multi-scale relaxation scheme based on super coupling transform, the inference using sequential tree re-weighted message passing approach [2] is accelerated. Next, by taking advantage of a statistical shape prior for the matching, the results are regularized and constrained, making the system robust to spurious structures and outliers. For classification, both textural and structural similarities of the facial images are taken into account. The method is evaluated on two databases and promising results are obtained.