Miracle-dz/UniFAR-FTUs huggingface dataset:
An approach for pre-runtime scheduling in embedded hard real-time systems with power constraints

Embedded hard real-time systems have stringent timing constraints that must be satisfied for the correct functioning of the system. Hence all tasks must be finished before their deadlines. In addition, there are systems where energy is another constraint that must also be satisfied. In this paper, a pre-runtime scheduling algorithm is presented in order to find schedules satisfying both timing and energy constraints. The proposed approach uses state space exploration for finding pre-runtime schedules. However, the main problem with such methods is the space size, which can exponentially grow. This paper tackles this problem through a depth-first search method for generating a partial timed labeled transition system derived from the time Petri net model.
A hybrid approach for extracting semantic relations from texts

We present an approach for extracting relations from texts that exploits linguistic and empirical strategies, by means of a pipeline method involving a parser, partof-speech tagger, named entity recognition system, pattern-based classification and word sense disambiguation models, and resources such as ontology, knowledge base and lexical databases. The relations extracted can be used for various tasks, including semantic web annotation and ontology learning. We suggest that the use of knowledge intensive strategies to process the input text and corpusbased techniques to deal with unpredicted cases and ambiguity problems allows to accurately discover the relevant relations between pairs of entities in that text.
IT Portfolio Valuation - Using Enterprise Architecture and Business Requirements Modeling

This paper describes our architecture-based approach to IT valuation. It sketches how different valuation methods can be combined and linked to models of business requirements and enterprise architecture, and how a first part of this approach is realized using Archi Mate and BiZZ design Architect. In this manner, the value and cost of different elements in the architecture can be computed and attributed to the various goals of the organization.
Landing and mobility concept for the small asteroid lander MASCOT on asteroid 1999 JU3

To enhance the currently studied asteroid sample return mission HAYABUSA-2 by in-situ science the Institute of Space Systems of the German Aerospace Center (DLR) is in lead of a proposal for a lander called MASCOT (Mobile Asteroid Surface Scout). Its mass of 10 kg lies in between those of the HAYABUSA small lander MINERVA (1 kg) and the legged ROSETTA comet lander PHILAE (100 kg). In the successfully completed feasibility study the design of the MASCOT converged to a landing package with 10 kg total mass, 3 kg of payload and the capability of hopping. As a result of its reduced size and the highly demanding constraints regarding e.g. mobility, the design as well as the landing and mobility cannot be adapted from MINERVA and PHILAE. This paper is intended to give an overview over the demanding landing and mobility concept for MASCOT. The current MASCOT baseline design is presented, which has to deal with tight budgetary limitations leading to a consolidated and widely integrated design, while still offering excellent performance in terms of mobility and resulting science. The focus lies on the mission analysis tasks and the mobility concept, which is studied in detail during the ongoing preliminary design phase. The general mission constraints including the parameters of the target asteroid (162173) 1999 JU3 are presented, while emphasis is put on the modelling of the asteroid's inhomogeneous gravity field. Therefore different gravitational models are implemented and their effect on the descent trajectory is compared. Of equal importance is the design support by investigating the two major mobility aspects, i.e. the selfuprighting mechanism and hopping over the asteroid's surface. These two issues are studied by applying both multibody system and contact dynamics approaches. Moreover, this analysis will support the design of the actuator system for uprighting and hopping. After a presentation of the surface modelling and simulation approach an overview over first results and a short outlook on future mobility analysis and test activities for MASCOT is given.
A k-Anonymity Model for Spatio-Temporal Data

The unprecedented growth in location-based services (LBS) take-up along with the continuously increasing storage capabilities of modern systems, and have facilitated the collection of information related to users activities in space and time. In itself this fact constitutes a serious hazard to the privacy of individuals. In this paper, we extend existing work in the preservation of historical k-anonymity, by (i) enabling each user to have numerous spatio-temporal movement patterns (a.k.a. LBQIDs) associated with his profile, (ii) adapting the generalization algorithm of k-anonymity to account for those multiple LBQIDs. (Hi) defining a set of novel spatial regions which behave as dynamically constructed mix-zones, and (iv) introducing an unlinking algorithm, applied when the generalization algorithm fails, which protects users by unlinking their future requests from previous ones. Moreover, as part of our contribution, we construct a data generator that allows for the composition of spatio-temporal datasets. Finally, we use these datasets to provide an extensive and thorough experimental evaluation of our approach.
Flocking of multi-agents based on consensus protocol and pinning control

