Miracle-dz/UniFAR-FTUs huggingface dataset:
CScrypt: A Compressive-Sensing-Based Encryption Engine for the Internet of Things: Demo Abstract

Internet of Things (IoT) have been connecting the physical world seamlessly and provides tremendous opportunities to a wide range of applications. However, potential risks exist when IoT system collects local sensor data and uploads to the Cloud. The private data leakage can be severe with curious database administrator or malicious hackers who compromise the Cloud. In this demo, we solve this problem of guaranteeing the user data privacy and security using compressive sensing based cryptographic method. We present CScrypt, a compressive-sensing-based encryption engine for the Cloud-enabled IoT systems to secure the interaction between the IoT devices and the Cloud. Our system exploits the fact that each individual's biometric data can be trained to a unique dictionary which can be used as an encryption key meanwhile to compress the original data. We will demonstrate a functioning prototype of our system using live data stream when attending the conference.
Design and Control of a Variable Stiffness Actuator Based on Adjustable Moment Arm

For tasks that require robot-environment interaction, stiffness control is important to ensure stable contact motion and collision safety. The variable stiffness approach has been used to address this type of control. We propose a hybrid variable stiffness actuator (HVSA), which is a variable stiffness unit design. The proposed HVSA is composed of a hybrid control module based on an adjustable moment-arm mechanism, and a drive module with two motors. By controlling the relative motion of gears in the hybrid control module, position and stiffness of a joint can be simultaneously controlled. The HVSA provides a wide range of joint stiffness due to the nonlinearity provided by the adjustable moment arm. Furthermore, the rigid mode, which behaves as a conventional stiff joint, can be implemented to improve positioning accuracy when a robot handles a heavy object. In this paper, the mechanical design features and related analysis are explained. We show that the HVSA can provide a wide range of stiffness and rapid responses according to changes in the stiffness of a joint under varying loads by experiments. The effectiveness of the rigid mode is verified by some experiments on position tracking under high-load conditions.
Illumination analysis of wave-equation imaging with curvelets

We present a comprehensive framework for wave-equation illumination analysis and introduce a target-oriented illumination correction that simultaneously accounts for a limited acquisition aperture and, locally, compensates for the so-called normal operator in inverse scattering to yield a partial reconstruction of reflectivity or reflection coefficient, while minimizing (orientation-dependent) phase distortions and artifacts. The corrections are nested while the most significant correction is typically the one associated with the limited acquisition aperture. To carry out the analysis, we make use of higher dimensional curvelets, which provide the means of extracting directional information, and introduce associated matrix representations for the component operators, including the tapers associated with the acquisition aperture, that make up wave-equation imaging; we essentially exploit the properties of these matrices. Curvelets can be viewed as ‘fat’, localized plane waves and hence form a natural candidate to generalize geophysical diffraction tomography, which is at the basis of our approach. Our approach admits the formation of caustics and, hence, is valid in complex wave-speed models, though these need to be known for the illumination compensation to be effective.
Interactive Segmentation of Multiple Images

In this paper, we propose an optimization model for interactive segmentation of multiple images. The user marks some sample pixels or objects in one or more images. Then, the method employs the samples as strong priors to automatically segment other input images. A good feature of the method is that the segmentation is highly controllable by the user, so that the user can easily obtain the kind of objects that he/she wants. The approach is especially effective for segmentation of a large collection of images that share similar features, where the user inputs some samples once and for all. We demonstrate the usefulness of the model to the segmentation of various collections of bioimages.
Music students’ intercultural sensitivity to different religious convictions

The authors’ aim is to analyze the degree of openness to different religious convictions among students of Department of Music, Faculty of Arts in Nis, and also to test whether these students have an active attitude on overcoming religious prejudice. The research was initiated due to the fact that during their education, through various teaching activities (playing, singing, conducting, composition, listening to music and its analysis) students become familiar with religious, spiritual, and church music, as a constituent part of different religions. The assumption is that precisely through music as one of the most universal media of artistic communication students can establish and develop a positive attitude to religious differences. Research results show that students are aware of various religious convictions and affiliations, but they do not show enough sensitivity to respecting differences, and they do not take part in the struggle against prejudices that accompany those differences.
Highly time-resolved chemical characterization of atmospheric submicron particles during 2008 Beijing Olympic Games using an Aerodyne High-Resolution Aerosol Mass Spectrometer

