Miracle-dz/UniFAR-FTUs huggingface dataset:
Named Functions at the Edge

As end-user and edge-network devices are becoming ever more powerful, they are producing ever increasing amounts of data. Pulling all this data into the cloud for processing is impossible, not only due to its enormous volume, but also due to the stringent latency requirements of many applications. Instead, we argue that end-user and edge-network devices should collectively form edge computing swarms and complement the cloud with their storage and processing resources. This shift from centralized to edge clouds has the potential to open new horizons for application development, supporting new low-latency services and, ultimately, creating new markets for storage and processing resources. To realize this vision, we propose Named Functions at the Edge (NFE), a platform where functions can i) be identified through a routable name, ii) be requested and moved (as data objects) to process data on demand at edge nodes, iii) pull raw or anonymized data from sensors and devices, iv) securely and privately return their results to the invoker and v) compensate each party for use of their data, storage, communication or computing resources via tracking and accountability mechanisms. We use an emergency evacuation application to motivate the need for NFE and demonstrate its potential.
Application of diabetes risk scores in health checkups A comparison of the German Diabetes Risk Score ( GDRS ) and FINDRISK test

In the study “Praxistest Diabetes” (PraDi) we investigated the application of the German Diabetes Risk Score (GDRS) and FINDRISK in health checkups in terms of the predictive ability to identify undiagnosed prediabetes and diabetes. 403 men and women aged 35–70 years participated in the PraDi study. The predictive ability of prediabetes/diabetes (fasting plasma glucose FPG ≥ 5.6 mmol/L) or diabetes (FPG ≥ 7.0 mmol/L) was evaluated with discrimination (area under the receiver-operating-characteristic curve [ROC-AUC]). With regard to blood glucose tests, 93 participants had prediabetes/diabetes and 7 participants had undiagnosed diabetes. The ROC-AUC for the GDRS for identification of prediabetes/diabetes was 0.78 (95% confidence interval [95%-CI]: 0.73–0.94) which was higher than observed for FINDRISK with 0.73 (95%-CI: 0.68–0.79; p = 0.029). The ROC-AUC for identification of diabetes was 0.83 (95%CI: 0.73–0.94) for the GDRS and 0.80 (95%-CI: 0.61–0.99) for FINDRISK (p = 0.67). In the context of health checkups, the GDRS showed a more precise identification of patients with prediabetes/diabetes or diabetes compared to FINDRISK.
Transformer-NADE for Piano Performances

Self-attention based Transformers are compelling sequence models because they can capture relatively long-term dependencies by having direct access to the past. However, their memory requirements grow quadratically with sequence length, making it prohibitive to model long sequences with global attention. In contrast to previous representations of music that “flatten” a note’s performance attributes such as velocity, note on, and note off into a single sequence, we reduce sequence length by proposing a new representation, NoteTuple, which groups a note’s attributes as one event. This makes it natural to factorize a musical performance into a sequence of notes and model a note as a NADE on its attributes. The resulting models require fewer parameters and have faster generation. NoteTuples is a promising extension to Music Transformer (Huang et al., 2018b), enabling rich downstream tasks such as infilling of piano performances, e.g., Ippolito et al. (2018). Samples can be heard at https://goo.gl/magenta/notetuple-examples.
The Bii o-- psychosociiall iimpact off fforced miigratiion : : a partiiciipatory approach amongst reffugees and asyllum seekers iin Mall ta

Marika Podda Connor MSc European Nursing, BSc (Hons) Nursing Studies, Diploma Soc.Studies, RN. School of Health and Social Sciences, Middlesex University, London mkapod62@yahoo.co.uk _________________________________________________________________________ Abstract Objectives: To explore the bio-psychosocial impact of force d migration on asylum seekers/refugees in Malta. This paper focuses on th e complex processes of interaction between asylum seekers/refugees and their physical, psychological, social and cultural environments, in their search for meaning. The aut hor’s concern prior to the study was how the participants make sense out of their lives following forced migration whilst encompassing complex challenges, affecting their he alt (physically and psychologically) and their social well-being.
Source localization using a sparse representation of sensor measurements

