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

Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink)

Posted By: AvaxGenius
Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink)

Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink) by Mohand Mokhtari , Nadia Martaj
Français | PDF (True) | 2012 | 675 Pages | ISBN : 3642242006 | 42.2 MB

Cet ouvrage permet d’apprendre à utiliser les Outils Simscape et SimpowerSystems pour modéliser et simuler des circuits électroniques, électromécaniques et électronique de puissance. Pour utiliser ces deux outils, la connaissance de MATLAB et SIMULINK est indispensable. Cet ouvrage possède trois types de chapitres : prise en main de l’outil, description des différentes bibliothèques avec quelques applications et enfin chapitre d’applications très utilisées dans les domaines universitaires et industriels.

The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data

Posted By: AvaxGenius
The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data

The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data by Peter M. D. Gray, Larry Kerschberg, Peter J. H. King, Alexandra Poulovassilis
English | PDF | 2004 | 516 Pages | ISBN : 3540003754 | 49.2 MB

It is over 20 years since the functional data model and functional programming languages were first introduced to the computing community. Although developed by separate research communities, recent work, presented in this book, suggests there is powerful synergy in their integration. As database technology emerges as central to yet more complex and demanding applications in areas such as bioinformatics, national security, criminal investigations and advanced engineering, more sophisticated approaches like those presented here, are needed.

Algorithmics for Hard Problems

Posted By: AvaxGenius
Algorithmics for Hard Problems

Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics by Juraj Hromkovič
English | PDF | 2004 | 547 Pages | ISBN : 3540441344 | 45.3 MB

Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech­ nologies. Because of this, the design of algorithms for solving hard problems is the core of current algorithmic research from the theoretical point of view as well as from the practical point of view. There are many general text books on algorithmics, and several specialized books devoted to particular approaches such as local search, randomization, approximation algorithms, or heuristics.

Programming for Everyone in Java

Posted By: AvaxGenius
Programming for Everyone in Java

Programming for Everyone in Java by Per Brinch Hansen
English | PDF | 1999 | 252 Pages | ISBN : 0387986839 | 13.4 MB

This is a book about computer programming for everyone: artist, poet, student, doctor, accountant, or engineer. It assumes you know very little or nothing about how computers work. This book will show you how to write understandable computer programs in Java, a programming language widely used on the Internet.

The Science of Programming

Posted By: AvaxGenius
The Science of Programming

The Science of Programming by David Gries
English | PDF | 1981 | 381 Pages | ISBN : 0387964800 | 27.2 MB

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

Programming in Prolog: Using the ISO Standard

Posted By: AvaxGenius
Programming in Prolog: Using the ISO Standard

Programming in Prolog: Using the ISO Standard by William F. Clocksin , Christopher S. Mellish
English | PDF | 1981 | 292 Pages | ISBN : 3540110461 | 23.9 MB

The computer programming language Prolog is quickly gaining popularity throughout the world. Since Its beginnings around 1970. Prolog has been chosen by many programmers for applications of symbolic computation. including: D relational databases D mathematical logic D abstract problem solving D understanding natural language D architectural design D symbolic equation solving D biochemical structure analysis D many areas of artificial Intelligence Until now. there has been no textbook with the aim of teaching Prolog as a practical programming language. It Is perhaps a tribute to Prolog that so many people have been motivated to learn It by referring to the necessarily concise reference manuals. a few published papers. and by the orally transmitted 'folklore' of the modern computing community. However. as Prolog is beginning to be Introduced to large numbers of undergraduate and postgraduate students. many of our colleagues have expressed a great need for a tutorial guide to learning Prolog. We hope this little book will go some way towards meeting this need.

The Design of Well-Structured and Correct Programs

Posted By: AvaxGenius
The Design of Well-Structured and Correct Programs

The Design of Well-Structured and Correct Programs by Suad Alagić , Michael A. Arbib
English | PDF | 1978 | 303 Pages | ISBN : 1461262747 | 24 MB

The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms.

Optimal Control Theory

Posted By: AvaxGenius
Optimal Control Theory

Optimal Control Theory by Leonard D. Berkovitz
English | PDF | 1974 | 315 Pages | ISBN : 038790106X | 17.8 MB

This book is an introduction to the mathematical theory of optimal control of processes governed by ordinary differential eq- tions. It is intended for students and professionals in mathematics and in areas of application who want a broad, yet relatively deep, concise and coherent introduction to the subject and to its relati- ship with applications. In order to accommodate a range of mathema- cal interests and backgrounds among readers, the material is arranged so that the more advanced mathematical sections can be omitted wi- out loss of continuity. For readers primarily interested in appli- tions a recommended minimum course consists of Chapter I, the sections of Chapters II, III, and IV so recommended in the introductory sec­ tions of those chapters, and all of Chapter V.

Big Data Technologies and Applications

Posted By: AvaxGenius
Big Data Technologies and Applications