Abstract. As part of Campaigns of Air Quality Research in Beijing and Surrounding Region-2008 (CAREBeijing-2008), an Aerodyne High-Resolution Time-of-Flight Aerosol Mass Spectrometer (HR-ToF-AMS) was deployed in urban Beijing to characterize submicron aerosol particles during the time of 2008 Beijing Olympic Games and Paralympic Games (24 July to 20 September 2008). The campaign mean PM1 mass concentration was 63.1 ± 39.8 μg m−3; the mean composition consisted of organics (37.9%), sulfate (26.7%), ammonium (15.9%), nitrate (15.8%), black carbon (3.1%), and chloride (0.87%). The average size distributions of the species (except BC) were all dominated by an accumulation mode peaking at about 600 nm in vacuum aerodynamic diameter, and organics was characterized by an additional smaller mode extending below 100 nm. Positive Matrix Factorization (PMF) analysis of the high resolution organic mass spectral dataset differentiated the organic aerosol into four components, i.e., hydrocarbon-like (HOA), cooking-related (COA), and two oxygenated organic aerosols (OOA-1 and OOA-2), which on average accounted for 18.1, 24.4, 33.7 and 23.7% of the total organic mass, respectively. The HOA was identified to be closely associated with primary combustion sources, while the COA mass spectrum and diurnal pattern showed similar characteristics to that measured for cooking emissions. The OOA components correspond to aged secondary organic aerosol. Although the two OOA components have similar elemental (O/C, H/C) compositions, they display differences in mass spectra and time series which appear to correlate with the different source regions sampled during the campaign. Back trajectory clustering analysis indicated that the southerly air flows were associated with the highest PM1 pollution during the campaign. Aerosol particles in southern airmasses were especially rich in inorganic and oxidized organic species. Aerosol particles in northern airmasses contained a large fraction of primary HOA and COA species, probably due to stronger influences from local emissions. The lowest concentration levels for all major species were obtained during the Olympic game days (8 to 24 August 2008), possibly due to the effects of both strict emission controls and favorable meteorological conditions.
The carbon cycle for Lake Washington—A stable isotope study1

The authors investigate the carbon cycle in Lake Washington for the year 1980 using monthly measurements of the dissolved inorganic carbon (DIC) and its /sup 13/C:/sup 12/C isotopic composition. Mass balances of DIC and its /sup 13/C:/sup 12/C yield estimates of CO/sub 2/ gas exchange rates and net organic carbon production rates. Between 24 June and 13 August, the calculated CO/sub 2/ gas invasion rate of 0.80 x 10/sup 6/ mol C d/sup -1/ is nearly equal to the river DIC inflow rate. The calculated epilimnetic net organic carbon production rate is 0.68 x 10/sup 6/ mol C d/sup -1/, about 20-30% of primary productivity estimated from /sup 14/C-fixation experiments and ETS-derived respiration rates. Metalimnetic and hypolimnetic DIC increase rates and porewater DIC gradients in hypolimnetic sediments indicate that remineralization of particulate organic carbon (POC) previously deposited in the sediments is a major (0.5 x 10/sup 6/ mol C d/sup -1/) DIC source to the lake during summer. For the whole year, summertime CO/sub 2/ gas invasion balances wintertime CO/sub 2/ gas evasion and DIC and POC outflow balance DIC and POC inflow rates, implying no net carbon burial in the sediments during 1980. This contrasts with the measured longmore » term sedimentation-rate-derived carbon burial rate of 0.8 x 10/sup 6/ mol C d/sup -1/. Year-to-year variability in summertime primary production rates largely determines net gains or losses of carbon via CO/sub 2/ gas exchange and sedimentation. « less
A Role for CD4 in Peripheral T Cell Differentiation

Naive CD4+ T helper cells (Th) differentiate into one of two well-defined cell types during immune responses. Mature Th1 and Th2 cells regulate the type of response as a consequence of the unique cytokines that they secrete. CD4 serves a prominent role in potentiating antigen recognition by helper T cells. We have examined the role of CD4 in peripheral T cell differentiation by studying helper T cells from mice with a congenital defect in CD4 expression. After protein immunization or infection with Leishmania major, CD4-deficient mice were incapable of mounting antigen-specific Th2 responses, but retained their Th1 potency. CD4-deficient, T cell receptor transgenic T cells were also incapable of Th2 differentiation after in vitro activation. Expression of a wild-type CD4 transgene corrected the Th2 defect of CD4-deficient mice in all immune responses tested. To investigate the role of the cytoplasmic domain, mice reconstituted with a truncated CD4 molecule were also studied. Expression of the tailless CD4 transgene could not rescue the Th2 defect of CD4-deficient mice immunized with protein or CD4-deficient transgenic T cells activated in vitro, raising the possibility that the cytoplasmic domain of CD4 may influence Th2 generation. Expression of the tailless transgene was, however, capable of restoring Th2 development in CD4-deficient mice infected with L. major or CD4-deficient transgenic T cells activated in the presence of recombinant IL-4, demonstrating that the cytoplasmic domain is not absolutely required for Th2 development. Together, these results demonstrate a previously undescribed role of the CD4 molecule. The requirement for CD4 in Th2 maturation reflects the importance of molecules other than cytokines in the control of helper T cell differentiation.
Saponins from Sanguisorba officinalis Improve Hematopoiesis by Promoting Survival through FAK and Erk1/2 Activation and Modulating Cytokine Production in Bone Marrow

