الصفحة 17
الصفحة 17
FSTTCS 2004 : Foundations of software technology and theoretical computer science ; 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running conference on computer science in India, and is organized under the aegis of the Indian As- ciation for Research in Computing Science, IARCS. Since its inception in 1981, the conference (held annually in the month of December) has helped in nurt- ing and creating an environment for the exchange of ideas amongst the research community in the country, by attracting top scientists around the world to the conference. This volume contains the proceedings of the 24th FSTTCS conf- ence held in December 2004. A strong point of the FSTTCS programmes has been excellent invited talks by eminent computer scientists of international renown.
Frontiers in Number Theory, Physics, and Geometry II : On Conformal Field Theories, Discrete Groups and Renormalization
The present book collects most of the courses and seminars delivered at the meetingentitled"FrontiersinNumberTheory, PhysicsandGeometry", which took place at the Centrede PhysiquedesHouches in theFrenchAlps, March9- 21,2003. Itisdividedintotwovolumes. VolumeIcontainsthecontributionson three broad topics: Random matrices, Zeta functions and Dynamical systems. The present volume contains sixteen contribution sonthreethemes:Conformal?eld theories for strings and branes, Discrete groups and automorphic forms and?nally, Hopf algebras and renormalization. The relation between Mathematics and Physics has a long history.
Frontiers in Number Theory, Physics, and Geometry I : On Random Matrices, Zeta Functions, and Dynamical Systems
This book presents pedagogical contributions on selected topics relating Number Theory, Theoretical Physics and Geometry. The parts are composed of long self-contained pedagogical lectures followed by shorter contributions on specific subjects organized by theme. Most courses and short contributions go up to the recent developments in the fields; some of them follow their author?s original viewpoints. There are contributions on Random Matrix Theory, Quantum Chaos, Non-commutative Geometry, Zeta functions, and Dynamical Systems. The chapters of this book are extended versions of lectures given at a meeting entitled Number Theory, Physics and Geometry, held at Les Houches in March 2003, which gathered mathematicians and physicists.
From Vectors to Tensors
It is true that there exist many books dedicated to linear algebra and some what fewer to multilinear algebra, written in several languages, and perhaps one can think that no more books are needed. However, it is also true that in algebra many new results are continuously appearing, different points of view can be used to see the mathematical objects and their associated structures, and different orientations can be selected to present the material, and all of them deserve publication. he book assumes a certain knowledge of linear algebra, and is intended as a textbook for graduate and postgraduate students and also as a consultation book. It is addressed to mathematicians, physicists, engineers, and applied scientists with a practical orientation who are looking for powerful tensor tools to solve their problems.
From Summetria to Symmetry : The Making of a Revolutionary Scientific Concept
The concept of symmetry is inherent to modern science, and its evolution has a complex history that richly exemplifies the dynamics of scientific change. This study is based on primary sources, presented in context: the authors examine closely the trajectory of the concept in the mathematical and scientific disciplines as well as its trajectory in art and architecture. The principal goal is to demonstrate that, despite the variety of usages in many different domains there is a conceptual unity underlying the invocation of symmetry in the period from antiquity to the 1790s which is distinct from the scientific usages of this term that first emerged in France at the end of the 18th century.
From Stochastic Calculus to Mathematical Finance : The Shiryaev Festschrift
The Festschrift is a collection of papers, including several surveys, written by his former students, co-authors and colleagues. These reflect the wide range of scientific interests of the teacher and his Moscow school. The topics range from the disorder problems to stochastic calculus and their applications to mathematical economics and finance. A full biobibliography of Shiryaev's works is included. The book represents the modern state of art of many aspects of a quickly maturing theory and will be an essential source and reading for researchers in this area.
From Nano to Space : Applied Mathematics Inspired by Roland Bulirsch
Graduate students and postgraduates in Mathematics, Engineering and the Natural Sciences want to understand Applied Mathematics for the solution of everyday problems. Scholars of Roland Bulirsch working at universities, at research institutions and in industry combine research and review papers in this anthology. Their work is summed up under the title "From Nano to Space – Applied Mathematics Inspired by Roland Bulirsch". More than 20 contributions are divided into scales: nano, micro, macro, space and real life. The contributions survey current research and present case studies very interesting and informative for both graduate students and postgraduates. The contributions show how modern Applied Mathematics influences our everyday lives. Several contributions include complex graphics and illustrations, many of them in color.
From Gestalt Theory to Image Analysis : A Probabilistic Approach
This book introduces the reader to a recent theory in Computer Vision yielding elementary techniques to analyse digital images. These techniques are inspired from and are a mathematical formalization of the Gestalt theory. Gestalt theory, which had never been formalized is a rigorous realm of vision psychology developped between 1923 and 1975. From the mathematical viewpoint the closest field to it is stochastic geometry, involving basic probability and statistics, in the context of image analysis.
From Geometry to quantum mechanics : In Honor of Hideki Omori
This volume is composed of invited expository articles by well-known mathematicians in differential geometry and mathematical physics that have been arranged in celebration of Hideki Omori's recent retirement from Tokyo University of Science and in honor of his fundamental contributions to these areas.The papers focus on recent trends and future directions in symplectic and Poisson geometry, global analysis, infinite-dimensional Lie group theory, quantizations and noncommutative geometry, as well as applications of partial differential equations and variational methods to geometry.
Free Energy and Self-Interacting Particles
This book examines a system of parabolic-elliptic partial differential eq- tions proposed in mathematical biology, statistical mechanics, and chemical kinetics. In the context of biology, this system of equations describes the chemotactic feature of cellular slime molds and also the capillary formation of blood vessels in angiogenesis. There are several methods to derive this system. One is the biased random walk of the individual, and another is the reinforced random walk of one particle modelled on the cellular automaton. In the context of statistical mechanics or chemical kinetics, this system of equations describes the motion of a mean field of many particles, interacting under the gravitational inner force or the chemical reaction
Framing global mathematics : The international mathematical union between theorems and politics
This book is about the shaping of international relations in mathematics over the last two hundred years. It focusses on institutions and organizations that were created to frame the international dimension of mathematical research. Today, striking evidence of globalized mathematics is provided by countless international meetings and the worldwide repository ArXiv. The text follows the sinuous path that was taken to reach this state, from the long nineteenth century, through the two wars, to the present day. International cooperation in mathematics was well established by 1900, centered in Europe. The first International Mathematical Union, IMU, founded in 1920 and disbanded in 1932, reflected above all the trauma of WW I. Since 1950 the current IMU has played an increasing role in defining mathematical excellence, as is shown both in the historical narrative and by analyzing data about the International Congresses of Mathematicians. For each of the three periods discussed, interactions are explored between world politics, the advancement of scientific infrastructures, and the inner evolution of mathematics. Readers will thus take a new look at the place of mathematics in world culture, and how international organizations can make a difference. Aimed at mathematicians, historians of science, scientists, and the scientifically inclined general public.
Fracture Mechanics : Inverse Problems and Solutions
This book presents, in a unified manner, a variety of topics in Continuum and Fracture Mechanics: energy methods, conservation laws, mathematical methods to solve two-dimensional and three-dimensional crack problems.
Fractional-in-time semilinear parabolic equations and applications
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain fractional kinetic equations. This class of equations is characterized by the presence of a nonlinear time-dependent source, generally of arbitrary growth in the unknown function, a time derivative in the sense of Caputo and the presence of a large class of diffusion operators. The global regularity problem is then treated separately and the analysis is extended to some systems of fractional kinetic equations, including prey-predator models of Volterra–Lotka type and chemical reactions models, all of them possibly containing some fractional kinetics.
Fractional calculus—theory and applications
Fractional calculus has led to tremendous progress in various areas of science and mathematics. New definitions of fractional derivatives and integrals have been uncovered, extending their classical definitions in various ways. Moreover, rigorous analysis of the functional properties of these new definitions has been an active area of research in mathematical analysis. Systems considering differential equations with fractional-order operators have been investigated thoroughly from analytical and numerical points of view, and potential applications have been proposed for use in sciences and in technology. The purpose of this Special Issue is to serve as a specialized forum for the dissemination of recent progress in the theory of fractional calculus and its potential applications.
Foundations of software science and computational structures ; Vol.3441 : 8th International Conference, FOSSACS 2005, Held as part of the joint European conferences on theory and practice of software, ETAPS 2005
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope.
Foundations of software science and computational structures ; 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Foundations of software science and computation structures ; Vol. 3921 ; 9th International conference, FOSSACS 2006, Held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
Foundations of software science and computation structures ; 25th International conference, FOSSACS 2022, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of software science and computation structures ; 24th International conference, FOSSACS 2021, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Foundations of software science and computation structures ; 23rd International conference, FOSSACS 2020, Held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
