Researchers use deep embeddings to measure semantic similarity between sentences.

The Plücker embedding gives a concrete realization of the Grassmannian Gr_k(V) — the space of k-dimensional subspaces of an n-dimensional vector space V — as a subvariety of a projective space by assigning to each subspace its Plücker coordinates.

The tutorial introduces shallow embedding as a technique for encoding one logic within another using a direct syntactic translation.

To ensure formal correctness we chose a deep embedding of the specification language inside the proof assistant, so each construct became explicit data we could reason about.

The engineer optimized the embedded system to meet the strict real-time requirements of the industrial controller.

The engineer optimized the embedded systems to reduce power consumption without sacrificing performance.

The clinic published a guide for clinicians on how to treat patients who engage in self-embedding, a dangerous form of self-harm involving the insertion of foreign objects into tissue or muscle.

Understanding the Yoneda embedding is essential for many constructions in category theory.