الصفحة 9
الصفحة 9
img

Arctic Alpine ecosystems and people in a changing environment

This book addresses the significant environmental changes experienced by high latitude and high altitude ecosystems at the beginning of the 21st c- tury. Increased temperatures and precipitation, reduction in sea ice and glacier ice, the increased levels of UV-radiation and the long-range tra- ported contaminants in arctic and alpine regions are stress factors that challenge terrestrial and aquatic ecosystems. The large natural variation in the physical parameters of these extreme environments is a key factor in structuring the biodiversity and biotic productivity, and the effect of the new stress factors can be critical for the population structures and the - teraction between species. These changes may also have socio-economic effects if the changes affect the bio-production, which form the basis for the marine and terrestrial food chains. The book is uniquely multidisciplinary and provides examples of va- ous aspects of contemporary environmental change in arctic and alpine - gions. The 21 chapters of the book are organised under the fields of •Climate change and ecosystem response, •Long range transport of poll- ants and ecological impacts, and •UV radiation and biological effects, each also including aspects of the •Socio-economic effects of environmental change. The introductory chapter presents and explains the internal c- nection and integration of all chapters.

img

Applied Proof Theory : Proof Interpretations and Their Use in Mathematics

Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.

img

Applied geotechnics for construction projects ; Vol. 1 : Soil and Experimental Data

Applied Geotechnics for Construction Projects 1 first defines, identifies and classifies soils, exploring their complexities and weaknesses, and then outlines the basic principles of stresses and strains that establish and develop within soils. The third chapter of the book introduces and develops methods of soil investigation in order to experimentally determine the geotechnical parameters that are useful in the design stage of construction projects.

img

Applied Deep Learning with TensorFlow 2 : Learn to Implement Advanced Deep Learning Techniques with Python

Focuses on the fundamental concepts and at the same time on practical aspects of implementing neural networks and deep learning for your research projects. This book is designed so that you can focus on the parts you are interested in. You will explore topics as regularization, optimizers, optimization, metric analysis, and hyper-parameter tuning. In addition, you will learn the fundamentals ideas behind autoencoders and generative adversarial networks. All the code presented in the book will be available in the form of Jupyter notebooks which would allow you to try out all examples and extend them in interesting ways. A companion online book is available with the complete code for all examples discussed in the book and additional material more related to TensorFlow and Keras. All the code will be available in Jupyter notebook format and can be opened directly in Google Colab (no need to install anything locally) or downloaded on your own machine and tested locally. You will: Understand the fundamental concepts of how neural networks work / Learn the fundamental ideas behind autoencoders and generative adversarial networks / Be able to try all the examples with complete code examples that you can expand for your own projects / Have available a complete online companion book with examples and tutorials.

img

Applied and computational mathematics for digital environments

Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.

img

Applications of evolutionary computing ; EvoWorkshops 2007 : EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings

This volume contains contributions for EvoCOMNET, EvoFIN, EvoIHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOC. The 51 revised full papers presented were carefully reviewed and selected from numerous submissions. This volume presents an overview about the latest research in EC. Areas where evolutionary computation techniques have been applied range from telecommunication networks to complex systems, finance and economics, games, image analysis, evolutionary music and art, parameter optimization, scheduling, and logistics. These papers may provide guidelines to help new researchers tackling their own problem using EC.

img

Analyzing uncertainty in civil engineering

This volume addresses the issue of uncertainty in civil engineering from design to construction. Failures do occur in practice. Attributing them to a residual system risk or a faulty execution of the project does not properly cover the range of causes. A closer scrutiny of the adopted design, the engineering model, the data, the soil-construction-interaction and the model assumptions is required. Usually, the uncertainties in initial and boundary conditions are abundant. Current engineering practice often leaves these issues aside, despite the fact that new scientific tools have been developed in the past decades that allow a rational description of uncertainties of all kinds, from model uncertainty to data uncertainty. It is the aim of this volume to have a critical look at current engineering risk concepts in order to raise awareness of uncertainty in numerical computations, shortcomings of a strictly probabilistic safety concept, geotechnical models of failure mechanisms and their implications for construction management, execution, and the juristic question of responsibility. In addition, a number of the new procedures for modelling uncertainty are explained.

