Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation

In this paper, we come back on the notion of local simulation allowing to transform a cellular automaton into a closely related one with different local encoding of information. This notion is used to explore solutions of the Firing Squad Synchronization Problem that are minimal both in time (2n -- 2 for n cells) and, up to current knowledge, also in states (6 states). While only one such solution was proposed by Mazoyer since 1987, 718 new solutions have been generated by Clergue, Verel and Formenti in 2018 with a cluster of machines. We show here that, starting from existing solutions, it is possible to generate millions of such solutions using local simulations using a single common personal computer

Proceedings of JAC 2010. Journées Automates Cellulaires

The second Symposium on Cellular Automata “Journ´ees Automates Cellulaires” (JAC 2010) took place in Turku, Finland, on December 15-17, 2010. The first two conference days were held in the Educarium building of the University of Turku, while the talks of the third day were given onboard passenger ferry boats in the beautiful Turku archipelago, along the route Turku–Mariehamn–Turku. The conference was organized by FUNDIM, the Fundamentals of Computing and Discrete Mathematics research center at the mathematics department of the University of Turku. The program of the conference included 17 submitted papers that were selected by the international program committee, based on three peer reviews of each paper. These papers form the core of these proceedings. I want to thank the members of the program committee and the external referees for the excellent work that have done in choosing the papers to be presented in the conference. In addition to the submitted papers, the program of JAC 2010 included four distinguished invited speakers: Michel Coornaert (Universit´e de Strasbourg, France), Bruno Durand (Universit´e de Provence, Marseille, France), Dora Giammarresi (Universit` a di Roma Tor Vergata, Italy) and Martin Kutrib (Universit¨at Gie_en, Germany). I sincerely thank the invited speakers for accepting our invitation to come and give a plenary talk in the conference. The invited talk by Bruno Durand was eventually given by his co-author Alexander Shen, and I thank him for accepting to make the presentation with a short notice. Abstracts or extended abstracts of the invited presentations appear in the first part of this volume. The program also included several informal presentations describing very recent developments and ongoing research projects. I wish to thank all the speakers for their contribution to the success of the symposium. I also would like to thank the sponsors and our collaborators: the Finnish Academy of Science and Letters, the French National Research Agency project EMC (ANR-09-BLAN-0164), Turku Centre for Computer Science, the University of Turku, and Centro Hotel. Finally, I sincerely thank the members of the local organizing committee for making the conference possible. These proceedings are published both in an electronic format and in print. The electronic proceedings are available on the electronic repository HAL, managed by several French research agencies. The printed version is published in the general publications series of TUCS, Turku Centre for Computer Science. We thank both HAL and TUCS for accepting to publish the proceedings.Siirretty Doriast

A Spatio-temporal Algorithmic Point of View on Firing Squad Synchronisation Problem

International audienc

A Language-centered Approach to support environmental modeling with Cellular Automata

Die Anwendung von Methodiken und Technologien aus dem Bereich der Softwaretechnik auf den Bereich der Umweltmodellierung ist eine gemeinhin akzeptierte Vorgehensweise. Im Rahmen der "modellgetriebenen Entwicklung"(MDE, model-driven engineering) werden Technologien entwickelt, die darauf abzielen, Softwaresysteme vorwiegend auf Basis von im Vergleich zu Programmquelltexten relativ abstrakten Modellen zu entwickeln. Ein wesentlicher Bestandteil von MDE sind Techniken zur effizienten Entwicklung von "domänenspezifischen Sprachen"( DSL, domain-specific language), die auf Sprachmetamodellen beruhen. Die vorliegende Arbeit zeigt, wie modellgetriebene Entwicklung, und insbesondere die metamodellbasierte Beschreibung von DSLs, darüber hinaus Aspekte der Pragmatik unterstützen kann, deren Relevanz im erkenntnistheoretischen und kognitiven Hintergrund wissenschaftlichen Forschens begründet wird. Hierzu wird vor dem Hintergrund der Erkenntnisse des "modellbasierten Forschens"(model-based science und model-based reasoning) gezeigt, wie insbesondere durch Metamodelle beschriebene DSLs Möglichkeiten bieten, entsprechende pragmatische Aspekte besonders zu berücksichtigen, indem sie als Werkzeug zur Erkenntnisgewinnung aufgefasst werden. Dies ist v.a. im Kontext großer Unsicherheiten, wie sie für weite Teile der Umweltmodellierung charakterisierend sind, von grundsätzlicher Bedeutung. Die Formulierung eines sprachzentrierten Ansatzes (LCA, language-centered approach) für die Werkzeugunterstützung konkretisiert die genannten Aspekte und bildet die Basis für eine beispielhafte Implementierung eines Werkzeuges mit einer DSL für die Beschreibung von Zellulären Automaten (ZA) für die Umweltmodellierung. Anwendungsfälle belegen die Verwendbarkeit von ECAL und der entsprechenden metamodellbasierten Werkzeugimplementierung.The application of methods and technologies of software engineering to environmental modeling and simulation (EMS) is common, since both areas share basic issues of software development and digital simulation. Recent developments within the context of "Model-driven Engineering" (MDE) aim at supporting the development of software systems at the base of relatively abstract models as opposed to programming language code. A basic ingredient of MDE is the development of methods that allow the efficient development of "domain-specific languages" (DSL), in particular at the base of language metamodels. This thesis shows how MDE and language metamodeling in particular, may support pragmatic aspects that reflect epistemic and cognitive aspects of scientific investigations. For this, DSLs and language metamodeling in particular are set into the context of "model-based science" and "model-based reasoning". It is shown that the specific properties of metamodel-based DSLs may be used to support those properties, in particular transparency, which are of particular relevance against the background of uncertainty, that is a characterizing property of EMS. The findings are the base for the formulation of an corresponding specific metamodel- based approach for the provision of modeling tools for EMS (Language-centered Approach, LCA), which has been implemented (modeling tool ECA-EMS), including a new DSL for CA modeling for EMS (ECAL). At the base of this implementation, the applicability of this approach is shown

Midwife of An-arché: Toward a Poetics of Becoming-with-Woman

This project explores the connections between midwifery and the ethical demands attendant to poetic practice. Through verse and prose, I unfold a figuration of the midwife that traverses the boundaries between Levinasian heteronomy and Deleuzian heteromorphism, and is a constitutive factor in sites of resistance to the biomedical territorialisation of the creative body. Chief archival and methodological components that inform the thesis include: a historiography of childbirth - tracing the development of ‘holistic’ and ‘interventionist’ paradigms, and the ideological underpinnings of the phallocratic takeover of the birthing room in certain Western countries; idiographic insights gathered from dialogues with maternal practitioners and mothers, including residents of The Farm in Tennessee - where I participated in a midwifery workshop week; an experiential inquiry into Holotropic Breathwork - to facilitate access to non-ordinary states of consciousness; and a negotiation between Marxist-feminist and poststructuralist articulations of ethico-political agency. Subject matter ranges from a consideration of the ethical import of the placental economy to the bio-intelligent tissue of the psoas, the banishment of Anne Hutchinson from Massachusetts Bay to the legacy of the ‘Twilight Sleep’ movement. Sustained critical attention is devoted to Mina Loy’s “Parturition”, and contemporary poets that have acknowledged Loy as an influence, such as Lara Glenum. I suggest that, despite the absence of a birth attendant on the symbolic level, Loy’s poem resonates with the investments of midwifery, instating a ‘subjectin- process’ that woks through and against abstruse and instrumental discourses, defying both the technocratic erasure of maternal knowing and the fetishistic reduction of labour to an end-product. Art’s capacity for opening up a corporeallycharged zone of between-ness is further elaborated in an essay on Andrei Tarkovsky’s Stalker - through which the treatment of spatiotemporality is aligned with the imperatives of midwifery guardianship.

Many worlds of meaning: a framework for object reference

Our words seem connected with objects – some in our current perceptual experience and some beyond. Words seem to link us to cats, authors, cities and places, present, historical or fantastical. In this work, I try to describe this phenomenon of reference in a unified way: one story that can explain the role of words, of things in the world, and of the intermediary mental content often called ‘meaning’ as part of a greater mechanism common to all cases. This is an old and massive challenge and what I offer here is at most a framework for how that story could be told – one built from pieces already present in the formal, philosophical and (recently) behavioural sciences. I regiment the broader problem into a call for a theory of contact between lexical labels and objects in the world, a theory for information content attached to labels, and a theory of reference coordination between agents or communities. To construct this framework, I trace historical links between two very different projects: the logico-philosophical ‘classical semantics’ of Frege, Russell and Kripke and the more recent computational-psychological view of conceptual cognition based on generated hypotheses. I argue these two approaches can be seen as continuations of each other: one providing a logical blueprint for what the other already explains and describes. Specifically, I argue the information structures used by causal and/or probabilistic generative models of conceptual cognition could also constitute a theory of ‘meaning’ (in my terms: content) – one linked so closely to a given physical environment that contact and coordination, even as envisioned in classical semantics, will follow from the suitable creation, revision and communication of hypotheses anticipating that environment. I end by presenting two sets of empirical results, on effects from conceptual cognition (categorisation and feature inference) on choices and development of lexical labels in dialogue, relating language use to conceptual coordination

Measuring Behavior 2018 Conference Proceedings

These proceedings contain the papers presented at Measuring Behavior 2018, the 11th International Conference on Methods and Techniques in Behavioral Research. The conference was organised by Manchester Metropolitan University, in collaboration with Noldus Information Technology. The conference was held during June 5th – 8th, 2018 in Manchester, UK. Building on the format that has emerged from previous meetings, we hosted a fascinating program about a wide variety of methodological aspects of the behavioral sciences. We had scientific presentations scheduled into seven general oral sessions and fifteen symposia, which covered a topical spread from rodent to human behavior. We had fourteen demonstrations, in which academics and companies demonstrated their latest prototypes. The scientific program also contained three workshops, one tutorial and a number of scientific discussion sessions. We also had scientific tours of our facilities at Manchester Metropolitan Univeristy, and the nearby British Cycling Velodrome. We hope this proceedings caters for many of your interests and we look forward to seeing and hearing more of your contributions