Huyck, C.; Primiero, G.; Raimondi, F.

Programming the MIRTO robot with neurons

Article

Huyck, C., Primiero, G. and Raimondi, F. 2014. Programming the MIRTO robot with neurons. Procedia Computer Science. 41, pp. 75-82. https://doi.org/10.1016/j.procs.2014.11.087

Publication dates
Type	Article
Title	Programming the MIRTO robot with neurons
Authors	Huyck, C., Primiero, G. and Raimondi, F.
Abstract	MIRTO is a new, inexpensive, open-source robot. The specification, the necessary libraries, and sample code are freely available. It has been used to teach undergraduate students programming and as an extensible base platform for students engineering robots. While it is typically programmed in traditional programming languages, it has also been driven by simulated neurons; point neurons have been used to follow a line. Since neurons are the basis of animal cognition, using them as the basis of a cognitive architecture is a promising idea. The neural MIRTO line following system can be extended into a larger more cognitive neural agent as a way forward in neural cognitive architectures.
Keywords	Neuron; Robot; FLIF and Education
Language	English
Publisher	Elsevier
Journal	Procedia Computer Science
ISSN	1877-0509
Print	25 Dec 2014
Publication process dates
Deposited	23 Apr 2015
Accepted	01 Oct 2014
Output status	Published
Publisher's version	1-s2.0-S1877050914015324-main.pdf
Additional information	Included in proceedings of 5th Annual International Conference on Biologically Inspired Cognitive Architectures, 2014 BICA
Digital Object Identifier (DOI)	https://doi.org/10.1016/j.procs.2014.11.087
Event	5th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2014, Cambridge, MA, USA, November 7-9, 2014

Permalink -

https://repository.mdx.ac.uk/item/8510x

Log in to edit

Download files

Publisher's version

1-s2.0-S1877050914015324-main.pdf

56
total views
3
total downloads
4
views this month
0
downloads this month

Export as

Related outputs

A proposal for extending the Common Model of Cognition to emotion

Rosenbloom, P., Laird, J., Lebiere, C., Stocco, A., Granger, R. and Huyck, C. 2024. A proposal for extending the Common Model of Cognition to emotion. 22nd International Conference on Cognitive Modeling. Tilburg University, the Netherlands 19 - 22 Jul 2024

Enhancing individual UAV path planning with Parallel Multi-Swarm Treatment Coronavirus Herd Immunity Optimizer (PMST-CHIO) algorithm

Fouad, A., Abboudi, A., Huyck, C., Gao, X., Bououden, S., Khezami, N. and Shall, H. 2024. Enhancing individual UAV path planning with Parallel Multi-Swarm Treatment Coronavirus Herd Immunity Optimizer (PMST-CHIO) algorithm. IEEE Access. 12, pp. 28395-28416. https://doi.org/10.1109/ACCESS.2024.3367753

Associative memory with biologically-inspired cell assemblies

Ji, Y., Gamez, D. and Huyck, C. 2024. Associative memory with biologically-inspired cell assemblies. Samsonovich, A.V. and Liu, T. (ed.) 2023 Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence, the 14th Annual Meeting of the BICA Society (BICA*AI 2023). Ningbo, China 13 - 15 Oct 2023 Springer. pp. 422-428 https://doi.org/10.1007/978-3-031-50381-8_43

A spiking model of Cell Assemblies: Short term and associative memory

Huyck, C. 2023. A spiking model of Cell Assemblies: Short term and associative memory. Medical Research Archives. 11 (9), pp. 1-20. https://doi.org/10.18103/mra.v11i9.4406

Bridging neuroscience and robotics: spiking neural networks in action

Jones, A., Gandhi, V., Mahiddine, A. and Huyck, C. 2023. Bridging neuroscience and robotics: spiking neural networks in action. Sensors. 23 (21), pp. 1-14. https://doi.org/10.3390/s23218880

Review of parameter tuning methods for nature-inspired algorithms

Joy, G., Huyck, C. and Yang, X. 2023. Review of parameter tuning methods for nature-inspired algorithms. in: Yang, X. (ed.) Benchmarks and Hybrid Algorithms in Optimization and Applications Singapore Springer. pp. 33-47

Competitive learning with spiking nets and spike timing dependent plasticity

