Category Theory Applied to Neural Modeling and Graphical Representations (2000)

Cached

Download Links

by Michael J. Healy
Venue:in Proceedings of the International Joint Conference on Neural Networks (IJCNN 2000), IEEE
Citations:2 - 0 self

Documents Related by Co-Citation

3 Applying Category Theory to Derive Engineering Software from Encoded Knowledge – M Healy, K Williamson - 2000
3 Deriving engineering software from requirements – K Williamson, M Healy - 2000
78 Conceptual Mathematics: A First Introduction to Categories – F W Lawvere, S Schanuel - 1997
80 Categories for Types – R Crole - 1993
6 Formally specifying engineering design rationale – K Williamson, M Healy, R Jasper - 1997
172 Basic Category Theory for Computer Scientists – B C Pierce - 1991
94 An ontology for engineering mathematics – T Gruber, G Olsen - 1994
2 Consilience: The Unity of Knowledge, Random – E O Wilson - 1999
1 Towards a Provably-Correct Implementation of the JVM – al - 1998
1 After the Gold Rush: Creating a True – S McConnell - 1999
1 eds.), Program Development by Refinement: Case – E Sekerinski, K Sere - 1998
1 Planware -- Domain-Specific Synthesis of High-Performance Schedulers – al - 1998
1 Synthesis of Schedulers for Planned Shutdown of – al - 1996
1 Industrial Applications of Software Synthesis via Category Theory - Case Studies Using Specware – al - 2001
1 Reuse of Knowledge at an Appropriate Level of Abstraction -- Case Studies Using Specware – al - 2000
2 et al., Software Specification - A Comparison of Formal Methods – John Gannon
2 General Logics, Logic Colloquium `87, Eds. Ebbinghaus et al – Jose Meseguer - 1989
5 KIDS: A knowledge based software development system – D Smith - 1991
4 A mechanical verifier for supporting the design of reliable reactive systems – T C Wang, A Goldberg - 1991