Search

This book constitutes the refereed proceedings of the 5th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 54 contributions was carefully reviewed and selected for inclusion in the DAPI proceedings. The papers are organized in the following topical sections: natural interaction;context-awareness in smart and intelligent environments; design and evaluation of smart and intelligent environments; smart cities; multi-user, group and collaborative interaction; smart everyday living and working environments.

The four-volume set LNCS 8012, 8013, 8014 and 8015 constitutes the proceedings of the Second International Conference on Design, User Experience, and Usability, DUXU 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 282 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this four-volume set. The 65 papers included in this volume are organized in the following topical sections: designing for safe and secure environments; designing for smart and ambient devices; designing for virtual and augmented environments; and emotional and persuasion design.

This book constitutes the refereed proceedings of the 7th International Conference on Provable Security, ProvSec 2013, held in Melaka, Malaysia, in October 2013. The 18 full papers presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover the following topics: key exchange protocols, security models, signature and signcryption schemes, authenticated encryption, theory, and public key encryption.

This two volume set (LNCS 8025-8026) constitutes the refereed proceedings of the Fourth International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, formerly International Conference on Digital Human Modeling, DHM 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This two-volume set contains 91 papers. The papers inthis volume focus on the following topics: digital human modeling and ergonomics in working environments; ergonomics of work with computers; anthropometry, posture and motion modeling.

This is the first part of the two-volume set (LNCS 8023-8024) that constitutes the refereed proceedings of the 5th International Conference on Cross-Cultural Design, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This two-volume set contains 113 papers. The papers in this volume focus on the following topics: cross-cultural product design, cross-cultural design methods and techniques, international usability evaluation, and case studies in cross-cultural design.

This is the second part of the two-volume set (LNCS 8023-8024) that constitutes the refereed proceedings of the 5th International Conference on Cross-Cultural Design, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This two-volume set contains 113 papers. The papers in this volume focus on the following topics: cultural issues in business and industry; culture, health and quality of life; cross-cultural and intercultural collaboration; culture and the smart city; cultural differences on the Web.

This book constitutes the refereed proceedings of the 8th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2013, held in Helsinki, Finland, in June 2013. The 24 full papers, 8 research-in-progress papers, 12 short papers, and 8 poster abstracts were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on system integration and design; meta issues; business process management and ERP; theory development; emerging themes; green IS and service management; method engineering; papers describing products and prototypes; and work-in-progress papers.

This book constitutes the refereed proceedings of the Second International Conference, TPNC 2013, held in Cáceres, Spain, in December 2013. The 19 revised full papers presented together with one invited talk were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections on nature-inspired models of computation; synthesizing nature by means of computation; nature-inspired materials and information processing in nature.

This book constitutes the refereed proceedings of the 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, held in Regina, SK, Canada, in May 2013. The 17 regular papers and 15 short papers presented were carefully reviewed and selected from 73 initial submissions and are accompanied by 8 papers from the Graduate Student Symposium that were selected from 14 submissions. The papers cover a variety of topics within AI, such as: information extraction, knowledge representation, search, text mining, social networks, temporal associations.

This volume constitutes the thoroughly refereed conference proceedings of the 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2013, held in Amsterdam, The Netherlands, in June 2013. The total of 71 papers selected for the proceedings were carefully reviewed and selected from 185 submissions. The papers focus on the following topics: auctions and negotiation, cognitive modeling, crowd behavior modeling, distributed systems and networks, evolutionary algorithms, knowledge representation and reasoning, pattern recognition, planning, problem solving, robotics, text mining, advances in recommender systems, business process intelligence, decision support for safety-related systems, innovations in intelligent computation and applications, intelligent image and signal processing, and machine learning methods applied to manufacturing processes and production systems.

