الصفحة 32
الصفحة 32
Advances in cryptology - CRYPTO -86 ; Conference on the theory and applications of cryptographic techniques : Proceedings
This book is the proceedings of CRYPTO 86, one in a series of annual conferences devoted to cryptologic research. They have all been held at the University of California at Santa Barbara. The first conference in this series, CRYPTO 81, organized by A. Gersho, did not have a formal proceedings. The proceedings of the following four conferences in this series have been published as: Advances in Cryptology: Proceedings of Crypto 82, D. Chaum, R. L. Rivest, and A. T. Sherman, eds., Plenum, 1983. Advances in Cryptology: Proceedings of Crypto 83, D. Chaum, ed., Plenum, 1984. Advances in Cryptology: Proceedings of CRYPTO 84, G. R. Blakley and D. Chaum, eds., Lecture Notes in Computer Science #196, Springer, 1985. Advances in Cryptology - CRYPTO '85 Proceedings, H. C. Williams, ed., Lecture Notes in Computer Science #218, Springer, 1986. A parallel series of conferences is held annually in Europe. The first of these had its proceedings published as Cryptography: Proceedings, Burg Feuerstein 1982, T. Beth, ed., Lecture Notes in Computer Science #149, Springer, 1983.
Advances in conceptual modeling : Foundations and applications ; ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings
Covering data warehouses, security, model transformation, state diagrams development and model quality.
Advances in computer science - ASIAN 2004 : Higher level decision making ; 9th Asian computing ccience conference ; Dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004
Constitutes the proceedings of the 9th Asian Computing Science Conference was held in Chiang Mai in Decem-ber 2004. This volume contains papers that were presented at that conference. Its theme was “higher-level decision-making”.Philippe Flajolet was invited to give the opening keynote address, whileYuzuru Tanaka and Phillip Rogaway werealso keynote speakers. In additionto the keynote speakers, distinguished colleagues of Jean-Louis Lassez were in-vited to present talks in his honour. Many of those talks are represented bypapers in this volume, this book Include Topics : Theory of Computation / Artificial Intelligence / Software Engineering / Programming and Operating Systems / Cryptology / Discrete Mathematics in Computer Science / Information Systems Applications (incl. Internet)
Advances in computer graphics and computer vision ; International conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers
Includes selected papers from the first International Conferences on Computer Vision Theory and Applications (VISAPP), and Computer Graphics Theory and Applications (GRAPP),
Advances in computer graphics ; 24th Computer graphics international conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings
Contains 39 full papers and 39 short papers accepted by CGI 2006. CGI conference was initially founded by the Computer Graphics Society in 1983 and has now become a widely recognized, high-quality academic conference in the field of computer graphics. Recent CGI conferences were held in New York (2005), Crete (2004), Tokyo (2003), Bradford (2002), Hong Kong (2001) and Geneva (2000). The CGI 2006 Program Committee received an overwhelming 387 submissions from many countries worldwide. China and Korea contributed many enthusiastic submissions. Based on the strict review comments of international experts, we selected 38 full papers and 37 short papers for presentations.
Advances in computer games ; 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers
Constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Advances in Computer Games, ACG 2005, held in Taipei, Taiwan, in September 2005 in conjunction with the 10th Computer Olympiad. The 20 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 32 submissions. The papers cover all aspects of artificial intelligence in computer-game playing. Reasearch topics addressed are automatic generation, optimization, opponent modelling, search, knowledge representation, and graph history interaction. Games covered are western chess, chinese and japanese chess, checkers, lose checkers, amazons, go, poker, loa, mastermind, awari, ataxx, pool, as well as the two theoretical games connect and sumbers.
Advances in computation and intelligence ; 3rd International symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings
Constitutes the refereed proceedings of the Third International Symposium on Intelligence Computation and Applications, ISICA 2008, held in Wuhan, China, in December 2008.
Advanced methods for knowledge discovery from complex data
An overview of the field, looking at the issues and challenges involved is followed by coverage of recent trends in data mining, including descriptions of some currently popular tools like genetic algorithms, neural networks and case-based reasoning. This provides the context for the subsequent chapters on methods and applications. Part I is devoted to the foundations of mining different types of complex data like trees, graphs, links and sequences. A knowledge discovery approach based on problem decomposition is also described. Part II presents important applications of advanced mining techniques to data in unconventional and complex domains, such as life sciences, world-wide web, image databases, cyber security and sensor networks. With a good balance of introductory material on the knowledge discovery process, advanced issues and state-of-the-art tools and techniques, as well as recent working applications this book provides a representative selection of the available methods and their evaluation in real domains. It will be useful to students at Masters and PhD level in Computer Science, as well as practitioners in the field.
Advanced machine learning and deep learning approaches for remote sensing
Provides research on how technologies such as artificial intelligence-based machine learning and deep learning can be applied to remote sensing. Through this, we can see the process of solving the existing problems of image and image signal processing for remote sensing. These techniques are computationally intensive and require the help of high-performance computing devices. With the development of devices such as GPUs, remote sensing technology, and aerial sensing technology, it is possible to monitor the Earth with high-resolution images and to obtain vast amounts of Earth observation data. The papers published in this reprint describe recent advances in big data processing and artificial intelligence-based technologies for remote sensing technology.
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques ; 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Constitutes the refereed proceedings of the Fourth International Conference on Intelligent Computing, ICIC 2008, held in Shanghai, China in September 2008.
Advanced Information Systems Engineering ; 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings
CAiSE 2007 was the 19th in the series of International Conferences on Advanced Information Systems Engineering. This year’s conference was located in Trondheim and hosted by the Norwegian University of Science and Technology, with the aim of bringing together practitioners and researchers in the field of information systems engineering. The CAiSE series thereby returned to the city where the third CAiSE conference was held in 1991.The special theme of CAiSE 2007 was “Ubiquitous Information Systems Engineering,” reflecting that modern information systems often span activities performed in several organizations and at different geographical locations.
Advanced encryption standard - AES ; 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
This volume comprises the proceedings of the 4th Conference on Advanced En-cryption Standard, ‘AES — State of the Crypto Analysis,’ which was held inBonn, Germany, 2004.The conference followed a series of events organized by the US National In-stitute of Standards and Technology (NIST) in order to hold an internationalcompetition to decide on an algorithm to serve as the Advanced EncryptionStandard (AES). In 1998, at the first AES conference (AES 1), 15 different algo-rithms were presented, discussed, reviewed and verified. After a further conferencedevoted to verification, testing and examination of the candidate algorithms inorder to prove their performance and security, one winning algorithm remained.The encryption scheme Rijndael, designed by the Belgian cryptographers JoanDaemen and Vincent Rijmen, was selected in 2000 to become the successor tothe famous DES (Data Encryption Standard) and it is now the Advanced En-cryption Standard.
Advanced Data Warehouse Design : From Conventional to Spatial and Temporal Applications
This book serves as an introduction to the state of the art on data warehouse design, with many references to more detailed sources. Providing a clear and a concise presentation of the major concepts and results of data warehouse design, it can also be used as the basis of a graduate or advanced undergraduate course.
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.
Advanced Concepts for Intelligent Vision Systems ; 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2008, held in Juan-les-Pins, France, in October 2008.
Advanced Algorithms and Data Structures
introduces a collection of algorithms for complex programming challenges in data analysis, machine learning, and graph computing. You’ll discover cutting-edge approaches to a variety of tricky scenarios. You’ll even learn to design your own data structures for projects that require a custom solution. What's inside Build on basic data structures you already know Profile your algorithms to speed up application Store and query strings efficiently Distribute clustering algorithms with MapReduce Solve logistics problems using graphs and optimization algorithms
Advance Concepts of Image Processing and Pattern Recognition : Effective Solution for Global Challenges
Explains the important concepts and principles of image processing to implement the algorithms and techniques to discover new problems and applications. It contains numerous fundamental and advanced image processing algorithms and pattern recognition techniques to illustrate the framework. It presents essential background theory, shape methods, texture about new methods, and techniques for image processing and pattern recognition. It maintains a good balance between a mathematical background and practical implementation. This book also contains the comparison table and images that are used to show the results of enhanced techniques. This book consists of novel concepts and hybrid methods for providing effective solutions for society. It also includes a detailed explanation of algorithms in various programming languages like MATLAB, Python, etc.
Ad-hoc Networks : Fundamental Properties and Network Topologies
This book clearly demonstrates how the Medium Access Control protocols impose a limit on the level of interference in ad-hoc networks. It has been shown that interference is upper bounded, and a new accurate method for the estimation of interference power statistics in ad-hoc and sensor networks is introduced here. Furthermore, this volume shows how multi-hop traffic affects the capacity of the network. In multi-hop and ad-hoc networks there is a trade-off between the network size and the maximum input bit rate possible per node. Large ad-hoc or sensor networks, consisting of thousands of nodes, can only support low bit-rate applications.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
