الصفحة 4
الصفحة 4
Direct and Large-Eddy Simulation VI ; Proceedings of the Sixth International ERCOFTAC Workshop on Direct and Large-Eddy Simulation, held at the University of Poitiers, September 12-14, 2005
this workshop addressed numerous theoretical and physical aspects of transitional and turbulent flows. At an applied level it contributed to the solution of problems related to energy production, transportation and the environment. Since the prediction and analysis of fluid turbulence and transition continues to challenge engineers, mathematicians and physicists, DLES-6 covered a large range of topics, from the more technical ones like numerical methods, initial and inflow conditions, the coupling of RANS and LES zones, subgrid and wall modelling to topics with a stronger focus on flow physics such as aero-acoustics, compressible and geophysical flows, flow control, multiphase flow and turbulent combustion, to quote only a few.
Dimension Reduction of Large-Scale Systems ; Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003
In the past decades, model reduction has become an ubiquitous tool in analysis and simulation of dynamical systems, control design, circuit simulation, structural dynamics, CFD, and many other disciplines dealing with complex physical models. The aim of this book is to survey some of the most successful model reduction methods in tutorial style articles and to present benchmark problems from several application areas for testing and comparing existing and new algorithms. As the discussed methods have often been developed in parallel in disconnected application areas.
Digital Communications Using Chaos and Nonlinear Dynamics
This book introduces readers to a new and exciting cross-disciplinary field of digital communications with chaos. This field was born around 15 years ago, when it was first demonstrated that nonlinear systems which produce complex non-periodic noise-like chaotic signals, can be synchronized and modulated to carry useful information. Thus, chaotic signals can be used instead of pseudo-random digital sequences for spread-spectrum and private communication applications. This deceptively simple idea spun hundreds of research papers, and many novel communication schemes based on chaotic signals have been proposed. However, only very recently researchers have begun to make a transition from academic studies toward practical implementation issues, and many "promising" schemes had to be discarded or re-formulated. This book describes the state of the art (both theoretical and experimental) of this novel field.
Design of adaptive finite Element software : The finite element toolbox ALBERTA
During the last years, scientific computing has become an important research branch located between applied mathematics and applied sciences and engineering. Highly efficient numerical methods are based on adaptive methods, higher order discretizations, fast linear and non-linear iterative solvers, multi-level algorithms, etc. Such methods are integrated in the adaptive finite element software ALBERTA. It is a toolbox for the fast and flexible implementation of efficient software for real life applications, based on modern algorithms. ALBERTA also serves as an environment for improving existent, or developing new numerical methods in an interplay with mathematical analysis and it allows the direct integration of such new or improved methods in existing simulation software.
Design Automation Methods and Tools for Microfluidics-Based Biochips
Design Automation Methods and Tools for Microfluidics-Based Biochips deals with all aspects of design automation for microfluidics-based biochips. Experts have contributed chapters on many aspects of biochip design automation. Topics covered include: device modeling; numerical methods and simulation tools; physical design and module placement.
Control problems for conservation laws with traffic applications: modeling, analysis, and numerical methods
Conservation and balance laws on networks have been the subject of much research interest given their wide range of applications to real-world processes, particularly traffic flow. This open access monograph is the first to investigate different types of control problems for conservation laws that arise in the modeling of vehicular traffic. Four types of control problems are discussed - boundary, decentralized, distributed, and Lagrangian control - corresponding to, respectively, entrance points and tolls, traffic signals at junctions, variable speed limits, and the use of autonomy and communication. Because conservation laws are strictly connected to Hamilton-Jacobi equations, control of the latter is also considered.
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually described by sets of either ordinary or partial differential equations possibly coupled with algebraic equations, can be simulated on a digital computer.
Continuous Optimization : Current Trends and Modern Applications
The search for the best possible performance is inherent in human nature. Individuals, enterprises and governments all seek optimal—that is, the best—possible solutions of problems that they meet. Evidently, continuous optimization plays an increasingly significant role in everyday management and technical decisions in science, engineering and commerce. The collection of 16 refereed papers in this book covers a diverse number of topics and provides a good picture of recent research in continuous optimization. The first part of the book presents substantive survey articles in a number of important topic areas of continuous optimization. Most of the papers in the second part present results on the theoretical aspects as well as numerical methods of continuous optimization. The papers in the third part are mainly concerned with applications of continuous optimization.
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The book gives an introduction to the most important models of the field, followed by a detailed description of numerical techniques for the models. Particular focus is on efficient numerical methods for large scale simulations on both scalar and parallel computers.
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide an accessible introduction to the mathematical methods needed to deal with these models. They emphasize the use of numerical methods and provide sufficient details for the reader to implement the models and thereby study the effect of various drugs. Examples in the text include stochastic calcium release from internal storage systems in cells, as well as stochastic models of the transmembrane potential. Well known Markov models are studied and a systematic approach to including the effect of mutations is presented.
Computer Algebra Recipes for Mathematical Physics
Over two hundred novel and innovative computer algebra worksheets or ""recipes"" will enable readers in engineering, physics, and mathematics to easily and rapidly solve and explore most problems they encounter in their mathematical physics studies. While the aim of this text is to illustrate applications, a brief synopsis of the fundamentals for each topic is presented, the topics being organized to correlate with those found in traditional mathematical physics texts. The recipes are presented in the form of stories and anecdotes, a pedagogical approach that makes a mathematically challenging subject easier and more fun to learn.
Computer algebra in scientific computing ; 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.
Computer algebra in scientific computing ; 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
Computational Science - ICCS 2006 ; Vol. 3993 ; 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006, held in Reading, UK, in May 2006. The papers span the whole range of computational science.
Computational Science -- ICCS 2005 ; Vol. 3516 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational Science -- ICCS 2005 ; Vol. 3515 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational science -- ICCS 2005 ; Vol. 3514 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational Plasticity
The different chapters of this book present recent progress and future research directions in the field of computational plasticity. A common line of many contributions is that a stronger interaction between the phenomenological and micromechanical modelling of plasticity behaviour is apparent and the use of inverse identification techniques is also more prominent. The development of adaptive strategies for plasticity problems continues to be a challenging goal, while it is interesting to note the permanence of element modelling as a research issue. Industrial forming processes, geomechanics, steel and concrete structures form the core of the applications of the different numerical methods presented in the book.
Computational Methods for Algebraic Spline Surfaces : ESF Exploratory Workshop
The papers included in this volume provide an overview about the state-of-the-art in approximative implicitization and various related topics, including both the theoretical basis and the existing computational techniques. The novel idea of approximate implicitization has strengthened the existing link between Computer Aided Geometric Design and classical algebraic geometry. There is a growing interest from researchers and professionals both in CAGD and Algebraic Geometry, to meet and combine knowledge and ideas, in order to better solve industrial--type challenges, as well as to initiate new directions for basic research. This volume will support this exchange of ideas between the various communities.
Computational Many-Particle Physics
Complicated many-particle problems abound in nature and in research alike. Plasma physics, statistical physics and condensed matter physics, as primary examples, are all heavily dependent on efficient methods for solving such problems. Addressing graduate students and young researchers, this book presents an overview and introduction to state-of-the-art numerical methods for studying interacting classical and quantum many-particle systems. A broad range of techniques and algorithms are covered, and emphasis is placed on their implementation on modern high-performance computers.
