الصفحة 5
الصفحة 5
Brilliantguard : AI-powered healthcare prototype for mobile & automotive integration
Brilliantguard is an AI-powered healthcare and safety prototype designed to support individuals with special needs, the elderly users, and patients with chronic conditions such as alzheimer’s disease. The system integrates augmented reality (AR), an AI based chatbot, and bitcoin-based payments into a unified platform combining mobile apps, smartwatches, and automotive sensors. It enables real-time health monitoring, predictive alerts with preliminary health suggestions, medication reminders, initial fault detection, and geofencing-based tracking for alzheimer’s patients. Emergency alerts are automatically triggered in response to abnormal health readings or car crashes.
Blameworthy Belief : A Study in Epistemic Deontologism
Believing the wrong thing may sometimes have drastic consequences. The question as to when a person is not only ill-guided, but genuinely at fault for holding a particular belief is an important one: It touches upon the roots of our understanding of such notions as criminal negligence and moral responsibility. The answer to this question may influence the extent to which we are willing to submit each other to punishments ranging from mild resentment to harsh prison terms. This book presents an extensive effort to shed light on the conditions under which we may appropriately deem someone blameworthy for holding a particular belief. It regiments and unifies several debates within contemporary epistemology, ethics and legal scholarship. Finally, the book brings a new philosophical look on issues like our power to control beliefs and the extent and nature of foresight.
Bio-inspired credit risk analysis : Computational intelligence with support vector machines
Credit risk analysis is one of the most important topics in the field of financial risk management. Due to recent financial crises and regulatory concern of Basel II, credit risk analysis has been the major focus of financial and banking industry. Especially for some credit-granting institutions such as commercial banks and credit companies, the ability to discriminate good customers from bad ones is crucial. The need for reliable quantitative models that predict defaults accurately is imperative so that the interested parties can take either preventive or corrective action. Hence credit risk analysis becomes very important for sustainability and profit of enterprises. In such backgrounds, this book tries to integrate recent emerging support vector machines and other computational intelligence techniques that replicate the principles of bio-inspired information processing to create some innovative methodologies for credit risk analysis and to provide decision support information for interested parties.
Beyond global food supply chains : Crisis, disruption, regeneration
Through a set of incisive essays, this incredibly timely book shows how much the COVID-19 pandemic has exposed both vulnerabilities and opportunities - for (racial) capitalism and its discontents alike to intervene in food supply chains. A most welcome publication! This book takes the upheaval of the global COVID-19 pandemic as a springboard from which to interrogate a larger set of structural, environmental and political fault lines running through the global food system. In a context in which disruptions to the production, distribution, and consumption of food are figured as exceptions to the smooth, just-in-time efficiencies of global supply chains, these essays reveal the global food system as one that is inherently disruptive of human lives and flourishing, and of relationships between people, places, and environments. The pandemic thus represents a particular, acute moment of disruption, offering a lens on a deeper, longer set of systemic processes, and shining new light on transformational possibilities.
Autonomic networking ; 1st International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings
The autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly as follows: Autonomic communication is centered on selfware – an innovative approach to perform known and emerging tasks of a network control plane, both end-to-end and middle box communication-based. Selfware assures the capacity to evolve; however, it requires generic network instrumentation. Selfware principles and technologies borrow largely from well-established research on distributed systems, fault tolerance among others, from emerging research on non-conventional networking (multihop ad hoc, sensor, peer-to-peer, group communication, etc.
Autonomic and Trusted Computing ; 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-x operations to the maximum extenteven without human interventionor guidance. Organiccomputing(OC)additionally emphasizes natural-analogueconceptslike self-organization and controlled emergence. Any autonomic ororganic system must be trus tworthy to avoid the risk of l- ing control and to retain confidence that the system will not fail. Trust and/or distrust relationships on the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems and services. Trusted/trustworthy computing (TC) aims at making computing and communication systems as well as services available, predictable, traceable, controllable, assessable, sustainable, dependable, persist-able, security/privacy protect-able, etc.
Automotive software - connected services in mobile networks ; 1st Automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers .
Automated technology for verification and analysis ; 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.
Artificial neural networks for the Modelling and Fault Diagnosis of Technical Processes
In this book, a wide spectrum of fault diagnosis techniques have been developed. A major category of fault diagnosis techniques is the model based one, where an analytical model of the plant to be monitored is assumed to be available.
Artificial intelligence applications and innovations II; IFIP TC12 and WG12.5 ; 2nd IFIP conference on artificial intelligence applications and innovations (AIAI-2005), Sept. 7-9, 2005, Beijing, China
Artificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent robotics, intelligent planning and scheduling, model-based reasoning, fault diagnosis, natural language processing, maching translation, knowledge representation and reasoning, knowledge-based systems, knowledge engineering, intelligent agents, machine learning, neural nets, genetic algorithms and knowledge management. The papers in this volume comprise the refereed proceedings of the Second International Conference on Artificial Intelligence Applications and Innovations,held in Beijing, China in 2005.
Architecting dependable systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. It also contains sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.
Appraisal and repair of of building structures
This book is a practical guide to the detection and remedy of faults in claddings and fixings on buildings. It sets out the problems involved in common cladding systems for buildings, and relates these problems to all the materials used: stone, masonry, concrete and glass-reinforced composites.
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.
Algorithms for Sensor and Ad Hoc Networks : Advanced Lectures
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain or other. After activation the sensors form a self-organized network and provide data, for example about a forthcoming earthquake. The trend towards wireless communication increasingly affects electronic devices in almost every sphere of life. Conventional wireless networks rely on infrastructure such as base stations; mobile devices interact with these base stations in a client/server fashion. In contrast, current research is focusing on networks that are completely unstructured, but are nevertheless able to communicate (via several hops) with each other, despite the low coverage of their antennas. Such systems are called sensor or ad hoc networks, depending on the point of view and the application. Wireless ad hoc and sensor networks have gained an incredible research momentum. Computer scientists and engineers of all flavors are embracing the area. Sensor networks have been adopted by researchers in many fields: from hardware technology to operating systems, from antenna design to databases, from information theory to networking, from graph theory to computational geometry.
Advances in neural networks - ISNN 2005 ; Vol. 3498 ; 2nd International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part III
The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. The 483 revised papers presented were carefully reviewed and selected from 1.425 submissions. The papers are organized in topical sections on theoretical analysis, model design, learning methods, optimization methods, kernel methods, component analysis, pattern analysis, systems modeling, signal processing, image processing, financial analysis, control systems, robotic systems, telecommunication networks, incidence detection, fault diagnosis, power systems, biomedical applications, industrial applications, and other applications.
Advances in neural networks - ISNN 2005 ; Vol. 3496 ; 2nd International symposium on neural networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I
The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. The 483 revised papers presented were carefully reviewed and selected from 1.425 submissions. The papers are organized in topical sections on theoretical analysis, model design, learning methods, optimization methods, kernel methods, component analysis, pattern analysis, systems modeling, signal processing, image processing, financial analysis, control systems, robotic systems, telecommunication networks, incidence detection, fault diagnosis, power systems, biomedical applications, industrial applications, and other applications.
Advances in computer systems architecture ; Vol. 3740 ; 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
The papers are organized in topical sections on energy efficient and power aware techniques, methodologies and architectures for application-specific systems, processor architectures and microarchitectures, high-reliability and fault-tolerant architectures, compiler and OS for emerging architectures, data value predictions, reconfigurable computing systems and polymorphic architectures, interconnect networks and network interfaces, parallel architectures and computation models, hardware-software partitioning, verification, and testing of complex architectures, architectures for secured computing, simulation and performance evaluation, architectures for emerging technologies and applications, and memory systems hierarchy and management
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
Advanced Intelligent Computing Theories and Applications : With Aspects of Artificial Intelligence ; 3rd International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring gether researchers and practitioners from both academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications.
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
