Learning biases for the evolution of linguistic structure: an associative network model Kenny Smith Language Evolution and Computation Research Unit, School of Philosophy, Psychology and Language Sciences, The University

Source URL: www.lel.ed.ac.uk

A Model of Distributed Query Computation in Client-Server Scenarios on the Semantic Web ∗ 1 Olaf Hartig1 , Ian Letter2 , Jorge P´erez3,4 Dept. of Computer and Information Science (IDA), Link¨oping University, Sweden

Source URL: olafhartig.de

The Continuous Stream Model of Computation for Real–Time Control Daniele  Fontanelli,  Luca  Abeni,  Luigi  Palopoli   Dipar?mento  di  Scienza  e  Ingegneria  dell’Informazione  

Source URL: 2013.ieee-rtss.org

Science Bots: a Model for the Future of Scientific Computation? Tobias Kuhn Department of Humanities, Social and Political Sciences, ETH Zurich, Switzerland

Source URL: www.www2015.it

Using a Visual Routine to Model the Computation of Positional Relationships Andrew Lovett () Kenneth Forbus () Qualitative Reasoning Group Electrical Engineering and C

Source URL: www.silccenter.org

Using a Visual Routine to Model the Computation of Positional Relationships Andrew Lovett () Kenneth Forbus () Qualitative Reasoning Group Electrical Engineering and C

Source URL: silccenter.org

Surprisal-based comparison between a symbolic and a connectionist model of sentence processing Stefan L. Frank () Institute for Logic, Language and Computation University of Amsterdam Science Park 904, 10

Source URL: www.stefanfrank.info

RMM Vol. 3, 2012, 66–70 http://www.rmm-journal.de/ Book Review Michael Laver and Ernest Sergenti:

Source URL: www.rmm-journal.com

• Scientific modeling
• Academia
• Systems science
• Diagrams
• Discrete geometry
• Computational geometry
• Economy
• Models of computation
• Voronoi diagram
• Agent-based model
• Simulation
• Heuristic

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨

Source URL: rodin.cs.ncl.ac.uk

• Models of computation
• Concurrency
• Diagrams
• Petri net
• Software engineering
• Symbol
• Model checking
• Theoretical computer science
• Metaphor

Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Theoretical computer science
• Computing
• Concurrent computing
• Constraint programming
• Models of computation
• Model checkers
• Process calculus
• Michael Butler
• Model checking
• FDR
• Denotational semantics