Miracle-dz/UniFAR-FTUs huggingface dataset:
So what? Now what? Exploring, understanding and using the epistemologies that inform the improvement of healthcare

closer to the spirit of the meeting to assemble the outputs: the collective explorations, insights and syntheses that emerged from our intense and productive week together. Accordingly, we invited participants, as individuals or in small groups, to write about the ideas from the meeting that changed their thinking the most and that they felt would be important to share. Many chose to do so in a longer (w2500-word) format: serious, scholarly, welldocumented articles written to be as accessible as possible to a general readership. Several opted for a shorter (w800-word) format that captured ‘ideas in evolution’: thinking that seemed too interesting and important to lose, even though it was not yet fully worked out. All of the submitted manuscripts were peer-reviewed.
Developing high-level cognitive functions for service robots

The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are identified. State-of-the-art, general-purpose Natural Language Processing (NLP), Commonsense Reasoning (in particular, ASP), and Robotics techniques are integrated in a layered architecture. The architecture and mechanisms have been implemented on a service robot, Ke Jia. Instead of command languages, small limited segments of natural languages are employed in spoken dialog between Ke Jia and its users. The information in the dialog is extracted, classified and transferred into inner representation by Ke Jia's NLP mechanism, and further used autonomously in problem-solving and planning. A series of case study was conducted on Ke Jia with positive results, verifying its ability of acquiring knowledge through spoken dialog with users, autonomous solving problems by virtue of acquired causal knowledge, and autonomous planning for complex tasks.
Effects of relevant contextual features in the performance of a restaurant recommender system

Contextual information in recommender systems aims to improve user satisfaction. Usually, it is assumed that the complete set of contextual features is significant. However, identifying relevant context variables is important as increasing their number may lead the system to dimensionality problems. In this paper, relevant contextual attributes are identified by using a simple feature selection approach. Once the features has been identified, it is shown their impact in different performance aspects of the system. This approach was applied to a semantic based restaurant recommender system. Results show that feature selection techniques can be applied successfully to identify relevant contextual data. These results are important to model contextual user profiles with meaningful information, to reduce dimensionality, and to analyze user’s decision criteria.
Acyclic Word Graph for Web Clustering

-The low precision of the Web search engines coupled with the ranked list presentation make it hard for users to find the information they are looking for. In this paper, the Web Document Clustering problem is studied. We propose a new data structure known as Compact Directed Acyclic Word Graph (CDAWG). The CDAWG is a space-efficient data structure used in handling and analyzing repetitions in a text. It is superior in terms of memory/space usage over Suffix Trees and ordinary DAWG especially on large data collection sets.
Towards Scalability of Graph-Mining Based Bug Localisation

(Semi-)automated bug localisation is an important issue in software engineering. Recent techniques based on call graphs and graph mining can locate bugs in relatively small programs, but do not scale for real-world applications. In this paper we describe a buglocalisation approach based on graph mining that has this property, at least according to preliminary experiments. Our main contribution is the denition and analysis of classlevel call graphs, with encouraging results.
SML Question-Answering System for World History Essay and Multiple-choice Exams at NTCIR-12 QA@Lab-2

This paper describes SML team’s approach to automatically answering world history exam questions at NTCIR12 QALab. We challenged to answer both the multiplechoice questions in the national center tests and the essaytype questions in the secondary exams. Our system answers the questions by searching based on surface similarity. We explored several methods to enhance the system with domain-specific knowledge such as dictionaries of synonyms and temporal information.
Detailed analysis of Balmer lines in cool dwarf stars

An analysis of H and H spectra in a sample of 30 cool dwarf and subgiant stars is presented using MARCS model atmospheres based on the most recent calculations of the line opacities. A detailed quantitative comparison of the solar flux spectra with model spectra shows that Balmer line prole shapes, and therefore the temperature structure in the line formation region, are best represented under the mixing length theory by any combination of a low mixing-length parameter and a low convective structure parameter y. A slightly lower eective temperature is obtained for the sun than the accepted value, which we attribute to errors in models and line opacities. The programme stars span temperatures from 4800 to 7100 K and include a small number of population II stars. Eective temperatures have been derived using a quantitative tting method with a detailed error analysis. Our temperatures nd good agreement with those from the Infrared Flux Method (IRFM) near solar metallicity but show dierences at low metallicity where the two available IRFM determinations themselves are in disagreement. Comparison with recent temperature determinations using Balmer lines by Fuhrmann (1998, 2000), who employed a dierent description of the wing absorption due to self-broadening, does not show the large dierences predicted by Barklem et al. (2000b). In fact, perhaps fortuitously, reasonable agreement is found near solar metallicity, while we nd signicantly cooler temperatures for low metallicity stars of around solar temperature.
Translating off-line schedules into task attributes for fixed priority scheduling