img

Analytical Ultracentrifugation of Polymers and Nanoparticles

Analytical ultracentrifugation (AUC) is a powerful method for the characterization of polymers, biopolymers, polyelectrolytes, nanoparticles, dispersions, and other colloidal systems. The method is able to determine the molar mass, the particle size, the particle density and interaction parameters like virial coefficients and association constants. Because AUC is also a fractionation method, the determination of the molar mass distribution, the particle size distribution, and the particle density distribution is possible. A special technique, the density gradient method, allows fractionating heterogeneous samples according to their chemical nature that means being able to detect chemical heterogeneity.

img

Agent-Based Models of Energy Investment Decisions

This book demonstrates how bounded rational decision models can be standardized and parameterized by socio-economic data. Focusing on private energy technology investment decisions, the author shows how different representative agents can be constructed using search rules, analysis tools and decision strategies. Diffusion curves for energy technologies such as solar collectors, boilers and efficiency upgrades for buildings are calculated. Further, the model is extended to study the impact of firms’ competition on technology diffusion. The modeling approach presented in this book may serve as a template for applications in other domain.

img

Agent Communication II ; International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic. Unf- tunately there seems to be a tendency to regard communication as a kind of information exchange that can easily be covered using the standard FIPA ACL. However, the papers in this volume show that research in agent communication is far from ?nished. If we want to develop the full potential of multi-agent s- tems, agent communication should also develop to a level beyond parameter or value passing as is done in OO approaches! In this book we present the latest collection of papers around the topic of agentcommunication.Thecollectioncomprisesofthebestpapersfromtheagent communication workshops of 2005 and 2006, enriched with a few revised agent communication papers from the AAMAS conference.

img

Advances in Variable Structure and Sliding Mode Control

Sliding Mode Control is recognized as an efficient tool to design controllers which are robust with respect to uncertainty. The resulting controllers have low sensitivity to plant parameters and perturbations and allow the possibility of decoupling the original plant system into two components of lower dimension. In addition many controllers ensure finite time convergence to the switching surface and can be straightforwardly implemented. However, in addition to this traditional area of exploitation, sliding mode concepts are being increasingly deployed for the design of observers for estimation and identification.

img

Advances in Unmanned Aerial Vehicles : State of the Art and the Road to Autonomy

There has been tremendous emphasis in unmanned aerial vehicles, both of fixed (airplanes) and rotary wing (vertical take off and landing, helicopters) types over the past ten years. Applications span both civilian and military domains, the latter being the most important at this stage. This edited book provides a solid and diversified reference source related to basic, applied research and development on small and miniature unmanned aerial vehicles, both fixed and rotary wing. As such, the book offers background information on the evolution of such vehicles over the years, followed by modeling and control fundamentals that are of paramount importance due to unmanned aerial vehicle model complexity, nonlinearity, coupling, inhirent instability and parameter values uncertainty. Aspects of navigation, including visual-based navigation and target tracking are discussed, followed by applications to attitude estimation on micro unmanned aerial vehicles, autonomous solar unmanned aerial vehicle, biomimetic sensing for autonomous flights in near-earth environments, localization of air-ground wireless sensor networks, decentralized formation tracking, design of an unmanned aerial vehicle for volcanic gas sampling and design of an on-board processing controller for miniature helicopters.

img

Advances in radar systems for target detection and tracking

Radar systems can provide the all-weather and all-time detection and tracking of targets of interest, and they have been extensively applied by the remote sensing community, in applications such as geological exploration, disaster forecasting, traffic monitoring, urban planning, environmental sciences, hydrology, littoral zones, oceans, etc. This reprint contains the several advance research studies on radar systems for target detection and tracking. It includes multipath ghost suppression, maneuvering target tracking, target detection, and other topics.

img

Advances in Probabilistic Graphical Models

This carefully edited book brings together in one volume some of the most important topics of current research in probabilistic graphical modelling, learning from data and probabilistic inference. This includes topics such as the characterisation of conditional independence, the sensitivity of the underlying probability distribution of a Bayesian network to variation in its parameters, the learning of graphical models with latent variables and extensions to the influence diagram formalism. In addition, attention is given to important application fields of probabilistic graphical models, such as the control of vehicles, bioinformatics and medicine.

