Federal Program Evaluations


Book Description

Contains an inventory of evaluation reports produced by and for selected Federal agencies, including GAO evaluation reports that relate to the programs of those agencies.







Analysis at Large


Book Description

​Analysis at Large is dedicated to Jean Bourgain whose research has deeply influenced the mathematics discipline, particularly in analysis and its interconnections with other fields. In this volume, the contributions made by renowned experts present both research and surveys on a wide spectrum of subjects, each of which pay tribute to a true mathematical pioneer. Examples of topics discussed in this book include Bourgain’s discretized sum-product theorem, his work in nonlinear dispersive equations, the slicing problem by Bourgain, harmonious sets, the joint spectral radius, equidistribution of affine random walks, Cartan covers and doubling Bernstein type inequalities, a weighted Prékopa-Leindler inequality and sumsets with quasicubes, the fractal uncertainty principle for the Walsh-Fourier transform, the continuous formulation of shallow neural networks as Wasserstein-type gradient flows, logarithmic quantum dynamical bounds for arithmetically defined ergodic Schrödinger operators, polynomial equations in subgroups, trace sets of restricted continued fraction semigroups, exponential sums, twisted multiplicativity and moments, the ternary Goldbach problem, as well as the multiplicative group generated by two primes in Z/QZ. It is hoped that this volume will inspire further research in the areas of analysis treated in this book and also provide direction and guidance for upcoming developments in this essential subject of mathematics.










Wisconsin Statutes


Book Description




Theory of Cryptography


Book Description

This book constitutes the refereed proceedings of the Fifth Theory of Cryptography Conference, TCC 2008. It covers the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems.




Tools and Algorithms for the Construction and Analysis of Systems


Book Description

ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.




The Pacific Reporter


Book Description