Miracle-dz/UniFAR-FTUs huggingface dataset:
Perceptual requirements and proposals for the UbiCom augmented reality display

Introduction In this report I will propose some perceptual requirements for the Augmented Reality (AR) display for the first prototype of the UbiCom project. It would be appropriate to define the task to be done with our AR system first (Pasman, 1997; Davis et al. ,1994; Ellis, 1997), but the UbiCom project is mainly a technology-driven project, and therefore there is no single final task that the system has to support. Rather a number of very general tasks should be feasable to run: maintenance and control, route planning, safety/inspection, acquiring information from Internet, building complex (spatial) constructions, playing games such as an adventure, paintball, etc. Consequently, we will have to be able to reach the highest performance levels required for each of these tasks. For example, for route planning it would be no problem if the arrow indicating the direction to go would not be aligned perfectly to the world and would disappear when it moved towards the periphery of the visual field. However, for a paintball game it would be annoying if the virtual container I'm hiding behind would be transparent or even invisible for other players. In the first paragraph I will start with an overview of the sources of optical distortion. Next, perceptual consequences of distortions will be discussed, followed by a list of requirements. Thereafter I wil propose some solutions in an attempt to fulfill the requirements, and then some feasability estimations of these solutions will be made. Conclusions will be drawn how the UbiCom first prototype might look like.
Conformation and Stability of Intramolecular Telomeric G-Quadruplexes: Sequence Effects in the Loops

Telomeres are guanine-rich sequences that protect the ends of chromosomes. These regions can fold into G-quadruplex structures and their stabilization by G-quadruplex ligands has been employed as an anticancer strategy. Genetic analysis in human telomeres revealed extensive allelic variation restricted to loop bases, indicating that the variant telomeric sequences maintain the ability to fold into G-quadruplex. To assess the effect of mutations in loop bases on G-quadruplex folding and stability, we performed a comprehensive analysis of mutant telomeric sequences by spectroscopic techniques, molecular dynamics simulations and gel electrophoresis. We found that when the first position in the loop was mutated from T to C or A the resulting structure adopted a less stable antiparallel topology; when the second position was mutated to C or A, lower thermal stability and no evident conformational change were observed; in contrast, substitution of the third position from A to C induced a more stable and original hybrid conformation, while mutation to T did not significantly affect G-quadruplex topology and stability. Our results indicate that allelic variations generate G-quadruplex telomeric structures with variable conformation and stability. This aspect needs to be taken into account when designing new potential anticancer molecules.
FPGA Implementation of Matrix Inversion Using QRD-RLS Algorithm

This paper presents a novel architecture for matrix inversion by generalizing the QR decomposition-based recursive least square (RLS) algorithm. The use of Squared Givens rotations and a folded systolic array makes this architecture very suitable for FPGA implementation. Input is a 4 × 4 matrix of complex, floating point values. The matrix inversion design can achieve throughput of 0.13M updates per second on a state of the art Xilinx Virtex4 FPGA running at 115 MHz. Due to the modular partitioning and interfacing between multiple Boundary and Internal processing units, this architecture is easily extendable for other matrix sizes.
Secret sharing with a class of minimal linear codes

There are several methods for constructing secret sharing schemes, one of which is based on coding theory. Theoretically, every linear code can be used to construct secret sharing schemes. However, in general, determining the access structures of the schemes based on linear codes is very hard. This paper proposed the concept of minimal linear code, which makes the determination of the access structures of the schemes based on the duals of minimal linear codes easier. It is proved that the shortening codes of minimal linear codes are also minimal ones. Then the conditions whether several types of irreducible cyclic codes are minimal linear codes are presented. Furthermore, the access structures of secret sharing schemes based on the duals of minimal linear codes are studied, and these access structures in specific examples are obtained through programming.
Modeling students acceptance of E-learning: A case of the KS university

