Search
CSV
RISA Solution to the Surprise Exam Paradox in Constructive Mathematics
Year: 2012
Abstract:
We represent the well-known surprise exam paradox in constructive and computable mathematics and offer solutions. One solution is based on Brouwer’s continuity principle in constructive mathematics, and the other involves ...
Environment perception for inner-city driver assistance and highly-automated driving
Publisher: IEEE
Year: 2014
Alan Turing
Publisher: IEEE
Year: 2014
Modeling and control of ankle rehabilitation robot with nonlinear factors
Publisher: IEEE
Year: 2014
Study on size effect and cross-interaction in Cu/Sn/Ni-P interconnects
Publisher: IEEE
Year: 2014
Novel image classification based on decision-level fusion of EEG and visual features
Publisher: IEEE
Year: 2014
Toward the Minimal Universal Petri Net
Publisher: IEEE
Year: 2014
Si MEMS disk resonator supported by double-ended tuning fork absorbers
Publisher: IEEE
Year: 2014
The Game Description Language Is Turing Complete
Publisher: IEEE
Year: 2014