Proceedings of the 13th International Congress on Mathematical Education

Proceedings of the 13th International Congress on Mathematical Education

Author: Gabriele Kaiser

Publisher: Springer

Published: 2017-10-31

Total Pages: 735

ISBN-13: 3319625977

DOWNLOAD EBOOK

This book is open access under a CC BY 4.0 license. The book presents the Proceedings of the 13th International Congress on Mathematical Education (ICME-13) and is based on the presentations given at the 13th International Congress on Mathematical Education (ICME-13). ICME-13 took place from 24th- 31st July 2016 at the University of Hamburg in Hamburg (Germany). The congress was hosted by the Society of Didactics of Mathematics (Gesellschaft für Didaktik der Mathematik - GDM) and took place under the auspices of the International Commission on Mathematical Instruction (ICMI). ICME-13 brought together about 3.500 mathematics educators from 105 countries, additionally 250 teachers from German speaking countries met for specific activities. Directly before the congress activities were offered for 450 Early Career Researchers. The proceedings give a comprehensive overview on the current state-of-the-art of the discussions on mathematics education and display the breadth and deepness of current research on mathematical teaching-and-learning processes. The book introduces the major activities of ICME-13, namely articles from the four plenary lecturers and two plenary panels, articles from the five ICMI awardees, reports from six national presentations, three reports from the thematic afternoon devoted to specific features of ICME-13. Furthermore, the proceedings contain descriptions of the 54 Topic Study Groups, which formed the heart of the congress and reports from 29 Discussion Groups and 31 Workshops. The additional important activities of ICME-13, namely papers from the invited lecturers, will be presented in the second volume of the proceedings.


Homogenization and Porous Media

Homogenization and Porous Media

Author: Ulrich Hornung

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 290

ISBN-13: 1461219205

DOWNLOAD EBOOK

This book offers a systematic, rigorous treatment of upscaling procedures related to physical modeling for porous media on micro-, meso- and macro-scales, including detailed studies of micro-structure systems and computational results for dual-porosity models.


Optimization Methods and Applications

Optimization Methods and Applications

Author: Xiao-qi Yang

Publisher: Springer Science & Business Media

Published: 2013-03-14

Total Pages: 439

ISBN-13: 147573333X

DOWNLOAD EBOOK

This edited book is dedicated to Professor N. U. Ahmed, a leading scholar and a renowned researcher in optimal control and optimization on the occasion of his retirement from the Department of Electrical Engineering at University of Ottawa in 1999. The contributions of this volume are in the areas of optimal control, non linear optimization and optimization applications. They are mainly the im proved and expanded versions of the papers selected from those presented in two special sessions of two international conferences. The first special session is Optimization Methods, which was organized by K. L. Teo and X. Q. Yang for the International Conference on Optimization and Variational Inequality, the City University of Hong Kong, Hong Kong, 1998. The other one is Optimal Control, which was organized byK. ~Teo and L. Caccetta for the Dynamic Control Congress, Ottawa, 1999. This volume is divided into three parts: Optimal Control; Optimization Methods; and Applications. The Optimal Control part is concerned with com putational methods, modeling and nonlinear systems. Three computational methods for solving optimal control problems are presented: (i) a regularization method for computing ill-conditioned optimal control problems, (ii) penalty function methods that appropriately handle final state equality constraints, and (iii) a multilevel optimization approach for the numerical solution of opti mal control problems. In the fourth paper, the worst-case optimal regulation involving linear time varying systems is formulated as a minimax optimal con trol problem.


Stability Domains

Stability Domains

Author: Lyubomir T. Gruyitch

Publisher: CRC Press

Published: 2003-12-15

Total Pages: 336

ISBN-13: 9780203643679

DOWNLOAD EBOOK

Stability Domains is an up-to-date account of stability theory with particular emphasis on stability domains. Beyond the fundamental basis of the theory of dynamical systems, it includes recent developments in the classical Lyapunov stability concept, practical stabiliy properties, and a new Lyapunov methodology for nonlinear systems. It also introduces classical Lyapunov and practical stability theory for time-invariant nonlinear systems in general and for complex (interconnected, large scale) nonlinear dynamical systems in particular. This is a complete treatment of the theory of stability domains useful for postgraduates and researchers working in this area of applied mathematics and engineering.


Digital Arithmetic

Digital Arithmetic

Author: Milos D. Ercegovac

Publisher: Elsevier

Published: 2004

Total Pages: 736

ISBN-13: 1558607986

DOWNLOAD EBOOK

The authoritative reference on the theory and design practice of computer arithmetic.


Logic Programming in Action

Logic Programming in Action

Author: Gerard Comyn

Publisher: Springer Science & Business Media

Published: 1992-08-25

Total Pages: 338

ISBN-13: 9783540559306

DOWNLOAD EBOOK

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.


Computational Science and Its Applications – ICCSA 2021

Computational Science and Its Applications – ICCSA 2021

Author: Osvaldo Gervasi

Publisher: Springer Nature

Published: 2021-09-10

Total Pages: 760

ISBN-13: 3030869601

DOWNLOAD EBOOK

The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 – 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic. The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, cryptography, human computer interaction, software design engineering, and others. Part II of the set follows two general tracks: geometric modeling, graphics and visualization; advanced and emerging applications. Further sections include the proceedings of the workshops: International Workshop on Advanced Transport Tools and Methods (A2TM 2021); International Workshop on Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2021); International Workshop on Advancements in Applied Machine-learning and Data Analytics (AAMDA 2021). At the end of the book there is a block of short papers. The chapter "Spatial justice models: an exploratory analysis on fair distribution of opportunities" is published open access under a CC BY license (Creative Commons Attribution 4.0 International License). /div


New Horizons of Computational Science

New Horizons of Computational Science

Author: Toshikazu Ebisuzaki

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 317

ISBN-13: 9401008647

DOWNLOAD EBOOK

Proceedings of the International Symposium on Supercomputing held in Tokyo, Japan, September 1-3, 1997