Search

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

Mean field approach to learning in Boltzmann Machines

Kappen, H.J. ; Rodriguez, F.B.

1997, Article / Letter to editor (Pattern Recognition Letters, vol. 18, iss. 11-13, (1997), pp. 1317-1322)
Stimulus-dependent correlations in stochastic networks

Kappen, H.J.

1997, Article / Letter to editor (Physical Review E. Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics, vol. 55, iss. 5, (1997), pp. 5849-5858)
Invariants, bisimulations and the correctness of coalgebraic refinements

Jacobs, B.P.F.

1997, Part of book or chapter of book (Johnson, M. (ed.), Algebraic Methodology and Software Technology: 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings, pp. 276-291)
Proof principles for datatypes with iterated recursion

Hensel, U.; Jacobs, B.P.F.

1997, Part of book or chapter of book (Moggi, E.; Rosolini, G. (ed.), Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings, pp. 220-241)