This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their work, LaTeX has become an integral part of today's publishing workflow. On the other hand, modern research increasingly relies on CAS to simplify, manipulate, compute, and visualize mathematics. However, existing LaTeX import functions in CAS are limited to simple arithmetic expressions and are, therefore, insufficient for most use cases. Consequently, the workflow of experimenting and publishing in the Sciences often includes time-consuming and error-prone manual conversions between presentational LaTeX and computational CAS formats. To address the lack of a reliable and comprehensive translation tool between LaTeX and CAS, this thesis makes the following three contributions. First, it provides an approach to semantically enhance LaTeX expressions with sufficient semantic information for translations into CAS syntaxes. Second, it demonstrates the first context-aware LaTeX to CAS translation framework LaCASt. Third, the thesis provides a novel approach to evaluate the performance for LaTeX to CAS translations on large-scaled datasets with an automatic verification of equations in digital mathematical libraries. This is an open access book.

Sams Teach Yourself Microsoft Access 2000 In 21 Days Is A Hands-On Tutorial For Users Who Want To Learn Access By Working Through Solid Examples. This Book Shows You How To Develop Solid Databases From Start To Finish. Focusing On Access Databases On The Desktop, The Book Also Addresses Implementing Access In A Networked Or Client/Server Environment. Key Topics Included Relational Databases And The Access 2000 Architecture, Designing, Building, And Maintaining Full Feature Database Applications, Implementing Data Access Pages, Working With Visual Basic For Applications And The Visual Basic Editor, And Publishing Access Content To The Www Or Intranet. "Real World Examples And Tasks Walk You Through The Learning Process And Allow You To Apply This Knowledge To Your Individual Projects "Work Through Access Sample Databases On The Cd To Build Robust Databases "Cd-Rom Contains Samples Needed To Work Through The Examples In The Book, And An Access 97 Database For Conversion Practice Sams Teach Yourself Microsoft Access 2000 In 21 Days Is A Hands-On Tutorial For Users Who Want To Learn Access By Working Through Solid Examples. This Book Shows You How To Develop Solid Databases From Start To Finish. Focusing On Access Databases On The Desktop, The Book Also Addresses Implementing Access In A Networked Or Client/Server Environment. Key Topics Included Relational Databases And The Access 2000 Architecture, Designing, Building, And Maintaining Full Feature Database Applications, Implementing Data Access Pages, Working With Visual Basic For Applications And The Visual Basic Editor, And Publishing Access Content To The Www Or Intranet. "Real World Examples And Tasks Walk You Through The Learning Process And Allow You To Apply This Knowledge To Your Individual Projects "Work Through Access Sample Databases On The Cd To Build Robust Databases "Cd-Rom Contains Samples Needed To Work Through The Examples In The Book, And An Access 97 Database For Conversion Practice

Energy geostructures are a tremendous innovation in the field of foundation engineering and are spreading rapidly throughout the world. They allow the procurement of a renewable and clean source of energy which can be used for heating and cooling buildings. This technology couples the structural role of geostructures with the energy supply, using the principle of shallow geothermal energy. This book provides a sound basis in the challenging area of energy geostructures. The objective of this book is to supply the reader with an exhaustive overview on the most up-to-date and available knowledge of these structures. It details the procedures that are currently being applied in the regions where geostructures are being implemented. The book is divided into three parts, each of which is divided into chapters, and is written by the brightest engineers and researchers in the field. After an introduction to the technology as well as to the main effects induced by temperature variation on the geostructures, Part 1 is devoted to the physical modeling of energy geostructures, including in situ investigations, centrifuge testing and small-scale experiments. The second part includes numerical simulation results of energy piles, tunnels and bridge foundations, while also considering the implementation of such structures in different climatic areas. The final part concerns practical engineering aspects, from the delivery of energy geostructures through the development of design tools for their geotechnical dimensioning. The book concludes with a real case study. Contents Part 1. Physical Modeling of Energy Piles at Different Scales 1. Soil Response under Thermomechanical Conditions Imposed by Energy Geostructures, Alice Di Donna and Lyesse Laloui. 2. Full-scale In Situ Testing of Energy Piles, Thomas Mimouni and Lyesse Laloui. 3. Observed Response of Energy Geostructures, Peter Bourne-Webb. 4. Behavior of Heat-Exchanger Piles from Physical Modeling, Anh Minh Tang, Jean-Michel Pereira, Ghazi Hassen and Neda Yavari. 5. Centrifuge Modeling of Energy Foundations, John S. McCartney. Part 2. Numerical Modeling of Energy Geostructures 6. Alternative Uses of Heat-Exchanger Geostructures, Fabrice Dupray, Thomas Mimouni and Lyesse Laloui. 7. Numerical Analysis of the Bearing Capacity of Thermoactive Piles Under Cyclic Axial Loading, Maria E. Suryatriyastuti, Hussein Mroueh , Sébastien Burlon and Julien Habert. 8. Energy Geostructures in Unsaturated Soils, John S. McCartney, Charles J.R. Coccia , Nahed Alsherif and Melissa A. Stewart. 9. Energy Geostructures in Cooling-Dominated Climates, Ghassan Anis Akrouch, Marcelo Sanchez and Jean-Louis Briaud. 10. Impact of Transient Heat Diffusion of a Thermoactive Pile on the Surrounding Soil, Maria E. Suryatriyastuti, Hussein Mroueh and Sébastien Burlon. 11. Ground-Source Bridge Deck De-icing Systems Using Energy Foundations, C. Guney Olgun and G. Allen Bowers. Part 3. Engineering Practice 12. Delivery of Energy Geostructures, Peter Bourne-Webb with contributions from Tony Amis, Jean-Baptiste Bernard, Wolf Friedemann, Nico Von Der Hude, Norbert Pralle, Veli Matti Uotinen and Bernhard Widerin. 13. Thermo-Pile: A Numerical Tool for the Design of Energy Piles, Thomas Mimouni and Lyesse Laloui. 14. A Case Study: The Dock Midfield of Zurich Airport, Daniel Pahud. About the Authors Lyesse Laloui is Chair Professor, Head of the Soil Mechanics, Geoengineering and CO2 storage Laboratory and Director of Civil Engineering at the Swiss Federal Institute of Technology (EPFL) in Lausanne, Switzerland. Alice Di Donna is a researcher at the Laboratory of Soil Mechanics at the Swiss Federal Institute of Technology (EPFL) in Lausanne, Switzerland.

Computing Handbook, Third Edition: Computer Science and Software Engineering mirrors the modern taxonomy of computer science and software engineering as described by the Association for Computing Machinery (ACM) and the IEEE Computer Society (IEEE-CS). Written by established leading experts and influential young researchers, the first volume of this popular handbook examines the elements involved in designing and implementing software, new areas in which computers are being used, and ways to solve computing problems. The book also explores our current understanding of software engineering and its effect on the practice of software development and the education of software professionals. Like the second volume, this first volume describes what occurs in research laboratories, educational institutions, and public and private organizations to advance the effective development and use of computers and computing in today’s world. Research-level survey articles provide deep insights into the computing discipline, enabling readers to understand the principles and practices that drive computing education, research, and development in the twenty-first century.