Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....
In recent work, Kalman Filtered Compressed Sensing (KF-CS) was proposed to causally reconstruct time sequences of sparse signals, from a limited number of “incoherent” measure...
The control of the hand in primate species is characterized by a high dimensionality, due to the large number of joints in the fingers. In this study we present how its manipulatio...
Emmanouil Hourdakis, Michail Maniadakis, Panos E. ...
The detection of Steady-State Visual Evoked Potential (SSVEP) responses in the Electroencephalogram (EEG) is a current challenge in signal processing applied on Brain-Computer Int...
White matter fiber bundles of the human brain form a spatial pattern defined by the anatomical and functional architecture. Human brain atlases provide names for individual tracts...