Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Logic and Complexity

Posted By: AvaxGenius
Logic and Complexity

Logic and Complexity by Richard Lassaigne , Michel Rougemont
English | PDF | 2004 | 361 Pages | ISBN : 1852335653 | 30.2 MB

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new ideas brought by complexity theory such as NP-completeness, randomness and approximations, providing a better understanding for efficient algorithmic solutions to problems.

Performance Evaluation Methodologies and Tools

Posted By: AvaxGenius
Performance Evaluation Methodologies and Tools

Performance Evaluation Methodologies and Tools: 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings by Evangelia Kalyvianaki, Marco Paolieri
English | PDF (True) | 2024 | 189 Pages | ISBN : 3031488849 | 8.2 MB

This volume contains the proceedings of the 16th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2023, which took place in Heraklion, Crete during September 6-7, 2023. The conference brought together researchers, developers, and practitioners from around the world and from different communities including computer science, networks and telecommunications, operations research, optimization, control theory, and manufacturing.

Computer Security – ESORICS 2023

Posted By: AvaxGenius
Computer Security – ESORICS 2023

Computer Security – ESORICS 2023: 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part IV by Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis
English | PDF (True) | 2024 | 444 Pages | ISBN : 3031514815 | 21.4 MB

The four-volume set LNCS 14344-14347 constitutes the refereed proceedings of the 28th European Symposium on Research in Computer Security, ESORICS 2023, which took place in The Hague, The Netherlands, during September 25-29, 2023.

Computer Security – ESORICS 2023

Posted By: AvaxGenius
Computer Security – ESORICS 2023

Computer Security – ESORICS 2023: 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part I by Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis
English | PDF (True) | 2024 | 492 Pages | ISBN : 303150593X | 15.2 MB

The four-volume set LNCS 14344-14347 constitutes the refereed proceedings of the 28th European Symposium on Research in Computer Security, ESORICS 2023, which took place in The Hague, The Netherlands, during September 25-29, 2023.

Computer Security – ESORICS 2023

Posted By: AvaxGenius
Computer Security – ESORICS 2023

Computer Security – ESORICS 2023: 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part III by Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis
English | PDF (True) | 2024 | 505 Pages | ISBN : 3031514785 | 23.2 MB

The four-volume set LNCS 14344-14347 constitutes the refereed proceedings of the 28th European Symposium on Research in Computer Security, ESORICS 2023, which took place in The Hague, The Netherlands, during September 25-29, 2023.

Computer Security – ESORICS 2023

Posted By: AvaxGenius
Computer Security – ESORICS 2023

Computer Security – ESORICS 2023: 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part II by Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis
English | PDF (True) | 2024 | 539 Pages | ISBN : 3031514750 | 23.6 MB

The four-volume set LNCS 14344-14347 constitutes the refereed proceedings of the 28th European Symposium on Research in Computer Security, ESORICS 2023, which took place in The Hague, The Netherlands, during September 25-29, 2023.

Global Economic Revolutions: Big Data Governance and Business Analytics for Sustainability

Posted By: AvaxGenius
Global Economic Revolutions: Big Data Governance and Business Analytics for Sustainability

Global Economic Revolutions: Big Data Governance and Business Analytics for Sustainability: Second International Conference, ICGER 2023, Sharjah, United Arab Emirates, February 27–28, 2023, Revised Selected Papers by Abdalmuttaleb M. A. Musleh Al-Sartawi, Mohd Helmy Abd Wahab, Khaled Hussainey
English | PDF (True) | 2024 | 262 Pages | ISBN : 3031505174 | 11.5 MB

This book constitutes the revised and selected papers of the International Conference on Global Economic Revolutions (ICGER 2023) held in Sharjah City, United Arab Emirates, during February 27-28, 2023. The 18 papers included in this book were thoroughly reviewed and selected from the 105 submissions. The papers focus on topics related to data science and data centers, machine learning, sustainable technologies for a green economy, metaverse in the healthcare education, Predictive Model Analytics using Data mining and Machine learning, blockchain adoption and acceptance, Narrow Band Internet of Things, and enhanced Bubble Sorting Visualizer.

