الصفحة 7
الصفحة 7
Advanced engineering mathematics : A second course with MatLab
Presents a wide variety of topics needed by today's engineers. The fifth edition of that book, available now, has been broken into two parts: topics currently needed in mathematics courses and a new stand-alone volume presenting topics not often included in these courses and consequently unknown to engineering students and many professionals.
Advanced data mining and applications ; Vol. 4093 : 2nd International Conference, ADMA 2006, Xi'an, China, August 14-16, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Advanced Data Mining and Applications, ADMA 2006, held in Xi'an, China in August 2006. The 41 revised full papers and 74 revised short papers presented together with 4 invited papers were carefully reviewed and selected from 515 submissions. The papers are organized in topical sections on association rules, classification, clustering, novel algorithms, text mining, multimedia mining, sequential data mining and time series mining, web mining, biomedical mining, advanced applications, security and privacy issues, spatial data mining, and streaming data mining.
Advanced data mining and applications ; Vol. 3584 ; 1st International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings
This book constitutes the refereed proceedings of the First International Conference on Advanced Data Mining and Applications, ADMA 2005, held in Wuhan, China in July 2005. The 25 revised full papers and 75 revised short papers presented were carefully peer-reviewed and The papers are organized in topical sections on association rules, classification, clustering, novel algorithms, text mining, multimedia mining, sequential data mining and time series mining, web mining, biomedical mining, advanced applications, security and privacy issues, spatial data mining, and streaming data mining.
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components.
100 years of relativity : Space-time structure - Einstein and beyond
Contains contributions from leading researchers, worldwide, who have thought deeply about the nature and consequences of this interplay. The articles take a long-range view of the subject and distill the most important advances in broad terms, making them easily accessible to non-specialists. The first part is devoted to a summary of how relativity theories were born (J Stachel). The second part discusses the most dramatic ramifications of general relativity, such as black holes (P Chrusciel and R Price), space-time singularities (H Nicolai and A Rendall), gravitational waves (P Laguna and P Saulson), the large scale structure of the cosmos (T Padmanabhan); experimental status of this theory (C Will) as well as its practical application to the GPS system (N Ashby). The last part looks beyond Einstein and provides glimpses into what is in store for us in the 21st century.