We propose a non-parametric technique for source localization with passive sensor arrays, using the concept of a sparse representation of sensor measurements. We give an interpretation of sensor data by sparsely representing these data in an overcomplete basis. The estimation problem is put in a model-fitting framework in which source position is achieved by finding the sparsest representation of the data. The approach presented in the communication is based on the singular value decomposition (SVD) of multiple samples of the array output and the use of a second-order cone programming for optimization of a resulting objective function. We formulate the problem in a variational framework, where we minimize a regularized objective function for finding an estimate of the signal energy as a function of acoustical source position. The key is to use an appropriate non-quadratic regularizing functional which leads to sparsity constraints and superresolution. The acoustical sources will be correlated or uncorrelated, wideband or narrowband. Numerical and experimental results in an anechoic room are presented. Our algorithm is compared to traditional algorithms such as beamforming, Capon and MUSIC.
A Formal Semantics of the Final Rise

This paper presents a formally precise model of how the final rise a↵ects the discourse structure of a dialogue. Our account makes precise the informal claims from previous discussions which have characterised the final rise as signalling ‘incompleteness,’ ‘uncertainty’ or ‘insu ciency’ in various senses (e.g., Pierrehumbert and Hirschberg [11], Hobbs [8], Bolinger [3], Westera [19]). Inspired by their analyses, we give a formal semantics in the SDRT framework (see [1]) that models ‘incompleteness’ as an underspecified notion that is resolved to specific interpretations in context.
Chaos in overhead travelling cranes load motion

The paper presents the results of numerical investigations of the overhead travelling cranes load motion. The model studies assumes that the load is suspended on the inextensible rope. Conversely, its motion is triggered by an external moment. In addition, energy losses in the construction node connecting the rope to the drum are included. At the same time these losses were mapped through a linear viscous damper. The main objective was to evaluate the impact of individual mathematical model parameters on the dynamics of the transported load. The results were compared between two models: with/without crane structure vibrations included. The results were illustrated by multi-colored maps of the largest Lyapunov exponent, bifurcation diagrams, and Poincare cross-sections.
Real-Time Information-Theoretic Exploration with Gaussian Mixture Model Maps

This paper develops an exploration framework that leverages Gaussian mixture models (GMMs) for high-fidelity perceptual modeling and exploits the compactness of the distributions for information sharing in communications-constrained applications. State-of-the-art, high-resolution perceptual modeling techniques do not always consider the implications of transferring the model across limited bandwidth communications channels, which is critical for real-time information sharing. To bridge this gap in the state of the art, this paper presents a system that compactly represents sensor observations as GMMs and maintains a local occupancy grid map for a sampling-based motion planner that maximizes an information-theoretic objective function. The method is extensively evaluated in long duration simulations on an embedded PC and deployed to an aerial robot equipped with a 3D LiDAR. The result is significant memory efficiency as compared to state-of-the-art techniques.
Corpus-based Translation Studies : A Quantitative or Qualitative Development ?

Baker’s (1993) earliest paper on the potential of corpus-based translation studies argued that corpora would provide an empirical basis for descriptive translation studies. Since then corpora have been used principally in the investigation of “universal” (or, more tentatively, “general”) features of translation, on the one hand, and in the study of the specific styles of individual translators, on the other. A number of extensive case studies have now been conducted, and advances in corpusbased methodologies have been made, but it is not altogether clear what corpora have added to our understanding of basic theoretical constructs in translation studies. Has the quantitative shift led to a qualitative shift, as Tognini-Bonelli (1996) has argued in the case of linguistics in general? In this paper I aim to investigate whether or not our understanding of aspects of our object of enquiry has shifted in any way after a decade of using corpora in translation studies. Taking such concepts as the unit of translation, equivalence, and the translator’s voice as examples, I ask whether exposure to more data, and new ways of looking at this data, have led us to rethink or refine any of these concepts.
Experimental manipulation of extraverted and introverted behavior and its effects on well-being.

Research in personality psychology has remained predominantly correlational. For example, 3 decades of research demonstrate a robust cross-sectional relationship between extraversion and positive affect. A handful of studies, however, have examined this link experimentally, showing that extraversion boosts positive affect over short durations. If this is true, behaving in an extraverted manner should be a reliable method for increasing positive affect and, thus, suitable as a well-being-increasing practice. The current study instructed participants to engage in both extraverted and introverted behavior, each for 1 week. Participants increased in well-being when they were assigned to act extraverted and decreased in well-being when they were assigned to act introverted. These findings suggest that changing behavior associated with personality is possible and can impact well-being. More broadly, this study adds to a growing body of research on the potential of experimental methods in personality psychology. (PsycINFO Database Record (c) 2019 APA, all rights reserved).
Embedded Real-time Controllers for Industrial Distributed Control Systems

