0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (4)
  • R250 - R500 (19)
  • R500+ (1,650)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Agents and Artificial Intelligence - 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020, Revised... Agents and Artificial Intelligence - 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Ana Paula Rocha, Luc Steels, Jaap van den Herik
R1,589 Discovery Miles 15 890 Ships in 10 - 15 working days

This book contains the revised and extended versions of selected papers from the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, held in Valletta, Malta, in February 2020. Overall, 45 full papers, 74 short papers, and 56 poster papers were carefully reviewed and selected from 276 initial submissions. 23 of the 45 full papers were selected to be included in this volume. These papers deal with topics such as agents and artificial intelligence.

Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings... Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings (Paperback, 1st ed. 2021)
Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
R2,681 Discovery Miles 26 810 Ships in 10 - 15 working days

This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Information and Communication Technologies for Ageing Well and e-Health - 6th International Conference, ICT4AWE 2020, Prague,... Information and Communication Technologies for Ageing Well and e-Health - 6th International Conference, ICT4AWE 2020, Prague, Czech Republic, May 3-5, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Martina Ziefle, Nick Guldemond, Leszek A Maciaszek
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the revised, selected and extended papers of the 6th International Conference on Communication Technologies for Ageing Well and e-Health, ICT4AWE 2020, held in Prague, Czech Republic, in May 2020. Due to the COVID-19 pandemic the conference was held online. The 7 full papers presented were carefully reviewed and selected from 50 submissions. The papers present most recent research on best practices, innovation and technical improvements in the fields of age and health care, education, psychology, social coordination and ambient assisted living.

Machine Learning for Networking - Third International Conference, MLN 2020, Paris, France, November 24-26, 2020, Revised... Machine Learning for Networking - Third International Conference, MLN 2020, Paris, France, November 24-26, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Eric Renault, Selma Boumerdassi, Paul Muhlethaler
R1,550 Discovery Miles 15 500 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Machine Learning for Networking, MLN 2019, held in Paris, France, in December 2019. The 26 revised full papers included in the volume were carefully reviewed and selected from 75 submissions. They present and discuss new trends in deep and reinforcement learning, pattern recognition and classification for networks, machine learning for network slicing optimization, 5G system, user behavior prediction, multimedia, IoT, security and protection, optimization and new innovative machine learning methods, performance analysis of machine learning algorithms, experimental evaluations of machine learning, data mining in heterogeneous networks, distributed and decentralized machine learning algorithms, intelligent cloud-support communications, ressource allocation, energy-aware communications, software de ned networks, cooperative networks, positioning and navigation systems, wireless communications, wireless sensor networks, underwater sensor networks.

Innovations for Community Services - 21st International Conference, I4CS 2021, Bamberg, Germany, May 26-28, 2021, Proceedings... Innovations for Community Services - 21st International Conference, I4CS 2021, Bamberg, Germany, May 26-28, 2021, Proceedings (Paperback, 1st ed. 2021)
Udo R. Krieger, Gerald Eichler, Christian Erfurth, Gunter Fahrnberger
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 21st International Conference on Innovations for Community Services, I4CS 2021, held in Bamberg, Germany, in May 2021 as a hybrid event. The 14 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 43 submissions. One short invited paper is also included. The papers focus on topics such as services for critical infrastructure; network architecture for communities; applications and services supporting work and life; community data and visualization; technology empowers industry processes; and future community support.

Advances in  Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1,... Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part II (Paperback, 1st ed. 2021)
Djoerd Hiemstra, Marie-Francine Moens, Josiane Mothe, Raffaele Perego, Martin Potthast, …
R4,733 Discovery Miles 47 330 Ships in 10 - 15 working days

This two-volume set LNCS 12656 and 12657 constitutes the refereed proceedings of the 43rd European Conference on IR Research, ECIR 2021, held virtually in March/April 2021, due to the COVID-19 pandemic.The 50 full papers presented together with 11 reproducibility papers, 39 short papers, 15 demonstration papers, 12 CLEF lab descriptions papers, 5 doctoral consortium papers, 5 workshop abstracts, and 8 tutorials abstracts were carefully reviewed and selected from 436 submissions. The accepted contributions cover the state of the art in IR: deep learning-based information retrieval techniques, use of entities and knowledge graphs, recommender systems, retrieval methods, information extraction, question answering, topic and prediction models, multimedia retrieval, and much more.

