Publisher: Springer; 1 edition
Language: English
ISBN: 3540212604
Paperback: 315 pages
Data: April 28, 2004
Format: PDF
Description: This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.

The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Publisher: Springer; 1 edition
Language: English
ISBN: 3540213147
Paperback: 309 pages
Data: April 28, 2004
Format: PDF
Description: This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.

The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Publisher: Springer; 1 edition
Language: English
ISBN: 3540213058
Paperback: 389 pages
Data: May 14, 2004
Format: PDF
Description: This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004.

The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully reviewed and selected from a total of 98 submissions. The papers are organized in topical sections on objects and aspects, smart cards, components, security and web services, modeling and requirements, testing, and model checking and analysis.

Publisher: Cambridge University Press
Language: English
ISBN: 0521848024
Paperback: 626 pages
Data: July 25, 2005
Format: PDF
Description: A series of important applications of combinatorics on words has emerged with the development of computerized text and string processing. The aim of this volume, the third in a trilogy, is to present a unified treatment of some of the major fields of applications. After an introduction that sets the scene and gathers together the basic facts, there follow chapters in which applications are considered in detail. The areas covered include core algorithms for text processing, natural language processing, speech processing, bioinformatics, and areas of applied mathematics such as combinatorial enumeration and fractal analysis. No special prerequisites are needed, and no familiarity with the application areas or with the material covered by the previous volumes is required. The breadth of application, combined with the inclusion of problems and algorithms and a complete bibliography will make this book ideal for graduate students and professionals in mathematics, computer science, biology and linguistics.

Publisher: McGraw-Hill Professional; 1 edition
Language: English
ISBN: 0071385134
Paperback: 384 pages
Data: April 29, 2002
Format: PDF
Description: As service providers start to build 3G (3rd generation) and UMTS (Universal Mobile Telecommunications Systems) networks, they'll have to begin by implementing W-CDMA (Wideband Code Division Multiple Access)--the new access technology. Here's an explanation of that technology network managers can use to make design, purchasing, and operational decisions. * What providers must know to enable wireless data speeds 40 times the current rate, and the Web and video access customers want * Shows networking professionals how to integrate US, European, and Pacific Rim flavers of 3G (in Europe its called UMTS) for worldwide roaming access * First coverage of IMT-2000 (International Mobile Telecommunications for the Year 2000), proposed physical interfaces for 3G/UMTS integration

Publisher: Wordware Publishing, Inc.; Pap/Cdr edition
Language: English
ISBN: 1556227493
Paperback: 700 pages
Data: December 15, 2001
Format: PDF
Description: This new titles is an updated edition of Tomes of Delphi: Win32 Graphical API, which received rave reviews from the industry. The new edition retains its reference organization and distinctive help file on the CD, as well as including Windows 2000 changes.

Publisher: CRC
Language: English
ISBN: 142005323X
Paperback: 416 pages
Data: December 13, 2007
Format: PDF
Description: Expert systems allow scientists to access, manage, and apply data and specialized knowledge from various disciplines to their own research. Expert Systems in Chemistry Research explains the general scientific basis and computational principles behind expert systems and demonstrates how they can improve the efficiency of scientific workflows and support decision-making processes. Focused initially on clarifying the fundamental concepts, limits, and drawbacks of using computer software to approach human decision making, the author also underscores the importance of putting theory into practice. The book highlights current capabilities for planning and monitoring experiments, scientific data management and interpretation, chemical characterization, problem solving, and methods for encoding chemical data. It also examines the challenges as well as requirements, strategies, and considerations for implementing expert systems effectively in an existing laboratory software environment. Expert Systems in Chemistry Research covers various artificial intelligence technologies used to support expert systems, including nonlinear statistics, wavelet transforms, artificial neural networks, genetic algorithms, and fuzzy logic. This definitive text provides researchers, scientists, and engineers with a cornerstone resource for developing new applications in chemoinformatics, systems design, and other emerging fields.

Publisher: O'Reilly Media, Inc.
Language: English
ISBN: 0596007922
Paperback: 302 pages
Data: July 20, 2004
Format: CHM
Description: The Mono Project is the much talked-about open source initiative to create a Unix implementation of Microsoft's .NET Development Framework. Its purpose is to allow Unix developers to build and deploy cross-platform .NET applications. The project has also sparked interest in developing components, libraries and frameworks with C#, the programming language of .NET. The controversy? Some say Mono will become the preferred platform for Linux development, empowering Linux/Unix developers. Others say it will allow Microsoft to embrace, extend, and extinguish Linux. The controversy rages on, but--like many developers--maybe you've had enough talk and want to see what Mono is really all about. There's one way to find out: roll up your sleeves, get to work, and see what you Mono can do. How do you start? You can research Mono at length. You can play around with it, hoping to figure things out for yourself. Or, you can get straight to work with Mono: A Developer's Notebook--a hands-on guide and your trusty lab partner as you explore Mono 1.0. Light on theory and long on practical application, Mono: A Developer's Notebook bypasses the talk and theory, and jumps right into Mono 1.0. Diving quickly into a rapid tour of Mono, you'll work through nearly fifty mini-projects that will introduce you to the most important and compelling aspects of the 1.0 release.

Publisher: Springer; 1 edition
Language: English
ISBN: 1402059787
Paperback: 714 pages
Data: November 9, 2007
Format: PDF
Description: In the Age of Enlightenment the German philosopher Immanuel Kant encouraged people to use their own mind as the basis for reasoning instead of following dogmatic religious rules - Sapere aude! (dare to know!) - Today wireless communication networks are increasingly becoming aware of the conditions of its their component parts and surrounding environment. Cognition, a continuous process involving sensing, reasoning, understanding and reacting, can be applied to wireless networks in order to adapt the system to the highly dynamic wireless ecosystem. The ultimate goals are to enhance the efficiency in the use of radio resources as well as to improve both link and network performance. This book presents a detailed overview of a rapidly emerging topic in modern communications: cognitive wireless networks. The key aspects of cognitive and cooperative principles in wireless networks are discussed in this book. Furthermore, Cognitive Wireless Networks advocates the concept of breaking up the cellular communication architecture by introducing cooperative strategies among wireless devices. Cognitive wireless networking is the key to success in handling the upcoming dynamic network configurations and exploiting this cross-over to the fullest extent.

Publisher: Informa Healthcare
Language: English
ISBN: 0849370531
Paperback: 170 pages
Data: April, 2007
Format: PDF
Description: The first atlas devoted specifically to cardio-metabolic risk, this book will provide a concise visual primer on the pathophysiology, epidemiology, diagnosis, treatment, and clinical and radiologic features of this disorder. Describing recent care strategies and current practices in patient assessment, this source will allow clinicians to accurately identify and treat those patients at increased risk for metabolic syndrome, cardiovascular disease, and diabetes.

Publisher: Duxbury Press; 1 edition
Language: English
ISBN: 0534393098
Paperback:
Data: November 13, 2002
Format: Video Tutorials
Description: This CD-ROM covers the essential elements of Excel for the analysis of business problems, with narrated live action screen videos, and supplementary exercises for the students to complete to cement the ideas. Its 9 modules each cover a different aspect of the use of Excel, starting from the ground up. Topics include using the Excel menus, data tables, using the solver, graphing, using spreadsheets for basic statistics, regression, and using pivot tables for complex data sets.