Bøker utgitt av Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

The two volumes contain papers presented in the topical sections on multimedia annotation I and II, interactive and mobile multimedia, classification, recognition and tracking I and II, ranking in search, multimedia representation, multimedia systems, poster papers, special session papers, demo session papers, and video browser showdown.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. logical foundations of database theory; intelligent and multiple agent system logics; distributed system logics;

This professional symposium and conference offers a range of comprehensive and valuable opportunities for advanced professional training, new ideas, and networking with a series of keynote speeches, professional lectures, exhibits, and tutorials.

The Jacobian of a smooth projective curve is undoubtedly one of the most remarkable and beautiful objects in algebraic geometry. This work is an attempt to develop an analogous theory for smooth projective surfaces - a theory of the nonabelian Jacobian of smooth projective surfaces.

This volume includes contributions selected after a double blind review process and presented as a preliminary version at the 45th Meeting of the Italian Statistical Society. The papers provide significant and innovative original contributions and cover a broad range of topics including: statistical theory; statistical modeling and data analysis;

Competition law regulates anti-competitive conduct by companies in order to maintain market competition. It provides a new interdisciplinary approach to the topic that emphasizes the empirically observable marketing perspective, but draws conclusions from competition theory.

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.

This book constitutes the thoroughly reviewed joint post-conference proceedings of two international workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2011, held in Taipei, Taiwan in May 2011 and COIN@WI-IAT 2011, held in Lyon, France in August 2011.

This book merges theoretical and experimental works initiated in 1997 from consideration of periodical artificial dielectric structures comprising magneto-optical materials.

This book examines some of the major contributions of Stephen Wolfram's best-selling classic, A New Kind of Science, ten years after its publication.

For readers familiar with basic algebraic number theory, this book provides quick and immediate access to class field theory. Discusses the cohomology of finite groups, local class field theory, and the class field theory of finite algebraic number fields.

The papers are organized in topical sections named: social choice mechanisms in the e-society,computational models of social phenomena, social simulation, web mining and its social interpretations, algorithms and protocols inspired by human societies, socio-economic systems and applications, trust, privacy, risk and security in social contexts.

Constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012.

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

The second edition of the book adds more tricks, arising from fourteen years of work by some of the world's most prominent researchers. These can substantially improve speed, ease of implementation and accuracy when putting algorithms to work on real problems.

The topological derivative is defined as the first term (correction) of the asymptotic expansion of a given shape functional with respect to a small parameter that measures the size of singular domain perturbations, such as holes, inclusions, defects, source-terms and cracks.

This book constitutes the refereed proceedings of the 8th International Conference on Active Media Technology, AMT 2012, held in Macau, China, in December 2012.

Around the world, the number of internationally mobile medical professionals is steadily increasing, posing potential difficulties for the good communication with patients and colleagues that is vital to satisfactory outcomes and personal professional success.

The class of interest rate models introduced by O. This book addresses the above mentioned class of interest rate models and concentrates on the calibration, valuation and sensitivity analysis in multifactor models. Finally it focuses on the sensitivity analysis of Cheyette models and derives Model- and Market Greeks.

This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions.

This volume's coverage of the state of the art in FCG, itself a new representational technique in lexicography and grammar, includes valuable case studies and examines the many complex computational challenges in programming real-world grammars.

Constitutes the refereed proceedings of the 4th International Conference on Social Robotics, ICSR 2012, held in Chengdu, China, in October 2012.

Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012.

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

This volume is based on contributions presented at the workshop on Redundancy in Robot Manipulators and Multi-Robot Systems at the IEEE/RSJ International Conference on Intelligent Robots and Systems - IROS 2011.

Contact mechanics is an active research area with deep theoretical and numerical roots. The study of complementarity problems, variational -, quasivariational- and hemivariational inequalities arising in contact mechanics and beyond is a hot topic for interdisciplinary research and cooperation.

The three volume set LNCS 7583, 7584 and 7585 comprises the Workshops and Demonstrations which took place in connection with the European Conference on Computer Vision, ECCV 2012, held in Firenze, Italy, in October 2012. computer vision in vehicle technology: from earth to mars; information fusion in computer vision for concept recognition;