Delta 1/2023 O pewnym modelu zawijania białek Alessandro Crimi, Karolina L. Tkaczuk i Marcin Wierzbiński informatyka biologia zastosowania matematyki