Page 8
Page 8
img

Avalanche Dynamics : Dynamics of Rapid Flows of Dense Granular Avalanches

Avalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous regions. With an emphasis on snow avalanches, this book sets out to provide a survey and discussion about the motion of avalanche-like flows from initiation to run out. An important aspect of this book is the formulation and investigation of a simple but appropriate continuum mechanical model for the realistic prediction of geophysical flows of granular material. This will help the practitioners in the field to better understand the physical input and provide them with a tool for their work. Originating from many lectures the authors have given over the years, this instructive volume brings the reader to the forefront of research - an aim also supported by an extensive bibliogrpahy of almost 500 entries.

img

Automated technology for verification and analysis ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.

img

Automata, languages and programming ; Vol. 4052 : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein 1972.Thisyear,. ICALP 2006 consisted of four invited lectures and the contributed papers. This volume of the proceedings contains all contributed papers presented at the conference in Track A, together with the paper by the invited speaker Noga Alon , A companion volume contains all contributed papers presented inTrack Band TrackCtogetherwiththepapersbytheinvited speakers Cynthia Dwork (Microsoft Research, USA) and Prakash Panangaden (Mc Gill University, Canada). The programhad an additional invited lecture by Simon Peyton Jones (Microsoft Research, UK), which does not appear in the proceedings.

img

Automata, languages and programming ; Vol. 4051 : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 .Thisyear, ICALP 2006 consisted of four invited lectures and the contributed papers. This volume of the proceedings contains all contributed papers presented at the conference in Track A, together with the paper by the invited speaker Noga Alon (Tel Aviv University, Israel). A companion volume contains all contributed paper spresentedinTrackBandTrackCtogetherwiththepapersbytheinvited speakers Cynthia Dwork (Microsoft Research, USA) and Prakash Panangaden (Mc Gill University, Canada).

img

Atomic structure theory : Lectures on atomic physics

This is a textbook for students with a background in quantum mechanics. The text is designed to give hands-on experience with atomic structure calculations. Material covered includes angular momentum methods, the central field Schrödinger and Dirac equations, Hartree-Fock and Dirac-Hartree-Fock equations, multiplet structure, hyperfine structure, the isotope shift, dipole and multipole transitions, basic many-body perturbation theory, configuration interaction, and correlation corrections to matrix elements.

img

Aspects of Mathematical Finance

Considering the stupendous gain in importance, in the banking and insurance industries since the early 1990’s, of mathematical methodology, especially probabilistic methodology, it was a very natural idea for the French "Académie des Sciences" to propose a series of public lectures, accessible to an educated audience, to promote a wider understanding for some of the fundamental ideas, techniques and new tools of the financial industries. These lectures were given at the "Académie des Sciences" in Paris by internationally renowned experts in mathematical finance, and later written up for this volume which develops, in simple yet rigorous terms, some challenging topics such as risk measures, the notion of arbitrage, dynamic models involving fundamental stochastic processes like Brownian motion and Lévy processes.

img

Artificial intelligence : Methodology, systems, and applications ; 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006. The 28 revised full papers presented together with the abstracts of 2 invited lectures were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on agents, constraints and optimization, user concerns, decision support, models and ontologies, machine learning, ontology manipulation, natural language processing, and applications.

img

Applied soft computing technologies : The challenge of complexity

This volume presents the proceedings of the 9th Online World Conference on Soft Computing in Industrial Applications (WSC9), September 20th - October 08th, 2004, held on the World Wide Web. It contains plenary lectures, original papers and tutorials presented during the conference. The book brings together outstanding research and developments in the field of soft computing (evolutionary computation, fuzzy logic, neural networks, and their fusion) and its applications in science and technology.

img

Applied Parallel Computing ; State of the Art in Scientific Computing

Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology. There have been seven PARA meetings to date: PARA’94, PARA’95 and PARA’96 in Lyngby, Denmark, PARA’98 in Umea, ? Sweden, PARA 2000 in Bergen, N- way, PARA 2002 in Espoo, Finland, and PARA 2004 again in Lyngby, Denmark. The ?rst six meetings featured lectures in modern numerical algorithms, computer science, en- neering, and industrial applications, all in the context of scienti?c parallel computing. This meeting in the series, the PARA 2004 Workshop with the title “State of the Art in Scienti?c Computing.

img

Applications of random matrices in physics

Random matrices are widely and successfully used in physics for almost 60-70 years, beginning with the works of Dyson and Wigner. Although it is an old subject, it is constantly developing into new areas of physics and mathematics. It constitutes now a part of the general culture of a theoretical physicist. Mathematical methods inspired by random matrix theory become more powerful, sophisticated and enjoy rapidly growing applications in physics. Recent examples include the calculation of universal correlations in the mesoscopic system, new applications in disordered and quantum chaotic systems, in combinatorial and growth models, as well as the recent breakthrough, due to the matrix models, in two dimensional gravity and string theory and the non-abelian gauge theories. The book consists of the lectures of the leading specialists and covers rather systematically many of these topics.

img

Anatomy of the forehead, face, and neck: a dissection manual

Provides a detailed step-by-step approach to the dissection of the forehead, face, and neck, in a structural, layered approach. This dissection manual follows an atlas format, with color photographs from past professional lectures and classroom courses, as well as line drawings, enhancing descriptions. Clinical correlations are also interjected throughout to highlight the importance of individual anatomic structures. Chapters describe the preparation and storage of specimens and the dissection of the forehead and eyebrows, the midface, nose, ear, and lower face, and the neck.

