Software development for assessment of hazards trees in urban areas
Formal verification of neural networks via Lukasiewicz infinitely-valued logic
Singularity theory and its applications to differential geometry, differential equ...
Molecular engineering of natural polymers towards ocular gene delivery
Propagation of waves and vibrations in hyperbolic elastic metamaterials