%{search_type} search results

• p. 1
• -8: sammanfattning, p. 9
• -65: 3 uppsatser

• ix, [1] s., s. 1
• -20: sammanfattning, s. 21
• -172: 5 uppsatser

• About the Authors xi
• Acknowledgments xiii
• Introduction 1
• Who is This Book For? 3
• Let's Do It! 3
• Chapter 1: Prologues 5
• A Wizard's Tale 5
• The Sorting of Wizards 5
• The Call to Action 10
• A Language Without 10
• Our Strange Protagonists 10
• (cons 'Apple 'Soft) 13
• Tower of Babel 15
• Confessions 16
• Penances 17
• A Language Within 17
• Installing Languages 17
• Writing in Tongues 19
• Kiss, Gift, Poison 20
• Nova: Va o no va? 22
• Hello, Hello, Hello 23
• Languages Without 25
• Tongueless Languages 27
• Babbage's Calculus Club 29
• Diffs 31
• Finite Descriptions of the Infinite 31
• Bottling the Human Will 33
• Machines Anchor Language 35
• Now That It's Out of Our System 39
• Languages Within 40
• Signed Languages 42
• Silent Battles 43
• Our Strange Citizens of Broca's Area 49
• Chapter 2: Beginnings 51
• A Wizard's Tale 51
• The Leap of Faith 51
• The Forge 53
• They Slept 56
• A Language Without 56
• Syntax - Building Materials 59
• A Meta-Linguistic Meander 60
• Back to Syntax 62
• Semantics: "When your eyes see this, do this with your mind . . . " 63
• Checking Assumptions 65
• We Have a "Language." Now What? 66
• A Language Within 66
• Cats 66
• Stories and Back Stories 71
• Ab(stract) 74
• Shortest Path: Dijkstra to You 75
• A Brave New Syntax 79
• Languages Without 81
• The Unwritten, Unwritable Backstory 83
• Three Old Friends: Language, Math, Algorithms 84
• Algorithms of Antiquity 88
• A Brief Story of Stories 90
• Languages Within 91
• Foreign Language: A Friend, Perhaps a Mentor 96
• Zapping Broca's Area 97
• More Monkey Business 98
• Chapter 3: Middles 101
• A Wizard's Tale 101
• Purgatory 101
• Descent 103
• Ascent 105
• A Language Without 106
• (Stories (Within Stories)) 106
• Order Word 111
• Easing the Transition 113
• Magic Tricks 114
• A Language Within 122
• Implicit Learning 122
• Animation 122
• Napoleon's Risky Maneuver 126
• Noughts and Crosses 131
• Round Stories-- Square Frames 132
• Languages Without 133
• Illusions of Mind 133
• Dactylonomy: Digits to Digital 134
• Externalization 137
• The Spark of the Pascaline 139
• The Best of all Possible Languages 141
• Automatons 144
• King Ludd 147
• The Song for the Luddites 149
• Languages Within 152
• The Machine Within 152
• Potions for the Mind 152
• Science and Schools 154
• Mindset 156
• Metacognition 158
• Deliberate Practice 160
• Second Language
• Acquisition 160
• Krash Course 162
• Fluency and Expertise 164
• What It Feels Like to Upgrade Your Own Wetware 166
• Meta-teaching 168
• A Universal Educational Language 169
• The Loop of Being Human 173
• Chapter 4: Ends 175
• A Wizard's Tale 176
• Learn to Teach-- Teach to Learn 176
• Montage 178
• Loop Back 183
• The Beginning 184
• A Language Without 184
• Our Road Thus Far 184
• Definitions 185
• Becoming the Machine 187
• Loops 188
• Mad Libs 190
• Turing Completeness 191
• Ifs 196
• Extending Language 199
• A Language Within 200
• So lernt man lernen: Der Weg zum Erfolg 200
• Designing Your Deck 207
• The System 210
• Unburdening Yourself 213
• Parting Exercises 214
• Languages Without 215
• The Flood and the Tower 215
• Soft is the New Hard, and the Old Hard 216
• Abstraction's Arrow 218
• Languages Within 224
• The Education Bottleneck 224
• History's First Coding Students 225
• (environment (mind (fluency))) 228
• Co-Authoring the EdTech Story 233
• Babbages and Lovelaces of Education 238
• This Final Section Has No Name 240
• Conclusion 241
• Next Steps: Learning Sciences 241
• Next Steps: Languages to Learn 242
• Next Steps: Coding 242
• Next Steps: Software Engineering 242
• Next Steps: Hacker Culture 243
• Next Steps: History 243
• Naming Things: Computer Science 244
• Naming Things: Philosophy of Mind 245
• Naming Things: Learning Science 245
• Thank You 246
• Bibliography 247
• Index 259.
• (source: Nielsen Book Data)

The definitive resource for understanding what coding is, designed for educators and parents Even though the vast majority of teachers, parents, and students understand the importance of computer science in the 21st century, many struggle to find appropriate educational resources. Don't Teach Coding: Until You Read This Book fills a gap in current knowledge by explaining exactly what coding is and addressing why and how to teach the subject. Providing a historically grounded, philosophically sensitive description of computer coding, this book helps readers understand the best practices for teaching computer science to their students and their children. The authors, experts in teaching computer sciences to students of all ages, offer practical insights on whether coding is a field for everyone, as opposed to a field reserved for specialists. This innovative book provides an overview of recent scientific research on how the brain learns coding, and features practical exercises that strengthen coding skills. Clear, straightforward chapters discuss a broad range of questions using principles of computer science, such as why we should teach students to code and is coding a science, engineering, technology, mathematics, or language? Helping readers understand the principles and issues of coding education, this book: Helps those with no previous background in computer science education understand the questions and debates within the field Explores the history of computer science education and its influence on the present Views teaching practices through a computational lens Addresses why many schools fail to teach computer science adequately Explains contemporary issues in computer science such as the language wars and trends that equate coding with essential life skills like reading and writing Don't Teach Coding: Until You Read This Book is a valuable resource for K-12 educators in computer science education and parents wishing to understand the field to help chart their children's education path.
(source: Nielsen Book Data)