Off-line scheduling and fixed priority scheduling (FPS) are often considered as complementing and incompatible paradigms. A number of industrial applications demand temporal properties (predictability, jitter constraints, end-to-end deadlines, etc.) that are typically achieved by using off-line scheduling. The rigid off-line scheduling schemes used, however do not provide for flexibility. FPS has been widely studied and used in a number of applications, mostly due to its simple run-time scheduling, and small overhead. It can provide more flexibility, but is limited with respect to predictability, as actual start and completion times of execution depend on run-time events. In this paper we show how off-line scheduling and FPS run-time scheduling can be combined to get the advantages of both the capability to cope with complex timing constraints and flexibility. The paper assumes that a schedule for a set of tasks with complex constraints has been constructed off-line. It presents a method to analyze the off-line schedule and derive an FPS task set with FPS attributes priority, offset, and period, such that the runtime FPS execution matches the off-line schedule. It does so by analyzing the schedule and setting up inequality relations for the priorities of the tasks under FPS. Integer linear programming (ILP) is then used to find a FPS priority assignment that fulfils the relations. In case the priority relations for the tasks of the off-line schedule are not solvable we split tasks into the number of instances, to obtain a new task set with consistent task attributes. Our schedule translation algorithm keeps the number of newly generated artifact tasks minimal.
Usability and Security by Design: A Case Study in Research and Development

There is ongoing interest in utilising user expe- riences associated with security and privacy to better inform system design and development. However, there are few studies demonstrating how, together, security and usability design tech- niques can help in the design of secure systems; such studies provide practical examples and lessons learned that practitioners and researchers can use to inform best practice, and underpin future research. This paper describes a three-year study where security and usability techniques were used in a research and development project to develop webinos — a secure, cross- platform software environment for web applications. Because they value innovation over both security and usability, research and development projects are a particularly difficult context of study. We describe the difficulties faced in applying these security and usability techniques, the approaches taken to overcome them, and lessons that can be learned by others trying to build usability and security into software systems.
A reconfigurable, pipelined, conflict directed jumping search SAT solver

Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. In this paper, we present a five-stage pipelined SAT solver. SAT solving is broken into five stages: variable decision, variable effect fetch, clause evaluation, conflict detection, and conflict analysis. The solver performs a novel search algorithm combining state-of-the-art SAT solvers advanced techniques: non-chronological backjumping, dynamic backtracking and learning without explicit traversal of implication graph. SAT instance information is stored into FPGA block RAMs avoiding synthesizing overhead for each instance. The proposed solver achieves up to 70× speedup over other hardware SAT solvers with 200× less resource utilization.
Fast interactive segmentation of natural images using the image foresting transform

This paper presents an unified framework for fast interactive segmentation of natural images using the image foresting transform (IFT) — a tool for the design of image processing operators based on connectivity functions (path-value functions) in graphs derived from the image. It mainly consists of three tasks: recognition, enhancement, and extraction. Recognition is the only interactive task, where representative image properties for enhancement and the object's location for extraction are indicated by drawing a few markers in the image. Enhancement increases the dissimilarities between object and background for more effective object extraction, which completes segmentation. We show through extensive experiments that, by exploiting the synergism between user and computer for recognition and enhancement, respectively, as a separated step from recognition and extraction, respectively, one can reduce user involvement with better accuracy. We also describe new methods for enhancement based on fuzzy classification by IFT and for feature selection and/or combination by genetic programming.
Framing Climate Uncertainty: Frame Choices Reveal and Influence Climate Change Beliefs

The public debate around climate change is increasingly polarized. At the same time, the scientific consensus about the causes and consequences of climate change is strong. This inconsistency poses challenges for mitigation and adaptation efforts. The translation of uncertain numerical climate projections into simpler but ambiguous verbal frames may contribute to this polarization. In two experimental studies, we investigated 1) how “communicators” verbally frame a confidence interval regarding projected change in winter precipitation due to climate change (N = 512) and 2) how “listeners” interpret these verbal frames (N = 385). Both studies were preregistered at the Open Science Framework. Communicators who perceived the change as more severe chose a concerned rather than an unconcerned verbal frame. Furthermore, communicators’ verbal frames were associated with their more general beliefs, like political affiliation and environmental values. Listeners exposed to the concerned frame perceived climate change–induced precipitation change to be more severe than those receiving the unconcerned frame. These results are in line with two pilot studies (N = 298 and N = 393, respectively). Underlying general beliefs about climate and the environment likely shape public communication about climate in subtle ways, and thus verbal framing by the media, policymakers, and peers may contribute to public polarization on climate change.
Simultaneous projection mapping using high-frame-rate depth vision

