A novel algorithmic approach to mechanism design based on a geometric representation of kinematic function called configuration space partitions."This book presents the configuration space method for computer-aided design of mechanisms with changing part contacts. Configuration space is a complete and compact geometric representation of part motions and part interactions that supports the core …
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMC…
Menyajikan penelitian utama tentang narapidana yang hidup dengan HIV di India, Meneliti kondisi medis di penjara dengan implikasi global, Menyoroti masalah dan tantangan bagi narapidana dan staf seputar HIV di penjara --> Ringkasan ini didasarkan pada studi penelitian tentang pengalaman narapidana yang hidup dengan HIV, yang dilakukan di tiga penjara di negara bagian Maharashtra, India. Berdasa…
The aim of this book is to disseminate the results of research, and to inform, inspire and create a platform for debate between practitioners, academics, researchers, trainers and facilitators interested in addressing community needs in terms of HIV/AIDS and support.
This open access book addresses self-care on sexual and reproductive health and rights and HIV prevention and treatment in the most marginalized and vulnerable communities. Case studies and personal narratives are used to share their perspectives and experiences, sources of information for self-care products, motivations for self-care, and challenges and outcomes. Self-care provides the way to …
Based on simple examples, this book offers a short introduction to the general-purpose finite element program MSC Marc, a specialized program for non-linear problems (implicit solver) distributed by the MSC Software Corporation, which is commonly used in academia and industry. Today the documentation of all finite element programs includes a variety of step-by-step examples of differing comple…
Security concerns increasingly influence foreign aid: how Western countries give aid, to whom and why. With contributions from experts in the field, this book examines the impact of security issues on six of the world's largest aid donors, as well as on key crosscutting issues such as gender equality and climate change.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo …