Miracle-dz/UniFAR-FTUs huggingface dataset:
On the Compositionality Prediction of Noun Phrases using Poincaré Embeddings

The compositionality degree of multiword expressions indicates to what extent the meaning of a phrase can be derived from the meaning of its constituents and their grammatical relations. Prediction of (non)-compositionality is a task that has been frequently addressed with distributional semantic models. We introduce a novel technique to blend hierarchical information with distributional information for predicting compositionality. In particular, we use hypernymy information of the multiword and its constituents encoded in the form of the recently introduced Poincaré embeddings in addition to the distributional information to detect compositionality for noun phrases. Using a weighted average of the distributional similarity and a Poincaré similarity function, we obtain consistent and substantial, statistically significant improvement across three gold standard datasets over state-of-the-art models based on distributional information only. Unlike traditional approaches that solely use an unsupervised setting, we have also framed the problem as a supervised task, obtaining comparable improvements. Further, we publicly release our Poincaré embeddings, which are trained on the output of handcrafted lexical-syntactic patterns on a large corpus.
Towards Increased Verification Automation for High Integrity Software Engineering

Praxis High Integrity Systems Ltd (henceforth, Praxis) are an internationally leading developer of high integrity software systems, based in Bath, England. They advocate the SPARK Approach to software development, building upon the traditional Floyd-Hoare style of program reasoning [4, 5]. The SPARK Approach has recently been recognised by the National Cyber Security Partnership (NCSP) as one of only three techniques that can improve security critical software [8]. Central to the SPARK Approach is the SPARK programming language [1]. The SPARK programming language is defined as a subset of Ada which is expressive enough for industrial applications, but restrictive enough to support rigorous analysis throughout the development process. In particular, the SPARK language includes program annotations, allowing the programmer to specify the intended behaviour of their programs. The SPARK tool-set supports formal verification, i.e. proving that a program satisfies its specification.
Charge injection with multiple blade-plane configurations in a quiescent dielectric liquid

Two electrically insulating fuels of mineral and biological origins have been tested for electrostatic charging in single and multiple blade-plane configurations. The aim is to investigate methods to dramatically increase the total injected current, with a view to developing an atomization system where the charge injection and atomization units are separate. In this study, the fuel is quiescent and only the injected current is measured. Current flux - electrode surface electric field (J-E) characteristics at different blade-electrode gaps are presented. A current density of 6.5 A/m2 is obtained at a surface electric field of 100 MV/m using the 1-blade configuration. From the measured data, the relation between the blade-electrode gap (d) and the injected current flux is found as Jα d-m at constant voltage, where m is found to be 2 for flat charge collectors and as high as 4 for rounded collectors. The physics of the swirl motion caused by the Coulomb forces are discussed. The size of this induced flow is correlated to the performance of the multiple blade design.
Sum-Pooling Over Spatial Region Sparse Representation ... Learned D 1 ... Feature Extraction Dictionary learning via KVSD Encoding via OMP

This paper presents a new technique for hyperspectral image (HSI) classification by using Superpixel Guided Deep-Sparse-Representation Learning (SGDL). The proposed technique constructs a hierarchical architecture by exploiting the sparse coding to learn the HSI representation. Specifically, a multiple-layer architecture using different superpixel maps is designed where each superpixel map is generated by downsampling the superpixels gradually along with enlarged spatial regions for labeled samples. In each layer, sparse representation of pixels within every spatial region is computed to construct a histogram via the sum-pooling with l1 normalization. Finally, the representations (features) learned from the multiple-layer network are aggregated and trained by a support vector machine (SVM) classifier. The proposed technique has been evaluated over three public HSI datasets including the Indian Pines image set, the Salinas image set and the University of Pavia image set. Experiments show superior performance compared with the state-of-the-art methods.
A reality check for microfade testing : Five examples

