الصفحة 4
الصفحة 4
Expert Spring MVC and Web Flow
Expert Spring MVC and Web Flow provides in-depth coverage of Spring MVC and Spring Web Flow, two highly customizable and powerful web frameworks brought to you by the developers and community of the Spring Framework. Spring MVC is a modern web application framework built upon the Spring Framework, and Spring Web Flow is a new project that compliments Spring MVC for building reusable web controller modules that encapsulate rich page navigation rules. Along with detailed analysis of the code and functionality, plus the first-published coverage of Spring Web Flow, this book includes numerous tips and tricks to help you get the most out of Spring MVC, Spring Web Flow, and web development in general.
Experimental Robotics : The 10th International Symposium on Experimental Robotics
The goal of ISER is to provide a forum for research in robotics that focuses on novelty of theoretical contributions validated by experimental results. The meetings are conceived to bring together, in a small group setting, researchers from around the world who are in the forefront of experimental robotics research.
Exceptional Lifespans
How long can humans live? This open access book documents, verifies and brings to life the advance of the frontier of human survival. It carefully validates data on supercentenarians, aged 110+, and semi-supercentenarians, aged 105-109, stored in the International Database on Longevity (IDL).
European Guide to Power System Testing : The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations
This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Selected test cases and validation examples are provided, in order to support the theory discussed.
Empirical Software Engineering Issues Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers
Its goal was to discuss the state of the art of empirical software engineering (ESE) by assessing past accomplishments, raising open questions, and proposing a future research agenda. At the same time, the spectrum of methods applied in ESE has broadened.
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Embedded System Design : Topics, Techniques and Trends; IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components can now be integrated into a single System-on-Chip. This tendency has resulted in a dramatic reduction in the size and cost of embedded systems. As a unique technology, the design of embedded systems is an essential element of many innovations. This book including design methodology, specification and modeling, embedded software and hardware synthesis, networks-on-chip, distributed and networked systems, and system verification and validation. Particular emphaisis is paid to automotive and medical applications. A set of actual case studies and special aspects in embedded system design are included as well.
Embedded System Design
Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems. A brief overview is provided of hardware devices used for embedded systems and also presents the essentials of software design for embedded systems. Real-time operating systems and real-time scheduling are covered briefly. Techniques for implementing embedded systems are also discussed, using hardware/software codesign. It closes with a survey on validation techniques. Embedded System Design can be used as a text book for courses on embedded systems and as a source which provides pointers to relevant material in the area for PhD students and teachers. The book assumes a basic knowledge of information processing hardware and software.
Embedded Software and Systems Vol. 3605 ; 1st International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which was held in Hangzhou, P. R. China, 9–10 December 2004. Embedded Software and Systems technology is of increasing importance for a wide range of industrial areas, such as aerospace, automotive, telecommunication, and manufacturing automation. Embedded technology is playing an increasingly dominant role in modern society. This is a natural outcome of amazingly fast developments in the embedded field. The ICESS 2004 conference brought together researchers and developers from academia, industry, and government to advance the science, engineering, and technology in embedded software and systems development, and provided them with a forum to present and exchange their ideas, results, work in progress, and experience in all areas of embedded systems research and development. The ICESS 2004 conference attracted much more interest than expected.
EM Modeling of Antennas and RF Components for Wireless Communication Systems
The book focuses on the practical aspects of computational electrodynamics. A short review of electromagnetic field theory and an illustrative introduction to basic concepts of numerical methods provide the mathematical and physical background. The main part the book guides the reader step-by-step through the modelling process: from the initial "what question shall the model answer?", through the setting up of a computer model by creating geometry, boundary conditions, sources, …, to post processing, validation, and optimization. A number of antenna and filter examples demonstrate the advantages and disadvantages of different numerical methods. So the book provides a realistic view on the capabilities and limits of state-of-the-art 3D-field simulators and on how to apply this knowledge efficiently to EM analysis and designing of RF applications in modern communication systems.
Edible Plants in Health and Diseases ; Vol.1 : Cultural, Practical and Economic Value
Provides significant information on some of the promising edible medicinal plants and how these possess both nutritive as well as medicinal value. The significance of these edible plants in traditional medicine, their distribution in different regions and the importance of their chemical constituents are discussed systematically concerning the role of these plants in ethnomedicine in different regions of the world. The current volume focuses on the economic and culturally important medicinal uses of edible plants and a detailed survey of the literature on scientific researches of pharmacognostical characteristics, traditional uses, scientific validation, and phytochemical composition, and pharmacological activities. This book is a single-source scientific reference to explore the specific factors that contribute to these potential health benefits, as well as discussing how to maximize those potential benefits. Chemists, food technologists, pharmacologists, phytochemists as well as all professionals involved with quality control and standardization will find in this book a valuable and updated basis for their work.
Drugs and a methodological compendium : From bench to bedside
Provides a meticulous view on methodological drug discovery and development insights from bench to bedside. Focus on computational modus operandi, pharmacological optimization approaches, modern high-throughput screening methods and in-vitro procedures, role of structural biologists in drug discovery and development, medicinal chemistry approaches for drug design, formulation and drug delivery, in-vivo evaluations of candidate molecules, clinical trial procedures and others. Covers specific case studies, regulatory approval proceedings, and industrial view point alongside the aforementioned conceptual layout. And at the same time, the volume integrates medical, biological, medicinal, pharmacological and computational streams, and it is suggested as an ideal guideline to a wide audience including molecular biologists, biochemist, pharmacologists, medicinal chemist, toxicologists, drug discovery and development researchers, and all other students interested in these disciplines.
Drug target selection and validation
Focuses on the computational aspects of early drug discovery, drug target identification, and validation. It revises current classical paradigms in target and phenotypic-based drug design with still ingrained approximations and concepts and discusses the research in the new network approach concept that include kinetic selectivity and metabolic analysis. Many often-overlooked approximations and concepts in drug discovery are fully covered. Drug Target Selection and Validation includes both introductory sections and research-based sections to be of use to both students and research scientists in drug discovery, design, kinetics and metabolic analysis. Pharmaceutical scientists, pharmaceutics, drug developers, pharmacologists, biomedical researchers in computer science, medicinal chemists, and precision medicine developers benefit from the information provided. The book concludes with a chapter on chemical and structural databases.
Diabetic Kidney Disease
Presents the latest information on the clinical-pathological features of diabetic kidney disease. The data included is based on a cohort study of biopsy-proven diabetic nephropathy patients and nephrosclerosis patients, who were observed over a long term, and on the long-term registry for diabetic nephropathy (diabetic kidney disease) in Japan. It provides a clinical-pathological axis in clinical settings, including differential pathological/clinical diagnoses of CKD in diabetic patients (e.g. the presence of “classic” diabetic nephropathy and/or nephrosclerosis and/or other primary kidney diseases). The abundant biopsy specimens with long-term medical records provide a detailed pathological and clinical description. The book also includes urine-sample data for developing and validating possible candidates for novel biomarkers for diabetic kidney disease. Many countries, including Japan, have ageing populations, in which nephrosclerosis contributes to the progression of kidney lesions in patients with diabetic kidney disease. As such, a comparison of a diabetic nephropathy cohort with nephrosclerosis is indispensable to offer better treatments.
Dependable software engineering : Theories, tools, and applications ; 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.
Dental caries: the disease and its clinical management ; 4th ed.
Maintains the same focus on high-level coverage of the disease etiology and process, clinical assessment and prognosis and wider public health issues connected with dental caries management, including an enhanced focus on caries control. Fully updated throughout, the chapters that discuss theory emphasize how the knowledge can be applied in both the clinic and in the public health domain to improve oral health. The new edition also includes up-to-date and validated diagnostic and management options for caries whilst ensuring that the tools provided allow practitioners to serve the needs of different socio-economic populations. All sections are complimented by high-quality color photographs, clear line drawings and references for further study.
Demystifying Climate Models : A Users Guide to Earth System Models
This book demystifies the models we use to simulate present and future climates, allowing readers to better understand how to use climate model results. In order to predict the future trajectory of the Earth’s climate, climate-system simulation models are necessary. When and how do we trust climate model predictions? The book offers a framework for answering this question. It provides readers with a basic primer on climate and climate change, and offers non-technical explanations for how climate models are constructed, why they are uncertain, and what level of confidence we should place in them. It presents current results and the key uncertainties concerning them. Uncertainty is not a weakness but understanding uncertainty is a strength and a key part of using any model, including climate models.
Deep neural networks and data for automated driving : robustness, uncertainty quantification, and insights towards safety
Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network is uncertain about its decisions? Can we understand a bit more about what actually happens inside neural networks? This leads to a very practical problem particularly for DNNs employed in automated driving: What are useful validation techniques and how about safety? This book unites the views from both academia and industry, where computer vision and machine learning meet environment perception for highly automated driving. Naturally, aspects of data, robustness, uncertainty quantification, and, last but not least, safety are at the core of it. This book is unique: In its first part, an extended survey of all the relevant aspects is provided. The second part contains the detailed technical elaboration of the various questions mentioned above.
Data science in theory and practice : Techniques for big data analytics and complex data sets
Delivers a comprehensive treatment of the mathematical and statistical models useful for analyzing data sets arising in various disciplines, like banking, finance, health care, bioinformatics, security, education, and social services. Written in five parts, the book examines some of the most commonly used and fundamental mathematical and statistical concepts that form the basis of data science. The authors go on to analyze various data transformation techniques useful for extracting information from raw data, long memory behavior, and predictive modeling. Readers will also learn from topics like: Analyses of foundational theoretical subjects, including the history of data science, matrix algebra and random vectors, and multivariate analysis A comprehensive examination of time series forecasting, including the different components of time series and transformations to achieve stationarity Introductions to both the R and Python programming languages, including basic data types and sample manipulations for both languages An exploration of algorithms, including how to write one and how to perform an asymptotic analysis A comprehensive discussion of several techniques for analyzing and predicting complex data sets
