تحسين النتائح
ترتيب حسب
من
الى
الصفحة 25
الصفحة 25
Adaptive and Personalized Semantic Web
Web Personalization can be defined as any set of actions that can tailor the Web experience to a particular user or set of users. To achieve effective personalization, organizations must rely on all available data, including the usage and click-stream data (reflecting user behaviour), the site content, the site structure, domain knowledge, as well as user demographics and profiles. In addition, efficient and intelligent techniques are needed to mine this data for actionable knowledge, and to effectively use the discovered knowledge to enhance the users' Web experience.
Acoustic sensing techniques for the shallow water environment : Inversion methods and experiments
This volume contains the collection of papers from the second workshop on Experimental Acoustic Inversion Techniques for Exploration of the Shallow Water Environment. Acoustic techniques provide the most effective means for remote sensing of ocean and sea floor processes, and for probing the structure beneath the sea floor. No other energy propagates as efficiently in the ocean: radio waves and visible light are severely limited in range because the ocean is a highly conductive medium. However, sound from breaking waves and coastal shipping can be heard throughout the ocean, and marine mammals communicate acoustically over basin scale distances.
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
A Space of Their Own : The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as places of horror where the patients are restrained and left to listen to the cries of their fellow inmates in despair. But what was the world of nineteenth century lunatic asylums really like? Are these images true? This book will explore this world using the techniques of historical archaeology and history.
A Software-Defined GPS and Galileo Receiver : A Single-Frequency Approach
Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided by the GPS constellation of satellites. There is an increasing need for a unified open platform that will enable enhanced receiver development and design, as well as cost-effective testing procedures for various applications. This book provide hands-on exploration of new technologies in this rapidly growing field. One of the unique features of the work is the interactive approach used, giving readers the ability to construct their own Global Navigation Satellite Systems (GNSS) receivers. To construct such a reconfigurable receiver with a wide range of applications, the authors discuss receiver architecture based on software-defined radio (SDR) techniques. The presentation unfolds in a systematic, user-friendly style and goes from the basics to cutting-edge research.
A Pan-Chromatic View of Clusters of Galaxies and the Large-Scale Structure
The reviews presented in this volume cover a wide-range of cluster of galaxies topics like the physics of the ICM gas, the internal cluster dynamics, the detection of clusters using different observational techniques, the great advances in analytical or numerical modeling of clusters, weak and strong lensing effects, the large scale structure as traced by clusters, the cosmological significance of clusters as well as the formation and evolution of clusters within the new cosmological paradigm.
A Logical Approach to Philosophy : Essays in Honour of Graham Solomon
The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic makes to philosophical progress, both by the application of formal methods to traditional philosophical problems and by opening up new avenues of inquiry as philosophers sort out the implications of new and often surprising technical results. Contributions include new technical results rich with philosophical significance for contemporary metaphysics, attempts to diagnose the philosophical significance of some recent technical results, philosophically motivated proposals for new approaches to negation, investigations in the history and philosophy of logic, and contributions to epistemology and philosophy of science that make essential use of logical techniques and results.
A First Course in Harmonic Analysis
This book is a primer in harmonic analysis using an elementary approach. Its first aim is to provide an introduction to Fourier analysis, leading up to the Poisson Summation Formula. Secondly, it makes the reader aware of the fact that both, the Fourier series and the Fourier transform, are special cases of a more general theory arising in the context of locally compact abelian groups. The third goal of this book is to introduce the reader to the techniques used in harmonic analysis of noncommutative groups. There are two new chapters in this new edition. One on distributions will complete the set of real variable methods introduced in the first part. The other on the Heisenberg Group provides an example of a group that is neither compact nor abelian, yet is simple enough to easily deduce the Plancherel Theorem.
A Course in Calculus and Real Analysis
This book provides a self-contained and rigorous introduction to calculus of functions of one variable. The presentation and sequencing of topics emphasizes the structural development of calculus. At the same time, due importance is given to computational techniques and applications. The authors have strived to make a distinction between the intrinsic definition of a geometric notion and its analytic characterization. It highlight the fact that calculus provides a firm foundation to several concepts and results that are generally encountered in high school and accepted on faith. For example, one can find here a proof of the classical result that the ratio of the circumference of a circle to its diameter is the same for all circles. Also, this book helps get a clear understanding of the concept of an angle and the definitions of the logarithmic, exponential and trigonometric functions together with a proof of the fact that these are not algebraic functions. A number of topics that may have been inadequately covered in calculus courses and glossed over in real analysis courses are treated here in considerable detail. As such, this book provides a unified exposition of calculus and real analysis.
104 Number Theory Problems : From the Training of the USA IMO Team
This challenging problem book by renowned US Olympiad coaches, mathematics teachers, and researchers develops a multitude of problem-solving skills needed to excel in mathematical contests and research in number theory. Offering inspiration and intellectual delight, the problems throughout the book encourage students to express their ideas, conjectures, and conclusions in writing. Applying specific techniques and strategies, readers will acquire a solid understanding of the fundamental concepts and ideas of number theory.
103 Trigonometry Problems : From the Training of the USA IMO Team
103 Trigonometry Problems contains highly-selected problems and solutions used in the training and testing of the USA International Mathematical Olympiad (IMO) team. Though many problems may initially appear impenetrable to the novice, most can be solved using only elementary high school mathematics techniques.
