Wyniki wyszukiwania:

Lo scibile matematico si espande a un ritmo vertiginoso. Nel corso degli ultimi cinquant'anni sono stati dimostrati piu teoremi che nei precedenti millenni della storia umana. Per illustrare la ricchezza della matematica del Novecento, il presente volume porta sulla ribalta alcuni dei protagonisti di questa straordinaria impresa intellettuale, che ha messo a nostra disposizione nuovi e potenti strumenti per indagare la realta che ci circonda.

Presentando matematici famosi accanto ad altri meno noti al grande pubblico - da Hilbert a Godel, da Turing a Nash, da De Giorgi a Wiles - i...

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.
The discussion of the conference centers around two main aspects. The first is to understand wether the runtime verification techniques can practically complement the traditional methods proving programs correct before their...

This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full papers, 3 tool papers and 9 posters presented were carefully reviewed and selected from 37 regular paper submissions. The topics include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model...

After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is...

Integral transforms, such as the Laplace and Fourier transforms, have been major tools in mathematics for at least two centuries. In the last three decades the development of a number of novel ideas in algebraic geometry, category theory, gauge theory, and string theory has been closely related to generalizations of integral transforms of a more geometric character.

"Fourier Mukai and Nahm Transforms in Geometry and Mathematical Physics" examines the algebro-geometric approach (Fourier Mukai functors) as well as the differential-geometric constructions (Nahm). Also included is a...