Qualitative and Quantitative Monitoring of Spatio-Temporal Properties⋆ Laura Nenzi1 , Luca Bortolussi2,3,4 , Vincenzo Ciancia4 , Michele Loreti5,1 , and Mieke Massink4 1

Source URL: blog.inf.ed.ac.uk

Katherina van Kleef stichtte in 1470 vier missen in de Nicolaaskapel door Henny Fransen met dank aan Mieke van Veen - Liefrink Vicarie Voor de middeleeuwer vormde het geloof in de hemel als een verblijf van eeuwige geluk

Source URL: www.valkhof.nl

Pupil size and saliency (supplement) [v2.3.4-postprint-1; Thu Mar 12 14:51:; #ca3fd17] Large Pupils Predict Goal-driven Eye Movements (supplementary material) Sebastiaan Mathôt1 , Alisha Siebold2,3, Mieke Donk 2

Source URL: files.cogsci.nl

Spatio-temporal model checking using topochecker Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink Bertinoro, June

Source URL: www.sti.uniurb.it

Pupil size and saliency [v2.3.4-postprint-1; Thu Mar 12 14:51:; #ca3fd17] Large Pupils Predict Goal-driven Eye Movements Sebastiaan Mathôt1 , Alisha Siebold2,3, Mieke Donk 2 , and Françoise Vitu1 1

Source URL: files.cogsci.nl

weekblad voor HvA en UvA Jubileumeditie Interviews met Abram de Swaan, Mieke Bal, Arnold Heertje en andere vijfenzestigplus-professoren / Oud-medewerkers feliciteren Folia in 65 woorden / Hoogleraar mediastudi

Source URL: www.folia.nl

Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri

Source URL: homepage.lnu.se

• Metaphysics
• Complex systems theory
• Philosophy
• Formal methods
• Theoretical computer science
• Logic in computer science
• Runtime verification
• Model checking
• Complex adaptive system
• System
• Emergence
• Field

Mieke Bal Arte para lo Político Arte para lo Político1 Mieke Bal

Source URL: www.estudiosvisuales.net

RESPUESTA A LAS RESPUESTAS MIEKE BAL Michael Holly se pregunta por qué escribí este artículo, y por qué en este

Source URL: www.estudiosvisuales.net