الصفحة 110
الصفحة 110
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.
Cloud Computing and Services Science ; 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers
Constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, held in Prague, Czech Republic, in May 2020. Due to the COVID-19 pandemic the conference was held in a virtual format. The 14 papers presented in this volume were carefully reviewed and selected from a total of 69 submissions. CLOSER 2020 focuses on the emerging area of cloud computing, inspired by some latest advances that concern the infrastructure, operations, and available servicesthrough the global network.
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 Methods in Time Series Analysis and Digital Image Processing
The aim of this volume is to bring together research directions in theoretical signal and imaging processing developed rather independently in electrical engineering, theoretical physics, mathematics and the computer sciences. In particular, mathematically justified algorithms and methods, the mathematical analysis of these algorithms, and methods as well as the investigation of connections between methods from time series analysis and image processing are reviewed. An interdisciplinary comparison of these methods, drawing upon common sets of test problems from medicine and geophysical/enviromental sciences, is also addressed.
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.
Mathematical methods and modelling in hydrocarbon exploration and production
Hydrocarbon exploration and production incorporate great technology challenges for the oil and gas industry. In order to meet the world's future demand for oil and gas, further technological advance is needed, which in turn requires research across multiple disciplines, including mathematics, geophysics, geology, petroleum engineering, signal processing, and computer science. This book addresses important aspects and fundamental concepts in hydrocarbon exploration and production. Moreover, new developments and recent advances in the relevant research areas are discussed, whereby special emphasis is placed on mathematical methods and modelling. The book reflects the multi-disciplinary character of the hydrocarbon production workflow, ranging from seismic data imaging, seismic analysis and interpretation and geological model building, to numerical reservoir simulation. Various challenges concerning the production workflow are discussed in detail.
Mathematical Linguistics
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up, with no prior knowledge of linguistics being assumed, covering more than the average two-semester introductory course in linguistics.This comprehensive, reader-friendly volume offers readers a high-level orientation, discussing the foundations of the field and presenting both the classical work and the most recent results. It covers an extremely rich array of topics including not only syntax and semantics but also phonology and morphology, probabilistic approaches, complexity, learnability, and the analysis of speech and handwriting.
Mathematical Knowledge Management ; Vol. 4108 ; 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
Mathematical Knowledge Management ; Vol. 3863 ; 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany.
Mathematical Foundations of Computer Science 2008 ; 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
Mathematical Foundations of Computer Science 2007 ; 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Cesk?? Krumlov, Czech Republic, August 26-31, 2007. All current aspects in theoretical computer science and its mathematical foundations are addressed.
Mathematical foundations of computer science 2006 ; 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006, held in Stará Lesná, Slovakia in August/September 2006. The 62 revised full papers presented together with the full papers or abstracts of 7 invited talks were carefully reviewed and selected from 174 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry, parallel and distributed computing, networks, bioinformatics, quantum computing, cryptography, knowledge-based systems, and artificial intelligence.
Mathematical Foundations of Computer Science 2005 ; 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005. The 62 papers address various aspects in theoretical computer science, ranging from quantum computing, approximation, automata, circuits, scheduling, games, and more.
Mathematical Approaches to Software Quality
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches.
Mathematical Analysis I
The purpose of the volume is to provide a support for a first course in Mathematical Analysis, along the lines of the recent Programme Specifications for mathematical teaching in European universities. The contents are organised to appeal especially to Engineering, Physics and Computer Science students, all areas in which mathematical tools play a crucial role. Basic notions and methods of differential and integral calculus for functions of one real variable are presented in a manner that elicits critical reading and prompts a hands-on approach to concrete applications. The layout has a specifically-designed modular nature, allowing the instructor to make flexible didactical choices when planning an introductory lecture course. The book may in fact be employed at three levels of depth. At the elementary level the student is supposed to grasp the very essential ideas and familiarise with the corresponding key techniques.
Materials Issues for Generation IV Systems ; Status, Open Questions and Challenges
Global warming, shortage of low-cost oil resources and the increasing demand for energy are currently controlling the world's economic expansion while often opposing desires for sustainable and peaceful development. In this context, atomic energy satisfactorily fulfills the criteria of low carbon gas production and high overall yield. However, in the absence of industrial fast-breeders the use of nuclear fuel is not optimal, and the production of high activity waste materials is at a maximum. These are the principal reasons for the development of a new, fourth generation of nuclear reactors, minimizing the undesirable side-effects of current nuclear energy production technology while increasing yields by increasing operation temperatures and opening the way for the industrial production of hydrogen through the decomposition of water.
Materials for Tomorrow : Theory, Experiments and Modelling
This book contains six chapters on central topics in materials science. Each is written by specialists in the field, and gives a state-of-the-art presentation of the subject for graduate students and scientists not necessarily working in that field. Computer simulations of new materials, theory and experimental work are all extensively discussed. As nanomaterials are of great current interest, most of the topics discussed have a bearing on nanomaterials and nanodevices. In addition to inorganic nanotubes, metallic nanocrystals, electronic nanodevices, spintronics and interfaces on an atomic scale, the text also presents computer simulations on one of the less well understood fields in solid-state physics and materials science: glasses and undercooled fluids.
Materials for Information Technology : Devices, Interconnects and Packaging
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and formulate them as they relate to the various engineering disciplines.
Material Inhomogeneities and their Evolution : A Geometric Approach
The first part of the book deals with the geometrical description of uniform bodies and their homogeneity (i.e., integrability) conditions. In the second part, a theory of material evolution is developed and its relevance in various applied contexts discussed. The necessary geometrical notions are introduced as needed in the first two parts but often without due attention to an uncompromising mathematical rigour. This task is left for the third part of the book, which is a highly technical compendium of those concepts of modern differential geometry that are invoked in the first two parts (differentiable manifolds, Lie groups, jets, principal fibre bundles, G-structures, connections, frame bundles, integrable prolongations, groupoids, etc.).
Matematica generale con il calcolatore
By introducing mathematical objects, it teaches students how to use a computer to perform numerical and symbolic calculations, define a function and calculate its values, plot and explore graphs, and execute simple algorithms. The course is rich in examples, applications, and models, drawn from economics, physics, biology, statistics, and mathematics itself. The analysis of these models constitutes, in a certain sense, the true purpose of the mathematical theory covered. Automatic calculation tools (mathematics software, spreadsheets) are used extensively to explore and illustrate concepts and properties. Mathcad® software, in particular, was used, both as a calculation tool and as a simple yet powerful programming language. Considerable space is devoted to approximation, emphasizing the distinction between numerical and symbolic calculation; to algorithms as a synthesis of the syntactic and semantic aspects of mathematical objects; and to computer simulation, interpreted as a "physical" experiment and a source of conjecture. The ability to use a calculator marks a sort of "democratization" of mathematics: even complex results, which have always required a broad background of knowledge and laborious calculations, are now quickly accessible to anyone who understands the meaning of mathematical objects and knows how to use the syntax.
