Showing 1–31 of 31 results for author: Baez, M

An Analytic Solution to the 3D CSC Dubins Path Problem

Authors: Victor M. Baez, Nikhil Navkar, Aaron T. Becker

Abstract: We present an analytic solution to the 3D Dubins path problem for paths composed of an initial circular arc, a straight component, and a final circular arc. These are commonly called CSC paths. By modeling the start and goal configurations of the path as the base frame and final frame of an RRPRR manipulator, we treat this as an inverse kinematics problem. The kinematic features of the 3D Dubins p… ▽ More We present an analytic solution to the 3D Dubins path problem for paths composed of an initial circular arc, a straight component, and a final circular arc. These are commonly called CSC paths. By modeling the start and goal configurations of the path as the base frame and final frame of an RRPRR manipulator, we treat this as an inverse kinematics problem. The kinematic features of the 3D Dubins path are built into the constraints of our manipulator model. Furthermore, we show that the number of solutions is not constant, with up to seven valid CSC path solutions even in non-singular regions. An implementation of solution is available at https://github.com/aabecker/dubins3D. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 7 pages, 8 figures, presented at IEEE ICRA https://2024.ieee-icra.org/ 2024 IEEE International Conference on Robotics and Automation in PACIFICO Yokohama May 13th to 17th, 2024

MSC Class: 70B15

Minimum-Time Planar Paths with up to Two Constant Acceleration Inputs and $L_2$ Velocity and Acceleration Constraints

Authors: Victor M. Baez, Haoran Zhao, Nihal Abdurahiman, Nikhil V. Navkar, Aaron T. Becker

Abstract: Given starting and ending positions and velocities, $L_2$ bounds on the acceleration and velocity, and the restriction to no more than two constant control inputs, this paper provides routines to compute the minimal-time path. Closed form solutions are provided for reaching a position in minimum time with and without a velocity bound, and for stop** at the goal position. A numeric solver is us… ▽ More Given starting and ending positions and velocities, $L_2$ bounds on the acceleration and velocity, and the restriction to no more than two constant control inputs, this paper provides routines to compute the minimal-time path. Closed form solutions are provided for reaching a position in minimum time with and without a velocity bound, and for stop** at the goal position. A numeric solver is used to reach a goal position and velocity with no more than two constant control inputs. If a cruising phase at the terminal velocity is needed, this requires solving a non-linear equation with a single parameter. Code is provided on GitHub at https://github.com/RoboticSwarmControl/MinTimeL2pathsConstraints. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 8 pages, 8 figures, accepted for presentation at ACC 2024, https://acc2024.a2c2.org/

IoT-Based Water Quality Assessment System for Industrial Waste WaterHealthcare Perspective

Authors: Abdur Rab Dhruba, Kazi Nabiul Alam, Md. Shakib Khan, Sananda Saha, Mohammad Monirujjaman Khan, Mohammed Baz, Mehedi Masud, Mohammed A. AlZain

Abstract: The environment, especially water, gets polluted due to industrialization and urbanization. Pollution due to industrialization and urbanization has harmful effects on both the environment and the lives on Earth. This polluted water can cause food poisoning, diarrhea, short-term gastrointestinal problems, respiratory diseases, skin problems, and other serious health complications. In a develo** c… ▽ More The environment, especially water, gets polluted due to industrialization and urbanization. Pollution due to industrialization and urbanization has harmful effects on both the environment and the lives on Earth. This polluted water can cause food poisoning, diarrhea, short-term gastrointestinal problems, respiratory diseases, skin problems, and other serious health complications. In a develo** country like Bangladesh, where ready-made garments sector is one of the major sources of the total Gross Domestic Product (GDP), most of the wastes released from the garment factories are dumped into the nearest rivers or canals. Hence, the quality of the water of these bodies become very incompatible for the living beings, and so, it has become one of the major threats to the environment and human health. In addition, the amount of fish in the rivers and canals in Bangladesh is decreasing day by day as a result of water pollution. Therefore, to save fish and other water animals and the environment, we need to monitor the quality of the water and find out the reasons for the pollution. Real-time monitoring of the quality of water is vital for controlling water pollution. Most of the approaches for controlling water pollution are mainly biological and lab-based, which takes a lot of time and resources. To address this issue, we developed an Internet of Things (IoT)-based real-time water quality monitoring system, integrated with a mobile application. The proposed system in this research measures some of the most important indexes of water, including the potential of hydrogen (pH), total dissolved solids (TDS), and turbidity, and temperature of water. The proposed system results will be very helpful in saving the environment, and thus, improving the health of living creatures on Earth. △ Less

Submitted 26 March, 2023; originally announced April 2023.

Walking Down the Road to Independent Mobility: An Adaptive Route Training System for the Cognitively Impaired

