Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Machine Learning, Meta-Reasoning and Logics

Posted By: AvaxGenius
Machine Learning, Meta-Reasoning and Logics

Machine Learning, Meta-Reasoning and Logics by Pavel B. Brazdil, Kurt Konolige
English | PDF | 1990 | 339 Pages | ISBN : 0792390474 | 27.1 MB

This book contains a selection of papers presented at the International Workshop Machine Learning, Meta-Reasoning and Logics held in Hotel de Mar in Sesimbra, Portugal, 15-17 February 1988. All the papers were edited afterwards. The Workshop encompassed several fields of Artificial Intelligence: Machine Learning, Belief Revision, Meta-Reasoning and Logics. The objective of this Workshop was not only to address the common issues in these areas, but also to examine how to elaborate cognitive architectures for systems capable of learning from experience, revising their beliefs and reasoning about what they know. Acknowledgements The editing of this book has been supported by COST-13 Project Machine Learning and Knowledge Acquisition funded by the Commission o/the European Communities which has covered a substantial part of the costs. Other sponsors who have supported this work were Junta Nacional de lnvestiga~ao Cientlfica (JNICT), lnstituto Nacional de lnvestiga~ao Cientlfica (INIC), Funda~ao Calouste Gulbenkian. I wish to express my gratitude to all these institutions. Finally my special thanks to Paula Pereira and AnaN ogueira for their help in preparing this volume. This work included retyping all the texts and preparing the camera-ready copy. Introduction 1 1. Meta-Reasoning and Machine Learning The first chapter is concerned with the role meta-reasoning plays in intelligent systems capable of learning. As we can see from the papers that appear in this chapter, there are basically two different schools of thought.

The e Hardware Verification Language

Posted By: AvaxGenius
The e Hardware Verification Language

The e Hardware Verification Language by Sasan Iman , Sunita Joshi
English | PDF | 2004 | 352 Pages | ISBN : 1402080239 | 11.4 MB

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal of verification is, after all, finding more bugs quicker using given resources, and verification reuse (module-to-system, old-system-to-new-system etc. ) is a key enabling component. This book offers a fresh approach in teaching the e hardware verification language within the context of coverage driven verification methodology. I hope it will help the reader und- stand the many important and interesting topics surrounding hardware verification. Yoav Hollander Founder and CTO, Verisity Inc. Preface This book provides a detailed coverage of the e hardware verification language (HVL), state of the art verification methodologies, and the use of e HVL as a facilitating verification tool in implementing a state of the art verification environment. It includes comprehensive descriptions of the new concepts introduced by the e language, e language syntax, and its as- ciated semantics. This book also describes the architectural views and requirements of verifi- tion environments (randomly generated environments, coverage driven verification environments, etc. ), verification blocks in the architectural views (i. e. generators, initiators, c- lectors, checkers, monitors, coverage definitions, etc. ) and their implementations using the e HVL. Moreover, the e Reuse Methodology (eRM), the motivation for defining such a gui- line, and step-by-step instructions for building an eRM compliant e Verification Component (eVC) are also discussed.

Computer Systems: Theory, Technology, and Applications (Repost)

Posted By: AvaxGenius
Computer Systems: Theory, Technology, and Applications (Repost)

Computer Systems: Theory, Technology, and Applications by Andrew Herbert, Karen Spärck Jones
English | PDF | 2004 | 321 Pages | ISBN : 038720170X | 2.9 MB

An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research. From operating systems to distributed computing, many of the world's leading researchers provide insight into the latest concepts and theoretical insights–many of which are based upon Needham's pioneering research work. A critical collection of edited-survey research papers spanning the entire range of Roger Needham's distinguished scientific career, from operating systems to distributed computing and security. Many of the world's leading researchers survey their topics' latest developments and acknowledge the theoretical foundations of Needham's work. Introduction to book written by Rick Rashid, Director of Microsoft Research Worldwide.

Automatic Quantum Computer Programming: A Genetic Programming Approach

Posted By: AvaxGenius
Automatic Quantum Computer Programming: A Genetic Programming Approach

Automatic Quantum Computer Programming: A Genetic Programming Approach by Lee Spector
English | PDF (True) | 2004 | 158 Pages | ISBN : 1402078943 | 2.9 MB

Automatic Quantum Computer Programming provides an introduction to quantum computing for non-physicists, as well as an introduction to genetic programming for non-computer-scientists. The book explores several ways in which genetic programming can support automatic quantum computer programming and presents detailed descriptions of specific techniques, along with several examples of their human-competitive performance on specific problems. Source code for the author’s QGAME quantum computer simulator is included as an appendix, and pointers to additional online resources furnish the reader with an array of tools for automatic quantum computer programming.

Handbook of Combinatorial Optimization: Volume1–3 (Repost)

Posted By: AvaxGenius
Handbook of Combinatorial Optimization: Volume1–3 (Repost)

Handbook of Combinatorial Optimization: Volume1–3 by Ding-Zhu Du
English | PDF | 1998 | 2410 Pages | ISBN : 0792350197 | 217.7 MB