This book constitutes the refereed proceedings of the second International Conference on Biomimetic and Biohybrid Systems, Living Machines 2013, held in London, UK, in July/August 2013. The 65 revised full papers presented were carefully reviewed and selected from various submissions. The papers are targeted at the intersection of research on novel live-like technologies inspired by scientific investigation of biological systems, biomimetics, and research that seeks to interface biological and artificial systems to create biohybrid systems

This book constitutes the refereed proceedings of the 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 20013, held in Madrid, Spain, in September 2013. The 27 revised full papers presented were carefully selected from 66 submissions. The papers are organized in topical sections on Constraints, search and planning, intelligent Web and information retrieval, fuzzy systems, knowledge representation, reasoning and logic, machine learning, multiagent systems, multidisciplinary topics and applications, metaheuristics, uncertainty in artificial intelligence.

The book constitutes the proceedings of the 23rd International Conference on Artificial Neural Networks, ICANN 2013, held in Sofia, Bulgaria, in September 2013. The 78 papers included in the proceedings were carefully reviewed and selected from 128 submissions. The focus of the papers is on following topics: neurofinance graphical network models, brain machine interfaces, evolutionary neural networks, neurodynamics, complex systems, neuroinformatics, neuroengineering, hybrid systems, computational biology, neural hardware, bioinspired embedded systems, and collective intelligence.

The three-volume set LNCS 8016, 8017, and 8018 constitutes the refereed proceedings of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, NV, USA in July 2013. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers in the thematic area of human interface and the management of Information, addressing the following major topics: learning, education and skills transfer, art and cultural heritage, collaborative work, business integration and decision support.

This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.

The four-volume set LNCS 8012, 8013, 8014 and 8015 constitutes the proceedings of the Second International Conference on Design, User Experience, and Usability, DUXU 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 282 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this four-volume set. The 83 papers included in this volume are organized in the following topical sections: DUXU in business and the enterprise, designing for the Web experience; product design; information and knowledge design and visualisation; and mobile applications and services.

This book constitutes the refereed proceedings of the 10th Extended Semantic Web Conference, ESWC 2013, held in Montpellier, France, in May 2013. The 42 revised full papers presented together with three invited talks were carefully reviewed and selected from 162 submissions. They are organized in tracks on ontologies; linked open data; semantic data management; mobile Web, sensors and semantic streams; reasoning; natural language processing and information retrieval; machine learning; social Web and Web science; cognition and semantic Web; and in-use and industrial tracks. The book also includes 17 PhD papers presented at the PhD Symposium.

This book constitutes the refereed proceedings of the 4th International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2013, held in Schloss Seggau near Graz, Austria, in June 2013. The 42 revised full papers presented were carefully reviewed and selected 69 submissions. The papers are organized in topical sections on image denoising and restoration, image enhancement and texture synthesis, optical flow and 3D reconstruction, scale space and partial differential equations, image and shape analysis, and segmentation.

This book constitutes the refereed proceedings of the 14th International Conference on Distributed Computing and Networking, ICDCN 2013, held in Mumbai, India, during January 3-6, 2013. The 27 revised full papers, 5 short papers presented together with 7 poster papers were carefully reviewed and selected from 149 submissions. The papers cover topics such as distributed algorithms and concurrent data structures; integration of heterogeneous wireless and wired networks; distributed operating systems; internetworking protocols and internet applications; distributed database systems; mobile and pervasive computing, context-aware distributed systems; embedded distributed systems; next generation and converged network architectures; experiments and performance evaluation of distributed systems; overlay and peer-to-peer networks and services; fault-tolerance, reliability, and availability; home networking and services; multiprocessor and multi-core architectures and algorithms; resource management and quality of service; self-organization, self-stabilization, and autonomic computing; network security and privacy; high performance computing, grid computing, and cloud computing; energy-efficient networking and smart grids; security, cryptography, and game theory in distributed systems; sensor, PAN and ad-hoc networks; and traffic engineering, pricing, network management.

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.

