Miracle-dz/UniFAR-FTUs huggingface dataset:
Indoor robot/human localization using dynamic triangulation and wireless Pyroelectric Infrared sensory fusion approaches

Indoor localization and monitoring system of robots and people are essential issues in robotics research. Several monitoring systems are currently under development by different investigators but they do encounter significant difficulties. For instance, a Pyroelectric Infrared (PIR) system provides less accurate information of human location and is restricted when there are multiple targets. Furthermore, a Radio Frequency (RF) localization system is constrained by its limited accuracy. In this study, we develop a system which combines PIR and RF localization system as wireless pyroelectric infrared sensory fusion system to monitor the location information of robots and people. We will reduce the error of RF localization information through tile proposed dynamic triangulation (DTN) method. We also develop a sensory fusion algorithm called the WPIR inference algorithm. This algorithm determines the fused position from both the PIR localization system and radio frequency signal localization system which utilize tile received signal strength (RSS) propagation model. We have developed and experimentally demonstrated a WPIR sensory fusion system which can be successfully applied in locating targets such as people and robot. With an accurate localization mechanism for tile indoor environment, tile provision of appropriate services to people can be realized.
PCFGs, Topic Models, Adaptor Grammars and Learning Topical Collocations and the Structure of Proper Names

This paper establishes a connection between two apparently very different kinds of probabilistic models. Latent Dirichlet Allocation (LDA) models are used as "topic models" to produce a low-dimensional representation of documents, while Probabilistic Context-Free Grammars (PCFGs) define distributions over trees. The paper begins by showing that LDA topic models can be viewed as a special kind of PCFG, so Bayesian inference for PCFGs can be used to infer Topic Models as well. Adaptor Grammars (AGs) are a hierarchical, non-parameteric Bayesian extension of PCFGs. Exploiting the close relationship between LDA and PCFGs just described, we propose two novel probabilistic models that combine insights from LDA and AG models. The first replaces the unigram component of LDA topic models with multi-word sequences or collocations generated by an AG. The second extension builds on the first one to learn aspects of the internal structure of proper names.
On the Boundary Dynamics of Chern-Simons Gravity

We study Chern-Simons theory with a complex G or a real G × G gauge group on a manifold with boundary — this includes lorentzian and euclidean (anti-) de Sitter (E/A)dS gravity for G = SU(2) or G = SL(2,). We show that there is a canonical choice of boundary conditions that leads to an unambiguous, fully covariant and gauge invariant, off-shell derivation of the boundary action — a G/G or G WZW model, coupled in a gauge invariant way to the boundary value of the gauge field. In particular, for (E/A)dS gravity, the boundary action is a WZW model with target space (E/A)dS3, reminiscent of a worldsheet for worldsheet mechanism. We discuss in some detail the properties of the boundary theories that arise and we confront our results with various related constructions in the literature.
Cool-Fetch: Compiler-Enabled Power-Aware Fetch Throttling

In this paper, we present an architecturecompiIer based approach to reduce energy consumption inthe processor. While we mainly target the fetch unit, an importantside-effect of our approach i s that we obtain energysavings in many other parts in the processor. The expIanationis that the fetch unit often runs substantiaIly ahead ofexecution, bringing in instructions to different stages in theprocessor that may never be executed. We have found, thatalthough the degree of Instruction Level Parallelism (ILP)of a program tends to vary over time, it can be staticallypredicted by the compiler with considerable accuracy. OurInstructions Per Clock (IPC) prediction scheme is using adependence-testing-based analysis and simple heuristics, toguide a front-end fetch-throttling mechanism. We developthe necessary architecture support and include its poweroverhead. We perform experiments over a wide number ofarchitectural configurations, using SPEC2000 applications.Our results are very encouraging: we obtain up to 15%total energy savings in the processor with generalIy littleperformance degradation. In fact, in some cases our intelligentthrottling scheme even tszcwases performance.Keywords- Low power design, compiler architecture interaction,instruction Ievel parallelism, fetch-throttling
Learning Greedy Policies for the Easy-First Framework

