Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science PDF Download

Author: Benedikt Etzold
Publisher:
ISBN: 9783944640884
Category :
Languages : en
Pages :

View

Book Description

Author: Ahti-Veikko Pietarinen
Publisher: Springer Nature
ISBN: 3030542491
Category : Computers
Languages : en
Pages : 557

View

Book Description
This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.* The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; diagram design, principles, and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; logic and diagrams; and posters. *The conference was held virtually due to the COVID-19 pandemic. The chapters ‘Modality and Uncertainty in Data Visualization: A Corpus Approach to the Use of Connecting Lines,’ ‘On Effects of Changing Multi-Attribute Table Design on Decision Making: An Eye Tracking Study,’ ‘Truth Graph: A Novel Method for Minimizing Boolean Algebra Expressions by Using Graphs,’ ‘The DNA Framework of Visualization’ and ‘Visualizing Curricula’ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Author: Sally A. Fincher
Publisher:
ISBN: 1108756212
Category : Computers
Languages : en
Pages : 924

View

Book Description
This is an authoritative introduction to Computing Education research written by over 50 leading researchers from academia and the industry.

Author: Dashun Wang
Publisher: Cambridge University Press
ISBN: 1108492665
Category : Computers
Languages : en
Pages : 315

View

Book Description
This is the first comprehensive overview of the exciting field of the 'science of science'. With anecdotes and detailed, easy-to-follow explanations of the research, this book is accessible to all scientists, policy makers, and administrators with an interest in the wider scientific enterprise.

Author: Betty H. C. Cheng
Publisher: Springer Science & Business Media
ISBN: 3642021603
Category : Computers
Languages : en
Pages : 271

View

Book Description
The carefully reviewed papers in this state-of-the-art survey describe a wide range of approaches coming from different strands of software engineering, and look forward to future challenges facing this ever-resurgent and exacting field of research.

Author: Yehuda Lindell
Publisher: Springer
ISBN: 331957048X
Category : Computers
Languages : en
Pages : 461

View

Book Description
This is a graduate textbook of advanced tutorials on the theory of cryptography and computational complexity. In particular, the chapters explain aspects of garbled circuits, public-key cryptography, pseudorandom functions, one-way functions, homomorphic encryption, the simulation proof technique, and the complexity of differential privacy. Most chapters progress methodically through motivations, foundations, definitions, major results, issues surrounding feasibility, surveys of recent developments, and suggestions for further study. This book honors Professor Oded Goldreich, a pioneering scientist, educator, and mentor. Oded was instrumental in laying down the foundations of cryptography, and he inspired the contributing authors, Benny Applebaum, Boaz Barak, Andrej Bogdanov, Iftach Haitner, Shai Halevi, Yehuda Lindell, Alon Rosen, and Salil Vadhan, themselves leading researchers on the theory of cryptography and computational complexity. The book is appropriate for graduate tutorials and seminars, and for self-study by experienced researchers, assuming prior knowledge of the theory of cryptography.

Author: Hanan Samet
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 536

View

Book Description

Author: Christian Choffrut
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 142

View

Book Description

Author: Wojciech Samek
Publisher: Springer Nature
ISBN: 3030289540
Category : Computers
Languages : en
Pages : 435

View

Book Description
The development of “intelligent” systems that can take decisions and perform autonomously might lead to faster and more consistent decisions. A limiting factor for a broader adoption of AI technology is the inherent risks that come with giving up human control and oversight to “intelligent” machines. For sensitive tasks involving critical infrastructures and affecting human well-being or health, it is crucial to limit the possibility of improper, non-robust and unsafe decisions and actions. Before deploying an AI system, we see a strong need to validate its behavior, and thus establish guarantees that it will continue to perform as expected when deployed in a real-world environment. In pursuit of that objective, ways for humans to verify the agreement between the AI decision structure and their own ground-truth knowledge have been explored. Explainable AI (XAI) has developed as a subfield of AI, focused on exposing complex AI models to humans in a systematic and interpretable manner. The 22 chapters included in this book provide a timely snapshot of algorithms, theory, and applications of interpretable and explainable AI and AI techniques that have been proposed recently reflecting the current discourse in this field and providing directions of future development. The book is organized in six parts: towards AI transparency; methods for interpreting AI systems; explaining the decisions of AI systems; evaluating interpretability and explanations; applications of explainable AI; and software for explainable AI.

Author: Kim Marriott
Publisher: Springer
ISBN: 303001388X
Category : Computers
Languages : en
Pages : 366

View

Book Description
Immersive Analytics is a new research initiative that aims to remove barriers between people, their data and the tools they use for analysis and decision making. Here the aims of immersive analytics research are clarified, its opportunities and historical context, as well as providing a broad research agenda for the field. In addition, it is reviewed how the term immersion has been used to refer to both technological and psychological immersion, both of which are central to immersive analytics research.