The following pages link to Joost N. Kok (Q671990):
Displaying 23 items.
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- Unity properties and sequences of states, some observations (Q688444) (← links)
- (Q862969) (redirect page) (← links)
- Learning short multivariate time series models through evolutionary and sparse matrix computation (Q862970) (← links)
- Denotational semantics of a parallel object-oriented language (Q910250) (← links)
- (Q915473) (redirect page) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- Applications of spiking neural networks (Q1044677) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic (Q1194328) (← links)
- The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
- The weakest precondition calculus: Recursion and duality (Q1346768) (← links)
- Coordinating action systems (Q1592481) (← links)
- Coordination in the ImpUNITY framework (Q1818367) (← links)
- Error-backpropagation in temporally encoded networks of spiking neurons (Q1851941) (← links)
- Adaptive information filtering using evolutionary computation (Q1854028) (← links)
- Toward an infinitary logic of domains: Abramsky logic for transition systems (Q1854320) (← links)
- Comparing coordination models and architectures using embeddings (Q1870850) (← links)
- Infinite intersection types (Q1887155) (← links)
- Fourier analysis of genetic algorithms (Q1978370) (← links)
- Dynamic vehicle routing with time windows in theory and practice (Q2311301) (← links)
- TreeSOM: cluster analysis in the self-organizing map (Q2506536) (← links)
