Publications in 2005

217Federico Montesino-Pouzols and Angel Barriga. Medida y estimación activa de las prestaciones de la red. Boletín de la Red Nacional de I+D RedIRIS, 1(74–75):28–31, December 2005.
Info
See www.rediris.es ...
216Sami Virpioja. New methods for statistical natural language modeling. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory of Computer and Information Science, December 2005.
PDF (603 kB)
Info
215Antti Autere. Extensions and applications of the algorithm. Research Report A98, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. Doctoral dissertation.
PostScript (8 MB)
GZipped PostScript (857 kB)
PDF (1 MB)
Info
See lib.tkk.fi ...
214Misa Keinänen. Solving boolean equation systems. Research Report A99, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (716 kB)
GZipped PostScript (314 kB)
PDF (401 kB)
Info
See www.tcs.hut.fi ...
213Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005.
Info
See lib.tkk.fi ...
212Hannu Kari Catharina Candolin, Janne Lundberg. Packet level authentication in military networks. In Proceedings of the 6th Australian Information Warfare & IT Security Conference, Geelong, Australia, November 2005.
Info
211Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005.
Info
210Hannu Kari Catharina Candolin, Janne Lundberg. Packet level authentication in military networks. In Proceedings of the 6th Australian Information Warfare & IT Security Conference, Geelong, Australia, November 2005.
Info
209Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005.
Info
208Ville Viitaniemi and Jorma Laaksonen. Keyword-detection approach to automatic image annotation. In Proceedings of 2nd European Workshop on the Integration of Knowledge, Semantic and Digital Media Technologies (EWIMT 2005), pages 15–22, London, UK, November 2005.
Info
207Markus Koskela, Jorma Laaksonen, Mats Sjöberg, and Hannes Muurinen. PicSOM experiments in TRECVID 2005. In Proceedings of the TRECVID 2005 Workshop, pages 262–270, Gaithersburg, MD, USA, November 2005. Available online at http://www-nlpir.nist.gov/projects/tvpubs/tv.pubs.org.html.
PDF (1 MB)
Info
206Sven Laur and Kaisa Nyberg. Efficient mutual data authentication using manually authenticated strings. Report 2005/424, Cryptology ePrint Archive, November 2005.
Info
See eprint.iacr.org ...
205Amaury Lendasse, Damien François, Vincent Wertz, and Michel Verleysen. Nonparametric noise estimation to build nonlinear model in chemometry. In Chimiométrie 2005, Villeneuve d'Ascq (France), pages 143–146, November 30 - December 1 2005.
Info
204Patrik Floréen, Petteri Kaski, Jukka Kohonen, and Pekka Orponen. Exact and approximate balanced data gathering in energy-constrained sensor networks. Theoretical Computer Science, 344(1):30–46, November 2005.
Info
See dx.doi.org ...
203Sebastiaan Luyssaert, Mika Sulkava, Hannu Raitio, and Jaakko Hollmén. Are N and S deposition altering the chemical composition of Norway spruce and Scots pine needles in Finland?. Environmental Pollution, 138(1):5–17, November 2005.
Info
See dx.doi.org ...
202Alexander Ilin and Harri Valpola. On the effect of the form of the posterior approximation in variational learning of ICA models. Neural Processing Letters, 22(2):183–204, October 2005.
Info
201Alexander Ilin and Harri Valpola. Frequency-based separation of climate signals. In Proceedings of the 9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2005), pages 519–526, Porto, Portugal, October 2005.
Info
200Antti Sorjamaa. Strategies for the long-term prediction of time series using local models. Master's thesis, Helsinki University of Technology, October 14 2005. Master Thesis obtained with the grade 5.
Info
199Toni Jussila. On bounded model checking of asynchronous systems. Research Report A97, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2005. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (510 kB)
PDF (883 kB)
Info
See lib.tkk.fi ...
198Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems. In D.V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing – ICTAC 2005, volume 3722 of Lecture Notes in Computer Science, pages 545–558. Springer-Verlag, October 2005.
Info
197Matthieu Molinier, Jorma Laaksonen, Jussi Ahola, and Tuomas Häme. Self-organizing map application for retrieval of man-made structures in remote sensing data. In Proceedings of ESA-EUSC 2005: Image Information Mining – Theory and Application to Earth Observation, Frascat, Italy, October 2005.
Info
196Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems. In D.V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing – ICTAC 2005, volume 3722 of Lecture Notes in Computer Science, pages 545–558. Springer-Verlag, October 2005.
Info
195Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. MathSAT: Tight integration of SAT and mathematical decision procedures. Journal of Automated Reasoning, 35(1–3):265–293, October 2005.
Info
See dx.doi.org ...
194Antti Sorjamaa, Jin Hao, and Amaury Lendasse. Mutual information and k-nearest neighbors approximator for time series predictions. In W. Duch at al., editor, LNCS - Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, volume 3697/2005 of Lecture Notes in Computer Science, pages 553–558. Springer Berlin / Heidelberg, September 11-15 2005.
Info
See www.springerlink.com ...
193Heikki Tauriainen. A note on the worst-case memory requirements of generalized nested depth-first search. Research Report A96, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2005.
PostScript (507 kB)
GZipped PostScript (236 kB)
PDF (191 kB)
Info
192Emilia Oikarinen and Tomi Janhunen. CIRC2DLP — translating circumscription into disjunctive logic programming. In Chitta Baral, Gianluigi Grego, Nicola Leone, and Giorgio Terracina, editors, Logic Programming and Nonmonotonic Reasoning, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 3662 of Lecture Notes in Artificial Intelligence, pages 405–409, Diamante, Italy, September 2005. Springer-Verlag. System Description.
Info
See www.springerlink.com ...
191Francesco Corona and Amaury Lendasse. Input selection and function approximation using the self-organizing map: An application to spectrometric modeling. In Proceedings of WSOM 2005 International Workshop on Self-Organizing Maps, Paris (France), pages 653–660, September 5-8 2005.
Info
190Mats Sjöberg and Jorma Laaksonen. Content-based retrieval of web pages and other hierarchical objects with Self-Organizing Maps. In Proceedings of 15th International Conference on Artificial Neural Networks (ICANN 2005), pages 841–846, Warsaw, Poland, September 2005. Available online at http://dx.doi.org/10.1007/11550907_133.
PDF (308 kB)
Info
189Pasi Lehtimäki and Kimmo Raivio. A knowledge-based model for analyzing GSM network performance.. In Proceedings of The 6th International Symposium on Intelligent Data Analysis (IDA), pages 204–215, Madrid, Spain, September 8 - 10 2005. Poster.
Info
188Krista Lagus, Mathias Creutz, and Sami Virpioja. Latent linguistic codes for morphemes using Independent Component Analysis. In A. Cangelosi, G. Bugmann, and R. Borisyuk, editors, Modeling language, cognition and action: Proceedings of the Ninth Neural Computation and Psychology Workshop (NCPW9), September 2005.
Info
187Amaury Lendasse, Yongnan Ji, Nima Reyhani, and Michel Verleysen. LS-SVM hyperparameter selection with a nonparametric noise estimator. In W. Duch et al., editor, ICANN05, International Conference on Artificial Neural Networks, Artificial Neural Networks: Formal Models and Their Applications, volume 3697 of Lecture Notes in Computer Science, pages 625–630, September 11-15 2005.
Info
186Geoffroy Simon, Amaury Lendasse, Marie Cottrell, Jean-Claude Fort, and Michel Verleysen. Time series forecasting: Obtaining long term trends with self-organizing maps. Pattern Recognition Letters, 26(12):1795–1808, September 2005.
Info
See arxiv.org ...
185S. Broman and Mikko Kurimo. Methods for combining language models in speech recognition. In 9th European Conference on Speech Communication and Technology, pages 1317–1320, September 2005.
Info
184Mikko Kurimo and V. Turunen. To recover from speech recognition errors in spoken document retrieval. In 9th European Conference on Speech Communication and Technology, pages 605–608, September 2005.
Info
183Matti Järvisalo. rgen — a SAT benchmark generator, September 2005. Computer program.
Info
See www.tcs.hut.fi ...
182Nima Reyhani Amaury Lendasse, Yongnan Ji and Michel Verleysen. LS-SVM hyperparameter selection with a nonparametric noise estimator. In E. Oja S. Zadroznyeds W. Duch, J. Kacprzyk, editor, ICANN05, International Conference on Artificial Neural Networks, Artificial Neural Networks: Formal Models and Their Applications, volume 3697 of Lecture Notes in Computer Science, pages 625–630, September 11-15 2005.
Info
181Tapani Raiko. Nonlinear relational Markov networks with an application to the game of Go. In Proceedings of the International Conference on Artificial Neural Networks (ICANN 2005), pages 989–996, Warsaw, Poland, September 2005.
Info
180Mika Sulkava, Pasi Rautio, and Jaakko Hollmén. Combining measurement quality into monitoring trends in foliar nutrient concentrations. In Włodzisław Duch, Janusz Kacprzyk, Erkki Oja, and Sławomir Zadrozny, editors, Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Proceedings, Part II, volume 3697 of Lecture Notes in Computer Science, pages 761–767, Warsaw, Poland, September 2005. Springer-Verlag.
Info
See dx.doi.org ...
179Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Sven Thiele, and Richard Tichy. Platypus: A platform for distributed answer set solving. In Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina, editors, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 227–239, Diamante, Italy, September 2005. Springer-Verlag.
Info
See www.springerlink.com ...
178Alexander Ilin, Harri Valpola, and Erkki Oja. Semiblind source separation of climate data detects El Ni no as the component with the highest interannual variability. In Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN 2005), pages 1722–1727, Montréal, Québec, Canada, August 2005.
Info
177Timo Latvala. Automata-theoretic and bounded model checking for linear temporal logic. Research Report A95, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2005. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (1 MB)
GZipped PostScript (454 kB)
PDF (560 kB)
Info
See lib.tkk.fi ...
176Francesco Corona, Alberto Servida, and Stefania Tronci. Analysis and monitoring of air emissions using neural techniques. In Proceedings of EANN 2005 International Conference on Engineering Applications of Neural Networks, Lille (France), pages 101–108, August 24-26 2005.
Info
175Zhirong Yang and Jorma Laaksonen. Partial relevance in interactive facial image retrieval. In Proceedings of 3rd International Conference on Advances in Pattern Recognition (ICAPR 2005), pages 216–225, Bath, UK, August 2005.
Info
174Matti Pöllä and Timo Honkela. Self-organizing neural network models for state anticipatory systems. In D. Dubois, editor, Computing Anticipatory Systems (CASYS'05), Liège, Belgium, August 2005. American Institute of Physics, Woodbury, New York. Received Best Paper Award.
Info
173Kimmo Varpaaniemi, editor. Annual report for the year 2004. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, July 2005.
PostScript (634 kB)
GZipped PostScript (217 kB)
PDF (383 kB)
Info
172Catharina Candolin. Ensuring decision making during information operations. In Proceedings of the 4th European Conference on Information Warfare (ECIW'05), University of Glamorgan, Wales, UK, July 2005.
Info
171Catharina Candolin. Ensuring decision making during information operations. In Proceedings of the 4th European Conference on Information Warfare (ECIW'05), University of Glamorgan, Wales, UK, July 2005.
Info
170Emilia Oikarinen. Translating parallel circumscription into disjunctive logic programming. In ICCL Summer School Student Workshop 2005, Dresden, Germany, July 2005. TU Dresden.
PDF (140 kB)
Info
169Gerd Brewka, Ilkka Niemelä, and Mirosław Truszczyński. Prioritized component systems. In Proceedings of the Twentieth National Conference on Artificial Intelligence, pages 596–601. AAAI Press, July 2005.
Info
See www.tcs.hut.fi ...
168Markus Koskela and Jorma Laaksonen. Semantic annotation of image groups with Self-Organizing Maps. In Proceedings of 4th International Conference on Image and Video Retrieval (CIVR 2005), pages 518–527, Singapore, July 2005.
Info
167Keijo Heljanko, Tommi Junttila, and Timo Latvala. Incremental and complete bounded model checking for full PLTL. In Kousha Etessami and Sriram K. Rajamani, editors, Proceedings of the 17th International Conference on Computer Aided Verification (CAV'2005), volume 3576 of Lecture Notes in Computer Science, pages 98–111, Edinburgh, Scotland, United Kingdom, July 2005. Springer-Verlag.
Info
See users.ics.tkk.fi ...
166Mikko Kurimo and V. Turunen. Retrieving speech correctly despite the recognition errors. In 2nd Joint Workshop on Multimodal Interaction and Related Machine Learning Algorithms, July 2005.
Info
See groups.inf.ed.ac.uk ...
165Markus Harva, Tapani Raiko, Antti Honkela, Harri Valpola, and Juha Karhunen. Bayes Blocks: An implementation of the variational Bayesian building blocks framework. In Proc. of the 21st Conf. on Uncertainty in Artificial Intelligence (UAI 2005), pages 259–266, Edinburgh, Scotland, July 2005.
Info
164Kristian Kersting and Tapani Raiko. 'say EM' for selecting probabilistic models for logical sequences. In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, UAI 2005, pages 300–307, Edinburgh, Scotland, July 2005.
Info
163Sergey Borisov, Alexander Ilin, Ricardo Vigário, and A. Kaplan. Source localization of low- and high-amplitude alpha activity: A segmental and DSS analysis. In Proceedings of the 11th Annual Meeting of Organization for Human Brain Mapping, Toronto, Canada, June 2005.
Info
162Antti Sorjamaa, Nima Reyhani, and Amaury Lendasse. Input and structure selection for k-NN approximator. In Francisco Sandoval Joan Cabestany, Alberto Prieto, editor, LNCS - Computational Intelligence and Bioinspired Systems - IWANN 2005, volume 3512/2005 of Lecture Notes in Computer Science, pages 985–992. Springer Berlin / Heidelberg, June 2005.
Info
161Petteri Kaski. Algorithms for classification of combinatorial objects. Research Report A94, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2005. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (796 kB)
GZipped PostScript (335 kB)
PDF (446 kB)
Info
See lib.tkk.fi ...
160Angel Barriga, Santiago Sánchez-Solano, Iluminada Baturone, Franciso Moreno-Velo, Piedad Brox, Federico Montesino-Pouzols, Nashaat Hussein, María Brox, and Andrés Gersnoviez. Fuzzy logic activities at the microelectronics institute of seville. In XVI Italian Workshop on Neural Networks (WIRN2005), volume 3391 of Lecture Notes in Computer Science, pages 157–162, Salerno, Italy, June 2005.
Info
159Harri Haanpää and Petteri Kaski. The near resolvable 2-(13, 4, 3) designs and thirteen-player whist tournaments. Designs, Codes and Cryptography, 35(3):271–285, June 2005.
Info
158Catherine Bounsaythip, Erno Lindfors, Peddinti V. Gopalacharyulu, Jaakko Hollmén, and Matej Orešic. Network-based representation of biological data for enabling context-based mining. In Proceedings of KRBIO'05, International Symposium of the Knowledge Representation in Bioinformatics, pages 1–6, June 2005.
Info
157Catherine Bounsaythip, Jaakko Hollmén, Samuel Kaski, and Matej Orešic, editors. Proceedings of KRBIO'05, International Symposium of the Knowledge Representation in Bioinformatics. Helsinki University of Technology, June 2005. Espoo, Finland.
Info
See www.cis.hut.fi ...
156Jarkko Tikka, Jaakko Hollmén, and Amaury Lendasse. Input Selection for Long-Term Prediction of Time Series. In Joan Cabestany, Alberto Prieto, and Francisco Sandoval, editors, Proceedings of the 8th International Work-Conference on Artificial Neural Networks (IWANN 2005), volume 3512 of Lecture Notes in Computer Science, pages 1002–1009. Springer-Verlag, June 2005. Vilanova i la Geltú, Barcelona, Spain.
Info
See dx.doi.org ...
155Jaakko J. Väyrynen and Timo Honkela. Comparison of independent component analysis and singular value decomposition in word context analysis. In Timo Honkela, Ville Könönen, Matti Pöllä, and Olli Simula, editors, Proceedings of AKRR'05, International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning, pages 135–140. Helsinki University of Technology, Laboratory of Computer and Information Science, June 2005.
PostScript (634 kB)
GZipped PostScript (170 kB)
Info
See www.cis.hut.fi ...
154Jorma Laaksonen, Ville Viitaniemi, and Markus Koskela. Emergence of semantic concepts in visual databases. In Proceedings of International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning (AKRR 05), pages 127–134, Espoo, Finland, June 2005.
Info
153Jorma Laaksonen, Ville Viitaniemi, and Markus Koskela. Application of Self-Organizing Maps and automatic image segmentation to 101 object categories database. In Proceedings of Fourth International Workshop on Content-Based Multimedia Indexing (CBMI 2005), Riga, Latvia, June 2005.
Info
152Zhirong Yang and Jorma Laaksonen. Approximated classification in interactive facial image retrieval. In Proceedings of 14th Scandinavian Conference on Image Analysis (SCIA 2005), pages 770–779, Joensuu, Finland, June 2005.
Info
151Keijo Heljanko and Alin Stefanescu. Complexity results for checking distributed implementability. In Jörg Desel and Yosinori Watanabe, editors, Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD'2005), pages 78–87, St Malo, France, June 2005. IEEE Computer Society.
Info
See users.ics.tkk.fi ...
150Pasi Lehtimäki and Kimmo Raivio. A SOM based approach for visualization of GSM network performance data. In Proceedings of The 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE), pages 588–598, Bari, Italy, June 22 - 25 2005.
Info
149Krista Lagus, Esa Alhoniemi, Jeremias Seppä, Antti Honkela, and Paul Wagner. Independent variable group analysis in learning compact representations for data. In Timo Honkela, Ville Könönen, Matti Pöllä, and Olli Simula, editors, Proceedings of the International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning (AKRR'05), pages 49–56, Espoo, Finland, June 2005.
Info
148Mathias Creutz and Krista Lagus. Inducing the morphological lexicon of a natural language from unannotated text. In Proceedings of AKRR'05, International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning, pages 106–113, Espoo, Finland, June 2005.
Info
147Jarkko Tikka, Jaakko Hollmén, and Amaury Lendasse. Input selection for long-term prediction of time series. In Francisco Sandoval Joan Cabestany, Alberto Prieto, editor, Computational Intelligence and Bioinspired Systems: 8th International Workshop on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltra, Barcelona, Spain, volume 3512 of Lecture Notes in Computer Science, pages 1002–1009. Springer-Verlag GmbH, June 2005.
Info
146Yongnan Ji, Jin Hao, Nima Reyhani, and Amaury Lendasse. Direct and recursive prediction of time series using mutual information selection. In J. Cabestany et al., editor, Computational Intelligence and Bioinspired Systems: 8th International Workshop on Artificial Neural Networks, IWANN'05, Vilanova i la Geltra, Barcelona, Spain, volume 3512 of Lecture Notes in Computer Science, pages 1010–1017. Springer-Verlag GmbH, June 8-10 2005.
Info
145Matti Pöllä, Tiina Lindh-Knuutila, and Timo Honkela. Self-refreshing SOM as a semantic memory model. In Proceedings of AKRR'05, International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning, pages 171–174, Espoo, Finland, June 2005.
Info
See www.cis.hut.fi ...
144Nima Reyhani Antti Sorjamaa and Amaury Lendasse. Input and structure selection for k-NN approximator. In Francisco Sandoval Joan Cabestany, Alberto Prieto, editor, LNCS - Computational Intelligence and Bioinspired Systems - IWANN 2005, volume 3512/2005 of Lecture Notes in Computer Science, pages 985–992. Springer Berlin / Heidelberg, June 2005.
Info
143Nima Reyhani Yongnan Ji, Jin Hao and Amaury Lendasse. Direct and recursive prediction of time series using mutual information selection. In Computational Intelligence and Bioinspired Systems: 8th International Workshop on Artificial Neural Networks, IWANN'05, Vilanova i la Geltra, Barcelona, Spain, volume 3512 of Lecture Notes in Computer Science, pages 1010–1017. Springer-Verlag GmbH, June 8-10 2005.
Info
142Oskar Kohonen, Sakari Katajamäki, and Timo Honkela. In search for volta: Statistical analysis of word patterns in shakespeare's sonnets. In Ann Russell, Timo Honkela, Krista Lagus, and Matti Pöllä, editors, Proceedings of AMKLC'05, International Symposium on Adaptive Models of Knowledge, Language and Cognition, pages 44–47, Espoo, Finland, June 2005. Poster.
PDF (396 kB)
Info
See www.cis.hut.fi ...
141Sakari Seitz, Mikko Alava, and Pekka Orponen. Focused local search for random 3-satisfiability. Journal of Statistical Mechanics: Theory and Experiment, P06006:1–27, June 2005.
Info
See dx.doi.org ...
140Jiří Šíma and Satu Elisa Schaeffer. On the np-completeness of some graph cluster measures. Technical Report cs.CC/0506100, arXiv.org e-Print archive, http://arxiv.org/, June 2005.
Info
139Teemu Hirsimäki, Mathias Creutz, Vesa Siivola, and Mikko Kurimo. Morphologically motivated language models in speech recognition. In Proceedings of the International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning (AKRR05), pages 121–126, Espoo, Finland, June 2005.
Info
138Timo Honkela, Ville Könönen, Matti Pöllä, and Olli Simula, editors. Proceedings of AKRR'05, International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning. Helsinki University of Technology, Espoo, Finland, June 2005.
Info
137Ann Russell, Timo Honkela, Krista Lagus, and Matti Pöllä, editors. Proceedings of AMKLC'05, International Symposium on Adaptive Models of Knowledge, Language and Cognition. Helsinki University of Technology, Espoo, Finland, June 2005.
Info
136Misa Keinänen. Obtaining memory efficient solutions to boolean equation systems. In Electronic Notes in Theoretical Computer Science, volume 133, pages 175–191. Elsevier, May 2005.
Info
135Francesco Corona, Stefania Tronci, Paolo Bragatto, Paolo Pittiglio, Alberto Servida, Claudio Codevico, and Roberto Baratti. Application of neural soft sensing techniques to emission monitoring from multiple combustion processes. In Chemical Engineering Transactions: Proceedings of ICHEAP7 International Conference on Chemical and Process Engineering, Giardini di Naxos (Italy), volume 6, pages 167–172. AIDIC, May 15-18 2005.
Info
134Zhirong Yang and Jorma Laaksonen. Interactive retrieval in facial image database using Self-Organizing Maps. In Proceedings of IAPR Conference on Machine Vision Applications (MVA 2005), pages 112–115, Tsukuba Science City, Japan, May 2005.
Info
133Jaana Laiho, Kimmo Raivio, Pasi Lehtimäki, Kimmo Hätönen, and Olli Simula. Advanced analysis methods for 3G cellular networks. IEEE Transactions on Wireless Communications, 4(3):930–942, May 2005.
Info
132Maarit Hietalahti. Cooperation in clustered ad hoc networks. In Proceedings of the 5th Scandinavian Workshop on Wireless Ad-hoc Networks Adhoc'05, Stockholm, Sweden, May 2005.
Info
131Misa Keinänen. Obtaining memory efficient solutions to boolean equation systems. In Electronic Notes in Theoretical Computer Science, volume 133, pages 175–191. Elsevier, May 2005.
Info
130Matti Pöllä. Modeling anticipatory behavior with self-organizing neural networks. Master's thesis, Helsinki University of Technology, Espoo, Finland, May 2005.
Info
See www.cis.hut.fi ...
129Antti Sorjamaa, Amaury Lendasse, and Michel Verleysen. Pruned lazy learning models for time series prediction. In M. Verleysen, editor, ESANN05, European Symposium on Artificial Neural Networks, pages 509–514. d-side publ. (Evere, Belgium), April 27-29 2005.
Info
128Misa Kristian Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, April 2005.
Info
127Mathias Creutz, Krista Lagus, Krister Lindén, and Sami Virpioja. Morfessor and Hutmegs: Unsupervised morpheme segmentation for highly-inflecting and compounding languages. In Proceedings of the Second Baltic Conference on Human Language Technologies, pages 107–112, April 2005.
Info
126Nima Reyhani, Jin Hao, Yongnan Ji, and Amaury Lendasse. Mutual information and gamma test for input selection. In M. Verleysen, editor, ESANN 2005, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 503–508. d-side publ. (Evere, Belgium), April 27-29 2005.
Info
125Misa Kristian Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, April 2005.
Info
124Yongnan Ji Nima Reyhani, Jin Hao and Amaury Lendasse. Mutual information and gamma test for input selection. In ESANN 2005, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 503–504, April 27-29 2005.
Info
123Evan Griffiths and Pekka Orponen. Optimization, block designs and No Free Lunch theorems. Information Processing Letters, 94(2):55–61, April 2005.
Info
See dx.doi.org ...
122Janne Lundberg, Catharina Candolin, and Hannu Kari. Multicast source authentication for limited devices. In Proceedings of International Conference on Automation and Infor mation (ICAI'05), Buenos Aires, Argentina, March 2005.
Info
121Janne Lundberg, Catharina Candolin, and Hannu Kari. Multicast source authentication for limited devices. In Proceedings of International Conference on Automation and Information (ICAI'05), Buenos Aires, Argentina, March 2005.
Info
120Janne Lundberg, Catharina Candolin, and Hannu Kari. Multicast source authentication for limited devices. In Proceedings of International Conference on Automation and Infor mation (ICAI'05), Buenos Aires, Argentina, March 2005.
Info
119Janne Lundberg, Catharina Candolin, and Hannu Kari. Multicast source authentication for limited devices. In Proceedings of International Conference on Automation and Information (ICAI'05), Buenos Aires, Argentina, March 2005.
Info
118Amaury Lendasse, Geoffroy Simon, Vincent Wertz, and Michel Verleysen. Fast bootstrap methodology for regression model selection. Neurocomputing, 64:161–181, March 2005.
Info
See en.scientificcommons.org ...
117Jarkko Ylipaavalniemi. Variability of independent components in functional magnetic resonance imaging. Master's thesis, Helsinki University of Technology, Espoo, Finland, March 2005.
PDF (5 MB)
Info
116Antti Honkela and Harri Valpola. Unsupervised variational Bayesian learning of nonlinear models. In L. Saul, Y. Weiss, and L. Bottou, editors, Advances in Neural Information Processing Systems 17, pages 593–600. MIT Press, Cambridge, MA, USA, 2005. Poster.
Info
See books.nips.cc ...
115Antti Honkela, Tomas Östman, and Ricardo Vigário. Empirical evidence of the linear nature of magnetoencephalograms. In Proc. 13th European Symposium on Artificial Neural Networks (ESANN 2005), pages 285–290, Bruges, Belgium, 2005.
Info
114Antti Honkela. Advances in Variational Bayesian Nonlinear Blind Source Separation. PhD thesis, Helsinki University of Technology, Espoo, Finland, 2005.
Info
113Antti Ukkonen, Mikael Fortelius, and Heikki Mannila. Finding partial orders from unordered 0-1 data. In Proceedings of the 11th ACM Conference on Knowledge Discovery and Data Mining (KDD), pages 285–293. ACM, New York, NY, USA, 2005.
Info
112Janne Lundberg. A Wireless Multicast Delivery Architecture for Mobile Terminals. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
Info
111Misa Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
Info
See www.tcs.hut.fi ...
110Ville Salmensuu. Feasibility of IPsec as a secure mobility management technology.. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
Info
109Lasse Kiviluoto. Sperner capacity of directed graphs. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2005.
Info
108Tommi Vainikainen. Applying graph rewriting to model transformations. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
Info
107Anssi Rajaniemi. Verkkopankin toimintavarmuuden turvaaminen tietoverkon näkökulmasta. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
Info
106Antti Hyvärinen. SATU: A system for distributed propositional satisfiability checking in computational GRIDs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
Info
See www.tcs.hut.fi ...
105Topi Pohjolainen. Model checking a client-server system with a scalable level of concurrency. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
NOTE: Spin and Maria models of the distributed system studied in the thesis are available through the link below.
PostScript (580 kB)
GZipped PostScript (173 kB)
PDF (430 kB)
Info
See www.tcs.hut.fi ...
104Stefano Marinoni. Performance of wireless ad hoc routing protocols — a simulation study in realistic environments. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
PDF (768 kB)
Info
103Tuulia Kullberg. The effect of the access point selection method on reachability between a mobile ad hoc node and a fixed node. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
Info
102Pauli Aho. Extending a generic constraint solver over polymorphic data. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.
Info
101Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Multicast source authentication for limited devices. WSEAS Transactions on Computers, 4(4), 2005.
Info
100Misa Keinänen and Ilkka Niemelä. Solving alternating boolean equation systems in answer set programming. In U. Geske D. Seipel, M. Hanus and O. Bartenstein, editors, Applications of Declarative Programming and Knowledge Management, volume 3392 of Lecture Notes in Computer Science, pages 134–148. Springer-Verlag, 2005.
Info
99Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Multicast source authentication for limited devices. WSEAS Transactions on Computers, 4(4), 2005.
Info
98Kimmo Varpaaniemi. On stubborn sets in the verification of linear time temporal properties. Formal Methods in System Design, 26(1):45–67, January 2005. © 2005 Springer Science + Business Media, Inc. (Norwell, MA, USA; Dordrecht, The Netherlands; Berlin, Germany).
Info
See www.springerlink.com ...
97Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Multicast source authentication for limited devices. WSEAS Transactions on Computers, 4(4), 2005.
Info
96Emilia Oikarinen. CIRC2DLP 1.1 — software for translating parallel circumscription to disjunctive logic programming, 2005. Computer Program.
Info
See www.tcs.hut.fi ...
95Elena Czeizler and Eugen Czeizler. On the power of parallel communicating watson-crick automata systems. Technical Report TUCS 722, University of Turku, Dept. of Mathematics, TUCS, Turku, Finland, 2005.
Info
94Francesco Corona, Stefania Tronci, Paolo Bragatto, Paolo Pittiglio, Alberto Servida, Claudio Codevico, and Roberto Baratti. Application of neural soft sensing techniques to emission monitoring from multiple combustion processes. In AIDIC Conference Series, volume 7, pages 59–66. AIDIC, 2005.
Info
93Harri Haanpää. No 17-player triplewhist tournament has nontrivial automorphisms. Journal of Combinatorial Designs, 13:345–348, 2005.
PDF (74 kB)
Info
92Hannes Heikinheimo. Inferring taxonomic hierarchies from 0-1 data. Master's thesis, Helsinki University of Technology, 2005.
Info
91Matti Järvisalo, Tommi Junttila, and Ilkka Niemelä. Unrestricted vs restricted cut in a tableau method for Boolean circuits. Annals of Mathematics and Artificial Intelligence, 44(4):373–399, 2005.
Info
See dx.doi.org ...
90Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, , and Joost Vennekens, editors. 05171 Abstracts Collection – Nonmonotonic Reasoning, Answer Set Programming and Constraints, number 05171 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005.
Info
See drops.dagstuhl.de ...
89Peddinti V. Gopalacharyulu, Erno Lindfors, Catherine Bounsaythip, Teemu Kivioja, Laxman Yetukuri, Jaakko Hollmén, and Matej Orešic. Data integration and visualization system for enabling conceptual biology. Bioinformatics, 21(Suppl.1):i177–i185, 2005.
Info
See dx.doi.org ...
88Petri Kährä, Jaakko Hollmén, Satu Karling, Jaakko Kujala, Petri Kuosmanen, and Janne Lindqvist. Opinnäytetyön ohjaus teknillisessä korkeakoulussa. Technical Report 28/2005, Metrology Research Institute, Helsinki University of Technology, 2005.
Info
87E. Kettunen, A.G. Nicholson, B. Nagy, J.K. Seppänen, T. Ollikainen, G. Ladas, V. Kinnula, M. Dusmet, S. Nordling, Jaakko Hollmén, D. Kamel, P. Goldstraw, and S. Knuutila. L1CAM, INP10, P-cadherin, tPA and ITGB4 over-expression in malignant pleural mesotheliomas revealed by combined use of cDNA and tissue microarray. Carcinogenesis, 26(1):17–25, 2005.
Info
See dx.doi.org ...
86Jaakko Väyrynen. Learning linguistic features from natural text data by independent component analysis. Master's thesis, Helsinki University of Technology, 2005.
PDF (1 MB)
Info
85Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Multicast source authentication for limited devices. WSEAS Transactions on Computers, 4(4), 2005.
Info
84Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. On discriminative joint density modeling. In Machine Learning: ECML 2005, volume 3720/2005 of Lecture Notes in Computer Science, pages 341–352, Berlin / Heidelberg, 2005. Springer.
PDF (456 kB)
Info
See dx.doi.org ...
83Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Implicit relevance feedback from eye movements. In Artificial Neural Networks: Biological Inspirations – ICANN 2005, volume 3696/2005 of Lecture Notes in Computer Science, pages 513–518, Berlin / Heidelberg, 2005. Springer.
PDF (284 kB)
Info
See dx.doi.org ...
82Kai Puolamäki, Jarkko Salojärvi, Eerika Savia, Jaana Simola, and Samuel Kaski. Combining eye movements and collaborative filtering for proactive information retrieval. In Proceedings of the 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '05), pages 146–153, New York, NY, USA, 2005. ACM.
PDF (594 kB)
Info
See dx.doi.org ...
81Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Expectation maximization algorithms for conditional likelihoods. In Proceedings of the 22nd International Conference on Machine Learning (ICML '05), pages 752–759, New York, NY, USA, 2005. ACM.
PDF (767 kB)
Info
See dx.doi.org ...
80Eerika Savia ja Kai Puolamäki, Janne Sinkkonen, and Samuel Kaski. Two-way latent grouping model for user preference prediction. In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI '05), pages 518–525, 2005.
PDF (224 kB)
Info
See www.cis.hut.fi ...
79Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä. Planning as satisfiability: Parallel plans and algorithms for plan search. Technical Report 216, Institute of Computer Science, University of Freiburg, Freiburg, Germany, 2005.
Info
See users.ics.tkk.fi ...
78Krista Lagus. Miten hermoverkkomallit selittävät kielen oppimista. In A.M. Korpijaakko-Huuhka, S. Pekkala, and H. Heimo, editors, Kielen ja kognition suhde, volume 37. Yliopistopaino, Helsinki, 2005.
Info
77Mathias Creutz and Krista Lagus. Unsupervised morpheme segmentation and morphology induction from text corpora using Morfessor 1.0. Technical Report A81, Publications in Computer and Information Science, Helsinki University of Technology, 2005. http://www.cis.hut.fi/projects/morpho/.
Info
76Kimmo Varpaaniemi. On stubborn sets in the verification of linear time temporal properties. Formal Methods in System Design, 26(1):45–67, January 2005. © 2005 Springer Science + Business Media, Inc. (Norwell, MA, USA; Dordrecht, The Netherlands; Berlin, Germany).
Info
See www.springerlink.com ...
75Laura L. Elo, Leo Lahti, Heli Skottman, Minna Kyläniemi, Riitta Lahesmaa, and Tero Aittokallio. Integrating probe-level expression changes across generations of Affymetrix arrays. Nucl. Acids Res., 33(22):e193, 2005.
Info
See nar.oxfordjournals.org ...
74Jean-Francois Boulicaut, Luc de Raedt, and Heikki Mannila, editors. Constraint-based mining and inductive databases. Springer-Verlag LNCS Volume 3848, ISBN: 3-540-31331-1, Springer 2005, 2005.
Info
73Jouni Seppanen and Heikki Mannila. Boolean formulas and frequent sets. In Constraint-based mining and inductive databases, pages 348–361. Springer-Verlag, 2005.
Info
72David Hand, Heikki Mannila, and Padhraic Smyth. Eksploracja danych. Wydawnictwa Naukowo-Techniczne, 2005. Polish translation of Principles of Data Mining (MIT Press 2001).
Info
71Foto Afrati, Gautam Das, Aristides Gionis, Heikki Mannila, Taneli Mielikainen, and Panayiotis Tsaparas. Mining chains of relations. In ICDM 2005, the Fifth IEEE International Conference on Data Mining, pages 553–556, 2005.
Info
70Spiros Papadimitriou, Aristides Gionis, Panayiotis Tsaparas, R.A. Vaisanen, Heikki Mannila, and C. Faloutsos. Parameter-free spatial data mining using mdl. In ICDM 2005, the Fifth IEEE International Conference on Data Mining, pages 346–353, 2005.
Info
69Pasi Rastas, Mikko Koivisto, Heikki Mannila, and Esko Ukkonen. A hidden markov technique for haplotype reconstruction. In Algorithms in Bioinformatics: 5th International Workshop, WABI 2005, pages 140–151. Springer, 2005.
Info
68Saara Hyvonen, Heli Junninen, Lauri Laakso, Mika Dal Maso, T. Gronholm, B. Bonn, P. Keronen, P. Aalto, V. Hiltunen, T. Pohja, S. Launiainen, Pentti Hari, Heikki Mannila, and M. Kulmala. A look at aerosol formation using data mining techniques. Atmos. Chem. Phys., 5:3345–3356, 2005.
Info
67Antti Ukkonen, M. Fortelius, and Heikki Mannila. Finding partial orders from unordered 0-1 data. In Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 285–293, 2005.
Info
66Aristides Gionis, Heikki Mannila, and Panayiotis Tsaparas. Clustering aggregation. In 21st International Conference on Data Engineering (ICDE), pages 341–352, 2005.
Info
65M. Salmenkivi and Heikki Mannila. Piecewise constant modeling of sequential data using reversible jump markov chain monte carlo. In Data Mining in Bioinformatics, pages 85–103. Springer, 2005.
Info
64M. Salmenkivi and Heikki Mannila. Using markov chain monte carlo and dynamic programming for event sequence data. Knowl. Inf. Syst., 7(3):267–288, 2005.
Info
63Mikko Kurimo, V. Turunen, and I. Ekman. Speech Transcription and Spoken Document Retrieval in Finnish, pages 253–262. Springer, Berlin, 2005.
Info
62J.H.L. Hansen, R. Huang, B. Zhou, M. Seadle, J.R. Deller Jr., A.R. Gurijala, Mikko Kurimo, and P. Angkititrakul. Speechfind: Advances in spoken document retrieval for a national gallery of the spoken word. IEEE Transactions on Speech and Audio Processing, 13(5):712–730, 2005.
Info
61Harri Haanpää, Matti Järvisalo, Petteri Kaski, and Ilkka Niemelä. SAT benchmarks based on 3-regular graphs, 2005. SAT Competition 2005 benchmark description. Benchmark set available at http://www.tcs.hut.fi/%7Emjj/benchmarks/. SAT Competition 2005 results available through http://www.satcompetition.org/2005/.
PostScript (246 kB)
GZipped PostScript (109 kB)
PDF (142 kB)
Info
60Misa Keinänen and Ilkka Niemelä. Solving alternating boolean equation systems in answer set programming. In U. Geske D. Seipel, M. Hanus and O. Bartenstein, editors, Applications of Declarative Programming and Knowledge Management, volume 3392 of Lecture Notes in Computer Science, pages 134–148. Springer-Verlag, 2005.
Info
59Wlodzislaw Duch, Janusz Kacprzyk, Erkki Oja, and Slawomir Zadrozny, editors. Artificial Neural Networks: Biological Inspirations - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I, volume 3696 of Lecture Notes in Computer Science. Springer, 2005.
Info
58Wlodzislaw Duch, Janusz Kacprzyk, Erkki Oja, and Slawomir Zadrozny, editors. Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II, volume 3697 of Lecture Notes in Computer Science. Springer, 2005.
Info
57Zhijian Yuan and Erkki Oja. Projective nonnegative matrix factorization for image compression and feature extraction. In SCIA, pages 333–342, 2005.
Info
56Oskar Kohonen. Generering av naturligt språk från emergenta representationer. Master's thesis, Helsinki University of Technology, Espoo, Finland, 2005.
PostScript (23 MB)
GZipped PostScript (1 MB)
Info
55Patrik Floréen, Petteri Kaski, Jukka Kohonen, and Pekka Orponen. Lifetime maximization for multicasting in energy-constrained wireless networks. IEEE Journal on Selected Areas in Communications, 23(1):117–126, January 2005.
Info
See dx.doi.org ...
54Pekka Orponen and Satu Elisa Schaeffer. Local clustering of large graphs by approximate Fiedler vectors. In S. Nikoletseas, editor, Proceedings of the 4th International Workshop on Efficient and Experimental Algorithms (WEA'05, Santorini, Greece, May 2005), volume 3503 of Lecture Notes in Computer Science, pages 524–533, Berlin Heidelberg, 2005. Springer-Verlag.
Info
See dx.doi.org ...
53Sakari Seitz, Mikko Alava, and Pekka Orponen. Threshold behaviour of WalkSAT and focused Metropolis search on random 3-satisfiability. In F. Bacchus and T. Walsh, editors, Proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing (SAT'05, St. Andrews, Scotland, June 2005), volume 3569 of Lecture Notes in Computer Science, pages 475–481, Berlin Heidelberg, 2005. Springer-Verlag.
Info
See dx.doi.org ...
52Panagiotis Papapetrou, George Kollios, Stan Sclaroff, and Dimitrios Gunopulos. Discovering frequent arrangements of temporal intervals. In Proceedings of the IEEE International Conference on Data Mining (ICDM). IEEE, 2005.
Info
51Petteri Kaski and Patric R. J. Östergård. One-factorizations of regular graphs of order 12. Electronic Journal of Combinatorics, 12:R2, 2005.
Info
See www.combinatorics.org ...
50Petteri Kaski. Isomorph-free exhaustive generation of designs with prescribed groups of automorphisms. SIAM Journal on Discrete Mathematics, 19(3):664–690, 2005.
Info
See dx.doi.org ...
49Petteri Kaski. Nonexistence of perfect Steiner triple systems of orders 19 and 21. Bayreuther Mathematische Schriften, 74:130–135, 2005. Proceedings of ALCOMA05, April 3–10, Thurnau, Germany.
Info
See www.tcs.hut.fi ...
48Tapani Raiko and Matti Tornio. Learning nonlinear state-space models for control. In Proc. Int. Joint Conf. on Neural Networks (IJCNN'05), pages 815–820, Montreal, Canada, 2005.
Info
47S. Borisov, A. Illin, R. Vigário, A. Kaplan, and E. Oja. Does low- and high-amplitude segments of alpha activity belongs to different sources: studying of EEG using both segmental analysis and DSS. In Proc. of 11th Annual Meeting of the Organization for Human Brain Mapping (HBM'05), Toronto, Canada, 2005.
Info
46Catherine Bounsaythip, Jaakko Hollmén, Samuel Kaski, and Matej Orešic, editors. Proceedings of KRBIO05, Symposium on Knowledge Representation in Bioinformatics. Helsinki University of Technology, Espoo, Finland, 2005.
Info
45Samuel Kaski. From learning metrics towards dependency exploration. In Proceedings of WSOM'05, 5th Workshop On Self-Organizing Maps, pages 307–314, Paris, 2005.
Info
44Samuel Kaski. Proactive information retrieval by monitoring eye movements. In Abstracts of BrainIT, The Second International Conference on Brain-Inspired Information Technology, page 28, Kitakuyshu, Japan, 2005. Kyushu Institute of Technology. Abstract of an invited talk.
Info
43Samuel Kaski, Petri Myllymäki, and Ilpo Kojo. User models from implicit feedback for proactive information retrieval. In Colin de la Higuera and Thierry Artières, editors, Proceedings of Workshop 4 of the 10th International Conference on User Modeling; Machine Learning for User Modeling: Challenges, pages 25–26, 2005.
Info
42Samuel Kaski and Janne Nikkilä. Dependency exploration in computational systems biology. In Tiina Manninen, Marja-Leena Linne, and Olli Yli-Harja, editors, Proceedings of The 3rd TICSP Workshop on Computational Systems Biology, TICSP Series #29, pages 49–50, Tampere, Finland, 2005. Tampere University of Technology.
Info
41Samuel Kaski and Janne Nikkilä. Of mice and men and yeast, and dependency exploration. CSCnews, Information Technology for Science in Finland, N/A(4):24–26, 2005.
Info
40Samuel Kaski, Janne Nikkil?and Eerika Savia, and Christophe Roos. Discriminative clustering of yeast stress response. In Udo Seiffert, Lakhmi Jain, and Patric Schweizer, editors, Bioinformatics using Computational Intelligence Paradigms, pages 75–92, Berlin, 2005. Springer.
Info
39Samuel Kaski, Janne Nikkilä, Janne Sinkkonen, Leo Lahti, Juha Knuuttila, and Christophe Roos. Associative clustering for exploring dependencies between functional genomics data sets. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2(3):203–216, 2005.
Info
38Samuel Kaski, Eerika Savia, and Kai Puolamäki. Predicting binding of transcriptional regulators with a two-way latent grouping model. Poster in ISMB 2005, the 13th Annual International Conference on Intelligent Systems for Molecular Biology, Detroit, Michigan, June 25-29, 2005.
Info
See www.iscb.org ...
37Samuel Kaski, Janne Sinkkonen, and Arto Klami. Discriminative clustering. Neurocomputing, 69:18–41, 2005.
Info
36Arto Klami and Samuel Kaski. Non-parametric dependent components. In Proceedings of ICASSP 2005, IEEE International Conference on Acoustics, Speech, and Signal Processing, pages V–209–V–212. IEEE, 2005.
Info
35Arto Klami, Janne Nikkilä, Christophe Roos, and Samuel Kaski. Extracting yeast stress genes by dependencies between stress treatments, 2005. Abstract in web, http://tinyurl.com/98kcx.
Info
34Janne Nikkilä, Tapio Rinnet, Antti Ajanki, and Samuel Kaski. Stress in yeast knockout experiments. In ICSB 2005, 6th International Conference on Systems Biology, abstract proceedings, page 249, 2005. Poster abstract.
Info
33Janne Nikkilä, Christophe Roos, and Samuel Kaski. Integration of transcription factor binding and gene expression by associative clustering. In Catherine Bounsaythip, Jaakko Hollmén, Samuel Kaski, and Matej Orešic, editors, Proceedings of KRBIO05, Symposium on Knowledge Representation in Bioinformatics, pages 22–29, Espoo, Finland, 2005. Helsinki University of Technology.
Info
32Janne Nikkilä, Christophe Roos, Eerika Savia, and Samuel Kaski. Explorative modeling of yeast stress response and its regulation with gCCA and associative clustering. International Journal of Neural Systems, 15(4):237–246, 2005.
Info
See dx.doi.org ...
31Merja Oja, Göran O. Sperber, Jonas Blomberg, and Samuel Kaski. Self-organizing map-based discovery and visualization of human endogenous retroviral sequence groups. International Journal of Neural Systems, 15:163–180, 2005.
Info
30Jaakko Peltonen and Samuel Kaski. Discriminative components of data. IEEE Transactions on Neural Networks, 16:68–83, 2005. Preprint pdf at http://www.cis.hut.fi/projects/mi/papers/tnn04_preprint.pdf.
Info
See dx.doi.org ...
29Kai Puolamäki, Jarkko Salojärvi, Eerika Savia, Jaana Simola, and Samuel Kaski. Combining eye movements and collaborative filtering for proactive information retrieval. In Gary Marchionini, Alistair Moffat, John Tait, Ricardo Baeza-Yates, and Novio Ziviani, editors, Proceedings of SIGIR 2005, Twenty-Eighth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pages 146–153, New York, NY, 2005. ACM.
Info
See www.cis.hut.fi ...
28Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. On discriminative joint density modeling. In Jo? Gama, Rui Camacho, Pavel Brazdil, Al?io Jorge, and Lu? Torgo, editors, Proceedings of ECML 2005, 16th European Conference on Machine Learning, pages 341–352, Berlin, 2005. Springer.
Info
27Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Expectation maximization algorithms for conditional likelihoods. In Luc De Raedt and Stefan Wrobel, editors, Proceedings of ICML 2005, the 22nd International Conference on Machine Learning, pages 753–760, New York, NY, 2005. ACM Press.
Info
26Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Implicit relevance feedback from eye movements. In Włodzisław Duch, Janusz Kacprzyk, Erkki Oja, and Sławomir Zadrozny, editors, Artificial Neural Networks: Biological Inspirations — ICANN 2005, volume I, pages 513–518, Berlin, 2005. Springer.
Info
25Eerika Savia, Kai Puolamäki, Janne Sinkkonen, and Samuel Kaski. Two-way latent grouping model for user preference prediction. In Fahiem Bachus and Tommi Jaakkola, editors, Proceedings of UAI 2005, Uncertainty in Artificial Intelligence, pages 518–525, Corvallis, OH, 2005. AUAI Press.
Info
See www.cis.hut.fi ...
24Jarkko Venna and Samuel Kaski. Visualized atlas of a gene expression databank. In Catherine Bounsaythip, Jaakko Hollmén, Samuel Kaski, and Matej Orešic, editors, Proceedings of KRBIO05, Symposium on Knowledge Representation in Bioinformatics, pages 30–36, Espoo, Finland, 2005. Helsinki University of Technology.
Info
23Jarkko Venna and Samuel Kaski. Local multidimensional scaling with controlled tradeoff between trustworthiness and continuity. In Proceedings of WSOM'05, 5th Workshop On Self-Organizing Maps, pages 695–702, Paris, 2005.
Info
22Satu Elisa Schaeffer. Stochastic local clustering for massive graphs. In T. B. Ho, D. Cheung, and H. Liu, editors, Proceedings of the Ninth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-05), volume 3518 of Lecture Notes in Computer Science, pages 354–360, BerlinHeidelberg, Germany, 2005. Springer-Verlag GmbH.
Info
21Sven Laur, Helger Lipmaa, and Taneli Mielikäinen. Private itemset support counting.. In Sihan Qing, Wenbo Mao, Javier Lopez, and Guilin Wang, editors, Information and Communications Security, 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings, volume 3783 of Lecture Notes in Computer Science, pages 97–111. Springer, 2005.
Info
See dx.doi.org ...
20Sven Laur and Helger Lipmaa. Additive conditional disclosure of secrets and applications. Cryptology ePrint Archive, Report 2005/378, 2005. Techical report.
Info
See eprint.iacr.org ...
19Sven Laur, N. Asokan, and Kaisa Nyberg. Efficient mutual data authentication using manually authenticated strings: Preliminary version. Cryptology ePrint Archive, Report 2005/424, 2005. Shorter more compact version was published at CANS 2006.
Info
See eprint.iacr.org ...
18Mikko Berg, Jan-Henrik Schleimer, Jaakko Särelä, and Timo Honkela. Category learning by formation of regions in conceptual spaces. In Lorenzo Magnani and Riccardo Dossena, editors, Computation, Philosophy, and Cognition, pages 381–396. College Publications, London, UK, 2005.
Info
See www.cis.hut.fi ...
17Tarja Knuuttila and Timo Honkela. Questioning external and internal representation; the case of scientific models. In Lorenzo Magnani and Riccardo Dossena, editors, Computation, Philosophy, and Cognition, pages 209–226. College Publications, London, UK, 2005.
Info
16Timo Honkela. Von Foerster meets Kohonen - approaches to artificial intelligence, cognitive science and information systems development. Kybernetes, 31(1/2):40–53, 2005.
Info
See www.cis.hut.fi ...
15Timo Honkela, Aapo Hyvärinen, and Jaakko Väyrynen. Emergence of linguistic features: Independent component analysis of contexts. In Modeling Language Cognition and Action: Proceedings of the NCPW9, Ninth Neural Computation and Psychology Workshop, pages 129–138, New Jersey, 2005. World Scientific.
Info
See www.cis.hut.fi ...
14Ann Nowé, Timo Honkela, Ville Könönen, and Katja Verbeeck, editors. Proceedings of the Workshop W9 on Reinforcement Learning in Nonstationary Environments. Vrije Universiteit Brussel, Porto, Portugal, 2005. in conjunction with the 16th ECML and 9th PKDD, Oct. 3-7, 2005.
Info
13Timo Honkela, Kevin Hynnä, Krista Lagus, and Jaakko Särelä. Adaptive and statistical approaches in conceptual modeling. Technical Report A75, Helsinki University of Technology, 2005.
Info
12Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple is better: Efficient bounded model checking for past LTL. In Radhia Cousot, editor, Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France, volume 3385 of Lecture Notes in Computer Science, pages 380–395. Springer, January 2005.
Info
11Tommi Junttila. Nusmv-2.2.3-cav2005. Computer program, 2005.
Info
See www.tcs.hut.fi ...
10Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. An incremental and layered procedure for the satisfiability of linear arithmetic logic. In Nicolas Halbwachs and Lenore D. Zuck, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), volume 3440 of Lecture Notes in Computer Science, pages 317–333. Springer, 2005.
Info
9Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, and Roberto Sebastiani. Efficient satisfiability modulo theories via delayed theory combination. In Kousha Etessami and Sriram K. Rajamani, editors, CAV 2005, volume 3576 of Lecture Notes in Computer Science, pages 335–349. Springer, 2005.
Info
8Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. The MathSAT 3 system. In Robert Nieuwenhuis, editor, Automated Deduction – CADE-20, volume 3632 of Lecture Notes in Artificial Intelligence, pages 315–321. Springer, 2005.
Info
7Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. MathSAT: Tight integration of SAT and mathematical decision procedures. In Enrico Giunchiglia and Toby Walsh, editors, SAT 2005; Satisfiability Research in the Year 2005, pages 265–293. Springer, 2005. Reprint of the same article in the number 1-3 of volume 25 of the Journal of Automated Reasoning, 2005.
Info
6Toni Jussila, Keijo Heljanko, and Ilkka Niemelä. BMC via on-the-fly determinization. International Journal on Software Tools for Technology Transfer, 7(2):89 – 101, 2005.
Info
See www.tcs.hut.fi ...
5Tiina Lindh-Knuutila. Simulating the emergence of a shared conceptual system in a multi-agent environment. Master's thesis, Helsinki University of Technology, 2005.
Info
See www.cis.hut.fi ...
4Ville Nuorvala and Antti Tuominen. MIPL Mobile IPv6 for Linux, version 2.0 rc3, 2005.
Info
See www.mobile-ipv6.org ...
3Ville Nuorvala, Henrik Petander, and Antti Tuominen. MIPL Mobile IPv6 for Linux, version 2.0 rc2, 2005.
Info
See www.mobile-ipv6.org ...
2Ville Nuorvala. NEPL NEmo Platform for Linux, version 0.1, 2005.
Info
See www.mobile-ipv6.org ...
1Zhijian Yuan and Erkki Oja. Projective nonnegative matrix factorization for image compression and feature extraction. In 14th Scandinavian Conference on Image Analysis, volume 3540, pages 333–342. Springer, 2005.
Info