Artificial intelligence in theory and practice II : IFIP 20th World Computer Congress, TC 12 : IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Artificial intelligence in theory and practice ; IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Artificial intelligence in the design process : The impact on creativity and team collaboration
Discusses how to include artificial intelligence (AI) systems in the early stages of the design process. Today designers need new tools capable of supporting them in dealing with the increasing project's complexity and empowering their performances and capabilities. AI systems appear to be powerful means to enhance designers' creativity. This assumption was tested in a workshop where sixteen participants collaborated with three AI systems throughout the creative phases of research, sketching, and color selection. Results show that designers can access a broader level of variance and inspiration while reducing the risk of fossilization by triggering lateral thinking through AI-generated data. Therefore, AI could significantly impact the creative phases of the design process if applied consciously. Being AI systems intelligent agents, the book treats the Human-AI collaboration as a collaboration between human agents, proposing a set of guidelines helpful to achieving an efficient partnership with the machine.
Artificial Intelligence for Cloud and Edge Computing
Discusses the future possibilities of AI with cloud computing and edge computing. Aims to conduct analyses, implementation and discussion of many tools (of artificial intelligence, machine learning and deep learning and cloud computing, fog computing, and edge computing including concepts of cyber security) for understanding integration of these technologies. Readers can quickly get an overview of these emerging topics and get many ideas of the future of AI with cloud, edge, and in many other areas. Topics include machine and deep learning techniques for Internet of Things based cloud systems; security, privacy and trust issues in AI based cloud and IoT based cloud systems; AI for smart data storage in cloud-based IoT; blockchain based solutions for AI based cloud and IoT based cloud systems.This book is relevent to researchers, academics, students, and professionals. Presents fusion of cloud computing services and AI technology for bringing a significant change in the technology industry; Includes self-assessment problems for increasing knowledge of real world problems, i.e., how AI and cloud/edge computing can change business for the better; Provides innovative results of integrations of AI in other applications such as healthcare, finance, manufacturing, transportation, agriculture, etc.
Artificial intelligence applications and innovations ; 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), 2006, June 7-9, 2006, Athens, Greece
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Artificial intelligence and simulation ; 13th international conference on AI, simulation, and planning in high autonomy systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
This volume is the proceedings of AIS 2004. The AI, Simulation and Planning in High Autonomy Systems (AIS) 2004 C- ference was held on Korea, AIS 2004 was the thirteenth in the series ofbiennial conferences on AI and simulation. The conf- enceprovidedthemajorforumforresearchers ,scientistsandengineerstopresent the state-of-the-art research results in the theory and applications of AI, si- lation and their fusion. This volume includes the invited speakers’ papers, along with thepapers presented in the conference.In addition to the scientific tracks presented.
Arterial Grafting for Coronary Artery Bypass Surgery
The second edition of this book provides updated knowledge about the biological characteristics and clinical use of arterial grafts for coronary artery bypass surgery. The reader will find first-hand information on arterial grafts as well as vein grafts with regard to biological characteristics, clinical use including off-pump coronary bypass grafting surgery, results, and future developments. Written by world-renowned cardiac surgeons and cardiovascular research scientists working in this area.
Arrhythmogenic RV cardiomyopathy / dysplasia : Recent advances
This book covers all aspects (biological, pathological, genetic, clinical and therapeutical) of arrhythmogenic right ventricular cardiomyopathy/dysplasia, a recent cardiomyopathy which represents a very high risk of sudden death in the young and in athletes. The monograph presents the results of 5-year research program on ARVC/D supported by grants of both the European Commission and the NIH, which enabled the discovery of seven disease-causing genes, thus opening new avenues for the early identification of affected patients and for sudden death prevention.
Aromatase Inhibitors
Many breast tumours are dependent upon oestrogen for their development and continued growth. Over the last 25 years hormone therapy has progressed from the irreversible destruction of endocrine glands to the use of drugs that reversibly suppress oestrogen synthesis or action. The inhibition of oestrogen synthesis is most readily achieved by inhibiting the final step in the pathway of oestrogen biosynthesis, the reaction which transforms androgens into oestrogens by creating an aromatic ring in the steroid molecule (hence the enzyme's trivial name, aromatase). Whereas the first aromatase inhibitors to be used therapeutically could be shown to produce drug-induced inhibition of the enzyme and therapeutic benefits in patients with breast cancer, they were not particularly potent and lacked specificity. However, second-generation drugs were developed and most recently third-generation inhibitors have evolved which possess remarkable specificity and potency. Initial results from clinical trials suggest that these agents will become the cornerstones of future endocrine therapy.
Aromatase Inhibitors
Many breast tumours are dependent upon oestrogen for their development and continued growth. Over the last 25 years hormone therapy has progressed from the irreversible destruction of endocrine glands to the use of drugs that reversibly suppress oestrogen synthesis or action. The inhibition of oestrogen synthesis is most readily achieved by inhibiting the final step in the pathway of oestrogen biosynthesis, the reaction which transforms androgens into oestrogens by creating an aromatic ring in the steroid molecule (hence the enzyme's trivial name, aromatase). Whereas the first aromatase inhibitors to be used therapeutically could be shown to produce drug-induced inhibition of the enzyme and therapeutic benefits in patients with breast cancer, they were not particularly potent and lacked specificity. However, second-generation drugs were developed and most recently third-generation inhibitors have evolved which possess remarkable specificity and potency. Initial results from clinical trials suggest that these agents will become the cornerstones of future endocrine therapy.
Arnheim, Gestalt and Art : A Psychological Theory
The book discovers an unappreciated unity to Arnheim’s thinking. Not content to simply summarize Arnheim’s theory, however, Arnheim, Art, and Gestalt goes on to enrich (and occasionally question) Arnheim’s findings with the contemporary results of gestalt-theoretical research from around the world, but especially in Italy and Germany. The result is a workable overview of the psychology of art with bridges built to contemporary research, making Arnheim’s approach living and sustainable.
Arithmetic and geometry around hypergeometric functions : Lecture notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005
This volume comprises the Lecture Notes of the CIMPA Summer School "Arithmetic and Geometry around Hypergeometric Functions" held at Galatasaray University, Istanbul in 2005. It contains lecture notes, a survey article, research articles, and the results of a problem session.
Argumentative Indicators in Discourse : A Pragma-Dialectical Study
Argumentative Indicators: A Pragma-Dialectical Study identifies and analyses English words and expressions that are crucial for an adequate reconstruction of argumentative discourse. It provides the analyst of argumentative discussions and texts with a systematic set of instruments for giving a well-founded analysis which results in an analytic overview of the elements that are relevant for the evaluation of the argumentation. In the book a systematic connection is made between linguistic insights into the characteristics of argumentative discourse and insights from argumentation theory into the resolution of differences of opinion by means of argumentation.
Argumentation in multi-agent systems ; Vol. 3366 ; 1st International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, revised selected and invited papers
The theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, linguistics, and psychology (at least). Its techniques and results have found a wide range of applications in both t- oretical and practical branches of arti'cial intelligence and computer science. Several theories of argumentation with various semantics have been proposed in the literature. Multi-agent systems theory has picked up argument-inspired approaches and speci'cally argumentation-theoretic results from many di'erent areas. The community of researchers in argumentation and multi-agent systems is currently presented with a unique opportunity to integrate the various und- standings of argument into a coherent and core part of the functioning of - tonomouscompu...
Architecture of computing systems - ARCS 2007 ; 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings
The ARCS is reporting hi- quality results in computer architecture and operating systems research.It is also represent a - namic, evolving community that closely follows new research trends and topics. ARCS has evolved towards a strong focus on s- tem aspects of pervasive computing and self-organization techniques (organic and autonomic computing).
Architecture beyond the cupola : Inventions and designs of Dante Bini
This book reviews Dante Bini’s inventions and designs, focusing on his form-resistant Binishell and other pneumatic construction systems. Dante Bini’s double profile of architect and builder underpins the narrative of the entire book. It is used to analyse the evolution of the early reinforced-concrete Binishell patent into a variety of automated construction systems based on the use of air. Dante Bini has always been quite proactive in promoting his work and disseminating the results of his experimentations and achievements via journal articles, conference presentations and public talks.
Approximation and online algorithms ; Vol.3351 ; 2nd international workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications arising from a variety of fields. The workshop was part of the ALGO 2004 event which also hosted ESA, WABI, IWPEC, and ATMOS. Topics of interests for WAOA2004 were : applications to game theory, appr- imation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, in approximability results, mechanism design, network design, routing, packing and covering, paradigms, randomization techniques, and scheduling problems. on the reviews, This volume contains the 21 selected papers
Approximate and noisy realization of discrete-time dynamical systems
This monograph deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output relations. It will be of special interest to researchers, engineers and graduate students who have specialized in ?ltering theory and system theory. This monograph provides new results and their extensions which can also be applied to nonlinear dynamical systems.
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.
Applied Stochastic Control of Jump Diffusions
The main purpose of the book is to give a rigorous, yet mostly nontechnical, introduction to the most important and useful solution methods of various types of stochastic control problems for jump diffusionsThe types of control problems covered include classical stochastic control, optimal stopping, impulse control and singular control. Both the dynamic programming method and the maximum principle method are discussed, as well as the relation between them. Corresponding verification theorems involving the Hamilton-Jacobi Bellman equation and/or (quasi-)variational inequalities are formulated. There are also chapters on the viscosity solution formulation and numerical methods.The text emphasises applications, mostly to finance. All the main results are illustrated by examples and exercises appear at the end of each chapter with complete solutions. This will help the reader understand the theory and see how to apply it.The book assumes some basic knowledge of stochastic analysis, measure theory and partial differential equations.



















