By Dr. Bernhard Hofmann-Wellenhof, Dr. Herbert Lichtenegger, Dr. James Collins (auth.)
By T. N. Antsygina, V. A. Slusarev (auth.), Prof. Dr. Aleksandr S. Davydov, Prof. Dr. Vadim M. Loktev (eds.)
"High-Tc Superconductivity" relies on a gathering held in Kiev and comprises contributions discussing the latest achievements during this box. The booklet contains reports and unique papers protecting theoretical and experimental points of the topic. key words: digital and magnetic houses, metallization techniques, emission and optic spectra, lavitation, pinning, frustration and fluctuations, skinny films
By Benjamin C. Pierce (auth.), Richard F. Paige (eds.)
This publication constitutes the refereed lawsuits of the second one overseas convention on conception and perform of version alterations, ICMT 2009, held on the ETH in Zurich, Switzerland, in June 2009.
The 14 revised complete papers and three revised brief papers provided including 1 invited lecture have been rigorously reviewed and chosen from sixty seven submissions. The papers tackle questions about the character and contours of version changes, their composability and mix to construct new version variations and enforce high-level version administration operations, the category of languages for expressing ameliorations, the dimension of the standard and extra-functional standards of version variations, and the definition of improvement methodologies that let exploiting all their capability merits. the amount additionally comprises the mins of the GRACE foreign assembly on Bidirectional alterations, held in December 2009 close to Tokyo, Japan.
By Mark S. Ashbaugh, Fritz Gesztesy (auth.), Michael Demuth, Werner Kirsch (eds.)
This quantity provides self-contained survey articles on smooth study components written by means of specialists of their fields. the subjects can be found on the interface of spectral idea, thought of partial differential operators, stochastic research, and mathematical physics. The articles are obtainable to graduate scholars and researches from different fields of arithmetic or physics whereas additionally being of worth to specialists, as they record at the cutting-edge within the respective fields.
By Ocampo H., Paycha S., Reyes A. (eds.)
Either arithmetic and mathematical physics have many energetic components of study the place the interaction among geometry and quantum box conception has proved tremendous fruitful. Duality, gauge box idea, geometric quantization, Sieberg-Witten concept, spectral homes and households of Dirac operators, and the geometry of loop teams supply a few impressive fresh examples of contemporary themes which stand at the borderline betwen geometry and research at the one hand and quantum box idea at the different, the place the physicist's and the mathematician's standpoint supplement one another, resulting in new mathematical and actual innovations and effects. This quantity introduces the reader to a couple uncomplicated mathematical and actual instruments and techniques required to keep on with the new advancements in a few energetic parts of mathematical physics, together with duality, gauge box thought, geometric quantization, Sieberg-Witten conception, spectral homes and households of Dirac operators, and the geometry of loop teams. It includes seven self-contained lectures, which may still steadily provide the reader an exact proposal of a few of the strategies utilized in those components, in addition to a couple of brief communications awarded through younger members and the college.
By Tetsuo Asano (auth.), Mitsunori Ogihara, Jun Tarui (eds.)
This e-book constitutes the refereed complaints of the eighth foreign convention on concept and purposes of types of Computation, TAMC 2011, held in Tokyo, Japan, in may perhaps 2011. The fifty one revised complete papers provided including the abstracts of two invited talks have been rigorously reviewed and chosen from 136 submissions. The papers deal with the 3 major issues of the convention that have been computability, complexity, and algorithms and are equipped in topical sections on basic algorithms, approximation, graph algorithms, complexity, optimization, circuit complexity, facts constructions, common sense and formal language idea, video games and studying concept, and cryptography and conversation complexity.