本书共分八章，主要阐述了变分原理，即自然界静止（相对稳定状态）事物中的一个普遍适应的数学定律，也称最小作用定理，是物理学中的一条基本原理。书中内容包括变分法的表达方式、变分法的一些技巧、勒让德变换。在经典力部分，论述了拉格朗日形式导出哈密顿形式、哈密尔顿运动方程、正则变换方程、运动方程、曲面定义、测地线的法向性质、第二基本形式和点为脐点的紧凑表面。本书由浅入深，逻辑严谨，适合高等院校师生及相关专业研究者和爱好者参考阅读。

In this remarkably illustrative and thoroughly accessible look at one of the most intriguing frontiers in science and computers, award-winning New York Times writer George Johnson reveals the fascinating world of quantum computing—the holy grail of super computers where the computing power of single atoms is harnassed to create machines capable of almost unimaginable calculations in the blink of an eye. As computer chips continue to shrink in size, scientists anticipate the end of the road: A computer in which each switch is comprised of a single atom. Such a device would operate under a different set of physical laws: The laws of quantum mechanics. Johnson gently leads the curious outsider through the surprisingly simple ideas needed to understand this dream, discussing the current state of the revolution, and ultimately assessing the awesome power these machines could have to change our world.

Are you a wannabe blogger? A seasoned pro migrating your blog to WordPress? Looking to do more cool stuff with your existing WordPress blog? Then this fun guide is for you! WordPress for Dummies is a veritable smorgasbord of WordPress information, ideas, tools, resources, and instruction on everything you need to create and maintain your dream blog. Unlike other blog hosts, WordPress gives you the ability to create a blog that is tailored to your own tastes and needs. Sure, the codes, tags, and terminology can seem a little intimidating at first, but WordPress for Dummies breaks it all down to show you just how intuitive, friendly, and extensible the software really is. This easy-to-follow guide shows you how to: Sign up for a free WordPress account Set up and use a hosted blog with WordPress.com Install and set up the WordPress.Org and WordPress.MU software for single- and multi-user versions Find great themes, plugins, and consultants that will help you achieve JUST the ki

This book presents a selective collection of papers from the 20th International Symposium on Computer and Information Sciences, held in Istanbul, Turkey. The selected papers span a wide spectrum of topics in computer networks, including internet and multimedia, security and cryptography, wireless networks, parallel and distributed computing, and performance evaluation. These papers represent the results of the latest research of academicians from more than 30 countries.

Camassa-Holm方程是一类十分重要而又特别的新型浅水波方程，有广泛的应用背景。该类方程存在一类尖峰孤立子，并且它是接近可积的,具有双哈密顿结构和Lax对。本书给出该类方程的物理背景并阐述它的接近可积性。对该类方程的行波解作分类，获得多种奇异孤立波解；给出该类方程的谱图理论和散射数据；利用反散射方法，给出该类方程的多孤立子解。获得该类方程的整体强解的存在性及整体弱解的存在性；得到该类方程柯西问题的局部适定性；研究它们的blow-up问题以及尖峰孤立子解的轨道稳定性。本书同时研究含尖峰孤立子的Degasperis-Procesi方程及b族方程，研究前一类方程激波的形成及动力学分析，给出b族方程的水波结构和非线性平衡关系，对Degasperis-Procesi方程的适定性给出具体证明。

本书是一部英文版的数学专著，中文书名或可译为《非交换几何、规范理论和重整化：一般简介与非交换量子场论的重整化》。现在，非交换几何在数学上是一个新兴发展的领域，同时也呈现为前景可观的现代物理学框架。非交换空间上的量子场论确实需要全面的探索，并且得到新的有趣的特征。本书提供了一个对非交换几何、畸变量子化与量子场论的重整化：Wilson和BPHZ的对标量理论的方法以及对规范理论的代数方法的基本概念的教育性的介绍。本书能够帮助读者理解几个一般性的非交换量子场论的问题。基于作者的博士论文，本书给出了欧氏Moyal空间上的量子场论的重整化问题的概览，并且特别着重于Grosse-Wulkenhaar模型，以及与其相关的规范理论和其数学解释。本书适用于想要理解这个前沿的数学和物理研究领域的研究生和科研人员。

This book constitutes the refereed proceedings of the IFIP-TC6 Third International Working Conference on Active Networks, IWAN 2001, held in Phildelphia, PA, USA in October 2001. The 10 revised full papers presented were carefully reviewed and selected from 22 submissions. Papers presented covered topics like active multicast, active QoS, active security, active GRIDs, management, architectures, language and API issues.