• Frontmatter
• Preface
• Acknowledgments
• Contents
• 1 Introduction
• 2 Aspects of Software Measurement
• 3 History of Software Measurement
• 4 Foundations of Software Measurement I
• 5 Foundations of Software Measurement II
• 6 Measurement Theory and Object-Oriented Software Measures
• 7 Desirable Properties of Software Measures
• 8 Validation of Software Measures and Prediction Models
• 9 Applications of Software Measures
• 10 Afterword
• 11 Solutions of Exercises
• 12 Glossary of Terms and Terms used as Synonyms
• Attachment I: The System ZD-MIS
• Attachment II: Proof of the Equivalence of Extensive Structures
• Attachment III: Proof of the Theorems of Chapter 8
• Attachment IV: Proof of the Theorems of Chapter 5
• Attachment V: Notations and Used Symbols
• Attachment VI: Axioms Systems
• Definitions
• Theorems
• Exercises
• References to Literature
• Name Index
• Subject Index
• Backmatter

Zuse's textbook on software measurement provides basic principles as well as theoretical and practical guidelines for the use of numerous kinds of software measures. It is written to enable scientists, teachers, practit ioners, and students to define the basic terminology of Software Measurement and to contribute to theory building. The textbook considers, among other, qualitative and numerical models behind software measures. It explains step-by-step the importance of qualitative properties, the meaning of scale types, the foundations of the validation of measures, and the foundations of prediction models, the models behind the Function-Point method and the COCOMO model, and the qualitative assumption of object-oriented measures. For applications of software measures in practice more than two hundred software measures of the software life-cycle are described in detail (object-oriented measures included). The enclosed CD contains a selection of more than 1,600 references of literature, and a small demo version of ZD-MIS (Zuse/Drabe - Measurement Information System) is presented.
(source: Nielsen Book Data)

• Frontmatter
• Editorial Notes
• Preface
• Contents
• List of Figures
• Symbols and Notation
• Chapter 1 Introduction
• Chapter 2 Program Testing Concepts
• Chapter 3 Logic Programming Concepts
• Chapter 4 Program Instrumentation
• Chapter 5 Test Coverage
• Chapter 6 Test Input Generation
• Chapter 7 Complexity Analysis
• Chapter 8 Summary
• Appendix A The PROTest System
• Appendix Β Case Study
• Bibliography
• Index

"The first book that provides a systematic and rigorous logical theory of causality"-- Provided by publisher.

"This book provides a model for teaching computational thinking to middle and high school students across a broad range of school subjects"-- Provided by publisher.

• Chapter 1 Introduction
• Section 1 Networked Control Approaches in CPSs
• Chapter 2 Stochastic Stability and Stabilization of CPSs with Random Delay
• Chapter 3 Observer-Based Output Feedback Stabilization for CPSs with Quantized Inputs
• Chapter 4 State Feedback Networked Delay Compensation Control for CPSs with Time-Varying Delay
• Chapter 5 Output Feedback Networked Delay Compensation Control for CPSs with Random Delay
• Chapter 6 Fuzzy Networked Delay Compensation Control for Nonlinear CPSs
• Chapter 7 Networked Output Tracking Control of CPSs with Delay Compensation
• Section 2 Event-Triggered Control Approaches in CPSs
• Chapter 8 Observer-Based Event-Triggered Control for CPSs
• Chapter 9 Observer-Based Self-Triggered Control for CPSs
• Chapter 10 Event-Triggered Dynamic Output Feedback Control for CPSs
• Chapter 11 Co-Design of Event-Triggered Control and Quantized Control for CPSs
• Chapter 12 Event-Triggered Disturbance Rejection Control for CPSs.
• (source: Nielsen Book Data)

The insertion of communication networks in feedback control loops complicates analysis and synthesis of cyber-physical systems (CPSs), and network-induced uncertainties may degrade system control performance. Thus, this book researches networked delay compensation and event-triggered control approaches for a series of CPSs subject to network-induced uncertainties. The authors begin with an introduction to the concepts and challenges of CPSs, followed by an overview of networked control approaches and event-triggered control strategies in CPSs. Then, networked delay compensation and event-triggered control approaches are proposed for CPSs with network communication delay, data dropout, signal quantization, and event-triggered communication. More specifically, networked delay compensation approaches are proposed for linear/nonlinear networked controlled plants with time-varying and random network communication delays and data dropouts. To reduce computational burden and network communication loads in CPSs, event-triggered control, self-triggered control, co-design of event-triggered control and quantized control techniques, and event-triggered disturbance rejection control approaches are also presented. This book is an essential text for researchers and engineers interested in cybersecurity, networked control, and CPSs. It would also prove useful for graduate students in the fields of science, engineering, and computer science.
(source: Nielsen Book Data)

"The artificial intelligence revolution is leaving behind small businesses and organizations who cannot afford to hire in-house teams of data scientists to build bespoke models. This book explores the nature of repeated quantitative tasks driving business optimization, from the perspective of economics, statistics, decision making under uncertainty, and privacy preserving computation"-- Provided by publisher