Big Data Technologies and Applications: 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings by Zhiyuan Tan, Yulei Wu, Min Xu
English | PDF EPUB (True) | 2024 | 198 Pages | ISBN : 3031522648 | 40.7 MB

This book constitutes the refereed post-conference proceedings of the 13th International Conference on Big Data Technologies and Applications, BDTA 2023, held in Edinburgh, United Kingdom, in August 2023.
The 8 full papers and 3 short papers of BDTA 2023 were selected from 23 submissions and present new advances and research results in the fields of big data technologies, collection and storage, big data management and retrieval, big data mining and approaches.

Active Object Languages: Current Research Trends

Posted By: AvaxGenius
Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
English | PDF EPUB (True) | 2024 | 382 Pages | ISBN : 3031510593 | 66.4 MB

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

Prolog: The Standard: Reference Manual

Posted By: AvaxGenius
Prolog: The Standard: Reference Manual

Prolog: The Standard: Reference Manual by Pierre Deransart , AbdelAli Ed-Dbali , Laurent Cervoni
English | PDF | 1996 | 283 Pages | ISBN : 3540593047 | 14.7 MB

From the viewpoint of an "industrial" this book is most welcome, as one of the most significant demonstrations of the maturity of Prolog. Logic programming is a fascinating area in computer science, which held for years - and still does - the promise of freeing ourselves from programming based on the "Von Neumann" machine. In addition computer programming has long been for solid theoretical foundations. While conventional engineering, dealing mainly with "analogical complexity", developed over some hundred years a complete body of mathematical tools, no such toolset was available for "digital complexity". The only mathematical discipline which deals with digital complexity is logic and Prolog is certainly the operational tool which comes closest to the logical programming ideal. So, why does Prolog, despite nearly twenty years of development, still appear to many today to be more of a research or academic tool, rather than an industrial programming language? A few reasons may explain this: First, I think Prolog suffers from having been largely assimilated into - and thus followed the fate of - Artificial Intelligence. Much hype in the late 1980 created overexpectations and failed to deliver, and the counterreaction threw both AI and Prolog into relative obscurity. In a way, maybe this is a new chance for the Prolog community: the ability to carry out real work and progress without the disturbance of limelights and the unrealistic claims of various gurus. Second, programming in Prolog is a new experience for computer professionals.

Reasoning Robots: The Art and Science of Programming Robotic Agents

Posted By: AvaxGenius
Reasoning Robots: The Art and Science of Programming Robotic Agents

Reasoning Robots: The Art and Science of Programming Robotic Agents by Michael Thielscher
English | PDF (True) | 2005 | 334 Pages | ISBN : 1402030681 | 7.8 MB

The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. In order to bring life to it, the machine needs to be programmed so as to make active use of its hardware c- ponents. This turns a machine into an autonomous robot. Since about the mid nineties of the past century, robot programming has made impressive progress. State-of-the-art robots are able to orient themselves and move around freely in indoor environments or negotiate di?cult outdoor terrains, they can use stereo vision to recognize objects, and they are capable of simple object manipulation with the help of arti?cial extremities. At a time where robots perform these tasks more and more reliably,weare ready to pursue the next big step, which is to turn autonomous machines into reasoning robots.Areasoning robot exhibits higher cognitive capabilities like following complex and long-term strategies, making rational decisions on a high level, drawing logical conclusions from sensor information acquired over time, devising suitable plans, and reacting sensibly in unexpected situations. All of these capabilities are characteristics of human-like intelligence and ultimately distinguish truly intelligent robots from mere autonomous machines.

Beginning SQL Queries: From Novice to Professional (Repost)

Posted By: AvaxGenius
Beginning SQL Queries: From Novice to Professional (Repost)

Beginning SQL Queries: From Novice to Professional by Clare Churcher
English | PDF (True) | 2016 | 250 Pages | ISBN : 1484219546 | 20.4 MB

Get started on mastering the one language binding the entire database industry. That language is SQL, and how it works is must-have knowledge for anyone involved with relational databases, and surprisingly also for anyone involved with NoSQL databases. SQL is universally used in querying and reporting on large data sets in order to generate knowledge to drive business decisions.

Programming Languages (Repost)

Posted By: AvaxGenius
Programming Languages (Repost)

Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings by Francisco Heron Carvalho Junior, Luis Soares Barbosa
English | PDF | 2012 | 173 Pages | ISBN : 3642331815 | 4.3 MB

This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012.

Pattern Calculus: Computing with Functions and Structures (Repost)

Posted By: AvaxGenius
Pattern Calculus: Computing with Functions and Structures (Repost)

Pattern Calculus: Computing with Functions and Structures by Barry Jay
English | PDF(True) | 2009 | 217 Pages | ISBN : 3540891846 | 1.82 MB

Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages is split into various s- communities addressing different aspects and paradigms (functional, imperative, relational, and object-oriented). Only a few people manage to maintain a broader view, and even fewer step back in order to gain an understanding about the basic principles, their interrelation, and their impact in a larger context.