تحسين النتائح
ترتيب حسب
من
الى
الصفحة 8
الصفحة 8
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.
Advances in pervasive computing and networking
"Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive environments in which computing components and humans can interact regardless of the location. The combination of an abundance of computational power of the processors and the communication bandwidth provided by the wireless and mobile networking everywhere and all the time makes such environments within the reach of current technology. Yet, to realize the full potential of such environments, many technical and economical challenges needs to be overcome. These challenges and the perspective on the seminal directions of the research in this area were the subject of the Workshop for Pervasive Computing and Networking at Rensselaer Polytechnic Institute, Troy, NY, USA.
Advances in Biologically Inspired Information Systems : Models, Methods, and Tools
A comprehensive overview of the most promising research directions in the area of bio-inspired computing. According to the broad spectrum addressed by the different book chapters, a rich variety of biological principles and their application to ICT systems are presented.
Advanced Data Warehouse Design : From Conventional to Spatial and Temporal Applications
This book serves as an introduction to the state of the art on data warehouse design, with many references to more detailed sources. Providing a clear and a concise presentation of the major concepts and results of data warehouse design, it can also be used as the basis of a graduate or advanced undergraduate course.
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction is designed to appeal to the engineering mind. The book is a practical guide focusing on the applications of PDF in the solution of "engineering" problems which may arise in a number of disciplines from architecture to construction. Using real-world examples, the authors follow a project from design through build and long-term maintenance. As the sample project evolves, suitable Acrobat® tools and techniques are identified and brought into play at each stage, showing readers how to personalize the context and processes to meet their own project development and management needs.
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. Adaptive business intelligence systems combine prediction and optimization techniques to assist decision makers in complex, rapidly changing environments. These systems address the fundamental questions: What is likely to happen in the future? And what is the best decision right now? Adaptive Business Intelligence includes elements of data mining, predictive modeling, forecasting, optimization, and adaptability.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
.NET Test Automation Recipes : A Problem-Solution Approach
If you develop, test, or manage .NET software, you will find .NET Test Automation Recipes: A Problem-Solution Approach very useful. The book presents practical techniques for writing lightweight software test automation in a .NET environment and covers API testing thoroughly. It also discusses lightweight, custom Windows application user interface automation and teaches you low-level web application user interface automation. Additional material covers SQL stored procedure testing techniques.
.NET 2.0 Interoperability Recipes : A Problem-Solution Approach
.NET represents a new and improved way of developing software for the Windows platform. Given the chance, you'd probably rewrite all of your existing code in the newer managed code environment that .NET provides. But it is difficult or impossible to throw out all existing legacy code and start over when a new technology arrives. Instead, you need to find a way to move forward with new .NET development while reusing existing pieces of tested, working code. You need a way to interoperate with the existing code until you have a chance to finally rewrite all of it in .NET.
Autistic people in dental and medical clinics: challenges and Solutions
Gives university students as well as established healthcare professionals an understanding of how they can assist autistic patients in clinical settings. This book providing strategies that aspiring and established healthcare professionals can use to make their clinical workplaces more accommodatingfor autistics and their familiesand present a synopsis of the literature about the challenges and experiences that autistic patients have had in dental and medical settings.
Anesthesia for dental and oral maxillofacial surgery
Offers a comprehensive yet practical approach to anesthesiology for dentist anesthesiologists, oral and maxillofacial surgeons, and anesthesia providers in a dental environment. Taking a concise bulleted approach for fast access to information, the book covers all topics relevant to providing perioperative anesthetic management for the head and neck region. Coverage ranges from equipment, anatomy, physiology, and pharmacology to anesthetizing patients with specific conditions and for specific procedures.
Advanced Nanomaterials
Covers synthesis, characterization, and applications of diverse types of nanomaterials. Specifically, it describes carbon, graphene, and graphene oxide-based nanomaterials and their use for environmental remediation. Nanomaterials for concrete coating applications and advances in the processing of high-entropy alloys by means of mechanical alloying are also covered. Subsequently, the use of nanomaterials in endodontics and the use of nanotechnology strategies to enhance restorative resin-based dental nanomaterials are reported.
Adhesion in Pharmaceutical, Biomedical, and Dental Fields
The phenomenon of adhesion is of cardinal importance in the pharmaceutical, biomedical and dental fields. A few eclectic examples will suffice to underscore the importance/relevance of adhesion in these three areas. For example, the adhesion between powdered solids is of crucial importance in tablet manufacture. The interaction between biodevices (e.g., stents, bio-implants) and body environment dictates the performance of such devices, and there is burgeoning research activity in modifying the surfaces of such implements to render them compatible with bodily components. In the field of dentistry, the modern trend is to shift from retaining of restorative materials by mechanical interlocking to adhesive bonding.
Los Angeles and the Summer Olympic Games : Planning Legacies
This book describes the three planning approaches and legacy impacts for the Olympic Games in one locale: the city of Los Angeles, USA.
Materials for civil and construction engineers in SI Units
For courses in Civil Engineering Materials, Construction Materials, and Construction Methods & Materials offered in Civil, Environmental, or Construction engineering departments. Civil and Construction Engineering Materials: Properties, Uses, and Evaluations Materials for Civil and Construction Engineers helps students understand and select the materials involved in supporting the infrastructure needs of society--from buildings, to water and treatment distribution systems, to dams, highways, and airport pavements. By gaining a deep understanding of material behavior and the material selectio
Materials & sustainability building a circular future
Examines sustainable manufacturing, from the extraction of materials to processing, use, and disposal, and argues that significant changes in all of the above are needed for the world to progress toward a more circular economy. Materials and processing methods are usually chosen with performance as the key metric.
Martin Waldseemüller’s 'Carta marina' of 1516 : Study and transcription of the long legends
This book presents the first detailed study of one of the most important masterpieces of Renaissance cartography, Martin Waldseemüller’s Carta marina of 1516. By transcribing, translating into English, and detailing the sources of all of the descriptive texts on the map, as well as the sources of many of the images, the book makes the map available to scholars in a wholly unprecedented way.