Combinatorial (or discrete) optimization is one of the most active fields in the interface of operations research, computer science, and applied math­ ematics. Combinatorial optimization problems arise in various applications, including communications network design, VLSI design, machine vision, air­ line crew scheduling, corporate planning, computer-aided design and man­ ufacturing, database query design, cellular telephone frequency assignment, constraint directed reasoning, and computational biology. Furthermore, combinatorial optimization problems occur in many diverse areas such as linear and integer programming, graph theory, artificial intelligence, and number theory.

Contemporary Cryptology

Posted By: AvaxGenius
Contemporary Cryptology

Contemporary Cryptology by Dario Catalano , Ronald Cramer , Giovanni Crescenzo , Ivan Darmgård , David Pointcheval , Tsuyoshi Takagi
English | PDF (True) | 2006 | 244 Pages | ISBN : 376437294X | 2.4 MB

The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes:

Progress on Cryptography: 25 Years of Cryptography in China

Posted By: AvaxGenius
Progress on Cryptography: 25 Years of Cryptography in China

Progress on Cryptography: 25 Years of Cryptography in China by Kefei Chen
English | PDF | 2004 | 253 Pages | ISBN : 1402079869 | 16.1 MB

Cryptography in Chinese consists of two characters meaning "secret coded". Thanks to Ch'in Chiu-Shao and his successors, the Chinese Remainder Theorem became a cornerstone of public key cryptography. Today, as we observe the constant usage of high-speed computers interconnected via the Internet, we realize that cryptography and its related applications have developed far beyond "secret coding". China, which is rapidly developing in all areas of technology, is also writing a new page of history in cryptography. As more and more Chinese become recognized as leading researchers in a variety of topics in cryptography, it is not surprising that many of them are Professor Xiao's former students.

The Computer - My Life

Posted By: AvaxGenius
The Computer - My Life

The Computer - My Life by Konrad Zuse
English | PDF | 1993 | 250 Pages | ISBN : 3540564535 | 24.7 MB

Konrad Zuse is one of the great pioneers of the computerage. He created thefirst fully automated, programcontrolled, freely programmable computer using binaryfloating-point calculation. It was operational in 1941. Hebuilt his first machines in Berlin during the Second WorldWar, with bombs falling all around, and after the war hebuilt up a company that was taken over by Siemens in 1967.Zuse was an inventor in the traditional style, full ofphantastic ideas, but also gifted with a powerful analyticalmind. Single-handedly, he developed one of the firstprogramming languages, the Plan Calculus, including featurescopied only decades later in other languages. He wrotenumerousbooks and articles and won many honors and awards.This is his autobiography, written in an engagingly livelyand pleasant style, full of anecdotes, reminiscences, andphilosophical asides. It traces his life from his childhoodin East Prussia, through tense wartime experiences and hardtimes building up his business after the war, to a ripe oldage andwell-earned celebrity.

Optimisation, Econometric and Financial Analysis (Repost)

Posted By: AvaxGenius
Optimisation, Econometric and Financial Analysis (Repost)

Optimisation, Econometric and Financial Analysis by Erricos John Kontoghiorghes, Cristian Gatu
English | PDF | 2007 | 275 Pages | ISBN : 3540366253 | 4.6 MB

Advanced computational methods are often employed for the solution of modelling and decision-making problems. This book addresses issues associated with the interface of computing, optimisation, econometrics and financial modelling. Emphasis is given to computational optimisation methods and techniques. The first part of the book addresses optimisation problems and decision modelling, with special attention to applications of supply chain and worst-case modelling as well as advances in the methodological aspects of optimisation techniques. The second part of the book is devoted to optimisation heuristics, filtering, signal extraction and various time series models. The chapters in this part cover the application of threshold accepting in econometrics, the structure of threshold autoregressive moving average models, wavelet analysis and signal extraction techniques in time series. The third and final part of the book is about the use of optimisation in portfolio selection and real option modelling.

Programming Languages and Systems in Computational Economics and Finance

Posted By: AvaxGenius
Programming Languages and Systems in Computational Economics and Finance

Programming Languages and Systems in Computational Economics and Finance by Søren S. Nielsen
English | PDF | 2002 | 462 Pages | ISBN : 1402071396 | 19.1 MB

The developments within the computationally and numerically oriented ar­ eas of Operations Research, Finance, Statistics and Economics have been sig­ nificant over the past few decades. Each area has been developing its own computer systems and languages that suit its needs, but there is relatively little cross-fertilization among them yet. This volume contains a collection of papers that each highlights a particular system, language, model or paradigm from one of the computational disciplines, aimed at researchers and practitioners from the other fields. The 15 papers cover a number of relevant topics: Models and Modelling in Operations Research and Economics, novel High-level and Object-Oriented approaches to programming, through advanced uses of Maple and MATLAB, and applications and solution of Differential Equations in Finance. It is hoped that the material in this volume will whet the reader's appetite for discovering and exploring new approaches to old problems, and in the longer run facilitate cross-fertilization among the fields. We would like to thank the contributing authors, the reviewers, the publisher, and last, but not least, Jesper Saxtorph, Anders Nielsen, and Thomas Stidsen for invaluable technical assistance.

