الصفحة 1
الصفحة 1
Wind Energy ; Proceedings of the Euromech Colloquium 464b "Wind Energy"
This book comprises reports on basic research, as well as research related to the practical exploitation and application of wind energy. "Wind Energy" comprehensively describes the atmospheric turbulent wind condition on different time scales, and the interaction of wind turbines with both wind and water flows, which are significant factors to consider for the design, operation and maintenance of wind turbines in offshore conditions.
Waste Materials in Advanced Sustainable Concrete : Reuse, Recovery and Recycle
Presents solutions for optimizing sustainable concrete fabrication techniques. It shows how to reinforce sustainable concrete by various waste materials such as glass waste, uncrushed cockle shell, plastic waste and ceramic tiles. It also reports on properties’ enhancement of high-strength concrete materials. The book presents an analysis of the environmental impact of waste materials’ use.
Voltage Stability of Electric Power Systems
The book describes practical methods that can be used for voltage security assessment and offers a variety of examples. This is a first attempt to condense the technical papers and reports on this subject into a single, coherent, and theoretically sound presentation.Transmission, generation, and load aspects of the voltage instability problem are treated in detail, and a comprehensive power system model for use in voltage stability analysis is developed and explained. Notions and concepts from nonlinear system theory are presented in a tutorial manner for the use of those new to the field.
Validated Designs for Object-oriented Systems
Describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support. Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text.
Universal Access in Health Telematics : A Design Code of Practice
Information Society for All (IS4ALL) is devoted to consolidating and codifying available knowledge of universal access in the context of health telematics in a principled way. This book reports the most representative findings of the IS4ALL Consortium towards establishing a validated code of universal access practice in health informatics.
Uncertainty in Mechanical Engineering ; Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7–8, 2021
Reports on methods and technologies to describe, evaluate and control uncertainty in mechanical engineering applications. It brings together contributions by engineers, mathematicians and legal experts, offering a multidisciplinary perspective on the main issues affecting uncertainty throughout the complete system lifetime, which includes process and product planning, development, production and usage. The book is based on the proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), organized by the Collaborative Research Center (CRC) 805 of the TU Darmstadt, and held online on June 7–8, 2021. All in all, it offers a timely resource for researchers, graduate students and practitioners in the field of mechanical engineering, production engineering and engineering optimization.
Typed Lambda Calculi and Applications ; 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
Constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts.
Tsunami and Its Hazards in the Indian and Pacific Oceans
This volume contains 20 contributions of leading scientists mostly presented at the 22nd International Tsunami Symposium held in summer 2005 in Greece. Consolidated findings based on hydrophone records, seismometer readings, and tide gauges are presented. Reports of post-tsunami surveys and numerical simulations for tsunamis such as the 2004 Indian Ocean event, as well as geological studies of tsunamis in Japan, Central and North America are given. Probabilistic tsunami hazard analysis and tsunami warning systems, among others, are described as are methods to predict tsunamis and mitigate their hazards.
Trusted computing platforms : Design and applications
Surveys the longer history of amplifying small amounts of hardware security into broader system security---and reports real case study experience with security architecture and applications on multiple types of platforms. The author examines the theory, design, implementation of the IBM 4758 secure coprocessor platform and discusses real case study applications that exploit the unique capabilities of this platform. The author discusses how these foundations grow into newer industrial designs, and discusses alternate architectures and case studies of applications that this newer hardware can enable. The author closes with an examination of more recent cutting-edge experimental work in this area.
Trust Management ; Vol. 3986 ; 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings
Constitutes the refereed proceedings of the 4th International Conference on Trust Management, iTrust 2006. 30 revised full papers and 4 revised short papers are presented together with 1 keynote paper and 7 trust management tool and systems demonstration reports.
Transfusion medicine : Case studies and clinical management
Illustration of various clinical problems in transfusion medicine, including immune complications, microbiological problems, blood component use, apheresis techniques and management of complex situations, such as multiple trauma, sickle cell crisis and organ transplantation. Each case is carefully chosen and presented, with incorporated questions leading the reader towards solution of the problem in a logical and didactic manner. It is therefore essential reading for all medical and scientific professionals involved in managing transfusion, from hematologists to obstetricians, surgeons, intensivists and immunologists.
Transactions on Data Hiding and Multimedia Security II
This second issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper introduces Fingercasting, which allows joint fingerprinting and decryption of broadcast messages. The second paper presents an estimation attack on content-based video fingerprinting. The third proposes a statistics and spatiality-based feature distance measure for error resilient image authentication. The fourth paper reports on LTSB steganalysis. Finally, the fifth paper surveys various blind and robust watermarking schemes for 3D shapes.
Transactions on Data Hiding and Multimedia Security I
This inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper deals with evaluation criteria for the performance of audio watermarking algorithms. The second provides a survey of problems related to watermark security. The third discusses practical implementations of zero-knowledge watermark detectors and proposes efficient solutions for correlation-based detectors. The fourth introduces the concept of Personal Entertainment Domains (PED) in Digital Rights Management (DRM) schemes. The fifth reports on the use of fusion techniques to improve the detection accuracy of steganalysis.
Transactions on computational systems biology IV
This issue of the journal reports someContains contributions presented at the first Converging Science conference held at the University of Trento, Italy, in December 2004. This title features the papers that cover a range of bioinformatics research, such as foundations of global computing, interdisciplinarity in innovation initiatives, biodiversity, and more.
Topology in Condensed Matter
This book reports new results in condensed matter physics for which topological methods and ideas are important. It considers, on the one hand, recently discovered systems such as carbon nanocrystals and, on the other hand, new topological methods used to describe more traditional systems such as the Fermi surfaces of normal metals, liquid crystals and quasicrystals. The authors of the book are renowned specialists in their fields and present the results of ongoing research, some of it obtained only very recently and not yet published in monograph form.
Topics in Acoustic Echo and Noise Control : Selected Methods for the Cancellation of Acoustical Echoes, the Reduction of Background Noise, and Speech Processing
In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control and reports the latest developments. Methods for enhancing the quality of speech signals are gaining growing attention in universities and in industrial development laboratories.
Time Predictions : Understanding and Avoiding Unrealism in Project Planning and Everyday Life
Predicting the time needed to complete a project, task or daily activity can be difficult and people frequently underestimate how long an activity will take. This book sheds light on why and when this happens, what we should do to avoid it and how to give more realistic time predictions. It describes methods for predicting time usage in situations with high uncertainty, explains why two plus two is usually more than four in time prediction contexts, reports on research on time prediction biases, and summarizes the evidence in support of different time prediction methods and principles. Based on a comprehensive review of the research, it is the first book summarizing what we know about judgment-based time predictions.
Thought-Contents : On the Ontology of Belief and the Semantics of Belief Attribution
This book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de re, and de se beliefs as well as the opacity of belief reports.
Theory of Evolutionary Computation : Recent Developments in Discrete Optimization
Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search heuristics. It starts with two chapters on mathematical methods that are often used in the analysis of randomized search heuristics, followed by three chapters on how to measure the complexity of a search heuristic: black-box complexity, a counterpart of classical complexity theory in black-box optimization; parameterized complexity, aimed at a more fine-grained view of the difficulty of problems; and the fixed-budget perspective, which answers the question of how good a solution will be after investing a certain computational budget. The book then describes theoretical results on three important questions in evolutionary computation: how to profit from changing the parameters during the run of an algorithm; how evolutionary algorithms cope with dynamically changing or stochastic environments; and how population diversity influences performance. Finally, the book looks at three algorithm classes that have only recently become the focus of theoretical work: estimation-of-distribution algorithms; artificial immune systems; and genetic programming.
Theory and Applications of Satisfiability Testing ; Vol. 3542 ; 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the fields of theoretical and experimental computer science as well as the many relevant application areas.