Authors: Konstantin Rink, Tristan Gruschka, Patrick Palsbröker, Marcos Baez, Dominic Becking, Udo Seelmeyer, Gudrun Dobslaw, Patricia Stolz

Abstract: In this paper we describe the design and development of a route training system for individuals with cognitive impairments (CIs) living in residential care facilities. Learning to move autonomously in public spaces is a fundamental skill for people with CI, who face several challenges to independently and safely move around. Yet, exploring opportunities for route training support, especially in re… ▽ More In this paper we describe the design and development of a route training system for individuals with cognitive impairments (CIs) living in residential care facilities. Learning to move autonomously in public spaces is a fundamental skill for people with CI, who face several challenges to independently and safely move around. Yet, exploring opportunities for route training support, especially in residential settings, has received very little attention. To explore these opportunities, we followed a design and development process based on inclusive design practices that considered the organisational context and aimed at involving people with CI in the software design. To ensure our solution addressed the identified needs and abilities of this heterogeneous population, we further framed the route training definition as a design process that is enacted by the system, making the trainer and user co-creators of a personalised training. In this paper we report on the needs and challenges for mobility training in residential settings, introduce the design and formative evaluation of the route training system, to conclude with reflections and considerations on our methodological approach. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: This is a post-peer-review, pre-copyedit version of an article accepted to the "Software Engineering in Society" (SEIS) track of the 45th Internationl Conference on Software Engineering, ICSE 2023

Crowdsourcing Diverse Paraphrases for Training Task-oriented Bots

Authors: Jorge Ramírez, Auday Berro, Marcos Baez, Boualem Benatallah, Fabio Casati

Abstract: A prominent approach to build datasets for training task-oriented bots is crowd-based paraphrasing. Current approaches, however, assume the crowd would naturally provide diverse paraphrases or focus only on lexical diversity. In this WiP we addressed an overlooked aspect of diversity, introducing an approach for guiding the crowdsourcing process towards paraphrases that are syntactically diverse. A prominent approach to build datasets for training task-oriented bots is crowd-based paraphrasing. Current approaches, however, assume the crowd would naturally provide diverse paraphrases or focus only on lexical diversity. In this WiP we addressed an overlooked aspect of diversity, introducing an approach for guiding the crowdsourcing process towards paraphrases that are syntactically diverse. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Comments: HCOMP 2021 Works-in-progress & Demonstrations

On the state of reporting in crowdsourcing experiments and a checklist to aid current practices

Authors: Jorge Ramírez, Burcu Sayin, Marcos Baez, Fabio Casati, Luca Cernuzzi, Boualem Benatallah, Gianluca Demartini

Abstract: Crowdsourcing is being increasingly adopted as a platform to run studies with human subjects. Running a crowdsourcing experiment involves several choices and strategies to successfully port an experimental design into an otherwise uncontrolled research environment, e.g., sampling crowd workers, map** experimental conditions to micro-tasks, or ensure quality contributions. While several guideline… ▽ More Crowdsourcing is being increasingly adopted as a platform to run studies with human subjects. Running a crowdsourcing experiment involves several choices and strategies to successfully port an experimental design into an otherwise uncontrolled research environment, e.g., sampling crowd workers, map** experimental conditions to micro-tasks, or ensure quality contributions. While several guidelines inform researchers in these choices, guidance of how and what to report from crowdsourcing experiments has been largely overlooked. If under-reported, implementation choices constitute variability sources that can affect the experiment's reproducibility and prevent a fair assessment of research outcomes. In this paper, we examine the current state of reporting of crowdsourcing experiments and offer guidance to address associated reporting issues. We start by identifying sensible implementation choices, relying on existing literature and interviews with experts, to then extensively analyze the reporting of 171 crowdsourcing experiments. Informed by this process, we propose a checklist for reporting crowdsourcing experiments. △ Less

Submitted 9 September, 2021; v1 submitted 28 July, 2021; originally announced July 2021.

Comments: Accepted to CSCW 2021

On how Cognitive Computing will plan your next Systematic Review

Authors: Maisie Badami, Marcos Baez, Shayan Zamanirad, Wei Kang

Abstract: Systematic literature reviews (SLRs) are at the heart of evidence-based research, setting the foundation for future research and practice. However, producing good quality timely contributions is a challenging and highly cognitive endeavor, which has lately motivated the exploration of automation and support in the SLR process. In this paper we address an often overlooked phase in this process, tha… ▽ More Systematic literature reviews (SLRs) are at the heart of evidence-based research, setting the foundation for future research and practice. However, producing good quality timely contributions is a challenging and highly cognitive endeavor, which has lately motivated the exploration of automation and support in the SLR process. In this paper we address an often overlooked phase in this process, that of planning literature reviews, and explore under the lenses of cognitive process augmentation how to overcome its most salient challenges. In doing so, we report on the insights from 24 SLR authors on planning practices, its challenges as well as feedback on support strategies inspired by recent advances in cognitive computing. We frame our findings under the cognitive augmentation framework, and report on a prototype implementation and evaluation focusing on further informing the technical feasibility. △ Less

