الصفحة 12
الصفحة 12
Inductive logic programming ; 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
The 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved ?rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus.
Induction, Algorithmic Learning Theory, and Philosophy
This is the first book to collect essays from philosophers, mathematicians and computer scientists working at the exciting interface of algorithmic learning theory and the epistemology of science and inductive inference. Readable, introductory essays provide engaging surveys of different, complementary, and mutually inspiring approaches to the topic, both from a philosophical and a mathematical viewpoint.
Individual differences in sensory and consumer science : Experimentation, analysis and interpretation
Individual differences in sensory and consumer science: Experimentation, Analysis and Interpretation presents easily readable, State-of-the-art coverage on how to plan and execute experiments that give rise to individual differences, Also providing the framework for successful analysis and interpretation of results. The book highlights the different methodologies that can be applied and how to select the correct methodology based on the type of study you are performing, Be it product research and development, Quality control or consumer acceptance studies.Written by an experienced team of statisticians and sensory and consumer scientists, The book provides both academics and industry professionals with the first complete overview of a topic of ever-increasing importance.
In Memoriam Paul-André Meyer - Séminaire de Probabilités XXXIX
The 39th volume of Séminaire de Probabilités is a tribute to the memory of Paul André Meyer. His life and achievements are recalled in this book, and tributes are paid by his friends and colleagues. This volume also contains mathematical contributions to classical and quantum stochastic calculus, the theory of processes, martingales and their applications to mathematical finance and Brownian motion. These contributions provide an overview on the current trends of stochastic calculus.
Improving concrete and mortar using modified ash and slag cements
Presents the results of a study of high-tech concrete on composite Portland cement and slag Portland cement. The possibilities of significantly improving the properties of cements and concrete with the introduction of superplasticizers and hardening activators are shown. Experimental dependences that make it possible to predict the properties of concrete and mortars and to design mixtures with given properties are given.
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Implementation and Application of Functional Languages ; Vol. 4015 ; 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, Ireland, September 19–21, 2005. It was organized by the Department of Computer Science at Trinity College, University of Dublin. IFL 2005 was the 17th event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical aspects over language design and implementation towards applications and tool support.
Implementation and Application of Functional Languages ; 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007.The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.
Implementation and application of functional languages ; 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.
Image Processing : Dealing with Texture ; 2nd ed.
Updates the classic work on texture analysis theory and methods without abandoning the foundational essentials of this landmark work. Like the first, the new edition offers an analysis of texture in digital images that are essential to a diverse range of applications such as: robotics, defense, medicine and the geo-sciences. Designed to easily locate information on specific problems, the text is structured around a series of helpful questions and answers. Updated to include the most recent developments in the field, many chapters have been completely revised including: Fractals and Multifractals, Image Statistics, Texture Repair, Local Phase Features, Dual Tree Complex Wavelet Transform, Ridgelets and Curvelets and Deep Texture Features. The book takes a two-level mathematical approach: light math is covered in the main level of the book, with harder math identified in separate boxes.
Il bizzarro mondo dei quanti = The bizarre world of quanta
Written before the final exams by an exceptionally talented young woman, this book bridges the gap between the popular literature on quantum physics, which normally avoids any mathematical formula, and specialized literature, well filled with advanced mathematics.
Hyperparameter tuning for machine and deep learning with R : A practical guide
Equips readers with the ability to achieve better results with significantly less time, costs, effort and resources using the methods described here. The case studies presented in this book can be run on a regular desktop or notebook computer. The content focuses on the hyperparameter tuning of ML and DL algorithms, and is divided into two main parts: theory (Part I) and application (Part II). Essential topics covered include: a survey of important model parameters; four parameter tuning studies and one extensive global parameter tuning study; statistical analysis of the performance of ML and DL methods based on severity; and a new, consensus-ranking-based way to aggregate and analyze results from multiple algorithms.
Hyperbolic Geometry
The geometry of the hyperbolic plane has been an active and fascinating field of mathematical inquiry for most of the past two centuries. The basic approach taken is to define hyperbolic lines and develop a natural group of transformations preserving hyperbolic lines, and then study hyperbolic geometry as those quantities invariant under this group of transformations. Topics covered include the upper half-plane model of the hyperbolic plane, Möbius transformations, the general Möbius group, and their subgroups preserving the upper half-plane, hyperbolic arc-length and distance as quantities invariant under these subgroups, the Poincaré disc model, convex subsets of the hyperbolic plane, hyperbolic area, the Gauss-Bonnet formula and its applications.
Hydropower Economics
HYDROPOWER ECONOMICS examines sustainable alternate energy sources beginning with modeling hydropower and extending the model to include thermal power and wind power. The book will use various econometric measures, equilibrium metrics, OR methods, and DEA/productivity analyses to analyze and model the optimal use of these alternate energy sources. Because these problems are dynamic in nature, dynamic methods are used to model the problems. The book derives results on the allocation of the amounts of alternate sources of energy (water, thermal, and wind) required to produce electricity at acceptable levels over time. Graphic illustrations of the analytical and mathematical modeling used to reach research conclusions are used throughout the book.
Hydrodynamics of Explosion : Experiments and Models
Hydronamics of Explosion presents the research results for the problems of underwater explosions and contains a detailed analysis of the structure and the parameters of the wave fields generated by explosions of cord and spiral charges, a description of the formation mechanisms for a wide range of cumulative flows at underwater explosions near the free surface, and the relevant mathematical models. Shock-wave transformation in bubbly liquids, shock-wave amplification due to collision and focusing, and the formation of bubble detonation waves in reactive bubbly liquids are studied in detail. Particular emphasis is placed on the investigation of wave processes in cavitating liquids, which incorporates the concepts of the strength of real liquids containing natural microinhomogeneities, the relaxation of tensile stress, and the cavitation fracture of a liquid as the inversion of its two-phase state under impulsive (explosive) loading. The problems are classed among essentially nonlinear processes that occur under shock loading of liquids and may be of interest to researchers in physical acoustics, mechanics of multiphase media, shock-wave processes in condensed media, explosive hydroacoustics, and cumulation.
Hybrid Methods of Molecular Modeling
Hybrid Methods of Molecular Modeling is a self-contained advanced review volume. It provides a step by step derivation of the consistent theoretical picture of hybrid modeling methods and a thorough analysis of the concepts and current practical methods of hybrid modeling based on this theory. The book presents its material sequentially, paying attention both to the physical soundness of the approximations used and to the mathematical rigor necessary for the practical development of the robust modeling code.
Hybrid metaheuristics : An emerging approach to optimization
The book is intended both to provide an overview of hybrid metaheuristics to novices of the field, and to provide researchers from the field with a collection of some of the most interesting recent developments.
Hyberbolic Conservation Laws in Continuum Physics
This masterly exposition of the mathematical theory of hyperbolic system for conservation laws brings out the intimate connection with continuum thermodynamics, by emphasising issues in which the analysis may reveal something about the physics and, in return, the underlying physical structure may direct and drive the analysis.Theis edition contains chapter recounting the exciting recent developments on the vanishing viscosity method. Numerous new sections have been incorporated in preexisting chapters, to introduce newly derived results or present older material
Humans-with-media and the reorganization of mathematical thinking : Information and communication technologies, modeling, visualization and experimentation
Offers a new conceptual framework for reflecting on the role of information and communication technology in mathematics education. Borba and Villarreal provide examples from research conducted at the level of basic and university-level education, developed by their research group based in Brazil, and discuss their findings in the light of the relevant literature. Arguing that different media reorganize mathematical thinking in different ways, they discuss how computers, writing and oral discourse transform education at an epistemological as well as a political level. Modeling and experimentation are seen as pedagogical approaches which are in harmony with changes brought about by the presence of information and communication technology in educational settings. Examples of research about on-line mathematics education courses, and Internet used in regular mathematics courses, are presented and discussed at a theoretical level. In this book, mathematical knowledge is seen as developed by collectives of humans-with-media.
Human-Like Biomechanics : A Unified Mathematical Approach to Human Biomechanics and Humanoid Robotics
The book contains six Chapters and an Appendix. The first Chapter is an Introduction, giving a brief review of mathematical techniques to be used in the text. The second Chapter develops geometrical basis of human-like biomechanics, while the third Chapter develops its mechanical basis, mainly from generalized Lagrangian and Hamiltonian perspective. The fourth Chapter develops topology of human-like biomechanics, while the fifth Chapter reviews related nonlinear control techniques. The sixth Chapter develops covariant biophysics of electro-muscular stimulation. The Appendix consists of two parts: classical muscular mechanics and modern path integral methods, which are both used frequently in the main text.
