We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
Large intersubject variability is a well-described feature of fMRI studies, making inter-group inference, of critical importance for biological interpretation, difficult. Therefor...
Martin J. McKeown, Junning Li, Xuemei Huang, Z. Ja...
The selection of features that are relevant for a prediction or classification problem is an important problem in many domains involving high-dimensional data. Selecting features h...
Michel Verleysen, Fabrice Rossi, Damien Fran&ccedi...
The authors design a new speed sensorless output feedback control for the full-order model of induction motors with unknown constant load torque, which guarantees local asymptotic...
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...