الصفحة 3
الصفحة 3
Information and knowledge : A constructive type-theoretical approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.
Increasing the security and reliability of e-health system using blockchain technology
The Blockchain technology is the buzzword of the year, and as this new technology slowly matured, it seems clear that from banking to supply chain logistics, it is ready for disruption. And in healthcare in particular, there is a massive opportunity for blockchain revolution to disrupt and lead the digital transformation. From medical records to pharmaceutical supply chains, to smart contracts for payment distribution, there are a plenty of methods to leverage this technology. Thus it has reached a great boom in the health sector, due to its importance to overcome interoperability and security challenges of health records systems in e-health.
IMPROVE - Innovative modelling approaches for production systems to raise validatable efficiency : Intelligent methods for the factory of the future
This open access work presents selected results from the European research and innovation project IMPROVE which yielded novel data-based solutions to enhance machine reliability and efficiency in the fields of simulation and optimization, condition monitoring, alarm management, and quality prediction.
III European Conference on computational mechanics : Solids, structures and coupled problems in engineering : Book of abstracts
Computational Mechanics in Solid, Structures and Coupled Problems in Engineering is today a mature science with applications to major industrial projects. This book contains the edited version of the Abstracts of Plenary and Keynote Lectures and Papers, and a companion CD-ROM with the full-length papers, presented at the III European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering (ECCM-2006), The book reflects the state-of-art of Computation Mechanics in Solids, Structures and Coupled Problems in Engineering and it includes contributions by the world most active researchers in this field.
ICP design methods for driven piles in sands and clays
While axial capacity is often the governing design criterion with driven piles, the reliability of predictions made by conventional procedures is generally poor. A long-term research program run at Imperial College London in conjunction with Industry, the UK's Health and Safety Executive and Engineering and Physical Sciences Research Council led to the new design recommendations published by Jardine and Chow in 1996. Their procedures offered considerable improvements and have been applied worldwide in many offshore, marine and onshore projects.
Human reliability and error in transportation systems
Each year billions of dollars are being spent to develop, manufacture, and operate transportation systems such as aircraft, ships, trains, and motor vehicles throughout the world. During their operation thousands of lives are lost annually due to various types accidents. Needless to say, approximately 70 to 90 percent of transportation crashes are the result of human error to a certain degree. Moreover, it may be added that human errors contribute significantly to most transportation crashes across all modes of transportation. Human Reliability and Error in Transportation Systems is the first book to cover the subject of human reliability across all types of transportation systems. The material will be accessible to readers with no previous knowledge in the field, and is supported with a full explanation of the necessary mathematical concepts together with numerous examples and test problems.
How to Examine the Nervous System
This textbook simplifies the apparent complexity of the neurological examination to make it completely understandable and satisfying to perform. With simple prose and numerous helpful illustrations, the author describes in detail reliable bedside examination techniques that will pinpoint the location of a lesion in the nervous system and lead to a resolution of the problem.
How Apollo flew to the moon
Out of the technological battlefield of World War II came a team of gifted German engineers and designers who developed the vengeance weapon, the V-2, which evolved into the peaceful, powerful Saturn V rocket to take men to the Moon. David Woods tells the exciting story, starting from America’s post war astronautical research facilities, that used the V-2 for the development of the robust, resilient and reliable Saturn V launcher. He describes the initial launches through manned orbital spaceflights, comprehensively detailing each step, including computer configuration, the role of ground control, trajectory planning, lunar orbiting, separation of the lander, walking and working on the Moon, retrieval of the lunar astronauts and returning to Earth in this massive technical accomplishment.
Hosting server management
At a high level, this project involves building and configuring a hosting server to provide website, email, and FTP hosting services to customers. The project also includes building a website where customers can register an account, choose hosting packages, and manage their hosting plan by linking the website to the hosting server's control panel using APIs. To effectively manage the hosting server and provide reliable hosting services to customers, it is important to have a deep understanding of the technologies and protocols involved in web hosting. This includes knowledge of web server software, email protocols, FTP protocols, and security best practices.
Hip Sonography : Diagnosis and Management of Infant Hip Dysplasia
Sonography of baby hips for the diagnosis of DDH and dysplasia has grown steadily in importance in recent years. A strict standardized technique for investigation of the baby and interpretation of the sonograms has made hip ultrasound reproducible, reliable and independent of examiner skill and experience.
High Resolution Infrared Spectroscopy in Astronomy ; Proceedings of an ESO Workshop Held at Garching, Germany, 18-21 November 2003
Two specialized new instruments for ESO's VLT, VISIR and CRIRES, spawned the idea for this workshop. CRIRES is a dedicated very high resolution infrared spectrograph; VISIR features a high resolution spectroscopic mode. Together, the instruments combine the sensitivity of an 8m-telescope with the now well-established reliability of VLT-facility instruments. High resolution here means that lines in cool stellar atmospheres and HII-regions can be resolved. The astrophysical topics discussed in this rather specialized workshop range from the inner solar system to active galactic nuclei. There are many possibilities for new discoveries with these instruments, but the unique capability, which becomes available through high-resolution infrared spectroscopy, is the observation of molecular rotational-vibrational transitions in many astrophysical environments. Particularly interesting and surprising in this context, many papers on modeling and laboratory spectroscopy at the workshop appear to indicate that astronomical observations are lagging a bit behind in this field. The papers are an interesting mix of reports from existing high resolution facilities, reports on modeling efforts of synthetic spectra and reports on laboratory spectra. In this sense, a fruitful exchange between molecular physics and astronomy was again accomplished and is documented in this volume.
High performance computing - HiPC 2008 ; 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008.The 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. The papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture.
High Availability and Disaster Recovery : Concepts, Design, Implementation
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission critical business processes are IT-based processes. Business continuity is the ability to do business under any circumstances and is an essential requirement modern companies are facing. High availability and disaster recovery are contributions of the IT to fulfill this requirement. And companies will be confronted with such demands to an even greater extent in the future, since their credit ratings will be lower without such precautions. Both, high availability and disaster recovery, are realized by redundant systems. Redundancy can and should be implemented on different abstraction levels: from the hardware, the operating system and middleware components up to the backup computing center in case of a disaster. This book presents requirements, concepts, and realizations of redundant systems on all abstraction levels, and all given examples refer to UNIX and Linux systems.
Healthcare solutions using machine learning and informatics
Covers novel and innovative solutions for the healthcare that apply machine learning and biomedical informatics technology. The healthcare sector is one of the most critical in society. This book presents a series of artificial intelligence, machine learning, intelligent IoT-based solutions for medical image analysis, medical big data processing, disease predictions. Machine learning and artificial intelligence use cases in healthcare presented in the book give researchers, practitioners, and students a wide range of practical examples of cross-domain convergence. The wide variety of topics covered include: Artificial Intelligence in healthcare Machine learning solutions for such disease as diabetes, arthritis, cardiovascular disease, and COVID-19 Big data analytics solutions for healthcare data processing Reliable biomedical applications using AI models Intelligent IoT in healthcare. The book explains fundamental concepts as well as the advanced use cases illustrating how to apply emerging technologies such as machine learning, AI models, data informatics into practice to tackle challenges in the field of healthcare with real-world scenarios. Chapters contributed by noted academicians and professionals examine various solutions, frameworks, applications, case studies, and best practices in the healthcare domain
Happiness—Concept, Measurement and Promotion
This book defines happiness intuitively and explores several common conceptual mistakes with regard to happiness. It then moves on to address topical issues including, but not limited to, whether money can buy you happiness, why happiness is ultimately the only thing of intrinsic value, and the various factors important for happiness. It also presents a more reliable and interpersonally comparable method for measuring happiness and discusses twelve factors, from A to L, that are crucial for individual happiness: attitude, balance, confidence, dignity, engagement, family/friends, gratitude, health, ideals, joyfulness, kindness and love.
Handbook of Practical X-Ray Fluorescence Analysis
X-Ray Fluorescence analysis (XRF) is a reliable multi-elemental and nondestructive analytical method widely used in research and industrial applications. This practical handbook provides self-contained modules featuring XRF instrumentation, quantification methods, and most of the current applications. The book gives a survey of the theoretical fundamentals, analytical instrumentation, software for data processing, various excitation regimes including gracing incidents and microfocus measurements, quantitative analysis, applications in routine and micro analysis, mineralogy, biology, medicine, criminal investigations, archeology, metallurgy, abrasion, microelectronics, environmental air and water analysis. It gives the basic knowledge on this technique, information on analytical equipment and guides the reader to the various applications.
Handbook of Performability Engineering
The Handbook of Performability Engineering considers all aspects of performability engineering, providing a holistic view of the entire life cycle of activities of the product, along with the associated cost of environmental preservation at each stage, while maximizing the performance.
Handbook of Intellectual and Developmental Disabilities
Changes within the interdisciplinary field of intellectual and developmental disabilities are evolving at a rapid pace. Clinicians, academics, administrators, and a variety of mental health providers alike need easy-to-access, reliable information that enables them to stay abreast of the numerous advances in research, assessment, treatment, and service delivery within a real-world sociopolitical framework. To that end, the Handbook of Intellectual and Developmental Disabilities is an essential resource for any professional who works with this vulnerable population. This volume examines in detail the numerous advances in the field, summarizing major domains and emerging subspecialties into one eminently useful reference.
Handbook of Fractional Calculus for Engineering and Science
Provides reliable methods for solving fractional-order models in science and engineering. Contains efficient numerical methods and algorithms for engineering-related equations. Contains comparison of various methods for accuracy and validity. Demonstrates the applicability of fractional calculus in science and engineering. Examines qualitative as well as quantitative properties of solutions of various types of science- and engineering-related equations.
Guide to wireless network security
Guide to Wireless Network Security is an authoritative, clearly presented guide to key foundation topics and technology frameworks for designing and maintaining secure, reliable operations. From basic concepts to designing principles to deployment, all critical concepts and phases are clearly explained and presented. This guide includes coverage of wireless security testing techniques and prevention techniques for intrusion (attacks).
