Trends in Functional Programming

Edition

1

ISBN/ISSN

978-3-319-14675-1

Collation

IX, 143

Series Title

Theoretical Computer Science and General Issues

Call Number

-

Modèles aléatoires en Ecologie et Evolution

Le but du livre est de définir et développer une grande gamme d'outils probabilistes pour la modélisation en biologie des populations, afin de décrire des dynamiques temporelles de quantités biologiques telles que la taille d'une ou plusieurs populations, la proportion d'un allèle dans une population ou la position d'un individu. En partant de modèles markoviens discrets (marches alé…

Foundations of Probabilistic Programming

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more.

Forest Governance: Hydra or Chloris?

Many forest-related problems are considered relevant today. One might think of deforestation, illegal logging and biodiversity loss. Yet, many governance initiatives have been initiated to work on their solutions.

Treatment of Chronic Pain by Medical Approaches the AMERICAN ACADEMY of PAIN …

From reviews of Deer, eds., Comprehensive Treatment of Chronic Pain by Medical, Interventional, and Integrative Approaches: "Comprehensive Treatment of Chronic Pain by Medical, Interventional, and Integrative Approaches is a major textbook... [I]t should be a part of all departmental libraries and in the reference collection of pain fellows and pain practitioners. In fact, this text could …

Knowledge and Systems Engineering: Proceedings of the Sixth International Con…

This volume contains papers presented at the Sixth International Conference on Knowledge and Systems Engineering (KSE 2014), which was held in Hanoi, Vietnam, during 9–11 October, 2014. The conference was organized by the University of Engineering and Technology, Vietnam National University, Hanoi. Besides the main track of contributed papers, this proceedings feature the results of four sp…

Modern Nonparametric, Robust and Multivariate Methods

Written by leading experts in the field, this edited volume brings together the latest findings in the area of nonparametric, robust and multivariate statistical methods. The individual contributions cover a wide variety of topics ranging from univariate nonparametric methods to robust methods for complex data structures. Some examples from statistical signal processing are also given. The volu…

Method of Dimensionality Reduction in Contact Mechanics and Friction

This book describes for the first time a simulation method for the fast calculation of contact properties and friction between rough surfaces in a complete form. In contrast to existing simulation methods, the method of dimensionality reduction (MDR) is based on the exact mapping of various types of three-dimensional contact problems onto contacts of one-dimensional foundations. Within the conf…

Kinesins and Cancer

This interdisciplinary volume collates research work on kinesins and cancer. Authors attempt to validate members of the kinesin superfamily as potential targets for drug development in cancer chemotherapy. The work begins by highlighting the importance of kinesins, summarising current knowledge and how they are shown to be crucial for mitosis. Chapters go on to explore how this family of protei…

Treatment of Benign Prostatic Hyperplasia: Modern Alternative to Transurethra…

Treatment of Benign Prostatic Hyperplasia: Modern Techniques is an up-to-date review of modern techniques used to treat benign prostatic hyperplasia. It provides a comprehensive review of both office and operating room based techniques. Both electrosurgical and laser based techniques are covered. These include high powered 532 nm laser photoselective laser vaporization of the prostate (PVP), ho…