Submitted 15 December, 2020; originally announced December 2020.

Bringing Cognitive Augmentation to Web Browsing Accessibility

Authors: Alessandro Pina, Marcos Baez, Florian Daniel

Abstract: In this paper we explore the opportunities brought by cognitive augmentation to provide a more natural and accessible web browsing experience. We explore these opportunities through \textit{conversational web browsing}, an emerging interaction paradigm for the Web that enables blind and visually impaired users (BVIP), as well as regular users, to access the contents and features of websites throug… ▽ More In this paper we explore the opportunities brought by cognitive augmentation to provide a more natural and accessible web browsing experience. We explore these opportunities through \textit{conversational web browsing}, an emerging interaction paradigm for the Web that enables blind and visually impaired users (BVIP), as well as regular users, to access the contents and features of websites through conversational agents. Informed by the literature, our previous work and prototy** exercises, we derive a conceptual framework for supporting BVIP conversational web browsing needs, to then focus on the challenges of automatically providing this support, describing our early work and prototype that leverage heuristics that consider structural and content features only. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Chatbots as conversational healthcare services

Authors: Mlađan Jovanović, Marcos Baez, Fabio Casati

Abstract: Chatbots are emerging as a promising platform for accessing and delivering healthcare services. The evidence is in the growing number of publicly available chatbots aiming at taking an active role in the provision of prevention, diagnosis, and treatment services. This article takes a closer look at how these emerging chatbots address design aspects relevant to healthcare service provision, emphasi… ▽ More Chatbots are emerging as a promising platform for accessing and delivering healthcare services. The evidence is in the growing number of publicly available chatbots aiming at taking an active role in the provision of prevention, diagnosis, and treatment services. This article takes a closer look at how these emerging chatbots address design aspects relevant to healthcare service provision, emphasizing the Human-AI interaction aspects and the transparency in AI automation and decision making. △ Less

Submitted 8 November, 2020; originally announced November 2020.

On the impact of predicate complexity in crowdsourced classification tasks

Authors: Jorge Ramírez, Marcos Baez, Fabio Casati, Luca Cernuzzi, Boualem Benatallah, Ekaterina A. Taran, Veronika A. Malanina

Abstract: This paper explores and offers guidance on a specific and relevant problem in task design for crowdsourcing: how to formulate a complex question used to classify a set of items. In micro-task markets, classification is still among the most popular tasks. We situate our work in the context of information retrieval and multi-predicate classification, i.e., classifying a set of items based on a set o… ▽ More This paper explores and offers guidance on a specific and relevant problem in task design for crowdsourcing: how to formulate a complex question used to classify a set of items. In micro-task markets, classification is still among the most popular tasks. We situate our work in the context of information retrieval and multi-predicate classification, i.e., classifying a set of items based on a set of conditions. Our experiments cover a wide range of tasks and domains, and also consider crowd workers alone and in tandem with machine learning classifiers. We provide empirical evidence into how the resulting classification performance is affected by different predicate formulation strategies, emphasizing the importance of predicate formulation as a task design dimension in crowdsourcing. △ Less

Submitted 17 November, 2020; v1 submitted 5 November, 2020; originally announced November 2020.

Challenges and strategies for running controlled crowdsourcing experiments

Authors: Jorge Ramírez, Marcos Baez, Fabio Casati, Luca Cernuzzi, Boualem Benatallah

Abstract: This paper reports on the challenges and lessons we learned while running controlled experiments in crowdsourcing platforms. Crowdsourcing is becoming an attractive technique to engage a diverse and large pool of subjects in experimental research, allowing researchers to achieve levels of scale and completion times that would otherwise not be feasible in lab settings. However, the scale and flexib… ▽ More This paper reports on the challenges and lessons we learned while running controlled experiments in crowdsourcing platforms. Crowdsourcing is becoming an attractive technique to engage a diverse and large pool of subjects in experimental research, allowing researchers to achieve levels of scale and completion times that would otherwise not be feasible in lab settings. However, the scale and flexibility comes at the cost of multiple and sometimes unknown sources of bias and confounding factors that arise from technical limitations of crowdsourcing platforms and from the challenges of running controlled experiments in the "wild". In this paper, we take our experience in running systematic evaluations of task design as a motivating example to explore, describe, and quantify the potential impact of running uncontrolled crowdsourcing experiments and derive possible co** strategies. Among the challenges identified, we can mention sampling bias, controlling the assignment of subjects to experimental conditions, learning effects, and reliability of crowdsourcing results. According to our empirical studies, the impact of potential biases and confounding factors can amount to a 38\% loss in the utility of the data collected in uncontrolled settings; and it can significantly change the outcome of experiments. These issues ultimately inspired us to implement CrowdHub, a system that sits on top of major crowdsourcing platforms and allows researchers and practitioners to run controlled crowdsourcing projects. △ Less

