pinecone/core-2020-05-10-deduplication huggingface dataset:
Auditory alarm misperception in the cockpit: a preliminary ERP study to undercover evidences of inattentional deafness

Missing auditory alarms is a critical safety issue in many domains such as aviation. To investigate this phenomenon, we designed a scenario involving three flying scenarios corresponding to three different level of difficulty along with an oddball paradigm in a motion flight simulator. This preliminary study was conducted with one pilot equipped with a 32-channel EEG. The results shown that manipulating the three levels of task difficulty led respectively to rates of 0, 37, and 54% missed alarms. The EEG analyses revealed that this decrease in performance was associated with lower spectral power within the alpha band and reduced N100 component amplitude. This latter finding suggested the involvement of inattentional deafness mechanisms at an early stage of the auditory processing. Eventually, we implemented a processing chain to enhance the discriminability of ERPs for mental state monitoring purposes. The results indicated that this chain could be used in a quite ecological setting (i.e. three-axis motion flight simulator) as attested by the good results obtained for the oddball task, but also for more subtle mental states such as mental demand and stress level and the detection of target, that is to say the inattentional deafness phenomenon
Autophagy as a physiological response of the body to starvation

Macroautophagy is a cellular degradation pathway that deliver cytoplasmic components such as damaged organelles, misfolded proteins, and pathogens to the lysosomes for degradation. Autophagy is associated with the survival of the cell under stress conditions and infections. Nutrient deprivation is one of the main inducers of autophagy, which recycles cytoplasmic components to provide building blocks required for cell survival and maintains cellular homeostasis. Due to its cytoprotective effects, autophagic responses are necessary in resisting diseases and ensuring health. Understanding the regulation of autophagic responses in mammalian cells is required to improve human health through innovations in treatment strategies. This chapter focuses on recent findings about autophagy mechanisms and their role in the body’s response to starvation as well as the current knowledge of autophagy-related malnutrition disorders
Effects of Dietary Restriction on Cancer Development and Progression

The effects of caloric restriction on tumor growth and progression are known for\ud
over a century. Indeed, fasting has been practiced for millennia, but just recently\ud
has emerged the protective role that it may exert toward cells. Fasting cycles are\ud
able to reprogram the cellular metabolism, by inducing protection against oxidative\ud
stress and prolonging cellular longevity. The reduction of calorie intake as\ud
well as short- or long-term fasting has been shown to protect against chronic and\ud
degenerative diseases, such as diabetes, cardiovascular pathologies, and cancer.\ud
In vitro and in vivo preclinical models showed that different restriction dietary\ud
regimens may be effective against cancer onset and progression, by enhancing\ud
therapy response and reducing its toxic side effects. Fasting-mediated beneficial\ud
effects seem to be due to the reduction of inflammatory response and downregulation\ud
of nutrient-related signaling pathways able to modulate cell proliferation\ud
and apoptosis. In this chapter, we will discuss the most significant studies\ud
present in literature regarding the molecular mechanisms by which dietary\ud
restriction may contribute to prevent cancer onset, reduce its progression, and\ud
positively affect the response to the treatments
Towards the development of an EIT-based stretchable sensor for multi-touch industrial human-computer interaction systems

In human-computer interaction studies, an interaction is often considered as a kind of information or discrete internal states of an individual that can be transmitted in a loss-free manner from people to computing interfaces (or robotic interfaces) and vice-versa. This project aims to investigate processes capable of communicating and cooperating by adjusting their schedules to match the evolving execution circumstances, in a way that maximise the quality of their joint activities. By enabling human-computer interactions, the process will emerge as a framework based on the concept of expectancy, demand, and need of the human and computer together, for understanding the interplay between people and computers.\ud
The idea of this work is to utilise touch feedback from humans as a channel for communication thanks to an artificial sensitive skin made of a thin, flexible, and stretchable material acting as transducer. As a proof of concept, we demonstrate that the first prototype of our artificial sensitive skin can detect surface contacts and show their locations with an image reconstructing the internal electrical conductivity of the sensor
Developing an individualized survival prediction model for colon cancer

In this work a 5-year survival prediction model was developed for colon cancer using machine learning methods. The model was based on the SEER dataset which, after preprocessing, consisted of 38,592 records of colon cancer patients. Survival prediction models for colon cancer are not widely and easily available. Results showed that the performance of the model using fewer features is close to that of the model using a larger set of features recommended by an expert physician, which indicates that the first may be a good compromise between usability and performance. The purpose of such a model is to be used in Ambient Assisted Living applications, providing decision support to health care professionals.info:eu-repo/semantics/publishedVersio
Assessing interpersonal trust in an ambient intelligence negotiation system

