Intelligent Decision and Policy Making Support Systems
This book covers a number of representative applications of intelligent decision support systems applications in society and policy support, including general methodologies, case studies, on-going R&D projects, and practical applications.
Intelligent data engineering and automated Learning - IDEAL 2005 ; 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings
Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2005, held in Brisbane, Australia, in July 2005. These papers are organized in topical sections on data mining and knowledge engineering, learning algorithms and systems, bioinformatics, and more.
Intelligent Computing Theories and Application ; 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part II
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020. The 162 full papers of the three proceedings volumes were carefully reviewed and selected from 457 submissions. The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, addressing theories, methodologies, and applications in science and technology.
Intelligent Computer Mathematics ; 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.
Intelligent Computer Mathematics ; 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.
Intelligent Algorithms in Ambient and Biomedical Computing
The rapid growth in electronic systems in the past decade has boosted research in the area of computational intelligence. As it has become increasingly easy to generate, collect, transport, process, and store huge amounts of data, the role of intelligent algorithms has become prominent in order to visualize, manipulate, retrieve, and interpret the data. For instance, intelligent search techniques have been developed to search for relevant items in huge collections of web pages, and data mining and interpretation techniques play a very important role in making sense out of huge amounts of biomolecular measurements. As a result, the added value of many modern systems is no longer determined by hardware only, but increasingly by the intelligent software that supports and facilitates the user in realizing his or her objectives.
Intelligent Algorithms for Packing and Cutting Problem
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants / Investigates novel methods, e.g. reinforcement learning algorithms, for rectangular and irregular packing problems / Presents practical engineering application cases in combination of theory and practice / investigates in detail the two-dimensional packing and cutting problems in the field of operations research and management science. It introduces the mathematical models and intelligent solving algorithms for these problems, as well as their engineering applications. Most intelligent methods reported in this book have already been applied in reality, which can provide reference for the engineers. The presented novel methods for the two-dimensional packing problem provide a new way to solve the problem for researchers interested in operations research or computer science. This book also introduces three new variants of packing problems and their solving methods, which offer a different research direction.
Intelligence and security informatics ; IEEE ISI 2008 International Workshops : PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.The 55 revised full papers presented were carefully reviewed and selected from the presentations at the workshops. The 21 papers of the Pacific Asia Workshop on Intelligence and Security Informatics (PAISI 2008) cover topics such as information retrieval and event detection, internet security and cybercrime, currency and data protection, cryptography, image and video analysis, privacy issues, social networks, modeling and visualization, and network intrusion detection.
Intelligence and security informatics : Techniques and applications
This book, INTELLIGENCE and SECURITY INFORMATICS: TECHNIQUES & APPLICATIONS, presents a collection of works discussing terrorism informatics, information sharing, data mining, intelligence and crime analysis, infrastructure protection, privacy protection, information surveillance, and emergency response.
Intelligence and security informatics : Biosurveillance ; 2nd NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings
The 2007 NSF BioSurveillance Workshop (BioSurveillance 2007) was built on the success of the first NSF BioSurveillance Workshop, hosted by the University of Arizona’s NSF BioPortal Center in March 2006.
Intellectual Property in the Food Technology Industry : Protecting Your Innovation
Considering the effort and funding devoted to a company's success, understanding Intellectual Property rights patents, trade secrets, trademarks, and licensing is essential. Establishing appropriate internal policies from the outset can prevent companies from learning a costly and painful lesson in the courtroom. With Intellectual Property in the Food Technology Industry, currently the only book of its kind focusing specifically on the food industry, one will learn what to consider throughout the various creative phases of a product's lifespan from initial research and development initiatives through post-production.
Integrative Oncology : Incorporating Complementary Medicine into Conventional Cancer Care
Integrative Oncology: Incorporating Complementary Medicine into Conventional Cancer Care is a platform from which accomplished professionals describe the various aspects of their programs and present their insights to those seeking to start or improve an integrative oncology program.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; Vol.3524 : 2nd International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005
Intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti?cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20–23, 2008. The purpose of this conference series is to bring together researchers in the felds of constraint programming, artifcial intelligence, and operations research to explore ways of solving large-scale, practical optimization problems through integration and hybridization of the felds’ diferent techniques. Through the years, this research community is discovering that the felds have much in c- mon, and there has been tremendous richness in the resulting cross-fertilization of felds.
Intégration : Chapitres 7 et 8 = Integration : Chapters 7 and 8
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. applications. The concepts introduced, such as Haar measures and the convolution product, are the basis of harmonic analysis. It includes the chapters: Haar measure; Convolution and representations.
Intégration : Chapitres 1 à 4 = Integration : Chapters 1 to 4
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. it includes the chapters: Inequalities of convexity, Riesz spaces, Measures on locally compact spaces.
Intégration : Chapitre 6 = Integration : Chapters 6
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations.This sixth chapter of the Book of Integration, the sixth Book of the elements of mathematics, extends the notion of integration to values in locally convex Hausdorff vector spaces.
Intégration : Chapitre 5 = Integration : Chapters 5
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This fifth chapter of the Book of Integration, the sixth Book of the elements of mathematics, deals in particular with a generalization of the Lebesgue theorem -Fubini and Lebesque-Nikodym's theorem. It also contains historical notes.
Integrating Data Science and Earth Science : Challenges and Solutions
This book presents the results of three years collaboration between earth scientists and data scientist, in developing and applying data science methods for scientific discovery. The book will be highly beneficial for other researchers at senior and graduate level, interested in applying visual data exploration, computational approaches and scientifc workflows.
Integrated Reaction and Separation Operations : Modelling and experimental validation
The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis and process control. It shows details of experimental approaches for model validation, determining of model parameters and measurement techniques. The combination of sophisticated modelling, optimisation methods and experimental results has not ben published up to now. The book gives deep insights into the overall evaluation of integrated processes as well as development of methods for a systematic design and optimisation of integrated reaction and separation processes. Potentials for process integration and the technical as well as economic limitations have been identified. The book covers several case studies of reactive distillation, reactive extraction, reactive gas-adsorption and chromatographic reactors which have been investigated from the modelling and experimental point of view. Based on validated models process simulation was used to optimize these processes. Following the concept of integrated process design approaches have been developed for model predictive control and process optimisation during production. Another new and very important focus of the book is systematic synthesis of integrated processes.



