Easy-first, a search-based structured prediction approach, has been applied to many NLP tasks including dependency parsing and coreference resolution. This approach employs a learned greedy policy (action scoring function) to make easy decisions first, which constrains the remaining decisions and makes them easier. We formulate greedy policy learning in the Easy-first approach as a novel non-convex optimization problem and solve it via an efficient Majorization Minimizatoin (MM) algorithm. Results on within-document coreference and cross-document joint entity and event coreference tasks demonstrate that the proposed approach achieves statistically significant performance improvement over existing training regimes for Easy-first and is less susceptible to overfitting.
Burst of reactive oxygen species in pedicel-mediated fruit abscission after carbohydrate supply was cut off in longan (Dimocarpus longan)

Cutting off carbohydrate supply to longan (Dimocarpus longan Lour.) fruit by girdling and defoliation or by detachment induced 100% abscission within a few days. We used these treatments to study the involvement of reactive oxygen species (ROS) in fruit abscission. Girdling plus defoliation decreased sugar concentrations in the fruit and pedicel and depleted starch grains in the chloroplasts in the cells of abscission zone. Prior to the occurrence of intensive fruit abscission, there was a burst in ROS in the pedicel, which peaked at 1 day after treatment (DAT), when H2O2 in the abscission zone was found to be chiefly located along the plasma membrane (PM). H2O2 was found exclusively in the cell walls 2 DAT, almost disappeared 3 DAT, and reappeared in the mitochondria and cell walls 4 DAT. Signs of cell death such as cytoplasm breakdown were apparent from 3 DAT. The burst of ROS coincided with a sharp increase in the activity of PM-bound NADPH oxidase in the pedicel. At the same time, activities of antioxidant enzymes including superoxide dismutase (SOD), catalase, and peroxidase (POD) were all increased by the treatment and maintained higher than those in the control. Accompanying the reduction in H2O2 abundance, there was a sharp decrease in PM-bound NADPH oxidase activity after 1 DAT in the treated fruit. H2O2 scavenger dimethylthiourea (DMTU, 1 g L–1) significantly inhibited fruit abscission in detached fruit clusters and suppressed the increase in cellulase activity in the abscission zone. These results suggest that fruit abscission induced by carbohydrate stress is mediated by ROS. Roles of ROS in regulating fruit abscission were discussed in relation to its subcellular distribution.
Challenges, opportunities and future perspectives in including children with disabilities in the design of interactive technology

In this paper we discuss participatory approaches to designing interactive technologies for children with disabilities. While participatory design (PD) has been increasingly influential in the field of Human-Computer Interaction as a whole, applying its methods and theories to children with disabilities raises challenges specific to this target group and poses more fundamental questions about the limits of PD. We will first build the underlying argument of why we believe PD is particularly important when designing for children with disabilities, before discussing the challenges and opportunities that come with implementing PD in this context. We ground this discussion in our own experiences with developing a learning environment for children with autism spectrum conditions (ASC). We then consider future perspectives and develop research questions by reflecting on our experiences.
Flight accident modeling and predicting based on least squares support vector machine

To analyze and predict the flight safety situation scientifically, a flight accident prediction model, based on least squares support vector machine (LS-SVM), is proposed. Simultaneously, three steps grid search method is introduced into the flight accident modeling to select efficiently the parameters of LS-SVM. The simulation results of modeling and predicting on flight accident 100000-hour-rate indicate that, LS-SVM model and its parameter selection method are feasible and effective in flight accident prediction.
An active anti-rollover device based on Predictive Functional Control: application to an All-Terrain Vehicle

