الصفحة 51
الصفحة 51
Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Contains the papers accepted at the 32nd European Symposium on Programming(ESOP 2023), held during April 22–27, 2023, in Paris, France. ESOP is oneof the European Joint Conferences on Theory and Practice of Software (ETAPS); it isdedicated to fundamental issues in the specification, design, analysis, and implementationof programming languages and systems.
Programming Languages and Systems ; 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, Greece. ESOP is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is devoted to fundamental issues in the specification, design, analysis, and implementa- tion of programming languages and systems. The 36 papers in this volume were selected from 114 submissions based on origi-nality and quality.
Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3.6
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapters, thus expanding the introduction to programming from 50 to 150 pages. Throughout the book, the explanations provided are now more detailed, previous examples have been modified, and new sections, examples and exercises have been added. Also, a number of small errors have been corrected.
Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set of skills that allows the students to write simple programs for solving common mathematical problems with numerical methods in engineering and science courses. The emphasis is on generic algorithms, clean design of programs, use of functions, and automatic tests for verification.
Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set of skills that allows the students to write simple programs for solving common mathematical problems with numerical methods in engineering and science courses. The emphasis is on generic algorithms, clean design of programs, use of functions, and automatic tests for verification.
Programming Arduino Projects with the PIC microcontroller : A line-by-line code analysis and complete reference guide for embedded programming in C
You'll review and work with several Arduino projects plus two extra ones written for a PIC microcontroller. Each one is accompanied with a basic circuit diagram and photos of the program working. Ideal for the Arduino hobbyist and PIC programmers who want to merge their skills, this comprehensive book will go over every aspect of the 8-bit microcontroller, provide line-by-line analysis of the code, and in the end, show you how to bring your Arduino projects to the PIC microcontroller using C. You'll gain a full understanding of how the C instructions work and can be used with the PIC microcontroller. You will: Examine how the code works / Create code to perform any function / Build practical projects on vero boards with full vero plans and circuit diagrams / Understand how programs work by simulation with an ECAD package
Program Analysis and Compilation : Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
This Festschrift volume publishing to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and research collaborators, as well as current and former colleagues, who all attended a celebratory symposium held at Schloss Dagstuhl, Germany.
Production Rendering : Design and Implementation
A Rendering framework for managing a micro polygon-oriented graphics pipeline. Problems presented by different types of geometry showing how different surface types can be made ready for shading : Shading and how it fits into a rendering pipeline / How to write a good shader compiler / Ray tracing in a production renderer / Incorporating global illumination into a renderer / Gathering surface samples into a final image / Tips and tricks in rendering
Production Planning in Production Networks : Models for Medium and Short-term Planning
Production Planning in Production Networks addresses production planning problems in distributed manufacturing networks from strategic, tactical, organisational and operative perspectives. New methodologies for capacity negotiation, allocation and workload assignment in production networks are presented. Specifically, three main problems are focussed on: how to negotiate production capacity availability in the long-term; how to allocate production capacity in medium-term planning; and, how to assign workloads in the short-term. The proposed approaches are based on negotiation algorithms in multi-agent networks. These approaches are compared with classical centralised approaches using discrete event simulation methodologies. Benchmark analysis is provided to understand the effectiveness and efficiency of the proposed approaches.
Product-focused software process improvement ; 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings
The Eight International Conference on Product-Focused Software Process Impro- ment (PROFES 2007) brought together researchers and industrial practitioners to report new research results and exchange experiences and findings in the area of process and product improvement.
Process Optimization : A Statistical Approach
A textbook for a course in experimental optimization techniques for industrial production processes and other "noisy" systems where the main emphasis is process optimization. The book can also be used as a reference text by Industrial, Quality and Process Engineers and Applied Statisticians working in industry, in particular, in semiconductor/electronics manufacturing and in biotech manufacturing industries.
Process Control : The Passive Systems Approach
In this book, passivity-based developments in the areas of robust process control, decentralized control, fault tolerant control, process controllability analysis and nonlinear process control are addressed systematically for the first time. Written for the industrial, engineering and academic communities, the emphasis is placed on results that enhance insight and intuition. Application issues are illustrated by case studies in all the main chapters. MATLAB® routines for selected examples and a library of functions that implement the system analysis and control design methods developed in Process Control can be downloaded from springer.com. This book presents the reader with both the conceptual framework and practical tools for passivity-based system analysis and control.
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014
Cutting edge scientific researches on various social phenomena are reviewed. New methods for analysis of big data such as financial markets, automobile traffics, epidemic spreading, world-trades and social media communications are provided to clarify complex interaction and distributions underlying in these social phenomena. Robustness and fragility of social systems are discussed based on agent models and complex network models. Techniques about high performance computers are introduced for simulation of complicated social phenomena.
Proceedings of the 5th International Conference on Numerical Modelling in Engineering ; Vol.1 : Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium
Covers numerical simulations with industrial civil engineering applications such as bridges and dams, cyclic loading, fluid dynamics, structural mechanics, geotechnical engineering, thermal analysis, reinforced concrete structures, steel structures, and composite structures.
Proceedings of the 17th international meshing roundtable
This volume contains the articles presented at the 17th International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and held October 12-15, 2008 in Pittsburgh, PA, USA. Each year the IMR brings together researchers, developers, and application experts, from a variety of disciplines, to present and discuss ideas on mesh generation and related topics. The topics covered by the IMR have applications in numerical analysis, computational geometry, computer graphics, as well as other areas, and the presentations describe novel work ranging from theory to application.
Proceedings of the 16th international meshing roundtable ; 1st ed.
This volume contains the articles presented at the 16th International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and held in Seattle, Washington, U.S.A. in October, 2007. Each year the IMR brings together researchers, developers, and application experts, from a variety of disciplines, to present and discuss ideas on mesh generation and related topics. The topics covered by the IMR have applications in numerical analysis, computational geometry, computer graphics, as well as other areas, and the presentations describe novel work ranging from theory to application.
Proceedings of the 15th international meshing roundtable
This volume contains the articles presented at the 15th International Meshing Roundtable conference organized by Sandia National Laboratories and held in Birmingham, Alabama, U.S.A. in September 2006. brings technical papers that relate analysis and application solutions to mesh generation process, as well as theoretical contributions and novel ideas with potential applications are also included.
Proceedings of 3rd International Conference on Computer vision and image processing ; CVIP 2018 ; Vol.2
All the papers have been rigorously reviewed by the experts from the domain. This 2 volume proceedings include technical contributions in the areas of Image/Video Processing and Analysis; Image/Video Formation and Display; Image/Video Filtering, Restoration, Enhancement and Super-resolution; Image/Video Coding and Transmission; Image/Video Storage, Retrieval and Authentication; Image
Proceedings of 3rd International Conference on Computer vision and image processing ; CVIP 2018 ; Vol.1
All the papers have been rigorously reviewed by the experts from the domain. This 2 volume proceedings include technical contributions in the areas of Image/Video Processing and Analysis; Image/Video Formation and Display; Image/Video Filtering, Restoration, Enhancement and Super-resolution; Image/Video Coding and Transmission; Image/Video Storage, Retrieval and Authentication; Image
Problems on algorithms : A comprehensive exercise book for students in software engineering
Provides a comprehensive collection of practical problems on the design, analysis and verification of algorithms / Includes approximately 1500 designed problems / Presents algorithms which are supported by figures, hints, solutions, and comments / Provides a collection of practical problems on the basic and advanced data structures, design, and analysis of algorithms. To make this book suitable for self-instruction, about one-third of the algorithms are supported by solutions, and some others are supported by hints and comments.