This paper describes an approach to assess and measure trust based on a specific Ambient Intelligence environment. The primary aim of this work is to address and expand on this line of research by investigating the possibility of measuring trust based on quantifiable behavior. To do so, we present a brief review of the existing definitions of trust and define trust in the context of an Ambient Intelligence (AmI) scenario. Further, we propose a formal definition so that the analysis of trust in this kind of scenarios can be developed. Thus, it is suggested the use of Ambient Intelligence techniques that use a trust data model to collect and evaluate relevant information based on the assumption that observable trust between two entities (parties) results in certain typical behaviors. This will establish the foundation for the prediction of such aspects based on the analysis of people’s interaction with technological environments, providing new potentially interesting trust assessment tools.This work has been supported by COMPETE: POCI-01-0145-FEDER-007043 and FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within the Project Scope UID/CEC/00319/2013.info:eu-repo/semantics/publishedVersio
A persuasive cognitive assistant system

In this paper, we present a persuasive recommendation module
to be included into the iGenda framework. iGenda is a cognitive assistant
that helps care-receivers and caregivers in the management of their
agendas. The proposed new module will allow the system to select and
recommend to the users the action that potentially best suits to his/her
interests. The multi-agent approach followed by the iGenda framework
facilitates an easy integration of these new features.This work has been partially supported by the projects TIN2015-65515-C4-1-R and
TIN2014-55206-R of the Spanish government, by the grant program for the recruitment of doctors for the Spanish system of science and technology (PAID-10-14) of the Universitat
Politècnica de València, and by COMPETE: POCI-01-0145-FEDER-007043 and
FCT – Fundação para a Ciência e Tecnologia within the projects UID/CEC/00319/2013
and Post-Doc scholarship SFRH/BPD/102696/2014 (A. Costa)
Using computer peripheral devices to measure attentiveness

Attention is strongly connected with learning and when it comes to
acquiring new knowledge, attention is one the most important mechanisms. The
learner’s attention affects learning results and can define the success or failure
of a student. The negative effects are especially significant when carrying out
long or demanding tasks, as often happens in an assessment. This paper presents
a monitoring system using computer peripheral devices. Two classes were
monitored, a regular one and an assessment one. Results show that it is possible
to measure attentiveness in a non-intrusive way.This work has been supported by COMPETE: POCI-01-0145-FEDER-007043 and
FCT – Fundação para a Ciência e Tecnologia within the Project Scope:
UID/CEC/00319/2013.info:eu-repo/semantics/publishedVersio
Tracking users mobility patterns towards CO2 footprint

This research work is based on the development of a mobile application
and associated central services for tracking users’ movements in a city, identifying
the transportation mode and routes performed. This passive tracking generates
useful data about users’ habits, which are then associated with the CO2
emission in the form of a mobility invoice, with the goal of enabling the users to
understand their carbon footprint resulting from the users’ mobility process in the
city. The performance of the developed system is validated through experimental
tests based on data collected during six months from more than 2500 mobility
experiences
Methodology for knowledge extraction from mobility big data

The spread of mobile devices with several sensors, together with mo-bile communication, provides huge volumes of real-time data (big data) about users’ mobility habits, which should be correctly analysed to extract useful knowledge. In our research we explore a data mining approach based on a Naïve Bayes (NB) classifier applied to different sources of big data. To achieve this goal, we propose a methodology based on four processes that collects data and merges different data sources into pre-defined data classes. We can apply this methodology to different big data sources and extract a diversity of knowledge that can be applied to the development of dedicated applications and decision processes in the area of intelligent transportation systems, such as route advice, CO2 emissions reduction through fuel savings, and provision of smart advice for public transportation usage
Introducing dynamic argumentation to UbiGDSS

Supporting and representing the group decision-making process is a
complex task that requires very specific characteristics. The current existing argumentation
models cannot make good use of all the advantages inherent to
group decision-making. There is no monitoring of the process or the possibility
to provide dynamism to it. These issues can compromise the success of Group
Decision Support Systems if those systems are not able to provide freedom and
all necessary mechanisms to the decision-maker. We investigate the use of argumentation
in a completely new perspective that will allow for a mutual understanding
between agents and decision-makers. Besides this, our proposal allows
to define an agent not only according to the preferences of the decision-maker
but also according to his interests towards the decision-making process. We show
that our definition respects the requirements that are essential for groups to interact
without limitations and that can take advantage of those interactions to create
valuable knowledge to support more and better.This work has been supported by COMPETE Programme (operational programme for
competitiveness) within project POCI-01-0145-FEDER-007043, by National Funds
through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foun-dation
for Science and Technology) within the Projects UID/CEC/00319/2013,
UID/EEA/00760/2013, and the João Carneiro PhD grant with the reference
SFRH/BD/89697/2012 and by Project MANTIS - Cyber Physical System Based Proactive
Collaborative Maintenance (ECSEL JU Grant nr. 662189).info:eu-repo/semantics/publishedVersio
Monitoring level attention approach in learning activities