In this paper we propose three controllers for flocking of multi-agent system, which are basic linear controller, controller with actuator saturation and controller with time delay under the condition that the information exchanging topology of agents is connected and fixed. Each controller is composed of two components as consensus algorithms for making the entire agents converge to a common state and pinning control for guiding the agents to the desired moving direction. The stability of controllers is analyzed and the effectiveness of controllers is demonstrated by numerical simulation.
Real-time Ambient Occlusion on the Playstation3

This paper describes how to implement ambient occlusion effects on the Playstation3 (PS3) while alleviating processing demands on the GPU. The solutions proposed here are implementations that utilize the parallel processing available on the PS3’s synergistic processing units (SPUs). Two well-known ambient occlusion techniques are evaluated as candidate solutions for PS3 SPU implementations.
Highly Collimated Jets and Wide-Angle Outflows in HH 46/47: New Evidence from Spitzer Infrared Images

We present new details of the structure and morphology of the jets and outflows in HH 46/47 as seen in Spitzer infrared images from IRAC and MIPS, reprocessed using the "HiRes" deconvolution technique. HiRes improves the visualization of spatial morphology by enhancing resolution (to subarcsecond levels in IRAC bands) and removing the contaminating side lobes from bright sources. In addition to sharper views of previously reported bow shocks, we have detected (1) the sharply delineated cavity walls of the wide-angle biconical outflow, seen in scattered light on both sides of the protostar, (2) several very narrow jet features at distances ~400 AU to ~0.1 pc from the star, and (3) compact emissions at MIPS 24 μm coincident with the jet heads, tracing the hottest atomic/ionic gas in the bow shocks. Together the IRAC and MIPS images provide a more complete picture of the bow shocks, tracing both the molecular and atomic/ionic gases, respectively. The narrow width and alignment of all jet-related features indicate a high degree of jet collimation and low divergence (width of ~400 AU increasing by only a factor of 2.3 over 0.2 pc). The morphology of this jet, bow shocks, wide-angle outflows, and the fact that the jet is nonprecessing and episodic, constrain the mechanisms for producing the jet's entrained molecular gas, and origins of the fast jet, and slower wide-angle outflow.
Development of advanced driver assist systems using smart phones

This study investigates the development of advanced driver assist systems (ADAS) using smart phones. The driver model parameters are estimated on-line based on the built-in sensors on the smart phone, including the GPS signals, camera, and the inertia measurement sensors (gyros and accelerometers). Further, the existing algorithms as presented in the literature will be employed to estimate the tire-road coefficient of friction based on the smart phone sensors, and the performance will be evaluated experimentally.
A method for detecting gravitational waves coincident with gamma‐ray bursts

The mechanism for gamma ray bursters and the detection of gravitational waves (GWs) are two outstanding problems facing modern physics. Many models of gamma ray bursters predict copious GW emission, so the assumption of an association between GWs and GRBs may be testable with existing bar GW detector data. We consider Weber bar data streams in the vicinity of known GRB times and present calculations of the expected signal after co-addition of 1000 GW/GRBs that have been shifted to a common zero time. Our calculations are based on assumptions concerning the GW spectrum and the redshift distribution of GW/GRB sources which are consistent with current GW/GRB models. We discuss further possibilities of GW detection associated with GRBs in light of future bar detector improvements and suggest that co-addition of data from several improved bar detectors may result in detection of GWs (if the GW/GRB assumption is correct) on a time scale comparable with the LIGO projects.
Dilaton, winding modes and cosmological solutions

The author reviews some formal aspects of cosmological solutions in closed string theory with duality symmetric 'matter' emphasizing the necessity to account for the dilaton dynamics for a proper incorporation of duality. The author considers two models: when the matter action is the classical action of the fields corresponding to momentum and winding modes and when the matter action is represented by the quantum vacuum energy of the string compactified on a torus. Assuming that the effective vacuum energy is positive one finds that in both cases the scale factor undergoes oscillations from maximal to minimal values with the amplitude of oscillations decreasing to zero or increasing to infinity depending on whether the effective coupling (dilaton field) decreases or increases with time. The contribution of the winding modes to the classical action prevents infinite expansion. Duality is spontaneously broken on a solution with generic initial conditions.
A 90μW 12MHz Relaxation Oscillator with a -162dB FOM

Both ring oscillators and relaxation oscillators are subsets of RC oscillators featuring large tuning ranges and small areas. Such relaxation oscillators have two advantages with respect to ring oscillators: 1) they have a constant frequency tuning gain; and 2) their phase can be read out continuously due to their triangular (or sawtooth) waveform. A major disadvantage of practical relaxation oscillators is their poor phase-noise compared to ring oscillators.
Acoustic Stress and Topic Detection in American English Spoken Sentences