Submitted 5 November, 2020; originally announced November 2020.

Chatbot integration in few patterns

Authors: Marcos Baez, Florian Daniel, Fabio Casati, Boualem Benatallah

Abstract: Chatbots are software agents that are able to interact with humans in natural language. Their intuitive interaction paradigm is expected to significantly reshape the software landscape of tomorrow, while already today chatbots are invading a multitude of scenarios and contexts. This article takes a developer's perspective, identifies a set of architectural patterns that capture different chatbot i… ▽ More Chatbots are software agents that are able to interact with humans in natural language. Their intuitive interaction paradigm is expected to significantly reshape the software landscape of tomorrow, while already today chatbots are invading a multitude of scenarios and contexts. This article takes a developer's perspective, identifies a set of architectural patterns that capture different chatbot integration scenarios, and reviews state-of-the-art development aids. △ Less

Submitted 18 September, 2020; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: prior version was an incomplete early draft; current version includes changes in references, appropriate acknowledgement; and minor revisions

Automatic Generation of Chatbots for Conversational Web Browsing

Authors: Pietro Chittò, Marcos Baez, Florian Daniel, Boualem Benatallah

Abstract: In this paper, we describe the foundations for generating a chatbot out of a website equipped with simple, bot-specific HTML annotations. The approach is part of what we call conversational web browsing, i.e., a dialog-based, natural language interaction with websites. The goal is to enable users to use content and functionality accessible through rendered UIs by "talking to websites" instead of b… ▽ More In this paper, we describe the foundations for generating a chatbot out of a website equipped with simple, bot-specific HTML annotations. The approach is part of what we call conversational web browsing, i.e., a dialog-based, natural language interaction with websites. The goal is to enable users to use content and functionality accessible through rendered UIs by "talking to websites" instead of by operating the graphical UI using keyboard and mouse. The chatbot mediates between the user and the website, operates its graphical UI on behalf of the user, and informs the user about the state of interaction. We describe the conceptual vocabulary and annotation format, the supporting conversational middleware and techniques, and the implementation of a demo able to deliver conversational web browsing experiences through Amazon Alexa. △ Less

Submitted 21 October, 2020; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: typos corrected, metadata fixed

CrowdHub: Extending crowdsourcing platforms for the controlled evaluation of tasks designs

Authors: Jorge Ramírez, Simone Degiacomi, Davide Zanella, Marcos Baez, Fabio Casati, Boualem Benatallah

Abstract: We present CrowdHub, a tool for running systematic evaluations of task designs on top of crowdsourcing platforms. The goal is to support the evaluation process, avoiding potential experimental biases that, according to our empirical studies, can amount to 38% loss in the utility of the collected dataset in uncontrolled settings. Using CrowdHub, researchers can map their experimental design and aut… ▽ More We present CrowdHub, a tool for running systematic evaluations of task designs on top of crowdsourcing platforms. The goal is to support the evaluation process, avoiding potential experimental biases that, according to our empirical studies, can amount to 38% loss in the utility of the collected dataset in uncontrolled settings. Using CrowdHub, researchers can map their experimental design and automate the complex process of managing task execution over time while controlling for returning workers and crowd demographics, thus reducing bias, increasing utility of collected data, and making more efficient use of a limited pool of subjects. △ Less

Submitted 10 September, 2019; v1 submitted 6 September, 2019; originally announced September 2019.

Understanding the Impact of Text Highlighting in Crowdsourcing Tasks

Authors: Jorge Ramírez, Marcos Baez, Fabio Casati, Boualem Benatallah

Abstract: Text classification is one of the most common goals of machine learning (ML) projects, and also one of the most frequent human intelligence tasks in crowdsourcing platforms. ML has mixed success in such tasks depending on the nature of the problem, while crowd-based classification has proven to be surprisingly effective, but can be expensive. Recently, hybrid text classification algorithms, combin… ▽ More Text classification is one of the most common goals of machine learning (ML) projects, and also one of the most frequent human intelligence tasks in crowdsourcing platforms. ML has mixed success in such tasks depending on the nature of the problem, while crowd-based classification has proven to be surprisingly effective, but can be expensive. Recently, hybrid text classification algorithms, combining human computation and machine learning, have been proposed to improve accuracy and reduce costs. One way to do so is to have ML highlight or emphasize portions of text that it believes to be more relevant to the decision. Humans can then rely only on this text or read the entire text if the highlighted information is insufficient. In this paper, we investigate if and under what conditions highlighting selected parts of the text can (or cannot) improve classification cost and/or accuracy, and in general how it affects the process and outcome of the human intelligence tasks. We study this through a series of crowdsourcing experiments running over different datasets and with task designs imposing different cognitive demands. Our findings suggest that highlighting is effective in reducing classification effort but does not improve accuracy - and in fact, low-quality highlighting can decrease it. △ Less

