Author: Publisher:
ISBN:
Category : Numerical analysis
Languages : fr
Pages : 440
Book Description
RAIRO, Revue française d'automatique, d'informatique et de recherche opérationnelle
Author: Revue française d'automatique, informatique, recherche opérationnelle
Author: Serials Catalog: Titles A-Z
Author: Iowa State University. LibraryPublisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 954
Book Description
Finite Element Procedures
Author: Klaus-Jürgen BathePublisher: Klaus-Jurgen Bathe
ISBN: 9780979004902
Category : Engineering mathematics
Languages : en
Pages : 1056
Book Description
Serials Catalog: Titles, O-Z; and Corporate body index
Author: Iowa State University. LibraryPublisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 878
Book Description
Preprints
Author: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Author: Pedro Lopez-GarciaPublisher: Springer Nature
ISBN: 303131476X
Category : Computers
Languages : en
Pages : 363
Book Description
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Politécnica de Madrid (UPM). He has published more than 300 scientific publications, given numerous keynotes and invited talks at major conferences, coordinated many national and international projects, and served the community in major conference roles, on journal boards, and on funding, scientific, and research committees. Among his awards are the Julio Rey Pastor prize in Mathematics and Information Science and Technology and the Aritmel prize in Computer Science; he is an elected member of the Academia Europaea; and in 2022 he was elected a Fellow of the ACM for contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute. Throughout his career Manuel has shown his amazing capacity for detailed work, thoroughness, and expert contributions, along with the interpersonal skills needed for successful collaboration, such as a positive attitude and a sense of humor. The contributions in this volume reflect the quality and the scope of his research interests and mentoring successes.
Novel Finite Element Technologies for Solids and Structures
Author: Jörg SchröderPublisher: Springer Nature
ISBN: 3030335208
Category : Mathematics
Languages : en
Pages : 202
Book Description
This book presents new ideas in the framework of novel, finite element discretization schemes for solids and structure, focusing on the mechanical as well as the mathematical background. It also explores the implementation and automation aspects of these technologies. Furthermore, the authors highlight recent developments in mixed finite element formulations in solid mechanics as well as novel techniques for flexible structures at finite deformations. The book also describes automation processes and the application of automatic differentiation technique, including characteristic problems, automatic code generation and code optimization. The combination of these approaches leads to highly efficient numerical codes, which are fundamental for reliable simulations of complicated engineering problems. These techniques are used in a wide range of applications from elasticity, viscoelasticity, plasticity, and viscoplasticity in classical engineering disciplines, such as civil and mechanical engineering, as well as in modern branches like biomechanics and multiphysics.
Revue française d'automatique, informatique, recherche opérationnelle, sommaire
Author: Integer Programming and Related Areas
Author: C. KastningPublisher: Springer Science & Business Media
ISBN: 3662022842
Category : Business & Economics
Languages : en
Pages : 504
Book Description
Integer Prograw~ing is one of the most fascinating and difficult areas in the field of Mathematical Optimization. Due to this fact notable research contributions to Integer Programming have been made in very different branches of mathematics and its applications. Since these publications are scattered over many journals, proceedings volumes, monographs, and working papers, a comprehensive bibliography of all these sources is a helpful tool even for specialists in this field. I initiated this compilation of literature in 1970 at the Institut fur ~konometrie und Operations Research, University of Bonn. Since then many collaborators have contributed to and worked on it. Among them Dipl.-Math. Claus Kastning has done the bulk of the work. With great perseverance and diligence he has gathered all the material and checked it with the original sources. The main aim was to incorporate rare and not easily accessible sources like Russian journals, preprints or unpublished papers. Without the invaluable and dedicated engagement of Claus Kastning the bibliography would never have reached this final version. For this reason he must be considered its responsible editor. As with any other collection this literature list has a subjective viewpoint and may be in some sense incomplete. We have however tried to be as complete as possible. The bibliography contains 4704 different publications by 6767 authors which were classified by 11839 descriptor entries.