Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
- Publication
- Publication Type
Articles 1 - 6 of 6
Full-Text Articles in Mathematics
Grundlagenreflexionen Zur Thematik Anthropomorpher Schnittstellen, Rudolf Kaehr
Grundlagenreflexionen Zur Thematik Anthropomorpher Schnittstellen, Rudolf Kaehr
Rudolf Kaehr
Report for the EMBASSI Project
A Reflection On The Word: Remembering The Word “Word” Is Reflexive, Paul Fjelstad, Ivan Ginchev
A Reflection On The Word: Remembering The Word “Word” Is Reflexive, Paul Fjelstad, Ivan Ginchev
Humanistic Mathematics Network Journal
No abstract provided.
An Informal History Of Classical Rhetoric For Mathematicians (Plato And Aristotle), Phillip Keith, Sandra Z. Keith
An Informal History Of Classical Rhetoric For Mathematicians (Plato And Aristotle), Phillip Keith, Sandra Z. Keith
Humanistic Mathematics Network Journal
No abstract provided.
Leibniz: His Philosophy And His Calculi, Eric Ditwiler
Leibniz: His Philosophy And His Calculi, Eric Ditwiler
Humanistic Mathematics Network Journal
No abstract provided.
Prestructuring Neural Networks Via Extended Dependency Analysis With Application To Pattern Classification, George G. Lendaris, Thaddeus T. Shannon, Martin Zwick
Prestructuring Neural Networks Via Extended Dependency Analysis With Application To Pattern Classification, George G. Lendaris, Thaddeus T. Shannon, Martin Zwick
Systems Science Faculty Publications and Presentations
We consider the problem of matching domain-specific statistical structure to neural-network (NN) architecture. In past work we have considered this problem in the function approximation context; here we consider the pattern classification context. General Systems Methodology tools for finding problem-domain structure suffer exponential scaling of computation with respect to the number of variables considered. Therefore we introduce the use of Extended Dependency Analysis (EDA), which scales only polynomially in the number of variables, for the desired analysis. Based on EDA, we demonstrate a number of NN pre-structuring techniques applicable for building neural classifiers. An example is provided in which EDA …
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
Engineering Faculty Articles and Research
We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.