The active devices dedicated to on-road vehicle stability cannot be applied satisfactorily in an off-road context, since the variability and the non-linear features of grip conditions can no longer be neglected. Specific solutions have then to be investigated. In this paper, the prevention of light All-Terrain Vehicle (ATV) rollover is addressed. First, a backstepping observer is designed in order to estimate online a rollover indicator accounting for sliding phenomena, from a low-cost perception system. Next, the maximum vehicle velocity, compatible with a safe motion over some horizon of prediction, is computed via Predictive Functional Control (PFC), and can then be applied, if needed, to the vehicle actuator to prevent from rollover. The capabilities of the proposed device are demonstrated and discussed thanks to an advanced simulation testbed that has proved to supply results very close to experimental ones.
VSC HVDC transmission and offshore grid design for a linear generator based wave farm

This paper analyzes technical issues with the installation of a linear generator based offshore wave farm using a Voltage Source Converter (VSC) HVDC connection to the onshore grid. Design issues are introduced by summarizing the current status of VSC HVDC technology and related installations, research in the use of VSC HVDC for offshore wind farms, and characteristics of wave energy converters using linear generators. A DC bus wave farm design using a linear generator model is presented and simulations using time shifted and variable amplitude wave inputs demonstrate the effect of increasing the size of the wave farm on smoothing short-term variations in the power output due to wave oscillations.
A study on traditional Malay musical instruments sounds classification system

In recent year, most studies concerned with the classification of musical instruments sounds focus on western musical instruments. With the enormous amount of instruments data and features schemes, adapting the existing techniques for classifying the traditional Malay musical instruments sounds might not be as easy due to the differences in the sounds samples used. Thus, the existing framework and techniques that have been proposed for automatic musical instruments sounds classification system will be reviewed and evaluated especially on their performance in achieving the highest accuracy rate. As a result, a new framework for Traditional Malay Musical Instruments Sounds Classification System and the classification accuracy achieved in the preliminary experiment are presented.
A Triple Culture Model of the Blood-Brain Barrier Using Porcine Brain Endothelial cells, Astrocytes and Pericytes

In vitro blood-brain barrier (BBB) models based on primary brain endothelial cells (BECs) cultured as monoculture or in co-culture with primary astrocytes and pericytes are useful for studying many properties of the BBB. The BECs retain their expression of tight junction proteins and efflux transporters leading to high trans-endothelial electric resistance (TEER) and low passive paracellular permeability. The BECs, astrocytes and pericytes are often isolated from small rodents. Larger species as cows and pigs however, reveal a higher yield, are readily available and have a closer resemblance to humans, which make them favorable high-throughput sources for cellular isolation. The aim of the present study has been to determine if the preferable combination of purely porcine cells isolated from the 6 months old domestic pigs, i.e. porcine brain endothelial cells (PBECs) in co-culture with porcine astrocytes and pericytes, would compare with PBECs co-cultured with astrocytes and pericytes isolated from newborn rats with respect to TEER value and low passive permeability. The astrocytes and pericytes were grown both as contact and non-contact co-cultures as well as in triple culture to examine their effects on the PBECs for barrier formation as revealed by TEER, passive permeability, and expression patterns of tight junction proteins, efflux transporters and the transferrin receptor. This syngenic porcine in vitro BBB model is comparable to triple cultures using PBECs, rat astrocytes and rat pericytes with respect to TEER formation, low passive permeability, and expression of hallmark proteins signifying the brain endothelium (tight junction proteins claudin 5 and occludin, the efflux transporters P-glycoprotein (PgP) and breast cancer related protein (BCRP), and the transferrin receptor).
BDCA2/FcɛRIγ Complex Signals through a Novel BCR-Like Pathway in Human Plasmacytoid Dendritic Cells

