الصفحة 1
الصفحة 1
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism.
Molecular analyses : Medical genomics and proteomics
Methods for extraction, manipulation, and characterization of nucleic acids, peptides, and proteins have been rapidly developed. Extraction from a variety of tissues and samples have become routine and automated. Next generation sequencing (NGS) methods have been developed. This book focuses on medically-focused methods
Affordable housing for smart villages
Initiates a fresh discussion of affordability in rural housing set in the context of the rapidly shifting balance between rural and urban populations. It conceptualises affordability in rural housing along a spectrum that is interlaced with cultural and social values integral to rural livelihoods at both personal and community level. Developed around four intersecting themes: explaining houses and housing in rural settings; exploring affordability in the context of aspirations and vulnerability; rural development agendas involving housing and communities; and construction for resilience in rural communities, the book provides an overview of some of the little understood and sometimes counter-intuitive best practices on rural affordability and affordable housing that have emerged in developing economies over the last thirty years.
Advances in intelligent computing ; Vol. 3645 ; International conference on intelligent computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II
This book constitutes the proceedings of the International Conference on Intelligent Computing (ICIC 2005), held in China, 215 papers were published in this book organized into 9 categories, Including Topics Artificial Intelligence Computation by Abstract Devices Algorithm Analysis and Problem Complexity Image Processing and Computer Vision Pattern Recognition Evolutionary Biology