In this article we focus on a new field of application of ICT techniques
and technologies in learning activities. With these activities with computer
platforms, attention allows us to break down the problem of understanding
a speculative scenario into a series of computationally less demanding and
localized lack of attention. The system considers the students’ attention level
while performing a task in learning activities. The goal is to propose an architecture
that measures the level of attentiveness in real scenario, and detect patterns
of behavior in different attention levels among different students. Measurements
of attention level are obtained by a proposed model, and user for
training a decision support system that in a real scenario makes recommendations
for the teachers so as to prevent undesirable behavior.This work has been supported by COMPETE: POCI-01-0145-FEDER-007043 and
FCT – Fundação para a Ciência e Tecnologia within the Project Scope:
UID/CEC/00319/2013.info:eu-repo/semantics/publishedVersio
Towards Self-explanatory Ontology Visualization with Contextual
  Verbalization

Ontologies are one of the core foundations of the Semantic Web. To
participate in Semantic Web projects, domain experts need to be able to
understand the ontologies involved. Visual notations can provide an overview of
the ontology and help users to understand the connections among entities.
However, the users first need to learn the visual notation before they can
interpret it correctly. Controlled natural language representation would be
readable right away and might be preferred in case of complex axioms, however,
the structure of the ontology would remain less apparent. We propose to combine
ontology visualizations with contextual ontology verbalizations of selected
ontology (diagram) elements, displaying controlled natural language (CNL)
explanations of OWL axioms corresponding to the selected visual notation
elements. Thus, the domain experts will benefit from both the high-level
overview provided by the graphical notation and the detailed textual
explanations of particular elements in the diagram
Computability and Analysis, a Historical Approach

The history of computability theory and and the history of analysis are
surprisingly intertwined since the beginning of the twentieth century. For one,
\'Emil Borel discussed his ideas on computable real number functions in his
introduction to measure theory. On the other hand, Alan Turing had computable
real numbers in mind when he introduced his now famous machine model. Here we
want to focus on a particular aspect of computability and analysis, namely on
computability properties of theorems from analysis. This is a topic that
emerged already in early work of Turing, Specker and other pioneers of
computable analysis and eventually leads us to the very recent project of
classifying the computational content of theorems in the Weihrauch lattice.Comment: 12 page
What serious game studios want from ICT research: identifying developers’ needs

Although many scholars recognise the great potential of games for teaching and learning, the EU-based industry for such “serious” games” is highly fragmented and its growth figures remain well behind those of the leisure game market. Serious gaming has been designated as a priority area by the European Commission in its Horizon 2020 Framework Programme for Research and Innovation. The RAGE project, which is funded as part of the Horizon 2020 Programme, is a technology-driven research and innovation project that will make available a series of self-contained gaming software modules that support game studios in the development of serious games. As game studios are a critical factor in the uptake of serious games, the RAGE projects will base its work on their views and needs as to achieve maximum impact. This paper presents the results of a survey among European game studios about their development related needs and expectations. The  survey is aimed at identifying a baseline reference for successfully supporting game studios with advanced ICTs for serious games.This study is part of the RAGE project. The RAGE project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 644187.  This publication reflects only the author's view. The European Commission is not responsible for any use that may be made of the information it contains
Assistance for Older Adults in Serious Game using an Interactive System

International audienceSerious Games offer a new way to older adults to improve various abilities such as the vision, the balance or the memory. However, cognitive impairment causes a lot of difficulties to them when actively practicing these games. Their engagement and motivation are reduced rapidly when encountering successive problems without any help. In this paper, we present an approach to assist older adults in Serious Game using an interactive system. Three groups of players with different cognitive impairments (Mnesic Plaint, MCI and Alzheimer) have been tested with the system in a concentration-based game. As the experimental results, the players performed a high performance when playing with the assistance of the system, especially among Alzheimer group. The future work aims to perform this approach with a larger population and explore other factors which can influence on the players' motivation
Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended
  Version]

