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...
Propagation of waves and vibrations in hyperbolic elastic metamaterials
Molecular engineering of natural polymers towards ocular gene delivery