for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Discussing some key scientific and technological developments in high performance computing, identifying significant trends, and defining desirable research objectives, this text covers general concepts and emerging systems, software technology, algorithms and applications.
The study of spline functions is an outgrowth of basic mathematical concepts arising from calculus, analysis and numerical analysis. Spline modelling affects a number of fields: statistics; computer graphics; CAD programming, and other areas of applied mathematics.
Artificial intelligence (AI) has become deeply embedded in modern life, with autonomous systems now controlling many crucial functions in healthcare, transportation, and industry. However, the incredible power of AI also enables new forms of manipulation, deception, and harm.
This book offers a comprehensive discussion of the growing importance of ethical considerations in algorithmic systems to introduce practical frameworks and tools for identifying ethical risks, ensuring fair outcomes, and maintaining transparency in algorithmic processes.
In the digital age, information is the most vital asset and network technologies are the invisible threads that connect our world. From homes and... Læs mere
Der Leser erhält einen Überblick über die neuesten Forschungsergebnisse auf dem Gebiet der Electronic Design Automation (EDA) auf der elektronischen Systemebene (ESL).
Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für praktische Anwendungen schafft.
Dieses Buch beschreibt eine neue, grobkörnige rekonfigurierbare Architektur (CGRA), genannt Blocks, und stellt sie in den Kontext von Computerarchitekturen und insbesondere von anderen CGRAs.
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
Il libro di testo è concepito per studenti di un primo corso sullo sviluppo di sistemi a microprocessore, nelle Facoltà di Ingegneria e di Scienze.
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.