E-learning is becoming a powerful tool for teaching college students worldwide. It was initially started to enhance distance learning but it soon spread all over the education channels including encamps education as well. Nowadays, with the existence of the internet everywhere and the development of ICT at ever increasing rates, technology is incorporated virtually into all courses and affecting the outcome of education. The effect of such change in delivering education need to be investigated in all aspects, especially, in the acceptance level of E-learning since it plays a significant role in the success of E-learning. A study involving 800 student in the college of business at King Saud University (KSU) was carried out. A logistic regression model was adopted to model students acceptance of E-learning. Furthermore, factors affecting students acceptance were investigated and results of the study were also examined to determine to what extent the E-learning acceptance model is able to adequately explain students' acceptance of E-learning education.
Control System for Superconducting Electron Cyclotron Resonance Ion Source with Advanced Design in Lanzhou II

The newly built SECRAL II (Superconducting Electron Cyclotron Resonance ion source with Advanced design in Lanzhou II) is a multi-purpose intense highly charged ion source and is of great significance at Institute of Modern Physics (IMP). The control system is an important subsystem of SECRAL II. In this paper, we implement a control system for SECRAL II. In order to achieve high quality control, we have presented and followed some useful control concepts. The control system can perform control and monitor of all devices. Besides, it can also complete data store, alarms, interlocks and human safety. In all, the control system effectively supports the operation for SECRAL II. The control system was completed and put into operation in June 2016. The control system has successfully worked for about 11000 hours. During this process, the hardware works normally and without trouble. The control software has a low failure rate (5.5×10-4/hour) and its MTTR (Mean Time to Repair) is less than 30 minutes. Since then, SECRAL II has set many world records in the field of ECR ion source.
Sizing Optimization Methodology of a Surface Permanent Magnet Machine-Converter System Over a Torque-Speed Operating Profile: Application to a Wave Energy Converter

This paper sets forth a sizing optimization methodology of a surface permanent magnet machine-converter system over a torque-speed operating profile. The two optimization objectives are to minimize the cost of the machine-converter system and to minimize (or maximize) electrical energy consumption (or generation). The optimization parameters serve to describe both the machine geometry and the electrical ratings of the electronic power converter. Each operating point of the profile is treated independently, and current control is optimized at every operating point to not only minimize machine drive losses but also satisfy several constraints and then implicitly considering flux-weakening possibility. This optimization methodology is generic and is applied to a particular case: a direct-drive conversion chain for a wave energy converter (WEC). We show that taking into account both the sizing parameters of the converter and the flux-weakening control, in addition to the classical sizing parameters of the machine, has a strong impact on the machine-converter system optimal results. Moreover, the strong coupling with the WEC through damping parameters plays also a crucial role on the sizing results.
Title Identifying projected clusters from gene expression profiles

In microarray gene expression data, clusters may hide in subspaces. Traditional clustering algorithms that make use of similarity measurements in the full input space may fail to detect the clusters. In recent years a number of algorithms have been proposed to identify this kind of projected clusters, but many of them rely on some critical parameters whose proper values are hard for users to determine. In this paper a new algorithm that dynamically adjusts its internal thresholds is proposed. It has a low dependency on user parameters while allowing users to input some domain knowledge should they be available. Experimental results show that the algorithm is capable of identifying some interesting projected clusters from real microarray data.
The Manually Annotated Sub-Corpus: A Community Resource for and by the People

The Manually Annotated Sub-Corpus (MASC) project provides data and annotations to serve as the base for a communitywide annotation effort of a subset of the American National Corpus. The MASC infrastructure enables the incorporation of contributed annotations into a single, usable format that can then be analyzed as it is or ported to any of a variety of other formats. MASC includes data from a much wider variety of genres than existing multiply-annotated corpora of English, and the project is committed to a fully open model of distribution, without restriction, for all data and annotations produced or contributed. As such, MASC is the first large-scale, open, community-based effort to create much needed language resources for NLP. This paper describes the MASC project, its corpus and annotations, and serves as a call for contributions of data and annotations from the language processing community.
Superparamagnetic Maghemite-Based CdTe Quantum Dots as Efficient Hybrid Nanoprobes for Water-Bath Magnetic Particle Inspection

