Studi basati sulla computazione e applicati alle relazioni proprietà/attività