Submitted 6 September, 2019; originally announced September 2019.

Combining Crowd and Machines for Multi-predicate Item Screening

Authors: Evgeny Krivosheev, Fabio Casati, Marcos Baez, Boualem Benatallah

Abstract: This paper discusses how crowd and machine classifiers can be efficiently combined to screen items that satisfy a set of predicates. We show that this is a recurring problem in many domains, present machine-human (hybrid) algorithms that screen items efficiently and estimate the gain over human-only or machine-only screening in terms of performance and cost. We further show how, given a new classi… ▽ More This paper discusses how crowd and machine classifiers can be efficiently combined to screen items that satisfy a set of predicates. We show that this is a recurring problem in many domains, present machine-human (hybrid) algorithms that screen items efficiently and estimate the gain over human-only or machine-only screening in terms of performance and cost. We further show how, given a new classification problem and a set of classifiers of unknown accuracy for the problem at hand, we can identify how to manage the cost-accuracy trade off by progressively determining if we should spend budget to obtain test data (to assess the accuracy of the given classifiers), or to train an ensemble of classifiers, or whether we should leverage the existing machine classifiers with the crowd, and in this case how to efficiently combine them based on their estimated characteristics to obtain the classification. We demonstrate that the techniques we propose obtain significant cost/accuracy improvements with respect to the leading classification algorithms. △ Less

Submitted 1 April, 2019; originally announced April 2019.

Comments: Please cite the CSCW2018 version of this paper:@article{krivosheev2018combining, title={Combining Crowd and Machines for Multi-predicate Item Screening}, author={Krivosheev, Evgeny and Casati, Fabio and Baez, Marcos and Benatallah, Boualem}, journal={Proceedings of the ACM on Human-Computer Interaction}, volume={2}, number={CSCW}, pages={97}, year={2018}, publisher={ACM} }

Technologies for promoting social participation in later life

Authors: Marcos Baez, Radoslaw Nielek, Fabio Casati, Adam Wierzbicki

Abstract: Social participation is known to bring great benefits to the health and well-being of people as they age. From being in contact with others to engaging in group activities, kee** socially active can help slow down the effects of age-related declines, reduce risks of loneliness and social isolation and even mortality in old age. There are unfortunately a variety of barriers that make it difficult… ▽ More Social participation is known to bring great benefits to the health and well-being of people as they age. From being in contact with others to engaging in group activities, kee** socially active can help slow down the effects of age-related declines, reduce risks of loneliness and social isolation and even mortality in old age. There are unfortunately a variety of barriers that make it difficult for older adults to engage in social activities in a regular basis. In this chapter, we give an overview of the challenges to social participation and discuss how technology can help overcome these barriers and promote participation in social activities. We examine two particular research threads and designs, exploring ways in which technology can support co-located and virtual participation: i) an application that motivates the virtual participation in group training programs, and ii) a location-based game that supports co-located intergenerational ICT training classes. We discuss the effectiveness and limitations of various design choices in the two use cases and outline the lessons learned △ Less

Submitted 14 January, 2019; originally announced January 2019.

Design Challenges for Reconnecting in Later Life: A Qualitative Study

Authors: Francisco Ibarra, Grzegorz Kowalik, Marcos Baez, Radosław Nielek, Norma Lau, Luca Cernuzzi, Fabio Casati

Abstract: Friendships and social interactions are renown contributors to wellbeing. As such, kee** a healthy amount of relationships becomes very important as people age and the size of their social network tends to decrease. In this paper, we take a step back and explore reconnection -- find out about or re-contact old friends, an emerging topic due to the increased use of computer-mediated technology by… ▽ More Friendships and social interactions are renown contributors to wellbeing. As such, kee** a healthy amount of relationships becomes very important as people age and the size of their social network tends to decrease. In this paper, we take a step back and explore reconnection -- find out about or re-contact old friends, an emerging topic due to the increased use of computer-mediated technology by older adults to maintain friendships and form new ones. We report on our findings from semi-structured interviews with 28 individuals from Costa Rica and Poland. The interviews aimed to explore whether there is a wish to reconnect, and the challenges encountered by older adults to reconnect. We contribute with design considerations for tools allow- ing older adults to reconnect, discussing opportunities for technology. △ Less