Dendritic cells are equipped with lectin receptors to sense the extracellular environment and modulate cellular responses. Human plasmacytoid dendritic cells (pDCs) uniquely express blood dendritic cell antigen 2 (BDCA2) protein, a C-type lectin lacking an identifiable signaling motif. We demonstrate here that BDCA2 forms a complex with the transmembrane adapter FcɛRIγ. Through pathway analysis, we identified a comprehensive signaling machinery in human pDCs, similar to that which operates downstream of the B cell receptor (BCR), which is distinct from the system involved in T cell receptor (TCR) signaling. BDCA2 crosslinking resulted in the activation of the BCR-like cascade, which potently suppressed the ability of pDCs to produce type I interferon and other cytokines in response to Toll-like receptor ligands. Therefore, by associating with FcɛRIγ, BDCA2 activates a novel BCR-like signaling pathway to regulate the immune functions of pDCs.
RACME: A Framework to Support V&V and Certification

Verification and Validation (V&V) processes are largely applied to critical systems, and often imposed by certification needs. Many V&V processes are defined in the state of the art, for different kind of systems and different kinds of dependability requirements. A very large set of techniques and tools have been developed to execute specific tasks within these V&V processes. However, few instruments that guide and support the overall V&V process can be identified in the literature. The RACME (Resiltech Assessment and Certification MEthodology) framework aims at filling this gap. RACME guides the entire V&V process to support the V&V experts, interconnecting the results of the various activities, organizing the relevant inputs and outputs, detecting inconsistencies, and finally offering support to the construction of the documents required (for certification purposes). We present the RACME motivation, specification and the current prototype, finally, we apply our prototype as support to the V&V expert during a long-term project.
The Augmented Multiresolution Reeb Graph Approach for Content-based Retrieval of 3d Shapes

This article presents a 3D shape matching method for 3D mesh models applied to content-based search in database of 3D objects. The approach is based on the multiresolution Reeb graph (MRG) proposed by Hilaga et al.1 MRG provides a rich representation of shapes able in particular to embed the object topology. In our framework, we consider 3D mesh models of various geometrical complexity, of different resolution, and when available with color texture map. The original approach, mainly based on the 3D object topology, is not accurate enough to obtain satisfying matching. Therefore we propose to reinforce the topological consistency conditions of the matching and to merge within the graph geometrical and visual information to improve matching and calculation of shape similarity between models. Besides, all these new attributes can be freely weighted to fit the user requirements for object retrieval. We obtain a flexible multiresolutional and multicriteria representation that we called augmented multiresolution Reeb graph (aMRG). The approach has been tested and compared with other methods. It reveals very performant for the retrieval and the classification of similar 3D shapes.
Detection of outlier loci and their utility for fisheries management

Genetics‐based approaches have informed fisheries management for decades, yet remain challenging to implement within systems involving recently diverged stocks or where gene flow persists. In such cases, genetic markers exhibiting locus‐specific (‘outlier’) effects associated with divergent selection may provide promising alternatives to loci that reflect genome‐wide (‘neutral’) effects for guiding fisheries management. Okanagan Lake kokanee (Oncorhynchus nerka), a fishery of conservation concern, exhibits two sympatric ecotypes adapted to different reproductive environments; however, previous research demonstrated the limited utility of neutral microsatellites for assigning individuals. Here, we investigated the efficacy of an outlier‐based approach to fisheries management by screening >11 000 expressed sequence tags for linked microsatellites and conducting genomic scans for kokanee sampled across seven spawning sites. We identified eight outliers among 52 polymorphic loci that detected ecotype‐level divergence, whereas there was no evidence of divergence at neutral loci. Outlier loci exhibited the highest self‐assignment accuracy to ecotype (92.1%), substantially outperforming 44 neutral loci (71.8%). Results were robust among‐sampling years, with assignment and mixed composition estimates for individuals sampled in 2010 mirroring baseline results. Overall, outlier loci constitute promising alternatives for informing fisheries management involving recently diverged stocks, with potential applications for designating management units across a broad range of taxa.
Therapy for Adults Molested as Children: Beyond Survival. By John Briere. New York: Springer Publishing. 219 pp. $29.95.

