الصفحة 13
الصفحة 13
Statistical and Inductive Inference by Minimum Message Length
This book gives a sound introduction to the Minimum Message Length Principle and its applications, provides the theoretical arguments for the adoption of the principle, and shows the development of certain approximations that assist its practical application. MML appears also to provide both a normative and a descriptive basis for inductive reasoning generally, and scientific induction in particular. The book describes this basis and aims to show its relevance to the Philosophy of Science.
Static Compression of Energetic Materials
Developing and testing novel energetic materials is an expanding branch of the materials sciences. To study the equations-of-state (EOS) of energetic materials in extreme regimes both shock and static high pressure studies are required. The present volume is an introduction and review of theoretical, experimental and numerical aspects of static compression of such materials.
Static Analysis ; 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
Static Analysis ; 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007).
Startups and crisis management
Analyses the reciprocal relationship between startups and their ecosystems, using theoretical lenses such as push and pull factors, necessity entrepreneurship, networking, and embeddedness. Each chapter contains case studies based on interviews with individuals from startups around the world, exploring how real-life firms reacted to the coronavirus crisis.
STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference of February 22-24, 2007, held at Aachen was the 24th in this series. Previous meetings took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨urzburg (1993), Caen (1994), M¨unchen (1995), Grenoble (1996), L¨ubeck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), Berlin (2003), Montpellier (2004), Stuttgart (2005), and Marseille (2006). The interest in STACS has been increasing continuously in recent years. The STACS 2007 call for papers led to approximately 400 submissions from all over the world.
STACS 2006 ; 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, semantics, and logic in computer science.
STACS 2005 ; 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, in February 2005. This book addresses a broad variety of topics from theoretical computer science, in particular complexity theory, algorithmics, computational discrete mathematics, automata theory, and others.
Stabilization, Safety, and Security of Distributed Systems ; 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of 3 invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems.
Stabilization, safety, and security of distributed systems ; 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings
Constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020. The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.
Stability and Optimization of Structures : Generalized Sensitivity Analysis
Stability and Optimization of Structures: Generalized Sensitivity Analysis is the first book to address issues of structural optimization against nonlinear buckling. Through the investigation of imperfection sensitivity, worst imperfection and random imperfection based on concrete theoretical framework, it is shown that optimization against buckling does not necessarily produce an imperfection-sensitive structure. This book offers the reader greater insight into optimization-based and computer-assisted stability design of finite-dimensional structures. Using the unified approach to parameter sensitivity analysis, it connects studies of elastic stability, computational mechanics and applied mathematics.
Spin Glasses
Spin glass theory is going through a stunning period of progress while finding exciting new applications in areas beyond theoretical physics, in particular in combinatorics and computer science. This collection of state-of-the-art review papers written by leading experts in the field covers the topic from a wide variety of angles. The topics covered are mean field spin glasses, including a pedagogical account of Talagrand's proof of the Parisi solution, short range spin glasses, emphasizing the open problem of the relevance of the mean-field theory for lattice models, and the dynamics of spin glasses, in particular the problem of ageing in mean field models.
Spectroscopy of emerging materials ; Proceedings of the NATO ARW on frontiers in spectroscopy of emergent materials : Recent advances toward new technologies, Sudak, Crimea, Ukraine, from 14 to 18 September 2003.
A comprehensive discussion of the key role of modern spectroscopic investigations in interdisciplinary materials science and engineering, covering emerging materials that are either absolutely novel or well-known materials with recently discovered, exciting properties. The types of spectroscopy discussed include optical, electronic and magnetic, UV-visible absorption, Rayleigh scattering, photoluminescence, vibrational, magnetic resonance, electron energy loss, EXAFS, XANES, optical tomography, time-resolved spectroscopy, and point contact spectroscopy. The materials studied are highly topical, with a focus on carbon and silicon nanomaterials including nanotubes, fullerenes, nanoclusters, metallic superconducting phases, molecular materials, magnetic and charge-stripe oxides, and biomaterials. Theoretical treatments are presented of molecular vibrational dynamics, vibration-induced decay of electronic excited states, nanoscale spin-orbit coupling in 2D Si-based structures, and the growth of semiconductor clusters.
Spectroscopic Properties of Rare Earths in Optical Materials
Aimed at researchers and graduate students, this book provides up-to-date information for understanding electronic interactions that impact the optical properties of rare earth ions in solids. Its goal is to establish a connection between fundamental principles and the materials properties of rare-earth activated luminescent and laser optical materials. The theoretical survey and introduction to spectroscopic properties include electronic energy level structure, intensities of optical transitions, ion-phonon interactions, line broadening, and energy transfer and up-conversion. An important aspect of the book lies in its deep and detailed discussions on materials properties and the potential of new applications such as optical storage, information processing, nanophotonics, and molecular probes that have been identified in recent experimental studies. This volume will be a valuable reference book on advanced topics of rare earth spectroscopy and materials science.
Spectral Methods : Fundamentals in Single Domains
Since the publication of "Spectral Methods in Fluid Dynamics", spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of the earlier book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since 1988. The initial treatment Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis functions.
Spectral Methods : Evolution to Complex Geometries and Applications to Fluid Dynamics
Spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of their 1988 book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since then.The recent companion book Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis functions.
Spectral Finite Element Method : Wave Propagation, Diagnostics and Control in Anisotropic and Inhomogeneous Structures
Discuss the different types of SFEM for regular and damaged 1-D and 2-D waveguides, various solution techniques, different methods of detecting the presence of damages and their locations, and different methods available to actively control the wave propagation responses. The theory is supported by tables, figures and graphs; all the numerical examples are designed to bring out the essential wave behavior in these complex structures. Some case studies based on real-world problems are also presented.
Special Functions for Applied Scientists
Special Functions for Applied Scientists provides the required mathematical tools for researchers active in the physical sciences. The book presents a full suit of elementary functions for scholars at the PhD level and covers a wide-array of topics and begins by introducing elementary classical special functions. From there, differential equations and some applications into statistical distribution theory are examined. The fractional calculus chapter covers fractional integrals and fractional derivatives as well as their applications to reaction-diffusion problems in physics, input-output analysis, Mittag-Leffler stochastic processes and related topics.
Spatial Analysis and GeoComputation : Selected Essays
Spatial analysis has been in existence for a long time. More recently, GeoComputation - a new computationally intensive paradigm - is changing research practice in spatial analysis. Coupled with improvements in data availability and increases in computer memory and speed, novel perspectives and techniques from the field of computational intelligence give rise to new types of geocomputational concepts, models, and techniques in spatial analysis. This volume contains selected essays of Manfred M. Fischer in the field of spatial analysis from the perspective of GeoComputation. The volume is structured in four parts. The first sets the context by dealing with broad issues related with spatial analysis and the role of GIS. The second relates to computational intelligence technologies such as neural networks that provide a new style of performing spatial modelling and analysis tasks in geography and other spatial sciences. The third part provides the theoretical framework required and displays the efficient use of various adaptive pattern classifiers in remote sensing environments. The final part outlines the latest, most significant developments in neural spatial interaction modelling.
Space, Structure and Randomness : Contributions in Honor of Georges Matheron in the Fields of Geostatistics, Random Sets and Mathematical Morphology
This volume is divided in three sections on random sets, geostatistics and mathematical morphology. They reflect his professional interests and his search for underlying unity. Some readers may be surprised to find theoretical chapters mixed with applied ones. We have done this deliberately. GM always considered that the distinction between the theory and practice was purely academic.
