pinecone/core-2020-05-10-deduplication huggingface dataset:
Integration of a Spanish-to-LSE machine translation system into an e-learning platform

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-21657-2_61This paper presents the first results of the integration of a Spanish-to-LSE Machine Translation (MT) system into an e-learning platform. Most e-learning platforms provide speech-based contents, which makes them inaccessible to the Deaf. To solve this issue, we have developed a MT system that translates Spanish speech-based contents into LSE.
To test our MT system, we have integrated it into an e-learning tool. The e-learning tool sends the audio to our platform. The platform sends back the subtitles and a video stream with the signed translation to the e-learning tool.
Preliminary results, evaluating the sign language synthesis module, show an isolated sign recognition accuracy of 97%. The sentence recognition accuracy was of 93%.Authors would like to acknowledge the FPU-UAM grant program
for its financial support. Authors are grateful to the FCNSE linguistic department for sharing their knowledge in LSE and performing the evaluations. Many thanks go to María Chulvi and Benjamín Nogal for providing help during the imple-mentation of this system. This work was partially supported by the Telefónica Móviles España S.A. project number 10-047158-TE-Ed-01-1
HCI as an instrument for strengthening culture and language of a Colombian native community

International audienceThis paper is about the relationship between culture and human-computer interaction. Cultures are live, open and in continuous change. Computer and information technology, as external factors for non-Western-industrialized societies, may trigger transformations, that sometimes, could be considered as negative or unwanted. For example, the usage of Western word-processors modified the Japanese writing sys- tem when Japanese people faced a number of unfamiliar concepts intro- duced in those computer tools [8]. At the same time, minority societies around the world are in danger of extinction. The Nasa people, our target population, struggle to revitalize their mother tongue and cultural tra- ditions. This text presents an experience about developing or adapting computer tools to help the revitalization efforts. The use of the com- puter could lead to positive effects, or at least, to effects aligned with the policies of the societ
Comparative study between AZERTY-type and K- Hermes virtual keyboards dedicated to users with cerebral palsy

International audienceThe aim of this paper is to compare two virtual keyboards for people with cerebral palsy; many of these users have difficulty performing actions using their upper limbs due to large numbers of unwanted movements. The first is a classical QWERTY type keyboard, called Clavicom NG. The second is the K-Hermes proposed in this paper. K-Hermes is a reduced and monotape keyboard; its entry principles are inspired by the T9 keyboard. The aim of the experiment is to demonstrate the reduced effort and increased speed of typing with the keyboard suggested for people with Cerebral Palsy
A Study of Accessibility Requirements for Media Players on the Web

Proceedings of: The 6th International Conference on Universal Access in Human–Computer Interaction (UAHCI 2011), held as part of The 14th International Conference on Human–Computer Interaction (HCI International 2011), Orlando (FL, USA), July 9-14, 2011Multimedia content covers the Web, and we should provide access to all people. For this reason, we must consider including accessibility requirements in a synchronized manner with the alternative resources such as caption and audio description among others. In addition, it is very important to take into account accessibility requirements in the player to avoid barriers and to ensure access to this multimedia content as well as their resources. This paper presents an overall study on standards and players with accessibility requirements. Moreover, solutions to improve the accessibility features in the YouTube player are presented. Based on this study, we have distinguished a set of guidelines to take into account for including accessibility requirements in players. Furthermore, we suggest an agile evaluation process which indicates the order of accessibility guidelines to check. Finally, the proposed evaluation method is put into practice with a case study: accessibility features are evaluated in three widely used players.This research work is supported by the Research Network MAVIR (S2009/TIC-1542 (see www.mavir.net/)), and GEMMA (TSI-020302-2010-141) and SAGAS (TSI-020100-2010-184) research project
2D vs. 3D pain visualization: User preferences in a spinal cord injury cohort

This is the post-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2011 Springer VerlagResearch on pain experienced after Spinal Cord Injury (SCI) has revealed that not only are there several types of pain present in the same individual with this kind of trauma, but also that people who suffer such an injury can describe the characteristics of the same type of pain in different ways. Making it possible, therefore, to more precisely describe pain experience could prove to be vital for an increased quality of life. Accordingly, fifteen individuals with pain after SCI were asked to describe their pain experience using a 3 Dimensional (3D) model of the human body that could be used as an aid in communicating their pain. The results of this study suggest that the consensus of the participants approved the ability of the 3D model to more accurately describe their pain, an encouraging outcome towards the use of 3D technology in support of post SCI pain rehabilitation
An Elementary Affine λ-Calculus with Multithreading and Side Effects