Huyck, C. and Orume, E. 2022. Competitive learning with spiking nets and spike timing dependent plasticity. Bramer, M. and Stahl, F. (ed.) AI-2022: The Forty-second SGAI International Conference. Cambridge, England, UK 13 - 15 Dec 2022 Springer. pp. 153-166 https://doi.org/10.1007/978-3-031-21441-7_11

Differential cost analysis with simultaneous potentials and anti-potentials

Žikelić, Ð., Chang, B., Bolignano, P. and Raimondi, F. 2022. Differential cost analysis with simultaneous potentials and anti-potentials. Programming Language Design and Implementation (PLDI 2022). San Diego, USA 13 - 17 Jun 2022 Association for computing machinery. pp. 442-457 https://doi.org/10.1145/3519939.3523435

Automatic annotation of confidential data in java code

Bastys, I., Bolignano, P., Raimondi, F. and Schoepe, D. 2021. Automatic annotation of confidential data in java code. FPS 2021: The 14th International Symposium on Foundations & Practice of Security. Paris, France 08 - 12 Dec 2021

Cell Assembly-based Task Analysis (CAbTA)

Diaper, D. and Huyck, C. 2021. Cell Assembly-based Task Analysis (CAbTA). Arai, K. (ed.) Computing Conference 2021 (formerly called Science and Information (SAI) Conference). Virtual (from London, UK) 15 - 16 Jul 2021 Springer. https://doi.org/10.1007/978-3-030-80119-9_22

Learning categories with spiking nets and spike timing dependent plasticity

Huyck, C. 2020. Learning categories with spiking nets and spike timing dependent plasticity. Bramer, M. and Ellis, R. (ed.) 40th SGAI 2020. Cambridge, UK 15 - 17 Dec 2020 Springer. pp. 139-144 https://doi.org/10.1007/978-3-030-63799-6_10

Hot coffee: associative memory with bump attractor cell assemblies of spiking neurons

Huyck, C. and Vergani, A. 2020. Hot coffee: associative memory with bump attractor cell assemblies of spiking neurons. Journal of Computational Neuroscience. 48 (3), pp. 299-316. https://doi.org/10.1007/s10827-020-00758-1

Are quiz-games an effective revision tool in Anatomical Sciences for Higher Education and what do students think of them?

Wilkinson, K., Dafoulas, G., Garelick, H. and Huyck, C. 2020. Are quiz-games an effective revision tool in Anatomical Sciences for Higher Education and what do students think of them? British Journal of Educational Technology. 51 (3), pp. 761-777. https://doi.org/10.1111/bjet.12883

A neural cognitive architecture

Huyck, C. 2020. A neural cognitive architecture. Cognitive Systems Research. 59, pp. 171-178. https://doi.org/10.1016/j.cogsys.2019.09.023

Comparing approaches for model-checking strategies under imperfect information and fairness constraints

Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2019. Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer. 21 (4), pp. 449-469. https://doi.org/10.1007/s10009-018-0505-6

CABots and other neural agents

Huyck, C. and Mitchell, I. 2018. CABots and other neural agents. Frontiers in Neurorobotics. 12, pp. 1-12. https://doi.org/10.3389/fnbot.2018.00079

Teaching functional patterns through robotic applications

Boender, J., Currie, E., Loomes, M., Primiero, G. and Raimondi, F. 2016. Teaching functional patterns through robotic applications. The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015. Sophia-Antipolis, France 02 Jun 2015 Open Publishing Association. pp. 17-29 https://doi.org/10.4204/EPTCS.230.2

A brain-inspired cognitive system that mimics the dynamics of human thought

Ji, Y., Gamez, D. and Huyck, C. 2018. A brain-inspired cognitive system that mimics the dynamics of human thought. AI-2018 Thirty-eighth SGAI International Conference on Artificial Intelligence. Cambridge, UK 11 - 13 Dec 2018 Springer. pp. 50-62 https://doi.org/10.1007/978-3-030-04191-5_4

Two simple NeuroCognitive associative memory models

Huyck, C. and Ji, Y. 2018. Two simple NeuroCognitive associative memory models. International Conference on Cognitive Modeling 2018. Madison Wisconsin 20 - 24 Jul 2018 pp. 31-36

Implementing Rules with Aritificial Neurons

Huyck, C. and Kreivena, D. 2018. Implementing Rules with Aritificial Neurons. AI-2018 38th SGAI International Conference on Artificial Intelligence. Cambridge 11 - 13 Dec 2018 Springer. pp. 21-33 https://doi.org/10.1007/978-3-030-04191-5_2

Multi-agent based simulations of block-free distributed ledgers

Bottone, M., Raimondi, F. and Primiero, G. 2018. Multi-agent based simulations of block-free distributed ledgers. The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA). Krakow, Poland 16 - 18 May 2018 IEEE. pp. 585-590 https://doi.org/10.1109/WAINA.2018.00149

Analysis and verification of ECA rules in intelligent environments

Cacciagrano, D., Corradini, F., Culmone, R., Gorogiannis, N., Mostarda, L., Raimondi, F. and Vannucchi, C. 2018. Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments. 10 (3), pp. 261-273. https://doi.org/10.3233/ais-180487

MIRTO: an open-source robotic platform for education

Androutsopoulos, K., Aristodemou, L., Boender, J., Bottone, M., Currie, E., El-Aroussi, I., Fields, B., Gheri, L., Gorogiannis, N., Heeney, M., Micheletti, M., Loomes, M., Margolis, M., Petridis, M., Piermarteri, A., Primiero, G., Raimondi, F. and Weldin, N. 2018. MIRTO: an open-source robotic platform for education. 3rd European Conference on Software Engineering Education. Seeon, Germany 14 - 15 Jun 2018 Association for Computing Machinery (ACM). pp. 55-62 https://doi.org/10.1145/3209087.3209106

A spiking half-cognitive model for classification

Huyck, C. and Kulkarni, R. 2018. A spiking half-cognitive model for classification. Connection Science. 30 (3), pp. 285-305. https://doi.org/10.1080/09540091.2018.1443317

CoSMed: a confidentiality-verified social media platform

Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2018. CoSMed: a confidentiality-verified social media platform. Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Nancy, France 22 - 27 Aug 2016 Springer. https://doi.org/10.1007/s10817-017-9443-3

The neural cognitive architecture

Huyck, C. 2017. The neural cognitive architecture. AAAI 2017 FALL Symposium Series: Symposium on A Standard Models of the Mind. Arlington, Virginia, USA 09 - 11 Nov 2017 Association for the Advancement of Artificial Intelligence (AAAI). pp. 365-370

CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees

Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2017. CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 38th IEEE Symposium on Security and Privacy. San Jose, CA, USA 22 - 26 May 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 729-748 https://doi.org/10.1109/SP.2017.24

CoSMed: a confidentiality-verified social media platform

Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2016. CoSMed: a confidentiality-verified social media platform. ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. pp. 87-106 https://doi.org/10.1007/978-3-319-43144-4_6

A proof-theoretic trust and reputation model for VANET

Primiero, G., Raimondi, F., Chen, T. and Nagarajan, R. 2017. A proof-theoretic trust and reputation model for VANET. S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. Paris, France 29 Apr 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 146-152 https://doi.org/10.1109/EuroSPW.2017.64

Neuron-based control mechanisms for a robotic arm and hand

Singh, N., Huyck, C., Gandhi, V. and Jones, A. 2017. Neuron-based control mechanisms for a robotic arm and hand. International Journal of Computer, Electrical, Automation, Control and Information Engineering. 11 (2), pp. 221-229. https://doi.org/10.5281/zenodo.1128871

Programming a cognitive architecture with simulated neurons, Chris Eliasmith. How to Build a Brain: A Neural Architecture for Biological Cognition. Oxford University Press, Oxford (2013). 456 pp., ISBN: 978-0-19-026212-9 [Book review]

Huyck, C. 2017. Programming a cognitive architecture with simulated neurons, Chris Eliasmith. How to Build a Brain: A Neural Architecture for Biological Cognition. Oxford University Press, Oxford (2013). 456 pp., ISBN: 978-0-19-026212-9 [Book review]. Cognitive Systems Research. 41, pp. 36-37. https://doi.org/10.1016/j.cogsys.2016.09.002

The packing chromatic number of the infinite square lattice is between 13 and 15

Martin, B., Raimondi, F., Chen, T. and Martin, J. 2017. The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics. 225, pp. 136-142. https://doi.org/10.1016/j.dam.2017.03.013

Implementing virtual pheromones in BDI robots using MQTT and Jason

Bottone, M., Palumbo, F., Primiero, G., Raimondi, F. and Stocker, R. 2016. Implementing virtual pheromones in BDI robots using MQTT and Jason. 2016 5th IEEE International Conference on Cloud Networking (Cloudnet). Pisa, Italy 03 - 05 Oct 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 196-199 https://doi.org/10.1109/CloudNet.2016.22