This volume constitutes the proceedings of the 9th International Conference on Simulated Evolution and Learning, SEAL 2012, held in Hanoi, Vietnam, in December 2012. The 50 full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on evolutionary algorithms, theoretical developments, swarm intelligence, data mining, learning methodologies, and real-world applications.

This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.

This book constitutes the proceedings of the First International Conference on Intelligent Robotics and Manufacturing, IRAM 2012, held in Kuala Lumpur, Malaysia, in November 2012. The 64 revised full papers included in this volume were carefully reviewed and selected from 102 initial submissions. The papers are organized in topical sections named: mobile robots, intelligent autonomous systems, robot vision and robust, autonomous agents, micro, meso and nano-scale automation and assembly, flexible manufacturing systems, CIM and micro-machining, and fabrication techniques.

This book constitutes the refereed proceedings of the 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, held in Santorini Island, Greece, in September 2012. The 88 revised papers were carefully selected from numerous submissions. In order to give a perspective in which both theoretical and applicational aspects of cellular automata contribute to the growth of the area, this book mirrors the structure of the conference, grouping the 88 papers into two main parts. The first part collects papers presented as part of the main conference and organized according to six main topics: theoretical results on cellular automata; cellular automata dynamics, control and synchronization; cellular automata and networks; modeling and simulation with cellular automata; cellular automata-based hardware and architectures; codes, pseudorandom number generators and cryptography with cellular automata. The second part of the volume is dedicated to contributions presented during the ACRI 2012 workshops on theoretical advances, specifically asynchronous cellular automata, and challenging application contexts for cellular automata: crowds and CA, traffic and CA, and the satellite Workshop on cellular automata of cancer growth and invasion.

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling; computing with words and decision making; soft computing in computer vision; rough sets and complex data analysis: theory and applications; intelligent databases and information system; information fusion systems; philosophical and methodological aspects of soft computing; basic issues in rough sets; 40th anniversary of the measures of fuziness; SPS11 uncertainty in profiling systems and applications; handling uncertainty with copulas; formal methods to deal with uncertainty of many-valued events; linguistic summarization and description of data; fuzzy implications: theory and applications; sensing and data mining for teaching and learning; theory and applications of intuitionistic fuzzy sets; approximate aspects of data mining and database analytics; fuzzy numbers and their applications; information processing and management of uncertainty in knowledge-based systems; aggregation functions; imprecise probabilities; probabilistic graphical models with imprecision: theory and applications; belief function theory: basics and/or applications; fuzzy uncertainty in economics and business; new trends in De Finetti's approach; fuzzy measures and integrals; multi criteria decision making; uncertainty in privacy and security; uncertainty in the spirit of Pietro Benvenuti; coopetition; game theory; probabilistic approach.

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling; computing with words and decision making; soft computing in computer vision; rough sets and complex data analysis: theory and applications; intelligent databases and information system; information fusion systems; philosophical and methodological aspects of soft computing; basic issues in rough sets; 40th anniversary of the measures of fuziness; SPS11 uncertainty in profiling systems and applications; handling uncertainty with copulas; formal methods to deal with uncertainty of many-valued events; linguistic summarization and description of data; fuzzy implications: theory and applications; sensing and data mining for teaching and learning; theory and applications of intuitionistic fuzzy sets; approximate aspects of data mining and database analytics; fuzzy numbers and their applications; information processing and management of uncertainty in knowledge-based systems; aggregation functions; imprecise probabilities; probabilistic graphical models with imprecision: theory and applications; belief function theory: basics and/or applications; fuzzy uncertainty in economics and business; new trends in De Finetti's approach; fuzzy measures and integrals; multicriteria decision making; uncertainty in privacy and security; uncertainty in the spirit of Pietro Benvenuti; coopetition; game theory; probabilistic approach.

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling; computing with words and decision making; soft computing in computer vision; rough sets and complex data analysis: theory and applications; intelligent databases and information system; information fusion systems; philosophical and methodological aspects of soft computing; basic issues in rough sets; 40th anniversary of the measures of fuziness; SPS11 uncertainty in profiling systems and applications; handling uncertainty with copulas; formal methods to deal with uncertainty of many-valued events; linguistic summarization and description of data; fuzzy implications: theory and applications; sensing and data mining for teaching and learning; theory and applications of intuitionistic fuzzy sets; approximate aspects of data mining and database analytics; fuzzy numbers and their applications; information processing and management of uncertainty in knowledge-based systems; aggregation functions; imprecise probabilities; probabilistic graphical models with imprecision: theory and applications; belief function theory: basics and/or applications; fuzzy uncertainty in economics and business; new trends in De Finetti's approach; fuzzy measures and integrals; multicriteria decision making; uncertainty in privacy and security; uncertainty in the spirit of Pietro Benvenuti; coopetition; game theory; probabilistic approach.

