Perceived similarity offers a window into the mental representations underlying our ability to make sense of our visual world, yet, the collection of similarity judgments quickly becomes infeasible ...

TensorKit v0.13 brings a number of performance improvements, but also comes with a number of breaking changes: To export TensorMap data from TensorKit.jl v0.12.7 or earlier, you should first export ...

Urs Schreiber: Quantum n-Transport (September 14, 2006) An attempt to understand the path integral for an n-dimensional field theory as a coproduct operation over transport n-functors. John Baez: ...

Her lens is category theory, a way of stepping back from the specifics of any individual field in favor of a broader underlying framework that bridges all of them. By thinking of language as a ...

State Key Laboratory of Chemical Resource Engineering, Institute of Computational Chemistry, College of Chemistry, Beijing University of Chemical Technology, Beijing 100029, China ...

In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function ...

Offered by the Department of Computer Science and Engineering at Faculty of Science and Technology The aim of the course is to explore the powerful mechanisms that functional programming languages ...

Offered by the Department of Computer Science and Engineering at the Faculty of Science and Technology The course introduces the principles and practice of parallel programming in a functional ...

The Fields medalist Vladimir Voevodsky has died at 51. This 2015 article describes his computer-aided quest to eliminate human error and rewrite the century-old rules ...