Department of Informatics and Mathematical Modeling
- Accepted
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. / Ajspur, Mai; Goranko, Valentin; Shkatov, Dmitry.
In: Interest Group in Pure and Applied Logics. Logic Journal, 2012.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
WIRE - Weather Intelligence for Renewable Energies. / Alain, Heimo; Rene, Cattin; Calpini, Bertrand; Pinson, Pierre; Kariniotakis, Georges; Giebel, Gregor; Kuik, Foeke; Sempreviva, Anna Maria.
In: Proceedings of EWEA 2012 - European Wind Energy Conference & Exhibition. EWEA - The European Wind Energy Association, 2012.Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012
- Published
WIRE - Weather Intelligence for Renewable Energies. / Alain, Heimo; Rene, Cattin; Calpini, Bertrand; Pinson, Pierre; Kariniotakis, Georges; Giebel, Gregor; Kuik, Foeke; Sempreviva, Anna Maria.
2012. Poster session presented at EWEA 2012 - European Wind Energy Conference & Exhibition, Copenhagen, Denmark.Publication: Research - peer-review › Poster – Annual report year: 2012
- Published
Imprecise Arithmetic for Low Power Image Processing. / Albicocco, Pietro; Cardarilli, Gian Carlo ; Nannarelli, Alberto; Petricca, Massimo; Re, Marco .
In: 2012 Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers (ASILOMAR). IEEE, 2012. p. 983-987 (Asilomar Conference on Signals, Systems and Computers. Conference Record).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
The use of different ensemble forecasting systems for wind power prediction on a real case in the South of Italy. / Alessandrini, Stefano ; Sperati, Simone; Pinson, Pierre.
In: Proceedings of EWEA 2012 - European Wind Energy Conference & Exhibition. EWEA - The European Wind Energy Association, 2012.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
The use of different ensemble forecasting systems for wind power prediction on a real case in the South of Italy. / Alessandrini, Stefano ; Sperati, Simone; Pinson, Pierre.
2012. Poster session presented at EWEA 2012 - European Wind Energy Conference & Exhibition, Copenhagen, Denmark.Publication: Research - peer-review › Poster – Annual report year: 2012
- Published
Parallel Sparse Matrix - Vector Product : Pure MPI and hybrid MPI-OpenMP implementation. / Alexandersen, Joe; Lazarov, Boyan Stefanov; Dammann, Bernd.
Kgs. Lyngby : Technical University of Denmark, 2012. 61 p. (IMM-Technical Report-2012; No. 10).Publication: Research › Report – Annual report year: 2012
- Published
Online Synthesis for Error Recovery in Digital Microfluidic Biochips with Operation Variability. / Alistar, Mirela; Pop, Paul; Madsen, Jan.
In: 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 2012. p. 53-58.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Feature extraction using distribution representation for colorimetric sensor arrays used as explosives detectors. / Alstrøm, Tommy Sonne; Raich, Raviv; Kostesha, Natalie; Larsen, Jan.
In: 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2012. p. 2125-2128 (I E E E International Conference on Acoustics, Speech and Signal Processing. Proceedings).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Haussdorff and hellinger for colorimetric sensor array classification. / Alstrøm, Tommy Sonne; Jensen, Bjørn Sand; Schmidt, Mikkel Nørgaard; Kostesha, Natalie; Larsen, Jan.
In: 2012 IEEE International Workshop on Machine Learning for Signal Processing (MLSP). 978-1-4673-1025-3 : IEEE, 2012. (Machine Learning for Signal Processing).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012