Web and Big Data. APWeb-WAIM 2020 International Workshops - KGMA 2020, SemiBDMA 2020, DeepLUDA 2020, Tianjin, China, September... Web and Big Data. APWeb-WAIM 2020 International Workshops - KGMA 2020, SemiBDMA 2020, DeepLUDA 2020, Tianjin, China, September 18-20, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Qun Chen, Jian-Xin Li
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes revised selected papers from the workshops of the 4th Asia-Pacific Web and Web-Age Information Management International Joint Conference on Web and Big Data, APWeb-WAIM 2020: The Third International Workshop on Knowledge Graph Management and Applications, KGMA 2020; The Second International Workshop on Semi-structured Big Data Management and Applications, SemiBDMA 2020, and The First International Workshop on Deep Learning in Large-scale Unstructured Data Analytics, DeepLUDA 2020, held in Tianjin, China, in September 2020. Due to the COVID-19 pandemic the conference was held online. The 13 papers were thoroughly reviewed and selected from the numerous submissions and present recent research on the theory, design, and implementation of data management systems.

Futuristic Trends in Network and Communication Technologies - Third International Conference, FTNCT 2020, Taganrog, Russia,... Futuristic Trends in Network and Communication Technologies - Third International Conference, FTNCT 2020, Taganrog, Russia, October 14-16, 2020, Revised Selected Papers, Part II (Paperback, 1st ed. 2021)
Pradeep Kumar Singh, Gennady Veselov, Anton Pljonkin, Yugal Kumar, Marcin Paprzycki, …
R1,542 Discovery Miles 15 420 Ships in 10 - 15 working days

This two-wolume set (CCIS 1395-1396) constitutes the refereed proceedings of the Third International Conference on Futuristic Trends in Network and Communication Technologies, FTNCT 2020, held in Taganrog, Russia, in October 2020.The 80 revised papers presented were carefully reviewed and selected from 291 submissions. The prime aim of the conference is to invite researchers from different domains of network and communication technologies to a single platform to showcase their research ideas. The selected papers are organized in topical sections on communication technologies; security and privacy; futuristic computing technologies; network and computing technologies; wireless networks and Internet of Things (IoT).

Wireless Algorithms, Systems, and Applications - 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021,... Wireless Algorithms, Systems, and Applications - 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part II (Paperback, 1st ed. 2021)
Zhe Liu, Fan Wu, Sajal K. Das
R2,980 Discovery Miles 29 800 Ships in 10 - 15 working days

The three-volume set constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The contributions in Part II of the set are subdivided into the following topical sections: Scheduling & Optimization II; Security; Data Center Networks and Cloud Computing; Privacy-Aware Computing; Internet of Vehicles; Visual Computing for IoT; Mobile Ad-Hoc Networks.

