Coveringthe challenges of building AI-powered intelligent robots inspired by natural cognitive systems. offering the first comprehensive coverage of building robots inspired by natural cognitive systems.
This book explores the use of symmetries through descriptions of the techniques of Lie groups and Lie algebras. It develops the models, theoretical framework, and mathematical tools to understand these symmetries.
This book provides an introduction to the mathematics needed to model, analyze, and design feedback systems. It uses techniques from physics, computer science, and operations research to introduce control-oriented modeling.
Time Geography is a mode of thinking that helps in the understanding of change in society, the wider context and ecological consequences of human actions. This book presents its assumptions, concepts and methods, and example applications.
This book tells the story of Application-specific Integrated circuits (ASICs), a high-growth semiconductor industry. It is also the story of LSI Logic Corporation, the ASIC leader, and other organizations such as VLSI Technology, Altera, and Cadence Design Systems.
Progressive in content and form, this practical text successfully bridges the gap between the circuit perspective and system perspective of digital integrated circuit design. Focuses on practical design issues, with examples, design problems and case studies.
The main goal of this book is to bring forth the exciting and innovative RF CMOS Oscillator structures that demonstrate better phase noise performance, lower cost, and higher power efficiency than currently achievable.
This book covers the C++ programming language, its interactions with software design and real life use of the language. It is presented in a series of chapters as an introductory prior to advance courses but can also be used as a reference book.
Test-Driven Development (TDD) is a modern programming practice embedded C developers need to know. It's a different way to program - unit tests are written in a tight feedback loop with the production code, assuring your code does what you think.
This book explains to you how to make (supervised) machine learning models interpretable. The book focuses on machine learning models for tabular data (also called relational or structured data) and less on computer vision and NLP tasks.
This book focuses on medium-sized cities and more specifically on their open spaces from psychological, sociological, and aesthetic points of view, will be of interest to readers in architecture, urban planning, and landscape architecture.
If you have the brains, the talent, and the courage to take risks, a career in Computer Game Development may be right for you. Explore all the essential steps towards the resources you need to prosper in the game industry.
This book presents a rationale for learning about Machine Translation (MT), and provides both a basic introduction to contemporary machine-learning based MT, and a more advanced discussion of neural MT.
This hands-on guide uses Julia Programming Language to walk you through programming one step at a time, beginning with basic programming concepts before moving on to more advanced capabilities, such as creating new types and multiple dispatch..
This book provides a pathway for learning about statistical inference using data science tools widely used in industry, academia, and government. It introduces the tidyverse suite of R packages, including the ggplot2 package for data visualization, etc.
Build a solid foundation in data analysis, This guide starts with an overview of statistics and why it is so important. Be confident that you understand what your data are telling you and that you can explain the results to others!
This book has been prepared in line with the requirements of national and international Olympiad examinations. The questions are carefully chosen to suit the needs of Olympiad aspirants and to provide highest level of clarity for Mathematical concepts.
An analysis of novelistic explorations of modernism in mathematics and its cultural interrelations. Persuasively and engagingly, it demonstrates that modernism's relation to contemporary mathematics was often more analogous than adversarial.
Intended for professionals of engineering, physical science, economics, business studies, and computer science, this handbook contains vital information and formulas for algebra, geometry, calculus, numerical methods, and statistics.
Review the relevance of heuristics in problem-solving approaches in Mathematics Education, what type of heuristics helps learners devise and practice creative solutions; the importance that learners formulate and pursue their own problems.
An extensive guide to everything there is to know about curl, the project, the command-line tool, the library, how everything started and how it came to be what it is today. How we work on developing it further, what it takes to use it, etc.
French mathematician Evariste Galois developed the Galois theory of groups-one of the most penetrating concepts in modem mathematics. The elements of the theory are clearly presented in this lectures delivered by noted mathematician Emil Artin.
This short book is a complete introduction to statistics and data analysis using R and RStudio. It contains hands-on exercises with real data - mostly from social sciences. It presents four key ingredients of statistical data analysis.
This book examines the use of natural language technology in educational testing, measurement, and assessment, provides evidence-based practices for the use of NLP-based approaches to automated text and speech scoring and beyond.
This book takes readers on a fascinating scholarly tour of human movement and offer a compelling program for roboticists, technologists, and designers seeking fresh perspectives on human-machine interaction.
A concise introduction to the methods and algorithms used in computational physics, clear in its presentation, useful for those beginning more advanced work in the field. Sample programs are be written in JAVA and are accompanied by short explanations.
This book explores the potentials of qualitative methods and analysis for big data, covers everything small data researchers need to know about big data, from the potentials of big data analytics to its methodological and ethical challenges.
A contemporary examination of what information is represented, how that information is presented, and who gets to participate (and serve as gatekeeper) in the world's largest online repository for information, Wikipedia.
Explored recent innovations of the development of smart and green technologies in the fields of Energy, Electronics, Communications, Computers, and Control. Provides innovators to identify new opportunities for the social and economic benefits of society.
This book offers the first comprehensive study of the many interfaces shaping the relationship between comics and videogames. It combines in-depth conceptual reflection with a rich selection of paradigmatic case studies from contemporary media culture.
This graduate-level mathematics textbook provides an in-depth and readable exposition of selected topics in complex analysis. The focus is on beautiful applications of complex analysis to geometry and number theory.
Lex, I also noticed that most of these books are pretty old. Maybe once the Internet hit the big time in the 90s, things got less funny. I mean, read the comments on HN for a while if you want to see how not-funny things have gotten.
Hi Magnus, of course TAOCP is impeccable, just joking. Except for that MMIX crap. I certainly enjoyed all of the early Stephenson books, and even tracked down a copy of _The Big U_ back in the 90s when it was really hard to find.
I took a look at the Turbak/Gifford book, but it's too long-winded; I thought Winskel would be fine, but I have no access to it (it's not in our University library, and I'm short on money), and I'm not even sure if it's not dated. Slonneger seems OK, but the practical part makes it somewhat too long, and I'm not very comfortable with his style.
It all depends how deep you want to go, and how much you already know. For a beginner Winksel's book is really nice, but yes, it's not introducing you to the state of the art in semantics as it was written about 20 years ago. Nevertheless it's still a good first introduction to the subject. It might also be worthwhile pointing out that T. Nipkow has formalised a substantial chunk of Winskel's book in Isabelle/HOL, see here. So if you want to learn using interactive proof assistants together with understanding the semantics of programming languages, you have a lot of coherent material to draw on.
Gunter, Semantics of Programming Languages, a more advanced book focussing on denotational semantics, an approach to semantics, which hasn't lived up to expectations. Focusses on purely functional lanugages and ignores concurrency. This is the book that I taught myself semantics from as an undergraduate, and in retrospect I wish I had used Winksel's book instead. Gunter is not an easy read for a beginner.
Books like Pierce's TAPL are very nice, but focus narrowly on one aspect of programming languages, namely types, as important as that is. I would not recommend it as a first introduction to the general area of programming languages, but it is mandatory to read for anyone who wants to learn about types.
Truth be told, I think there's currently no up-to-date introductory book on language semantics that reflects the substantial progress the last decade has seen, with its decisive shift away from denotational methods and sequential computation to concurrency (process calculi and game semantics), axiomatics semantics and the use of interactive proof assistants in verification.
which can be seen as 'Winskel in Isabelle/HOL'. It's an introduction to thesemantics of programming languages (primarily operational andaxiomatic) but unlike previous pen-and-paper-based approaches, thisbook expresses all its mathematics in Isabelle/HOL. In other words,it's at the same time a book about theorem proving.
3a8082e126