- Table View
- List View
Static Analysis
by Sandrine Blazy Thomas JensenThis book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Lecture Notes in Computer Science #11822)
by Bor-Yuh Evan ChangThis book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Lecture Notes in Computer Science #12913)
by Cezara Drăgoi Suvam Mukherjee Kedar NamjoshiThis book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings (Lecture Notes in Computer Science #14995)
by Roberto Giacobazzi Alessandra GorlaThis book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area. The 18 papers included here were carefully reviewed and selected from 45 submissions.
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings (Lecture Notes in Computer Science #14284)
by Manuel V. Hermenegildo José F. MoralesThis book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings (Lecture Notes in Computer Science #12389)
by David Pichardie Mihaela SighireanuThis book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions. The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. Due to the Corona pandemic this event was held virtually.
Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29 - August 31, 2018, Proceedings (Lecture Notes in Computer Science #11002)
by Andreas PodelskiThis book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
Static Analysis
by Xavier RivalThis book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.
Static Analysis of Software: The Abstract Interpretation (Wiley-iste Ser.)
by Jean-Louis BoulangerThe existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).
Static and Dynamic Buckling of Thin-Walled Plate Structures
by Tomasz KubiakThis monograph deals with buckling and postbuckling behavior of thin plates and thin-walled structures with flat wall subjected to static and dynamic load. The investigations are carried out in elastic range. The basic assumption here is the thin plate theory. This method is used to determination the buckling load and postbuckling analysis of thin-walled structures subjected to static and dynamic load. The book introduces two methods for static and dynamic buckling investigation which allow for a wider understanding of the phenomenon. Two different methods also can allow uncoupling of the phenomena occurring at the same time and attempt to estimate their impact on the final result. A general mathematical model, adopted in proposed analytical-numerical method, enables the consideration of all types of stability loss i.e.local, global and interactive forms of buckling. The applied numerical-numerical method includes adjacent of walls, shear-lag phenomenon and a deplanation of cross-sections.
Statics and Dynamics of Weakly Coupled Antiferromagnetic Spin-1/2 Ladders in a Magnetic Field
by Pierre BouillotThis thesis shows how a combination of analytic and numerical techniques, such as a time dependent and finite temperature Density Matrix Renormalization Group (DMRG) technique, can be used to obtain the physical properties of low dimensional quantum magnets with an unprecedented level of accuracy. A comparison between the theory and experiment then enables these systems to be used as quantum simulators; for example, to test various generic properties of low dimensional systems such as Luttinger liquid physics, the paradigm of one dimensional interacting quantum systems. Application of these techniques to a material made of weakly coupled ladders (BPCB) allowed the first quantitative test of Luttinger liquids. In addition, other physical quantities (magnetization, specific heat etc.), and more remarkably the spins-spin correlations - directly measurable in neutron scattering experiments - were in excellent agreement with the observed quantities. We thus now have tools to quantitatiively assess the dynamics for this class of quantum systems.
Statics and Rotational Dynamics of Composite Beams
by Mehrdaad GhorashiThis book presents a comprehensive study of the nonlinear statics and dynamics of composite beams and consists of solutions with and without active elements embedded in the beams. The static solution provides the initial conditions for the dynamic analysis. The dynamic problems considered include the analyses of clamped (hingeless) and articulated (hinged) accelerating rotating beams. Two independent numerical solutions for the steady state and the transient responses are presented. The author illustrates that the transient solution of the nonlinear formulation of accelerating rotating beam converges to the steady state solution obtained by the shooting method. Other key areas considered include calculation of the effect of perturbing the steady state solution, coupled nonlinear flap-lag dynamics of a rotating articulated beam with hinge offset and aerodynamic damping, and static and dynamic responses of nonlinear composite beams with embedded anisotropic piezo-composite actuators. The book is intended as a thorough study of nonlinear elasticity of slender beams and is targeted to researchers, graduate students, and practicing engineers in the fields of structural dynamics, aerospace structures, and mechanical engineering.
The Stationary Bionic Wavelet Transform and its Applications for ECG and Speech Processing (Signals and Communication Technology)
by Talbi MouradThis book first details a proposed Stationary Bionic Wavelet Transform (SBWT) for use in speech processing. The author then details the proposed techniques based on SBWT. These techniques are relevant to speech enhancement, speech recognition, and ECG de-noising. The techniques are then evaluated by comparing them to a number of methods existing in literature. For evaluating the proposed techniques, results are applied to different speech and ECG signals and their performances are justified from the results obtained from using objective criterion such as SNR, SSNR, PSNR, PESQ , MAE, MSE and more.
Statistical Analysis and Data Display
by Richard M. Heiberger Burt HollandThis contemporary presentation of statistical methods features extensive use of graphical displays for exploring data and for displaying the analysis. The authors demonstrate how to analyze data--showing code, graphics, and accompanying tabular listings--for all the methods they cover. They emphasize how to construct and interpret graphs. They discuss principles of graphical design. They identify situations where visual impressions from graphs may need confirmation from traditional tabular results. All chapters have exercises. The authors provide and discuss R functions for all the new graphical display formats. All graphs and tabular output in the book were constructed using these functions. Complete R scripts for all examples and figures are provided for readers to use as models for their own analyses. This book can serve as a standalone text for statistics majors at the master's level and for other quantitatively oriented disciplines at the doctoral level, and as a reference book for researchers. In-depth discussions of regression analysis, analysis of variance, and design of experiments are followed by introductions to analysis of discrete bivariate data, nonparametrics, logistic regression, and ARIMA time series modeling. The authors illustrate classical concepts and techniques with a variety of case studies using both newer graphical tools and traditional tabular displays. The Second Edition features graphs that are completely redrawn using the more powerful graphics infrastructure provided by R's lattice package. There are new sections in several of the chapters, revised sections in all chapters and several completely new appendices. New graphical material includes: * an expanded chapter on graphics * a section on graphing Likert Scale Data to build on the importance of rating scales in fields from population studies to psychometrics * a discussion on design of graphics that will work for readers with color-deficient vision * an expanded discussion on the design of multi-panel graphics * expanded and new sections in the discrete bivariate statistics capter on the use of mosaic plots for contingency tables including the n×2×2 tables for which the Mantel-Haenszel-Cochran test is appropriate * an interactive (using the shiny package) presentation of the graphics for the normal and t-tables that is introduced early and used in many chapters The new appendices include discussions of R, the HH package designed for R (the material in the HH package was distributed as a set of standalone functions with the First Edition of this book), the R Commander package, the RExcel system, the shiny package, and a minimal discussion on writing R packages. There is a new appendix on computational precision illustrating and explaining the FAQ (Frequently Asked Questions) about the differences between the familiar real number system and the less-familiar floating point system used in computers. The probability distributions appendix has been expanded to include more distributions (all the distributions in base R) and to include graphs of each. The editing appendix from the First Edition has been split into four expanded appendices--on working style, writing style, use of a powerful editor, and use of LaTeX for document preparation.
Statistical Analysis for High-Dimensional Data
by Arnoldo Frigessi Peter Bühlmann Ingrid K. Glad Mette Langaas Sylvia Richardson Marina VannucciThis book features research contributions fromThe Abel Symposium on Statistical Analysis for High Dimensional Data, held inNyvågar, Lofoten, Norway, in May 2014. The focus of the symposium was on statisticaland machine learning methodologies specifically developed for inference in "bigdata" situations, with particular reference to genomic applications. Thecontributors, who are among the most prominent researchers on the theory ofstatistics for high dimensional inference, present new theories and methods, aswell as challenging applications and computational solutions. Specific themesinclude, among others, variable selection and screening, penalised regression,sparsity, thresholding, low dimensional structures, computational challenges,non-convex situations, learning graphical models, sparse covariance andprecision matrices, semi- and non-parametric formulations, multiple testing,classification, factor models, clustering, and preselection. Highlighting cutting-edge researchand casting light on future research directions, the contributions will benefitgraduate students and researchers in computational biology, statistics and themachine learning community.
Statistical Analysis of Clinical Data on a Pocket Calculator
by Aeilko H. Zwinderman Ton J. CleophasThe core principles of statistical analysis are too easily forgotten in today's world of powerful computers and time-saving algorithms. This step-by-step primer takes researchers who lack the confidence to conduct their own analyses right back to basics, allowing them to scrutinize their own data through a series of rapidly executed reckonings on a simple pocket calculator. A range of easily navigable tutorials facilitate the reader's assimilation of the techniques, while a separate chapter on next generation Flash prepares them for future developments in the field. This practical volume also contains tips on how to deny hackers access to Flash internet sites. An ideal companion to the author's co-authored works on statistical analysis for Springer such as Statistics Applied to Clinical Trials, this monograph will help researchers understand the processes involved in interpreting clinical data, as well as being a necessary prerequisite to mastering more advanced statistical techniques. The principles of statistical analysis are easily forgotten in today's world of time-saving algorithms. This step-by-step primer takes researchers back to basics, enabling them to examine their own data through a series of sums on a simple pocket calculator.
Statistical Analysis of Graph Structures in Random Variable Networks (SpringerBriefs in Optimization)
by V. A. Kalyagin A. P. Koldanov P. A. Koldanov P. M. PardalosThis book studies complex systems with elements represented by random variables. Its main goal is to study and compare uncertainty of algorithms of network structure identification with applications to market network analysis. For this, a mathematical model of random variable network is introduced, uncertainty of identification procedure is defined through a risk function, random variables networks with different measures of similarity (dependence) are discussed, and general statistical properties of identification algorithms are studied. The volume also introduces a new class of identification algorithms based on a new measure of similarity and prove its robustness in a large class of distributions, and presents applications to social networks, power transmission grids, telecommunication networks, stock market networks, and brain networks through a theoretical analysis that identifies network structures. Both researchers and graduate students in computer science, mathematics, and optimization will find the applications and techniques presented useful.
Statistical Analysis of Microbiome Data (Frontiers in Probability and the Statistical Sciences)
by Somnath Datta Subharup GuhaMicrobiome research has focused on microorganisms that live within the human body and their effects on health. During the last few years, the quantification of microbiome composition in different environments has been facilitated by the advent of high throughput sequencing technologies. The statistical challenges include computational difficulties due to the high volume of data; normalization and quantification of metabolic abundances, relative taxa and bacterial genes; high-dimensionality; multivariate analysis; the inherently compositional nature of the data; and the proper utilization of complementary phylogenetic information. This has resulted in an explosion of statistical approaches aimed at tackling the unique opportunities and challenges presented by microbiome data. This book provides a comprehensive overview of the state of the art in statistical and informatics technologies for microbiome research. In addition to reviewing demonstrably successful cutting-edge methods, particular emphasis is placed on examples in R that rely on available statistical packages for microbiome data. With its wide-ranging approach, the book benefits not only trained statisticians in academia and industry involved in microbiome research, but also other scientists working in microbiomics and in related fields.
Statistical Analysis of Network Data with R (Use R! #65)
by Eric D. Kolaczyk Gábor CsárdiThe new edition of this book provides an easily accessible introduction to the statistical analysis of network data using R. It has been fully revised and can be used as a stand-alone resource in which multiple R packages are used to illustrate how to conduct a wide range of network analyses, from basic manipulation and visualization, to summary and characterization, to modeling of network data. The central package is igraph, which provides extensive capabilities for studying network graphs in R. The new edition of this book includes an overhaul to recent changes in igraph. The material in this book is organized to flow from descriptive statistical methods to topics centered on modeling and inference with networks, with the latter separated into two sub-areas, corresponding first to the modeling and inference of networks themselves, and then, to processes on networks. The book begins by covering tools for the manipulation of network data. Next, it addresses visualization and characterization of networks. The book then examines mathematical and statistical network modeling. This is followed by a special case of network modeling wherein the network topology must be inferred. Network processes, both static and dynamic are addressed in the subsequent chapters. The book concludes by featuring chapters on network flows, dynamic networks, and networked experiments. Statistical Analysis of Network Data with R, 2nd Ed. has been written at a level aimed at graduate students and researchers in quantitative disciplines engaged in the statistical analysis of network data, although advanced undergraduates already comfortable with R should find the book fairly accessible as well.
Statistical Analysis with Excel For Dummies
by Joseph SchmullerReaders use statistics every day, even when they don't realize it. Statistical Analysis with Excel For Dummies, Fourth Edition shows readers how to use the world's most popular spreadsheet program to crunch the numbers and interpret statistics--even if they haven't taken a statistics or advanced math course. Statistics have a reputation for being a challenging, math intensive pursuit. Using plain English and a minimum of equations, this book offers readers a painless and easy understanding of statistics. Author Joseph Schmuller Ph.D. covers formulas and functions, charts and PivotTables, samples and normal distributions, probabilities and related distributions, trends and correlations, and much more. By the end of the book, readers understand statistical terms such as median vs. mean, margin of error, standard deviation, permutations and correlations. This book minimizes the use of intimidating equations and allows readers to understand statistics as quickly and painlessly as possible. With the upcoming release of the fourth edition, new and returning readers will have the ability to gain an increased knowledge of business analytics, statistical sophistication and the latest new features that come with Excel 2016.
Statistical Analysis with Excel For Dummies
by Joseph SchmullerBecome a stats superstar by using Excel to reveal the powerful secrets of statistics Microsoft Excel offers numerous possibilities for statistical analysis—and you don’t have to be a math wizard to unlock them. In Statistical Analysis with Excel For Dummies, fully updated for the 2021 version of Excel, you’ll hit the ground running with straightforward techniques and practical guidance to unlock the power of statistics in Excel. Bypass unnecessary jargon and skip right to mastering formulas, functions, charts, probabilities, distributions, and correlations. Written for professionals and students without a background in statistics or math, you’ll learn to create, interpret, and translate statistics—and have fun doing it! In this book you’ll find out how to: Understand, describe, and summarize any kind of data, from sports stats to sales figures Confidently draw conclusions from your analyses, make accurate predictions, and calculate correlations Model the probabilities of future outcomes based on past data Perform statistical analysis on any platform: Windows, Mac, or iPad Access additional resources and practice templates through Dummies.com For anyone who’s ever wanted to unleash the full potential of statistical analysis in Excel—and impress your colleagues or classmates along the way—Statistical Analysis with Excel For Dummies walks you through the foundational concepts of analyzing statistics and the step-by-step methods you use to apply them.
Statistical Analysis with R
by John M. QuickThis is a practical, step by step guide that will help you to quickly become proficient in the data analysis using R. The book is packed with clear examples, screenshots, and code to carry on your data analysis without any hurdle.If you are a data analyst, business or information technology professional, student, educator, researcher, or anyone else who wants to learn to analyze the data effectively then this book is for you.No prior experience with R is necessary. Knowledge of other programming languages, software packages, or statistics may be helpful, but is not required.
Statistical Analysis with R Essentials For Dummies
by Joseph SchmullerThe easy way to get started coding and analyzing data in the R programming language Statistical Analysis with R Essentials For Dummies is your reference to all the core concepts about R—the widely used, open-source programming language and data analysis tool. This no-nonsense book gets right to the point, eliminating review material, wordy explanations, and fluff. Understand all you need to know about the foundations of R, swiftly and clearly. Perfect for a brush-up on the basics or as an everyday desk reference on the job, this is the reliable little book you can always turn to for answers. Get a quick and thorough intro to the basic concepts of coding for data analysis in R Review what you've already learned or pick up essential new skills Perform statistical analysis for school, business, and beyond with R programming Keep this concise reference book handy for jogging your memory as you work This book is to the point, focusing on the key topics readers need to know about this popular programming language. Great for supplementing classroom learning, reviewing for a certification, or staying knowledgeable on the job.
Statistical Analysis with R For Dummies
by Joseph SchmullerUnderstanding the world of R programming and analysis has never been easier Most guides to R, whether books or online, focus on R functions and procedures. But now, thanks to Statistical Analysis with R For Dummies, you have access to a trusted, easy-to-follow guide that focuses on the foundational statistical concepts that R addresses—as well as step-by-step guidance that shows you exactly how to implement them using R programming. People are becoming more aware of R every day as major institutions are adopting it as a standard. Part of its appeal is that it's a free tool that's taking the place of costly statistical software packages that sometimes take an inordinate amount of time to learn. Plus, R enables a user to carry out complex statistical analyses by simply entering a few commands, making sophisticated analyses available and understandable to a wide audience. Statistical Analysis with R For Dummies enables you to perform these analyses and to fully understand their implications and results. Gets you up to speed on the #1 analytics/data science software tool Demonstrates how to easily find, download, and use cutting-edge community-reviewed methods in statistics and predictive modeling Shows you how R offers intel from leading researchers in data science, free of charge Provides information on using R Studio to work with R Get ready to use R to crunch and analyze your data—the fast and easy way!
Statistical Analysis with Swift: Data Sets, Statistical Models, and Predictions on Apple Platforms
by Jimmy AnderssonWork with large data sets, create statistical models, and make predictions with statistical methods using the Swift programming language. The variety of problems that can be solved using statistical methods range in fields from financial management to machine learning to quality control and much more. Those who possess knowledge of statistical analysis become highly sought after candidates for companies worldwide. Starting with an introduction to statistics and probability theory, you will learn core concepts to analyze your data's distribution. You'll get an introduction to random variables, how to work with them, and how to leverage their properties in computations. On top of the mathematics, you’ll learn several essential features of the Swift language that significantly reduce friction when working with large data sets. These functionalities will prove especially useful when working with multivariate data, which applies to most information in today's complex world. Once you know how to describe a data set, you will learn how to create models to make predictions about future events. All provided data is generated from real-world contexts so that you can develop an intuition for how to apply statistical methods with Swift to projects you’re working on now. You will:• Work with real-world data using the Swift programming language • Compute essential properties of data distributions to understand your customers, products, and processes • Make predictions about future events and compute how robust those predictions are