to enlist their despair and to giveway to treatments that confirm the idea of personal incoherenceand fragmen tation.This is truewhatevertheâ€ ̃¿ diagnosis', howeverits aetiology might be understood, and even though in the case of the nine patients described, most would be describedassevereborderline personalities. The studies also underline the importance for general psychiatrists of a thorough grounding in psychodynamics, of the importance of adequate supervisory support and of adequate attention to the patients' network. These are as true for adult patients as for the adolescentpatients described in this book and the political implications are obvious in a climate which threatens all three.
XPO1/CRM1 Inhibition Causes Antitumor Effects by Mitochondrial Accumulation of eIF5A

Purpose: XPO1 inhibitors have shown promise for cancer treatment, and yet the underlying mechanisms for the antitumor effects are not well understood. In this study, we explored the usefulness of selective inhibitors of nuclear export (SINE) compounds that are specific inhibitors of XPO1. Experimental Design: We used proteomic analysis in XPO1 inhibitor–treated ovarian cancer cell lines and examined antitumor effects in ovarian and breast cancer mouse models. We also studied the effects of XPO1 inhibitor in combination with chemotherapeutic agents. Results: XPO1 inhibitor treatment substantially increased the percentage of apoptotic cells (60%) after 72 hours of incubation. XPO1 inhibitor promoted the accumulation of eIF5A in mitochondria, leading to cancer cell death. Topotecan showed the greatest synergistic effect with XPO1 inhibitor. XPO1 inhibitors prevented the translocation of IGF2BP1 from the nucleus to the cytoplasm, thereby permitting the localization of eIF5A in the mitochondria. This process was p53, RB, and FOXO independent. Significant antitumor effects were observed with XPO1 inhibitor monotherapy in orthotopic ovarian (P < 0.001) and breast (P < 0.001) cancer mouse models, with a further decrease in tumor burden observed in combination with topotecan or paclitaxel (P < 0.05). This mitochondrial accumulation of eIF5A was highly dependent on the cytoplasmic IGF2BP1 levels. Conclusions: We have unveiled a new understanding of the role of eIF5A and IGF2BP1 in XPO1 inhibitor–mediated cell death and support their clinical development for the treatment of ovarian and other cancers. Our data also ascertain the combinations of XPO1 inhibitors with specific chemotherapy drugs for therapeutic trials. Clin Cancer Res; 21(14); 3286–97. ©2015 AACR.
Low-Latency SC Decoder Architectures for Polar Codes

Nowadays polar codes are becoming one of the most favorable capacity achieving error correction codes for their low encoding and decoding complexity. However, due to the large code length required by practical applications, the few existing successive cancellation (SC) decoder implementations still suffer from not only the high hardware cost but also the long decoding latency. This paper presents novel several approaches to design low-latency decoders for polar codes based on look-ahead techniques. Look-ahead techniques can be employed to reschedule the decoding process of polar decoder in numerous approaches. However, among those approaches, only well-arranged ones can achieve good performance in terms of both latency and hardware complexity. By revealing the recurrence property of SC decoding chart, the authors succeed in reducing the decoding latency by 50% with look-ahead techniques. With the help of VLSI-DSP design techniques such as pipelining, folding, unfolding, and parallel processing, methodologies for four different polar decoder architectures have been proposed to meet various application demands. Sub-structure sharing scheme has been adopted to design the merged processing element (PE) for further hardware reduction. In addition, systematic methods for construction refined pipelining decoder (2nd design) and the input generating circuits (ICG) block have been given. Detailed gate-level analysis has demonstrated that the proposed designs show latency advantages over conventional ones with similar hardware cost.
Paying for Performance in Private Equity : Evidence from Management Contracts

This paper offers the first empirical analysis connecting the timing of general partner compensation to private equity fund performance. Using detailed information on limited partnership agreements (LPAs) between private equity limited and general partners, we find that “GP-friendly” contracts—agreements that pay general partners on a deal-by-deal basis instead of withholding carried interest until a benchmark return has been earned—are associated with higher returns, both gross and net of fees. While some of the performance difference stems from the sorting of better performing GPs to more GP-friendly contracts, we also present evidence that the contracts themselves change GP investment behavior.