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…
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…
This book provides a comprehensive Australian perspective on the resolution of resources disputes. In particular, it focuses on the use of arbitration, mediation and adjudication in the resources sector. It concentrates on arbitration as the preferred method of dispute resolution, including international commercial and investor-state arbitration. The book offers fascinating insights into the us…
This book presents a wide-band and technology independent, SPICE-compatible RLC model for through-silicon vias (TSVs) in 3D integrated circuits. This model accounts for a variety of effects, including skin effect, depletion capacitance and nearby contact effects. Readers will benefit from in-depth coverage of concepts and technology such as 3D integration, Macro modeling, dimensional analysis a…
This volume contains selected papers authored by speakers and participants of the 2013 Arbeitstagung, held at the Max Planck Institute for Mathematics in Bonn, Germany, from May 22-28. The 2013 meeting (and this resulting proceedings) was dedicated to the memory of Friedrich Hirzebruch, who passed away on May 27, 2012. Hirzebruch organized the first Arbeitstagung in 1957 with a unique concept t…