You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003. The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Numerical Methods and Applications, NMA 2006, held in Borovets, Bulgaria, in August 2006. The 84 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on numerical methods for hyperbolic problems, robust preconditioning solution methods, Monte Carlo and quasi-Monte Carlo for diverse applications, metaheuristics for optimization problems, uncertain/control systems and reliable numerics, interpolation and quadrature processes, large-scale computations in environmental modelling, and contributed talks.
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Large-Scale Scientific Computations, LSSC 2005, held in Sozopol, Bulgaria in June 2005. The 75 revised full papers presented together with five invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections.
Carbon-Based Nanomaterials in Biosystems: Biophysical interface at Lower Dimensions provides a thoroughly comprehensive overview of all major aspects of carbon-based nanomaterials, their biophysical response, and biotechnological application. The book articulates the underlying physics, chemistry, and the basic phenomenon of the broad-range carbon-based nanomaterials (CNMs) with the biological systems particularly the interface analysis. Organized in six sections, it discusses state-of art technological interventions of carbon-based nanomaterials and their application in biomedical sectors in healthcare, food sciences, and technology. The book also highlights the carrying capacity of differe...
Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000. The joint conference continued the series of 7 previous Scan-symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The conference further continued the series of 4 fo...
The focus of this book is the chemistry of environmental engineering and its applications, with a special emphasis on the use of polymers in this field. It explores the creation and use of polymers with special properties such as viscoelasticity and interpenetrating networks; examples of which include the creation of polymer-modified asphalt as well as polymers with bacterial adhesion properties. The text contains the issues of polymerization methods, recycling methods, wastewater treatment, types of contaminants, such as microplastics, organic dyes, and pharmaceutical residues. After a detailed overview of polymers in Chapter 1, their special properties are discussed in the following chapte...
This special volume of the conference will be of immense use to the researchers and academicians. In this conference, academicians, technocrats and researchers will get an opportunity to interact with eminent persons in the field of Applied Mathematics and Scientific Computing. The topics to be covered in this International Conference are comprehensive and will be adequate for developing and understanding about new developments and emerging trends in this area. High-Performance Computing (HPC) systems have gone through many changes during the past two decades in their architectural design to satisfy the increasingly large-scale scientific computing demand. Accurate, fast, and scalable performance models and simulation tools are essential for evaluating alternative architecture design decisions for the massive-scale computing systems. This conference recounts some of the influential work in modeling and simulation for HPC systems and applications, identifies some of the major challenges, and outlines future research directions which we believe are critical to the HPC modeling and simulation community.
Although the notion is a relatively recent one, the notions and principles of Granular Computing (GrC) have appeared in a different guise in many related fields including granularity in Artificial Intelligence, interval computing, cluster analysis, quotient space theory and many others. Recent years have witnessed a renewed and expanding interest in the topic as it begins to play a key role in bioinformatics, e-commerce, machine learning, security, data mining and wireless mobile computing when it comes to the issues of effectiveness, robustness and uncertainty. The Handbook of Granular Computing offers a comprehensive reference source for the granular computing community, edited by and with...
This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of fuzzy logic and soft computing. Coverage includes the application of fuzzy logic and soft computing in flexible querying, philosophical and human-scientific aspects of soft computing, search engine and information processing and retrieval, as well as intelligent agents and knowledge ant colony.
No detailed description available for "Proceedings of the Third International Colloquium on Numerical Analysis".