IMACS '91, 13th World Congress on Computation and Applied Mathematics
Author: Robert Vichnevetsky
Publisher:
Published: 1991
Total Pages: 998
ISBN-13:
DOWNLOAD EBOOKProceedings -- Computer Arithmetic, Algebra, OOP.
Read and Download eBook Full
Author: Robert Vichnevetsky
Publisher:
Published: 1991
Total Pages: 998
ISBN-13:
DOWNLOAD EBOOKProceedings -- Computer Arithmetic, Algebra, OOP.
Author: Gabriele Kaiser
Publisher: Springer
Published: 2017-10-31
Total Pages: 735
ISBN-13: 3319625977
DOWNLOAD EBOOKThis 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.
Author: Ulrich Hornung
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 290
ISBN-13: 1461219205
DOWNLOAD EBOOKThis 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.
Author: Xiao-qi Yang
Publisher: Springer Science & Business Media
Published: 2013-03-14
Total Pages: 439
ISBN-13: 147573333X
DOWNLOAD EBOOKThis 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.
Author: Lyubomir T. Gruyitch
Publisher: CRC Press
Published: 2003-12-15
Total Pages: 336
ISBN-13: 9780203643679
DOWNLOAD EBOOKStability 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.
Author: Milos D. Ercegovac
Publisher: Elsevier
Published: 2004
Total Pages: 736
ISBN-13: 1558607986
DOWNLOAD EBOOKThe authoritative reference on the theory and design practice of computer arithmetic.
Author: Gerard Comyn
Publisher: Springer Science & Business Media
Published: 1992-08-25
Total Pages: 338
ISBN-13: 9783540559306
DOWNLOAD EBOOKLogic 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.
Author: Osvaldo Gervasi
Publisher: Springer Nature
Published: 2021-09-10
Total Pages: 760
ISBN-13: 3030869601
DOWNLOAD EBOOKThe 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
Author: Toshikazu Ebisuzaki
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 317
ISBN-13: 9401008647
DOWNLOAD EBOOKProceedings of the International Symposium on Supercomputing held in Tokyo, Japan, September 1-3, 1997