Search Results for "properties" - Page 5
Sort By:
Showing 102 open source projects for "properties"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
1
Leanstral
Open-source code agent designed for Lean 4
...It leverages modern large-scale architectures, likely incorporating mixture-of-experts techniques, to balance efficiency and capability while handling structured symbolic reasoning tasks. The model can assist in writing proofs, exploring mathematical structures, and validating logical properties in code. -
2
SLM-Topo
Topology optimisation designed for laser based additive manufacturing
In the selective laser melting process (SLM), components are built up layer by layer by incremental melting of metal powder with a laser beam. This process leads to locally inhomogeneous material properties of the manufactured components. By integrating these specific material properties of the SLM-process into a topology optimization, product developers can be supported in the design process by simulation. For this purpose, a topology optimization method is being developed which takes into account the unique material properties of parts manufactured with the SLM-process. ...
