الصفحة 17
الصفحة 17
Machine Intelligence and Big Data Analytics for Cybersecurity Applications
Presents the latest advances in machine intelligence and big data analytics to improve early warning of cyber-attacks, for cybersecurity intrusion detection and monitoring, and malware analysis. Cyber-attacks have posed real and wide-ranging threats for the information society. Detecting cyber-attacks becomes a challenge, not only because of the sophistication of attacks but also because of the large scale and complex nature of today’s IT infrastructures. It discusses novel trends and achievements in machine intelligence and their role in the development of secure systems and identifies open and future research issues related to the application of machine intelligence in the cybersecurity field.
Machine Ethics : From Machine Morals to the Machinery of Morality
Offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. Based on a dialogue between an AI scientist and a novelist philosopher, the book discusses important findings on which moral values machines can be taught and how. In turn, it investigates what kind of artificial intelligence (AI) people do actually want.
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Logic, Language, and Computation ; 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005.
Logic Based Program Synthesis and Transformation ; Vol. 3573 : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. The presence of duplicated code (or functionality) is a primary indication that the design of the program can be improved by performing a so-called refactoring transformation. Within the framework of our analysis, we formally characterize three situations of duplicated functionality and their associated refactorings: the extraction of a duplicated goal into a new predicate, the removal of equivalent predicates and the generalization of two predicates into a higher-order predicate. The resulting analysis detects in a completely automatic way what program fragments are suitable candidates for the considered refactoring transformations.
Linear and Generalized Linear Mixed Models and Their Applications
This book covers two major classes of mixed effects models—linear mixed models and generalized linear mixed models—and it presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. It offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it discusses the latest developments and methods in the field, incorporating relevant updates since publication of the first edition. These include advances in high-dimensional linear mixed models in genome-wide association studies (GWAS), advances in inference about generalized linear mixed models with crossed random effects, new methods in mixed model prediction, mixed model selection, and mixed model diagnostics.
Leveraging the Semantics of Topics Maps ; 2nd International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected papers
The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, held October 11–12, 2006, in Leipzig, Germany. TMRA 2006 was the second conference of an annual series of international conferences dedicated to Topic Maps in research and industry.
Learning to Live in the Knowledge Society ; IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Learning and Adaption in Multi-Agent Systems ; 1st International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
Contains selected and revised papers of the International Workshop on Lea- ing and Adaptation in Multi-Agent Systems (LAMAS 2005), held at the AAMAS 2005 Conference in Utrecht, The Netherlands, July 26. An important aspect in multi-agent systems (MASs) is that the environment evolves over time, not only due to external environmental changes but also due to agent int- actions. For this reason it is important that an agent can learn, based on experience, and adapt its knowledge to make rational decisions and act in this changing environment autonomously. Machine learning techniques for single-agent frameworks are well established. Agents operate in uncertain environments and must be able to learn and act - tonomously. This task is, however, more complex when the agent interacts with other agents that have potentially different capabilities and goals. The single-agent case is structurally different from the multi-agent case due to the added dimension of dynamic interactions between the adaptive agents. Multi-agent learning, i.e., the ability of the agents to learn how to cooperate and compete, becomes crucial in many domains. Autonomous agents and multi-agent systems (AAMAS) is an emerging multi-disciplinary area encompassing computer science, software engineering, biology, as well as cognitive and social sciences. A t- oretical framework, in which rationality of learning and interacting agents can be - derstood, is still under development in MASs, although there have been promising ?
Lean Business Systems and Beyond ; 1st IFIP TC 5 Advanced Production Management Systems Conference (APMS’2006), Wroclaw, Poland, September 18-20, 2006
Includes : foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Large-Scale Scientific Computing ; 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, 2007. The conference was organized by the Institute for Parallel Processing at the Bulgarian Academy of Sciences in cooperation with SIAM (Society for Industrial and Applied Ma- ematics). Partial support was also provided from project BIS-21++ funded by the European Commission in FP6 INCO via grant 016639/2005. The conference was devoted to the 60th anniversary of Richard E. Professor Ewing is internati- ally well known with his contributions in applied mathematics, mathematical modeling, and large-scale scientific computations.
Large-Scale Knowledge Resources. Construction and Application ; 3rd International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings
At the start of the 21st century,we are now well on the way to wards aknowled- intensive society, in which knowledge plays ever more important roles. Thus, research interest should inevitably shift from information to knowledge, with the problems of building, organizing, maintaining and utilizing knowledge - coming centralissues in a wide varietyof felds. The 21stCentury COE program “Framework for Systematization and Application of Large-scale Knowledge - sources (COE-LKR)” conducted by the Tokyo Institute of Technology is one of several early attempts worldwide to address these important issues. Inspired by this project, LKR2008 aimed at bringing together diverse contributions in cognitive science, computer science, education and linguistics to explore design, construction, extension, maintenance, validation and application of knowledge.
Language Technologies for the Challenges of the Digital Age ; 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings
Constitutes the refereed proceedings of the 27th biennial conference of the German Society for Computational Linguistics and Language Technology, GSCL 2017, held in Berlin, Germany, in September 2017, which focused on language technologies for the digital age. The 16 full papers and 10 short papers included in the proceedings were carefully selected from 36 submissions. Topics covered include text processing of the German language, online media and online content, semantics and reasoning, sentiment analysis, and semantic web description languages.
Knowledge-Based Intelligent Information and Engineering Systems ; 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III
Constitutes the refereed proceedings of the 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2008, held in Zagreb, Croatia, in September 2008.The 316 revised papers presented were carefully reviewed and selected. The papers present a wealth of original research results from the field of intelligent information processing in the broadest sense; topics covered in the third volume are intelligent data processing in process systems and plants; neural information processing for data mining; soft computing approach to management engineering; advanced groupware; agent and multi-agent systems.
Knowledge-Based Intelligent Information and Engineering Systems ; 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II
The papers present a wealth of original research results from the field of intelligent information processing in the broadest sense; topics covered in the second volume are artificial intelligence driven engineering design optimization; biomedical informatics: intelligent information management from nanomedicine to public health; communicative intelligence; computational intelligence for image processing and pattern recognition; computational intelligence in human cancer research; computational intelligence techniques for Web personalization; computational intelligent techniques for bioprocess modelling, monitoring and control; intelligent computing for Grid.
Knowledge-Based Intelligent Information and Engineering Systems ; 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I
The 316 revised papers presented were carefully reviewed and selected. The papers present a wealth of original research results from the field of intelligent information processing in the broadest sense; topics covered in the first volume are artificial neural networks and connectionists systems; fuzzy and neuro-fuzzy systems; evolutionary computation; machine learning and classical AI; agent systems; knowledge based and expert systems; intelligent vision and image processing; knowledge management, ontologies, and data mining; Web intelligence, text and multimedia mining and retrieval; and intelligent robotics and control.
Knowledge Sharing in the Integrated Enterprise : Interoperability Strategies for the Enterprise Architect
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Knowledge science, engineering and management; 13th International Conference, KSEM 2020, Hangzhou, China, August 28–30, 2020, Proceedings, Part I
Constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.* The 58 revised full papers and 27 short papers were carefully reviewed and selected from 291 submissions. The papers of the first volume are organized in the following topical sections: knowledge graph; knowledge representation; knowledge management for education; knowledge-based systems; and data processing and mining. The papers of the second volume are organized in the following topical sections: machine learning; recommendation algorithms and systems; social knowledge analysis and management; text mining and document analysis; and deep learning.
Knowledge science, engineering and management ; 13th International Conference, KSEM 2020, Hangzhou, China, August 28–30, 2020, Proceedings, Part II
Constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.* The 58 revised full papers and 27 short papers were carefully reviewed and selected from 291 submissions. The papers of the first volume are organized in the following topical sections: knowledge graph; knowledge representation; knowledge management for education; knowledge-based systems; and data processing and mining. The papers of the second volume are organized in the following topical sections: machine learning; recommendation algorithms and systems; social knowledge analysis and management; text mining and document analysis; and deep learning.
Knowledge Management In Action ; IFIP 20th World Computer Congress, Conference on Knowledge Management in Action, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured.
