Page 1
Page 1
Intelligent Tutoring Systems ; 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Tutoring Systems, ITS 2006, held in Jhongli, Taiwan in June 2006. The 67 revised full papers and 40 poster papers presented together with abstracts of 6 keynote talks were carefully reviewed and selected from over 200 submissions. The papers are organized in topical sections on assessment, authoring tools, bayesian reasoning and decision-theoretic approaches, case-based and analogical reasoning, cognitive models, collaborative learning, elearning and web-based intelligent tutoring systems, error detection and handling, feedback, gaming behavior, learner models, motivation, natural language techniques for intelligent tutoring systems, scaffolding, simulation, as well as tutorial dialogue and narrative.
Innovative Concepts for Autonomic and Agent-Based Systems ; 2nd International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
This volume includes revised versions of papers presented at the workshop. The workshop was structured so as to allow adequate time for discussion and interaction, to exchange ideas and reflect on the motivations, scientific grounds and practical consequences of the concepts presented. Many of the ideas are truly “radical”, and so authors were given time to revise their papers to reflect further thoughts on the ideas presented and to reflect feedback received at the workshop. We are grateful to Jeff Kephart for a very interesting keynote speech describing IBM’s current and future work in this field, which fit very well with the aims and scope of the workshop.
Fundamental approaches to software engineering ; Vol. 3922 ; 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Fundamental approaches to software engineering ; Vol. 3442 ; 8th International Conference, FASE 2005, Held as Part of the Joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.
Foundation models for natural language processing : pre-trained language models integrating media
Covers basic natural language processing models, pre-trained language models BERT, GPT, and sequence-to-sequence converters, as well as the concepts of self-attention and context-sensitive embedding. Various approaches to improving these models are then discussed, such as expanding the pre-training parameters, increasing the length of input texts, or incorporating additional knowledge. An overview of the best performing models is then provided for about twenty application areas, e.g., question answering, translation, story generation, dialogue systems, image generation from text, etc. For each application area, the strengths and weaknesses of existing models are discussed, and an overview of further developments is provided. In addition, links to freely available code are provided. The concluding chapter summarizes the economic opportunities, risk mitigation, and potential developments of AI.
Form-oriented analysis : A new methodology to model form-based applications
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a modeling framework optimized for this broad application domain. They introduce new modeling artifacts, such as page diagrams and form storyboards, and separate dialogue patterns to allow for reuse. In their implementation they have developed new constructs such as typed server pages, and tools for forward and reverse engineering of presentation layers. The methodology is explained using an online bookshop as a running example in which the user can experience the modeling concepts in action. The combination of theoretical achievements and hands-on practical advice and tools makes this book a reference work for both researchers in the areas of software architectures and submit-response style user interfaces, and professionals designing and developing such applications. More information and additional material is also available online.
Design and analysis of randomized algorithms : Introduction to design paradigms
Randomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized algorithms are often more efficient, simpler and, surprisingly, also more reliable than their deterministic counterparts. Computing tasks exist that require billions of years of computer work when solved using the fastest known deterministic algorithms, but they can be solved using randomized algorithms in a few minutes with negligible error probabilities. Introducing the fascinating world of randomness, this book systematically teaches the main algorithm design paradigms – foiling an adversary, abundance of witnesses, fingerprinting, amplification, and random sampling, etc. – while also providing a deep insight into the nature of success in randomization. Taking sufficient time to present motivations and to develop the reader's intuition, while being rigorous throughout, this text is a very effective and efficient introduction to this exciting field.
Computational methods in systems biology ; Vol. 3082 ; International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems for formalisms, modeling issues and implementation issues in systems biology. The main motivation for CMBSlib is to stimulate research on the formal modeling of biological systems, by facilitating the exchange of formal models between researchers, and by providing a forum of comparison and validation of not only models, but also modeling formalisms and implementations. Unlike a standardization effort, CMBSlib welcomes the most exotic formalisms and models provided they attack the modeling of well documented biological systems. Models of biological systems written in any referenced formalism can be submitted to CMBSlib. No special format or standard is required. We discuss the advantages of and problems encountered in building such a library, give an example of typical entry in the library, and most of all we invite the community to become active contributors to CMBSlib.
Collaborative Networks : Reference Modeling
Collaborative Networks: Reference Modeling works to establish a theoretical foundation for Collaborative Networks. Particular emphasis is put on modeling multiple facets of collaborative networks and establishing a comprehensive modeling framework that captures and structures diverse perspectives of these complex entities.
Compiler construction ; Vol. 3923 : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other.
Bioinformatics
In this textbook present mathematical models in bioinformatics and they describe the biological problems that inspire the computer science tools used to handle the enormous data sets involved. The first part of the book covers the mathematical and computational methods, while the practical applications are presented in the second part. The mathematical presentation is descriptive and avoids unnecessary formalism, and yet remains clear and precise. Emphasis is laid on motivation through biological problems and cross applications. Each of the four chapters in the first part is accompanied by exercises and problems to support an understanding of the techniques presented. Each of the six chapters of the second part is devoted to some specific application domain: sequence alignment, molecular phylogenetics and coalescence theory, genomics, proteomics, RNA, and DNA microarrays. Each chapter concludes with a problems and projects section, to deepen the reader's understanding and to allow for the design of derived methods. Many of the projects involve publicly available software and/or Web-based bioinformatics depositories. Finally, the book closes with a thorough bibliography, reaching from classic research results to very recent findings, providing many pointers for future research.Overall, this volume is ideally suited for a senior undergraduate or graduate course on bioinformatics, with a strong focus on its mathematical and computer science background.
Beyond knowledge : The legacy of competence : Meaningful computer-based learning environments
The edited and peer reviewed volume presents selected papers of the conference "Beyond knowlegde: the legacy of competence" It reflects the current state-of-the-art work of scholars worldwide within the area of learning and instruction with computers. Mainly, areas of computer-based learning environments supporting competence-focused knowledge acquisition but also foundational scientific work are addressed. More specific, contents cover cognitive processes in hypermedia and multimedia learning, social issues in computer-supported collaborative learning, motivation and emotion in Blended Learning and e-Learning.
Beyond Cartesian Dualism : Encountering affect in the teaching and learning of science.
There is surprisingly little known about affect in science education. Despite periodic forays into monitoring students’ attitudes-toward-science, the effect of affect is too often overlooked. Beyond Cartesian Dualism gathers together contemporary theorizing in this axiomatic area. In fourteen chapters, senior scholars of international standing use their knowledge of the literature and empirical data to model the relationship between cognition and affect in science education. Their revealing discussions are grounded in a broad range of educational contexts including school classrooms, universities, science centres, travelling exhibits and refugee camps, and explore an array of far reaching questions. What is known about science teachers’ and students’ emotions? How do emotions mediate and moderate instruction? How might science education promote psychological
Basic bundle theory and K-Cohomology invariants
Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory with the aim to provide newcomers to the field with solid foundations in topological K-theory. A fundamental theme, emphasized in the book, centers around the gluing of local bundle data related to bundles into a global object. One renewed motivation for studying this subject, which has developed for almost 50 years in many directions, comes from quantum field theory, especially string theory, where topological invariants play an important role.
Attitudes, beliefs, motivation and identity in mathematics education : An overview of the field and future directions
Records the state of the art in research on mathematics-related affect. It discusses the concepts and theories of mathematics-related affect along the lines of three dimensions. The first dimension identifies three broad categories of affect: motivation, emotions, and beliefs. The book contains one chapter on motivation, including discussions on how emotions and beliefs relate to motivation. There are two chapters that focus on beliefs and a chapter on attitude which cross-cuts through all these categories. The second dimension covers a rapidly fluctuating state to a more stable trait. All chapters in the book focus on trait-type affect and the chapter on motivation discusses both these dimensions. The third dimension regards the three main levels of theorizing: physiological (embodied), psychological (individual) and social. All chapters reflect that mathematics-related affect has mainly been studied using psychological
Attention and Performance in Computational Vision ; 2nd International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Attention and Performance in Computational Vision, WAPCV 2004, held in Prague, Czech Republic in May 2004. The goal of this workshop was to provide an interdisciplinary forum tocommunicatecomputationalmodelsofvisualattentionfromvariousviewpoints,such as from computer vision, psychology, robotics and neuroscience. The motivation for - terdisciplinarity was communication and inspiration beyond the individual community, to focus discussion on computational modelling, to outline relevant objectives for p- formance comparison, to explore promising application domains, and to discuss these with reference to all related aspects of cognitive vision.
Advances in intelligent data analysis XVIII ; 18th International symposium on intelligent data analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings
This book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020. The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.
Advances in Data Mining : Applications in E-Commerce, Medicine, and Knowledge Management
Presents papers describing selected projects on the topic of data mining in fields like e commerce, medicine, and knowledge management. The objective is to report on current results and at the same time to give a review on the present activities in this field in Germany. An effort has been made to include the latest scientific results, as well as lead the reader to the various fields of activity and the problems related to them. Knowledge discovery on the basis of web data is a wide and fast growing area. E commerce is the principal theme of motivation in this field, as companies invest large sums in the electronic market, in order to maximize their profits and minimize their risks. Other applications are telelearning, teleteaching, service support, and citizen information systems. Concerning these applications, there is a great need to understand and support the user by means of recommendation systems, adaptive information systems, as well as by personalization.