img

Advances in Multiresolution for Geometric Modelling

Multiresolution methods in geometric modelling are concerned with the generation, representation, and manipulation of geometric objects at several levels of detail. Applications include fast visualization and rendering as well as coding, compression, and digital transmission of 3D geometric objects.The book contains seven survey papers, providing a detailed overview of recent advances in the various fields within multiresolution modelling, and sixteen additional research papers. Each of the seven parts of the book starts with a survey paper, followed by the associated research papers in that area.

img

Advances in Cardiac Signal Processing

Deals with the acquisition and extraction of the various morphological features of the electrocardiogram signals.In the first chapters the book first presents data fusion and different data mining techniques that have been used for the cardiac state diagnosis. The second part deals with heart rate variability (HRV), a non-invasive measurement of cardiovascular autonomic regulation. Next, visualization of ECG data is discussed, an important part of the display in life threatening state. Here, the handling of data is discussed which were acquired during several hours. In the following chapters the book discusses aortic pressure measurement which is of significant clinical importance. It presents non-invasive methods for analysis of the aortic pressure waveform, indicating how it can be employed to determine cardiac contractility, arterial compliance, and peripheral resistance. In addition, the book demonstrates methods to extract diagnostic parameters for assessing cardiac function. Further the measurement strategies for contractile effort of the left ventricle are presented. Finally, the book concludes about the future of cardiac signal processing leading to next generation research topics which directly impacts the cardiac health care.

img

Advanced sensors technologies applied in mobile robot

Contains contributions on the latest developments in mobile robotic systems and related research. Various topics with different ideas and applications from mobile robotics have found their place. New ideas are presented for mobile robots that specialise in cleaning floors, power lines and HVAC systems. We also find innovative approaches for navigation path planning using local minima-free potential fields, novel path primitives and/or their parameterisation for minimum-time planning, and various control approaches ranging from visual serving to model predictive and adaptive trajectory tracking, applied to wheeled robots, humanoid manipulators and flying robots. Localisation approaches using LiDAR, motion capture systems, fingerprint-based and biomechanical gait systems are also discussed.

img

Advanced Experimental Methods For Noise Research in Nanoscale Electronic Devices

The approach described is to create methods for experimental observations of noise sources, their localization and their frequency spectrum, voltage-current and thermal dependences. Our current knowledge of measurement methods for mesoscopic devices is summarized to identify directions for future research, related to downscaling effects. The directions for future research into fluctuation phenomena in quantum dot and quantum wire devices are specified. Nanoscale electronic devices will be the basic components for electronics of the 21st century. From this point of view the signal-to-noise ratio is a very important parameter for the device application. Since the noise is also a quality and reliability indicator, experimental methods will have a wide application in the future.

img

Advanced Bioimaging Technologies in Assessment of the Quality of Bone and Scaffold Materials : Techniques and Applications

This book provides a perspective on the current status of bioimaging technologies developed to assess the quality of musculoskeletal tissue with an emphasis on bone and cartilage. It offers evaluations of scaffold biomaterials developed for enhancing the repair of musculoskeletal tissues. These bioimaging techniques include micro-CT, nano-CT, pQCT/QCT, MRI, and ultrasound, which provide not only 2-D and 3-D images of the related organs or tissues, but also quantifications of the relevant parameters. The advance bioimaging technologies developed for the above applications are also extended by incorporating imaging contrast-enhancement materials.

img

Advanced artificial intelligence models and its applications

The field of artificial intelligence (AI) has undergone enormous expansion since its inception in the mid-20th century, as demonstrated by its application across an array of engineering and scientific challenges. Particularly in the last decade, AI has witnessed a significant breakthrough with the advent of deep learning, which has facilitated the employment of various AI models across a multitude of domains. This reprint features ten papers accepted for publication in the Special Issue titled "Advanced Artificial Intelligence Models and Their Applications," published in the MDPI Mathematics journal. These papers explore numerous facets of advanced artificial intelligence models and their applications, covering areas such as cybersecurity, image classification, logistics optimization, automatic music generation, human capital investment, writer recognition, remote sensing image indexing, target tracking, and more.

عدد النتائج بكل صفحة