The relationship between acoustic stress and information content of words is investigated. On one side, the average acoustic stress is measured for each word throughout each utterance. On the other side an Information Retrieval (IR) index, based on the words frequency throughout the particular spoken sentence and throughout the collection of analyzed spoken sentences, is calculated. The scatter plots of the two measures (average acoustic stress on the y-axis and IR index on the x-axis) show higher values of average acoustic stress with the increasing of the information measure of the word in the majority of the analyzed utterances. A statistically more valid proof of such a relationship is derived from the histogram of the words with high average acoustic stress vs. the IR index. This connrms that a word with high average acoustic stress has also a high value of the IR index.
Dietary supplements for athletes: Emerging trends and recurring themes

Abstract Dietary supplements are widely used at all levels of sport. Changes in patterns of supplement use are taking place against a background of changes in the regulatory framework that governs the manufacture and distribution of supplements in the major markets. Market regulation is complicated by the increasing popularity of Internet sales. The need for quality control of products to ensure they contain the listed ingredients in the stated amount and to ensure the absence of potentially harmful substances is recognized. This latter category includes compounds prohibited under anti-doping regulations. Several certification programmes now provide testing facilities for manufacturers of both raw ingredients and end products to ensure the absence of prohibited substances. Athletes should carry out a cost–benefit analysis for any supplement they propose to use. For most supplements, the evidence is weak, or even completely absent. A few supplements, including caffeine, creatine, and bicarbonate, are supported by a strong research base. Difficulties arise when new evidence appears to support novel supplements: in recent years, β-alanine has become popular, and the use of nitrate and arginine is growing. Athletes seldom wait until there is convincing evidence of efficacy or of safety, but caution is necessary to minimize risk.
Timeliness of real-time IP communication in switched industrial Ethernet networks

Through several giant evolutionary steps, Ethernet has become an almost ubiquitous technology for communication. Being versatile enough to be employed in new and various fields of application, it is now making inroads in factories. However, automated systems are different from many other applications of Ethernet,first and foremost because they require the network technology to deliver real-time performance. In the present study, a number of critical aspects of Ethernet, usually referred to as an Industrial Ethernet, are examined. More specifically, there is a focus on the application-to-application delay and jitter characteristics of such networks, when using Internet protocols such as UDP and TCP. It is demonstrated how important it is to take control of the latency in the station nodes, since the main communication delays occur inside the nodes, and different solutions are presented for controlling these delays. In particular, a priority-based protocol stack is assessed. The results show that real-time, Ethernet-based IP communication is now adequate even for demanding automated applications. In this paper, substation automation (power distribution) is used as an example of a demanding automation system.
What programmers say about refactoring tools?: an empirical investigation of stack overflow

Programmers often use forums, such as StackOverflow, to easily and quickly solve their issues. Researchers then investigate those questions to better understand the state-of-use of software engineering techniques. Also, due to the quality and the great number questions and answers, the results found using such method might be difficult, or even impossible, to find using common survey techniques. In this study, we conducted a qualitative and quantitative research in order to categorize questions about refactoring tools. As a result, we presented a comprehensive classification of flaws and desirable features in refactoring tools. We also reported that programmers do not often rely on refactoring tools, but, at the same time, they are desiring number of unimplemented features.
Targeted search and the long tail effect

type="main"> We develop a search model to explain the long tail effect. Search targetability, or the quality of search, is explicitly modelled. Consumers are searching for the right products within the right categories. As search costs decrease, or search targetability increases, additional variety of goods catering to long tail consumers will be provided, and the concentration of sales across different categories of goods decreases. The effects of a decrease in search costs or an increase in search targetability on consumer utility, prices, and profits depend on whether the type coverage increases. Decreases in search costs and increases in search targetability have different qualitative effects.
Security architecture for heterogeneous distributed computing systems

Distributed systems face a proliferation of users, applications, networked devices, and their interactions on a scale never experienced before. The advent of reliable spontaneous networking technologies has ostensibly raised the stakes for the design of computing intensive environments using intelligent devices. As environmental intelligence grows, so will the number of heterogeneous devices connected to the environment. The creation of security and trust paradigms for such technology rich environments is today's great challenge. If the intelligent devices present in a smart environment act as gateways to some huge distributed computing system, then it is indispensable to sweep the threats out from these smart environments, so as to protect not only the local environment, but also the entire distributed system. This article proposes a design of consistent but fine-grained levels of trust and security in distributed systems, open to pervasive, mobile, heterogeneous networks featuring ambient intelligence by gradually virtualizing their security functions. These systems interact in various ways, with floating semantic interoperability between applications, interoperability of communications depending on shared links between those systems, and versatile interconnections. Threats and vulnerability vary according to different systems, objects, applications, and communication links. The salient features of this design include: consideration of duration and time factors in cryptographic protocols by introducing a trusted clock in the network; space for the security of distributed environments by context awareness in the system; mobility (security of mobile code, mobile agents and speed of movement); virtualization of security services.
Extreme parties and populism: an analysis of Facebook and Twitter across six countries

