The world is filling with ever more kinds of media, in ever more contexts and formats. Glowing rectangles have become part of the scene; screens, large and small, appear everywhere. Physical locations are increasingly tagged and digitally augmented. Sensors, processors, and memory are not found only in chic smart phones but also built into everyday objects. Amid this flood, your attention pract…
After a decade and a half, human pluripotent stem cell research has been normalized. There may be no consensus on the status of the embryo -- only a tacit agreement to disagree -- but the debate now takes place in a context in which human stem cell research and related technologies already exist. In this book, Charis Thompson investigates the evolution of the controversy over human pluripotent …
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…