Narrow your search

Library

KU Leuven (4)

UAntwerpen (2)

UCLouvain (2)

UGent (2)

ULiège (2)

EhB (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

More...

Resource type

book (4)


Language

English (4)


Year
From To Submit

1979 (4)

Listing 1 - 4 of 4
Sort by

Book
Decidability questions for petri nets
Author:
ISBN: 082404424X Year: 1979 Publisher: New York (N.Y.): Garland

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
NETL, a system for representing and using real-world knowledge
Author:
ISBN: 9780262256100 9780262561679 026225610X Year: 1979 Publisher: Cambridge, Mass. : MIT Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"Consider for a moment the layers of structure and meaning that are attached to concepts like lawsuit, birthday party, fire, mother, walrus, cabbage, or king.... If I tell you that a house burned down, and that the fire started at a child's birthday party, you will think immediately of the candles on the cake and perhaps of the many paper decorations. You will not, In all probability, find yourself thinking about playing pin-the- tall-on-the-donkey or about the color of the cake's icing or about the fact that birthdays come once a year. These concepts are there when you need them, but they do not seem to slow down the search for a link between fires and birthday parties."The human mind can do many remarkable things. One of the most remarkable Is its ability to store an enormous quantity and variety of knowledge and to locate and retrieve whatever part of it is relevant in a particular context quickly and in most cases almost without effort. "If we are ever to create an artificial intelligence with human-like abilities," Fahlman writes, "we will have to endow it with a comparable knowledge-handling facility; current knowledge-base systems fall far short of this goal. This report describes an approach to the problem of representing and using realworld knowledge in a computer."The system developed by Fahlman and presented in this book consists of two more-or-less independent parts. The first is the system's parallel network memory scheme: "Knowledge Is stored as a pattern of interconnections of very simple parallel processing elements: node units that can store a dozen or so distinct marker-bits, and link units that can propagate those markers from node to node, in parallel through the network. Using these marker-bit movements, the parallel network system can perform searches and many common deductions very quickly."The second (and more traditional) part of the knowledge-base system presented here is NETL, "a vocabulary of conventions and processing algorithms--in some sense, a language--for representing various kinds of knowledge as nodes and links in the network.... NETL incorporates a number of representational techniques--new ideas and new combinations of old ideas-which allow it to represent certain real-world concepts more precisely and more efficiently than earlier systems.... NETL has been designed to operate efficiently on the parallel network machine described above, and to exploit this machine's special abilities. Most of the ideas in NETL are applicable to knowledge-base systems on serial machines as well."

Smoothing techniques for curve estimation
Authors: ---
ISBN: 0387097066 0387097074 3540097066 3540384758 9780387097060 Year: 1979 Volume: 757 Publisher: New York (N.Y.): Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This work introduces new developments in the construction, analysis, and implementation of parallel computing algorithms. This book presents 23 self-contained chapters, including surveys, written by distinguished researchers in the field of parallel computing. Each chapter is devoted to some aspects of the subject: parallel algorithms for matrix computations, parallel optimization, management of parallel programming models and data, with the largest focus on parallel scientific computing in industrial applications.Key features include: construction and analysis of parallel algorithms for linear algebra and optimization problems; different aspects of parallel architectures, including distributed memory computers with multicore processors; a wide range of industrial applications: parallel simulation of flows through oil filters as well as in porous and gas media, jet aerodynamics, heat conduction in electrical cables, nonlinear optics processes in tapered lasers, and molecular and cell dynamics.

Automata, languages and programming: : sixth colloquium, Graz, Austria, July 16-20, 1979
Authors: ---
ISBN: 9780387095110 9780387095103 0387095101 038709511X 354009511X 3540351639 3540095101 354035168X 9783540095118 9783540095101 Year: 1979 Volume: 70 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Introductory MEMS: Fabrication and Applications is a practical introduction to MEMS for advanced undergraduate and graduate students. Part I introduces the student to the most commonly used MEMS fabrication techniques as well as the MEMS devices produced using these techniques. Part II focuses on MEMS transducers: principles of operation, modeling from first principles, and a detailed look at commercialized MEMS devices, in addition to microfluidics. Multiple field-tested laboratory exercises are included, designed to facilitate student learning about the fundamentals of microfabrication processes. References, suggested reading, review questions, and homework problems are provided at the close of each chapter. Introductory MEMS: Fabrication and Applications is an excellent introduction to the subject, with a tested pedagogical structure and an accessible writing style suitable for students at an advanced undergraduate level across academic disciplines. .

Keywords

Engineering. --- Electronics and Microelectronics, Instrumentation. --- Circuits and Systems. --- Mechanics. --- Surfaces and Interfaces, Thin Films. --- Continuum Mechanics and Mechanics of Materials. --- Materials. --- Electronics. --- Systems engineering. --- Surfaces (Physics). --- Ingénierie --- Mécanique --- Matériaux --- Electronique --- Ingénierie des systèmes --- Surfaces (Physique) --- Microelectromechanical systems. --- Electronic apparatus and appliances. --- Transducers. --- Electronic books. -- local. --- Microelectromechanical systems --- Electronic apparatus and appliances --- Transducers --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Electronic devices --- Electronics --- MEMS (Microelectromechanical systems) --- Micro-electro-mechanical systems --- Micro-machinery --- Microelectromechanical devices --- Micromachinery --- Micromachines --- Micromechanical devices --- Micromechanical systems --- Apparatus and appliances --- 681.3*A0 --- 681.3*D31 --- 681.3*F12 --- Formal definitions and theory: semantics syntax (Programming languages)--See also {681.3*D21} {681.3*F31} {681.3*F32} {681.3*F42} {681.3*F43} --- Process management: concurrency deadlocks multiprocessing/multiprogrammingmutual exclusion scheduling synchronization (Operating systems) --- Modes of computation: alternation and nondeterminism parallelism probabilistic computation relations among modes relativized computation --- 681.3*F12 Modes of computation: alternation and nondeterminism parallelism probabilistic computation relations among modes relativized computation --- 681.3*D41 Process management: concurrency deadlocks multiprocessing/multiprogrammingmutual exclusion scheduling synchronization (Operating systems) --- 681.3*D31 Formal definitions and theory: semantics syntax (Programming languages)--See also {681.3*D21} {681.3*F31} {681.3*F32} {681.3*F42} {681.3*F43} --- Sequential Machine Theory --- FORMAL LANGUAGES --- Continuum mechanics. --- Microelectronics. --- Electronic circuits. --- Materials --- Thin films. --- Surfaces. --- Programming --- Computer science --- #TCPW P4.0 --- #TCPW P4.6 --- 681.3*D41 --- 681.3*F3 --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*A0 General --- General --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*F0 --- 681.3*F4 --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Computerwetenschap--?*F0 --- Electric apparatus and appliances --- Electromechanical devices --- Physical instruments --- Scientific apparatus and instruments --- Electronic instruments --- Microtechnology --- Mechatronics --- Parallel processing (Electronic computers) --- Programming languages (Electronic computers) --- Congresses --- Semantics --- Parallélisme (Informatique) --- Langages de programmation --- Congrès --- Sémantique --- Mechanics, Applied. --- Classical Mechanics. --- Solid Mechanics. --- Applied mechanics --- Engineering, Mechanical --- Engineering mathematics --- Physics --- Surface chemistry --- Surfaces (Technology) --- Classical mechanics --- Newtonian mechanics --- Dynamics --- Quantum theory --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Electrical engineering --- Physical sciences --- Design and construction --- Materials—Surfaces. --- Films, Thin --- Solid film --- Solid state electronics --- Solids --- Coatings --- Thick films --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Semiconductors --- Miniature electronic equipment --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Logic design. --- Software engineering. --- Logics and Meanings of Programs. --- Software Engineering. --- Information theory. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Logique --- Programmation système (informatique) --- Parallel processing (Electronic computers) - Congresses --- Programming languages (Electronic computers) - Semantics - Congresses --- Sequential Machine Theory - Congresses --- FORMAL LANGUAGES - Congresses --- Programming languages (Electronic computers) - Congresses --- Langages de programmation.

Listing 1 - 4 of 4
Sort by