Performance Measurement with Fuzzy Data Envelopment Analysis (Studies in Fuzziness and Soft Computing, #309)
The intensity of global competition and ever-increasing economic uncertainties has led organizations to search for more efficient and effective ways to manage their business operations. Data envelopment analysis (DEA) has been widely used as a conceptually simple yet powerful tool for evaluating organizational productivity and performance. Fuzzy DEA (FDEA) is a promising extension of the conventional DEA proposed for dealing with imprecise and ambiguous data in performance measurement problems....
Reactive Kripke Semantics (Cognitive Technologies)
by Dov M. Gabbay
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of appl...
This book employs recursivity and contingency as two principle concepts to investigate into the relation between nature and technology, machine and organism, system and freedom. It reconstructs a trajectory of thought from an Organic condition of thinking elaborated by Kant, passing by the philosophy of nature (Schelling and Hegel), to the 20th century Organicism (Bertalanffy, Needham, Whitehead, Wiener among others) and Organology (Bergson, Canguilhem, Simodnon, Stiegler), and questions the new...
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor h...
This text gives a clear introduction to the ideas and methods of wavelet analysis, making concepts understandable by relating them to methods in mathematics and engineering. It shows how to apply wavelet analysis to digital signal processing and presents a wide variety of applications.
Resource discovery is the process of identifying and locating existing resources thathavea particularproperty. Aresourcecorrespondsto aninformationsource such as a data repositoryor databasemanagement system (e. g. , a query form or a textual search engine), a link between resources (an index or hyperlink), or a servicesuchasanapplicationoratool. Resourcesarecharacterizedbycoreinf- mation including a name, a description of its input and its output (parameters or format), its address, and various...
Artificial Intelligence in Design '00
Designing is one of the foundations for change in our society. It is a fundamental precursor to manufacturing, fabrication and construction. Design research aims to develop an understanding of designing and to produce models of designing that can be used to aid designing. The papers in this volume are from the Sixth International Conference on Artificial Intelligence in Design (AID'00) held in June 2000, in Worcester, Massachusetts, USA. They represent the state of the art and the cutting...
Discovery Science (Lecture Notes in Computer Science, #6332) (Lecture Notes in Artificial Intelligence, #6332)
th This volume contains the papers presented at the 13 International Conference on Discovery Science (DS 2010) held in Canberra, Australia, October 6-8, 2010. The main objective of the Discovery Science (DS) conference series is to provide an open forum for intensive discussions and the exchange of new ideas and information among researchers working in the area of automating sci- ti?c discovery or working on tools for supporting the human process of disc- ery in science. It has been a successful...
The Logic System of Concept Graphs with Negation (Lecture Notes in Computer Science, #2892)
by Frithjof Dau
The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized using Formal Concept Analysis (FCA), while an approach to the formalization of judgements and conclusions is conceptual graphs, based on Peirce's existential graphs. Combining FCA and a mathematization of conceptual graphs yields so-called concept graphs, which offer a formal and diagrammatic theory of elementary logic....
The 4th International Web Rule Symposium (RuleML 2010), co-located in Alexandria, Virginia, USA (near Washington, DC) with the 13th International BusinessRules Forum Conference2010,wasorganizedto meet colleaguesand to exchange ideas from all subareas of Web rule technology. The aims of RuleML 2010 were both to present new and interesting research results and to show s- cessfullydeployedrule-basedapplications. Thisannualsymposiumisthe?agship event of the Rule Markup Language (RuleML) Initiative....
AI Based Design Methodology for Power Converters (Power Systems)
by Xin Zhang, Xinze Li, Hao Ma, Bin Zhao, and Zeng Zheng
This book presents new techniques for engineers (and researchers) to design power converters using artificial intelligent (AI)-based methods. The book first reviews existing AI technologies in power converters followed by an introduction to the proposed special AI algorithms for power converters considering their unique features. Based on the proposed AI-based design methods, the book discusses suitable applications in the design of power converters such as, power devices, DC/DC converters, reso...
Control, Computation and Information Systems (Communications in Computer and Information Science, #140)
This book constitutes the refereed proceedings of the International Conference on Logic, Information, Control and Computation, ICLICC 2011, held in Gandhigram, India, in February 2011. The 52 revised full papers presented were carefully reviewed and selected from 278 submissions. The papers are organized in topical sections on control theory and its real time applications, computational mathematics and its application to various fields, and information sciences focusing on image processing and...
24th Aipr Workshop On Tools & Techniques For Mod
Visual Perception for Manipulation and Imitation in Humanoid Robots (Cognitive Systems Monographs, #4)
by Pedram Azad
In recent yearswe haveseen considerableadvances in the development of - manoid robots, that is robots with an anthropomorphic design. Such robots should be capable of autonomously performing tasks for their human users in changing environments by adapting to these and to the circumstances at hand. To do so, they as well as any kind of autonomous robot need to have some way of understanding the world around them. We humans do so by our senses, both our far senses vision and hearing (smelling too)...
Gamblers have been trying to figure out how to game the system since our ancestors first made wagers over dice fashioned from knucklebones: in revolutionary Paris, the 'martingale' strategy was rumoured to lead to foolproof success at the roulette table; now, in the 21st century, professional gamblers are using cutting-edge techniques to tilt the odds further in their favour. At the roulette wheel, card table or racecourse, science is giving us the competitive edge over opponents, casinos and b...
Transactions on Computational Collective Intelligence III
by Ngoc Thanh Nguyen
Information Technology and Mobile Communication (Communications in Computer and Information Science, #147)
This book constitutes the refereed proceedings of the International Conference on Advances in Information Technology and Mobile Communication, AIM 2011, held at Nagpur, India, in April 2011. The 31 revised full papers presented together with 27 short papers and 34 poster papers were carefully reviewed and selected from 313 submissions. The papers cover all current issues in theory, practices, and applications of Information Technology, Computer and Mobile Communication Technology and related to...
Advanced Technologies in Ad Hoc and Sensor Networks (Lecture Notes in Electrical Engineering, #295)
Advanced Technologies in Ad Hoc and Sensor Networks collects selected papers from the 7th China Conference on Wireless Sensor Networks (CWSN2013) held in Qingdao, October 17-19, 2013. The book features state-of-the-art studies on Sensor Networks in China with the theme of "Advances in wireless sensor networks of China". The selected works can help promote development of sensor network technology towards interconnectivity, resource sharing, flexibility and high efficiency. Researchers and enginee...
Hands-On Machine Learning with Scikit-Learn, Keras, and Tensorflow
by Geron Aurelien
New Challenges in Computational Collective Intelligence (Studies in Computational Intelligence, #244)
Collective intelligence has become one of major research issues studied by today's and future computer science. Computational collective intelligence is understood as this form of group intellectual activity that emerges from collaboration and compe- tion of many artificial individuals. Robotics, artificial intelligence, artificial cognition and group working try to create efficient models for collective intelligence in which it emerges from sets of actions carried out by more or less intelligen...
Automated Deduction in Geometry (Lecture Notes in Artificial Intelligence, #7993) (Lecture Notes in Computer Science, #7993)
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate so...