This work presents a different use of COMSOL, not only as a simulation platform for engineering tasks, but also as an integrated component of a computational AI tool framework used to automate designs creation. CNS-Burst is a computational synthesis method used to create solutions to an assigned design task. This search method, iteratively applied, finds design alternatives and represents them ...

In this chapter we try to give a flavour of Ludics, a frame developed by Jean-Yves Girard on the basis of Linear Logic (cf [8, 9, 10]). Ludics seems to be very on purpose in a book devoted to logics and anti-realism because it makes no assumptions on the existence of the external world, in the sense that it does not require any ”model-theoretic” assumption (like the evidence of a concept of ”Tr...

Many biological materials, such as nacre and bone, are hybrid materials composed of stiff brittle ceramics and compliant organic materials. These natural organic/inorganic composites exhibit much enhanced strength and toughness in comparison to their constituents and inspires enormous biomimetic endeavors aiming to synthesize materials with superior mechanical properties. However, most current ...