img

Analytic Number Theory : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 11-18, 2002

The four contributions collected in this volume deal with several advanced results in analytic number theory. Friedlander’s paper contains some recent achievements of sieve theory leading to asymptotic formulae for the number of primes represented by suitable polynomials. Heath-Brown's lecture notes mainly deal with counting integer solutions to Diophantine equations, using among other tools several results from algebraic geometry and from the geometry of numbers. Iwaniec’s paper gives a broad picture of the theory of Siegel’s zeros and of exceptional characters of L-functions, and gives a new proof of Linnik’s theorem on the least prime in an arithmetic progression. Kaczorowski’s article presents an up-to-date survey of the axiomatic theory of L-functions introduced by Selberg, with a detailed exposition of several recent results.

img

Analysis and Simulation of Contact Problems

Contact mechanics was and is an important branch in mechanics which covers a broad field of theoretical, numerical and experimental investigations. In this carefully edited book the reader will obtain a state-of-the-art overview on formulation, mathematical analysis and numerical solution procedures of contact problems. The contributions collected in this volume summarize the lectures presented during the 4th Contact Mechanics International Symposium (CMIS) held in Hannover, Germany, 2005, by leading scientists in the area of contact mechanics.

img

Algorithms for Sensor and Ad Hoc Networks : Advanced Lectures

Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain or other. After activation the sensors form a self-organized network and provide data, for example about a forthcoming earthquake. The trend towards wireless communication increasingly affects electronic devices in almost every sphere of life. Conventional wireless networks rely on infrastructure such as base stations; mobile devices interact with these base stations in a client/server fashion. In contrast, current research is focusing on networks that are completely unstructured, but are nevertheless able to communicate (via several hops) with each other, despite the low coverage of their antennas. Such systems are called sensor or ad hoc networks, depending on the point of view and the application. Wireless ad hoc and sensor networks have gained an incredible research momentum. Computer scientists and engineers of all flavors are embracing the area. Sensor networks have been adopted by researchers in many fields: from hardware technology to operating systems, from antenna design to databases, from information theory to networking, from graph theory to computational geometry.

img

Algorithms and data structures ; 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. The 47 full papers, presented together with two invited lectures, were carefully reviewed and selected from a total of 123 submissions. They present original research on the theory, design and application of algorithms and data structures.

img

Algorithms - ESA 2006 ; 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings

This book constitutes the refereed proceedings of the 14th Annual European Symposium on Algorithms, ESA 2006, held in Zurich, Switzerland, in the context of the combined conference ALGO 2006. The book presents 70 revised full papers together with abstracts of 3 invited lectures. The papers address all current subjects in algorithmics, reaching from design and analysis issues of algorithms over to real-world applications and engineering of algorithms in various fields.

img

Algorithms – ESA 2005 ; 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings

This volume contains the 75 contributed papers and the abstracts of the threeinvited lectures presented at the 13th Annual European Symposium on Algo-rithms (ESA 2005), held in Spain, 2005. respectively.Papers were solicited in all areas of algorithmic research, including but notlimited to algorithmic aspects of networks, approximation and on-line algo-rithms, computational biology, computational geometry, computational financeand algorithmic game theory, data structures, database and information re-trieval, external memory algorithms, graph algorithms, graph drawing, machinelearning, mobile computing, pattern matching and data compression, quantumcomputing, and randomized algorithms. The algorithms could be sequential,distributed, or parallel. Submissions were especially encouraged in the area ofmathematical programming and operations research, including combinatorialoptimization, integer programming, polyhedral combinatorics, and semidefiniteprogramming.Each extended abstract was submitted to one of the two tracks.

img

Algebraic Combinatorics : Lectures at a Summer School in Nordfjordeid, Norway, June 2003

This book is based on two series of lectures given at a summer school on algebraic combinatorics at the Sophus Lie Centre in Nordfjordeid, Norway, in June 2003, one by Peter Orlik on hyperplane arrangements, and the other one by Volkmar Welker on free resolutions.

img

Algal Toxins : Nature, Occurrence, Effect and Detection

This volume contains the lectures and seminars given at the NATO Advanced Study Institute on “Sensor Systems for Biological Threads: The Algal Toxins Case”, held in Pisa, Italy in October, 2007. Algae can form heavy growths in ponds, lakes, reservoirs and sl- moving rivers throughout the world; algae can house toxins which are - ually released into water when the cells rupture or die. Hundreds of toxins have been identified so far. Detection methods, including rapid screening, have been developed to help us learning more about them, especially to find out which toxins are a real threat for people and what conditions encourage their production and accumulation. Early detection of algal toxins is an - portant aspect for public safety and natural environment, and significant efforts are underway to develop effective and reliable tools that can be used for this purpose.

img

Ageing and the Glass Transition

Understanding cooperative phenomena far from equilibrium is one of fascinating challenges of present-day many-body physics. Glassy behaviour and the physical ageing process of such materials are paradigmatic examples. The present volume, primarily intended as introduction and reference for postgraduate students and nonspecialist researchers from related fields, collects six extensive lectures addressing selected experimental and theoretical issues in the field of glassy systems.

Results Per Page