𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] SOFSEM '95: Theory and Practice of Informatics Volume 1012 || Inconsistency conflict resolution

✍ Scribed by Bartosek, Miroslav; Staudek, Jan; Wiedermann, Jirí

Book ID
121511794
Publisher
Springer Berlin Heidelberg
Year
1995
Weight
321 KB
Category
Article
ISBN
3540484639

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] SOFS
[Lecture Notes in Computer Science] SOFSEM '95: Theory and Practice of Informatics Volume 1012 || What NARX networks can compute
✍ Bartosek, Miroslav; Staudek, Jan; Wiedermann, Jirí 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 431 KB

We prove that a class of architectures called NARX neural networks, popular in control applications and other problems, are at least as powerful as fully connected recurrent neural networks. Recent results have shown that fully connected networks are Turing equivalent. Building on those results, we

[Lecture Notes in Computer Science] SOFS
[Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 || Formal Verification Methods for Industrial Hardware Design
✍ Pacholski, Leszek; Ružička, Peter 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 194 KB

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Repub