Agostino Cortesi – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
74 produkter
74 produkter
Inbunden, Engelska, 2026
2 422 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.
E-bok
PDF, Engelska, 20262 693 kr
Läs direkt efter köp
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 interpretation Discusses 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 applications Explains neural networks in natural language processing, neural networks in computer vision, and applications of neural networks in real-world scenarios Presents applications of computational intelligence in diverse areas such as robotics, transportation, web mining, healthcare, and finance Illustrates reinforcement learning-based control systems, adaptive control systems, neuro-fuzzy control systems, and applications of intelligent control systems The 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.
E-bok
Engelska, 20262 693 kr
Läs direkt efter köp
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 interpretation Discusses 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 applications Explains neural networks in natural language processing, neural networks in computer vision, and applications of neural networks in real-world scenarios Presents applications of computational intelligence in diverse areas such as robotics, transportation, web mining, healthcare, and finance Illustrates reinforcement learning-based control systems, adaptive control systems, neuro-fuzzy control systems, and applications of intelligent control systems The 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.
Häftad, Engelska, 2026
2 706 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), held on 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.
E-bok
Engelska, 20263 473 kr
Läs direkt efter köp
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), held on 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.
Del 484 - Smart Innovation, Systems and Technologies
Smart Systems and Wireless Communication
Proceedings of SSWC 2025
Inbunden, Engelska, 2026
3 246 kr
Skickas inom 10-15 vardagar
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.
E-bok
Engelska, 20263 937 kr
Läs direkt efter köp
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.
Häftad, Engelska, 2016
547 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.
E-bok
PDF, Engelska, 2016710 kr
Läs direkt efter köp
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.
Häftad, Engelska, 2002
563 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities—Veri?cation, Model Checking, and Abstract Interpretation—that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je?erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference.
E-bok
PDF, Engelska, 2003732 kr
Läs direkt efter köp
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities—Veri?cation, Model Checking, and Abstract Interpretation—that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je?erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference.
Häftad, Engelska, 2002
563 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.
E-bok
PDF, Engelska, 2003732 kr
Läs direkt efter köp
E-bok
PDF, Engelska, 2003732 kr
Läs direkt efter köp
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS’99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy.
Häftad, Engelska, 1999
563 kr
Skickas inom 10-15 vardagar
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS’99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy.
Häftad, Engelska, 2011
563 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.
E-bok
PDF, Engelska, 2011732 kr
Läs direkt efter köp
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.
Häftad, Engelska, 2012
563 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.
E-bok
PDF, Engelska, 2012732 kr
Läs direkt efter köp
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.
Häftad, Engelska, 2013
563 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.
E-bok
PDF, Engelska, 2013734 kr
Läs direkt efter köp
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
563 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.
E-bok
PDF, Engelska, 2015710 kr
Läs direkt efter köp
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 119 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.
E-bok
PDF, Engelska, 20151 413 kr
Läs direkt efter köp
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
547 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.
E-bok
Engelska, 2017710 kr
Läs direkt efter köp
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 567 - Advances in Intelligent Systems and Computing
Advanced Computing and Systems for Security
Volume Three
Häftad, Engelska, 2017
547 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.
E-bok
Engelska, 2017712 kr
Läs direkt efter köp
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 231 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.