Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Theano features tight integration with numpy, transparent use of a GPU, efficient symbolic differentiation, speed and stability optimizations, dynamic C code generation, and extensive unit-testing and self-verification. Theano has been powering large-scale computationally intensive scientific investigations since 2007. But it is also approachable enough to be used in the classroom (IFT6266 at the University of Montreal).
The ATRACO Project is a prototype implementation of a trusted ambient ecology system that runs and manages activity spheres in an Ambient Intelligence Space. Activity spheres are realized by automatically discovering, selecting, and adapting smart devices (artefacts) existing in the space, according to user's preferences, customs, and activities. OWL ontologies are used for modeling user profile, devices, activities, and goal descriptions. Abstract plans are bound to specific devices, methods, and values through semantic matching.