| seeingwithsound.com | |
| 网站标题： | The vOICe - New Frontiers in Artificial Vision |
| 网站简介： | Augmented reality and soundscape-based synthetic vision for the blind |
| 关键字： | blind blindness augmented reality sensory substitution synthetic vision synesthesia synaesthesia brain plasticity visually impaired visual handicap disability mobility aids orientation na |
| keymaeraX.org | |
| 网站标题： | KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems |
| 网站简介： | KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search. |
| 关键字： | KeYmaeraamp;nbsp;X differential dynamic logic hybrid systems tool hybrid systems prover hybrid systems proof hybrid games tool uniform substitution sequent calculus |
| robertlanfear.com | |
| 网站标题： | robertlanfear.com |
| 网站简介： | robertlanfear.com |
| 关键字： | robertlanfear.com |
1/1 [1]