In previous work, an attempt was made to apply the schematic CERES method [8]
to a formal proof with an arbitrary number of {\Pi} 2 cuts (a recursive proof
encapsulating the infinitary pigeonhole principle) [5]. However the derived
schematic refutation for the characteristic clause set of the proof could not
be expressed in the formal language provided in [8]. Without this formalization
a Herbrand system cannot be algorithmically extracted. In this work, we provide
a restriction of the proof found in [5], the ECA-schema (Eventually Constant
Assertion), or ordered infinitary pigeonhole principle, whose analysis can be
completely carried out in the framework of [8], this is the first time the
framework is used for proof analysis. From the refutation of the clause set and
a substitution schema we construct a Herbrand system.Comment: Submitted to IJCAR 2016. Will be a reference for Appendix material in
  that paper. arXiv admin note: substantial text overlap with arXiv:1503.0855
Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition

PPDL det extends propositional dynamic logic (PDL) with parallel composition of programs. This new construct has separation semantics: to execute the parallel program (α||β) the initial state is separated into two substates and the programs α and β are executed on these substates. By adapting the elimination of Hintikka sets procedure, we provide a decision procedure for the satisfiability problem of PPDL det. We prove that this decision procedure can be executed in deterministic exponential time, hence that the satisfiability problem of PPDL det is EXPTIME-complete
Interval temporal logic model checking: The border between good and bad HS fragments

The model checking problem has thoroughly been explored in the context of standard point-based temporal logics, such as LTL, CTL, and CTL∗, whereas model checking for interval temporal logics has been brought to the attention only very recently. In this paper, we prove that the model checking problem for the logic of Allen’s relations started-by and finished-by is highly intractable, as it can be proved to be EXPSPACE-hard. Such a lower bound immediately propagates to the full Halpern and Shoham’s modal logic of time intervals (HS). In contrast, we show that other noteworthy HS fragments, namely, Propositional Neighbourhood Logic extended with modalities for the Allen relation starts (resp., finishes) and its inverse started-by (resp., finished-by), turn out to have—maybe unexpectedly—the same complexity as LTL (i.e., they are PSPACE-complete), thus joining the group of other already studied, well-behaved albeit less expressive, HS fragments
Translating Scala Programs to Isabelle/HOL

We present a trustworthy connection between the Leon verification system and
the Isabelle proof assistant. Leon is a system for verifying functional Scala
programs. It uses a variety of automated theorem provers (ATPs) to check
verification conditions (VCs) stemming from the input program. Isabelle, on the
other hand, is an interactive theorem prover used to verify mathematical
specifications using its own input language Isabelle/Isar. Users specify
(inductive) definitions and write proofs about them manually, albeit with the
help of semi-automated tactics. The integration of these two systems allows us
to exploit Isabelle's rich standard library and give greater confidence
guarantees in the correctness of analysed programs.Comment: International Joint Conference on Automated Reasoning, 201
An Inclusive Design Perspective on Automotive HMI Trends

This paper looks at recent trends in automotive human machine interfaces, with a lens of evaluation from an inclusive design perspective. The goal of Inclusive Design is to ensure that the population of potential users for a product or service is maximised. Until relatively recently, automotive human machine interfaces (HMI’s) have excluded and caused difficulties for users due to visibility, reach and force required to operate controls. Over the last 15 or so years however, there has been a significant increase in control and display location, interface types and integration of functions, as well as dramatically increased potential functionality due to in-vehicle emergent technologies. It is suggested that this increase in interface unfamiliarity for a driver will cause significant difficulty and potential exclusion, due to the demands of learning and conflicts in expectation. The effects on this trend in the context of an ageing population and automated driving technologies are discussed.This work was carried out at the University of Cambridge’s Engineering Design Centre, within the Inclusive Design Group. Sponsor: Jaguar Land Rover.This is the author accepted manuscript. The final version is available from Springer via http://dx.doi.org/10.1007/978-3-319-40238-3_5
LOVIE: a word prediction list optimized for visually impaired  users on smartphones

On mobile devices, most text entry systems offer assistance through the means of prediction or correction word lists. These lists can hardly be used by visually impaired users in a short time. In this paper, we present three studies to find an interaction which minimizes the time required to select a word from a list without knowing its elements a priori. First, we explored the various possible item layouts, to conclude that a linear spatial arrangement is preferable. Then we studied the audio feedback, and we have determined that providing on-demand audio feedback is enough. Finally, we proposed four validation interactions to retain a validation based on the principle of a press-release gesture