Dennis F. Lock's Books

Statistics

Unlocking the Power of Data

By: Robin H. Lock,Patti Frazer Lock,Kari Lock Morgan,Eric F. Lock,Dennis F. Lock

Write a review Read reviews Take a Quiz Solve Book Puzzle

Statistics

Unlocking the Power of Data

By: Robin H. Lock,Patti Frazer Lock,Kari Lock Morgan,Eric F. Lock,Dennis F. Lock

Statistics: Unlocking the Power of Data, 3rd Edition is designed for an introductory statistics course focusing on data analysis with real-world applications. Students use simulation methods to effectively collect, analyze, and interpret data to draw conclusions. Randomization and bootstrap interval methods introduce the fundamentals of statistical inference, bringing concepts to life through authentically relevant examples. More traditional methods like t-tests, chi-square tests, etc. are introduced after students have developed a strong intuitive understanding of inference through randomization methods. While any popular statistical software package may be used, the authors have created StatKey to perform simulations using data sets and examples from the text. A variety of videos, activities, and a modular chapter on probability are adaptable to many classroom formats and approaches.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

866

Publisher

John Wiley & Sons

Published Date

ISBN 10

1119682169

ISBN 13

9781119682165

Student Solutions Manual to accompany Statistics: Unlocking the Power of Data, 2e

By: Robin H. Lock,Patti Frazer Lock,Kari Lock Morgan,Eric F. Lock,Dennis F. Lock

Write a review Read reviews Take a Quiz Solve Book Puzzle

Student Solutions Manual to accompany Statistics: Unlocking the Power of Data, 2e

By: Robin H. Lock,Patti Frazer Lock,Kari Lock Morgan,Eric F. Lock,Dennis F. Lock

This is the Student Solutions Manual to Accompany Statistics: Unlocking the Power of Data, 2nd Edition. Statistics, 2nd Edition moves the curriculum in innovative ways while still looking relatively familiar. Statistics, 2e utilizes intuitive methods to introduce the fundamental idea of statistical inference. These intuitive methods are enabled through statistical software and are accessible at very early stages of a course. The text also includes the more traditional methods such as t-tests, chi-square tests, etc., but only after students have developed a strong intuitive understanding of inference through randomization methods. The text is designed for use in a one-semester introductory statistics course. The focus throughout is on data analysis and the primary goal is to enable students to effectively collect data, analyze data, and interpret conclusions drawn from data. The text is driven by real data and real applications. Students completing the course should be able to accurately interpret statistical results and to analyze straightforward data sets.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

290

Publisher

John Wiley & Sons

Published Date

ISBN 10

1119308917

ISBN 13

9781119308911

Verifiable Autonomous Systems

Using Rational Agents to Provide Assurance about Decisions Made by Machines

By: Louise A. Dennis,Michael Fisher

Write a review Read reviews Take a Quiz Solve Book Puzzle

Verifiable Autonomous Systems

Using Rational Agents to Provide Assurance about Decisions Made by Machines

By: Louise A. Dennis,Michael Fisher

How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The authors review specific definitions, applications and the unique future potential of autonomous systems, along with their impact on safer decisions and ethical behaviour. Topics discussed include the use of rational cognitive agent programming from the Beliefs-Desires-Intentions paradigm to control autonomous systems and the role model-checking in verifying the properties of this decision-making component. Several case studies concerning both the verification of autonomous systems and extensions to the framework beyond the model-checking of agent decision-makers are included, along with complete tutorials for the use of the freely-available verifiable cognitive agent toolkit Gwendolen, written in Java.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

392

Publisher

Cambridge University Press

Published Date

ISBN 10

1108620213

ISBN 13

9781108620215

Book's by Dennis F. Lock

Statistics

Statistics

Student Solutions Manual to accompany Statistics: Unlocking the Power of Data, 2e

Student Solutions Manual to accompany Statistics: Unlocking the Power of Data, 2e

Verifiable Autonomous Systems

Verifiable Autonomous Systems

Username

Password

Username

Password

Password again

Birthday

Email