الصفحة 14
الصفحة 14
Mathematica for Theoretical Physics : Classical Mechanics and Nonlinear Dynamics
Mathematica for Theoretical Physics: Classical Mechanics and Nonlinear Dynamics This second edition of Baumann's Mathematica® in Theoretical Physics shows readers how to solve physical problems and deal with their underlying theoretical concepts while using Mathematica® to derive numeric and symbolic solutions. Each example and calculation can be evaluated by the reader, and the reader can change the example calculations and adopt the given code to related or similar problems. The second edition has been completely revised and expanded into two volumes: The first volume covers classical mechanics and nonlinear dynamics. Both topics are the basis of a regular mechanics course. The second volume covers electrodynamics, quantum mechanics, relativity, and fractals and fractional calculus. New examples have been added and the representation has been reworked to provide a more interactive problem-solving presentation. This book can be used as a textbook or as a reference work, by students and researchers alike. A brief glossary of terms and functions is contained in the appendices.
Market segmentation analysis : Understanding it, doing it, and making It useful
Offers something for everyone working with market segmentation: practical guidance for users of market segmentation solutions; organisational guidance on implementation issues; guidance for market researchers in charge of collecting suitable data; and guidance for data analysts with respect to the technical and statistical aspects of market segmentation analysis. Even market segmentation experts will find something new, including a vast array of useful visualisation techniques that make interpretation of market segments and selection of target segments easier. The book talks the reader through every single step, every single potential pitfall, and every single decision that needs to be made to ensure market segmentation analysis is conducted as well as possible. All calculations are accompanied not only with a detailed explanation, but also with R code that allows readers to replicate any aspect of what is being covered in the book using R, the open-source environment for statistical computing and graphics.
Malware Detection
Malware Detection, based on the Special ARO/DHS Workshop on Malware Detection at Rosslyn, VA, in 2005, captures the state of the art research in the area of malicious code detection, prevention and mitigation.
Machine Learning for Computer Scientists and Data Analysts: From an Applied Perspective
Describes traditional as well as advanced machine learning algorithms / Enables students to learn which algorithm is most appropriate for the data being handled / Includes numerous, practical case-studies; implementation codes in Python available for readers
Logic Programming ; Vol. 3668 : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on ConstraintProgramming(CP 2005)and the following 6 post-conference workshops: – CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems – CSLP 2005: Constraint Solving and Language Processing – WCB 2005: Constraint Based Methods for Bioinformatics – WLPE 2005: Logic-Based Methods in Programming Environments – MoVeLog 2005: Mobile Code Safety and Program Veri?cation Using C- putational Logic Tools – CHR 2005: Constraint Handling Rules The conferencecoincided with a solareclipse
Logic Based Program Synthesis and Transformation ; Vol. 3573 : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. The presence of duplicated code (or functionality) is a primary indication that the design of the program can be improved by performing a so-called refactoring transformation. Within the framework of our analysis, we formally characterize three situations of duplicated functionality and their associated refactorings: the extraction of a duplicated goal into a new predicate, the removal of equivalent predicates and the generalization of two predicates into a higher-order predicate. The resulting analysis detects in a completely automatic way what program fragments are suitable candidates for the considered refactoring transformations.
Logging in Java with the JDK 1.4 Logging API and Apache log4j
In development scenarios where things can't be run in a debugger, or when you run the risk of masking the problem, logs are the greatest source of information about running a program. Pro Apache Log4j, Second Edition provides best practices guidelines and comprehensive coverage of the most recent release. Step by step, the book explains core concepts, from basic to advanced. Code samples are in Java and include guidelines for different application-specific needs. You'll also learn how to extend the API to write custom components and best practices for using the feature-rich log4j API. This book concludes with enterprise Java applications using log4j with JSP and J2EE.
Local Newforms for GSp(4)
Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local field. This theory considers vectors fixed by the paramodular groups, and singles out certain vectors that encode canonical information, such as L-factors and epsilon-factors, through their Hecke and Atkin-Lehner eigenvalues. While there are analogies to the GL(2) case, this theory is novel and unanticipated by the existing framework of conjectures. An appendix includes extensive tables about the results and the representation theory of GSp(4).
List decoding of error-correcting codes : Winning thesis of the 2002 ACM doctoral dissertation competition
Presents some spectacular new results in the area of decoding algorithms for error-correcting codes. Specifically, it shows how the notion of “list-decoding” can be applied to recover from far more errors, for a wide variety of err- correcting codes, than achievable before. A brief bit of background : error-correcting codes are combinatorial str- tures that show how to represent (or “encode”) information so that it is - silient to a moderate number of errors. Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform it into a longer binary string, called the codeword, so that if a small number of bits of the codewordare ?ipped, the resulting string does not look like any other codeword. The maximum number of errorsthat the code is guaranteed to detect, denoted d, is a central parameter in its design. A basic property of such a code is that if the number of errors that occur is known to be smaller than d/2, the message is determined uniquely. This poses a computational problem, called the decoding problem : compute the message from a corrupted codeword, when the number of errors is less than d/2.
LINQ for Visual C# 2008
Every C# programmer needs to learn about LINQ (Language–Integrated Query), Microsoft's breakthrough technology for simplifying and unifying data access from any data source. With LINQ, you can write more elegant and flexible code—not just to access databases and files, but to manipulate data structures and XML. This book is a short, yet comprehensive guide to the major features of LINQ and the significant enhancements introduced with .NET 3.5. There is no better source for getting a head–start on the future of these technologies than this book.
Linear Selection Indices in Modern Plant Breeding
This open access book focuses on the linear selection index (LSI) theory and its statistical properties. It addresses the single-stage LSI theory by assuming that economic weights are fixed and known - or fixed, but unknown - to predict the net genetic merit in the phenotypic, marker and genomic context. Further, it shows how to combine the LSI theory with the independent culling method to develop the multistage selection index theory. The final two chapters present simulation results and SAS and R codes, respectively, to estimate the parameters and make selections using some of the LSIs described. It is essential reading for plant quantitative geneticists, but is also a valuable resource for animal breeders.
Linear Genetic Programming
Linear Genetic Programming examines the evolution of imperative computer programs written as linear sequences of instructions. In contrast to functional expressions or syntax trees used in traditional Genetic Programming (GP), Linear Genetic Programming (LGP) employs a linear program structure as genetic material whose primary characteristics are exploited to achieve acceleration of both execution time and evolutionary progress.
Leonardo´s Lost Robots
Reinterprets Leonardo's legacy of notes, showing that apparently unconnected fragments from dispersed manuscripts actually comprise cohesive designs for functioning automata. Using the rough sketches scattered throughout almost all of Leonardo's notebooks, the author has reconstructed Leonardo's programmable cart, which was the platform for other automata: a Robot Lion, a Robot Knight, and a hydraulically powered automaton for striking a bell.
Lattice Boltzmann Modeling : An Introduction for Geoscientists and Engineers
Lattice Boltzmann models have a remarkable ability to simulate single- and multi-phase fluids and transport processes within them. A rich variety of behaviors, including higher Reynolds numbers flows, phase separation, evaporation, condensation, cavitation, buoyancy, and interactions with surfaces can readily be simulated. This book provides a basic introduction that emphasizes intuition and simplistic conceptualization of processes. It avoids the more difficult mathematics that underlies LB models. The model is viewed from a particle perspective where collisions, streaming, and particle-particle/particle-surface interactions constitute the entire conceptual framework. Beginners and those with more interest in model application than detailed mathematical foundations will find this a powerful "quick start" guide. Example simulations, exercises, and computer codes are included. Working code is provided on the Internet
Languages and Compilers for Parallel Computing ; 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers from around the world gathered together to present their latest results and to exchange ideas on topics ranging from parallel programming models, code generation,compilationtechniques,paralleldatastructureandparallelexecution models,toregisterallocationandmemorymanagementinparallelenvironments.
Languages and Compilers for High Performance Computing ; 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, been made available publically on the web, and become a basis for several research projects. We discuss our experience using Cetus for a selection of these research projects. The focus of this paper is not the projects themselves, but rather how Cetus made these projects possible, how the needs of these projects influenced the development of Cetus, and the solutions we applied to problems we encountered with the infrastructure. We believe the research community can benefit from such a discussion, as shown by the strong interest in the mini-workshop on compiler research infrastructures where some of this information was first presented.
Landslide risk assessment
Over the past decade there has been a gradual shift away from simply relying on engineering solutions to individual landslide problems, to the use of a variety of strategies to manage the problems over a broad area. Such alternative strategies include the use of building codes, land use planning controls, preventing water leakage, early warning systems and insurance schemes. This book addresses these developments and provides a multidisciplinary perspective on landslide management.
La musica del Big Bang : Come la radiazione cosmica di fondo ci ha svelato i segreti dell’Universo = The music of the Big Bang : How the cosmic background radiation revealed the secrets of the Universe to us
Cosmic microwave background radiation is the residue of the great heat following the Big Bang. A tenuous sign, over 13 billion years old, in which the answers to many of the questions about the nature of our Universe are hidden. Discovered by chance in 1964, in the last forty years this fossil trace of the origins of the Cosmos has been explored with every available means. Two Nobel Prizes in physics have already been awarded for research involving it, the last in 2006 for the results of the COBE satellite. Much of the information encoded in the cosmic background radiation was impressed by the superimposition of acoustic waves present in the early Universe: a "music" of the Big Bang, which cosmologists have tried for years to reconstruct, using techniques similar to those that allow to distinguish the sound of different musical instruments. Only recently have the first notes of this extraordinary cosmic symphony finally been revealed, but the investigation is not over yet. This book illustrates, with a language suitable even for non-specialists, the theories, observations and discoveries that have brought cosmology into a new era.
La correspondance entre Henri Poincaré et les physiciens, chimistes et ingénieurs = The correspondence between Henri Poincaré and physicists, chemists and engineers
Cosmic microwave background radiation is the residue of the great heat following the Big Bang. A tenuous sign, over 13 billion years old, in which the answers to many of the questions about the nature of our Universe are hidden. Discovered by chance in 1964, in the last forty years this fossil trace of the origins of the Cosmos has been explored with every available means. Two Nobel Prizes in physics have already been awarded for research involving it, the last in 2006 for the results of the COBE satellite. Much of the information encoded in the cosmic background radiation was impressed by the superimposition of acoustic waves present in the early Universe: a "music" of the Big Bang, which cosmologists have tried for years to reconstruct, using techniques similar to those that allow to distinguish the sound of different musical instruments. Only recently have the first notes of this extraordinary cosmic symphony finally been revealed, but the investigation is not over yet. This book illustrates, with a language suitable even for non-specialists, the theories, observations and discoveries that have brought cosmology into a new era.
Key Aspects of German Business Law : A Practical Manual
This book presents a clear and precise overview of the key aspects of German business law. It was written by attorneys involved in the daily practice of business law in Germany and is aimed at people who wish to orient themselves quickly with the German legal system and the manner in which it impacts business purchases, establishment, operations and liquidations. The first section of the book is devoted to an explanation of the major issues to be considered in acquiring or establishing a business in Germany. The second section focuses on areas of commercial law that are important for an operating business. The following sections deal with labor law as an independent part of German business law and with computer law. Furthermore, procedural law and European law are addressed. Finally, the last two sections of the book are devoted to an overview over the German tax law, which has an enormous impact on business decisions, and IP law.
