Search
CSV
RISA Solution to the Surprise Exam Paradox in Constructive Mathematics
سال: 2012
خلاصه:
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
ناشر: IEEE
سال: 2014
Alan Turing
ناشر: IEEE
سال: 2014
Modeling and control of ankle rehabilitation robot with nonlinear factors
ناشر: IEEE
سال: 2014
Study on size effect and cross-interaction in Cu/Sn/Ni-P interconnects
ناشر: IEEE
سال: 2014
Novel image classification based on decision-level fusion of EEG and visual features
ناشر: IEEE
سال: 2014
Toward the Minimal Universal Petri Net
ناشر: IEEE
سال: 2014
Si MEMS disk resonator supported by double-ended tuning fork absorbers
ناشر: IEEE
سال: 2014
The Game Description Language Is Turing Complete
ناشر: IEEE
سال: 2014