الصفحة 27
الصفحة 27
Computer organization and design, enhanced : The hardware / software interface ; 5th ed.
Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational change with updated content featuring tablet computers, cloud infrastructure, and the ARM (mobile computing devices) and x86 (cloud computing) architectures. The book uses a MIPS processor core to present the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O.Because an understanding of modern hardware is essential to achieving good performance and energy efficiency, this edition adds a new concrete example, Going Faster, used throughout the text to demonstrate extremely effective optimization techniques. There is also a new discussion of the Eight Great Ideas of computer architecture.
Computer Network Security
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. Yet despite the proliferation of expert remedies, a viable solution to these security issues remains elusive, and society continues to suffer at the hands of cyber vandalism and computer viruses. This comprehensive text outlines and discusses today’s most important issues and concerns in computer network and information safety and security, and promises to ignite debate and participation in the ongoing global security dialog Computer Network Security is foremost an educational tool that aims to explore computer network infrastructure and protocol design security flaws and discusses current security solutions and best practices. It explores the security threats and vulnerabilities in the current network infrastructure and protocols and outlines current efforts including: Access Control and Authorization, Cryptography, Firewalls and VPNs, Web Security and Content Filtering, among others. The text further discusses various security proposals This text is an invaluable instructional and research tool for courses in computer and information security. Students or practitioners in computer science, information science, technology studies, library sciences, and information management studies will find this text particularly useful for their purposes. In addition, it is a rich resource for those looking to gain an understanding of computer infrastructures and network security threats.
Computer aided architectural design futures 2005 ; Proceedings of the 11th International CAAD futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20-22, 2005
MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly dynamic field that is developing through the actions of architects, software developers, researchers, technologists, users, and society alike. CAAD tools in the architectural office are no longer prominent outsiders, but have become ubiquitous tools for all professionals in the design disciplines. At the same time, techniques and tools from other fields and uses, are entering the field of architectural design. This is exemplified by the tendency to speak of Information and Communication Technology as a field in which CAAD is embedded. Exciting new combinations are possible for those, who are firmly grounded in an understanding of architectural design and who have a clear vision of the potential use of ICT. CAAD Futures 2005 called for innovative and original papers in the field of Computer Aided Architectural Design, that present rigorous, high-quality research and development work. Papers should point towards the future, but be based on a thorough understanding of the past and present.
Computational Techniques for Dental Image Analysis
With the technology innovations dentistry has witnessed in all its branches over the past three decades, the need for more precise diagnostic tools and advanced imaging methods has become mandatory across the industry. Recent advancements to imaging systems are playing an important role in efficient diagnoses, treatments, and surgeries. Provides innovative insights into computerized methods for automated analysis. The research presented within this publication explores pattern recognition, oral pathologies, and diagnostic processing.
Computational science and its applications - ICCSA 2005 ; Vol. 3483 ; International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
Computational science and its applications - ICCSA 2005 ; Vol. 3482 ; International Conference, Singapore, May 9-12. 2005, Proceedings, Part III
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
Computational science and its applications - ICCSA 2005 ; International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
Computational Quantum Mechanics for Materials Engineers : The EMTO Method and Applications
Computational Quantum Mechanics for Materials Engineers describes new approaches to the modelling of disordered alloys that combine the most efficient quantum-level theories of random alloys with the most sophisticated numerical techniques to establish a theoretical insight into the electronic structure of complex materials such as stainless steels, Hume-Rothery alloys and silicates. The practical success of these approaches to applications in all of these areas are covered in detail. The new EMTO-CPA method is detailed, including its application in alloys to model structural stability and elastic properties of random alloys of arbitrary composition and the effect of alloying elements on elastic stiffnesses stacking fault energies and structural parameters. The EMTO-CPA method makes new approaches to computational alloy design feasible. Computational Quantum Mechanics for Materials Engineers shows how the technique will soon allow materials engineers to become "quantum blacksmiths
Computational Processing of the Portuguese Language ; 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
Since 1993, PROPOR Workshops have become an important forum for - searchers involved in the Computational Processing of Portuguese,both written and spoken. The workshop and this book were structured around the following main t- ics, seven for full papers: (i) automatic summarization; (ii) resources; (iii) au- matic translation; (iv) named entity recognition; (v) tools and frameworks; (vi) systems and models; and another ?ve topics for short papers; (vii) information extraction; (viii) speech processing; (ix) lexicon; (x) morpho-syntactic studies; (xi) web, corpus and evaluation.
Computational methods in systems biology ; Vol. 3082 ; International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems for formalisms, modeling issues and implementation issues in systems biology. The main motivation for CMBSlib is to stimulate research on the formal modeling of biological systems, by facilitating the exchange of formal models between researchers, and by providing a forum of comparison and validation of not only models, but also modeling formalisms and implementations. Unlike a standardization effort, CMBSlib welcomes the most exotic formalisms and models provided they attack the modeling of well documented biological systems. Models of biological systems written in any referenced formalism can be submitted to CMBSlib. No special format or standard is required. We discuss the advantages of and problems encountered in building such a library, give an example of typical entry in the library, and most of all we invite the community to become active contributors to CMBSlib.
Computational Materials Chemistry : Methods and Applications
As a result of the advancements in algorithms and the huge increase in speed of computers over the past decade, electronic structure calculations have evolved into a valuable tool for characterizing surface species and for elucidating the pathways for their formation and reactivity. It is also now possible to calculate, including electric field effects, STM images for surface structures. To date the calculation of such images has been dominated by density functional methods, primarily because the computational cost of - curate wave-function based calculations using either realistic cluster or slab models would be prohibitive. DFT calculations have proven especially valuable for elucidating chemical processes on silicon and other semiconductor surfaces. However, it is also clear that some of the systems to which DFT methods have been applied have large non-dynamical correlation effects, which may not be properly handled by the current generation of Kohn-Sham-based density functionals. For example, our CASSCF calculations on the Si(001)/acetylene system reveal that at some geometries there is extensive 86 configuration mixing. This, in turn, could signal problems for DFT cal- lations on these systems.
Computational Life Sciences ; Vol. 3695 ; 1st International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Computational Life Sciences, CompLife 2005, held in Konstanz, Germany in September 2005. The integration of knowledge in the life sciences is continuing apace with ev- increasingimportancebeing placedoncomputer-basedmethodsofdata capture, analysis, and knowledge representation. Today, our many di?erent sciences are providing us with a sea of information: it is the handling of this in?ux that is becoming a key discovery and regulatory question. The solutions to these problems will result in advancements to all of the involved sciences and will be highly in?uential both in the selection of the areas scientists seek to investigate and also on their success. For this to happen, it is crucial to establish an open and lively exchange between computer scientists, biologists, and chemists. To encourage precisely this type of exchange, crossing the borders of the sciences, we organized the 1st Symposium on Computational Life Science in Konstanz, Germany(September 25 27,2005).
Computational intelligence in information assurance and security
The global economic infrastructure is becoming increasingly dependent upon information technology, with computer and communication technology being essential and vital components of Government facilities, power plant systems, medical infrastructures, financial centers and military installations to name a few. Finding effective ways to protect information systems, networks and sensitive data within the critical information infrastructure is challenging even with the most advanced technology and trained professionals. This volume provides the academic and industrial community with a medium for presenting original research and applications related to information assurance and security using computational intelligence techniques. The included chapters communicate current research on information assurance and security regarding both the theoretical and methodological aspects, as well as various applications in solving real world information security problems using computational intelligence.
Computational intelligence for agent-based systems
In these last years the digital technology explosion has spawned so many new lifestyle models that the boundaries between "real" and "digital" are fiercely debated. This scenario has deeply changed the viewpoint about computer applications: computers become smaller, cheapest and hugely distributed in wired or unwired networks, applications become so flexible and intelligent as to tailor its communication facilities in order to increase the usability of the system. Such data-intensive, unstructured spaces featured by minimal or no centralized control flow, present a challenge for traditional methods of analysis, design and integration of advanced, distributed and intelligent computer systems. Within this challenge, an important role is played by two important research areas : Fuzzy Technology, thanks to its ability to exploit the tolerance for imprecision to achieve tractability and Agent Technology, thanks to its nature to employ agent-wise communities to carry out complex goals by means of smart interaction, cooperation, and pro-activeness.
Computational intelligence ; Vol. 174 : Engineering of hybrid systems
Hybrid Intelligent Systems has become an important research topic in computer science and a key application field in science and engineering. This book offers a gentle introduction to the engineering aspects of hybrid intelligent systems, also emphasizing the interrelation with the main intelligent technologies such as genetic algorithms? evolutionary computation, neural networks, fuzzy systems, evolvable hardware, DNA computing, artificial immune systems. A unitary whole of theory and application, the book provides readers with the fundamentals, background information, and practical methods.
Computational Fluid Dynamics for Engineers
This book introduces a wide range of Computational Fluid Dynamics (CFD) methods used in the aerospace industry to solve engineering problems. Its format is arranged so that students and practicing engineers can understand the fundamental principles used in CFD, with sample computer programs for the solution of model problems. The emphasis is on two-dimensional equations in order to present the material in a modest sized book. Source codes for selected problems are given so that the reader can understand how those methods are implemented in FORTRAN and C languages, while exercises provide more hands-on experience.
Computational Ergodic Theory
Ergodic theory is hard to study because it is based on measure theory, which is a technically difficult subject to master for ordinary students, especially for physics majors. Many of the examples are introduced from a different perspective than in other books and theoretical ideas can be gradually absorbed while doing computer experiments. Theoretically less prepared students can appreciate the deep theorems by doing various simulations. The computer experiments are simple but they have close ties with theoretical implications. The last chapter explains the relation between entropy and data compression, which belongs to information theory and not to ergodic theory.
Computational Discovery of Scientific Knowledge : Introduction, Techniques, and Applications in Environmental and Life Sciences
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at an ever-increasing pace. For the scientist and engineer to benefit from these enhanced data collecting capabilities, it is becoming clear that semi-automated data analysis techniques must be applied to find the useful information in the data. Computational scientific discovery methods can be used to this end: they focus on applying computational methods to automate scientific activities, such as finding laws from observational data. In contrast to mining scientific data, which focuses on building highly predictive models, computational scientific discovery puts a strong emphasis on discovering knowledge represented in formalisms used by scientists and engineers, such as numeric equations and reaction pathways. This state-of-the-art survey provides an introduction to computational approaches to the discovery of scientific knowledge and gives an overview of recent advances in this area, including techniques and applications in environmental and life sciences.
Coming to Terms with Superdiversity: The Case of Rotterdam
This book discusses Rotterdam as clear example of a superdiverse city that is only reluctantly coming to terms with this new reality. Rotterdam, as is true for many post-industrial cities, has seen a considerable backlash against migration and diversity: the populist party Leefbaar Rotterdam of the late Pim Fortuyn is already for many years the largest party in the city. At the same time Rotterdam has become a majority minority city where the people of Dutch descent have become a numerical minority themselves. The book explores how Rotterdam is coming to terms with superdiversity, by an analysis of its migration history of the city, the composition of the migrant population and the Dutch working class population, local politics and by a comparison with Amsterdam and other cities. As such it contributes to a better understanding not just of how and why super-diverse cities emerge but also how and why the reaction to a super-diverse reality can be so different.
Column Generation
Column Generation is an insightful overview of the state of the art in integer programming column generation and its many applications. The volume begins with "A Primer in Column Generation" which outlines the theory and ideas necessary to solve large-scale practical problems, illustrated with a variety of examples. Other chapters follow this introduction on "Shortest Path Problems with Resource Constraints," "Vehicle Routing Problem with Time Window," "Branch-and-Price Heuristics," "Cutting Stock Problems," each dealing with methodological aspects of the field. Three chapters deal with transportation applications: "Large-scale Models in the Airline Industry," "Robust Inventory Ship Routing by Column Generation," and "Ship Scheduling with Recurring Visits and Visit Separation Requirements." Production is the focus of another three chapters: "Combining Column Generation and Lagrangian Relaxation," "Dantzig-Wolfe Decomposition for Job Shop Scheduling," and "Applying Column Generation to Machine Scheduling." The final chapter by François Vanderbeck, "Implementing Mixed Integer Column Generation," reviews how to set-up the Dantzig-Wolfe reformulation, adapt standard MIP techniques to the column generation context (branching, preprocessing, primal heuristics), and deal with specific column generation issues (initialization, stabilization, column management strategies).