Radix Sanguisorbae, the root of Sanguisorba officinalis L. is used as traditional Chinese medicine. In recent decades, it has been reported to be clinically effective against myelosuppression induced by chemotherapy and/ or radiotherapy. However, the underlining mechanism has not been well studied. In this work, we evaluated the hematopoietic effect of total saponins from S. officinalis L. on myelosuppressive mice induced by cyclophosphamide and by60Co-γ-irradiation and confirmed the therapeutic effect. Then, we found total saponins and their characteristic constituents Ziyuglycoside I and Ziyuglycoside II can inhibit apoptosis of TF-1 cells caused by cytokine deprivation, and promote survival of mouse bone marrow nuclear cells through focal adhesion kinase (FAK) and extracellular signal-regulated kinase 1/2 (Erk1/2) activation in vitro. In addition, they can down-regulate macrophage inflammatory protein 2 (MIP-2), platelet factor 4 (PF4) and P-selectin secretion, which are reported to be suppressive to hematopoiesis, both in vitro and in vivo. These results suggest that promotion of survival through FAK and Erk1/2 activation and inhibition of suppressive cytokines in the bone marrow is likely to be the pharmacological mechanism underlying the hematopoietic effect of saponins from S. officinalis L.
Motion control of redundant robots under joint constraints: Saturation in the Null Space

We present a novel efficient method addressing the inverse differential kinematics problem for redundant manipulators in the presence of different hard bounds (joint range, velocity, and acceleration limits) on the joint space motion. The proposed SNS (Saturation in the Null Space) iterative algorithm proceeds by successively discarding the use of joints that would exceed their motion bounds when using the minimum norm solution and reintroducing them at a saturated level by means of a projection in a suitable null space. The method is first defined at the velocity level and then moved to the acceleration level, so as to avoid joint velocity discontinuities due to the switching of saturated joints. Moreover, the algorithm includes an optimal task scaling in case the desired task trajectory is unfeasible under the given joint bounds. We also propose the integration of obstacle avoidance in the Cartesian space by properly modifying on line the joint bounds. Simulation and experimental results reported for the 7-dof lightweight KUKA LWR IV robot illustrate the properties and computational efficiency of the method.
Parallel Ray Tracing on the BlueGene / L

While libraries such as Nvidia’s CUDA can greatly optimize the graphical application, it’s pipeline structure causes inaccuracies to occur in lighting physics. As such, an efficient, accurate graphical application is required Ray-tracing can render lightings very accurately, but falls short in efficiency With a massively parallel system such as BlueGene/L (BG/L), however, ray-tracing can be rendered at a much faster speed.
Requirement Engineering Technique for Smart Spaces

A smart space is an increasingly important application of Internet of Things (IoT), which is being developed throughout the world for different purposes ranging from home automation to smart grids. However, a common approach for requirement capture and specification at an abstract level is needed in smart space development that is independent of the continuously changing technology. To provide a systematic process, the standard software engineering practices can be used in the smart space development, and hence take advantages of. In this context, this paper contributes in the field of requirement engineering for smart spaces by introducing the requirement specification technique based on software engineering Use Case concept. The conventional Use Case structure and the way it is described are modified to suit the requirements of smart spaces. The case of a hypothetical smart space development is considered, where the proposed requirement specification technique is applied and a Use Case repository is developed that can be used as a canonical resource for other researchers to draw upon. The implementation provides profound descriptions on how to use the proposed requirement specification technique during the development of smart spaces and in other application areas of IoT. This work can be used as a first step towards defining the smart space development framework, of which the proposed technique would be a key element.
Fast high-definition video background completion using features tracking

This paper presents an automatic video background completion approach based on invariant features tracking and image registration to find valid replacement regions. Previous exemplar-based methods provide good results for low-resolution video sequences, but suffer from long computation times and large memory consumption for high-definition sequences. We first select a candidate frame to complete a missing region using invariant features tracking and image registration. This greatly reduces computation times as it does not require the lengthy nearest neighbor searches seen in typical video completion methods. To minimize registration errors, we introduce a fast validation approach. Then, we propose an exposure correction method based on histogram specification to eliminate illumination inconsistencies in the completed regions. Finally, we complete the missing region with a multi-band blending approach to minimize boundary discontinuities. Our approach can achieve good quality results on high-definition videos, and it can deal with a variety of real-life problems, such as non-trivial camera movement and illumination changes. Furthermore, the proposed method requires low computation times which represent a 24–54 times speedup over previous methods. In addition to providing specific implementation details, this paper presents experimental results on a variety of videos and compares them to state-of-the-art methods in terms of visual quality and performance.
Language and Literacy Development in Children Learning English as an Additional Language: a Longitudinal Cohort and Vocabulary Intervention Study