This paper presents design details adopting open embedded systems (OES) as real-time controllers in industrial distributed control systems. OES minimize development cost and enhance portability while addressing widely known shortcomings of their proprietary counterparts. These shortcomings include the black box method of distribution which hinders integration to more complex systems. However, OES are highly dependent on the compatibility of each software components and essential benchmarking is required to ensure that the system can satisfy hard real-time constraints. To address these issues and the notion that OES will find broader distributed control applications, we provide detailed procedures in realizing OES based on an open source real-time operating system on various low-cost open embedded platforms. Their performance was evaluated and compared in terms of periodicity and schedulability, task synchronization, and interrupt response time, which are crucial metrics to determine stability and reliability of real-time controllers. Practical implementations, including the modernization of a multi-axis industrial robot controller, are described clearly to serve as a comprehensive reference on the integration of OES in industrial distributed control systems.
Threshold proxy signature based on position

—Position-based cryptography has attracted lots of researchers’ attention. In the mobile Internet, there are many position-based security applications. For the first time, one new conception, threshold proxy signature based on positions is proposed. Based on one secure positioning protocol, one model of threshold proxy signature based on positions is proposed. In the model, positioning protocols are bound to threshold proxy signature tightly, not loosely. Further, one position-based threshold proxy signature scheme is designed, its correctness is proved, and its security is analyzed. As far as we know, it is the first threshold proxy signature scheme based on positions.
Primal-dual first-order methods with O (1/e) iteration-complexity for cone programming.

In this paper we consider the general cone programming problem, and propose primal-dual convex (smooth and/or nonsmooth) minimization reformulations for it. We then discuss first-order methods suitable for solving these reformulations, namely, Nesterov's optimal method (Nesterov in Doklady AN SSSR 269:543-547, 1983; Math Program 103:127-152, 2005), Nesterov's smooth approximation scheme (Nesterov in Math Program 103:127-152, 2005), and Nemirovski's prox-method (Nemirovski in SIAM J Opt 15:229-251, 2005), and propose a variant of Neste- rov's optimal method which has outperformed the latter one in our computational experiments. We also derive iteration-complexity bounds for these first-order meth- ods applied to the proposed primal-dual reformulations of the cone programming problem. The performance of these methods is then compared using a set of ran- domly generated linear programming and semidefinite programming instances. We also compare the approach based on the variant of Nesterov's optimal method with the low-rank method proposed by Burer and Monteiro (Math Program Ser B 95:329-357,
Incorporating Operational and Economic Uncertainties in Acquisition Decisions for a Logistics Vehicle Fleet

The first three phases (design, acquisition and use) of the life cycle of military equipment often span multiple years. Because of the lengths of these phases, the economic and operational environments assumed during the design and acquisition decision process may not be present when the system is delivered or during its use. Variations in economic parameters can lead to cost overruns, and variations in operational environments can lead to system specifications, deemed appropriate during the earlier phases, being inadequate for actual operational requirements. These uncertainties should therefore be accounted for during the design and/or acquisition process. This paper discusses how Chance-Constrained Goal Programming can be employed to determine the optimal procurement decision to satisfy operational demands while minimizing the risk of a budget overrun. A model is developed for the selection of an optimal vehicle fleet mix for an operational scenario where the commodity demands and vehicle costs are assumed to be normally distributed. The aim was to determine the optimal fleet capable of satisfying the demands with a given probability while minimizing the potential budget overrun at a given probability level, that is, the Value at Risk (VaR). Three different probability levels (90%, 95% and 99%) for the satisfaction of demand are considered for a VaR at a 95% level. c © Her Majesty the Queen in Right of Canada, as represented by the Minister of National Defence, 2011 c © Sa Majest la Reine (en droit du Canada), telle que reprsente par le ministre de la Dfense national, 2011
The Spawn of Presence : Examining the Relationship between Presence and Self-Presence

