الصفحة 15
الصفحة 15
Collaborative curriculum design for sustainable innovation and teacher learning
This book provides insight into what it takes to actively involve teachers in the curriculum design process. It examines different aspects of teacher involvement in collaborative curriculum design, with specific attention to its implications for sustainable curriculum innovation and teacher learning. Divided into six sections, the book starts out by introducing the notion of collaborative curriculum design and discusses its historical and theoretical foundations. It describes various approaches commonly adopted to actively involve teachers in the (co-)design of curriculum materials. Sections two and three provide examples of what key phases in the curriculum design process - such as needs analysis, design and development, and implementation - look like across various collaborative curriculum design projects. Section four reports on the impact of collaborative curriculum design on student learning, teacher practices, teacher professional growth, and institutional change. Building on the research evidence about the outcomes of collaborative curriculum design, section five focuses on sustainability, scaling-up and curriculum leadership issues, which are key to the continuation and further evolution of curriculum innovations. Future perspectives are addressed in section six with emphasis on the infrastructure of a sustainable curriculum innovation.
Cognitive engineering : A distributed approach to machine intelligence
Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering systems. Beginning with the foundations of psychological modeling of the human mind, the main emphasis is given to parallel and distributed realization of intelligent models for application in reasoning, learning, planning and multi-agent co-ordination problems. The last two chapters provide case studies on human-mood detection and control, and behavioral co-operation of mobile robots. This is the first comprehensive text of its kind, bridging the gap between Cognitive Science and Cognitive Systems Engineering. Each chapter includes plenty of numerical examples and exercises with sufficient hints, so that the reader can solve the exercises on their own. Computer simulations are also included in most chapters to give a clear idea about the application of the algorithms undertaken in the book. In addition, mathematical analysis on convergence and stability of the neuro-fuzzy models will enable the reader to pursue their research career in cognitive engineering.
Coding for Wireless Channels
Accessible introduction to the theoretical foundations of modern coding theoryIncluding numerous applications to wireless transmission systemsThe author is famous in the field of coding and wireless communications for his work in the area of faded channels & communcations.
Mathematical Methods for Engineers and Geoscientists
This book introduces and explains classical and modern mathematical procedures as applied to the real problems confronting engineers and geoscientists. Written in a manner that is understandable for students across the breadth of their studies, it lays out the foundations for mastering difficult and sometimes confusing mathematical methods.
Mathematical Linguistics
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up, with no prior knowledge of linguistics being assumed, covering more than the average two-semester introductory course in linguistics.This comprehensive, reader-friendly volume offers readers a high-level orientation, discussing the foundations of the field and presenting both the classical work and the most recent results. It covers an extremely rich array of topics including not only syntax and semantics but also phonology and morphology, probabilistic approaches, complexity, learnability, and the analysis of speech and handwriting.
Mathematical Foundations of Computer Science 2008 ; 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
Mathematical Foundations of Computer Science 2007 ; 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Cesk?? Krumlov, Czech Republic, August 26-31, 2007. All current aspects in theoretical computer science and its mathematical foundations are addressed.
Mathematical foundations of computer science 2006 ; 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006, held in Stará Lesná, Slovakia in August/September 2006. The 62 revised full papers presented together with the full papers or abstracts of 7 invited talks were carefully reviewed and selected from 174 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry, parallel and distributed computing, networks, bioinformatics, quantum computing, cryptography, knowledge-based systems, and artificial intelligence.
Mathematical Foundations of Computer Science 2005 ; 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005. The 62 papers address various aspects in theoretical computer science, ranging from quantum computing, approximation, automata, circuits, scheduling, games, and more.
Marketing for Sustainable Development : Rethinking Consumption Models
Many people see a weak association between marketing and sustainable development and even consider them as two incompatible fields. However, marketing benefits from an extremely powerful position to encourage transformations at the production level and to guide consumers towards responsible behaviors. From its inception, marketing has been positioned as a support for the relationship between the company and its customers, with the quest for well-being set in the very foundations of the discipline.
Magnetism : From Fundamentals to Nanoscale Dynamics
Gives an comprehensive account of magnetism, spanning the historical development, the physical foundations and the continuing research underlying the field, one of the oldest yet still vibrant field of physics. It covers both the classical and quantum mechanical aspects of magnetism and novel experimental techniques. Perhaps uniquely, it also discusses spin transport and magnetization dynamics phenomena associated with atomically and spin engineered nano-structures against the backdrop of spintronics and magnetic storage and memory applications.
Machine Learning Refined : Foundations, Algorithms, and Applications
Provides students with the fundamental knowledge and practical tools needed to conduct research and build data-driven products. The authors prioritize geometric intuition and algorithmic thinking, and include detail on all the essential mathematical prerequisites, to offer a fresh and accessible way to learn. Practical applications are emphasized, with examples from disciplines including computer vision, natural language processing, economics, neuroscience, recommender systems, physics, and biology.
Machine learning refined : Foundations, algorithms, and applications
Providing a unique approach to machine learning, this text contains fresh and intuitive, yet rigorous, descriptions of all fundamental concepts necessary to conduct research, build products, tinker, and play. By prioritizing geometric intuition, algorithmic thinking, and practical real world applications in disciplines including computer vision, natural language processing, economics, neuroscience, recommender systems, physics, and biology, this text provides readers with both a lucid understanding of foundational material as well as the practical tools needed to solve real-world problems. With in-depth Python and MATLAB/OCTAVE-based computational exercises and a complete treatment of cutting edge numerical optimization techniques, this is an essential resource for students and an ideal reference for researchers and practitioners working in machine learning, computer science, electrical engineering, signal processing, and numerical optimization
Long Memory in Economics
When applying the statistical theory of long range dependent (LRD) processes to economics, the strong complexity of macroeconomic and financial variables, compared to standard LRD processes, becomes apparent. In order to get a better understanding of the behaviour of some economic variables, the book assembles three different strands of long memory analysis: statistical literature on the properties of, and tests for, LRD processes; mathematical literature on the stochastic processes involved; models from economic theory providing plausible micro foundations for the occurence of long memory in economics. Each chapter of the book will give a comprehensive survey of the state of the art and the directions that future developments are likely to take. Taken as a whole the book provides an overview of LRD processes which is accessible to economists, econometricians and statisticians.
Logistics Systems Analysis
It has two new sections, a new appendix, and more than half a dozen new figures. A few references have also been added, Much of the new material is based on work , The financial support of the National Science Foundation and the Volvo Foundations Center of Excellence for the Future of Urban Transportation at U. C. Berkeley is also acknowledged. The new appendix presents the logic behind the traveling salesman and vehicle routing results used in Sec. 4. 2 to describe the transportation ope- tion; Chapter 4 is more self-contained as a result. New section 5. 6 int- duces and evaluates a general method that automatically translates the c- tinuum approximation recipes of Chapters 4 and 5 into discrete system designs. This closes a gap in previous editions. Other additions include an explanation of how to develop system designs that can efficiently acc- modate real-time control strategies to manage uncertainty (new section 4. 6. 3), and extensions of the many-to-many design ideas of Chap. 6
Logic-based program synthesis and transformation ; 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Logical foundations of computer science ; International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Logical Foundations for Rule-Based Systems
Presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification.
Logic, language, information and computation ; 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.
