This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues in hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.
This book constitutes the refereed proceedings of the 4th IFIP/IEEE International Conference on the Management of Multimedia Networks and Services, MMNS 2001, held in Chicago, IL, USA, in October/November 2001. The 23 revised full papers and six short papers presented were carefully reviewed and selected from a total of 106 submissions. The papers are organized in topical sections on the management of multimedia streaming, resource management in wireless multimedia, QoS management on the Internet, fault management on the Internet, agents for multimedia management, and multimedia service management.
This book constitutes the thoroughly refereed joint post-proceedings of five international workshops organized by the Japanese Society of Artificial Intelligence, JSAI in 2001. The 75 revised papers presented were carefully reviewed and selected for inclusion in the volume. In accordance with the five workshops documented, the book offers topical sections on social intelligence design, agent-based approaches in economic and complex social systems, rough set theory and granular computing, chance discovery, and challenges in knowledge discovery and data mining.
Initially, computer systems performance analyses were carried out primarily because of limited resources. Due to ever increasing functional complexity of computational systems and user requirements, performance engineering continues to play a major role in software development. This book assesses the state of the art in performance engineering. Besides revised chapters drawn from two workshops on performance engineering held in 2000, additional chapters were solicited in order to provide complete coverage of all relevant aspects. The first part is devoted to the relation between software engineering and performance engineering; the second part focuses on the use of models, measures, and tools; finally, case studies with regard to concrete technologies are presented. Researchers, professional software engineers, and advanced students interested in performance analysis will find this book an indispensable source of information and reference.
杰弗里·英格拉姆·泰勒爵士是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》,共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第二卷,主要收集了气象学、海洋学等方面的论文。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001. The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Mining Web Data, WEBKDD 2001 held in San Francisco, CA, USA in August 2001. The seven revised full papers went through two rounds of reviewing an improvement. The book addresses key issues in mining Web log data for e-commerce. The papers are devoted to predicting user access, recommender systems and access modeling, and acquiring and modeling data and patterns.
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
《计算机视觉(全英文)》是由一些综述性或原始研究论文组成的,涉及了计算机视觉的各个领域。包括图像分割和标注、人脸和生物特征识别、图像配准、基于视频内容的分析和三维重建。每篇论文的作者至少有一位是中国科学技术大学信息学院的毕业生。 《计算机视觉(全英文)》可供计算机专业高年级本科生、研究生以及相关领域的科研人员使用。
Java 9及其新特性丰富了Java语言的内涵,这是开发者们很广泛使用的语言之一。Java 9通过与Jigsaw集成,从而特别强调了模块化。本书是你精通该语言的一站式指南。你可以从中获得Java 9相关的概览和新特性解释,并了解新API和增强部分的重要性。某些Java 9的新特性是开创性的,如果是有经验的程序员,你将能够把企业级应用变得更精炼。本书提供了在Java平台开发上应用Java 9相关新知识以及更多信息的实用指南。该书有助于提高生产力,让你的应用变得更快。通过学习Java很好实践,你将成为组织里的百晓生。
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
Scalable parallel systems or, more generally, distributed memory systems offer a challenging model of computing and pose fascinating problems regarding compiler optimization, ranging from language design to run time systems. Research in this area is foundational to many challenges from memory hierarchy optimizations to communication optimization. This unique, handbook-like monograph assesses the state of the art in the area in a systematic and comprehensive way. The 21 coherent chapters by leading researchers provide complete and competent coverage of all relevant aspects of compiler optimization for scalable parallel systems. The book is divided into five parts on languages, analysis, communication optimizations, code generation, and run time systems. This book will serve as a landmark source for education, information, and reference to students, practitioners, professionals, and researchers interested in updating their knowledge about or active in parallel computing.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Temporal, Spatial, and Spatio-Temporal Data Mining, TSDM 2000, held in Lyon, France in September 2000 during the PKDD 2000 conference. The ten revised full papers presented are complemented by an introductory workshop report and an updated bibliography for the emerging new field; this bibliography is organized in nine topical chapters and lists more than 150 entries. All in all, the volume reflects the state of the art in the area and sets the scene for future R & D activities.
This book constitutes the refereed proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002, held in Tokyo, Japan in August 2002. The 57 revised full papers presented together with 5 invited contributions and 26 posters were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on logic and AI foundations, representation and reasoning of actions, constraint satisfaction, foundations of agents, foundations of learning, reinforcement learning, knowledge acquisition and management, data mining and knowledge discovery, neural network learning, learning for robots, multi-agent applications, document analysis, Web intelligence, bioinformatics, intelligent learning environments, face recognition, and multimedia and emotion.
This book provides a greater understanding of KT and IS theories from the following perspectives: Presenting the role of changing national policy contexts in the process of transnational KT and proposing a knowledge-based approach to study KT based on the finding; Proposing a model conceptualising transnational knowledge management and KT processes; Summarising major ISD policy tools utilised by countries such as the UK and China; Providing a deeper understanding of an IS network facilitation approach which has been widely cited as an ISD exemplar. Hopefully, the book can be read by those conducting intemational cooperations and young researchers initiating qualitative research, enlightening their work in their area.
Software, as an important carrier of information technology, has penetrated all aspects of political, economic, military, cultural, and social lives. However,with the increasing scale of software, software development, integration, and continuous evolution have become increasingly complex. Software defects caused by complexity frequently result in various accidents and even serious disasters.Consequently, research into trustworthy software has become an urgent need for national economic development. In 2007, the National Natural Science Foundation of China (NSFC) began implementing the major research plan "The Fundamental Research for Trustworthy Software" (hereinafter referred to as the Plan) in response to the requirements of fundamental research on trustworthy software. It is one of the major research plans launched during the 11th Five-Year Plan (2006-2010), led by the Department of Information Sciences and organized and implemented in collaboration with the Department of
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000. The 15 revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 33 workshop presentations. Among the topics covered are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, abstract machine architectures, array processing, concurrent and parallel processing, heap management, runtime profiling, performance measurement, debugging and tracing, and tools and programming techniques.
TASCHEN's Basic Art movement and genre series: each book includes a detailed introduction with approximately 30 photographs, plus a timeline of the most important events (political, cultural, scientific, sporting, etc.) that took place during the time period. The body of the book contains a selection of the most important works of the epoch; each is presented on a 2-page spread with a full-page image and, on the facing page, a de*ion/interpretation of the work, a reference work, portrait of the artist, quotes, and biographical information.
本书是一部用到数学颇多的英文版物理学专著。本书是作者自己过去几十年研究领域的主观反映.本书主题分为两部分:第一部分,平地中的漩涡(本书),主要关注二维空间中的漩涡的物理学.第二部分,太空中的漩涡(准备中),将主要关注三维空间中的漩涡物理学,这两部分的重,点是由复值标量阶参数描述的玻色一爱因斯坦凝聚体(BEC)中的漩涡与此类系统和其他量子液体相关的通用拓扑概念适用于BE℃s之外的广泛系统,例如相干电磁场和电子物质波,在旋量BEC、中的一些基本概念和费米(Fermi)气体也被提到了。
This book constitutes the refereed proceedings of the 5th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2001, held in Darmstadt, Germany, in September 2001. The 38 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on user modeling; digitization, interpretation, and annotation of documents; knowledge management; data and metadata models; integration in user communities; information retrieval and filtering; multimedia system; and multilinguality.
多值映射理论作为数学中的一个单独领域形成于20世纪中期,并且很快在数学经济、微分方程理论、微分游戏理论、凸分析和极值问题理论、广义动力系统以及很多其他数学领域中得到了大量应用。目前,存在多种研究多值映射不动点的方法,例如度量法以及拓扑法。 在多值映射领域中同样也占有重要位置的是连续分割和逼近的存在问题。本书提出了解决这些问题的简单方法,并研究了所证明理论在非线性分析的各种问题中的部分应用。本书可供对多值映射理论感兴趣的数学家以及非线性分析领域的专业人士参考使用。
This book constitutes the refereed proceedings of the 5th International Conference on Mobile Agents, MA 2001, held in Atlanta, GA, USA in December 2001. The 18 revised full papers presented were carefully reviewed and selected from 75 submissions. The papers are organized in topical sections on security, models and architectures, applications, communication, run-time support, and quantitative evaluation and benchmarking.
《抽水蓄能电站技术与发展(英文版)》作为“中国一东盟清洁能源能力建设计划”系列技术材料之一,全面梳理了靠前外抽水蓄能电站的发展历程和中国的建设管理经验,从选点规划、前期技术、开发建设、投资模式、并网和运维等方面,总结了抽水蓄能电站开发、建设和运营等全生命周期的管理技术与方法,并提出了环境友好型抽水蓄能电站项目设计的经典案例,对构建抽水蓄能电站技术理论体系、促进能源的综合利用和可持续发展具有借鉴作用。 《抽水蓄能电站技术与发展(英文版)》可作为储能技术、水电工程等领域规划设计及管理人员的参考用书,也可供高等院校相关专业的本科生、研究生及教师参考。
《抽水蓄能电站技术与发展(英文版)》作为“中国一东盟清洁能源能力建设计划”系列技术材料之一,全面梳理了靠前外抽水蓄能电站的发展历程和中国的建设管理经验,从选点规划、前期技术、开发建设、投资模式、并网和运维等方面,总结了抽水蓄能电站开发、建设和运营等全生命周期的管理技术与方法,并提出了环境友好型抽水蓄能电站项目设计的经典案例,对构建抽水蓄能电站技术理论体系、促进能源的综合利用和可持续发展具有借鉴作用。 《抽水蓄能电站技术与发展(英文版)》可作为储能技术、水电工程等领域规划设计及管理人员的参考用书,也可供高等院校相关专业的本科生、研究生及教师参考。