Computer Supported Cooperative Work (CSCW) is an interdisciplinary research area devoted to exploring the issues of designing computer-based systems that enhance the abilities to cooperate and integrate activities in an efficient and flexible manner for people in cooperative work situations. This volume is a rigorous selection of papers that represent both practical and theoretical approaches to CSCW from many leading researchers in the field. As an interdisciplinary area of research, CSCW brings together widely disparate research traditions and perspectives from computer, human, organisational and design sciences. The papers selected reflect a variety of approaches and cultures in the field. Audience: Of interest to a wide audience because of the huge practical impact of the issues and the interdisciplinary nature of the problems and solutions proposed. In particular: researchers and professionals in computing, sociology, cognitive science, human factors, and system design.

This volume constitutes the refereed proceedings of the 5th International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2011. The 42 revised full papers presented together with 7 short papers were carefully reviewed and selected from 162 submissions. The papers are organized in topical sections on: algorithm; applications; systems (hardware and software); biomedical informations; poster papers.

This book and its companion volume, LNCS vols. 7331 and 7332, constitute the Proceedings of the Third International conference on Swarm Intelligence, ICSI 2012, held in Shenzhen, China in June 2012. The 145 full papers presented were carefully reviewed and selected from 247 submissions. The papers are organized in 27 cohesive sections covering all major topics of swarm intelligence research and developments.

This book and its companion volume, LNCS vols. 7331 and 7332, constitute the proceedings of the Third International Conference on Swarm Intelligence, ICSI 2012, held in Shenzhen, China in June 2012. The 145 revised full papers presented were carefully reviewed and selected from 247 submissions. The papers are organized in 27 cohesive sections covering all major topics of swarm intelligence research and developments.

This book constitutes the refereed proceedings of the IFIP WG 8.2 Working Conference'Shaping the Future of ICT Research', held in Tampa, FL, USA, in December 2012. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: new methods in design science research; recent developments in inductive research methods; emerging themes in interpretive case study research; new ideas in positivist research; and innovative trends in information systems research.

Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using the ranking and joining of results as the dominant factors for service composition. The field is multi-disciplinary in nature and takes advantage of contributions from other research areas such as knowledge representation, human-computer interfaces, psychology, sociology, economics, and legal sciences. This book is the third in the Search Computing series and contains a collection of 16 papers, which in most cases were contributed to several workshops during 2011 organized by members of the Search Computing project in the context of major international conferences: ExploreWeb at ICWE 2011, Very Large Data Search and DBRank at VLDB 2011, DATAVIEW at ECOWS 2011, and OrdRing at ISWC 2011. The papers provide very useful insights on search computing problems and issues. The book has been divided into four parts focussing on: extraction and integration; query and visualization paradigms; exploring linked data; and games, social search and economics.

This book constitutes the refereed conference proceedings of the 9th International Conference on Advances in Computer Entertainment, ACE 2012, held in Kathmandu, Nepal, in November 2012. The 10 full paper and 19 short papers presented together with 5 papers from the special track Arts and Culture and 35 extended abstracts were carefully reviewed and selected from a total of 140 submissions in all categories. The papers cover topics across a wide spectrum of disciplines including computer science, design, arts, sociology, anthropology, psychology, and marketing. Focusing on all areas related to interactive entertainment they aim at stimulating discussion in the development of new and compelling entertainment computing and interactive art concepts and applications.

