الصفحة 4
الصفحة 4
img

Designing smart homes : The role of artificial intelligence

The area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This volume offers a collection of contributions addressing how artificial intelligence (AI), one of the core areas of computer science, can bring the growing area of smart homes to a higher level of functionality where homes can truly realize the long standing dream of proactively helping their inhabitants in an intelligent way.

img

Deep neural networks and data for automated driving : robustness, uncertainty quantification, and insights towards safety

Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network is uncertain about its decisions? Can we understand a bit more about what actually happens inside neural networks? This leads to a very practical problem particularly for DNNs employed in automated driving: What are useful validation techniques and how about safety? This book unites the views from both academia and industry, where computer vision and machine learning meet environment perception for highly automated driving. Naturally, aspects of data, robustness, uncertainty quantification, and, last but not least, safety are at the core of it. This book is unique: In its first part, an extended survey of all the relevant aspects is provided. The second part contains the detailed technical elaboration of the various questions mentioned above.

img

Data Quality : Concepts, Methodologies and Techniques

Batini and Scannapieco present a comprehensive and systematic introduction to the wide set of issues related to data quality. They start with a detailed description of different data quality dimensions, like accuracy, completeness, and consistency, and their importance in different types of data, like federated data, web data, or time-dependent data, and in different data categories classified according to frequency of change, like stable, long-term, and frequently changing data. The book's extensive description of techniques and methodologies from core data quality research as well as from related fields like data mining, probability theory, statistical data analysis, and machine learning gives an excellent overview of the current state of the art.

img

Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques

This book will give the reader a perspective into the core theory and practice of data mining and knowledge discovery (DM&KD). Its chapters combine many theoretical foundations for various DM&KD methods, and they present a rich array of examples—many of which are drawn from real-life applications. Most of the theoretical developments discussed are accompanied by an extensive empirical analysis, which should give the reader both a deep theoretical and practical insight into the subjects covered.

img

Data augmented design : Embracing new data for sustainable urban planning and design

This book offers an essential introduction to a new urban planning and design methodology called Data Augmented Design (DAD) and its evolution and progresses, highlighting data driven methods, urban planning and design applications and related theories. The authors draw on many kinds of data, including big, open, and conventional data, and discuss cutting-edge technologies that illustrate DAD as a future-oriented design framework in terms of its focus on multi-data, multi-method, multi-stage and multi-scale sustainable urban planning. In four sections and ten chapters, the book presents case studies to address the core concepts of DAD, the first type of applications of DAD that emerged in redevelopment-oriented planning and design, the second type committed to the planning and design for urban expansion, and the future-oriented applications of DAD to advance sustainable technologies and the future structural form of the built environment. The book is geared towards a broad readership, ranging from researchers and students of urban planning, urban design, urban geography, urban economics, and urban sociology, to practitioners in the areas of urban planning and design.​

img

Core Java ; Vol. I : Fundamentals ; 12th ed.

The definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java 17—this book will help you achieve a deep and practical understanding of the language and APIs. With hundreds of realistic examples, Cay S. Horstmann reveals the most powerful and effective ways to get the job done.

img

Constituents of Modern System-safety Thinking

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005. The papers included in this volume bring together topics that are of the utmost importance in current safety thinking. The core of modern safety thinking and practice is a risk-based approach, and, this is not only a common thread running throughout the papers, but is also explored in two of them. Other themes considered include the safety case, safety assessment, accident investigation, and the commonality between the processes and techniques employed in safety and security engineering. Papers contain extensive industrial experience as well as recent academic research and are presented under the headings: Independent Safety Assessment, Safety and Security, Accident Investigation, Risk and its Tolerability, Achieving and Arguing the Safety of Modular Systems, and Technologies for Dependability.

img

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.

img

Computational science and its applications - ICCSA 2006 ; Vol. 3983 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. 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.

img

Computational science and its applications - ICCSA 2006 ; Vol. 3982 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. 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.

img

Computational science and its applications - ICCSA 2006 ; Vol. 3981 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II

This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. 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.

img

Computational science and its applications - ICCSA 2006 ; Vol. 3980 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I

This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. 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.

img

Computational science and its applications - ICCSA 2006 ;Vol. 3984 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. 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.

img

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.

img

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.

img

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.

img

Codes et turbocodes = Codes and turbo codes

Devoted to one of the essential functions of modern telecommunications systems: channel coding, or error-correcting coding. At the crossroads of information theory, mathematics, and electronics, channel coding has undergone numerous developments since the foundational work of Claude Shannon. Algebraic codes, convolutional codes, and concatenated codes decoded iteratively form the core of the book, which also includes a presentation of digital modulations, to which channel coding is closely linked, forming the heart of the physical layer of telecommunications systems. The most important theoretical aspects are presented, and the construction of the codes is detailed and justified. Decoding algorithms are developed and, where possible, accompanied by simulation results that demonstrate their error-correcting capabilities and applications.

img

Mastering VMware Horizon 8 : An Advanced Guide to Delivering Virtual Desktops and Virtual Apps

Learn all about designing, installing, configuring, and managing VMware Horizon, with a core focus on how to deliver virtual desktops using Horizon. This book allows you to follow the complete process for deploying VMware Horizon and covers the design, deployment, and management of solutions. You will: See the core components of VMware Horizon and their functionality / Design and install a Horizon environment / Deliver the best end-user experience / Manage the deployed solution / Use VMware reference architectures to create real-life scenario examples / Review the minimum requirements for designing a solution

img

Many-Core Computing : Hardware and software

Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming models, operating systems and their applications; it presents runtime management techniques, followed by system modelling, verification and testing methods, and architectures and systems. Computing has moved away from a focus on performance-centric serial computation, instead towards energy-efficient parallel computation. This provides continued performance increases without increasing clock frequencies, and overcomes the thermal and power limitations of the dark-silicon era. As the number of parallel cores increases, we transition into the many-core computing era. There is considerable interest in developing methods, tools, architectures and applications to support many-core computing.

img

Making Grids Work ; Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece

Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments held at the Institute of Computer Science, Foundation for Research and Technology - Hellas in Crete, Greece, June 2007. This workshop brought together representatives of the academic and industrial communities performing Grid research in Europe.  Organized within the context of the CoreGRID Network of Excellence, this workshop provided a forum for the presentation and exchange of views on the latest developments in Grid Technology research. This volume is the 7th in the series of CoreGRID books.

عدد النتائج بكل صفحة