This book is a printed edition of the Special Issue "Selected Papers from the 13th Estuarine and Coastal Modeling Conference" that was published in JMSE

Includes subject section, name section, and 1968-1970, technical reports.

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.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-fourth publication in the Lecture Notes in Logic series, contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, in August 2003. These articles include an extended tutorial on generalizing finite model theory, as well as seventeen original research articles spanning all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy.

Artificial Intelligence is one of the most fascinating and unusual areas of academic study to have emerged this century. For some, AI is a true scientific discipline, that has made important and fundamental contributions to the use of computation for our understanding of nature and phenomena of the human mind; for others, AI is the black art of computer science. Artificial Intelligence Today provides a showcase for the field of AI as it stands today. The editors invited contributions both from traditional subfields of AI, such as theorem proving, as well as from subfields that have emerged more recently, such as agents, AI and the Internet, or synthetic actors. The papers themselves are a mixture of more specialized research papers and authorative survey papers. The secondary purpose of this book is to celebrate Springer-Verlag's Lecture Notes in Artificial Intelligence series.