The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials with coefficients in a valuation ring. Simple and constructive proofs of some results in the theory …
This contribution to SpringerBriefs in Green Chemistry outlines and discusses the four major green chemistry metrics (atom economy, reaction mass efficiency, E factor and process mass intensity), at a level that is comprehensible by upper-level undergraduates. Such students have previously received fundamental training in organic chemistry basics, and are ideally positioned to learn about green…
This book constitutes the proceedings of the 28th International Conference on Architecture of Computing Systems, ARCS 2015, held in Porto, Portugal, in March 2015. The 19 papers presented together with three invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in six sessions covering the topics: hardware, design, applications, trust and privacy, …
Every age and every culture has relied on the incorporation of mathematics in their works of architecture to imbue the built environment with meaning and order. Mathematics is also central to the production of architecture, to its methods of measurement, fabrication and analysis. This two-volume edited collection presents a detailed portrait of the ways in which two seemingly different discipli…
This book presents a wide range of well-known and less common methods used for estimating the accuracy of probabilistic approximations, including the Esseen type inversion formulas, the Stein method as well as the methods of convolutions and triangle function. Emphasising the correct usage of the methods presented, each step required for the proofs is examined in detail. As a result, this textb…
Every age and every culture has relied on the incorporation of mathematics in their works of architecture to imbue the built environment with meaning and order. Mathematics is also central to the production of architecture, to its methods of measurement, fabrication and analysis. This two-volume edited collection presents a detailed portrait of the ways in which two seemingly different discipli…
This book explores the webs of vulnerability in methodological decision-making that illustrate the deceptive strength of qualitative research. Each chapter will resonate with readers differently as they read themselves into the tensions and tangles of qualitative research when confronted with the challenges of estabilishing methodological frameworks for educational and social enquiry. The autho…
Focusing on two central conjectures of Asymptotic Geometric Analysis, the Kannan-Lovász-Simonovits spectral gap conjecture and the variance conjecture, these Lecture Notes present the theory in an accessible way, so that interested readers, even those who are not experts in the field, will be able to appreciate the treated topics. Offering a presentation suitable for professionals with little …
This book presents an evaluation methodology to design future FPGA fabrics incorporating hard embedded blocks (HEBs) to accelerate applications. This methodology will be useful for selection of blocks to be embedded into the fabric and for evaluating the performance gain that can be achieved by such an embedding. The authors illustrate the use of their methodology by studying the impact of HEBs…
The role of the librarian increasingly involves delivering information literacy using a range of teaching methods, from delivering induction sessions to informal one-to-one support on a day-to-day basis. Although this is increasingly recognized, many practitioners do not have teaching qualifications and are often left to fulfil a role for which they feel ill-equipped. Even when they do have tea…