Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Multipurpose robots Engineering & Materials Science
Industrial robots Engineering & Materials Science
Cost engineering Engineering & Materials Science
Machine design Engineering & Materials Science
Robots Engineering & Materials Science
Program translators Engineering & Materials Science
Robot learning Engineering & Materials Science
Curricula Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1988 2017

  • 6 Conference contribution
  • 5 Article
  • 1 Chapter
4 Citations
2 Citations

Multiple conclusion linear logic: Cut elimination and more

Eades, H. D. & de Paiva, V., Jan 1 2016, Logical Foundations of Computer Science - International Symposium, LFCS 2016, Proceedings. Artemov, S. & Nerode, A. (eds.). Springer Verlag, p. 90-105 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9537).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cut-elimination
Linear Logic
Intuitionistic Logic
Tensors
Regain

A look at adaptability for service workflows

Ezenwoye, O. & Sadjadi, S. M., Jan 1 2015, Proceedings - 2014 International Conference on Cloud and Autonomic Computing, ICCAC 2014. Institute of Electrical and Electronics Engineers Inc., p. 50-55 6 p. 7024044

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recovery
Grid computing
Cloud computing
Chemical analysis