الصفحة 3
الصفحة 3
Knowledge-Based Intelligent Information and Engineering Systems ; 11th International Conference, KES 2007, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II
Annotation The three volume set LNAI 4692, LNAI 4693, and LNAI 4694, constitute the refereed proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2007, held in Vietri sul Mare, Italy, September 12-14, 2007. The papers present a wealth of original research results from the field of intelligent information processing in the broadest sense.
Knowledge-Based Intelligent Information and Engineering Systems ; 11th International Conference, KES 2007, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part I
This book is part of a three-volume set that constitutes the refereed proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2007.
Knowledge science, engineering and management ; 1st International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings
Here are the refereed proceedings of the First International Conference on Knowledge Science, Engineering and Management, KSEM 2006, held in Guilin, China in August 2006 in conjunction with PRICAI 2006. The book presents 51 revised full papers and 57 revised short papers together with 4 invited talks, reporting a wealth of new ideas and current research results in the broad areas of knowledge science, knowledge engineering, and knowledge management.
Bioinformatics of genome regulation and structure II
The conference was organized by the Laboratory of Theoretical Genetics, Institute of Cytology and Genetics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia. The material covers the most recent topics in bioinformatics, including (i) regulatory genomic sequences: databases, knowledge bases, computer analysis, modeling, and recognition; (ii) large-scale genome analysis and functional annotation; (iii) gene structure detection and prediction; (iv) comparative and evolutionary genomics; (v) computer analysis of genome polymorphism and evolution; computer analysis and modeling of transcription, splicing, and translation; structural computational biology: structure- function organization of genomic DNA, RNA, and proteins; (vi) gene networks, signal transduction pathways, and genetically controlled metabolic pathways: databases, knowledge bases, computer analysis, and modeling; principles of organization, operation, and evolution; (vii) data warehousing, knowledge discovery and data mining; and (viii) analysis of basic patterns of genome operation, organization, and evolution.
Automated Reasoning with Analytic Tableaux and Related Methods ; 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.
Applications of declarative programming and knowledge management ; 15th international conference on applications of declarative programming and knowledge management, INAP 2004, and 18th workshop on logic programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Applications and Innovations in Intelligent Systems XV ; Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
The papers in this volume are the refereed application papers presented at AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2007.
Applications and Innovations in Intelligent Systems XIII ; Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artifical Intelligence
The papers in this volume present new and innovative developments in the field, divided into sections on Applied AI in Information Processing, Techniques for Applied AI, Industrial Applications and Medical Applications.This is the thirteenth volume in the Applications and Innovations series. The series serves as a key reference as to how AI technology has enabled organisations to solve complex problems and gain significant business benefit.
Applications and innovations in intelligent systems XII ; Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innhovative Techniques and Applications of Artificial Intelligence
The papers in this volume are the refereed application papers presented at AI-2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge 2004. The papers present new and innovative developments in the field, divided into sections on Synthesis and Prediction, Scheduling and Search, Diagnosis and Monitoring, Classification and Design, and Analysis and Evaluation. This is the twelth volume in the Applications and Innovations series. The series serves as a key reference on the use of AI Technology to enable organisations to solve complex problems and gain significant business benefits. The Technical Stream papers are published as a companion volume under the title Research and Development in Intelligent Systems XXI.
An Introduction to Knowledge Engineering
Knowledge Engineering refers to the development of systems that use knowledge, rather than data, to solve many novel computing problems. This is achieved by the application of computing techniques, closely associated with human cognitive processes, for transforming data into knowledge. An Introduction to Knowledge Engineering presents a simple but detailed exploration of current and established work in the field.
AI 2006 : Advances in artificial intelligence ; 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings
This volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at Hobart, Australia. AI 2006 received a record number of submissions, a total of 689 submissions from 35 countries. The papers in this volume give an indication of recent advances in artificial int- ligence. The topics covered include Machine Learning, Robotics, AI Applications, Planning, Agents, Data Mining and Knowledge Discovery, Cognition and User Interface, Vision and Image Processing, Information Retrieval and Search, AI in the Web, Knowledge Representation, Knowledge-Based Systems, and Neural Networks.
Aggregation functions : A guide for practitioners
Aggregation of information is of primary importance in the construction of knowledge based systems in various domains, ranging from medicine, economics, and engineering to decision-making processes, artificial intelligence, robotics, and machine learning. This book gives a broad introduction into the topic of aggregation functions, and provides a concise account of the properties and the main classes of such functions, including classical means, medians, ordered weighted averaging functions, Choquet and Sugeno integrals, triangular norms, conorms and copulas, uninorms, nullnorms, and symmetric sums. It also presents some state-of-the-art techniques, many graphical illustrations and new interpolatory aggregation functions. A particular attention is paid to identification and construction of aggregation functions from application specific requirements and empirical data. This book provides scientists, IT specialists and system architects with a self-contained easy-to-use guide, as well as examples of computer code and a software package. It will facilitate construction of decision support, expert, recommender, control and many other intelligent systems.
Advances in informatics ; 10th Panhellenic Conference on informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
This volume contains a subset of the papers presented at the 10th Panhellenic Conference in Informatics (PCI 2005), which took place at the , Greece, Of the submitted papers, 81 were accepted for inclusion in this volume, papers are classi?ed into 17 thematic sections as follows: – data bases and data mining – algorithms and theoretical foundations – cultural and museum information systems – Internet-scale software/information systems – wearable and mobile computing – computer graphics, virtual reality and visualization – AI, machine learning and knowledge bases – languages, text and speech processing – bioinformatics – software engineering – educational technologies – e-business – computer and sensor hardware and architecture – computer security – image and video processing – signal processing and telecommunications – computer and sensor networks
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Acollection of world class paper articles addressing the following topics: Image and Pattern Recognition: Compression, Image processing, Signal Processing Architectures, Signal Processing for Communication, Signal Processing Implementation, Speech Compression, and Video Coding Architectures. Languages and Systems: Algorithms, Databases, Embedded Systems and Applications, File Systems and I/O, Geographical Information Systems, Kernel and OS Structures, Knowledge Based Systems, Modeling and Simulation, Object Based Software Engineering, Programming Languages, and Programming Models and tools. Parallel Processing: Distributed Scheduling, Multiprocessing, Real-time Systems, Simulation Modeling and Development, and Web Applications. New trends in computing: Computers for People of Special Needs, Fuzzy Inference, Human Computer Interaction, Incremental Learning, Internet-based Computing Models, Machine Intelligence, Natural Language Processing, Neural Networks, and Online Decision Support System.
Activity and Sign : Grounding Mathematics Education
Provides new sources of knowledge based on Michael Otte’s fundamental insight that understanding the problems of mathematics education – how to teach, how to learn, how to communicate, how to do, and how to represent mathematics – depends on means, mainly philosophical and semiotic, that have to be created first of all, and to be reflected from the perspectives of a multitude of diverse disciplines.
25 Years of P53 Research
Communication, awareness and access to information: Given the complexity of the field and the fact that data pertaining to each particular aspects of p53 biology or deregulation are scattered in many different publications, it is extremely difficult to access the full scale of relevant information of any specific p53-related topic. This book may help in this task by putting into perspective both general considerations on the p53 pathway and more specific information on various aspects of p53. In the longer term, however, open access to p53 complexity will require the development of knowledge bases accessible through the web and using simple navigation tools to guide users towards the specific information they need. Several efforts are currently being developed in that direction. They need to be strenghtened and better integrated within the rapidly growing galaxy of web-based information sources on molecular and individual variations in cancer. 2. Reference functional assays and structural analysis: Given the huge diversity of cellular and animal models for wild-type or mutant p53 functions, it will be important to set up standard, universally accepted assays to measure critical p53 protein functions.