ABSTRACT Parties are adapting to the new digital environment in many ways; however, the precise relations between populist communication and social media are still hardly considered. This study compares populist communication strategies on Twitter and Facebook employed by a broad spectrum of left-wing, center, and right-wing political actors in six Western democracies. We conduct a semi-automated content analysis of politicians’ social media statements (N = 1400) and find that populism manifests itself in a fragmented form and is mostly used by political actors at the extremes of the political spectrum (both right-wing and left-wing), by opposition parties, and on Facebook.
Here come the septins: novel polymers that coordinate intracellular functions and organization

Septins are conserved GTP-binding proteins that associate with cellular membranes and the actin and microtubule cytoskeletons. They polymerize to form filamentous structures that act as diffusion barriers between different membrane domains and as molecular scaffolds for membrane- and cytoskeleton-binding proteins. In yeast, septins are central to the spatio-temporal coordination of membrane polarity and cell division, but the roles of their mammalian counterparts have remained poorly understood. However, recent findings have shed light on the dynamics and regulation of mammalian septin assembly and our understanding of septin functions in cytoskeleton and membrane organization. The mammalian septins appear to form a novel network of hetero-polymers that are multi-functional, inter-changeable and respond dynamically to signals that coordinate events at the interface between cytoskeleton and membrane biology. Hence, studies of these molecules might provide new insights not only into how cells coordinate their functions, but also into the pathogenesis of cancer and other diseases in which septins are abnormally expressed.
Extended target tracking using principal components

The increased resolution in today's radar systems enables tracking of small targets. However, tracking both small and large targets in a dense target scenario raises considerable challenges. The data association of tracks to measurement groups is highly dependent on good target extension models for filtering and likelihood computation. In our attempt to design a tracker for extended targets, we start by adopting the results from the technique referred to as random matrices, which enables us to separate the filtering into an extension and a kinematical part. We re-define the measurement model and discard the assumption of independent Gaussian-distributed plots. Instead we assume the principal components to be Gaussian distributed. Then, through a heuristic approach, we create a two-stage Kalman filter, where the first stage estimates the principal components, and the second stage estimates the centre of gravity, using the output from the first stage as measurement uncertainty. The advantage of having a Kalman filter with data-driven measurement noise over a standard Kalman filter is demonstrated using simulated data, where a significant improvement in kinematical accuracy is shown.
Performance Analysis of Java Virtual Machine for Machine Learning Workloads using Apache Spark

Now a day's data is growing very rapidly, where processing and analyzing data to get useful information is the main task. There are many big data processing tools and framework such as Hadoop, Hive, Cassandra etc. Spark is one of the fastest big data processing framework in cluster computation. Basic Idea is to analyze the performance of java virtual machine (JVM) [1], by characterizing java virtual machine using SparkBench benchmark on Apache Spark™ [2]. Java virtual machine is a core execution platform for spark application. When we run the spark application on java virtual machine, its behavior is affected, which needs to be monitored to analyze the JVM performance. Here we are considering Machine Learning workloads like K-Means, Matrix Factorization and Logistic Regression. Main goal here is to analyze the machine learning workloads end to end across the cluster, with respect to following parameters such as garbage collection, memory such as heap usage, CPU process time. Characterization of JVM is done with spark cluster setup and HDFS is used as storage with distributed Hadoop cluster setup.
Metabolic disturbances connecting obesity and depression

Obesity markedly increases the odds of developing depression. Depressed mood not only impairs motivation, quality of life and overall functioning but also increases the risks of obesity complications. Abdominal obesity is a better predictor of depression and anxiety risk than overall adipose mass. A growing amount of research suggests that metabolic abnormalities stemming from central obesity that lead to metabolic disease may also be responsible for the increased incidence of depression in obesity. As reviewed here, a higher mass of dysfunctional adipose tissue is associated with several metabolic disturbances that are either directly or indirectly implicated in the control of emotions and mood. To better comprehend the development of depression in obesity, this review pulls together select findings addressing the link between adiposity, diet and negative emotional states and discusses the evidence that alterations in glucocorticoids, adipose-derived hormones, insulin and inflammatory signaling that are characteristic of central obesity may be involved.