Electro-Diffusion of Ions

Electro-Diffusion of Ions

This is one of the first texts in which electro-diffusion of ions in its different aspects is considered as a unified subject. As a subject it is relevant to understanding the behavior of apparently different physical objects such as electrolyte solution, ion-exchangers, ion-selective membranes, and semiconductors. This text treats a selection of topics in electro-diffusion of ions in an aqueous medium – a nonlinear transport process whose essence is diffusion of ions combined with their migration in a selfconsistent electric field. Electro-Diffusion of Ions is intended to enhance the understanding of particular electro-diffusional transport phenomena and to spark the interest of the mathematical community in the corresponding area of applications and development of a unified scientific vision. Contains some previously unpublished results for electro-diffusional problems.

Electro-Diffusion of Ions

Transport and Reactivity of Solutions in Confined Hydrosystems

Transport and Reactivity of Solutions in Confined Hydrosystems

The present work reflects a multi-disciplinary effort to address the topic of confined hydrosystems developed with a cross-fertilization panel of physics, chemists, biologists, soil and earth scientists. Confined hydrosystems include all situations in natural settings wherein the extent of the liquid phase is limited so that the solid-liquid and/or liquid-air interfaces may be critical to the properties of the whole system. Primarily, this so-called residual solution is occluded in pores/channels in such a way that decreases its tendency to evaporation, and makes it long-lasting in arid (Earth deserts) and hyper-arid (Mars soils) areas. The associated physics is available from domains like capillarity, adsorption and wetting, and surface forces. However, many processes are still to understand due to the close relationship between local structure and matter properties, the subtle interplay between the host and the guest, the complex intermingling among static reactivity and migration pathway.

Transport and Reactivity of Solutions in Confined Hydrosystems

A Distributed Pi-Calculus

A Distributed Pi-Calculus

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behavior of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.

A Distributed Pi-Calculus

Scala for Java Developers

Scala for Java Developers

Scala for Java Developers is a step-by-step guide full of easy-to-follow code taken from real-world examples explaining the migration and integration of , in a , project.,

With this book, you will first get comfortable with the Scala syntax and its Java-like ecosystem, and then dive into new ways of building reactive web apps using the Typesafe stack including the actor-based Akka framework, the Play web framework, and the emerging Slick , for persistence. The book will then teach you how to review useful tools for unit, integration, and functional testing; demonstrate how integrating with external systems applies to the Scala world and what its benefits are.

Scala for Java Developers

Migrating to Windows Phone

Migrating to Windows Phone

It focuses on the 75 percent of the material that you will need 95 percent of the time. We’re not going to teach you object-oriented , (OOP) all over again, but we are going to take the time to point out how , and C# differ in their execution of the standard OOP concepts from other languages’ implementations in order to make your migration as smooth and stress-free as possible.,

Migrating to , Phone will lead you through a tour of the key features of developing for Microsoft’s devices. We’ll consider everything from data handling to accelerometers, from mapping to WCF. We’ll also walk you through monetizing your application through Microsoft’s online Windows Phone store.

Migrating to Windows Phone

Microsoft SQL Azure: Enterprise Application Development

Microsoft SQL Azure: Enterprise Application Development

Develop large scale enterprise applications using , , Azure. Understand how to use the various third party programs such as DB Artisan, RedGate, ToadSoft etc developed for SQL Azure. Master the exhaustive Data migration and Data Synchronization aspects of SQL Azure. Includes SQL Azure projects in incubation and more recent developments including all 2010 updates.

Microsoft SQL Azure: Enterprise Application Development