101,962 research outputs found
Preface
No full textThis book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model verication; data mining and processing related approaches; and other approache
From Data to Models and Back : 10th International Symposium, DataMod 2021 Virtual Event, December 6–7, 2021, Revised Selected Papers 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021
No full textThis book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.
The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model verification; data mining and processing related approaches; and other approaches
G. Broccia, Ricerche su Livio Andronico epico. Editrice Antenore, Padova, Università di Macerata, Pubblicazioni della facoltà di lettere e filosofia (3), 1974
No full textDesbordes Françoise. G. Broccia, Ricerche su Livio Andronico epico. Editrice Antenore, Padova, Università di Macerata, Pubblicazioni della facoltà di lettere e filosofia (3), 1974. In: Revue des Études Anciennes. Tome 77, 1975, n°1-4. pp. 289-290
Newly diagnosed cases of hematologic malignancies in Sardinia in the early 2000s: an estimation of their number, age and geographic distribution on the basis of a previous epidemiologic survey
No full textWe estimate the number of cases of hematologic malignancies expected to be newly diagnosed in the resident population of Sardinia during the year 2001, and classify the predicted cases according to disease, age and geographic distribution, The implications of these predictions for the Sardinian health care system are discussed, particularly with respect to the development of policies aimed to ensure the most adequate medical care
Gestural interaction for robot motion control
No full textRecent advances in gesture recognition made the problem of controlling a humanoid robot in the most natural possible way an interesting challenge. Learning from Demonstration field takes strong advantage from this kind of interaction since users who have no robotics knowledge are allowed to teach new tasks to robots easier than ever before. In this work we present a cheap and easy way to implement humanoid robot along with a visual interaction interface allowing users to control it. The visual system is based on the Microsoft Kinect's RGB-D camera. Users can deal with the robot just by standing in front of the depth camera and mimicking a particular task they want to be performed by the robot. Our framework is cheap, easy to reproduce, and does not strictly depend on the particular underlying sensor or gesture recognition system
Formal modeling and analysis of safety-critical human multitasking
No full textWhen a person is concurrently interacting with different systems, the amount of cognitive resources required (cognitive load) could be too high and might prevent some tasks from being completed. When such human multitasking involves safety-critical tasks, such as in an airplane, a spacecraft, or a car, failure to devote sufficient attention to the different tasks could have serious consequences. For example, using a GPS with high cognitive load while driving might take the attention away for too long from the safety-critical task of driving the car. To study this problem, we define an executable formal model of human attention and multitasking in Real-Time Maude. It includes a description of the human working memory and the cognitive processes involved in the interaction with a device. Our framework enables us to analyze human multitasking through simulation, reachability analysis, and LTL and timed CTL model checking, and we show how a number of prototypical multitasking problems can be analyzed in Real-Time Maude. We illustrate our modeling and analysis framework by studying: (i) the interaction with a GPS navigation system while driving, (ii) some typical scenarios involving human errors in air traffic control (ATC), and (iii) a medical operator setting multiple infusion pumps simultaneously. We apply model checking to show that in some cases the cognitive load of the navigation system could cause the driver to keep the focus away from driving for too long, and that working memory overload and distraction may cause an air traffic controller or a medical operator to make critical mistakes
Newly diagnosed cases of hematologic malignancies in Sardinia in the early 2000: an estimation of their number, age and geographic distribution on the basis of a previous epidemiologic survey
No full text- …