This book constitutes the refereed proceedings of the 5th International Conference on Brain Inspired Cognitive Systems, BICS 2012, held in Shenyang, Liaoning, China in July 2012. The 46 high-quality papers presented were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on biologically inspired systems, cognitive neuroscience, models of consciousness, and neural computation.

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 242 revised full papers presented in the three volumes LNCS 7389, LNAI 7390, and CCIS 304 were carefully reviewed and selected from 753 submissions. The papers in this volume (CCIS 304) are organized in topical sections on Neural Networks; Particle Swarm Optimization and Niche Technology; Kernel Methods and Supporting Vector Machines; Biology Inspired Computing and Optimization; Knowledge Discovery and Data Mining; Intelligent Computing in Bioinformatics; Intelligent Computing in Pattern Recognition; Intelligent Computing in Image Processing; Intelligent Computing in Computer Vision; Intelligent Control and Automation; Knowledge Representation/Reasoning and Expert Systems; Advances in Information Security; Protein and Gene Bioinformatics; Soft Computing and Bio-Inspired Techiques in Real-World Applications; Bio-Inspired Computing and Applications.

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling; computing with words and decision making; soft computing in computer vision; rough sets and complex data analysis: theory and applications; intelligent databases and information system; information fusion systems; philosophical and methodological aspects of soft computing; basic issues in rough sets; 40th anniversary of the measures of fuziness; SPS11 uncertainty in profiling systems and applications; handling uncertainty with copulas; formal methods to deal with uncertainty of many-valued events; linguistic summarization and description of data; fuzzy implications: theory and applications; sensing and data mining for teaching and learning; theory and applications of intuitionistic fuzzy sets; approximate aspects of data mining and database analytics; fuzzy numbers and their applications; information processing and management of uncertainty in knowledge-based systems; aggregation functions; imprecise probabilities; probabilistic graphical models with imprecision: theory and applications; belief function theory: basics and/or applications; fuzzy uncertainty in economics and business; new trends in De Finetti's approach; fuzzy measures and integrals; multicriteria decision making; uncertainty in privacy and security; uncertainty in the spirit of Pietro Benvenuti; coopetition; game theory; probabilistic approach.

This book constitutes the refereed proceedings of the Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, held in Costa de Caparica, Portugal, in February 2012. The 65 revised full papers were carefully reviewed and selected from numerous submissions. They cover a wide spectrum of topics ranging from collaborative enterprise networks to microelectronics. The papers are organized in topical sections on collaborative systems, service orientation, knowledge and content management, human interaction, Petri nets, smart systems, robotic systems, perceptional systems, signal processing, energy, renewable energy, energy smart grid, power electronics, electronics, optimization in electronics, telecommunications and electronics, and electronic materials. The book also includes papers from the Workshop on Data Anaylsis and Modeling Retina in Health and Disease.

This book constitutes the first of 3 volumes of refereed conference proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 242 revised full papers presented were carefully reviewed and selected from 753 submissions. The 84 papers included in this volume are organized in topical sections on evolutionary learning and genetic algorithms, fuzzy theory and models, swarm intelligence and optimization, kernel methods and supporting vector machines, nature inspired computing and optimization, systems biology and computational biology, knowledge discovery and data mining, graph theory and algorithms, machine learning theory and methods, biomedical informatics theory and methods, complex systems theory and methods, pervasive/ubiquitous computing theory and methods, intelligent computing in bioinformatics, intelligent computing in pattern recognition, intelligent computing in image processing, intelligent computing in robotics, intelligent computing in computer vision, intelligent computing in Petri nets/transportation systems, intelligent data fusion and information security, intelligent sensor networks, knowledge representation/reasoning and expert systems, hybrid optimization, and bio-inspired computing and application.