Submitted 31 May, 2018; originally announced June 2018.

ACM Class: H.5.m

Designing for Co-located and Virtual Social Interactions in Residential Care

Authors: Francisco Ibarra, Marcos Baez, Francesca Fiore, Fabio Casati

Abstract: In this paper we explore the feasibility and design challenges in supporting co-located and virtual social interactions in residential care by building on the practice of reminiscence. Motivated by the challenges of social interaction in this context, we first explore the feasibility of a reminiscence-based social interaction tool designed to stimulate conversation in residential care with differe… ▽ More In this paper we explore the feasibility and design challenges in supporting co-located and virtual social interactions in residential care by building on the practice of reminiscence. Motivated by the challenges of social interaction in this context, we first explore the feasibility of a reminiscence-based social interaction tool designed to stimulate conversation in residential care with different stakeholders. Then, we explore the design challenges in supporting an assisting role in co-located reminiscence sessions, by running pilot studies with a technology probe. Our findings point to the feasibility of the tool and the willingness of stakeholders to contribute in the process, although with some skepticism about virtual interactions. The reminiscence sessions showed that compromises are needed when designing for both story collection and conversation stimulation, evidencing specific design areas where further exploration is needed. △ Less

Submitted 31 May, 2018; originally announced June 2018.

ACM Class: H.5.m

CrowdRev: A platform for Crowd-based Screening of Literature Reviews

Authors: Jorge Ramirez, Evgeny Krivosheev, Marcos Baez, Fabio Casati, Boualem Benatallah

Abstract: In this paper and demo we present a crowd and crowd+AI based system, called CrowdRev, supporting the screening phase of literature reviews and achieving the same quality as author classification at a fraction of the cost, and near-instantly. CrowdRev makes it easy for authors to leverage the crowd, and ensures that no money is wasted even in the face of difficult papers or criteria: if the system… ▽ More In this paper and demo we present a crowd and crowd+AI based system, called CrowdRev, supporting the screening phase of literature reviews and achieving the same quality as author classification at a fraction of the cost, and near-instantly. CrowdRev makes it easy for authors to leverage the crowd, and ensures that no money is wasted even in the face of difficult papers or criteria: if the system detects that the task is too hard for the crowd, it just gives up trying (for that paper, or for that criteria, or altogether), without wasting money and never compromising on quality. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Crowdsourcing for Reminiscence Chatbot Design

Authors: Svetlana Nikitina, Florian Daniel, Marcos Baez, Fabio Casati

Abstract: In this work-in-progress paper we discuss the challenges in identifying effective and scalable crowd-based strategies for designing content, conversation logic, and meaningful metrics for a reminiscence chatbot targeted at older adults. We formalize the problem and outline the main research questions that drive the research agenda in chatbot design for reminiscence and for relational agents for ol… ▽ More In this work-in-progress paper we discuss the challenges in identifying effective and scalable crowd-based strategies for designing content, conversation logic, and meaningful metrics for a reminiscence chatbot targeted at older adults. We formalize the problem and outline the main research questions that drive the research agenda in chatbot design for reminiscence and for relational agents for older adults in general. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Smart Conversational Agents for Reminiscence

Authors: Svetlana Nikitina, Sara Callaioli, Marcos Baez

Abstract: In this paper we describe the requirements and early system design for a smart conversational agent that can assist older adults in the reminiscence process. The practice of reminiscence has well documented benefits for the mental, social and emotional well-being of older adults. However, the technology support, valuable in many different ways, is still limited in terms of need of co-located human… ▽ More In this paper we describe the requirements and early system design for a smart conversational agent that can assist older adults in the reminiscence process. The practice of reminiscence has well documented benefits for the mental, social and emotional well-being of older adults. However, the technology support, valuable in many different ways, is still limited in terms of need of co-located human presence, data collection capabilities, and ability to support sustained engagement, thus missing key opportunities to improve care practices, facilitate social interactions, and bring the reminiscence practice closer to those with less opportunities to engage in co-located sessions with a (trained) companion. We discuss conversational agents and cognitive services as the platform for building the next generation of reminiscence applications, and introduce the concept application of a smart reminiscence agent. △ Less

Submitted 18 April, 2018; originally announced April 2018.

Agile development for vulnerable populations: lessons learned and recommendations

Authors: Marcos Baez, Fabio Casati

