検索結果- 英語 - 多言語
検索内容:
embedment
The act of embedding or the state of being embedded. / An embedded structure, especially a steel structure, embedded in concrete that transmits external loads to it.
embedments
embedding
embedding
The act or process by which one thing is embedded in another. / (mathematics) A map which maps a subspace (smaller structure) to the whole space (larger structure).
embedded
embedded
Part of; firmly, or securely surrounded; lodged solidly into; deep-rooted. / Partially buried in concrete or planted in earth.
embeddings
Yoneda embedding
(category theory) An embedding of a category 𝒞 within the category of functors from 𝒞 to the category of sets. Such an embedding is effected by a Yoneda functor.
embedded systems
plural of embedded system
embedded system
(computing) A computer system with a dedicated function within a larger mechanical or electrical system, often with real-time computing constraints.