This paper describes five instances in which it has been either possible to semi-quantitatively compare microfade lightfastness test results to fading on display, or to place upper limits on the technique’s inaccuracy. They include textile dyes, inks, natural fibres, acrylic paints and hand-coloured historic photographs, each displayed under different lighting conditions encompassing typical low-lux museum lighting, direct and indirect UV-filtered indoor sunlight and unknown historical exposures. The paper concludes that, where it can be tested, the accuracy of microfade testing is sufficient to proactively manage the risk of light fading with a great deal less uncertainty than heuristic light exposure guidelines. A reality check for microfade testing: Five examples
Body-Borne Assistive Robots for Human-Dependent Precision Construction - The Compensation of Human Imprecision in Navigating 3-Dimensional Space with a Stand-Alone, Adaptive Robotic System

The rapid growth of complex contemporary architecture design, contributed by the advance in parametric CAD/CAM software, is accompanied by challenges in the production process; it demands both highly trained workers and technical equipments. This paper reviews current technologies in robotics-aided construction and wearable computers for generic purposes, and proposes the design of a robotic device for construction guidance. It guides the user, the worker, through the assembly process of precision modular constructions, by providing procedural mechanical or haptic assistance in the 3-dimensional positioning of building components. The device is designed to be wearable, portable, and operable as a completely stand-alone system that requires no external infrastructure. A prototype of the device is tested with a mock-up masonry construction experiment, the result of which is reported in this paper, along with discussion for future improvement and application opportunities within the context of highly developed, condensed Japanese urban environments. A greater objective of this paper is to bridge current studies in Human-Computer Interaction (HCI) and digital fabrication in architecture and promote the potentials of human workers in future construction scenes.
COMPARATIVE EVALUATION OF TRAINING METHODS IN IMPROVING DRIVERS ’ UNDERSTANDING ABOUT THE FUNCTIONALITIES AND POTENTIAL LIMITATIONS OF ADAS

A common study was undertaken to evaluate the effectiveness as regards knowledge acquisition of three different methodologies for drivers’ training on new in-vehicle technologies, a standard paper manual, a multimedia software tool and a driving simulator. 93 persons from three countries were assigned to three groups, the first being trained on four systems by a paper manual, the second group being trained by a software tool and the third being trained by a software tool and acquiring practical experience of the system on a driving simulator. The analysis focused on the correctness of answers given by the participants on multiple-choice questions. The software group answered better than the other groups in one of the four systems (Lane Departure Warning), but no clear effect of the additional training via the simulator was found. However, people trained with the software and the simulator feel better trained than the rest. Based on the analysis performed, we can conclude that the use of software tools and driving simulators for training drivers in the use of new assistance systems should be further explored.
Mineralogical and geochemical characteristics of rare metals-bearing Na Bop , Lung Hoai , Na Son and Sin Quyen base metal deposits , Northern Vietnam

Base metal deposits in northern Vietnam such as Na Bop, Lung Hoai, Na Son and Sin Quyen deposits have reserve of 90% of Cu and 70% of Pb-Zn ore resources of Vietnam. The Na Bop and Lung Hoai ore deposits are Zn-rich ore deposits, while the Na Son and Sin Quyen deposit are Pb-rich and Cu-rich ore deposits, respectively. The Indium contents of the ores from the Na Bop, Lung Hoai, Na Son and Sin Quyen deposits range from 1.08 to 83.0, 2.29 to 5.38, 0.20 to 5.31, 0.92 to 1.59 ppm, respectively. The In/Zn ratios of ores from the Na Bop, Lung Hoai and Na Son deposits range from 17x10-4 to 23x10-4, 0.2x10-4 to 0.6x10-4 and 0.1x10-4 to 0.7x10-4, respectively. The In/Zn ratios of ores from the Na Bop deposit are higher than those of ores of the Lung Hoai and Na Son deposits. These characteristics are consistent with the variation of indium contents of sphalerite in these deposits. It suggests that indium in the ores from the Na Bop, Lung Hoai and Na Son deposits occur mostly in sphalerite. The In/Zn ratios of the ores from the Sin Quyen deposit range from 16x10-4 to 87x104. These ratios of the ores from the Sin Quyen deposit are higher than those of the ores from the Na Bop, Lung Hoai and Na Son deposits, although ores of the Sin Quyen deposit in this study does not contain sphalerite. Indium in the ores from the Sin Quyen deposit occurs in the Cu-bearing minerals.
Determination of joint efforts in the human body during maximum ramp pushing efforts

