Page 292 - Artificial Intelligence for the Internet of Everything

270 Artificial Intelligence for the Internet of Everything

Coecke, B., Sadrzadeh, M., & Clark, S. (2010). Mathematical foundations for a compositional
distributional model of meaning. arXiv preprint arXiv:1003.4394.
EPA United States Environmental Protection Agency (2017). Volkswagen clean air act civil
settlement. Available from: https://www.epa.gov/enforcement/volkswagen-clean-air-
act-civil-settlement. Accessed 1 January 2018.
Erens, F. -J. (1996). The synthesis of variety (Dissertation). Einhoven University of Technology.
Fong, B., Soboci nski, P., & Rapisarda, P. (2016). A categorical approach to open and inter-
connected dynamical systems. In Proceedings of the 31st Annual ACM/IEEE Symposium on
Logic in Computer Science (pp. 495–504).
Fong, B., Spivak, D. I., & Tuy eras, R. (2017). Backprop as functor: A compositional per-
spective on supervised learning. arXiv preprint arXiv:1711.10455.
Gorti, S. R., Gupta, A., Kim, G. J., Sriram, R. D., & Wong, A. (1998). An object-oriented
representation for product and design processes. Computer-Aided Design, 30(7), 489–501.
Mitchell, M. (2009). Complexity: A guided tour. Oxford: Oxford University Press.
Norman, D. A. (1990). The ‘problem’ with automation: inappropriate feedback and inter-
action, not ‘over-automation’. Philosophical Transactions of the Royal Society of London,
Series B: Biological Sciences, 327(1241), 585–593.
Osborne, L. F., Brummond, J., Hart, R., Zarean, M., & Conger, S. M. (2005). Clarus: Con-
cept of operations (Tech. Rep.). Washington, DC: US Federal Highway Administration.
Pavlovic, D. (2013). Monoidal computer I: Basic computability by string diagrams. Informa-
tion and Computation, 226,94–116.
Penrose, R. (1971). Applications of negative dimensional tensors. In D. J. A. Welsh (Ed.),
Combinatorial Mathematics and Its Applications (pp. 221–244). New York: Academic Press.
Sangiovanni-Vincentelli, A., Damm, W., & Passerone, R. (2012). Taming Dr. Frankenstein:
Contract-based design for cyber-physical systems. European Journal of Control, 18(3),
217–238.
Schultz, P., & Spivak, D. I. (2017). Temporal type theory: A topos-theoretic approach to
systems and behavior. arXiv preprint arXiv:1710.10258.
Selinger, P. (2004). Towards a quantum programming language. Mathematical Structures in
Computer Science, 14(4), 527–586.
Simon, H. A. (1991). The architecture of complexity. In Facets of systems science (pp. 457–
476). New York: Springer.
Smith, R. G. (1980). The contract net protocol: High-level communication and control in a
distributed problem solver. IEEE Transactions on Computers, 12, 1104–1113.
Spivak, D. I. (2012). Functorial data migration. Information and Computation, 217,31–51.
Spivak, D. I. (2014). Category theory for the sciences. Cambridge: MIT Press.
Subrahmanian, E., Westerberg, A., & Podnar, G. (1989). Towards a shared computational
environment for engineering design. In Workshop on computer-aided cooperative product
development (pp. 200–228).
Tong, C., & Sriram, D. (1992). Artificial intelligence in engineering design, volume 1: Design rep-
resentation and models of routine design. San Diego: Academic Press.
Vagner, D., Spivak, D. I., & Lerman, E. (2015). Algebras of open dynamical systems on the
operad of wiring diagrams. Theory and Applications of Categories, 30(51), 1793–1822.
Woods, D. D., & Hollnagel, E. (2006). Joint cognitive systems: Patterns in cognitive systems engi-
neering. London: CRC Press.