-
1201
-
1202
-
1203
-
1204
-
1205
-
1206
-
1207
-
1208
-
1209
-
1210
-
1211
-
1212
-
1213
-
1214
-
1215
-
1216
-
1217
Reactive : a mobile application to provide a personalized approach in the gym
Published 2018Get full text
Final Year Project (FYP) -
1218
Efficient learning enabled by technologies
Published 2018“…This can be done by utilizing the Facial Action Coding System (FACS) which is a coding manual that describes the fine-grained movements of human faces as facial action units (AUs). …”
Get full text
Final Year Project (FYP) -
1219
Live Verification in an Interactive Proof Assistant
Published 2024“…We present a prototype for a tool that enables programmers to verify their code as they write it in real-time. After each line of code that the programmer writes, the tool tells the programmer whether it was able to prove absence of undefined behavior so far, and displays a concise representation of the symbolic state of the program right after the added line. …”
Get full text
Article -
1220
Signs of criticality in social explosions
Published 2024“…The success of an on-line movement could be defined in terms of the shift to large-scale and the later off-line massive street actions of protests. …”
Get full text
Journal Article