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

Building Expert Systems in Prolog

Posted By: AvaxGenius
Building Expert Systems in Prolog

Building Expert Systems in Prolog by Dennis Merritt
English | PDF | 1989 | 360 Pages | ISBN : 1461389135 | 34.6 MB

When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog. Of course, the set of actual production systems is a little small for a valid statistical sample, at least at the time and place of this writing - here in Gennany, and in the first days of 1989. But there are at least some systems I have seen running in real life commercial and industrial environments, and not only at trade shows. I can observe the most impressive one in my immediate neighborhood. It is installed in the Telephone Shop of the Gennan Federal PTT near the Munich National Theater, and helps configure telephone systems and small PBXs for mostly private customers. It has a neat, graphical interface, and constructs and prices an individual telephone installation interactively before the very eyes of the customer. The hidden features of the system are even more impressive. It is part of an expert system network with a distributed knowledge base that will grow to about 150 installations in every Telephone Shop throughout Gennany. Each of them can be updated individually overnight via Teletex to present special offers or to adapt the selection process to the hardware supplies currently available at the local ware­ houses.

Java and the Java Virtual Machine: Definition, Verification, Validation

Posted By: AvaxGenius
Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation by Robert F. Stärk , Joachim Schmid , Egon Börger
English | PDF | 2001 | 375 Pages | ISBN : 3540420886 | 27.4 MB

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well­ founded and rigorous yet simple and industrially viable framework for high­ level design and analysis of complex systems, and for natural refinements of models to executable code. Wolfram Schulte argued, referring to his work with K. Achatz on A Formal Object-Oriented Method Inspired by Fusion and Object-Z [1], that with current techniques of functional programming and of axiomatic specification, one can achieve the same result.

SystemC: Methodologies and Applications

Posted By: AvaxGenius
SystemC: Methodologies and Applications

SystemC: Methodologies and Applications by Wolfgang Müller, Wolfgang Rosenstiel, Jürgen Ruf
English | PDF | 2003 | 355 Pages | ISBN : 1402074794 | 21.6 MB

SystemC has received a wide acceptance by users and tool vendors as the next generation system description language in order to deal with higher levels of abstraction for complex SoC designs. SystemC Methodologies and Applications gives a comprehensive survey on the state of the art of SystemC in industry and research. Organised into 11 self-contained chapters, selected SystemC experts present their approaches in the domains of
-modelling,
-analysis,
-synthesis.
Their contributions range from mixed signal and discrete system to embedded software. The chapters give a broad overview of recent advances in SystemC methodologies and applications and are mainly based on presentations given at the European SystemC User Group meetings.

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

Posted By: AvaxGenius
Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz by S. S. Ravi, Sandeep K. Shukla
English | PDF(True) | 2009 | 512 Pages | ISBN : 1402096879 | 5.87 MB

Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database systems, very large scale integrated systems, fault-tolerant computing and discrete dynamical systems. For many years, Professor Rosenkrantz served as the Editor-in-Chief of the Journal of the Association for Computing Machinery (JACM), a very prestigious archival journal in Computer Science. His contributions to Computer Science have earned him many awards including the Fellowship from ACM and the ACM SIGMOD Contributions Award.

Book on C, Second Edition

Posted By: AvaxGenius
Book on C, Second Edition

Book on C, Second Edition by R. E. Berry, B. A. E. Meekings, M. D. Soren
English | PDF | 1988 | 244 Pages | ISBN : 0333465296 | 7.3 MB

Revised and extended, this text covers all features of the C programming language for both the student and the professional user.

Beginning C

Posted By: AvaxGenius
Beginning C

Beginning C by Ivor Horton
English | PDF | 2004 | 633 Pages | ISBN : 1590592530 | 47.2 MB

The updated classic from author, lecturer, and respected academic Ivor Horton, Beginning C, Third Edition is the essential guide for anyone looking to learn the C language from the ground up. It is a highly recommended text for training courses and continuing education students, and assumes no prior working knowledge of C.

Python Scripting for Computational Science

Posted By: AvaxGenius
Python Scripting for Computational Science

Python Scripting for Computational Science by Hans Petter Langtangen
English | PDF(True) | 2008 | 777 Pages | ISBN : 3540739157 | 6.9 MB

Numerous readers of the second edition have noti?ed me about misprints and possible improvements of the text and the associated computer codes. The resulting modi?cations have been incorporated in this new edition and its accompanying software. The major change between the second and third editions, however, is caused by the new implementation of Numerical Python, now called numpy.

Linked Lists with C

Posted By: ELK1nG
Linked Lists with C

Linked Lists with C
MP4 | Video: h264, 1280x720 | Audio: AAC, 44.1 KHz, 2 Ch
Genre: eLearning | Language: English + srt | Duration: 17 lectures (4h 43m) | Size: 1.76 GB

Build a library for working with Linked Lists using the C programming language

Algorithm Design for Networked Information Technology Systems

Posted By: AvaxGenius
Algorithm Design for Networked Information Technology Systems

Algorithm Design for Networked Information Technology Systems by Sumit Ghosh
English | True PDF | 2004 | 435 Pages | ISBN : 0387955445 | 4.8 MB

Networked information technology (NIT) systems are synonymous with network-centric or net-centric systems and constitute the cornerstone of the fast approaching information age. To date, however, the design and development of NIT systems have been ad hoc and have suffered from a dearth of supporting scientific and theoretical principles.

Data Structures and Algorithms Implementation through C

Posted By: sasha82
Data Structures and Algorithms Implementation through C

Data Structures and Algorithms Implementation through C: Let’s Learn and Apply by Dr Brijesh Bakariya
2018 | ISBN: 9386551942 | English | 324 pages | EPUB | 5 MB

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s (Repost)

Posted By: AvaxGenius
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s (Repost)

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 by Dominique Borrione
English | PDF,EPUB | 2010 | 248 Pages | ISBN : 9048193036 | 9.26 MB

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems.

PasRo: Pascal and C for Robots

Posted By: AvaxGenius
PasRo: Pascal and C for Robots

PasRo: Pascal and C for Robots by Christian Blume
English | PDF | 1987 | 244 Pages | ISBN : 3540180931 | 26.83 MB

The second edition of PASRO - Pascal for Robots includes some new aspects of the PASRO development within the last two years. Besides the PASRO implementation on other computers with the help of different Pascal compilers and operating systems, one significant new development has been the implementation of the PASRO concept in the programming language C.