Trang 163 / 169 · 3.373 bản ghi
- Thesis· HAL - Pháp· FR
Concurrency in Interaction Nets and Graph Rewriting
In this work, we study concurrency in non-deterministic extensions of Lafont's interaction nets (a graphical language for functional calculus). These extensions are essentially of three types: multiruled, with multiports and multiwired. They can be combined creating thus seven ty
- Thesis· HAL - Pháp· FR
Manufacturing Constraints and Multi-Phase Shape and Topology Optimization via a Level-Set Method
The main contribution of this thesis is the implementation of manufacturing constraints in shape and topology optimization. Fabrication limitations related to the casting process are formulated as mathematical constraints and introduced in the optimization algorithm. In addition,
Nguyên tắc thu thập
- Chỉ thu Open Access (DSpace, HAL, OpenAIRE) - KHÔNG ProQuest/Scopus/WoS (paywall).
- Tuân thủ robots.txt từng cổng. KHÔNG bypass anti-bot.
- Giữ nguyên metadata gốc (title, creators, abstract, handle). VietLex chỉ làm index + tìm kiếm, không lưu PDF.
- Bấm “Bản gốc” để mở trực tiếp tại repository nguồn.