In this paper, we report on the development of a projection mapping system that can project RGB light patterns that are enhanced for three-dimensional (3-D) scenes using a GPU-based high-frame-rate (HFR) vision system synchronized with HFR projectors. Our system can acquire 512×512 depth images in real time at 500 fps. The depth image processing is accelerated by installing a GPU board for parallel processing of a gray-code structured light method using infrared (IR) light patterns projected from an IR projector. Using the computed depth images, suitable RGB light patterns to be projected are generated in real time for enhanced application tasks. They are projected from an RGB projector as augmented information onto a 3-D scene with pixel-wise correspondence even when the 3-D scene is time-varied. Experimental results obtained from enhanced application tasks for time-varying 3-D scenes such as (1) depth-based color mapping and (2) augmented reality (AR) spirit level, confirm the efficacy of our system.
Localization accuracy estimation with application to perception design

Landmark-based localization in dynamic environments poses high demands on the perception system of a mobile robot. The pose estimate generally has to fulfill specific accuracy requirements which might be necessitated by dependent systems, such as behavior planning. Thus, in this contribution we focus on the model-based derivation of perception requirements, i.e. detectable landmark types and minimum detection rates, to enable global localization with a specified upper bound on uncertainty. To this end, we utilize stochastic geometry to accurately capture and explicitly consider characteristics of the dynamic environment (e.g. occlusions), and the perception system (e.g. missed detections). From this point our contributions are twofold: i) We propose an analytical model of upper bounds on localization uncertainty. For continuous pose tracking, the Kalman filter equations for intermittent observations are considered and ii) perception requirements, i.e. minimum detection rates, based on specified upper bounds on pose estimation uncertainty are derived. Monte Carlo simulations are used to demonstrate the performance of the proposed methods.
Data Envelopment Analysis Approach and Its Application In Information and Communication Technologies

Data Envelopment Analysis (DEA) is a relatively new “data oriented” non-parametric approach for evaluating the performance of complex entities called Decision Making Units (DMUs) which convert multiple inputs into multiple outputs. DEA as a linear programming procedure computes a comparative ratio of outputs to inputs for each DMU, which is reported as the relative efficiency score. In a relatively short period of time DEA has grown into a powerful, quantitative, analytical tool for measuring and evaluating efficiency and has been successfully applied in many contexts worldwide. The reasons why DEA is seeing so much use is that it requires minimal assumptions about how the factors of production relate to each other and assessment by DEA relates to ‘best’ or ‘efficient’ rather than average behavior. The purpose of this paper is to describe Data Envelopment Analysis as a new way for organizing and analyzing data and to present the applications of this methodology in information and communication technologies.
Geometrically Controlled Asymmetric Division of CD4+ T Cells Studied by Immunological Synapse Arrays

Similar to stem cells, naïve T cells undergo asymmetric division following activation. While asymmetric division of T cells has been shown to be an important mechanism for the generation of lymphocyte fate diversity during immune responses, key factors that influence whether T cells will undergo symmetric or asymmetric divisions are not completely understood. Here, we utilized immunological synapse arrays (ISAs) to begin to dissect mechanisms of asymmetric T lymphocyte division. ISAs are protein micropatterned surfaces composed of two segregated regions, activation sites and adhesion fields. Activation sites are small spots presenting activation signals such as anti-CD3 and anti-CD28, and adhesion fields are the remaining regions surrounding activation sites immobilized with interintercel adhesion molecule 1 (ICAM-1). By varying the size and the distance between the activation sites and measuring the incidence of asymmetric cell divisions, we found that the distance between activation sites is an important regulator of asymmetric division. Further analysis revealed that more symmetric divisions occurred when two nascent daughter cells stably interacted with two distinct activation sites throughout and following cytokinesis. In contrast, more asymmetric divisions occurred when only one daughter cell remained anchored on an activation site while the other daughter became motile and moved away following cytokinesis. Together, these results indicate that TCR signaling events during cytokinesis may repolarize key molecules for asymmetric partitioning, suggesting the possibility that the density of antigen presenting cells that interact with T cells as they undergo cytokinesis may be a critical factor regulating asymmetric division in T cells.
Building a SCADA Security Testbed