Fluorescent water-based cadmium telluride quantum dots (QDs) and citrate-functionalized maghemite nanoparticles (MghNPs) were synthesized and assembled together (MghNPs@QDs) through electrostatic interactions by using cetyltrimethylammonium bromide (CTAB) as a linker and steric spacer to minimize the Forster resonance energy transfer (FRET) restriction. A whole family of hybrid and multifunctional nanoparticles has been successfully obtained, exhibiting good performance in nondestructive water-bath magnetic particle inspection (MPI) assays.
An Event-based Formal Approach

Wireless Sensor Networks (WSNs) are increasingly being adopted in critical applications. In these networks undesired events may undermine the reliability level; thus their effects need to be properly assessed from the early stages of the development process onwards to minimize the chances of unexpected problems during use. In this paper we propose two heuristic strategies: what-if analysis and robustness checking. They allow to drive designers towards optimal WSN deployment solutions, from the point of view of the connection and data delivery resiliency, exploiting a formal approach based on the event calculus formal language. The heuristics are backed up by a support tool aimed to simplify their adoption by system designers. The tool allows to specify the target WSN in a user-friendly way and it is able to elaborate the two heuristic strategies by means of the event calculus specifications automatically generated. The WSN reliability is assessed computing a set of specific metrics. The effectiveness of the strategies is shown in the context of three case studies. A. Testa Institute for High Performance Computing and Networking, CNR, via P. Castellino, 111 Naples, 80131, Italy Tel. : +39-081-6139515 Fax: +39-081-6139531 E-mail: alessandro.testa@na.icar. cnr.it A. Coronato and G. De Pietro Institute for High Performance Computing and Networking, CNR, via P. Castellino, 111 Naples, 80131, Italy M. Cinque DIETI, University of Naples ”Federico II”, via Claudio 19 Naples, 80127, Italy J. C. Augusto School of Science and Technology, Middlesex University, The Burroughs London, UK 2 Alessandro Testa et al.
Delft University of Technology Development of a generic geometry to test the limits of automated draping and stamp forming processes in composite manufacturing

There are many process parameters that are important in automated composite manufacturing, starting with the handling of fabrics in the preforming process. Characterization of fabrics on their preforming qualities – which will be referred to as drapability in this paper – is necessary to tune the manufacturing process. The location where the fabric is held, the amount and direction of tension applied to the fabric, the order in which it is deformed, all play a major role in how much in-plane shear deformation a fabric can undergo. The inclusion of process parameters in the characterization of fabrics on drapability is therefore important. In this paper a method is developed to determine the critical shear angle of a fabric whilst including process parameters. A family of geometric shapes is derived and a testing procedure to determine the critical shear angle of a fabric using these shapes is proposed. It is discussed how the presented process can be used to tune draping and stamp forming processes in automated composite manufacturing.
Piezoelectric micromotor using a metal-ceramic composite structure

This paper presents a new piezoelectric micromotor design, in which a uniformly electroded piezoelectric ring bonded to a metal ring is used as the stator. Four inward arms at the inner circumference of the metal ring transfer radial displacements into tangential displacements. The rotor ends in a truncated cone shape and touches the tips of the arms. A rotation takes place by exciting coupled modes of the stator element, such as a radial mode and a second bending mode of the arms. The behavior of the free stator was analyzed using the ATILA finite element software. Torque vs. speed relationship was measured from the transient speed change with a motor load. A starting torque of 17 /spl mu/Nm was obtained at 20 Vrms. The main features of this motor are low cost and easy assembly because of a simple structure and small number of components.
Scarcity mitigation and risk-averse clearing model in the Swiss reserve market