The concept of presence has been under intense study and has led to, among other things, the identification of its various dimensions. One of these dimensions, self-presence, refers to the psychological connection between an avatar user and the avatar. This study investigates the relationship between presence and self-presence in order to ascertain the value of adding the concept of self-presence as a separate and distinct construct in evaluating media use effects. Drawing upon a self-presence framework which is comprised of three subfactors (body, emotions, and identity) of user-avatar connections (Ratan, 2012), this study tests for convergent and discriminant validity between presence and these subfactors of self-presence. In an experiment, participants played a video game and reported presence and self-presence in a post-questionnaire. The results suggest that presence was positively related to two of the three subfactors of self-presence (body and emotion), but also that all three subfactors are distinct from presence. This indicates that the subfactors of self-presence have unique value in understanding the experience of avatar use in virtual environments and video games. Thus, this study calls for the consideration of the self-presence framework as an additional and distinct construct in future investigations of media use effects.
On the relationship between set-out rates and participation ratios as a tool for enhancement of kerbside household waste recycling

Although the use of kerbside recycling facilities by householders is often key to the reduction of materials disposed of to landfill, the quantitative assessment of householders’ recycling behaviour is problematic. This study introduces a method to diagnose recycling behaviour by assessing kerbside scheme use in terms of the set-out of recyclate containers compared to the proportion of households participating in recycling (participation ratio). Application of numerical behaviour models demonstrated that kerbside recycling in sampled regions of the UK tends to be consistent with householders using kerbside schemes more frequently than would be observed with random patterns of use that are uniform amongst all householders. When aggregated to collection rounds, householders’ modal recycling behaviour tended towards either non-participation or frequent participation. We propose that initiatives to enhance kerbside recycling should employ such quantitative assessments of recycling behavioural modes to inform and guide promotional and educational strategies. A conceptual model for prioritizing campaigns to promote recycling at the kerbside on the basis of identifiable and quantifiable patterns of householder recycling behaviour is presented. r 2006 Elsevier Ltd. All rights reserved.
Personalized Peer Truth Serum for Eliciting Multi-Attribute Personal Data

Several peer consistency mechanisms have been proposed to incentivize agents for hon-estly solving crowdsourcing tasks. These game-theoretic mechanisms evaluate the answers provided by an agent based on the correlation with answers provided by other agents (“peers”) who solve the same tasks . In this paper, we consider the problem of eliciting personal attributes (for e.g. body measurements) of the agents. Since attributes are personal in nature, the tasks can not be shared between two agents. We show for the ﬁrst time how to extend a peer consistency incentive mechanism, the Logarithmic Peer Truth Serum, to this setting for collecting personal attributes. When individuals report combinations of multiple personal data attributes, the correlation between them can be exploited to ﬁnd peers. This new mechanism applies, for example, to collecting personal health records and other multi-attribute measurements at private properties such as smart homes. We provide a theoretical analysis of the incentive properties of the new mechanism and show the performance of the mechanism on several public datasets, which conﬁrm the theoretical analysis.
Magnetoelasticity of Fe Ge Single Crystals From 81 K to 300 K

Temperature dependent magnetoelastic properties of Fe Ge single crystals have been measured. Tetragonal magnetostriction measurements at , and were performed between 78 K and 426 K and resonant ultrasound spectroscopy measurements were used to determine the shear elastic constant from 5 K to 300 K for , and . A clear distinction was observed between the temperature dependencies of for the A2 and phases of Fe Ge . The elastic constant displays a monotonic decrease with concentration through the different phases and at all temperatures. Experimental values of the tetragonal magnetoelastic coupling constant at 81 K were remarkably consistent with theoretical values determined by density functional calculations at 0 K. Index Terms—Elastic constants, gallium alloys, germanium alloys, iron alloys, magnetoelasticity, magnetostriction.
Monte Carlo Method for Uncertainty Propagation in Magnetic Resonance-Based Electric Properties Tomography

This paper investigates the uncertainty propagation in magnetic resonance-based electric properties tomography, a quantitative imaging technique that recovers the electric properties distribution inside a human body at the Larmor frequency. This is a needed step in order to make the quantitative results reliable for in vivo applications. To this aim, the contrast source inversion method is investigated as a promising technique and the uncertainty propagation through the corresponding model is studied by means of the Monte Carlo method. Thanks to the increased quality in the recovered electric properties, the results suggest that TEM coils for parallel transmission could be a preferable choice.
On a relationship between processor-sharing queues and Crump–Mode–Jagers branching processes

The M/G/1 queue with batch arrivals and a queueing discipline which is a generalization of processor sharing is studied by means of Crump–Mode–Jagers branching processes. A number of theorems are proved, including investigation of heavy traffic and overloaded queues. Most of the results obtained are also new for the M/G/1 queue with processor sharing. By use of a limiting procedure we also derive new results concerning M/G/1 queues with shortest residual processing time discipline.