International audienceLinear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side effects focusing on the case of elementary time. Our main contributions are as follows. First, we introduce a modal call-by-value λ-calculus with multithreading and side effects. Second, we provide a combinatorial proof of termination in elementary time for the language. Third, we introduce an elementary affine type system that guarantees the standard subject reduction and progress properties. Finally, we illustrate the programming of iterative functions with side effects in the presented formalism
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks

International audienceWe propose a probabilistic, energy-aware, broadcast calculus for the analysis of mobile ad-hoc networks. The semantics of our model is expressed in terms of Segala's probabilistic automata driven by schedulers to resolve the nondeterministic choice among the probability distributions over target states. We develop a probabilistic observational congruence and a energy-aware preorder semantics. The observational congruence allows us to verify whether two networks exhibit the same observable probabilistic behaviour (connectivity), while the preorder is used to compare the energy consumption of different, but behaviourally equivalent, networks. As an application, we analyse and compare the energy consumption of two well-known automatic repeat request (ARQ)-based error control protocols: stop-and-wait (SW) and go-back-N (GBN)
Fast evaluation of appointment schedules for outpatients in health care

We consider the problem of evaluating an appointment schedule for outpatients in a hospital. Given a fixed-length session during which a physician sees K patients, each patient has to be given an appointment time during this session in advance. When a patient arrives on its appointment, the consultations of the previous patients are either already finished or are still going on, which respectively means that the physician has been standing idle or that the patient has to wait, both of which are undesirable. Optimising a schedule according to performance criteria such as patient waiting times, physician idle times, session overtime, etc. usually requires a heuristic search method involving a huge number of repeated schedule evaluations. Hence, the aim of our evaluation approach is to obtain accurate predictions as fast as possible, i.e. at a very low computational cost. This is achieved by (1) using Lindley's recursion to allow for explicit expressions and (2) choosing a discrete-time (slotted) setting to make those expression easy to compute. We assume general, possibly distinct, distributions for the patient's consultation times, which allows us to account for multiple treatment types, as well as patient no-shows. The moments of waiting and idle times are obtained. For each slot, we also calculate the moments of waiting and idle time of an additional patient, should it be appointed to that slot. As we demonstrate, a graphical representation of these quantities can be used to assist a sequential scheduling strategy, as often used in practice
Advancing Critical Care in the ICU: A Human-Centered Biomedical Data Visualization Systems

The purpose of this research is to provide medical clinicians with a new technology for interpreting large and diverse datasets to expedite critical care decision-making in the ICU. We refer to this technology as the medical information visualization assistant (MIVA). MIVA delivers multivariate biometric (bedside) data via a visualization display by transforming and organizing it into temporal resolutions that can provide contextual knowledge to clinicians. The result is a spatial organization of multiple datasets that allows rapid analysis and interpretation of trends. Findings from the usability study of the MIVA static prototype and heuristic inspection of the dynamic prototype suggest that using MIVA can yield faster and more accurate results. Furthermore, comments from the majority of the experimental group and the heuristic inspectors indicate that MIVA can facilitate clinical task flow in context-dependent health care settings
Pervasive sensing to model political opinions in face-to-face networks

Exposure and adoption of opinions in social networks are
important questions in education, business, and government. We de-
scribe a novel application of pervasive computing based on using mobile
phone sensors to measure and model the face-to-face interactions and
subsequent opinion changes amongst undergraduates, during the 2008
US presidential election campaign. We  nd that self-reported political
discussants have characteristic interaction patterns and can be predicted
from sensor data. Mobile features can be used to estimate unique individ-
ual exposure to di erent opinions, and help discover surprising patterns
of dynamic homophily related to external political events, such as elec-
tion debates and election day. To our knowledge, this is the  rst time
such dynamic homophily e ects have been measured. Automatically esti-
mated exposure explains individual opinions on election day. Finally, we
report statistically signi cant di erences in the daily activities of individ-
uals that change political opinions versus those that do not, by modeling
and discovering dominant activities using topic models. We  nd people
who decrease their interest in politics are routinely exposed (face-to-face)
to friends with little or no interest in politics.U.S. Army Research Laboratory  (Cooperative Agreement No. W911NF-09-2-0053)United States. Air Force Office of Scientific Research (Award No. FA9550-10-1-0122)Swiss National Science Foundatio
3D Gesture recognition: an evaluation of user and system performance