This paper presents a real-world application of stochastic programming in the Swiss hydro-based system. The seasonal hydrological conditions may cause insufficient market volume to an extent that security criteria (i.e., the criteria determining of reserve amount) may not be met. In this situations, the question arises to what extend the current pre-defined security criteria can be relaxed while respecting the current market properties. We provide a framework accounting for the trade-off between the expected procurement cost of reserves and security criteria. Additionally, this paper provides a risk-averse formulation of the current clearing model. The proposed approach is simulated using data of the Swiss reserve market to illustrate technical and economic aspects.
Reduced survival and reproductive success generates selection pressure for the dengue mosquito Aedes aegypti to evolve resistance against infection by the microsporidian parasite Vavraia culicis

The success and sustainability of control measures aimed at reducing the transmission of mosquito‐borne diseases will depend on how they influence the fitness of mosquitoes in targeted populations. We investigated the effects of the microsporidian parasite Vavraia culicis on the survival, blood‐feeding behaviour and reproductive success of female Aedes aegypti mosquitoes, the main vector of dengue. Infection reduced survival to adulthood and increased adult female mosquito age‐dependent mortality relative to uninfected individuals; this additional mortality was closely correlated with the number of parasite spores they harboured when they died. In the first gonotrophic cycle, infected females were less likely to blood‐feed, took smaller meals when they did so, and developed fewer eggs than uninfected females. Even though the conditions of this laboratory study favoured minimal developmental times, the costs of infection were already being experienced by the time females reached an age at which they could first reproduce. These results suggest there will be selection pressure for mosquitoes to evolve resistance against this pathogen if it is used as an agent in a control program to reduce the transmission of mosquito‐borne human diseases.
Synthesis and Characterization of Magnetically Modified Composites (TiNT/CNT/Fe3O4)

In this study, Titania nanotube (TiNT) had been modified by combining it with carbon nanotube (CNT) and magnetic material, Fe3O4, forming magnetically modified composite (TiNT/CNT/Fe3O4). Magnetic properties were added to the composite to overcome photocatalytic application problem for waste water treatment case, especially the catalyst recovery issue. Prior to the modifications, TiNT was synthesized from TiO2 P25 using hydrothermal process at 130 °C for 6 h. TiNT and CNT were then combined using hetero agglomeration process in acid condition to obtain TiNT/CNT composite. Various amount of Fe3O4 nanoparticles were then composed on the surface of TiNT/CNT using ultrasonic assisted in-situ process, producing TiNT/CNT/Fe3O4 magnetic composites. The samples were analyzed with various characterizations: zeta potential, FT-IR, FE-SEM/EDX, XRD, and VSM. Experimental results show that TiNT/CNT/Fe3O4 composite with good crystallinity and morphology had been successfully synthesized. The optimal amount of Fe3O4 in TiNT/CNT/Fe3O4 magnetic composite was 0.3 times the amount of TiNT to minimize the photodissolution effect, while the composite was still categorized as superparamagnetic materials (with the saturation magnetization value of 21.1 emu/g and coercivity of 84.4 oe). The magnetic separation test also confirmed that prepared magnetic composites could be effectively separated from the test solution.
Unsupervised Induction of Natural Language Morphology Inflection Classes

We propose a novel language-independent framework for inducing a collection of morphological inflection classes from a monolingual corpus of full form words. Our approach involves two main stages. In the first stage, we generate a large data structure of candidate inflection classes and their interrelationships. In the second stage, search and filtering techniques are applied to this data structure, to identify a select collection of "true" inflection classes of the language. We describe the basic methodology involved in both stages of our approach and present an evaluation of our baseline techniques applied to induction of major inflection classes of Spanish. The preliminary results on an initial training corpus already surpass an F1 of 0.5 against ideal Spanish inflectional morphology classes.
Log Analysis of Academic Digital Library: User Query Patterns