Information Security Practice and Experience

Posted By: AvaxGenius
Information Security Practice and Experience

Information Security Practice and Experience: 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24–25, 2023, Proceedings by Weizhi Meng, Zheng Yan, Vincenzo Piuri
English | PDF (True) | 2023 | 628 Pages | ISBN : 9819970318 | 38.2 MB

This book constitutes the refereed proceedings of the 18th International Conference on Information Security Practice and Experience, ISPEC 2023, held in Copenhagen, Denmark, in August 2023.

Bio-inspired Information and Communications Technologies

Posted By: AvaxGenius
Bio-inspired Information and Communications Technologies

Bio-inspired Information and Communications Technologies: 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings by Yifan Chen, Dezhong Yao, Tadashi Nakano
English | PDF (True) | 2023 | 305 Pages | ISBN : 3031431340 | 30.1 MB

This book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023.The 17 full papers were carefully reviewed and selected from 33 submissions. The papers focus on the latest research that leverages the understanding of key principles, processes, and mechanisms in biological systems for development of novel information and communications technologies (bio-inspired ICT). BICT 2023 will also highlight innovative research and technologies being developed for biomedicine that are inspired by ICT (ICT-inspired biomedicine).

Architecture of Computing Systems

Posted By: AvaxGenius
Architecture of Computing Systems

Architecture of Computing Systems: 36th International Conference, ARCS 2023, Athens, Greece, June 13–15, 2023, Proceedings by Georgios Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck
English | PDF (True) | 2023 | 333 Pages | ISBN : 303142784X | 17 MB

ARCS provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including energy efficiency, applied machine learning, hardware and software system security, reliable and fault-tolerant systems and organic computing.

Bio-Inspired Computing: Theories and Applications

Posted By: AvaxGenius
Bio-Inspired Computing: Theories and Applications

Bio-Inspired Computing: Theories and Applications: 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers by Linqiang Pan, Dongming Zhao, Lianghao Li, Jianqing Lin
English | EPUB (True) | 2023 | 723 Pages | ISBN : 9819915481 | 102.1 MB

This book constitutes the refereed proceedings of the 17th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2022, held in Wuhan, China, during December 16–18, 2022.

Algorithms and Complexity

Posted By: AvaxGenius
Algorithms and Complexity

Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings by Marios Mavronicolas
English | PDF,EPUB | 2023 | 412 Pages | ISBN : 3031304470 | 48 MB

This book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13–16, 2023.
The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.

RoboCup 2022: Robot World Cup XXV

Posted By: AvaxGenius
RoboCup 2022: Robot World Cup XXV

RoboCup 2022: Robot World Cup XXV by Amy Eguchi, Nuno Lau, Maike Paetzel-Prüsmann, Thanapat Wanichanon
English | PDF,EPUB | 2023 | 360 Pages | ISBN : 3031284682 | 102.5 MB

This book constitutes the proceedings of the 25th RoboCup International Symposium which was held online during July 2022 in Bangkok, Thailand.

Practical Computing on the Cell Broadband Engine

Posted By: AvaxGenius
Practical Computing on the Cell Broadband Engine

Practical Computing on the Cell Broadband Engine by Sandeep Koranne
English | PDF(True) | 2009 | 501 Pages | ISBN : 1441903070 | 7.7 MB

Practical Programming in the Cell Broadband Engine offers a unique programming guide for the Cell Broadband Engine, demonstrating a large number of real-life programs to identify and solve problems in engineering, logic design, VLSI CAD, number-theory, graph-theory, computational geometry, image processing, and other subjects.

Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation (Repost)

Posted By: AvaxGenius
Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation (Repost)

Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation by Lars Wehmeyer, Peter Marwedel
English | PDF | 2006 | 263 Pages | ISBN : 1402048211 | 4.8 MB

Fast, Efficient and Predictable Memory Accesses presents techniques for designing fast, energy-efficient and timing predictable memory systems. By using a careful combination of compiler optimizations and architectural improvements, we can achieve more than what would be feasible at one of the levels in isolation. The described optimization algorithms achieve the goals of high performance and low energy consumption.