The two-volume set LNAI 7267 and LNCS 7268 (together with LNCS 7269) constitutes the refereed proceedings of the 11th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2012, held in Zakopane, Poland in April/May 2012. The 212 revised full papers presented were carefully reviewed and selected from 483 submissions. The papers are organized in topical sections on neural networks and their applications, computer vision, image and speech analysis, data mining, hardware implementation, bioinformatics, biometrics and medical applications, concurrent parallel processing, agent systems, robotics and control, artificial intelligence in modeling and simulation, various problems od artificial intelligence.

The two-volume set LNAI 7267 and 7268 (together with LNCS 7269) constitutes the refereed proceedings of the 11th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2012, held in Zakopane, Poland in April/ May 2012. The 212 revised full papers presented were carefully reviewed and selected from 483 submissions. The papers are organized in topical sections on neural networks and their applications, computer vision, image and speech analysis, data mining, hardware implementation, bioinformatics, biometrics and medical applications, concurrent parallel processing, agent systems, robotics and control, artificial intelligence in modeling and simulation, various problems od artificial intelligence.

This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012. The 55 papers presented in this volume were carefully reviewed and selected from 153 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on algorithms, automata theory and formal languages, coding theory and data compression, algorithmic graph theory and combinatorics, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptography, theoretical aspects of databases and information retrieval, data structures, networks, logic in computer science, machine learning, mathematical programming, parallel and distributed computing, pattern matching, quantum computing and random structures.

Advanced Computer Systems is a collection of forty selected papers presented to the Eighth International Conference on Computer Systems, October 2001 in Mielno, Poland. These papers provide a comprehensive summary of practice and research progress in information technologies: Recognition, Security and Safety concentrates on the widely-known problems of information systems security. Methods of Artificial Intelligence presents methods and algorithms which are the basics for the applications of artificial intelligence environments. Intelligent Agents and Distributed Activities includes laboratory research on multiagent intelligent systems as well as upon their applications in searching information, negotiating and supporting decision. Distributed Productions Networks and Modeling Complex Systems present production processes in distributed shared virtual environment, virtual solution of integer optimization problems, and a queuing approach to performance optimization in the distributed production network.

This book constitutes the refereed post-proceedings of the Joint International Semantic Technology Conference, JIST 2011, held in Hangzhou, China, in December 2011. This conference is a joint event for regional semantic Web related conferences. JIST 2011 brings together the Asian Semantic Web Conference 2011 and the Chinese Semantic Web Conference 2011. The 21 revised full papers presented together with 12 short papers were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in disciplines related to semantic technology including applications of the semantic Web, management of semantic Web data, ontology and reasoning, social semantic Web, and user interfaces to the semantic Web.

This book constitutes the refereed proceedings of the 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, held in Bhubaneswar, India, in February 2012. The 17 full papers presented together with 15 short papers in this volume were carefully reviewed and selected from 89 submissions. In addition the book contains the full versions of 6 invited talks. The papers range over a spectrum of issues related to the theme, covering theoretical foundations, computational tools, and societal applications. State of the art techniques like game theoretic ones are used by authors for analyzing conceptual problems.

The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied Informatics and Communication, ICAIC 2011, held in Xi'an, China in August 2011.The 446 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover a broad range of topics in computer science and interdisciplinary applications including control, hardware and software systems, neural computing, wireless networks, information systems, and image processing.

The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied Informatics and Communication, ICAIC 2011, held in Xi'an, China in August 2011. The 446 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover a broad range of topics in computer science and interdisciplinary applications including control, hardware and software systems, neural computing, wireless networks, information systems, and image processing.

The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied Informatics and Communication, ICAIC 2011, held in Xi'an, China in August 2011.The 446 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover a broad range of topics in computer science and interdisciplinary applications including control, hardware and software systems, neural computing, wireless networks, information systems, and image processing.

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 neural networks.

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.