From raw data to agent perceptions for simulation, verification, and monitoring

Bottone, M., Primiero, G., Raimondi, F. and Rungta, N. 2016. From raw data to agent perceptions for simulation, verification, and monitoring. 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16). London, United Kingdom 14 - 16 Sep 2016 IOS Press. pp. 66-75 https://doi.org/10.3233/978-1-61499-690-3-66

Trust and distrust in contradictory information transmission

Primiero, G., Raimondi, F., Bottone, M. and Tagliabue, J. 2017. Trust and distrust in contradictory information transmission. Applied Network Science. 2 (1). https://doi.org/10.1007/s41109-017-0029-0

Examining the interaction between fourth estate and Twitter: an exploratory case study

Barn, B., Barn, R., Raimondi, F. and Mukherjee, U. 2017. Examining the interaction between fourth estate and Twitter: an exploratory case study. HUSO 2017: Third International Conference on Human and Social Analytics. Nice, France 23 - 27 Jul 2017 IARIA. pp. 11-17

Symbolic verification of event–condition–action rules in intelligent environments

Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. 2017. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments. 3 (2), pp. 117-130. https://doi.org/10.1007/s40860-017-0036-z

A novel symbolic approach to verifying epistemic properties of programs

Gorogiannis, N., Raimondi, F. and Boureanu, I. 2017. A novel symbolic approach to verifying epistemic properties of programs. Twenty-Sixth International Joint Conference on Artificial Intelligence. Melbourne, Australia 19 - 25 Aug 2017 International Joint Conferences on Artificial Intelligence. pp. 206-212 https://doi.org/10.24963/ijcai.2017/30

MCMAS: an open-source model checker for the verification of multi-agent systems

Lomuscio, A., Qu, H. and Raimondi, F. 2017. MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer. 19 (1), pp. 9-30. https://doi.org/10.1007/s10009-015-0378-x

Contradictory information flow in networks with trust and distrust

Primiero, G., Bottone, M., Raimondi, F. and Tagliabue, J. 2016. Contradictory information flow in networks with trust and distrust. 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016). Milan 01 - 06 Dec 2016 Springer. https://doi.org/10.1007/978-3-319-50901-3_29

A model for trustworthy orchestration in the internet of things

Bottone, M., Primiero, G., Raimondi, F. and De Florio, V. 2016. A model for trustworthy orchestration in the internet of things. 2016 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 171-174 https://doi.org/10.1109/IE.2016.37

PlaNeural: spiking neural networks that plan

Mitchell, I., Huyck, C. and Evans, C. 2016. PlaNeural: spiking neural networks that plan. 7th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2016. New York City, NY, USA 16 Jul 2016 Elsevier. pp. 198-204 https://doi.org/10.1016/j.procs.2016.07.425

Programming with simulated neurons: a first design pattern

Evans, C., Mitchell, I. and Huyck, C. 2016. Programming with simulated neurons: a first design pattern. PPIG 2016 - 27th Annual Workshop of the Psychology of Programming Interest Group. University of Cambridge, Cambridge, UK 07 - 10 Sep 2016 Psychology of Programming Interest Group. pp. 36-45

Using multi-agent systems to go beyond temporal patterns verification

Raimondi, F. 2016. Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News. 3 (2), pp. 69-77.

Taking Arduino to the Internet of things: the ASIP programming model

Barbon, G., Margolis, M., Palumbo, F., Raimondi, F. and Weldin, N. 2016. Taking Arduino to the Internet of things: the ASIP programming model. Computer Communications. 89-90, pp. 128-140. https://doi.org/10.1016/j.comcom.2016.03.016

A computationally grounded, weighted doxastic logic

Chen, T., Primiero, G., Raimondi, F. and Rungta, N. 2016. A computationally grounded, weighted doxastic logic. Studia Logica. 104 (4), pp. 679-703. https://doi.org/10.1007/s11225-015-9621-4

Minimizing transitive trust threats in software management systems

Boender, J., Primiero, G. and Raimondi, F. 2015. Minimizing transitive trust threats in software management systems. 13th Annual Conference on Privacy, Security and Trust (PST 2015). Izmir, Turkey 21 - 23 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 191-198 https://doi.org/10.1109/PST.2015.7232973

Symbolic model-checking for resource-bounded ATL

