Miracle-dz/UniFAR-FTUs huggingface dataset:
Automatic Code Generation from Real-Time Systems Specifications

We address the problem of rapid development of complex real-timetask-sets through a Model Driven Development (MDD) approach. %The task-set is specified according to the graphic formalism of timelineschemas and it is translated into C-code that implements the dynamic architecture of the task-set on top of Linux-RTAI operating system. %The transformation is performed through an engine obtained as an instance of a new model-transformation framework based on Java and eXtensible Stylesheet Language Transformations (XSLT) called JComposer. This is designed according to a flexible architecture that enables agile evolution of specification formalisms and target artifacts employed along the development process.
The minimum cross entropy method for rare event simulations

This paper describes a new idea of finding the importance sampling density in rare events simulations: the MinxEnt method (shorthand for minimum cross-entropy). Some preliminary results show that the method might be very promising. 1 The minxent program Assume • X = (X1, . . . ,Xn) is a random vector (with values denoted by x); • h is the joint density function of X; • Sj(·) (j = 1, . . . , k) are functions of x; Recall the Kullback-Leibler distance between any two density functions f, h of X: D(f |h) = Ef [
Inertial Navigation Sensors

Abstract : For many navigation applications, improved accuracy/performance is not necessarily the most important issue, but meeting performance at reduced cost and size is. In particular, small navigation sensor size allows the introduction of guidance, navigation, and control into applications previously considered out of reach (e.g., artillery shells, guided bullets). Three major technologies have enabled advances in military and commercial capabilities: Ring Laser Gyros, Fiber Optic Gyros, and Micro-Electro-Mechanical Systems (MEMS) gyros and accelerometers. RLGs and FOGs are now mature technologies, although there are still technology advances underway for FOGs. MEMS is still a very active development area. Technology developments in these fields are described with specific emphasis on MEMS sensor design and performance. Some aspects of performance drivers are mentioned as they relate to specific sensors. Finally, predictions are made of the future applications of the various sensor technologies.
Linse: A Distributional Semantics Entity Search Engine

Entering 'Football Players from United States' when searching for 'American Footballers' is an example of vocabulary mismatch, which occurs when different words are used to express the same concepts. In order to address this phenomenon for entity search targeting descriptors for complex categories, we propose a compositional-distributional semantics entity search engine, which extracts semantic and commonsense knowledge from large-scale corpora to address the vocabulary gap between query and data.
SINAI experience at CLEF

This paper reports our work on CLEF and CrossLanguage Information Retrieval using CLEF resources. We aim to construct a highly languageindependent CLIR model. To accomplish this objective, several problems must be overcome: text translation or pseudo-translation and merging the obtained results for each language for a given query. Three issues of text-translation are investigated: the impact of translation probabilities, automatic multi-word recognition, and the generation of similarity thesauri from a Web corpus. Because the proposed model is query-translation driven, it is necessary to merge several monolingual results in a unique multilingual list of documents. To accomplish this task, we propose a new approach, which we call 2-step RSV, and we show that it performs better than more traditional approaches.
TOPICA : A Tool for Visualising Emerging Semantics of POIs based on Social Awareness Streams

Topica is an application that enriches the Social Web with semantic data, to enable collective perception of Points of Interest (POIs), which are human constructs that describe information about locations (e.g., restaurants, attractions, cities). Topica provides an extra layer of information, compared to existing applications for browsing POIs, by modelling hidden characteristics of POIs, by: (1) generating a Linked Data representation of the collective perception of a POI; (2) enhancing the POI representation by mashing up services that enrich the POI’s related entities; and (3) providing a visual representation of the POIs adapted to suit userand context-sensitive filters. Topica identifies topics relevant to a POI by extracting DBpedia categories from entities (e.g., People, Places) and keywords (e.g., Crete, Bonn) obtained from social awareness streams related to the POIs.
Transcriptome dynamics of the microRNA inhibition response

We report a high-resolution time series study of transcriptome dynamics following antimiR-mediated inhibition of miR-9 in a Hodgkin lymphoma cell-line––the ﬁrst such dynamic study of the microRNA inhibition response––revealing both general and speciﬁc aspects of the physiological response. We show miR-9 inhibition inducing a multiphasic transcriptome response, with a direct target perturbation before 4 h, earlier than previously reported, am-pliﬁed by a downstream peak at ∼ 32 h consistent with an indirect response due to secondary coherent regulation. Predictive modelling indicates a major role for miR-9 in post-transcriptional control of RNA processing and RNA binding protein regulation. Cluster analysis identiﬁes multiple co-regulated gene regulatory modules. Functionally, we observe a shift over time from mRNA processing at early time points to translation at later time points. We validate the key observations with independent time series qPCR and we experimentally validate key predicted miR-9 targets. Methodologically, we developed sensitive functional data analytic predictive methods to analyse the weak response inherent in microRNA inhibition experiments. The methods of this study will be applicable to similar high-resolution time series transcriptome analyses and provides the context for more accurate experimental design and interpretation of future microRNA inhibition studies.
Force and proximity fingertip sensor to enhance grasping perception

It is well known that tactile information can be used to enhance the quality of grasping. Therefore, new technological solutions for sensing in grasping are needed. This paper presents an optical based fingertip sensor that measures both interaction forces and proximity between fingertip and environment. The combination of multiple sensing modalities in the tip of a finger can significantly improve grasping and manipulation capabilities. In this work we present the design and the required calibration of individual sensing elements, and of the integrated fingertip sensor developed for a 3-fingered metamorphic robotic hand. Emulated grasping experiments, using a pinch grip, were performed to illustrate the concept and validate the performance of the developed sensing system. As a result, it was possible to determine the sensor position with respect to an object during approach, contact and grasp.
Test Preparation in the Accountability Era: Toward a Learning-Oriented Approach

The article introduces a learning-oriented approach to test preparation that could help in easing the tension between learning and assessment. The first part of the article discusses the different concepts that are usually used in the context of test preparation. The second section reports on the literature pertaining to the effects of test preparation on teaching, learning, and test performance. The article also attempts to differentiate between appropriate and unhealthy practices and show the intricate differences between these concepts. In conclusion, the author suggests a number of guidelines for different stakeholders about how to conduct test preparation activities effectively and how to avoid the common pitfalls when carrying out this task. These guidelines focus specifically on how to develop and carry out test preparation activities that are learning-oriented, how to develop assessment tasks that discourage inappropriate test preparation practices, and how to use strategies for promoting professionally sound test preparation activities.
Immunophilin ligands can prevent progressive dopaminergic degeneration in animal models of Parkinson's disease

Slowing or halting the progressive dopaminergic (DA) degeneration in Parkinson's disease (PD) would delay the onset and development of motor symptoms, prolong the efficacy of pharmacotherapies and decrease drug‐induced side‐effects. We tested the potential of two orally administered novel immunophilin ligands to protect against DA degeneration in two animal models of PD. First, in an MPTP (N‐methyl‐4‐phenyl‐1,2,3,6‐tetrahydropyridine) mouse model, we compared an immunophilin ligand (V‐10,367) documented to bind the immunophilin FKBP12 with V‐13,661, which does not bind FKBP12. Both molecules could prevent the loss of striatal DA innervation in a dose‐dependent fashion during 10 days of oral administration. Second, to determine whether an immunophilin ligand can protect against progressive and slow DA degeneration typical of PD, an intrastriatal 6‐hydroxydopamine‐infusion rat model was utilized. Oral treatment with the FKBP12‐binding immunophilin ligand began on the day of lesion and continued for 21 days. At this time point, post mortem analyses revealed that the treatment had prevented the progressive loss of DA innervation within the striatum and loss of DA neurons within the substantia nigra, related to functional outcome as measured by rotational behaviour. Notably, DA fibres extending into the area of striatal DA denervation were observed only in rats treated with the immunophilin ligand, indicating neuroprotection or sprouting of spared DA fibres. This is the first demonstration that immunophilin ligands can prevent a slow and progressive DA axonal degeneration and neuronal death in vivo. The effects of orally administered structurally related immunophilin ligands in acute and progressive models of DA degeneration are consistent with the idea that these compounds may have therapeutic value in PD.
Astaxanthin Treatment Reduced Oxidative Induced Pro-Inflammatory Cytokines Secretion in U937: SHP-1 as a Novel Biological Target

It has been suggested that oxidative stress activates various intracellular signaling pathways leading to secretion of a variety of pro-inflammatory cytokines and chemokines. SHP-1 is a protein tyrosine phosphatase (PTP) which acts as a negative regulator of immune cytokine signaling. However, intracellular hydrogen peroxide (H2O2), generated endogenously upon stimulation and exogenously from environmental oxidants, has been known to be involved in the process of intracellular signaling through inhibiting various PTPs, including SHP-1. In this study, we investigated the potential role of astaxanthin, an antioxidant marine carotenoid, in re-establishing SHP-1 negative regulation on pro-inflammatory cytokines secretion in U-937 cell line stimulated with oxidative stimulus. ELISA measurement suggested that ASTA treatment (10 µM) reduced pro-inflammatory cytokines secretion (IL-1β, IL-6 and TNF-α) induced through H2O2, (100 µM). Furthermore, this property is elicited by restoration of basal SHP-1 protein expression level and reduced NF-κB (p65) nuclear expression, as showed by western blotting experiments.
Online Appendix : Physician Incentives and Treatment Choices in Heart Attack Management November 11 , 2014

for j = 1, . , J. Define Vi,j = X0 i b X j + (X 0 ia X j + Z 0 i a Z j )b p, so that Ui,j = Vi,j + ei,j. Define V (j) i = (Vi,j Vi,1, . . . , Vi,j Vi,J), with the Vi,j Vi,j term omitted, and e (j) i = (ei,1 ei,j, . . . , ei,J ei,j), with the ei,j ei,j term omitted. Denote the distribution of the k random variables (Xi, Zi) by FX,Z. Define b X = (bX 2 bX 1 , . . . , bJ bX 1 ), aX = (aX 1 , . . . , aJ ) and aZ = (aZ 1 , . . . , aJ ). Assume:
Offshoring Process: A Comparative Investigation of Danish and Japanese Manufacturing Companies

The IT-revolution, market liberalisation, market integration, innovative production technologies and numerous other factors related to globalisation have enabled many tasks to be performed at a distance. In order to utilise the best locations for discrete value-added activities, companies configure these activities on a global scale. As a result, growing numbers of production companies resemble dynamic, complex globally dispersed and interconnected webs of internal and external relationships, rather than static and traditional co-located production systems. ABSTRACT
Microstrip antenna for dual band/wireless application

This paper presents a micro strip antenna for dual band wireless applications. This antenna satisfies for the frequency band (1.98 to 2.08 GHz) and (2.75 to 2.78 GHz) having return loss lower than −10 dB. At first band the return loss of the antenna is −37db and at second band return loss is −19db. The antenna is designed on a substrate with dielectric constant=1.1. With a size 89mm×64mm×4mm the antenna operates for wireless applications [4], [5] for medical use. The effects of shape, length, size and location of feeding point, substrate and their thickness have been evaluated. 2D radiation pattern with elevation has been computed with VSWR < 2, Return loss > −37db, gain > 8dB, efficiency vs. frequency > 96%. The simulation results of this antenna are analyzed by using Method of Moment (MoM) [7] from IE3D software.
Efficient Modeling for Animating Human Face

This paper proposes a novel generation scheme of multiresolution model for animating human face model. Existing techniques deal with geometric information, during simplification processing. But our method produces a multiresolution human face model through simplification using iterative edge contraction based on new quadric in the feature points of facial animation and geometric features. Those features are found and preserved automatically. We show that our result of a multiresolution model is useful for facial animation by applying expression cloning technique.
Question Classification using Machine Learning Approaches

Question classification is the process by which a system analyzes a question and labels the question based on the category to which it belongs. The automated categorization (or classification) of questions into predefined categories has witnessed a booming interest due to the increased popularity of web technologies. The recent advancement in the form of E-Learning calls for the need of question categorization. In network based learning the questions posted by students need to be categorized on the basis of the concerned concepts. This point to the relevance of question categorization in this area. Many approaches to question classification have been proposed and have achieved reasonable results. The dominant approaches are machine learning and context based classification. There are several Machine Learning methods for question categorization. Here we are extending the previous methods for text categorization to question categorization and making a comparative study of the performance of two approaches, Naive Bayes and Support Vector Machine General Terms Machine Learning Algorithms
A locating method for WLAN based location service

General wireless local area network (WLAN) based location systems use the received signal strength (RSS) as location fingerprint without any additional changes to the WLAN infrastructure. However, in real environment RSS are impacted by many factors, such as multiple path transmission (multi-path), temperature, body, etc, which harm the accuracy of location. This paper presents a method which uses both the angle of arrival (AOA) and RSS as location fingerprints based on AP scanning. Compared to other WLAN based location systems, this method takes advantages of fewer AP, less suffering from the influence of signal and higher accuracy. Furthermore, in some "clean" outdoor/indoor environments, the method can even used to locate WLAN clients without the radio map which is the basic infrastructure of general WLAN based location systems. Finally, this paper analyzes the characteristics of the AP scanning based location systems, and makes a further discussion on client-side location system using the same method
PG 2131+066: A Test of Pre-White Dwarf Asteroseismology

PG 2131+066 is a composite-spectrum binary with a hot pulsating PG 1159-type pre-white dwarf and an early M-type main-sequence star. Analysis of Whole Earth Telescope observations of the pulsating pre-white dwarf component provided an asteroseismological determination of its mass, luminosity, and effective temperature. These determinations allowed Kawaler et al. to determine the distance to this star. In this paper, we refine the asteroseismological distance determination and confirm the distance by an independent measurement to the system via the spectroscopic parallax of the M star. PG 2131+066 was observed by the HST using the original Planetary Camera in 1993 September. Exposures with filters F785LP and F555W both showed the companion at a distance of 0. ″3. Photometry of the images provides an apparent magnitude for the main sequence companion of mv = 18.97 ± 0.15, from which we find a distance of 560 pc. We also recalculated the asteroseismological distance to the pre-white dwarf using updated models and new spectroscopic constraints from UV spectra. The new seismological distance is 668 pc, in satisfactory agreement with the distance of the secondary star. These results suggest that this is indeed a physical binary and that the seismological distance determination technique may be the best way to determine the distance to the pulsating hot pre-white dwarf stars.
Robotics-driven printing of curved 3D structures for manufacturing cardiac therapeutic devices

Cardiovascular disease (CVD) is the leading cause of death in the United States. 3D printing technology has increasingly paved its way into cardiovascular applications, in particular for manufacturing cardiac therapeutic devices. However, currently available commercial 3D printers and those under development exclusively work by successively depositing layers of material using axis-aligned slicing methods, thus need unacceptably high demand of support materials and even fail fabricating for some complex cardiovascular structures, not to mention printing for the purpose of repairing an existing abnormal strictures. To solve this problem, we propose and develop a novel and robust robotics-driven printing system, consisting of a robotic arm and an extruder tool to allow printing along trajectories on any curved surface. Given the target structure, a new set of algorithms for robot toolpath planning was implemented, which include mesh parameterization, distance transform, contouring and smooth interpolation. Using both simulation and actual physical testing, we showed our system can successfully print layers of the target structure on curved geometry by following planned tool paths and depositing materials. In this paper, we describe our methodology and algorithm pipeline, compare and analyze the printing results of different techniques, and most importantly, envision the promising future extension of our robotics-driven printing system in manufacturing cardiac therapeutic devices.
Role of Unphosphorylated, Newly Synthesized I (cid:107) B (cid:98) in Persistent Activation of NF- (cid:107) B

Stimulation with inducers that cause persistent activation of NF- (cid:107) B results in the degradation of the NF- (cid:107) B inhibitors, I (cid:107) B (cid:97) and I (cid:107) B (cid:98) . Despite the rapid resynthesis and accumulation of I (cid:107) B (cid:97) , NF- (cid:107) B remains induced under these conditions. We now report that I (cid:107) B (cid:98) is also resynthesized in stimulated cells and appears as an unphosphorylated protein. The unphosphorylated I (cid:107) B (cid:98) forms a stable complex with NF- (cid:107) B in the cytosol; however, this binding fails to mask the nuclear localization signal and DNA binding domain on NF- (cid:107) B, and the I (cid:107) B (cid:98) –NF- (cid:107) B complex enters the nucleus. It appears therefore that during prolonged stimulation, I (cid:107) B (cid:98) functions as a chaperone for NF- (cid:107) B by protecting it from I (cid:107) B (cid:97) and allowing it to be transported to the nucleus. The transcription factor NF- (cid:107) B is a ubiquitously expressed transcription factor that plays an important role in the induc- ible expression of a large number of
First International Workshop on Business Process Reference Models (BPRM’05)

Within the Information Systems field, reference models have been known for many years. The aim of this paper is to survey and to describe wellknown reference models for business processes. Our analysis of 30 process reference models is based on a framework consisting of criteria such as application domain, used process modeling languages, model’s size, known evaluations and applications of process reference models. Furthermore, we identify model domains, which have been dealt with, describe similarities and differences between the available process reference models, and point to open research questions.
Appearance Control Using Projection with Model Predictive Control

The unified technique for the irradiance correction and appearance enhancement for the real scene is proposed in this paper. The proposed method employed MPC algorithm for the projector camera system and enabled arbitrary appearance control such like photo retouching software in the real world. In the experiment, the appearance control of saturation enhancement, color removal, phase control, edge enhancement, image blur, makes unique brightness and the other enhancements for the real scene are shown.
A Survey on Text Mining and Sentiment Analysis for Unstructured Web Data

Unstructured data refers to information that doesn’t have a pre-defined data archetype. Unstructured information is typically textual data, but may also contain numerical data, and factual details. This results in data that is obscure, irregular and ambiguous, thus making it difficult to analyse using conventional computing means. Much of the data in the web, in the form of blogs, news, social media platforms is unstructured. But they serve as a potential vast source of information, if processed efficiently. In this paper, the basics of harnessing unstructured data from the web and the techniques to process it are discussed. The concepts of web crawling, text mining and natural language processing are discussed in brief, to give an outline of how web data is processed and analysed. Sentiment Analysis, which is a major aspect of present day NLP, is also described, along with issue of mining from Twitter, which has emerged as the most important data source for NLP in the recent past. The paper concludes with a brief outline of the use of web data mining and analysis, and the potential for future growth in the field.