Determining with accuracy, the internal efforts in the human body is a great challenge in Biomechanics, particularly in Physical Therapy and Ergonomics. In this context, the present study develops a human body model that permits a non-invasive determination of the joint efforts produced by a seated subject performing maximum ramp pushing efforts. The joint interactions during these experiments are provided by a dynamic inverse model of the human body, using a symbolically generated recursive Newton–Euler formalism. The theoretical investigation is presented in two steps, with increasing complexity and relevance: 1. Quasi-static analysis: this approximates internal joint efforts, using static equations at each sample, without taking the postural chain dynamic effects into account. 2. Dynamic analysis: this takes the dynamic effects into consideration and thus presents the advantage of a more relevant description of the motion as well as a more accurate determination of the forces and torques produced at each joint during the transient effort. The dynamic model confirms some previous studies of the effects of biomechanical factors on the performance of the task and is proposed as an accurate method for determining the joint efforts in dynamic contexts. Finally, this application is a preliminary benchmark case that will be extended to: physical therapy, in order to analyse the joint and muscle efforts in various motion contexts, particularly for patients with fibromyalgia and patients with lumbar diseases; accidentology, in order to analyse and simulate car occupant dynamics before a crash. r 2006 Elsevier Ltd. All rights reserved.
Control-display mapping in brain–computer interfaces

Event-related potential (ERP) based brain–computer interfaces (BCIs) employ differences in brain responses to attended and ignored stimuli. When using a tactile ERP-BCI for navigation, mapping is required between navigation directions on a visual display and unambiguously corresponding tactile stimuli (tactors) from a tactile control device: control-display mapping (CDM). We investigated the effect of congruent (both display and control horizontal or both vertical) and incongruent (vertical display, horizontal control) CDMs on task performance, the ERP and potential BCI performance. Ten participants attended to a target (determined via CDM), in a stream of sequentially vibrating tactors. We show that congruent CDM yields best task performance, enhanced the P300 and results in increased estimated BCI performance. This suggests a reduced availability of attentional resources when operating an ERP-BCI with incongruent CDM. Additionally, we found an enhanced N2 for incongruent CDM, which indicates a conflict between visual display and tactile control orientations. Practitioner Summary: Incongruency in control-display mapping reduces task performance. In this study, brain responses, task and system performance are related to (in)congruent mapping of command options and the corresponding stimuli in a brain–computer interface (BCI). Directional congruency reduces task errors, increases available attentional resources, improves BCI performance and thus facilitates human–computer interaction.
British Library Cataloguing in Publication Data Library of Congress Cataloging in Publication Data

All rights reserved. No part of this publication may be reproduced in any material form (including photocopying or storing in any medium by electronic means and whether or not transiently or incidentally to some other use of this publication) without the written permission of the copyright holder except in accordance with the provisions of the Copyright, Designs and Patents Act 1988 or under the terms of a licence issued by the
Preview control of engine intake manifold pressure

This paper proposes a control design method for the intake manifold pressure of an internal combustion engine. It is based on a feedback controller that ensures the robustness to model uncertainties and a preview feedforward filter. The latter has an anticipating effect with respect to known future values of the reference signal, while at the same time taking into account the model dynamics and mitigating the control effort. The proposed approach is evaluated using the Matlab Simulink model of a spark ignition internal combustion engine in which parametric uncertainties and saturation are added. A nonlinear model predictive controller is implemented on the same model for comparison purposes.
Effects detraining on KIF 5 B gene expression in sciatic nerve fiber of male Wistar rats