Alechina, N., Logan, B., Nguyen, H., Raimondi, F. and Mostarda, L. 2015. Symbolic model-checking for resource-bounded ATL. 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015. Istanbul, Turkey 04 - 08 May 2015 pp. 1809-1810

Symbolic model checking for one-resource RB±ATL

Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2015. Symbolic model checking for one-resource RB±ATL. Yang, Q. and Wooldridge, M. (ed.) 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Buenos Aires, Argentina 25 - 31 Jul 2015 Buenos Aires, Argentina AAAI Press / International Joint Conferences on Artificial Intelligence. pp. 1069-1075

Advancing ambient assisted living with caution

Huyck, C., Augusto, J., Gao, X. and Botia, J. 2015. Advancing ambient assisted living with caution. in: Helfert, M., Holzinger, A., Ziefle, M., Fred, A., O'Donoghue, J. and Röcker, C. (ed.) Information and Communication Technologies for Ageing Well and e-Health: First International Conference, ICT4AgeingWell 2015, Lisbon, Portugal, May 20-22, 2015. Revised Selected Papers Springer.

Neural constraints and flexibility in language processing

Huyck, C. 2016. Neural constraints and flexibility in language processing. Behavioral and Brain Sciences. 39, p. e78. https://doi.org/10.1017/s0140525x15000837

Software theory change for resilient near-complete specifications

Primiero, G. and Raimondi, F. 2015. Software theory change for resilient near-complete specifications. Procedia Computer Science. 52, pp. 988-995. https://doi.org/10.1016/j.procs.2015.05.091

Temporal planning for business process optimisation

Magazzeni, D., Mercorio, F., Barn, B., Clark, T., Raimondi, F. and Kulkarni, V. 2014. Temporal planning for business process optimisation. ICAPS 2014: 8th Scheduling and Planning Application woRKshop (SPARK 2014). Portsmouth, New Hampshire, USA 22 Jun 2014

Towards cyber-physical systems as services: the ASIP protocol

Bordoni, M., Bottone, M., Fields, B., Gorogiannis, N., Margolis, M., Primiero, G. and Raimondi, F. 2015. Towards cyber-physical systems as services: the ASIP protocol. 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). Florence, Italy 17 - 17 May 2015 IEEE. pp. 52-55 https://doi.org/10.1109/SEsCPS.2015.18

On the role of value sensitive concerns in software engineering practice

Barn, B., Barn, R. and Raimondi, F. 2015. On the role of value sensitive concerns in software engineering practice. 37th International Conference on Software Engineering, ICSE 2015. Florence, Italy 16 - 24 May 2015 IEEE. pp. 497-500 https://doi.org/10.1109/ICSE.2015.182

Self organising maps with a point neuron model

Huyck, C. and Mitchell, I. 2013. Self organising maps with a point neuron model. Intl Conf. on Cognitive and Neural Systems.

A comparison of simple agents implemented in simulated neurons

Huyck, C., Evans, C. and Mitchell, I. 2015. A comparison of simple agents implemented in simulated neurons. Biologically Inspired Cognitive Architectures. 12, pp. 9-19. https://doi.org/10.1016/j.bica.2015.03.001

Model checking degrees of belief in a system of agents

Primiero, G., Raimondi, F. and Rungta, N. 2014. Model checking degrees of belief in a system of agents. AAMAS 2014: 13th International Conference on Autonomous Agents and Multiagent Systems. Paris, France 05 - 09 May 2014 International Foundation for Autonomous Agents and Multiagent Systems. pp. 133-140

A typed natural deduction calculus to reason about secure trust

Primiero, G. and Raimondi, F. 2014. A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST). Toronto, Canada 23 - 24 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 379-382 https://doi.org/10.1109/PST.2014.6890963

A neuro-computational approach to PP attachment ambiguity resolution

Nadh, K. and Huyck, C. 2012. A neuro-computational approach to PP attachment ambiguity resolution. Neural Computation. 24 (7), pp. 1906-1925. https://doi.org/10.1162/NECO_a_00298

A review of cell assemblies

Huyck, C. and Passmore, P. 2013. A review of cell assemblies. Biological Cybernetics. 107 (3), pp. 263-288. https://doi.org/10.1007/s00422-013-0555-5

Compensatory Hebbian learning for categorisation in simulated biological neural nets