We report a series of empirical studies investigating gesture as an interaction technique in pervasive computing. In our first study, participants generated gestures for given tasks and from these we identified archetypal common gestures. Furthermore, we discovered that many of these user-generated gestures were performed in 3D. We implemented a computer vision based 3D gesture recognition system and applied it in a further study in which participants used the common gestures generated in the first study. We investigated the trade off between system performance and human performance and preferences, deriving design recommendations. We achieved 84% recognition accuracy by our prototype 3D gesture recognition system after tuning it through the use of simple heuristics. The most popular gestures from Study 1 were regarded by participants in Study 2 as best matching the task they represented, and they produced the fewest recall errors
Finite element analysis of different ferrule heights of endodontically treated tooth

To investigate the influence of ferrule height on the crown mechanical resistance and stress distribution through the root and luting cement to explain restoration lose and root fracture pattern. Materialandmethods: Threedimensional models of an adult maxilla and root of incisor tooth were developed from a Computed Tomography scan images. Periodontal ligament, luting cement, crown and custom post were reconstructed on the computer . A static load of 50N was applied to the crown at 70° to the occlusal plan. Results: Design with no ferrule had the most crown displacement and 2mm ferrule had the least. Also 2mm ferrule design had the lowest root and luting cement stress Conclusion: The study suggests that a ferrule increases mechanical resistance of crown. Furthermore, a ferrule decreases stress in dentin and luting cement; consequently, the fracture and losing restoration risk decline
Segmentation of tumor in digital mammograms using wavelet transform modulus maxima on a low cost parallel computing system

Parallel Computing System (PCS) is currently used widely in many applications of complex problems involving high computations. This is because it has the capability to process computations efficiently using a parallel scheme. ARS cluster is a low-cost PCS developed to implement processing of full-field digital mammograms. In this system eight processors are used to communicate via the Ethernet network using LINUX which is Fedora 7 as the operating system and Matlab Distributed Computing Server (MDCS) as a platform to process the digital mammograms. In this paper the Wavelet Transforms Modulus Maxima (WTMM) method is used to detect the edge of tumor in digital mammogram implemented on the ARS cluster. The study involved 80 digitized mammographic images obtained from the Malaysian National Cancer Center (NCC). The performance of the PCS in detecting the edge of tumors in digital mammograms using WTMM on the ARS cluster is reported. The experimental results showed that the speedup of the PCS improves when the number of processors is increased. © 2011 Springer-Verlag
Generic model transformations: Write once, reuse everywhere

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-21732-6_5Proceedings of 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011Model transformation is one of the core techniques in Model Driven Engineering. Many transformation languages exist nowadays, but few offer mechanisms directed to the reuse of whole transformations or transformation fragments in different contexts.
Taking inspiration from generic programming, in this paper we define model transformation templates. These templates are defined over meta-model concepts which later can be bound to specific meta-models. The binding mechanism is flexible as it permits mapping concepts and meta-models with certain kinds of structural heterogeneities. The approach is general and can be applied to any model transformation language. In this paper we report on its application to ATL.Work funded by the Spanish Ministry of Science (projects TIN2008-02081 and TIN2009-11555), and the R&D programme of the Madrid Region (project S2009 /TIC-1650
Dynamic field model of ordinal and timing properties of sequential events

Recent evidence suggests that the neural mechanisms underlying
memory for serial order and interval timing of sequential events are
closely linked. We present a dynamic neural field model which exploits
the existence and stability of multi-bump solutions with a gradient of
activation to store serial order. The activation gradient is achieved by
applying a state-dependent threshold accommodation process to the firing
rate function. A field dynamics of lateral inhibition type is used in
combination with a dynamics for the baseline activity to recall the sequence
from memory. We show that depending on the time scale of the
baseline dynamics the precise temporal structure of the original sequence
may be retrieved or a proactive timing of events may be achievedFundação para a Ciência e a Tecnologia (FCT) - Bolsa SFRH/BD/41179/200
Deception and self-awareness

This paper presents a study conducted for the Shades of Grey EPSRC research project (EP/H02302X/1), which aims to develop a suite of interventions for identifying terrorist activities. The study investigated the body movements demonstrated by participants while waiting to be interviewed, in one of two conditions: preparing to lie or preparing to tell the truth. The effect of self-awareness was also investigated, with half of the participants sitting in front of a full length mirror during the waiting period. The other half faced a blank wall. A significant interaction was found for the duration of hand/arm movements between the deception and self-awareness conditions (F=4.335, df=1;76, p0.05). Without a mirror, participants expecting to lie spent less time moving their hands than those expecting to tell the truth; the opposite was seen in the presence of a mirror. This finding indicates a new research area worth further investigation
On the construction of Chevalley supergroups

We give a description of the construction of Chevalley supergroups, providing some explanatory examples.We avoid the discussion of the A(1, 1), P(3) and Q(n) cases, for which our construction holds, but the exposigetion becomes more complicated. We shall not in general provide complete proofs for our statements, instead we will make an effort to convey the key ideas underlying our construction. A fully detailed account of our work can be found in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 2015, no. 1014 (2012) -\ud
DOI: 10.1090/S0065-9266-2011-00633-7]
Method Families Concept: Application to Decision-Making Methods

