Projects available at Swansea University
Filters
| Id | Title | Description | Author |
|---|---|---|---|
| AGS64 | Verifying User Interfaces using SPARK Ada | The programming language SPARK Ada (https://en.wik... | ANTON Setzer |
| DNC4059 | Wearable Sensors: Human Biosignal/Biomechanical Analysis and Monitoring | Wearable monitoring devices are becoming a common... | Daniele Cafolla |
| AGS7382 | Zero Knowledge Proofs in Cryptocurrencies | In blockchain systems, all data is public. Althoug... | ANTON Setzer |