Page 6
Page 6
Research and Advanced Technology for Digital Libraries ; 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, Proceedings
Over the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld of digital libraries, and has formed a substantial body of scholarly publications contained in the conference proceedings. ECDL 2007 featured separate calls for paper and poster submissions, - sulting in 119 full papers and 34 posters being submitted to the conference.
Reliability Engineering : Theory and Practice
This book shows how to build in, evaluate, and demonstrate reliability & availability of components, equipment, systems. It presents the state-of-the-art of reliability engineering, both in theory and practice, and is based on the author's 30 years experience in this field, half in industry and half as Professor of Reliability Engineering at the ETH, Zurich. The structure of the book allows rapid access to practical results. Besides extensions to cost models and approximate expressions, new in this edition are investigations on common cause failures, phased-mission systems, availability demonstration and estimation, confidence limits at system level, trend tests for early failures or wearout, as well as a review of maintenance strategies, an introduction to Petri nets & dynamic FTA, and a set of problems for home-work. Methods and tools are given in a way that they can be tailored to cover different reliability requirement levels and be used for safety analysis as well.
Regulation of Sertoli Cell and Germ Cell Differentiation
Unwanted childlessness affects approximately one in six couples worldwide. - though the exact proportion of the predominant cause of the problem remains controversial, according to the World Health Organization (WHO), in nearly 40% of cases the cause can be attributed to the female, in 20% to the male, in 25% to both, and in 15% the cause remains unknown. Based on these ?gures, the - cidence of male factor infertility in the general population is approximately 7%. The majority of these men, approximately 30%, experience irreversible idiopathic infertility and cannot father children without some form of medical intervention. Male factor infertility, in addition, may be caused by testicular germ cell cancer, which is known to represent the most common cancer among young men, aged 15 to 35 years, in Western industrialized countries. The number of affected men has increased dramatically over the past 50 years. There is now growing evidence that human testicular germ cell cancer originates from fetal germ cells exhibiting an aberrant programme of gene expression, and tumour progression may be favoured by an aberrant Sertoli cell-germ cell communication.
Reanalysis of Structures : A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems
This book deals with various computational procedures for multiple repeated analyses (reanalysis) of structures, and presents them in a unified approach. It meets the need for a general text covering the basic concepts and methods as well as recent developments in this area. The book discusses various analysis models, including linear and nonlinear analysis, static and dynamic analysis, and design sensitivity analysis. It demonstrates how various concepts and methods are integrated to achieve effective solution procedures. The approach presented has several advantages in terms of generality, efficiency of the calculations, accuracy of the results and ease of implementation. Efficiency and accuracy considerations are discussed and illustrated.
Real-Time Management of Resource Allocation Systems : A Discrete Event Systems Approach
Proposes a control paradigm that offers a comprehensive and integrated solution to, both, the behavioral / logical and the performance-oriented control problems underlying the management of the resource allocation taking place highly automated technological applications.
Real-Time Applications with Stochastic Task Execution Times : Analysis and Optimisation
Real-Time Applications with Stochastic Task Execution Times presents three approaches to the analysis of the deadline miss ratio of applications with stochastic task execution times. Each of the three approaches fits best to a different context. The first approach is an exact one and is efficiently applicable to monoprocessor systems. The second approach is an approximate one, which allows for designer-controlled trade-off between analysis accuracy and analysis speed. It is efficiently applicable to multiprocessor systems. The third approach is less accurate but sufficiently fast in order to be placed inside optimisation loops. Based on the last approach, we propose a heuristic for task mapping and priority assignment for deadline miss ratio minimisation.
Ramanujans Lost Notebook ; Part I
This volume is the first of approximately four volumes devoted to providing statements, proofs, and discussions of all the claims made by Srinivasa Ramanujan in his lost notebook and all his other manuscripts and letters published with the lost notebook. In addition to the lost notebook, this publication contains copies of unpublished manuscripts in the Oxford library, in particular, his famous unpublished manuscript on the partition and tau-functions; fragments of both published and unpublished papers; miscellaneous sheets; and Ramanujan's letters to G. H. Hardy, written from nursing homes during Ramanujan's final two years in England.
Quasi-Optical Control of Intense Microwave Transmission ; Proceedings of the NATO Advanced Research Workshop on Quasi-Optical Control of Intense Microwave Transmission Nizhny, Novgorod, Russia 17 - 20 February 2004
Between February 17 and 20, 2004, approximately fifty scientists from ten countries came together at the Institute of Applied Physics (IAP), Nizhny Novgorod, Russia to participate in a NATO sponsored Advanced Research Workshop whose appellation is re flected in the title of this volume, namely Quasi Optical Control of Intense Microwave Transmission. The fashionable label “quasi optical ” has come into use in recent decades to denote structures whose characteristic dimensions exceed (sometimes by large factors) the free space radiation wavelength. Such structures were and are developed to replace the traditional single eigenmode ones in situations when high frequenc ies (short wavelengths) are combined with high powers, a combination that could otherwise lead to RF breakdown and high Ohmic wall heating rates. Treatments of guided wave propagation in oversized structures is aimed at pr eserving the propagating field coherence and thus to provide efficient transmission of RF power to remote destinations such as antennas, microwave ovens, plasma chemical reactors, nuclear fusion machines, and the like.
Quantum Dynamics with Trajectories : Introduction to Quantum Hydrodynamics
Remarkable progress has recently been made in the application of quantumtrajectories as the computational tool for solving quantum mechanical problems. This is the first book to present these developments in the broader context of the hydrodynamical formulation of quantum dynamics. In addition to a thorough discussion of the quantum trajectory equations of motion, there is considerable material that deals with phase space dynamics, adaptive moving grids, electronic energy transfer, and trajectories for stationary states.
Quantum Computation in Solid State Systems
The aim of Quantum Computation in Solid State Systems is to report on recent theoretical and experimental results on the macroscopic quantum coherence of mesoscopic systems, as well as on solid state realization of qubits and quantum gates. Particular attention has been given to coherence effects in Josephson devices. Other solid state systems, including quantum dots, optical, ion, and spin devices which exhibit macroscopic quantum coherence are also discussed. Quantum Computation in Solid State Systems discusses experimental implementation of quantum computing and information processing devices, and in particular observations of quantum behavior in several solid state systems.
QCD and Numerical Analysis III ; Proceedings of the 3rd International Workshop on Numerical Analysis and Lattice QCD, Edinburgh, June-July 2003
It promoted scientific progress in lattice QCD as an e-Science activity that encourages close collaboration between the core sciences of physics, mathematics, and computer science. In order to achieve more realistic computations in lattice quantum ?eld theory substantial progress is required in the exploitation of numerical methods. Recently, there has been much progress in the formulation of lattice chiral symmetry satisfying the Ginsparg-Wilson relation.
Psychrophiles : From Biodiversity to Biotechnology
Of the current studies on extremophiles, approximately 30,000 articles by the year 2007, almost two-thirds have been performed on organisms adapted to outstanding temperatures, but much more attention has been paid to thermophiles than to psychrophiles. However, over the past 10 years, scientific publications on cold-adapted microorganisms have increased by a factor of ten. These microorganisms have evolved a number of strategies to thrive success-fully in cold habitats where they play key roles in nutrient cycling, such as nitrogen fixation, nitrification and denitrification, photosynthesis, sulfur oxidation and reduction, methanogenesis, and transformation of organic compounds. This book is focused on psychrophiles and describes, at the edge of knowledge, representative groups of cold-adapted microorganisms as well as the habitats in which they live and their strategies to cope with the cold.
Progress in Ultrafast Intense Laser Science III
The PUILS series presents Progress in Ultrafast Intense Laser Science, a newly emerging interdisciplinary research field spanning atomic and molecular physics, molecular science, and optical science. PUILS has been stimulated by the recent development of ultrafast laser technologies. Each volume contains approximately 15 chapters, authored by researchers at the forefront. Each chapter opens with an overview of the topics to be discussed, so that researchers, who are not experts in the specific topics, as well as graduate students can grasp the importance and attractions of this sub-field of research, and these are followed by reports of cutting-edge discoveries. This third volume covers a diverse range of disciplines, focusing on such topics as strong field ionization of atoms, ionization and fragmentation of molecules and clusters, generation of high-order harmonics and attosecond pulses, filamentation and laser plasma interaction, and the development of ultrashort and ultrahigh-intensity light sources.
Progress in Nonlinear Speech Processing
Coverage includes such areas as speech analysis for speech synthesis, speech recognition, speech-non speech discrimination and voice quality assessment, speech enhancement, and emotional state detection.
Proceedings of the Conference on Applied Mathematics and Scientific Computing
Brings together papers presenting results covering areas of applied mathematics and scientific computing. This work offers presentations in the fields of numerical linear algebra, shape preserving approximation and singular perturbation theory. It includes an overview of numerical solutions to skew-Hamiltonian and Hamiltonian eigenvalue problems.
Problems on algorithms : A comprehensive exercise book for students in software engineering
Provides a comprehensive collection of practical problems on the design, analysis and verification of algorithms / Includes approximately 1500 designed problems / Presents algorithms which are supported by figures, hints, solutions, and comments / Provides a collection of practical problems on the basic and advanced data structures, design, and analysis of algorithms. To make this book suitable for self-instruction, about one-third of the algorithms are supported by solutions, and some others are supported by hints and comments.
Principles and Practice of Constraint Programming ; 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint Programming, CP 2008, Sydney, Australia, September, 2008.The 27 revised full papers and 23 revised short papers presented together with 6 application papers and the abstracts of one invited lecture were carefully reviewed and selected from 120 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world problems in various application fields.
Points fixes, zéros et la méthode de Newton = Fixed points, zeros and Newton's method
This work is devoted to the fixed points of differentiable applications, to the zeros of non-linear systems and to Newton's method. It is aimed at masters students or preparing for the aggregation of mathematics and confirmed researchers. The first part is devoted to the method of successive approximations and confronts a “dynamical systems” point of view (Grobman-Hartman theorems, of the stable manifold) with examples resulting from numerical analysis. The second part of this work presents Newton's method and its most recent developments (Smale's alpha theory, under- or over-determined systems). It presents a new approach to this subject and a set of original results published for the first time in a French-language work. This is an advanced text on fixed points, zeros of nonlinear systems and the Newton method. Its first part, devoted to fixed points, includes the Grobman-Hartman and the stable manifold theorems. The second part describes the Newton method from a modern point of view: Smale's alpha theory, underdetermined and overdetermined systems of equations. These results are illustrated by various examples from numerical analysis.
Plant and human health ; Vol.3 : Pharmacology and therapeutic uses
Early anthropological evidence for plant use as medicine is 60,000 years old as reported from the Neanderthal grave in Iraq. The importance of plants as medicine is further supported by archeological evidence from Asia and the Middle East. Today, around 1.4 billion people in South Asia alone have no access to modern health care, and rely instead on traditional medicine to alleviate various symptoms. On a global basis, approximately 50 to 80 thousand plant species are used either natively or as pharmaceutical derivatives for life-threatening conditions that include diabetes, hypertension and cancers. As the demand for plant-based medicine rises, there is an unmet need to investigate the quality, safety and efficacy of these herbals by the “scientific methods”
Plant and human health ; Vol.2 : Phytochemistry and molecular aspects
Early anthropological evidence for plant use as medicine is 60,000 years old as reported from the Neanderthal grave in Iraq. The importance of plants as medicine is further supported by archeological evidence from Asia and the Middle East. Today, around 1.4 billion people in South Asia alone have no access to modern health care, and rely instead on traditional medicine to alleviate various symptoms. On a global basis, approximately 50 to 80 thousand plant species are used either natively or as pharmaceutical derivatives for life-threatening conditions that include diabetes, hypertension and cancers. As the demand for plant-based medicine rises, there is an unmet need to investigate the quality, safety and efficacy of these herbals by the “scientific methods”