Abstract: In this paper we draw attention to the challenges of managing software projects for vulnerable populations, i.e., people potentially exposed to harm or not capable of protecting their own interests. The focus on human aspects, and particularly, the inclusion of human-centered approaches, has been a popular topic in the software engineering community. We argue, however, that current literature prov… ▽ More In this paper we draw attention to the challenges of managing software projects for vulnerable populations, i.e., people potentially exposed to harm or not capable of protecting their own interests. The focus on human aspects, and particularly, the inclusion of human-centered approaches, has been a popular topic in the software engineering community. We argue, however, that current literature provides little understanding and guidance on how to approach these type of scenarios. Here, we shed some light on the topic by reporting on our experiences in develo** innovative solutions for the residential care scenario, outlining potential issues and recommendations. △ Less

Submitted 25 January, 2018; originally announced February 2018.

Designing for older adults: review of touchscreen design guidelines

Authors: Leysan Nurgalieva, Juan Jose Jara Laconich, Marcos Baez, Fabio Casati, Maurizio Marchese

Abstract: The distinct abilities of older adults to interact with computers has motivated a wide range of contributions in the the form of design guidelines for making technologies usable and accessible for the elderly population. However, despite the growing effort by the research community, the adoption of guidelines by developers and designers has been scant or not properly translated into more accessibl… ▽ More The distinct abilities of older adults to interact with computers has motivated a wide range of contributions in the the form of design guidelines for making technologies usable and accessible for the elderly population. However, despite the growing effort by the research community, the adoption of guidelines by developers and designers has been scant or not properly translated into more accessible interaction systems. In this paper we explore this issue by reporting on a qualitative outcomes of a systematic review of 204 research-derived design guidelines for touchscreen applications. We report first on the different definitions of "elderly" and assess the reliability, organization and accessibility of the guidelines. Then we present our early attempt at facilitating the reporting and access of such guidelines to researchers and practitioners. △ Less

Submitted 18 March, 2017; originally announced March 2017.

ACM Class: H.5.m

Understanding how Software Can Support the Needs of Family Caregivers for Patients with Severe Conditions

Authors: Angela di Fiore, Francesco Ceschel, Francesca Fiore, Marcos Baez, Fabio Casati, Giampaolo Armellin

Abstract: In this paper, we report an extensive analysis that we performed in two scenarios where the care relation between doctor and patients are mediated by the relatives of the patients: Pediatric Palliative Care (PPC) and Nursing Homes (NH). When the patients are children or very old adults in the end of life, the provision of care often involve a family caregiver as the main point of contact for the h… ▽ More In this paper, we report an extensive analysis that we performed in two scenarios where the care relation between doctor and patients are mediated by the relatives of the patients: Pediatric Palliative Care (PPC) and Nursing Homes (NH). When the patients are children or very old adults in the end of life, the provision of care often involve a family caregiver as the main point of contact for the health service. PPC and NH are characterized by emotional complexity, since incurable diseases expose the family caregivers to heavy careload and human distress. In this paper, we discuss our findings with a novel perspective, focusing on: information, coordination and social challenges that arise by dealing with such contexts; the existing technology as it is appropriated today to cope with them; and what we, as software researchers, can do to develop the right solutions. △ Less

Submitted 26 January, 2017; originally announced January 2017.

Effects of online group exercises for older adults on physical, psychological and social wellbeing: a pilot trial

Authors: Marcos Baez, Iman Khaghani Far, Francisco Ibarra, Michela Ferron, Daniele Didino, Fabio Casati

Abstract: Background. There are many factors that can make of group exercises a challenging setting for older adults. A major one in the elderly population is the difference in the level of skills. In this paper we report on the physical, psychological and social wellbeing outcomes of a novel virtual gym that enables online group-exercises in older adults with different levels of skills. Methods. A total… ▽ More Background. There are many factors that can make of group exercises a challenging setting for older adults. A major one in the elderly population is the difference in the level of skills. In this paper we report on the physical, psychological and social wellbeing outcomes of a novel virtual gym that enables online group-exercises in older adults with different levels of skills. Methods. A total of 37 older adults (65-87 years old) followed a personalized exercise program based on the OTAGO program for fall prevention, for a period of eight weeks. Participants could join online group exercises using a tablet-based application. Participants were assigned either to a Control group (individual training) or Social group (online group-exercising). Pre- and post- measurements were taken to analyze the physical, psychological and social wellbeing outcomes. The study received ethical approval from the CREATE-NET Ethics Committee on ICT Research Involving Human Beings (Application N. 2014-001). Results. There were improvements in both the Social and Control groups in terms of physical outcomes. Interestingly though, while in the Control group fitter individuals tended to adhere more to the training, this was not the case for the Social group, where the initial level had no effect on adherence. For psychological and social wellbeing outcomes there were improvements on both groups, regardless of the application used. Conclusion. Group exercising in a virtual gym can be effective in motivating and enabling individuals who are less fit to train as much as fitter individuals. This not only indicates the feasibility of training together despite differences in physical skills but also suggests that online exercise can reduce the effect of skills on adherence in a social context. Longer term interventions with more participants are instead recommended to assess impacts on wellbeing. △ Less