Informatics: 10 Years Back. 10 Years Ahead

Posted By: AvaxGenius
Informatics: 10 Years Back. 10 Years Ahead

Informatics: 10 Years Back. 10 Years Ahead by Reinhard Wilhelm
English | PDF | 2001 | 379 Pages | ISBN : 3540416358 | 6.3 MB

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come.

Data Mining for Scientific and Engineering Applications

Posted By: AvaxGenius
Data Mining for Scientific and Engineering Applications

Data Mining for Scientific and Engineering Applications by Robert L. Grossman, Chandrika Kamath, Philip Kegelmeyer, Vipin Kumar, Raju R. Namburu
English | PDF | 2001 | 608 Pages | ISBN : 1402000332 | 88.8 MB

Advances in technology are making massive data sets common in many scientific disciplines, such as astronomy, medical imaging, bio-informatics, combinatorial chemistry, remote sensing, and physics. To find useful information in these data sets, scientists and engineers are turning to data mining techniques. This book is a collection of papers based on the first two in a series of workshops on mining scientific datasets. It illustrates the diversity of problems and application areas that can benefit from data mining, as well as the issues and challenges that differentiate scientific data mining from its commercial counterpart. While the focus of the book is on mining scientific data, the work is of broader interest as many of the techniques can be applied equally well to data arising in business and web applications.

Cellular Automata Transforms

Posted By: AvaxGenius
Cellular Automata Transforms

Cellular Automata Transforms: Theory and Applications in Multimedia Compression, Encryption, and Modeling by Olu Lafe
English | PDF | 2000 | 180 Pages | ISBN : 0792378571 | 12.6 MB

Cellular Automata Transforms describes a new approach to using the dynamical system, popularly known as cellular automata (CA), as a tool for conducting transforms on data. Cellular automata have generated a great deal of interest since the early 1960s when John Conway created the `Game of Life'. This book takes a more serious look at CA by describing methods by which information building blocks, called basis functions (or bases), can be generated from the evolving states. These information blocks can then be used to construct any data. A typical dynamical system such as CA tend to involve an infinite possibilities of rules that define the inherent elements, neighborhood size, shape, number of states, and modes of association, etc. To be able to build these building blocks an elegant method had to be developed to address a large subset of these rules. A new formula, which allows for the definition a large subset of possible rules, is described in the book. The robustness of this formula allows searching of the CA rule space in order to develop applications for multimedia compression, data encryption and process modeling.

Algebraic Structures and Operator Calculus Volume II: Special Functions and Computer Science

Posted By: AvaxGenius
Algebraic Structures and Operator Calculus Volume II: Special Functions and Computer Science

Algebraic Structures and Operator Calculus Volume II: Special Functions and Computer Science by Philip Feinsilver , René Schott
English | PDF | 1994 | 151 Pages | ISBN : 079232921X | 6 MB

In this volume we will present some applications of special functions in computer science. This largely consists of adaptations of articles that have appeared in the literature . Here they are presented in a format made accessible for the non-expert by providing some context. The material on group representations and Young tableaux is introductory in nature. However, the algebraic approach of Chapter 2 is original to the authors and has not appeared previously . Similarly, the material and approach based on Appell states, so formulated, is presented here for the first time . As in all volumes of this series, this one is suitable for self-study by researchers . It is as well appropriate as a text for a course or advanced seminar . The solutions are tackled with the help of various analytical techniques, such as g- erating functions, and probabilistic methods/insights appear regularly . An interesting feature is that, as has been the case in classical applications to physics, special functions arise- here in complexity analysis. And, as in physics, their appearance indicates an underlying Lie structure. Our primary audience is applied mathematicians and theoretical computer scientists . We are quite sure that pure mathematicians will find this volume interesting and useful as well .

Uncertainty Analyses in Environmental Sciences and Hydrogeology: Methods and Applications to Subsurface Contamination

Posted By: AvaxGenius
Uncertainty Analyses in Environmental Sciences and Hydrogeology: Methods and Applications to Subsurface Contamination

Uncertainty Analyses in Environmental Sciences and Hydrogeology: Methods and Applications to Subsurface Contamination by Rachid Ababou , Juliette Chastanet , Jean-Marie Côme , Manuel Marcoux , Michel Quintard
English | PDF EPUB (True) | 2023 | 103 Pages | ISBN : 9819962404 | 19.8 MB

This book highlights several methods and quantitative implementations of both probabilistic and fuzzy-based approaches to uncertainty quantification and uncertainty propagation through environmental subsurface pollution models with uncertain input parameters. The book focuses on methods as well as applications in hydrogeology, soil hydrology, groundwater contamination, and related areas (e.g., corrosion of nuclear waste canisters). The methods are illustrated for a broad spectrum of models, from non-differential I/O models to complex PDE solvers, including a novel 3D quasi-analytical model of contaminant transport, and a site-specific computer model of dissolved contaminant migration from a DNAPL (Dense Non Aqueous Phase Liquid) pollution source.