Children learning English as an Additional Language (EAL) are a growing but understudied population of learners in English primary schools. As EAL learners vary in their amount of exposure to English, they often begin formal education with relatively lower levels of English language proficiency than their monolingual peers. Little is known about the English language and literacy developmental trajectories of EAL learners in England, and particularly, the extent to which the two groups of learners converge or diverge over time. Additionally, no studies to date have assessed the efficacy of explicit, targeted vocabulary instruction in this group of learners in the run up to the end of primary school. The present study comprised a longitudinal cohort study of 48 EAL learners and 33 monolingual peers who were assessed at three time points between Year 4 (age 8-9) and Year 5 (age 9-10) on a battery of English language and literacy measures. All EAL learners had received English-medium education since at least Year 1 (age 5-6). Relative to their monolingual peers, EAL learners showed strengths in rapid naming, single-word reading efficiency, and spelling, but weaknesses in vocabulary knowledge, expressive syntax, and passage reading accuracy. Where they exhibited weaknesses, EAL learners generally did not make sufficient progress in order to close gaps with their monolingual peers. A subgroup of nine EAL learners with English vocabulary weaknesses also participated in short-term vocabulary intervention. Working one-to-one with speech and language therapy students, children showed significant gains in receptive and productive knowledge of target vocabulary which were maintained six months later. Together, results indicate that regular classroom instruction may be insufficient for EAL learners to close gaps with their monolingual peers in certain domains of oral language, but that targeted vocabulary instruction may be an effective means of achieving this end.
One Color Extraction Method in Representation Techniques of Video Production

This study aims to get an effective marketing strategy in terms of business by introducing combined social video marketing and color marketing techniques. The method for research is in the range of research that implements highlighting techniques by extracting the core color and brand monochrome image, to analyze the specific process. The expected result is that the effects can contribute to the development and the activation of company or social video marketing of brand by using the new video production technique. Then, so as to propose a new video technique with the help of color marketing and the result of the analysis is utilized to know who use the effective activation and development of social video marketing in the future, and tries to present a technique for the new approach be. From the perspective of a company, the technique can effect in a positive way. They can provide consistent message to customers by the color effect which contains core message for brands. This technique is able to convey unique feeling and characteristic of the color, image and value of brand, concentrating peoples' sight on particular color when using black and white atmosphere. This can maximize its effect through emphasis through contrasting color, especially using color and non-color difference. At the same time this can utilize various way of expression through the effect gradually revealing color, without boring anybody. This paper expects this new way of expression and editing technique cause furthermore attempts on black and white in video making technique.
On Named Entity Recognition in Targeted Twitter Streams in Polish.

This paper reports on some experiments aiming at tuning a rule-based NER system designed for detecting names in Polish online news to the processing of targeted Twitter streams. In particular, one explores whether the performance of the baseline NER system can be improved through the incremental application of knowledge-poor methods for name matching and guessing. We study various settings and combinations of the methods and present evaluation results on five corpora gathered from Twitter, centred around major events and known individuals.
On the Relative Efficiency of Maximal Clique Enumeration Algorithms , with Application to High-Throughput Computational Biology

The efficient enumeration of maximal cliques has applications in microarray analysis and a number of other foundational problems of computational biology. In this paper, we analyze and test existing maximal clique enumeration algorithms for various classes of graphs. The classic branch and bound algorithm of Bron and Kerbosch proves to be relatively fast for sparse graphs, but slows considerably as edge density increases. Attempts to improve this algorithm are discussed. Experimental results demonstrate the difficulty of making improvements, especially when analyzing the overlap between cliques. Novel strategies for maximal clique enumeration algorithms are also described and placed in the context of ongoing research.
The research on joint distributed compressed sensing and network coding

This paper proposes a transmission method of compressed sensing as a source processing technology combined with network coding. In wireless sensor networks, using compressed sensing and network coding technology jointly, not only can reduce the times of packet transmission, but also improves the efficiency of data transmission and the throughput of the network. The scheme in this paper takes full account of the intra-signal sparsity and inter-signal relativity in wireless sensor networks. Simulations show that the proposed scheme, compared to the only network coding scheme, improves the compression ratio of the data transmission.