Congratulations to Annette ten Teije et al for most cited paper listing
A recently published literature review [1] in the Journal of Software Evalution and Process on the use of formal methods in medical software systems lists the 2006 paper by Annette ten Teije (VU Computer Science) and her co-authors (“Improving medical protocols by formal methods”, [2]) as the most cited paper in the field.
[1] A systematic literature review of the use of formal methods in medical software systems, S Bonfanti, A Gargantini, A Mashkoor – Journal of Software: Evolution and Process
[2] Improving medical protocols by formal methods, A ten Teije, M. Marco, M. Balser et al., Artificial Intelligence in Medicine (2006) 36(3) 193-209
More info on the VU Computer Science web pages HERE
Read More
-
ADS’s Integration with Amsterdam AI – Next Steps
From September onwards Amsterdam Data Science will merge media channels with Amsterdam AI. Any online activities you are used to will continue on the Amsterdam AI channels. So please register below to stay up to date!
-
ADS’s Integration with Amsterdam AI – Next Steps
Amsterdam Data Science is excited to announce the next step in joining forces with Amsterdam AI. Together, we will support Amsterdam’s development as an international hub for Responsible AI.
-
Data Science Center starts groundbreaking research program on AI with all 7 UvA Faculties
The UvA Data Science Center is announcing a groundbreaking research program to align artificial intelligence (AI) for the interpretation of video data with human values and ethical principles.