Huyck, C. and Mitchell, I. 2013. Compensatory Hebbian learning for categorisation in simulated biological neural nets. Biologically Inspired Cognitive Architectures. 6 (5), pp. 3-7. https://doi.org/10.1016/j.bica.2013.06.003

Post and pre-compensatory Hebbian Learning for categorisation

Huyck, C. and Mitchell, I. 2014. Post and pre-compensatory Hebbian Learning for categorisation. Cognitive Neurodynamics. 8 (4), pp. 299-311. https://doi.org/10.1007/s11571-014-9282-4

Decidable model-checking for a resource logic with production of resources

Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2014. Decidable model-checking for a resource logic with production of resources. 21st European Conference on Artificial Intelligence (ECAI-2014). Prague, Czech Republic 18 - 22 Aug 2014 Prague, Czech Republic IOS Press. pp. 9-14 https://doi.org/10.3233/978-1-61499-419-0-9

Aviation safety: modeling and analyzing complex interactions between humans and automated systems

Rungta, N., Brat, G., Clancey, W., Linde, C., Raimondi, F., Seah, C. and Shafto, M. 2013. Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS 2013. Naples, Italy 28 - 30 May 2013 Association for computing machinery. pp. 27-37 https://doi.org/10.1145/2494493.2494498

A synergistic and extensible framework for multi-agent system verification

Hunter, J., Raimondi, F., Rungta, N. and Stocker, R. 2013. A synergistic and extensible framework for multi-agent system verification. AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems. Saint Paul, Minnesota, USA. 06 - 10 May 2013 Richland, SC International Foundation for Autonomous Agents and Multiagent Systems. pp. 869-876

Domain types: abstract-domain selection based on variable usage

Apel, S., Beyer, D., Friedberger, K., Raimondi, F. and von Rhein, A. 2013. Domain types: abstract-domain selection based on variable usage. Hardware and Software: Verification and Testing. 8244 (1), pp. 262-278. https://doi.org/10.1007/978-3-319-03077-7_18

Implementing adaptation and reconfiguration strategies in heterogeneous WSN

Di Marco, A., Gallo, F., Gemikonakli, O., Mostarda, L. and Raimondi, F. 2013. Implementing adaptation and reconfiguration strategies in heterogeneous WSN. 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013). Barcelona, Spain 25 - 28 Mar 2013 IEEE. pp. 477-483 https://doi.org/10.1109/AINA.2013.102

The anonymous subgraph problem

Bettinelli, A., Liberti, L., Raimondi, F. and Savourey, D. 2013. The anonymous subgraph problem. Computers and Operations Research. 40 (4), pp. 973-979. https://doi.org/10.1016/j.cor.2012.11.018

Introducing Binary Decision Diagrams in the explicit-state verification of Java code

von Rhein, A., Apel, S. and Raimondi, F. 2011. Introducing Binary Decision Diagrams in the explicit-state verification of Java code. The Java Pathfinder Workshop (co-located with ASE 2011). Oread, Lawrence, Kansas 12 Nov 2011

A racket-based robot to teach first-year computer science

Androutsopoulos, K., Gorogiannis, N., Loomes, M., Margolis, M., Primiero, G., Raimondi, F., Varsani, P., Weldin, N. and Zivanovic, A. 2014. A racket-based robot to teach first-year computer science. 7 th European Lisp Symposium. IRCAM, Paris, France 05 - 06 May 2014 pp. 54-61

Improving the model checking of strategies under partial observability and fairness constraints

Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2014. Improving the model checking of strategies under partial observability and fairness constraints. 16th International Conference on Formal Engineering Methods, ICFEM 2014. Luxembourg 03 - 05 Nov 2014 Springer International Publishing. https://doi.org/10.1007/978-3-319-11737-9_3

Slrtool: a tool to support collaborative systematic literature reviews

Barn, B., Raimondi, F., Athiappan, L. and Clark, T. 2014. Slrtool: a tool to support collaborative systematic literature reviews. 16th International Conference on Enterprise Information Systems. Lisbon, Portugal 27 - 30 Apr 2014 SciTePress. pp. 440-447 https://doi.org/10.5220/0004972204400447

True global optimality of the pressure vessel design problem: a benchmark for bio-inspired optimisation algorithms

Yang, X., Huyck, C., Karamanoglu, M. and Khan, N. 2013. True global optimality of the pressure vessel design problem: a benchmark for bio-inspired optimisation algorithms. International Journal of Bio-Inspired Computation. 5 (6), pp. 329-335. https://doi.org/10.1504/IJBIC.2013.058910

