الصفحة 20
الصفحة 20
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.
Computer Algebra in Scientific Computing ; 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gröbner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.
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 Physiology : Simula Summer School 2021 − Student Reports
Compiles student reports from the 2021 Simula Summer School in Computational Physiology. Interested readers will find herein a number of modern approaches to modeling excitable tissue. This should provide a framework for tools available to model subcellular and tissue-level physiology across scales and scientific questions.
Computational Fluid Dynamics for Engineers
This book introduces a wide range of Computational Fluid Dynamics (CFD) methods used in the aerospace industry to solve engineering problems. Its format is arranged so that students and practicing engineers can understand the fundamental principles used in CFD, with sample computer programs for the solution of model problems. The emphasis is on two-dimensional equations in order to present the material in a modest sized book. Source codes for selected problems are given so that the reader can understand how those methods are implemented in FORTRAN and C languages, while exercises provide more hands-on experience.
Computational Engineering : Introduction to Numerical Methods
This book is an introduction to modern numerical methods in engineering. It covers applications in fluid mechanics, structural mechanics, and heat transfer as the most relevant fields for engineering disciplines such as computational engineering, scientific computing, mechanical engineering as well as chemical and civil engineering. The content covers all aspects in the interdisciplinary field which are essential for an ''up-to-date'' engineer.
Computational earthquake physics ; Part II
Exciting developments in earthquake science have benefited from new observations, improved computational technologies, and improved modeling capabilities. Designing realistic supercomputer simulation models for the complete earthquake generation process is a grand scientific challenge due to the complexity of phenomena and range of scales involved from microscopic to global. The present volume - Part II - incorporates computational environment and algorithms, data assimilation and understanding, model applications and iSERVO. Topics covered range from iSERVO and QuakeSim: implementing the international solid earth research virtual observatory by integrating computational grid and geographical information web services; LURR (Load-Unload Response Ratio) described in six papers involving this promising earthquake forecasting model; pattern informatics and phase dynamics and their applications, which was also a highlight in the Workshop; computational algorithms, including continuum damage models and visualization and analysis of geophysical datasets; evolution of mantle material; the state vector approach; and assimilation of data such as geodetic data, GPS data, and seismicity and laboratory experimental data.
Computational Discovery of Scientific Knowledge : Introduction, Techniques, and Applications in Environmental and Life Sciences
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at an ever-increasing pace. For the scientist and engineer to benefit from these enhanced data collecting capabilities, it is becoming clear that semi-automated data analysis techniques must be applied to find the useful information in the data. Computational scientific discovery methods can be used to this end: they focus on applying computational methods to automate scientific activities, such as finding laws from observational data. In contrast to mining scientific data, which focuses on building highly predictive models, computational scientific discovery puts a strong emphasis on discovering knowledge represented in formalisms used by scientists and engineers, such as numeric equations and reaction pathways. This state-of-the-art survey provides an introduction to computational approaches to the discovery of scientific knowledge and gives an overview of recent advances in this area, including techniques and applications in environmental and life sciences.
Collective Beings
With collective behaviors playing a fundamental role in many scientific and technical disciplines, COLLECTIVE BEINGS focuses its attention on socio-economic applications to be used, the book provides the reader with deep insights into modern conceptual tools of economy based on systemics.
Collaborative networks and their breeding environments ; IFIP TC 5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26-28 September 2005, Valencia, Spain
This book contains selected articles from PRO-VE'05, the sixth working conference on virtual enterprises, which was sponsored by the International Federation for Information Processing (IFIP) and held in Valencia, Spain. Being recognized as the most focused scientific / technical conference on Collaborative Networks, PRO-VE continues offering the opportunity for the presentation and discussion of both the latest research developments and practical application case studies. Following the IFIP vision. The articles included in this book represent a comprehensive overview of recent advances in various domains and lines of development of collaborative networks. Of particular relevance are the topics of holistic approaches and breeding environments management, creation and management of virtual organizations and professional virtual communications, performance measurement and management, benefit analysis, trust management, process modeling and meta-modeling, ICT infrastructures and support services, legal issues, and case studies.
Cold-Water Corals and Ecosystems
Following the exciting exploration of hot vent and cold seep ecosystems, the rediscovery of cold-water coral ecosystems with high-technology instrumentation is currently another hot topic in multidisciplinary marine research. Conventionally, coral reefs are regarded as restricted to warm and well-illuminated tropical seas, not associated with cold and dark waters of higher latitudes. However, ongoing scientific missions have shed light on the global significance of this overlooked ecosystem. Cold-water coral ecosystems are involved in the formation of large seabed structures such as reefs and giant carbonate mounds, and they represent unexploited paleo-environmental archives of earth history. Like their tropical cousins, cold-water coral ecosystems harbour rich species diversity. Despite the great water depths, commercial interests overlap more and more with the coral occurrences. Human activities already impinge directly on cold-water coral reefs causing severe damage to this vulnerable ecosystem. In this volume, the current key institutions involved in cold-water coral research have contributed 62 state-of-the-art articles from geology and oceanography to biology and conservation.
Coherent Dynamics of Complex Quantum Systems
A large number of modern problems in physics, chemistry, and quantum electronics require a consideration of population dynamics in complex multilevel quantum systems. The purpose of this book is to provide a systematic treatment of these questions and to present a number of exactly solvable problems. It considers the different dynamical problems frequently encountered in different areas of physics from the same perspective, based mainly on the fundamental ideas of group theory and on the idea of ensemble average. Also treated are concepts of complete quantum control and correction of decoherence induced errors that are complementary to the idea of ensemble average. "Coherent Dynamics of Complex Quantum Systems" is aimed at senior-level undergraduate students in the areas of Atomic, Molecular, and Laser Physics, Physical Chemistry, Quantum Optics and Quantum Informatics. It should help them put particular problems in these fields into a broader scientific context and thereby take advantage of the well-elaborated technique of the adjacent fields.
Cloud-Resolving Modeling of Convective Processes
Introduces the framework of cloud-resolving model, methodologies for analysis of modeling outputs, and validation of simulations with observations. The book details important scientific findings in the aspects of surface rainfall processes, precipitation efficiency, dynamic and thermodynamic processes associated with tropical convection, diurnal variations, radiative and cloud microphysical processes associated with development of cloud clusters, air-sea coupling on convective scales, climate equilibrium states, and remote sensing applications.
Cloud Computing Infrastructure for Enabling Future Technology Advancement
Presents the most up-to-date information about cloud computing technologies and applications. This book provides a detailed introduction of the research fields, recent work, and open research questions in the emerging field of cloud computing. Also, the present book will look for potential research areas and technologies that will make it easier to build a global market for cloud computing services that support scientific, industrial, business, and consumer applications. The benefits associated with cloud computing are enormous, and for rapid development, there is a massive requirement of research and development in this field.
Clinical psychology and heart disease
The publication offers a thorough and up-to-date review of scientific research supporting evidence of the relationship between cardiac disease and psychological condition, and offers practical suggestions for developing a clinical practice, and directions for future research in the new field of "cardiac psychology". Every chapter is authored by world-renowned researchers in the field.
Mathematical Modeling, Simulation, Visualization and e-Learning ; Proceedings of an International Workshop held at Rockefeller Foundation' s Bellagio Conference Center, Milan, Italy, 2006
This book is a collection of articles written by some of the most prominent leading applied mathematicians, as well as articles from young and promising scientists from Africa, Asia and Europe. The common objective of these articles is to present an important issue which is currently widely discussed in scientific investigation with major human, economic or ecological implications. One main feature of the series, which the current book exemplifies, is that each article is as deep as an expert lecture but is also self-contained, so that even isolated scientists with limited resources can profit greatly from it. Another feature of this book is that each article is meant to present a collection of open questions which can fuel undergraduate or graduate research activities even in smaller or more isolated scientific communities.
Mathematical modeling of the human brain : From magnetic resonance images to finite element simulation
This book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating their first FEniCS brain meshes from T1-weighted images.
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
