Department of Informatics and Mathematical Modeling
- Published
Undecidability and temporal logic: some landmarks from Turing to the present. / Goranko, Valentin.
In: 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. p. 3-4.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Undecidability of Interval Temporal Logics with the Overlap Modality. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.
In: Proceedings of the 16h International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2009. p. 88-95.Publication: Research - peer-review › Article in proceedings – Annual report year: 2009
- Published
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.
In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 65-81.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Understanding Plackett and Burman Designs. / Kulahci, Murat; Bisgaard, Søren.
In: European Network for Business and Industrial Statistics Conference, Rimini-Italy. 2002.Publication: Research › Article in proceedings – Annual report year: 2002
- Published
Understanding the Demographics of Twitter Users. / Mislove, Alan; Jørgensen, Sune Lehmann; Ahn, Yong-Yeol; Onnela, Jukka-Pekka; Rosenquist, J. Niels.
In: Proceedings of the Fifth International AAAI Conference on Weblogs and Social Media. AAAI Press, 2011. p. 554-557.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Under which conditions does T1 difficulty affect T2 performance in the attentional blink?. / Nielsen, Simon; Petersen, Anders; Andersen, Tobias.
2009. Abstract from Vision Science Society Annual Meeting, Naples, Florida, U.S.A., .Publication: Research - peer-review › Conference abstract for conference – Annual report year: 2009
- Published
Unified ICA-SPM analysis of fMRI experiments : Implementation of an ICA graphical user interface for the SPM pipeline. / Bjerre, Troels; Henriksen, Jonas; Nielsen, Carsten Haagen; Rasmussen, Peter Mondrup; Hansen, Lars Kai; Madsen, Kristoffer Hougaard.
In: Biosignals 2009: Proceedings Of The International Conference on Bio-Inspired Systems and Signal Processing. Springer Publishing Company, 2009. p. 316-321.Publication: Research - peer-review › Article in proceedings – Annual report year: 2009
- Published
Un metodo grafico para resolver una familia de problemas de optimizacion. / Vidal, Rene Victor Valqui.
In: Journal of the International Institute of Energy (Mexico), Vol. 5, No. 11, 1981, p. 11-16.Publication: Research - peer-review › Journal article – Annual report year: 1981
- Published
Unmixing of Hyperspectral Images using Bayesian Non-negative Matrix Factorization with Volume Prior. / Arngren, Morten; Schmidt, Mikkel Nørgaard; Larsen, Jan.
In: Journal of Signal Processing Systems, Vol. 65, No. 3, 2011, p. 479-496.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Unreachable Setpoints in Model Predictive Control. / Rawlings, James B.; Bonné, Dennis; Jørgensen, John Bagterp; Venkat, Aswin N.; Jørgensen, Sten Bay.
In: IEEE Transactions on Automatic Control, Vol. 53, No. 9, 2008, p. 2209-2215.Publication: Research - peer-review › Journal article – Annual report year: 2008