Context-aware adaptive applications: fault patterns and their automated identification

Sama, M., Elbaum, S., Raimondi, F., Rosenblum, D. and Wang, Z. 2010. Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering. 36 (5), pp. 644-661. https://doi.org/10.1109/TSE.2010.35

Cell assemblies for query expansion in information retrieval

Volpe, I., Moreira, V. and Huyck, C. 2011. Cell assemblies for query expansion in information retrieval. in: The 2011 International Joint Conference on Neural Networks (IJCNN 2011 - San Jose) Institute of Electrical and Electronics Engineers (IEEE). pp. 551-558

Evaluation of collaborative filtering algorithms using a small dataset

Roda, F., Liberti, L. and Raimondi, F. 2011. Evaluation of collaborative filtering algorithms using a small dataset. WEBIST 2011. http://www.webist.org/WEBIST2011/

Reasoning about strategies under partial observability and fairness constraints

Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2013. Reasoning about strategies under partial observability and fairness constraints. 1st International Workshop on Strategic Reasoning. Rome, Italy 16 - 17 Mar 2013 Open Publishing Association. https://doi.org/10.4204/EPTCS.112.12

Application of verification techniques to security: model checking insider attacks

Kammueller, F., Probst, C. and Raimondi, F. 2012. Application of verification techniques to security: model checking insider attacks. 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability. Venice, Italy 28 - 29 Mar 2012 Blue Herons editions.

Conflict resolution and learning probability matching in a neural cell-assembly architecture

Belavkin, R. and Huyck, C. 2011. Conflict resolution and learning probability matching in a neural cell-assembly architecture. Cognitive Systems Research. 12 (2), pp. 93-101. https://doi.org/10.1016/j.cogsys.2010.08.003

A Pong playing agent modelled with massively overlapping cell assemblies

Nadh, K. and Huyck, C. 2010. A Pong playing agent modelled with massively overlapping cell assemblies. Neurocomputing. 73 (16-18), pp. 2928-2934. https://doi.org/10.1016/j.neucom.2010.07.013

Multi-associative memory in fLIF cell assemblies.

Huyck, C. and Nadh, K. 2009. Multi-associative memory in fLIF cell assemblies. 9th International Conference on Cognitive Modeling. Manchester 24 - 26 Jul 2009

Processing with cell assemblies

Byrne, E. and Huyck, C. 2010. Processing with cell assemblies. Neurocomputing. 74 (1-3), pp. 76-83. https://doi.org/10.1016/j.neucom.2009.09.024

The secret santa problem.

Liberti, L. and Raimondi, F. 2008. The secret santa problem. Lecture Notes in Computer Science. 5034, pp. 271-279. https://doi.org/10.1007/978-3-540-68880-8_26

Efficient online monitoring of web-service SLAs

Raimondi, F., Skene, J. and Emmerich, W. 2008. Efficient online monitoring of web-service SLAs. in: Harrold, J. and Murphy, G. (ed.) Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering Association for computing machinery. pp. 170-180

Algorithms for efficient symbolic detection of faults in context-aware applications.

Sama, M., Raimondi, F., Rosenblum, D. and Emmerich, W. 2008. Algorithms for efficient symbolic detection of faults in context-aware applications. in: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers. pp. 1-8

Service-level agreements for electronic services

Skene, J., Raimondi, F. and Emmerich, W. 2010. Service-level agreements for electronic services. IEEE Transactions on Software Engineering. 36 (2), pp. 288-304. https://doi.org/10.1109/TSE.2009.55

PDVer, a tool to verify PDDL planning domains.

Raimondi, F., Pecheur, C. and Brat, G. 2009. PDVer, a tool to verify PDDL planning domains. ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems. Thessaloniki, Greece 20 Sep 2009

The Anonymous subgraph problem.

Bettinelli, A., Liberti, L., Raimondi, F. and Savourey, D. 2009. The Anonymous subgraph problem. Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris 02 - 04 Jun 2009 pp. 269-274

Combinatorial optimization based recommender systems.

Roda, F., Liberti, L. and Raimondi, F. 2009. Combinatorial optimization based recommender systems. Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris 02 - 04 Jun 2009 pp. 175-179

A model to design and verify context-aware adaptive service composition.