The exclusive, official guide to the very latest version ofMaya Get extensive, hands-on, intermediate to advanced coverageof Autodesk Maya 2012, the top-selling 3D software on the market.If you already know Maya basics, this authoritative book takes youto the next level. From modeling, texturing, animation, and visualeffects to high-level techniques for film, television, games, andmore, this book provides professional-level Maya instruction. Withpages of scenarios and examples from some of the leadingprofessionals in the industry, author Todd Palamar will help youmaster the entire CG production pipeline. Provides professional-level instruction on Maya, theindustry-leading 3D animation and effects software used in popularfilms, games, and commercials Covers the very latest Maya 2012 tools and features, includingthe new fluid simulation tools Showcases the techniques of professionals through numerousexamples, demonstrating how to set up and manage 3D animation andvisual effects pipelines

This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002. The 42 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on knowledge representation and reasoning, logic programming and constraint satisfaction, planning and scheduling, natural language processing, human-computer interaction, machine learning, intelligent Internet and multiagent systems, and intelligent applications.

This book constitutes the thoroughly refereed postproceedings of the 4th International Conference on Security in Communication Networks, SCN 2004, held in Amalfi, Italy in September 2004. The 25 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on reduction of security and primitives, digital signature schemes, anonymity and privacy, authentication and identification, zero knowledge, public key cryptosystems, distributed cryptography, cryptanalysis of public key crypto systems, cryptanalysis, email security, and key distribution and feedback shift registers.

Learning Dreamweaver is a dream with this instructional book-and-DVD package! Adobe Dreamweaver allows you to easily create robust Web sites without needing extensive programming knowledge or skills. The latest version of Dreamweaver boasts enhanced capabilities and this exciting book-and-DVD training package makes learning the new features of Dreamweaver less intimidating. Thirteen self-paced lessons explain how to design, develop, and maintain a fully functioning site. The complementary lessons featured on the DVD are each approximately five minutes long and demonstrate the concepts and features covered in the lesson. * Features full-color, step-by-step tutorials that complement the topics covered in each lesson * Walks you through the basics of the newest release of Dreamweaver, such as applying style sheets, using dynamic HTML, adding style with images and multimedia, and publishing and maintaining a Web site * Addresses how to use hyperlinks to navigate throughout a Website or link to other sites

Ninety percent of the world's PCs run Windows, making Vista a prime target for malicious hackers Helps readers get the most out of new Vista security features by detailing the vulnerabilities that have already been found in Vista and explains how to combat potential problems Identifies possible threats brought on by the millions of lines of brand-new code in the operating system and risky new features, including IPv6 and peer-to-peer support Covers the Windows Security Center, rights management, BitLocker, Web security, and much more