International audienceThe role of variability in Software engineering grows increasingly as it allows developing solutions that can be easily adapted to a specific context and reusing existing knowledge. In order to deal with variability in the method engineering (ME) domain, we suggest applying the notion of method families. Method components are organized as a method family, which is configured in the given situation into a method line. In this paper, we motivate the concept of method families by comparing the existing approaches of ME. We detail then the concept of method families and illustrate it with a family of decision-making (DM) methods that we call MADISE
Exact and Useful Optimization Methods for Microeconomics

This paper points out that the treatment of utility maximization in current textbooks on microeconomic theory is deficient in at least three respects: breadth of coverage, completeness-cum-coherence of solution methods and mathematical correctness. Improvements are suggested in the form of a Kuhn-Tucker type theorem that has been customized for microeconomics. To ensure uniqueness of the optimal solution (if applicable), an apparently new adaptation of the notion of strict quasiconcavity is introduced. The role of the domain of differentiability of
the utility function is emphasized. This is not only to repair a widespread error in the microeconomic literature but also to point out that this domain can be chosen sensibly in order to include the maximization of certain nondifferentiable utility functions, such as Leontiev utility functions. To underscore the usefulness
of the optimality conditions obtained here, five quite different instances of utility maximization are completely solved by a single coherent method.
On merging the fields of neural networks and adaptive data structures to yield new pattern recognition methodologies

Published version of a chapter from the book Pattern Recognition and Machine Intelligence. Also available from the publisher at http://dx.doi.org/10.1007/978-3-642-21786-9_3The aim of this talk is to explain a pioneering exploratory research endeavour that attempts to merge two completely different fields in Computer Science so as to yield very fascinating results. These are the well-established fields of Neural Networks (NNs) and Adaptive Data Structures (ADS) respectively. The field of NNs deals with the training and learning capabilities of a large number of neurons, each possessing minimal computational properties. On the other hand, the field of ADS concerns designing, implementing and analyzing data structures which adaptively change with time so as to optimize some access criteria. In this talk, we shall demonstrate how these fields can be merged, so that the neural elements are themselves linked together using a data structure. This structure can be a singly-linked or doubly-linked list, or even a Binary Search Tree (BST). While the results themselves are quite generic, in particular, we shall, as a prima facie case, present the results in which a Self-Organizing Map (SOM) with an underlying BST structure can be adaptively re-structured using conditional rotations. These rotations on the nodes of the tree are local and are performed in constant time, guaranteeing a decrease in the Weighted Path Length of the entire tree. As a result, the algorithm, referred to as the Tree-based Topology-Oriented SOM with Conditional Rotations (TTO-CONROT), converges in such a manner that the neurons are ultimately placed in the input space so as to represent its stochastic distribution. Besides, the neighborhood properties of the neurons suit the best BST that represents the data