springer london aug 2002 (11 resultados)

Buch. Condición: Neu. Neuware - This book shows readers how to get the most out of C# using Object Orientation. The author takes a hands-on approach to learning C# and object orientation, using lots of worked examples. The text provides an ideal base from which to start programming. After introducing the C# language and object orientation, John Hunt goes on to explain: how to construct a user interface for a simple editor; how to obtain information on files and directories and how objects can be stored and restored using serialization.-Presents C# and object-orientation as a coherent whole, using one to strengthen the presentation of the other -Includes lots of complete and worked examples to clarify readers'understanding -The source code for the examples is available at: guide-to-csharp.net -Hunt is a successful Springer author, and this book is written in the same style as his Java for Practitioners.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For the last 20 years the dominant form of user interface has been the Graphical User Interface (GUl) with direct manipulation. As software gets more complicated and more and more inexperienced users come into contact with computers, enticed by the World Wide Web and smaller mobile devices, new interface metaphors are required. The increasing complexity of software has introduced more options to the user. This seemingly increased control actually decreases control as the number of options and features available to them overwhelms the users and 'information overload' can occur (Lachman, 1997). Conversational anthropomorphic interfaces provide a possible alternative to the direct manipulation metaphor. The aim of this paper is to investigate users reactions and assumptions when interacting with anthropomorphic agents. Here we consider how the level of anthropomorphism exhibited by the character and the level of interaction affects these assumptions. We compared characters of different levels of anthropomorphic abstraction, from a very abstract character to a realistic yet not human character. As more software is released for general use with anthropomorphic interfaces there seems to be no consensus of what the characters should look like and what look is more suited for different applications. Some software and research opts for realistic looking characters (for example, Haptek Inc., see others opt for cartoon characters (Microsoft, 1999) others opt for floating heads (Dohi & Ishizuka, 1997; Takama & Ishizuka, 1998; Koda, 1996; Koda & Maes, 1996a; Koda & Maes, 1996b). 440 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Self-contained, and collating for the first time material that has until now only been published in journals - often in Russian - this book will be of interest to functional analysts, especially those with interests in topological vector spaces, and to algebraists concerned with category theory. The closed graph theorem is one of the corner stones of functional analysis, both as a tool for applications and an object for research. However, some of the spaces which arise in applications and for which one wants closed graph theorems are not of the type covered by the classical closed graph theorem of Banach or its immediate extensions. To remedy this, mathematicians such as Schwartz and De Wilde (in the West) and Rajkov (in the East) have introduced new ideas which have allowed them to establish closed graph theorems suitable for some of the desired applications. In this book, Professor Smirnov uses category theory to provide a very general framework, including the situations discu ssed by De Wilde, Rajkov and others. General properties of the spaces involved are discussed and applications are provided in measure theory, global analysis and differential equations. 232 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Optimization in Industry comprises a collection of papers presented at the third US United Engineering Foundation's 'Optimization in Industry' Conference. The main thrust of this, the third conference of the series is related to engineering optimization including both manufacture and parametric design. The papers included explore the relationships between well-established deterministic optimization methods and the emerging stochastic and mainly population-based search and optimization algorithms. A mix of approaches across a wide range of engineering disciplines is included. It illustrates the manner in which various techniques can be utilised either in a stand-alone manner or within hybrid systems to give best performance in terms of optimal design and computational efficiency. The papers span scientific, application, awareness/information dissemination and industrial requirements areas. They provide information on available search and optimization techniques and their application to specific design problems and across the field of manufacturing generally. Papers identifying and dealing with problems of incorporating novel optimization techniques within day-to-day design practice and industrial software requirements are also included. The book will thus be of interest to both the industrial and academic communities. 356 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and database s, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians. 404 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Optimization in Industry comprises a collection of papers presented at the third US United Engineering Foundation's 'Optimization in Industry' Conference. The main thrust of this, the third conference of the series is related to engineering optimization including both manufacture and parametric design. The papers included explore the relationships between well-established deterministic optimization methods and the emerging stochastic and mainly population-based search and optimization algorithms. A mix of approaches across a wide range of engineering disciplines is included. It illustrates the manner in which various techniques can be utilised either in a stand-alone manner or within hybrid systems to give best performance in terms of optimal design and computational efficiency. The papers span scientific, application, awareness/information dissemination and industrial requirements areas. They provide information on available search and optimization techniques and their application to specific design problems and across the field of manufacturing generally. Papers identifying and dealing with problems of incorporating novel optimization techniques within day-to-day design practice and industrial software requirements are also included. The book will thus be of interest to both the industrial and academic communities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Artificial Intelligence is concerned with producing devices that help or replace human beings in their daily activities. Neural-symbolic learning systems play a central role in this task by combining, and trying to benefit from, the advantages of both the neural and symbolic paradigms of artificial intelligence. This book provides a comprehensive introduction to the field of neural-symbolic learning systems, and an invaluable overview of the latest research issues in this area. It is divided into three sections, covering the main topics of neural-symbolic integration - theoretical advances in knowledge representation and learning, knowledge extraction from trained neural networks, and inconsistency handling in neural-symbolic systems. Each section provides a balance of theory and practice, giving the results of applications using real-world problems in areas such as DNA sequence analysis, power systems fault diagnosis, and software requirements specifications. Neural-Symbolic Learning Systems will be invaluable reading for researchers and graduate students in Engineering, Computing Science, Artificial Intelligence, Machine Learning and Neurocomputing. It will also be of interest to Intelligent Systems practitioners and anyone interested in applications of hybrid artificial intelligence systems. 288 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is abook about the methods developed byour research team,over a period of 10years, for predicting financial market returns. Thework began in late 1991,at a time when one ofus (Jimmy Shadbolt) had just completed a rewrite of the software used at Econostat by the economics team for medium-term trend prediction of economic indica tors.Looking for anewproject,itwassuggestedthatwelook atnon-linear modelling of financial markets, and that a good place to start might be with neural networks. One small caveat should be added before we start: we use the terms 'prediction' and 'prediction model' throughout the book, although, with only such a small amount of information being extracted about future performance, can we really claim to be building predictors at all Some might saythat the future ofmarkets, especially one month ahead, is too dim to perceive. We think we can claim to 'predict' for two reasons. Firstlywedoindeedpredictafewper cent offuturevalues ofcertainassets in terms ofpast values ofcertainindicators, asshown by our trackrecord. Secondly, we use standard and in-house prediction methods that are purely quantitative. Weallow no subjective viewto alter what the models tell us. Thus weare doing prediction, even if the problem isvery hard. So while we could throughout the book talk about 'getting a better view of the future' or some such euphemism, we would not be correctly describing what it isweare actually doing. Weare indeed getting abetter view of the future, by using prediction methods. 288 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This is abook about the methods developed byour research team,over a period of 10years, for predicting financial market returns. Thework began in late 1991,at a time when one ofus (Jimmy Shadbolt) had just completed a rewrite of the software used at Econostat by the economics team for medium-term trend prediction of economic indica tors.Looking for anewproject,itwassuggestedthatwelook atnon-linear modelling of financial markets, and that a good place to start might be with neural networks. One small caveat should be added before we start: we use the terms 'prediction' and 'prediction model' throughout the book, although, with only such a small amount of information being extracted about future performance, can we really claim to be building predictors at all Some might saythat the future ofmarkets, especially one month ahead, is too dim to perceive. We think we can claim to 'predict' for two reasons. Firstlywedoindeedpredictafewper cent offuturevalues ofcertainassets in terms ofpast values ofcertainindicators, asshown by our trackrecord. Secondly, we use standard and in-house prediction methods that are purely quantitative. Weallow no subjective viewto alter what the models tell us. Thus weare doing prediction, even if the problem isvery hard. So while we could throughout the book talk about 'getting a better view of the future' or some such euphemism, we would not be correctly describing what it isweare actually doing. Weare indeed getting abetter view of the future, by using prediction methods.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.