Now you can uncover the secrets behind accessing and retrieving data from a wide range of data sources such as SQL Server and XML sources. This book walks you through the array of ADO.NET 2.0 features and clearly shows you how they can be used to develop database-driven web applications in ASP.NET. You’ll first gain an in-depth understanding of the data source controls that enable data binding in the ASP.NET platform. Next you’ll uncover the advanced features of ASP.NET, including site navigation, implementing sorting and paging, and editing data in templates. You’ll then focus on designing transactions in ADO.NET 2.0, displaying data, and utilizing SQL Server 2005 XML. Throughout the chapters, you’ll find examples and source code (with ASP.NET examples written in C#) that you can integrate into your applications. This will enable you to leverage ADO.NET and ASP.NET features so you can easily create a scalable N-Tier web site. Some of the topics covered include: ASP.N

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material published traditionally includes. —proceedings （published in time for the respective conference） —post-proceedings （consisting of thoroughly revised final full papers） —research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.

多值映射理论作为数学中的一个单独领域形成于20世纪中期，并且很快在数学经济、微分方程理论、微分游戏理论、凸分析和极值问题理论、广义动力系统以及很多其他数学领域中得到了大量应用。目前，存在多种研究多值映射不动点的方法，例如度量法以及拓扑法。 在多值映射领域中同样也占有重要位置的是连续分割和逼近的存在问题。本书提出了解决这些问题的简单方法，并研究了所证明理论在非线性分析的各种问题中的部分应用。本书可供对多值映射理论感兴趣的数学家以及非线性分析领域的专业人士参考使用。

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

Go from the basics to professional video production as you master the ins-and-outs of the latest version of Adobe’s desktop digital video application, Adobe Premiere Pro CS3. This updated and expanded edition of Adobe Premiere Pro Bible covers Premiere Pro CS3’s powerful new features with pages of step-by-step tutorials, tips, and tricks. It’s the comprehensive guide you need to succeed with Premiere Pro CS3. Build a video production clip by clip with the Timeline, mix audio and create transitional effects, and much more.

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004. The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.

The leading author of programming tutorials for beginners introduces you to Visual C++ 2010Ivor Horton is the preeminent author of introductory programming language previous editions of his Beginning Visual C++ have sold nearly 100,000 copies. This book is a comprehensive introduction to both the Standard C++ language and to Visual C++ no previous programming experience is required.All aspects of the 2010 release are covered, including changes to the language and the C++ standard..Microsoft Visual C++ is one of the most popular C++ development environments and compilers, used by hundreds of thousands of developersIvor Horton′s approach to programming tutorials has achieved a huge this book gives beginning programmers a comprehensive introduction to both Standard C++ and Visual C++ 2010Covers all the language changes in Visual C++ 2010, library additions, new MFC features, changes in the Visual Studio development environment, and moreAlso includes a brief introduction to programming for multicore p

An effective Web site is the key to success for every venturefrom class reunions to major corporations. And since Web technologychanges rapidly, Building a Web Site For Dummies, 4th Edition isfully updated for the cutting-edge tools and trends. If you need to build and maintain a Web site, even if yourexperience is severely limited, this book makes it easy and fun.You'll learn to plan, design, create, launch, and maintain yoursite using the most up-to-date tools. A quality Web presence is essential in today's marketplace, andmany individuals charged with creating one are unaware of thechallenges This guide gives novice Web designers the tools and know-how toplan, design, and build effective Web sites Provides a nuts-and-bolts guide to site-building, includingcoverage of HTML, WYSIWYG construction software, CSS, andnavigation plans Shows how to spruce up your site with topnotch graphics, video,and great content Guides you through getting your site online, promoting it, ande

This book constitutes the refereed proceedings of the 6th Asia Pacific Conference on Computer Human Interaction, APCHI 2004, held in Rotorua, New Zealand in June/July 2004. The 56 revised full papers and 13 revised short papers presented together with 10 short papers from a doctoral consortium track were carefully reviewed and selected for inclusion in the book. The topics addressed span the entire spectrum of HCI, including human factors and ergonomics, user interface tools and technologies, mobile and ubiquitous computing, visualization, augmented reality, collaborative systems, internationalization and cultural issues, etc.

Everything you need to know to design, code, and build amazing appsXcode 4 is Apple’s newest version of the popular development suite for creating bleeding–edge OS X and iOS apps. Written by an experienced developer and Apple–focused journalist, this book not only covers developing for OS X but also for the entire family of iOS devices, including the iPhone, iPad, and iPod touch. You’ll explore the newest tools for compiling, debugging, and finding and fixing common code errors so that you can look forward to improved, smooth–running code that is developed more efficiently than ever.Takes you step–by–step through the process of developing OS X and iOS applications using Xcode 4Examines the benefits of Xcode 4, Apple’s updated, free, object oriented programming environmentHelps you tame the complex Xcode environment so you can develop amazing appsThis book gets you up to speed on all the remarkable new features and redesigned user interface of Xcode 4 so you can get started creating phen

This book constitutes the refereed proceedings of the Indian Conference on Computer Vision, Graphics and Image Processing, ICVGIP 2006, held in Madurai, India in December 2006. The 29 revised full papers and 56 revised poster papers presented were carefully reviewed and selected from 284 submissions. The papers are organized in topical sections on image restoration and super-resolution, segmentation and classification, image filtering and image processing, graphics and visualization, video analysis, tracking and surveillance, face-, gesture-, and object-recognition, compression, document processing/OCR, content based image retrieval, stereo/camera calibration, and biometrics.

An examination of Internet culture and consumption. The Internet is increasingly shaping, and being shaped by, users' lives. From cybercafes to businesses, from middle class houses to squatters settlements, the authors have gathered material on subjects as varied as personal relations, commerce, sex and religion. Websites are also analyzed as new cultural formations acting as aesthetic traps. At every point, email chat and surfing are found to be exploited in ways that bring out both unforeseen attributes of the Internet and the contradictions of modern life. The material, taken from ethnographic work in Trinidad, adds depth to earlier discussions about the Internet as an expansion of space, the changes it effects to time and personhood, and the new political economy of the information age. A tie-in with the book's own website provides further illustrations.

A comprehensive guide to the language used to customizeMicrosoft Office Visual Basic for Applications (VBA) is the language used forwriting macros, automating Office applications, and creating customapplications in Word, Excel, PowerPoint, Outlook, and Access. Thiscomplete guide shows both IT professionals and novice developershow to master VBA in order to customize the entire Office suite forspecific business needs. Office 2010 is the leading productivity suite, and the VBAlanguage enables customizations of all the Office programs; thiscomplete guide gives both novice and experienced programmers theknowledge they need to make maximum use of VBA for Office Supported with real-world examples in Word, Excel, PowerPoint,Outlook, and Access, this book offers clear, systematic tutorialswith both intermediate and advanced content Covers learning how to work with VBA; recording macros; usingloops and functions; using message boxes, input boxes, and dialogboxes; creating effective code; X