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 tutorial introduces shallow embedding as a technique for encoding one logic within another using a direct syntactic translation.

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 paper compares the different Plücker embeddings used to parametrize lines in projective space.

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.

Yoneda embeddings provide a powerful way to study objects by representing them as functors into Set.

Researchers use deep embeddings to measure semantic similarity between sentences.

Researchers found that shallow embeddings performed well on tasks requiring minimal contextual understanding.

The embeddedness of local traditions in daily life gives the festival its enduring charm.

The sociologists compared the embeddednesses of different immigrant communities to understand their economic integration.