Axonal transport is a vital process in nervous system that protects axons and nerve terminals through supplying proteins, lipids and mitochondria and clearing misfolded proteins to avoid toxicity. KIF5B is one of the proteins involved in fast anterograde axonal transport. As respects to prevalence of the axonal transport proteins impairment in neurodegenerative disease, the purpose of this study is investigation of effect of decreased activity and neuropathic pain on KIF1B gene expression in sciatic nerve fiber of male Wistar rats. Ten adult male wistar rats in the weight range of 220±30 gr randomly divided into two groups including healthy control, Decreased physical activity. In the end of protocol, change of KIF5B gene expression in sciatic nerve measured with Real time technique. After 6 weeks, KIF5B gene expression in sciatic nerve ligation group compared to controls increased significantly (P<0.05). It seems that neuropathic pain and decreased physical activity is associate with increased KIF5B gene expression in sciatic nerve fiber. According to the physiologic functions of KIF5B in neurons, this condition may cause functional disorders in the sciatic nerves.
SOX 5 interacts with YAP 1 to drive malignant potential of non-small cell lung cancer cells

The dysregulation of transcription factors plays a vital role in tumor initiation and progression. Sex determining region Y-box 5 (SOX5) encodes a member of the SRY-related HMG-box family of transcription factors involved in the determination of the cell fate and the regulation of embryonic development. However, its functional roles in non-small cell lung cancer (NSCLC) remain unclear. Herein, we report that SOX5 sustains stem-like traits and enhances the malignant phenotype of NSCLC cells. We determine that SOX5 is preferentially expressed by cancer stem-like cells (CSLCs) of human NSCLC. In vitro gainand loss-of-function studies demonstrate that SOX5 promotes self-renewal, invasion and migration in NSCLC cells. Importantly, knockdown of SOX5 potently inhibits tumor growth in a xenograft mouse model. Mechanistically, YAP1 can act as an interacting protein of SOX5 to drive the malignant potential of NSCLC cells. Silencing of YAP1 attenuates the malignant processes in NSCLC cells, which is consistent with the function of SOX5 loss. SOX5 overexpression reverses the attenuated malignant progression in YAP1 knockdown cancer cells. Taken together, these findings identify that SOX5 acts as an oncogenic factor by interacting with YAP1 in NSCLC cells and may be a potential therapeutic target for NSCLC patients.
Optimal Asset Allocation Strategies for International Equity Portfolios : A Comparison of Country versus Sector Optimization

Although most academic studies conclude that mutual funds cannot outperform a passive investment strategy in the long run, there is some recent empirical evidence that a persistent outperformance can be achieved in an out-of-sample framework when using more sophisticated optimization technique. These empirical findings are for equity-bond-commodityportfolios, international equity-bond portfolios and US-industry portfolios. The latter can even be further improved when return predictions are included. Given these empirical findings, we analyze in this study whether an industry-based or a country-based optimization model performs best. We employ a variety of optimizationand weighting-techniques to compare the countryand the sector-based allocation strategies. These include naive ‘equally weighted’ (1/N) portfolio, the two risk-based asset allocation rules ‘risk-parity’ (RP) and minimumvariance (MinVar) as well as three portfolio optimization approaches mean-variance (MV), Bayes-Stein (BS) and the Black-Litterman (BL) model. We also include simple return prediction models. To determine whether one approach is persistently superior to the other approach, we analyze time varying effects based on the state of the economy, i.e. expansionary or recessionary periods. Moreover, we investigate investment style or investor clientele effects, the full period and different sub-periods, equity-only and equity-bond portfolios as well as aggressive and conservative investments styles. Ssummarizing of all analyzed cases, we find strong evidence for the fact that in the long run the sector-oriented asset allocation provided a higher performance than the country-allocation. In almost all the observed cases, no matter what aggressiveness category the investor belong to and whether fixed income bonds were included, the sector-based allocation achieved higher Sharpe ratios than the countrybased allocation.
Evaluation of contamination of cattle’s raw milk to Johne’s disease in farms of Kaleybar region

