الصفحة 2
الصفحة 2
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.
Integration of Fuzzy Logic and Chaos Theory
Attempts to present some current research progress and results on the interplay of fuzzy logic and chaos theory. More specifically, this book includes a collection of some state-of-theart surveys, tutorials, and application examples written by some experts working in the interdisciplinary fields overlapping fuzzy logic and chaos theory.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 4148 ; 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical contributions, three invited talks, a special session on hearing-aid design, and an embedded tutorial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert reviewers, selected the 64 papers presented at PATMOS. The papers were organized into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, full papers were required, and several reviews were received per manuscript.
Innovative approaches for learning and knowledge sharing ; 1st European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings
This book constitutes the refereed proceedings of the First European Conference on Technology Enhanced Learning, EiTEL 2006, held in Crete, Greece in October 2006. The 32 revised full papers, 13 revised short papers and 31 poster papers presented together with 2 keynote talks were carefully reviewed and selected from 192 submissions. The conference provides a unique forum for all research related to technology-enhanced learning, as well as its interactions with knowledge management, business processes and work environments. Topics addressed are collaborative learning, personalized learning, multimedia content, semantic web, metadata and learning, workplace learning, learning repositories and infrastructures for learning, as well as experience reports, assesment, and case studies.
Innovations in Machine Learning : Theory and Applications
Machine learning is currently one of the most rapidly growing areas of research in computer science. In compiling this volume we have brought together contributions from some of the most prestigious researchers in this field. This book covers the three main learning systems; symbolic learning, neural networks and genetic algorithms as well as providing a tutorial on learning casual influences. Each of the nine chapters is self-contained. Both theoreticians and application scientists/engineers in the broad area of artificial intelligence will find this volume valuable. It also provides a useful sourcebook for Postgraduate since it shows the direction of current research.
Inductive logic programming ; 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
“Change is inevitable.” Embracing this quote we have tried to carefully exp- iment with the format of this conference, the 15th International Conference on Inductive Logic Programming, hopefully making it even better than it already was. But it will be up to you, the inquisitive reader of this book, to judge our success. The major changes comprised broadening the scope of the conference to include more diverse forms of non-propositional learning, to once again have tutorials on exciting new areas, and, for the ?rst time, to also have a discovery challenge as a platform for collaborative work. This year the conference was co-located with ICML 2005, the 22nd Inter- tional Conference on Machine Learning, and also in close proximity to IJCAI 2005, the 19th International Joint Conference on Arti?cial Intelligence. - location can be tricky, but we greatly bene?ted from the local support provided by Codrina Lauth, Michael May, and others. We were also able to invite all ILP and ICML participants to shared events including a poster session, an invited talk, and a tutorial about the exciting new area of “statistical relational lea- ing”. Two more invited talks were exclusively given to ILP participants and were presented as a kind of stock-taking—?ttingly so for the 15th event in a series—but also tried to provide a recipe for future endeavours.
Hyperbolic Systems of Balance Laws : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 14-21, 2003
The present Cime volume includes four lectures by Bressan, Serre, Zumbrun and Williams and an appendix with a Tutorial on Center Manifold Theorem by Bressan. Bressan’s notes start with an extensive review of the theory of hyperbolic conservation laws. Then he introduces the vanishing viscosity approach and explains clearly the building blocks of the theory in particular the crucial role of the decomposition by travelling waves. Serre focuses on existence and stability for discrete shock profiles, he reviews the existence both in the rational and in the irrational cases and gives a concise introduction to the use of spectral methods for stability analysis. Finally the lectures by Williams and Zumbrun deal with the stability of multidimensional fronts.
Human-centered visualization environments : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Papers
This tutorial book features an augmented selection of the material presented at the GI-Dagstuhl Research Seminar on Human-Centered Visualization Environments, HCVE 2006, held in Dagstuhl Castle, Germany in March 2006. It presents eight tutorial lectures that are the thoroughly cross-reviewed and revised versions of the summaries and findings presented and discussed at the seminar.
High Confidence Software Reuse in Large Systems ; 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in Beijing, China, in May 2008.The 40 revised full papers presented together with 5 workshop summaries and 5 tutorials were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on architecture and reuse approaches, high confidence and reuse, component selection and reuse repository, product line, domain models and analysis, service oriented environment, components and services, reuse approaches and frameworks, as well as reuse approaches and methods.
Hardware and software, verification and testing ; 2nd International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL.
Hardware and software : Verification and testing ; 1st International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.
Handbook Of Operations Research In Natural Resources
Handbook of Operations Research in Natural Resources will be the first systematic handbook treatment of quantitative modeling natural resource problems, their allocated efficient use, and societal and economic impact. Andrés Weintraub is the very top person in Natural Resource research. Moreover, he has an international reputation in OR and a former president of the International Federation of Operational Research Societies (IFORS). He has selected co-editors who are at the top of the sub-fields in natural resources: agriculture, fisheries, forestry, and mining. The book will cover these areas in terms with contributions from researchers on modeling natural research problems, quantifying data, developing algorithms, and discussing the benefits of research implementations. The handbook will include tutorial contributions when necessary.
GUI design for android apps
GUI Design for Android Apps is the perfect—and concise—introduction for mobile app developers and designers. Through easy-to-follow tutorials, code samples, and case studies, the book shows the must-know principles for user-interface design for Android apps running on the Intel platform, including smartphones, tablets and embedded devices.
Graph Transformations ; 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations.
Geospace Electromagnetic Waves and Radiation
The contributions gathered in this volume provide introductions to current problems in geospace electromagnetic radiation, guides to the associated literature and tutorial reviews of the relevant space physics. Students and scientists working on various aspects of the terrestrial aurora or magnetospheric and near-Earth heliospheric high-frequency waves will find this volume an indispensable companion for their studies.
Generative programming and component engineering ; 4th International conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These approaches to software engineering have the potential to revolutionize software development as automation and components revolutionized manufacturing. The conference brings together researchers and practitioners interested in adva- ing automation for software development. It is also a premier forum for cro- fertilization between the programming language and software engineering - search communities. GPCEaroseasajointconference, mergingthepriorconferenceonGenerative and Component-Based Software Engineering (GCSE) and the Workshop on - mantics, Applications, andImplementationofProgramGeneration(SAIG). The proceedingsofthepreviousGPCEconferenceswerepublishedintheLNCSseries of Springer as volumes2487,2830, and 3286.In 2005 GPCE wasco-locatedwith the International Conference on Functional Programming (ICFP) and the s- posium on Trends in Functional Programming (TFP), re?ecting the vigorous interaction between the functional programming and generative programming research communities. GPCE and ICFP are both sponsored by the Association for Computing Machinery. The quality and breadth of the papers submitted to GPCE 2005 was impr- sive. All 86 papers, including 5 papers for tool demonstrations, were rigorously reviewed by 17 highly quali?ed Program Committee members. The members of the Program Committee ?rst provided in-depth individual reviews of the s- mitted papers, and then debated the merits of the papers through an extended electronicProgramCommitteemeeting.After much(friendly) argument,25r- ular papers and 2 tool demonstration papers were selected for publication. The ProgramCommittee provided extensive technical feedback to the authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.
Generative and transformational techniques in software engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.The 7 tutorial lectures presented together with 5 short tutorials and 4 contributions to the participants workshop were carefully selected during multiple rounds of reviewing and improvement. The tutorials given by renowned representatives of complementary approaches and problem domains combine foundations, methods, examples, and tool support.
Generative and transformational techniques in software engineering ; International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book comprises 7 tutorial lectures presented together with 8 technology presentations and 6 contributions to the participants workshop.
Gallium Nitride Electronics
Gallium Nitride Electronics covers developments in III-N semiconductor-based electronics with a focus on high-power and high-speed RF applications. Material properties of III-N semiconductors and substrates; the state-of-the-art of devices and circuits, epitaxial growth, device technology, modelling and characterization; and circuit examples are discussed. The book concludes with device reliability aspects and an overview of integration and packaging. This comprehensive monograph and tutorial is based on more than a decade of research on materials, devices, and circuits.
Fundamentals of electrical drives
This brings us to the purpose of this book namely to help students and engineers appreciate and understand the fundamental concepts of modern electrical drives. An interactive learning approach is taken in this text: theory and calculations are augmented by generic models which are transposed to a simulation platform. The 'build and play' method used in this text visualizes the dynamic operation of a comprehensive set of modules ranging from an inductance to a novel 'ideal rotating transformer' (IRTF). This module is at the center of the generic models used in this text to explore the dynamic and steady state operation of grid and converter fed induction, synchronous and DC machines. The section on modulation and control emphasizes the role of power electronics and digital signal processors in drives. Downloadable files that accompany this text have an extensive set of 'build and play' tutorials, in Simulink R° and Caspoc. The latter is a simulation platform which allows direct access to the 'build and play' modules, without further licensing needs. All figures in this text are included in the downloadable files in order to help with the preparation of customized Power Point type lecture material.