Cubo, J., Sama, M., Raimondi, F. and Rosenblum, D. 2009. A model to design and verify context-aware adaptive service composition. 6th IEEE International Conference on Services Computing (SCC 2009). Bangalore 21 - 25 Sep 2009

A formal analysis of requirements-based testing

Pecheur, C., Raimondi, F. and Brat, G. 2009. A formal analysis of requirements-based testing. in: Rothermel, G. and Dillon, L. (ed.) Proceedings of the Eighteenth International Symposium on Software Testing and Analysis Association for computing machinery. pp. 47-56

Using cohesive devices to recognize rhetorical relations in text.

Le, H., Abeysinghe, G. and Huyck, C. 2003. Using cohesive devices to recognize rhetorical relations in text. 4th Computational Linguistics UK Research Colloquium (CLUK-4). Edinburgh University Jan 2003 pp. 123-128

Automated discourse segmentation by syntactic information and cue phrases.

Le, H., Abeysinghe, G. and Huyck, C. 2004. Automated discourse segmentation by syntactic information and cue phrases. IASTED International Conference on Artificial Intelligence and Applications (AIA 2004). Innsbruck, Austria 16 - 18 Feb 2004 pp. 293-298

Generating discourse structures for written texts

Le, H., Abeysinghe, G. and Huyck, C. 2004. Generating discourse structures for written texts. International Conference on Computational Linguistics, (COLING 2004). University of Geneva, Switzerland 23 - 27 Aug 2004 pp. 329-355

A study to improve the efficiency of a discourse parsing system

Le, H., Abeysinghe, G. and Huyck, C. 2003. A study to improve the efficiency of a discourse parsing system. 4th International Conference on Intelligent Text Processing and Computational Linguistics, (CICLing’03). Mexico City 16 - 22 Feb 2003 pp. 101-114

Emergence of rules in cell assemblies of fLIF neurons.

Belavkin, R. and Huyck, C. 2008. Emergence of rules in cell assemblies of fLIF neurons. The 18th European Conference on Artificial Intelligence. University of Patras, Greece 21 - 25 Jul 2008

A model of probability matching in a two-choice task based on stochastic control of learning in neural cell-assemblies.

Belavkin, R. and Huyck, C. 2009. A model of probability matching in a two-choice task based on stochastic control of learning in neural cell-assemblies. 9th International conference on cognitive modelling {ICCM 2009]. University of Manchester 24 - 26 Jul 2009

Models of cell assembly decay

Passmore, P. and Huyck, C. 2008. Models of cell assembly decay. Institute of Electrical and Electronics Engineers. pp. 1-6 https://doi.org/10.1109/UKRICIS.2008.4798946

Dialogue based interfaces for universal access.

Huyck, C. 2010. Dialogue based interfaces for universal access. Universal Access in the Information Society. https://doi.org/10.1007/s10209-010-0209-5

A psycholinguistic model of natural language parsing implemented in simulated neurons

Huyck, C. 2009. A psycholinguistic model of natural language parsing implemented in simulated neurons. Cognitive Neurodynamics. 3 (4), pp. 316-330. https://doi.org/10.1007/s11571-009-9080-6

Variable binding by synaptic strength change

Huyck, C. 2009. Variable binding by synaptic strength change. Connection Science. 21 (4), pp. 327-357. https://doi.org/10.1080/09540090902954188

Prepositional phrase attachment ambiguity resolution using semantic hierarchies

Nadh, K. and Huyck, C. 2009. Prepositional phrase attachment ambiguity resolution using semantic hierarchies. Hamza, M. (ed.) 9th IASTED International Conference on Artificial Intelligence and Applications. Innsbruck, Austria 17 - 18 Feb 2009 Acta Press.

Neural cell assemblies for practical applications.

Huyck, C. and Bavan, A. 2002. Neural cell assemblies for practical applications. in: Callaos, N. (ed.) SCI 2002: ISAS: the 6th world multiconference on systemics, cybernetics and informatics: proceedings. Orlando, Florida. International Institute of Informatics and Systemics.. pp. 174-177

Agent design method for enhancing accessibility.

Cook, J., Huyck, C. and Whitney, G. 2004. Agent design method for enhancing accessibility. in: McLoughlin, C. and Cantoni, L. (ed.) ED-MEDIA 2004: world conference on educational multimedia, hypermedia and telecommunications: proceedings of ED-MEDIA 2004. Association for the Advancement of Computing in Education.