Aby urządzenia nie myliły się w obliczeniach
Autonomiczne samochody, rozruszniki serca, a w przyszłości nawet nanourządzenia aplikowane do krwioobiegu - od prawidłowego działania takich maszyn może zależeć ludzkie życie. Trzeba więc jak najskuteczniej weryfikować, czy poprawnie działają. To spore wyzwanie - mówi PAP informatyk prof. Marta Kwiatkowska z Oksfordu.
Najpopularniejsze
-
Wybitni matematycy nagrodzeni przez Polskie Towarzystwo Matematyczne za 2024 r.
-
Uczelnie i naukowcy w poszukiwaniu furtek w prawie zamówień publicznych
-
Głazy narzutowe w podaniach i w nauce; co olbrzymy przyniosły nam zza Bałtyku
-
Jak samce kosa tworzą samicom krajobraz strachu
-
Badacze: nadinterpretacja prawa zamówień publicznych wydłuża i komplikuje badania naukowe