Submitted 8 December, 2016; originally announced December 2016.

What makes people bond?: A study on social interactions and common life points on Facebook

Authors: Emanuel Sanchiz, Francisco Ibarra, Svetlana Nikitina, Marcos Baez, Fabio Casati

Abstract: In this paper we aim at understanding if and how, by analysing people's profile and historical data (such as data available on Facebook profiles and interactions, or collected explicitly) we can motivate two persons to interact and eventually create long-term bonds. We do this by exploring the relationship between connectedness, social interactions and common life points on Facebook. The results a… ▽ More In this paper we aim at understanding if and how, by analysing people's profile and historical data (such as data available on Facebook profiles and interactions, or collected explicitly) we can motivate two persons to interact and eventually create long-term bonds. We do this by exploring the relationship between connectedness, social interactions and common life points on Facebook. The results are of particular importance for the development of technology that aims at reducing social isolation for people with less chances to interact, such as older adults. △ Less

Submitted 17 September, 2016; originally announced September 2016.

Online Group-exercises for Older Adults of Different Physical Abilities

Authors: Marcos Baez, Francisco Ibarra, Iman Khaghani Far, Michela Ferron, Fabio Casati

Abstract: In this paper we describe the design and validation of a virtual fitness environment aiming at kee** older adults physically and socially active. We target particularly older adults who are socially more isolated, physically less active, and with less chances of training in a gym. The virtual fitness environment, namely Gymcentral, was designed to enable and motivate older adults to follow perso… ▽ More In this paper we describe the design and validation of a virtual fitness environment aiming at kee** older adults physically and socially active. We target particularly older adults who are socially more isolated, physically less active, and with less chances of training in a gym. The virtual fitness environment, namely Gymcentral, was designed to enable and motivate older adults to follow personalised exercises from home, with a (heterogeneous) group of remote friends and under the remote supervision of a Coach. We take the training activity as an opportunity to create social interactions, by complementing training features with social instruments. Finally, we report on the feasibility and effectiveness of the virtual environment, as well as its effects on the usage and social interactions, from an intervention study in Trento, Italy △ Less

Submitted 17 September, 2016; originally announced September 2016.

Unsound Inferences Make Proofs Shorter

Authors: Juan P. Aguilera, Matthias Baaz

Abstract: We give examples of calculi that extend Gentzen's sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are non-elementarily shorter than LK-proofs. We give examples of calculi that extend Gentzen's sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are non-elementarily shorter than LK-proofs. △ Less

Submitted 6 May, 2019; v1 submitted 27 August, 2016; originally announced August 2016.

Comments: 21 pages. July 2017 preprint

Journal ref: J. symb. log. 84 (2019) 102-122

Personalized Persuasion for Social Interactions in Nursing Homes

Authors: Marcos Baez, Chiara Dalpiaz, Fatbardha Hoxha, Alessia Tovo, Valentina Caforio, Fabio Casati

Abstract: This paper presents our preliminary investigation and approach towards a mixed physical-virtual technology for stimulating social interactions among and with older adults in nursing homes. We report on set of surveys, apps and focus groups aiming at understanding the different motivations and obstacles in promoting social interactions in institutionalised care. We then present our approach to addr… ▽ More This paper presents our preliminary investigation and approach towards a mixed physical-virtual technology for stimulating social interactions among and with older adults in nursing homes. We report on set of surveys, apps and focus groups aiming at understanding the different motivations and obstacles in promoting social interactions in institutionalised care. We then present our approach to address some of the key themes found, e.g., the technological disparity, lack of conversation topics and opportunities to interact △ Less

Submitted 9 March, 2016; originally announced March 2016.

Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability

Authors: Matthias Baaz, Agata Ciabattoni, Christian G Fermüller

Abstract: Gödel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other. We nevertheless provide a uniform, computational treatment of both problems for prenex formulas by describing appropriate translations into sets of order claus… ▽ More Gödel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other. We nevertheless provide a uniform, computational treatment of both problems for prenex formulas by describing appropriate translations into sets of order clauses that can be subjected to chaining resolution. For validity a version of Herbrand's Theorem allows us to show the soundness of standard Skolemization. For satisfiability the translation involves a novel, extended Skolemization method. △ Less

Submitted 5 March, 2012; v1 submitted 28 February, 2012; originally announced February 2012.

Comments: 23 pages, accepted for LMCS (Logical Methods in Computer Science)

ACM Class: F.4.1

Journal ref: Logical Methods in Computer Science, Volume 8, Issue 1 (March 6, 2012) lmcs:833