Paratuberculosis or Johne's disease is a chronic disease that is untreatable in all ruminants and economically it is important. The clinical signs of Johne's disease lead to a decrease in the production and productivity of breeding animals. On the other hand, the important point is the possible role of bacteria causing the John disease in the pathogenesis of Crohn’s disease in humans. The aim of this study was firstly to evaluate the characteristics of PCR technique on samples of raw milk and feces of cows to identify the positive cases infections of John’s diseases (Mycobacterium avium paratuberculosis) in comparison with direct smear microscopy and second, to determine the bacterial contamination of milk produced in farms of Kaleybar region in order to understand the epidemiology of John’s disease in cattle milk and its possible role of it in causing Crohn’s disease in human. In this study, referring to 9 dairy traditional nomads in the region; a total of 69 dairy milking cattle were selected as the study population which had clinical signs of Johne’s disease. The slides prepared from stool following special staining under Ziehl-Neelsen(ZN) and through bacterioscopy; clamping of acid-fast bacteria have been investigated in the developments and the number of positive and negative cases were identified. Then all stool and milk samples were immediately transferred to Biotechnology laboratory.These samples were centrifuged and then the DNA extraction was performed on sediment . In continue the extracted DNAs from each sample used as the template in the Thermal cycler machine for PCR. The results of this study showed that a total of 138 samples tested in PCR technique, 44 samples were positive containing 32% of total samples. Meanwhile of total 138 tested samples in direct microscopic examination only 28 samples showed positive response to the test. That is equivalent to about 20 percent of the total number of tested samples. [Younes Anzabi, Masoud Hassanzadeh Makoui, Behzad Abbasvand, Vahid Badiheh Aghdam. Evaluation of contamination of cattle’s raw milk to Johne’s disease in farms of Kaleybar region. Life Sci J 2013;10(5s):8792] (ISSN:1097-8135). http://www.lifesciencesite. com. 15
ON THE MEANING AND MICROSCOPIC ORIGINS OF “ QUASISTATIC DEFORMATION ” OF GRANULAR MATERIALS

A series of numerical simulations of model 2D dense granular samples under gradually varying stress states allowed us to study the influence of microscopic constitutive parameters and test conditions on the response of the material submitted to monotonous, quasistatic deformation. The relevant control parameters can be defined as a small set of dimensionless numbers. Our simulations also reveal the existence of two different régimes. In the first one, the macroscopic strains stem from the deformation of contacts. The motion can be calculated by purely static means, without inertia, stress controlled or strain rate controlled simulations yield identical smooth rheological curves for a same sample. In the second régime, strains are essentially due to instabilities of the contact network, the approach to the limits of large samples and of small strain rates is considerably slower and the material is more sensitive to perturbations. Locally, strains and particle displacements exhibit considerable fluctuations which correlate on length scales much larger then the grain size. These results are discussed and related to experiments : measurements of elastic moduli with very small strain increments, and slow deformation (creep) under constant stress.
In Vivo Striatal Dopamine Release by M1 Muscarinic Receptors Is Induced by Activation of Protein Kinase C

Abstract: Islet‐activating protein was unilaterally microinjected into rat stratum, and a dialysis cannula was implanted into the same area under anesthesia. After 2 days, various agents were perfused continuously into the striatum through the dialysis membrane, under freely moving conditions. Isletactivating protein (2 μg/2 μ1) treatment alone did not change in vivo striatal dopamine (DA) release and metabolism, but completely abolished the increase of striatal DA release evoked in vivo by the M1‐selective agonist McN‐A‐343 (10−7M). Forskolin (10−5M), an adenylate cyclase activator, increased DA release and showed an additive effect on the DA release evoked by McN‐A‐343. Polymyxin B, a rather selective inhibitor of protein kinase C, decreased DA release and completely blocked the effect of McN‐A‐343. These results suggest that in vivo striatal DA release elicited by M1 muscarinic receptors is coupled with interaction with a G protein and is induced by activation of protein kinase C.