R & D Abstracts
Author : Technology Reports Centre (Great Britain)
Publisher :
Page : 512 pages
File Size : 26,11 MB
Release : 1980
Category :
ISBN :
Author : Technology Reports Centre (Great Britain)
Publisher :
Page : 512 pages
File Size : 26,11 MB
Release : 1980
Category :
ISBN :
Author : Mark van der Loo
Publisher : John Wiley & Sons
Page : 396 pages
File Size : 48,94 MB
Release : 2018-02-12
Category : Computers
ISBN : 1118897137
A comprehensive guide to automated statistical data cleaning The production of clean data is a complex and time-consuming process that requires both technical know-how and statistical expertise. Statistical Data Cleaning brings together a wide range of techniques for cleaning textual, numeric or categorical data. This book examines technical data cleaning methods relating to data representation and data structure. A prominent role is given to statistical data validation, data cleaning based on predefined restrictions, and data cleaning strategy. Key features: Focuses on the automation of data cleaning methods, including both theory and applications written in R. Enables the reader to design data cleaning processes for either one-off analytical purposes or for setting up production systems that clean data on a regular basis. Explores statistical techniques for solving issues such as incompleteness, contradictions and outliers, integration of data cleaning components and quality monitoring. Supported by an accompanying website featuring data and R code. This book enables data scientists and statistical analysts working with data to deepen their understanding of data cleaning as well as to upgrade their practical data cleaning skills. It can also be used as material for a course in data cleaning and analyses.
Author : Historical Records Survey (U.S.)
Publisher :
Page : 742 pages
File Size : 46,96 MB
Release : 1938
Category : Archives
ISBN :
Author : Julia M. Badger
Publisher : Springer
Page : 410 pages
File Size : 10,35 MB
Release : 2019-05-28
Category : Computers
ISBN : 3030206521
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
Author : Historical Records Survey (U.S.)
Publisher :
Page : 304 pages
File Size : 13,53 MB
Release : 1941
Category : Archives
ISBN :
Author :
Publisher :
Page : 338 pages
File Size : 36,94 MB
Release : 1938
Category : Archival resources
ISBN :
Author : Survey of Federal Archives (U.S.)
Publisher :
Page : 488 pages
File Size : 41,21 MB
Release : 1939
Category : Archival resources
ISBN :
Author : John Simcoe Saunders
Publisher :
Page : 1530 pages
File Size : 44,39 MB
Release : 1851
Category : Civil procedure
ISBN :
Author :
Publisher :
Page : 1254 pages
File Size : 12,13 MB
Release : 1969
Category : Nuclear energy
ISBN :
Author : Survey of Federal Archives (U.S.)
Publisher :
Page : 128 pages
File Size : 36,70 MB
Release : 1938
Category : Archival surveys
ISBN :