SCADA (Supervisory Control and Data Acquisition) systems control and monitor industrial and critical infrastructure functions, such as the electricity, gas, water, waste, railway and traffic. Recent attacks on SCADA systems highlight the need of a SCADA security testbed, which can be used to model real SCADA systems and study the effects of attacks on them. We propose the architecture of a modular SCADA testbed and describe our tool which mimics a SCADA network, monitors and controls real sensors and actuators using Modbus/TCP protocol. Using Distributed Denial of Service (DDoS) scenarios we show how attackers can disrupt the operation of a SCADA system.
Cultural Precarity: Migrants’ Positionalities in the Light of Current Anti-immigrant Populism in Europe

ABSTRACT The Brexit referendum was an earthquake to those in otherwise privileged positions: white intra-European migrants. Poles form the largest among these groups in the UK. As much as they are vulnerable to discrimination as non-British citizens, these migrants benefit from their whiteness and European heritage. They are objects of anti-immigrant campaigns, but they are not free of anti-immigrant sentiments and racist attitudes. This article uses the notion of ‘cultural precarity’ to highlight their ambivalent positionalities in Britain and how those have been changing since the Brexit vote. Drawing on three studies conducted among Poles in England between 2010 and 2017, it explores how the neoliberal and culturalist logics of belonging determine the migrants’ conditions. By applying the lens of ‘cultural precarity’, the article is attentive to both to the migrants’ vulnerability and the moments of everyday resistance to anti-immigrant populism now at work across Europe. The Brexit case is instructive for other contexts for it demonstrates how migrants construct their own cultural and racial proximity to dominant groups to counter vulnerability and secure inclusion.
Journal of Enterprise Information Management Emerald Article: E-service Quality Model for Indian Government Portals: Citizens' Perspective E-service Quality Model for Indian Government Portals: Citizens' Perspective

For Authors: If you would like to write for this, or any other Emerald publication, then please use our Emerald for Authors service. Information about how to choose which publication to write for and submission guidelines are available for all. Please visit About Emerald www.emeraldinsight. com With over forty years' experience, Emerald Group Publishing is a leading independent publisher of global research with impact in business, society, public policy and education. In total, Emerald publishes over 275 journals and more than 130 book series, as well as an extensive range of online products and services. Emerald is both COUNTER 3 and TRANSFER compliant. The organization is a partner of the Committee on Publication Ethics (COPE) and also works with Portico and the LOCKSS initiative for digital archive preservation. Abstract Purpose – E-government implementation evolves through different stages of maturity, enforcing changes in strategies at each level. The transitions of service maturity phases pose continuous challenges to service providers in assessing the e-service quality of web-based services used in government. This study is conducted to propose a multi item scale for assessing the e-service quality of government portals involving transactions. Design/methodology/approach – Factors influencing the e-service quality of government portals were identified from an extensive review of research performed by academic scholars and practitioners. A questionnaire was designed based on a review and interviews with users of e-government applications and was used to conduct a survey of fully operational portals. Responses were obtained and quantitative analyses were performed on the data to develop a scale. This scale can help in evaluating citizen perceived quality of e-services. Findings – Seven constructs – i.e. citizen centricity, transaction transparency, technical adequacy, usability, complete information, privacy and security and usefulness of information – were identified from the analyses, which can be used to assess the demand side service quality of government portals. Practical implications – Despite a well-structured, national-level plan on e-government and adequate funding in India, most of the projects under the scheme are far below the expectation level of citizens. Technology-enabled applications have promised easy access to government services with economic gain in certain cases, but they have not ensured citizens' satisfaction. Improved service quality based on citizens' need and expectation can reduce the gap between design and reality and act as positive trigger for adoption of e-government. This study can help government portal developers get an insight into users' needs to improve the …
Partially quenched gauge theories and an application to staggered fermions.

We extend our Lagrangian technique for chiral perturbation theory for quenched QCD to include theories in which only some of the quarks are quenched. We discuss the relationship between the partially quenched theory and a theory in which only the unquenched quarks are present. We also investigate the peculiar infrared divergences associated with the ${\ensuremath{\eta}}^{\ensuremath{'}}$ in the quenched approximation, and find the conditions under which such divergences can appear in a partially quenched theory. We then apply our results to staggered fermion QCD in which the square root of the fermion determinant is taken, using the observation that this should correspond to a theory with four quarks, two of which are quenched.