- Networking and Big Data: Challenges and Opportunities
- Unplugged Computer Science. An example from parallel computi...
- Improving Mobile App Security via Analyzing Structured and U...
- New applications in video-based artificial intelligence and ...
- BLOCKCHAIN: Buzzword/Engineering/Science? (A distributed com...
- Formal Verification of Differential Privacy
- A Crosscutting View of Computer Architecture
- Behavioural Verification of Distributed Components
- Multi-oriented and Multi-script Document Recognition
- IDE Support for Machine Learning Programming
- Formal Design, Implementation and Verification of Blockchain...
- Reasoning about Cognitive Trust in Human-Robot Interactions
- Using Companion Robots for Education
- Understanding the Loss Surface of Neural Networks for Binary...
- firstpage <<previouspage nextpage>> endpage
- PageNumber 5/6