This study analyzed user queries submitted to an academic digital library for four weeks (July 2012 to August 2012). We examined users’ query behaviors and compared external and internal users’ query patterns for image-based collections. The results of this study identified the most frequently occurring queries, the mean of query strings, the term frequency, the most frequently used word pairs and the relationship between query terms. Transaction log analysis is useful to examine users’ information seeking behavior effectively due to the richness of data. The query analysis of this study shows not only users’ information seeking behaviors for image-based collections but also the differences between external and internal users’ query patterns clearly.
Kidney injury and alterations of inflammatory cytokine expressions in mice following long‐term exposure to cerium chloride

It has been demonstrated that the organic damages of animals can be caused by exposure to lanthanide oxides or compounds. However, the molecular mechanism of CeCl3‐induced kidney injury remains unclear. In this study, the mechanism of nephric damage in mice induced by an intragastric administration of CeCl3 was investigated. The results showed that Ce3+ was accumulated in the kidney, which in turn led to oxidative stress, severe nephric inflammation, and dysfunction in mice. Furthermore, CeCl3 activated nucleic factor κB, which in turn increased the expression levels of tumor necrosis factor α, macrophage migration inhibitory factor, interleukin‐2, interleukin‐4, interleukin‐6, interleukin‐8, interleukin‐10, interleukin‐18, interleukin‐1β, cross‐reaction protein, transforming growth factor‐β, interferon‐γ, and CYP1A1, while suppressed heat shock protein 70 expression. These findings implied that Ce3+‐induced kidney injury of mice might be associated with oxidative stress, alteration of inflammatory cytokine expression, and reduction of detoxification of CeCl3. © 2013 Wiley Periodicals, Inc. Environ Toxicol 29: 1420–1427, 2014.
An improved hierarchical motion planner for humanoid robots

In our previous work, we proposed a hierarchical planner for bipedal and humanoid robots navigating complex environments based on a motion primitives framework. In this paper, we extend and improve that planner by proposing a different approach for the global and subgoal components of our planner. We continue to use a workspace decomposition that consists of a passage map, obstacle map, gradient map, and local map. We verify our approach using both simulation results and experimentally on a mechanical humanoid system.
Proteomics implicates peptidyl arginine deiminase 2 and optic nerve citrullination in glaucoma pathogenesis.

PURPOSE Proteomic analyses of normal and glaucomatous human optic nerve were pursued for insights into the molecular pathology of primary open-angle glaucoma (POAG). Peptidyl arginine deiminase 2 (PAD2), an enzyme that converts protein arginine to citrulline, was found only in POAG optic nerve and was probed further for a mechanistic role in glaucoma. METHODS Protein identification used liquid chromatography-tandem mass spectrometry. Northern, Western, and immunohistochemical analyses measured PAD2 expression and/or protein citrullination and arginyl methylation in human and mouse optic nerve and in astrocyte cultures before and after pressure treatment. Proteins were identified after anticitrulline immunoprecipitation. In vitro translation of PAD2 was monitored in polyA RNA depleted optic nerve extracts. PAD2 shRNA transfections were evaluated in pressure-treated astrocytes. RESULTS Western and immunohistochemical analyses confirmed elevated PAD2 and citrullination in POAG optic nerve and decreased arginyl methylation. PAD2 was also detected in optic nerve from older, glaucomatous DBA/2J mice, but not in younger DBA/2J or control C57BL6J mice. Myelin basic protein was identified as a major citrullinated protein in POAG optic nerve. Pressure-treated astrocytes exhibited elevated PAD2 and citrullination without apparent change in PAD2 mRNA. Addition of exogenous polyA RNA to depleted optic nerve extracts yielded increased PAD2 expression in POAG but not in control extracts. Transfection with shRNA restored PAD2 and citrullination to control levels in pressure-treated astrocytes. CONCLUSIONS Current results support translational modulation of PAD2 expression and a possible role for the enzyme in POAG optic nerve damage through citrullination and structural disruption of myelination.