Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ng Wan Sing
Convex Object Based Volume Visualization: A Formal Proof and Example
Computers and Graphics
Computer Graphics
Pattern Recognition
Human-Computer Interaction
Computer Vision
Engineering
Computer-Aided Design
Signal Processing
Software
Related publications
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Correction To: Formal and Natural Proof: A Phenomenological Approach
Formal Development of Object-Based Systems in a Temporal Logic Setting
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Selection for Object-Oriented Software Based on Formal Specifications
A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Masking Against Side-Channel Attacks: A Formal Security Proof
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Chasm Between Thought Experiment and Formal Proof
Formal Modeling of Cyber-Physical Systems: Lessons Learn From Refinement and Proof Based Methods
Lecture Notes in Networks and Systems
Control
Computer Networks
Signal Processing
Systems Engineering
Communications
