{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":60,"n_cols":5,"rows_kept":60,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[23,2,23,3],[27,2,27,3],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[36,4,36,5],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[54,2,54,3],[55,2,55,3],[57,2,57,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991003468419707536"]
[null,null,"Autore",null,"Mossé, Fernand"]
[null,null,"Titolo",null,"Handbuch des Mittelenglischen / Mossé, Fernand ; von Herbert Pilch und Ursula Siewert"]
[null,null,"Pubbl/distr/stampa",null,"München : Hueber, 1969"]
[null,null,"Descrizione fisica",null,"565 p. ; 21 cm"]
[null,null,"Collana",null,"Sprache der Welt"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Litt.liste, s. 18-22"]
[null,"2.","Record Nr.",null,"UNINA9910822846203321"]
[null,null,"Titolo",null,"Gaze in human-robot communication / / edited by Frank Broz, Heriot-Watt University [and three others]"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam ; ; Philadelphia : , : John Benjamins Publishing Company, , [2015]"]
[{"$nulls":4},"©2015"]
[null,null,"ISBN",null,"90-272-6764-2"]
[null,null,"Descrizione fisica",null,"1 online resource (178 p.)"]
[null,null,"Collana",null,"Benjamins current topics, , 1874-0081 ; ; volume 81"]
[null,null,"Disciplina",null,"629.8/92019"]
[null,null,"Soggetti",null,"Human-robot interaction"]
[{"$nulls":4},"Gaze - Psychological aspects"]
[{"$nulls":4},"Robotics - Social aspects"]
[{"$nulls":4},"Androids"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","\"These materials were previously published in Interaction studies 14:3 (2013).\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Gaze in Human-Robot Communication; Editorial page; Title page; LCC data; Table of contents; Introduction to the Special Issue on Gaze in human-robot communication; 1. Introduction; 1.1 Gaze in human communication; 1.2 Gaze in human-agent interaction; 1.3 Gaze and human-robot communication; 2. The Special Issue; References; Design of a gaze behavior at a small mistake moment for a robot; 1. Introduction; 2. Data collection; 3. Experiments; 3.1 Hypotheses and predictions about apologies; 3.2 Hypotheses and prediction for friendliness and dissatisfaction"]
[{"$nulls":4},"3.2.1 Hypothesis that assumes advantages of looking down3.2.2 Hypothesis that assumes advantages of looking at the other; 3.3 Participants; 3.4 Tasks; 3.5 Robot; 3.6 Conditions; 3.7 Procedure; 3.8 Measurement; 4. Results; 4.1 Verification of prediction 1; 4.2 Verification of prediction 2; 4.3 Verification of prediction 3; 5. Discussion; 5.1 Analysis of free descriptions; 5.2 Responsiveness to mistakes; 6. Conclusion; Acknowledgements; References; Robots can be perceived as goal-oriented agents; 1. Introduction; 2. Methods; 2.1 Subjects; 2.2 Action demonstrators; 2.2.1 The human demonstrator"]
[{"$nulls":4},"2.3 The humanoid robot2.4 Experimental paradigm; 2.5 Data Analysis; 3. Results; 4. Discussion; Acknowledgments; References; Can infants use robot gaze for object learning?; 1. Introduction; 2. Experiment 1; "]
[{"$nulls":4},"2.1 Method; 2.1.1 Participants; 2.1.2 Apparatus; 2.1.3 Stimuli and procedure; 2.1.4 Data analysis; 2.2 Results and discussion; 3. Experiment 2; 3.1 Method; 3.1.1 Participants; 3.1.2 Stimuli and procedure; 3.1.3 Results and discussion; 4. General Discussion; Acknowledgements; References; Interactions between a quiz robot and multiple participants; 1. Introduction"]
[{"$nulls":4},"2. Background of this study2.1 Cross-cultural communicative differences: Word order; 2.2 Coordination of verbal and non-verbal actions and questioning strategy; 3. The present experiment: A quiz robot in Japanese and English; 3.1 Robot System; 3.2 Experimental setup; 3.3 Experimental stimuli; 4. Initial analysis; 5. Detailed analysis; 5.1 Comparing responses during the keyword (in Q3); 5.2 Comparing responses to tag-part of a tag-question (in Q6); 6. Discussion and Conclusion; Acknowledgement; References; Cooperative gazing behaviors in human multi-robot interaction; 1. Introduction"]
[{"$nulls":4},"2. A human multi-robot multimodal interactive paradigm2.1 Gaze-Contingent platform; 2.2 Experiment design; 2.3 Hypotheses; 2.4 Experimental procedure; 2.5 Data collection; 2.6 Validation of the gaze-contingent interaction system; 3. Results; 3.1 Eye movements; 3.2 Speech acts; 3.3 Attention dynamics around naming moments; 4. General discussions; 4.1 Gaze cue in human multi-robot interaction; 4.2 Micro-level mutual reflexivity; 5. Conclusion; Acknowledgements; References; Learning where to look Autonomous development of Gaze behavior for natural Human-Robot Interaction; 1. Introduction"]
[{"$nulls":4},"2. Reactive Gaze Controller"]
[null,"3.","Record Nr.",null,"UNINA9910855370303321"]
[null,null,"Autore",null,"Meyer-Stabley Bertrand"]
[null,null,"Titolo",null,"The French School of Programming / / edited by Bertrand Meyer"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024"]
[null,null,"ISBN",null,"9783031345180"]
[null,null,"Edizione",null,"[1st ed. 2024.]"]
[null,null,"Descrizione fisica",null,"1 online resource (451 pages)"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer programs - Testing"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Programming Language"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Software Testing"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"The French School of Programming: A Personal View -- Part I: Software Engineering -- “Testing can be formal too”: 30 years later -- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property -- Modeling: From CASE Tools to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents -- Semantics and syntax, between computer science and mathematics -- Some remarks about Dependent Type Theory -- Part III: Theory -- A Personal Historical Perspective on Abstract Interpretation -- Tracking Redexes in the Lambda Calculus -- Confluence of terminating rewriting computations -- Part IV: Language design and programming methodology -- Programming with union, intersection, and negation types -- Right and "]
[{"$nulls":4},"wrong: ten choices in language design."]
[null,null,null,"Sommario/riassunto","The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques. The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider’s appraisal of the French school’s contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents “some remarks on dependent type theory”. Part C begins with Patrick Cousot’s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers “ten choices in language design” for object-oriented programming, distinguishing between “right” and “wrong” resolutions of these issues and explaining the rationale behind Eiffel’s decisions. This book will be of special interest to anyone with an interest in modern views of programming — on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification… — and in the insights of a brilliant group of innovators in the field."]