Distributed Embedded Control Systems : Improving Dependability with Coherent Design
Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control system as an integrated whole. First to be discussed are some basic issues about real-time systems and their properties, specifically safety. Then, system and hardware architectures are dealt.
Digitization of the management accounting function : A case study analysis on manufacturing companies
Analyzes the impact of digitization on management accounting in five manufacturing companies. It is one of the first in-depth empirical studies on the intersection of management accounting and digitization. The study suggests that there are two archetypes of digitization of the management accounting function. The first archetype emphasizes top-down-driven changes that aim to enhance efficiency, such as conducting tasks with a higher degree of automation in a leaner structure with fewer resources. The second archetype is strongly driven and initiated by employees in the management accounting function (bottom-up). The focus is on improving the use of data by applying innovative analytics methods, integrating additional sources of data, and benefiting from new technologies like artificial intelligence. The results of the study also indicate that digitization of the management accounting function is mostly in line with the overall company strategy.
Digital Mammography ; 8th International Workshop, IWDM 2006, Manchester, UK, June 18-21, 2006, Proceedings
This volume of Springer’s Lecture Notes in Computer Science series records th the proceedings of the 8 International Workshop on Digital Mammography (IWDM), which was held in Manchester, UK, June 18–21, 2006. The meetings bringtogetheradiversesetofresearchers(physicists,mathematicians,computer scientists, engineers), clinicians (radiologists, surgeons) and representatives of industry, who are jointly committed to developing technology, not just for its ownsake,but to supportclinicians inthe earlydetection andsubsequentpatient management of breast cancer.
Designing smart homes : The role of artificial intelligence
The area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This volume offers a collection of contributions addressing how artificial intelligence (AI), one of the core areas of computer science, can bring the growing area of smart homes to a higher level of functionality where homes can truly realize the long standing dream of proactively helping their inhabitants in an intelligent way.
Design of adaptive finite Element software : The finite element toolbox ALBERTA
During the last years, scientific computing has become an important research branch located between applied mathematics and applied sciences and engineering. Highly efficient numerical methods are based on adaptive methods, higher order discretizations, fast linear and non-linear iterative solvers, multi-level algorithms, etc. Such methods are integrated in the adaptive finite element software ALBERTA. It is a toolbox for the fast and flexible implementation of efficient software for real life applications, based on modern algorithms. ALBERTA also serves as an environment for improving existent, or developing new numerical methods in an interplay with mathematical analysis and it allows the direct integration of such new or improved methods in existing simulation software.
Design computing and cognition 06 ; 1st ed. ; Proceedings of the 2nd International conference on design computing and cognition
This is the second volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes the successful series Artificial Intelligence in Design (AID) published by Kluwer since 1992. The AID volumes have become standard reference texts for the field. It is expected that the DCC volumes will perform the same role.
Dental biomaterials: from fundamental principles to clinical applications
Novel approaches are being developed to prevent and treat prevalent oral diseases like dental caries, periodontitis, and oral cancer. Researchers are also exploring the potential of biomaterials in regenerative dentistry, such as promoting bone growth and repairing damaged oral tissues.The ongoing research and development in dental materials and biomaterials holds great promise for improving oral health outcomes. However, it is imperative to maintain a sustained focus on research to fully leverage their potential and effectively address the existing gaps in dental care.In the special issue titled "Dental Biomaterials: From Fundamental Principles to Clinical Applications," significant findings have emerged from a variety of sources, including in vitro experiments and clinical trials.
Dental anatomy and morphology
Conveys the practical knowledge of dental anatomy and the art of sculpting it in wax. The ideal anatomy of each dental structure is described in detail and the waxing techniques are beautifully illustrated step by step for visual reference. The author demonstrates that for every morphologic feature there is an explanation in nature, assigning significance to every minute feature of dental morphology. Organized by tooth and arch, this book views morphology through a clinical lens and repeatedly draws connections between anatomical features and clinical concepts. The fundamental knowledge presented in this text is essential for improving waxing and sculpting techniques and will be useful for students and specialists alike.
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Some essays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.
Decision Procedures : An Algorithmic Point of View
Concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
Data Warehousing and Data Mining Techniques for Cyber Security
It provide techniques for collecting information from distributed databases and for performing data analysis. The ever expanding, tremendous amount of data collected and stored in large databases has far exceeded our human ability to comprehend--without the proper tools. There is a critical need for data analysis that can automatically analyze data, summarize it and predict future trends. In the modern age of Internet connectivity, concerns about denial of service attacks, computer viruses and worms are extremely important. Data Warehousing and Data Mining Techniques for Cyber Security contributes to the discipline of security informatics. The author discusses topics that intersect cyber security and data mining, while providing techniques for improving cyber security. Since the cost of information processing and internet accessibility is dropping, an increasing number of organizations are becoming vulnerable to cyber attacks. This volume introduces techniques for applications in the area of retail, finance, and bioinformatics, to name a few.
Data Science and Classification
This volume provides new methodological developments in data analysis and classification. A wide range of topics is covered that includes the measurement of similarity and dissimilarity, methods for classification and clustering, network and graph analyses, analysis of symbolic data, and web mining. Apart from structural and theoretical results the book shows how to apply the proposed to a variety of problems, for example in medicine, microarray analysis, social network structures, and music. The combination of new methodological advances with the wide range of real applications collected in this volume is of special value for researchers when choosing the appropriate among newly developed analytical tools for their research problems in classification and data analysis.
Data Quality and Record Linkage Techniques
This book helps practitioners gain a deeper understanding, at an applied level, of the issues involved in improving data quality through editing, imputation, and record linkage. The first part of the book deals with methods and models. Here, we focus on the Fellegi-Holt edit-imputation model, the Little-Rubin multiple-imputation scheme, and the Fellegi-Sunter record linkage model. Brief examples are included to show how these techniques work. In the second part of the book, the authors present real-world case studies in which one or more of these techniques are used. They cover a wide variety of application areas. These include mortgage guarantee insurance, medical, biomedical, highway safety, and social insurance as well as the construction of list frames and administrative lists.
Curve e superfici
The book provides an introduction to Differential Geometry of Curves and Surfaces. The theory of curves starts with a discussion of possible definitions of the concept of curve, proving in particular the classification of 1-dimensional manifolds. We then present the classical local theory of parametrized plane and space curves (curves in n-dimensional space are discussed in the complementary material): curvature, torsion, Frenet’s formulas and the fundamental theorem of the local theory of curves. Then, after a self-contained presentation of degree theory for continuous self-maps of the circumference
Current aopics in artificial intelligence ; 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, held in Santiago de Compostela, Spain in November 2005.
Creating Resilient Futures : Integrating Disaster Risk Reduction, Sustainable Development Goals and Climate Change Adaptation Agendas
This excellent text recognises that efforts towards improving development outcomes must work in concert with strategies which promote planetary health and support the transition to a sustainable and climate-resilient future.
Cosmic Ray Neutron Sensing : Estimation of Agricultural Crop Biomass Water Equivalent
Provides methods for the estimation of Biomass Water Equivalent (BEW), an essential step for improving the accuracy of area-wide soil moisture by cosmic-ray neutron sensors (CRNS). Three techniques are explained in detail: (i) traditional in-situ destructive sampling, (ii) satellite based remote sensing of plant surfaces, and (iii) biomass estimation via the use of the CRNS itself. The advantages and disadvantages of each method are discussed along with step by step instructions on proper procedures and implementation.
Corporate Innovation Strategies : Corporate Social Responsibility and Shared Value Creation
Corporate social responsibility (CSR) is simply the maximization of a company's value over time, undertaken because, in the long run, social and environmental problems ultimately become financial problems. The justification for CSR is therefore associated with representing the nature and role of the company, as well as its purpose. Companies therefore regard CSR as a strategic investment that is part of a proactive, resilient, inclusive approach, based on the creation of shared value. This approach is capable of reducing negative societal impacts of their activities, or inducing positive impacts if they sustain a hybrid culture, all the while improving their competitive advantage. This book presents a theoretical development that analyzes the challenges of CSR strategies based on the creation of shared value.
Cooperative Information Agents X ; 10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings
This book constitutes the refereed proceedings of the 10th International Workshop on Cooperative Information Agents, CIA 2006, held in Edinburgh, UK in September 2006. The 29 revised full papers presented together with four invited papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections.
Contemporary Accounts in Drug Discovery and Development
Drug discovery is a lengthy and complex process that typically involves identifying an unmet medical need, determining a biological target, chemical library screening to identify a lead, chemical optimization, preclinical studies and clinical trials. This process often takes many years to complete, and relies on practitioners’ knowledge of chemistry and biology, but also—and perhaps more importantly—on experience. Improving the success rate in discovery and development through a thorough knowledge of drug discovery principles and advances in technology is critical for advancement in the field.



















