This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions.

Build machine and deep learning systems with the newly released TensorFlow 2 and Keras for the lab, production, and mobile devicesKey FeaturesIntroduces and then uses TensorFlow 2 and Keras right from the startTeaches key machine and deep learning techniquesUnderstand the fundamentals of deep learning and machine learning through clear explanations and extensive code samplesBook DescriptionDeep Learning with TensorFlow 2 and ...

A practical guide to building high performance systems for object detection, segmentation, video processing, smartphone applications, and moreKey FeaturesDiscover how to build, train, and serve your own deep neural networks with TensorFlow 2 and KerasApply modern solutions to a wide range of applications such as object detection and video analysisLearn how to run your models on mobile devices and web pages and improve their performance

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the use of machine learning methods on text collections. All the important ideas are explained using...

Build cutting edge machine and deep learning systems for the lab, production, and mobile devices.Purchase of the print or Kindle book includes a free eBook in PDF format.Key FeaturesUnderstand the fundamentals of deep learning and machine learning through clear explanations and extensive code samplesImplement graph neural networks, transformers using Hugging Face and TensorFlow Hub, and joint and contrastive learni...

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections ...

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyb...

Design and create neural networks with deep learning and artificial intelligence principles using OpenAI Gym, TensorFlow, and KerasKey FeaturesExplore neural network architecture and understand how it functionsLearn algorithms to solve common problems using backpropagation and perceptronsUnderstand how to apply neural networks to applications with the help of useful illustrationsBook DescriptionNeural networks play a very imp...

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections na...

Richard Chbeir received his Ph. D in Computer Science from the INSA DE Lyon-France in 2001. He has been a member of IEEE and ACM since 1999. He is currently an Associate Professor in the Computer Science Department of the Bourgogne University, Dijon-France. His research interests are in the areas of distributed multimedia database management, XML similarity and rewriting, spatio-temporal applications, indexing methods, and multimedia access control models. Dr. Chbeir has published (more th...

This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and Searching, Big Data Learning and Security, Graph Databases and Data Warehousing, Data Inte...

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions.The proceedings also ...