Agostino Cortesi - Böcker
Visar alla böcker från författaren Agostino Cortesi. Handla med fri frakt och snabb leverans.
38 produkter
38 produkter
- Nyhet
Intelligent Systems
Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence
Inbunden, Engelska, 2026
2 021 kr
Skickas inom 10-15 vardagar
This book comprehensively covers an extensive array of topics within the realm of computational intelligence. The scope encompasses fuzzy logic, elucidating the principles and applications of this mathematical framework designed to handle uncertainty and imprecision in data. It delves into the fundamentals of neural networks, exploring their applications in diverse fields such as pattern recognition, image processing, and natural language processing.Covers a wide range of topics related to computational intelligence, including fuzzy logic, neural networks, and explainable artificial intelligence interpretationDiscusses the challenges and limitations of computational intelligence techniques, such as the interpretability of artificial intelligence models and the need for ethical considerations in artificial intelligence applicationsExplains neural networks in natural language processing, neural networks in computer vision, and applications of neural networks in real-world scenariosPresents applications of computational intelligence in diverse areas such as robotics, transportation, web mining, healthcare, and financeIllustrates reinforcement learning-based control systems, adaptive control systems, neuro-fuzzy control systems, and applications of intelligent control systemsThe text is primarily written for senior undergraduates, graduate students, and academic researchers in diverse fields, including electrical engineering, electronics and communication engineering, computer science and engineering, and information technology.
- Nyhet
2 625 kr
Skickas inom 10-15 vardagar
This book features a collection of high-quality research papers presented at the 12th International Symposium on Applied Computing for Software and Smart systems (ACSS 2025), to be held during July 4–5, 2025, in Kolkata, India. The book presents innovative works by undergraduate, graduate students as well as Ph.D. scholars. The emphasis of the workshop is on software and smart systems and research outcomes on other relevant areas pertaining to advancement of computing.
- Nyhet
4 423 kr
Kommande
This book is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 2025, organized by Department of Information Technology, JIS College of Engineering, Kalyani, West Bengal, India, during November 21–22, 2025. This book focuses on smart cities, smart farming, smart healthcare, wireless networks communication, internet of things, cyber physical systems, human computer interaction, big data and data analytics, high performance computing, requirements engineering, analysis and verification techniques, security systems, distributed systems, biometrics, bioinformatics, robotic process automation, and machine learning.
536 kr
Skickas inom 10-15 vardagar
This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice. The authors analyze some of the shortcomings of conventional lattice structure and propose a novel algebraic structure in the form of Hyper-lattice to overcome problems with lattice. They establish how Hyper-lattice supports dynamic insertion of elements in a partial order set with a partial hierarchy between the set members. The authors present the characteristics and the different properties, showing how propositions and lemmas formalize Hyper-lattice as a new algebraic structure.
Verification, Model Checking, and Abstract Interpretation
4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Häftad, Engelska, 2002
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003. The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.
Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Häftad, Engelska, 2002
552 kr
Skickas inom 10-15 vardagar
This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri?cation,ModelChecking,andAbstract Interpretation, Venice (Italy), January 21-22, 2002. Themaingoaloftheworkshopwastogiveanoverviewofthemaindirections decisive for the growth and cross-fertilization of major research activities in programanalysis and veri?cation. TheVMCAIserieswasstartedin1997withtheaimofgatheringresearchers interestedininvestigatingsimilaritiesanddi?erencesamongthesethreeresearch methodologies, that may be summarized as follows: - programveri?cationaimsatprovingthatprogramsmeettheirspeci?cations, i.e., that the actual programbehavior correspondsto the desired one. - model checking is a speci?c approach to the veri?cation of temporal pr- erties of reactive and concurrentsystems, which has been very successful in the area of ?nite-state programs. - abstract interpretation is a method for designing and comparing semantics ofprogram,expressingvarioustypes ofprogramproperties;in particular,it has been successfully usedto infer run-time programproperties that canbe valuable in optimizing programs.Theprogramcommitteeselected22papersoutof41submissionsonthebasis of at least 3 reviews. The principal selection criteria were relevance, quality, and clarity. The resulting volume o?ers the reader an interesting perspective of the current research trends in the area. In particular, the papers contribute to the following topics: Security and Protocols, Timed Systems and Games, Static Analysis, Optimizations, Types and Veri?cation, and Temporal Logics and Systems. The quality of the papers, the interesting discussions at the workshop, and the friendly atmosphere enjoyed by all participants in Venice, encouraged us in the projectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetotheinstitutionsthatsponsoredtheevent:theC- puter Science Department of the University Ca' Foscari, the European Asso- ation for Programming Languages and Systems (EAPLS), the MIUR Project "InterpretazioneAstratta,TypeSystemseAnalisiControl-Flow"andtheMIUR Project"MetodiFormaliperlaSicurezza-MEFISTO".Weareespeciallygra- ful to C. Braghin for her helpful support in organizingthe workshop.
Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Häftad, Engelska, 1999
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Symposium on Static Analysis, SAS'99, held in Venice, Italy in September 1999. The 18 revised full papers presented together with five invited contributions, were carefully reviewed and selected from 42 submissions. The book presents the state of the art in Static Analysis. The papers are organized in sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment, and foundations.
Computer Information Systems - Analysis and Technologies
10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings
Häftad, Engelska, 2011
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th International Conference on Computer Information Systems, CISIM 2011, held in Kolkata, India, in December 2011. The 30 revised full papers presented together with 6 keynote tasks and plenary lectures were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on networking and its applications; agent-based systems; biometric applications; pattern recognition and image processing; industrial applications; algorithmic applications and data management; information and network security.
Computer Information Systems and Industrial Management
11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings
Häftad, Engelska, 2012
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on security, access control and intrusion detection; pattern recognition and image processing; biometric applications; algorithms and data management; networking; and system models and risk assessment.
Computer Information Systems and Industrial Management
12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings
Häftad, Engelska, 2013
552 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013, held in Cracow, Poland, in September 2013. The 44 papers presented in this volume were carefully reviewed and selected from over 60 submissions. They are organized in topical sections on biometric and biomedical applications; pattern recognition and image processing; various aspects of computer security, networking, algorithms, and industrial applications. The book also contains full papers of a keynote speech and the invited talk.
Del 395 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume 1
Häftad, Engelska, 2015
552 kr
Skickas inom 10-15 vardagar
The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held during May 23-25, 2015 in Kolkata, India. The symposium has been jointly organized by the AGH University of Science & Technology, Cracow, Poland; Ca’ Foscari University, Venice, Italy and University of Calcutta, India. The book is divided into volumes and presents dissertation works in the areas of Image Processing, Biometrics-based Authentication, Soft Computing, Data Mining, Next Generation Networking and Network Security, Remote Healthcare, Communications, Embedded Systems, Software Engineering and Service Engineering.
Del 396 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume 2
Häftad, Engelska, 2015
1 096 kr
Skickas inom 10-15 vardagar
The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held during May 23-25, 2015 in Kolkata, India. The symposium has been jointly organized by the AGH University of Science & Technology, Cracow, Poland; Ca’ Foscari University, Venice, Italy and University of Calcutta, India. The book is divided into volumes and presents dissertation works in the areas of Image Processing, Biometrics-based Authentication, Soft Computing, Data Mining, Next Generation Networking and Network Security, Remote Healthcare, Communications, Embedded Systems, Software Engineering and Service Engineering.
Del 568 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Four
Häftad, Engelska, 2017
536 kr
Skickas inom 10-15 vardagar
This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August 12 to 14, 2016 in Kolkata, India. The symposium was jointly organized by the AGH University of Science & Technology, Cracow, Poland; Ca’ Foscari University, Venice, Italy; and theUniversity of Calcutta, India. The book is divided into two volumes, Volumes 3 and 4, and presents dissertation works in the areas of Image Processing, Biometrics-based Authentication, Soft Computing, Data Mining, Next-Generation Networking and Network Security, Remote Healthcare, Communications, Embedded Systems, Software Engineering and Service Engineering. The first two volumes of the book published the works presented at the ACSS 2015, which was held from May 23 to 25, 2015 in Kolkata, India.
Del 567 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Three
Häftad, Engelska, 2017
536 kr
Skickas inom 10-15 vardagar
This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August 12 to 14, 2016 in Kolkata, India. The symposium was jointly organized by the AGH University of Science & Technology, Cracow, Poland; Ca’ Foscari University, Venice, Italy; and the University of Calcutta, India. The book is divided into two volumes, Volumes 3 and 4, and presents dissertation works in the areas of Image Processing, Biometrics-based Authentication, Soft Computing, Data Mining, Next-Generation Networking and Network Security, Remote Healthcare, Communications, Embedded Systems, Software Engineering and Service Engineering. The first two volumes of the book published the works presented at the ACSS 2015, which was held from May 23 to 25, 2015 in Kolkata, India.
Del 9 - Lecture Notes on Data Engineering and Communications Technologies
Proceedings of International Conference on Computational Intelligence and Data Engineering
ICCIDE 2017
Häftad, Engelska, 2018
2 164 kr
Skickas inom 10-15 vardagar
The book presents high quality research work in cutting edge technologies and most-happening areas of computational intelligence and data engineering. It contains selected papers presented at International Conference on Computational Intelligence and Data Engineering (ICCIDE 2017). The conference was conceived as a forum for presenting and exchanging ideas and results of the researchers from academia and industry onto a common platform and help them develop a comprehensive understanding of the challenges of technological advancements from different viewpoints. This book will help in fostering a healthy and vibrant relationship between academia and industry. The topics of the conference include, but are not limited to collective intelligence, intelligent transportation systems, fuzzy systems, Bayesian network, ant colony optimization, data privacy and security, data mining, data warehousing, big data analytics, cloud computing, natural language processing, swarm intelligence, and speechprocessing.
Del 666 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Five
Häftad, Engelska, 2018
959 kr
Skickas inom 10-15 vardagar
This book contains extended version of selected works that have been discussed and presented in the fourth International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2017) held in Patna, India during March 17-19, 2017. The symposium was organized by the Departments of Computer Science & Engineering and A. K. Choudhury School of Information Technology, both from University of Calcutta in collaboration with NIT, Patna. The International partners for ACSS 2016 had been Ca Foscari University of Venice, Italy and Bialystok University of Technology, Poland. This bi-volume book has a total of 21 papers divided in 7 chapters. The chapters reflect the sessions in which the works have been discussed during the symposium. The different chapters in the book include works on biometrics, image processing, pattern recognition, algorithms, cloud computing, wireless sensor networks and security systems.
Del 667 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Six
Häftad, Engelska, 2018
959 kr
Skickas inom 10-15 vardagar
This book contains extended version of selected works that have been discussed and presented in the fourth International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2017) held in Patna, India during March 17-19, 2017. The symposium was organized by the Departments of Computer Science & Engineering and A. K. Choudhury School of Information Technology, both from University of Calcutta in collaboration with NIT, Patna. The International partners for ACSS 2016 had been Ca Foscari University of Venice, Italy and Bialystok University of Technology, Poland. This bi-volume book has a total of 21 papers divided in 7 chapters. The chapters reflect the sessions in which the works have been discussed during the symposium. The different chapters in the book include works on biometrics, image processing, pattern recognition, algorithms, cloud computing, wireless sensor networks and security systems.
Del 897 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Seven
Häftad, Engelska, 2018
959 kr
Skickas inom 10-15 vardagar
The book includes extended versions of selected papers discussed and presented at the 5th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2018) held in Kolkata, India on February 9–11, 2018. The symposium was organized by the University of Calcutta’s Department of Computer Science & Engineering and A. K. Choudhury School of Information Technology, and the International partners were Ca Foscari University of Venice, Italy and Bialystok University of Technology, Poland. Reflect the symposium’s sessions, the book discusses topics such as biometrics, image processing, pattern recognition, algorithms, cloud computing, wireless sensor networks and security systems.
Del 883 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Eight
Häftad, Engelska, 2019
536 kr
Skickas inom 10-15 vardagar
The book includes extended versions of selected papers discussed and presented at the 5th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2018) held in Kolkata, India on February 9–11, 2018. The symposium was organized by the University of Calcutta’s Department of Computer Science & Engineering and A. K. Choudhury School of Information Technology, and the International partners were Ca Foscari University of Venice, Italy and Bialystok University of Technology, Poland. Reflect the symposium’s sessions, the book discusses topics such as biometrics, image processing, pattern recognition, algorithms, cloud computing, wireless sensor networks and security systems.
Del 995 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Nine
Häftad, Engelska, 2019
536 kr
Skickas inom 10-15 vardagar
This book features extended versions of selected papers that were presented and discussed at the 6th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2019) held in Kolkata, India on 12–13 March, 2019. Organized by the Departments of Computer Science & Engineering and A. K. Choudhury School of Information Technology, both from the University of Calcutta, the symposium’s international partners were Ca' Foscari University of Venice, Italy and Bialystok University of Technology, Poland. The chapters cover topics such as biometrics, image processing, pattern recognition, algorithms, cloud computing, wireless sensor networks and security systems, reflecting the various symposium sessions.
Del 996 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Ten
Häftad, Engelska, 2019
552 kr
Skickas inom 10-15 vardagar
This book features extended versions of selected papers that were presented and discussed at the 6th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2019) held in Kolkata, India on 12–13 March, 2019. Organized by the Departments of Computer Science & Engineering and A.K. Choudhury School of Information Technology, both from the University of Calcutta, the symposium’s international partners were Ca' Foscari University of Venice, Italy and Bialystok University of Technology, Poland. The chapters cover topics such as biometrics, image processing, pattern recognition, algorithms, cloud computing, wireless sensor networks and security systems, reflecting the various symposium sessions.
Del 1136 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Twelve
Häftad, Engelska, 2020
536 kr
Skickas inom 10-15 vardagar
This book features extended versions of selected papers that were presented and discussed at the 7th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2020), held in Kolkata, India, on February 28–29, 2020. Organized by the Departments of Computer Science & Engineering and A. K. Choudhury School of Information Technology at the University of Calcutta, the symposium’s international partners were Ca' Foscari University of Venice, Italy, and Bialystok University of Technology, Poland. The topics covered include biometrics, image processing, pattern recognition, algorithms, cloud computing, wireless sensor networks, and security systems, reflecting the various symposium sessions.
Del 1178 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Eleven
Häftad, Engelska, 2020
1 064 kr
Skickas inom 10-15 vardagar
This book features extended versions of selected papers that were presented and discussed at the 7th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2020) held in Kolkata, India on February 28–29, 2020.
1 314 kr
Skickas inom 10-15 vardagar
This book features extended versions of selected papers that were presented and discussed at the 8th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2021), held in Kolkata, India, on April 9–10, 2021.
Del 242 - Lecture Notes in Networks and Systems
Advanced Computing and Systems for Security: Volume 14
Häftad, Engelska, 2021
1 205 kr
Skickas inom 10-15 vardagar
This book features extended versions of selected papers that were presented and discussed at the 8th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2021), held in Kolkata, India, on April 9–10, 2021.
Del 99 - Lecture Notes on Data Engineering and Communications Technologies
Proceedings of International Conference on Computational Intelligence and Data Engineering
ICCIDE 2021
Häftad, Engelska, 2022
1 948 kr
Skickas inom 10-15 vardagar
This book covers various topics, including collective intelligence, intelligent transportation systems, fuzzy systems, Bayesian network, ant colony optimization, data privacy and security, data mining, data warehousing, big data analytics, cloud computing, natural language processing, swarm intelligence, and speech processing.
Del 555 - Lecture Notes in Networks and Systems
Applied Computing for Software and Smart Systems
Proceedings of ACSS 2022
Häftad, Engelska, 2023
2 164 kr
Skickas inom 10-15 vardagar
This book features a collection of high-quality research papers presented at the 9th International Symposium on Applied Computing for Software and Smart systems (ACSS 2022), to be held during September 09–10, 2022 in Kolkata, India.
634 kr
Skickas inom 5-8 vardagar
Del 238 - Intelligent Systems Reference Library
Challenges of Software Verification
Inbunden, Engelska, 2023
1 682 kr
Skickas inom 10-15 vardagar
Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.
634 kr
Skickas inom 5-8 vardagar