Abstract
Virtual Reality (VR) has as a key feature, the users’ interaction with a virtual environment. Depending on the purpose of a given VR application, it can be essential to use multisensory stimulus without biasing users towards specific actions or decisions in the virtual environment (VE). The goal of the present work is to study if the choice of paths can be influenced by the addition of multisensory stimulus when navigating in a VE using an immersive setup. The awareness of having to take such decisions was also considered. For the purpose, we used a VR game-like application contemplating three levels. Each level was symmetrical and had two possible paths to move to the next level (left or right). For each level, there was a multisensory stimulus on the right path (from a subject orientation): wind, vibration, scent respectively. The sample of the study consisted of 50 participants, and the results showed that none of the multisensory stimuli had a significant impact users’ decision. The users’ awareness of having to decide also did not affect their path. We conclude that multisensory stimuli can be used to raise the credibility of the virtual environments without compromising the users’ decisions. © Springer Nature Switzerland AG 2019.

Abstract
The two-machine permutation flow shop scheduling problem with the objective of minimizing total earliness and tardiness is addressed. Unforced idle time can be used to complete jobs closer to their due dates. It is shown that unforced idle time only needs to be considered on the second machine. This result is then used to extend a lower bound and dominance conditions for the single-machine problem to the two-machine permutation flow shop problem. Two branch-and-bound algorithms are developed for the problem utilizing the lower bound and dominance conditions. The algorithms are tested using instances that represent a wide variety of conditions.

Abstract
Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics defined for typed programs, on the other. In this paper, we define a new semantics for logic programming, where programs evaluate to true, false, and to a new semantic value called wrong, corresponding to a run-time type error. We then have a type language with a separated semantics of types. Finally, we define a type system for logic programming and prove that it is semantically sound with respect to a semantic relation between programs and types where, if a program has a type, then its semantics is not wrong. Our work follows Milner’s approach for typed functional languages where the semantics of programs is independent from the semantic of types, and the type system is proved to be sound with respect to a relation between both semantics.

Abstract
Much effort is put into Information Technology (IT) to achieve better efficiency and quality of expressing communication between autistic children with the surrounding. This paper presents an application that aims to help the autistic child to interact and express their feeling with their loved ones in easy manner. The major objective of the project is to connect autistic children with their family and friends by providing tools that enable an easy way to express their feeling and emotions. To accomplish this goal an Android app has been developed through which, autistic child can express their emotion based on emoji. Child’s emotions are share by sending the emoji to their relatives. The project aims a high impact within the autistic child community by providing a mechanism to share emotions in an “emotionless world”. The project was developed under the Sustainable Development Goal (SDG) 3: good health and well-being in the society by making the meaningful impact in the life of autistic child. © 2019, Springer Nature Switzerland AG.

Abstract
Quarmic is a web framework for rapid prototyping of web applications. Its main goal is to facilitate the development of web applications by providing a high level of abstraction that hides Web communication complexities. This framework allows developers to build scalable applications capable of handling data communication in different models, data persistence and authentication, requiring them just to use simple annotations. Quarmic’s approach consists of the replication of the shared object among clients and server in order to communicate through its methods execution. Where the annotations, namely decorators, are used to indicate the concern (model or view) that each method addresses and to implement the framework’s inversion of control. By indicating the method concern, it enables the separation of its execution across the clients (responsible for the view) and the server (responsible for the model) which facilitates the state management and code maintenance. © Pedro M. P. Cunha and José P. Leal.

Abstract
This paper describes a group of robots for cleaning a simulated environment and proposes an efficient algorithm for navigation based on Pathfinding A *. No need for vision sensors. As a result it was observed that the robots can work cooperatively to clear the ground and that the navigation algorithm is effective in cleaning. In order to test its efficiency it was compared the combination of the Pathfinding A* algorithm and the decision algorithm proposed in this paper with Pathfinding A* and Euclidean distance, resulted in an improvement in time and distance traveled. © CLAWAR Association.