Information Retrieval - 27th China Conference, CCIR 2021, Dalian, China, October 29-31, 2021, Proceedings (Paperback, 1st ed.... Information Retrieval - 27th China Conference, CCIR 2021, Dalian, China, October 29-31, 2021, Proceedings (Paperback, 1st ed. 2021)
Hongfei Lin, Min Zhang, Liang Pang
R1,870 Discovery Miles 18 700 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 27th China Conference on Information Retrieval, CCIR 2021, held in Dalian, China, in October 2021.The 15 full papers presented were carefully reviewed and selected from 124 submissions. The papers are organized in topical sections: search and recommendation, NLP for IR, IR in Education, and IR in Biomedicine.

Algorithmic Aspects of Cloud Computing - 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021,... Algorithmic Aspects of Cloud Computing - 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers (Paperback, 1st ed. 2021)
Gianlorenzo D'Angelo, Othon Michail
R1,588 Discovery Miles 15 880 Ships in 10 - 15 working days

This book constitutes the refereed post-conference proceedings of the 6th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2021, held in Lisbon, Portugal, in September 2021. Due to the COVID-19 pandemic the conference was held online. The 4 revised full papers and 1 short paper were carefully reviewed and selected from 11 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems.

Model-Driven Engineering and Software Development - 8th International Conference, MODELSWARD 2020, Valletta, Malta, February... Model-Driven Engineering and Software Development - 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Slimane Hammoudi, Luis Ferreira Pires, Bran Selic
R1,550 Discovery Miles 15 500 Ships in 10 - 15 working days

This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.

MultiMedia Modeling - 27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021, Proceedings, Part II... MultiMedia Modeling - 27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021, Proceedings, Part II (Paperback, 1st ed. 2021)
Jakub Lokoc, Tomas Skopal, Klaus Schoeffmann, Vasileios Mezaris, Xirong Li, …
R1,591 Discovery Miles 15 910 Ships in 10 - 15 working days

The two-volume set LNCS 12572 and 1273 constitutes the thoroughly refereed proceedings of the 27th International Conference on MultiMedia Modeling, MMM 2021, held in Prague, Czech Republic, in June2021. Of the 211 submitted regular papers, 40 papers were selected for oral presentation and 33 for poster presentation; 16 special session papers were accepted as well as 2 papers for a demo presentation and 17 papers for participation at the Video Browser Showdown 2021. The papers cover topics such as: multimedia indexing; multimedia mining; multimedia abstraction and summarization; multimedia annotation, tagging and recommendation; multimodal analysis for retrieval applications; semantic analysis of multimedia and contextual data; multimedia fusion methods; multimedia hyperlinking; media content browsing and retrieval tools; media representation and algorithms; audio, image, video processing, coding and compression; multimedia sensors and interaction modes; multimedia privacy, security and content protection; multimedia standards and related issues; advances in multimedia networking and streaming; multimedia databases, content delivery and transport; wireless and mobile multimedia networking; multi-camera and multi-view systems; augmented and virtual reality, virtual environments; real-time and interactive multimedia applications; mobile multimedia applications; multimedia web applications; multimedia authoring and personalization; interactive multimedia and interfaces; sensor networks; social and educational multimedia applications; and emerging trends.

Industrial IoT Technologies and Applications - 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December... Industrial IoT Technologies and Applications - 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings (Paperback, 1st ed. 2021)
Lourdes Penalver, Lorena Parra
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Industrial IoT Technologies and Applications, IoT 2020, held in December 2020. Due to Covid-19 pandemic the conference was held virtually. The widespread deployment of wireless sensor networks, clouds, industrial robot, embedded computing and inexpensive sensors has facilitated industrial Internet of Things (IndustrialIoT) technologies and fostered some emerging applications. The 14 carefully reviewed papers are a selection from 28 submissions and detail topics in the context of IoT for a smarter industry.

Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021,... Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings (Paperback, 1st ed. 2021)
Jose F. Morales, Dominic Orchard
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021. The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: Foundations and Programming Concepts; Applications of Declarative Languages, and Declarative Approaches to Testing and Debugging. Due to the Corona pandemic PADL 2021 was held as a virtual event.

Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings (Paperback, 1st... Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings (Paperback, 1st ed. 2021)
Chryssis Georgiou, Rupak Majumdar
R1,551 Discovery Miles 15 510 Ships in 10 - 15 working days

This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc. *The conference was held virtually due to the COVID-19 pandemic.

Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark,... Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Paperback, 1st ed. 2021)
Fritz Henglein, Sharon Shoham, Yakir Vizel
R2,723 Discovery Miles 27 230 Ships in 10 - 15 working days

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic. The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures.

Innovative Learning Environments in STEM Higher Education - Opportunities, Challenges, and Looking Forward (Paperback, 1st ed.... Innovative Learning Environments in STEM Higher Education - Opportunities, Challenges, and Looking Forward (Paperback, 1st ed. 2021)
Jungwoo Ryoo, Kurt Winkelmann
R784 Discovery Miles 7 840 Ships in 10 - 15 working days

As explored in this open access book, higher education in STEM fields is influenced by many factors, including education research, government and school policies, financial considerations, technology limitations, and acceptance of innovations by faculty and students. In 2018, Drs. Ryoo and Winkelmann explored the opportunities, challenges, and future research initiatives of innovative learning environments (ILEs) in higher education STEM disciplines in their pioneering project: eXploring the Future of Innovative Learning Environments (X-FILEs). Workshop participants evaluated four main ILE categories: personalized and adaptive learning, multimodal learning formats, cross/extended reality (XR), and artificial intelligence (AI) and machine learning (ML). This open access book gathers the perspectives expressed during the X-FILEs workshop and its follow-up activities. It is designed to help inform education policy makers, researchers, developers, and practitioners about the adoption and implementation of ILEs in higher education.

Virtual Reality and Mixed Reality - 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24-26, 2021,... Virtual Reality and Mixed Reality - 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24-26, 2021, Proceedings (Paperback, 1st ed. 2021)
Patrick Bourdot, Mariano Alcaniz Raya, Pablo Figueroa, Victoria Interrante, Torsten W. Kuhlen, …
R1,612 Discovery Miles 16 120 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 18th International Conference on Virtual Reality and Mixed Reality, EuroXR 2021, held in Valencia, Spain, in November 2021.The 8 full and 4 short papers were carefully reviewed and selected from 31 submissions. The conference presents contributions on virtual reality, mixed reality, augmented reality, collaborative virtual environment, tangible user interface, CAD model processing, and others. The papers are organized in the blocks named: Perception and Cognition; Interactive Techniques; Tracking and Rendering; Use case and User study; Short papers.

Computer Vision - ECCV 2020 Workshops - Glasgow, UK, August 23-28, 2020, Proceedings, Part IV (Paperback, 1st ed. 2020): Adrien... Computer Vision - ECCV 2020 Workshops - Glasgow, UK, August 23-28, 2020, Proceedings, Part IV (Paperback, 1st ed. 2020)
Adrien Bartoli, Andrea Fusiello
R3,016 Discovery Miles 30 160 Ships in 10 - 15 working days

The 6-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020. The conference was planned to take place in Glasgow, UK, during August 23-28, 2020, but changed to a virtual format due to the COVID-19 pandemic. The 249 full papers, 18 short papers, and 21 further contributions included in the workshop proceedings were carefully reviewed and selected from a total of 467 submissions. The papers deal with diverse computer vision topics. Part IV focusses on advances in image manipulation; assistive computer vision and robotics; and computer vision for UAVs.

Core Data Analysis: Summarization, Correlation, and Visualization (Paperback, 2nd ed. 2019): Boris Mirkin Core Data Analysis: Summarization, Correlation, and Visualization (Paperback, 2nd ed. 2019)
Boris Mirkin
R1,601 Discovery Miles 16 010 Ships in 9 - 17 working days

This text examines the goals of data analysis with respect to enhancing knowledge, and identifies data summarization and correlation analysis as the core issues. Data summarization, both quantitative and categorical, is treated within the encoder-decoder paradigm bringing forward a number of mathematically supported insights into the methods and relations between them. Two Chapters describe methods for categorical summarization: partitioning, divisive clustering and separate cluster finding and another explain the methods for quantitative summarization, Principal Component Analysis and PageRank. Features: * An in-depth presentation of K-means partitioning including a corresponding Pythagorean decomposition of the data scatter. * Advice regarding such issues as clustering of categorical and mixed scale data, similarity and network data, interpretation aids, anomalous clusters, the number of clusters, etc. * Thorough attention to data-driven modelling including a number of mathematically stated relations between statistical and geometrical concepts including those between goodness-of-fit criteria for decision trees and data standardization, similarity and consensus clustering, modularity clustering and uniform partitioning. New edition highlights: * Inclusion of ranking issues such as Google PageRank, linear stratification and tied rankings median, consensus clustering, semi-average clustering, one-cluster clustering * Restructured to make the logics more straightforward and sections self-contained Core Data Analysis: Summarization, Correlation and Visualization is aimed at those who are eager to participate in developing the field as well as appealing to novices and practitioners.

Towards Autonomous Robotic Systems - 22nd Annual Conference, TAROS 2021, Lincoln, UK, September 8-10, 2021, Proceedings... Towards Autonomous Robotic Systems - 22nd Annual Conference, TAROS 2021, Lincoln, UK, September 8-10, 2021, Proceedings (Paperback, 1st ed. 2021)
Charles Fox, Junfeng Gao, Amir Ghalamzan Esfahani, Mini Saaj, Marc Hanheide, …
R2,429 Discovery Miles 24 290 Ships in 10 - 15 working days

The volume LNAI 13054 constitutes the refereed proceedings of the 22th Annual Conference Towards Autonomous Robotic Systems, TAROS 2021, held in Lincoln, UK, in September 2021.*The 45 full papers were carefully reviewed and selected from 66 submissions. Organized in the topical sections "Algorithms" and "Systems", they discuss significant findings and advances in the following areas: artificial intelligence; mechatronics; image processing and computer vision; special purpose and application-based systems; user interfaces and human computer interaction. * The conference was held virtually due to the COVID-19 pandemic.

Smart Cities, Green Technologies and Intelligent Transport Systems - 8th International Conference, SMARTGREENS 2019, and 5th... Smart Cities, Green Technologies and Intelligent Transport Systems - 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers (Paperback, 1st ed. 2021)
Markus Helfert, Cornel Klein, Brian Donnellan, Oleg Gusikhin
R1,551 Discovery Miles 15 510 Ships in 10 - 15 working days

This book includes extended and revised selected papers from the 8th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2019, and the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2019, held in Heraklion, Crete, Greece, in May 2019. The 17 full papers presented during SMARTGREENS and VEHITS 2019 were carefully reviewed and selected from the 134 submissions. The papers present research on advances and applications in the fiels of smart cities, green information and communication technologies, sustainability, energy aware systems and technologies, vehicle technology and intelligent transport systems.

Job Scheduling Strategies for Parallel Processing - 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021,... Job Scheduling Strategies for Parallel Processing - 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers (Paperback, 1st ed. 2021)
Dalibor Klusacek, Walfredo Cirne, Gonzalo P. Rodrigo
R1,875 Discovery Miles 18 750 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the workshop. The volume contains two sections: Open Scheduling Problems and Proposals and Technical Papers. The papers cover such topics as parallel computing, distributed systems, workload modeling, performance optimization, and others.

Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA,... Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers (Paperback, 1st ed. 2020)
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Principled Pragmatism in Mexico's…
Rafael Velazquez-Flores Hardcover R3,901 Discovery Miles 39 010
Coding for Kids Ages 10 and Up - Coding…
Bob Mather Hardcover R933 Discovery Miles 9 330
Research Handbook on Mediating…
Jonathan Wilkenfeld, Kyle Beardsley, … Paperback R1,743 Discovery Miles 17 430
Introduction to Programming Using…
David Schneider Paperback R2,278 Discovery Miles 22 780
Polarization Dynamics of Mode-Locked…
Sergey V. Sergeyev, Chengbo Mou Hardcover R3,131 Discovery Miles 31 310
Middle Powers and G20 Governance
J. Mo, Mo Jongryn Hardcover R1,509 Discovery Miles 15 090
Kingdoms and Domains - An Illustrated…
Lynn Margulis, Michael J. Chapman Hardcover R1,998 Discovery Miles 19 980
Georgia’s Foreign Policy in the 21st…
Tracey German, Kornely Kakachia, … Hardcover R3,385 Discovery Miles 33 850
Image Texture Analysis - Foundations…
Chih-Cheng Hung, Enmin Song, … Hardcover R1,914 Discovery Miles 19 140
Wat Moet Ons Met Ons Kerk Doen?
Jurie van den Heever Paperback  (1)
R311 Discovery Miles 3 110

 

Partners