Publications in 2003

179Heikki Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Research Report A83, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003.
NOTE: Reprint of Licentiate's thesis.
PostScript (2 MB)
GZipped PostScript (717 kB)
PDF (1 MB)
Info
178Johan Wallén. On the differential and linear properties of addition. Research Report A84, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003.
NOTE: Reprint of Master's thesis.
PostScript (1 MB)
GZipped PostScript (402 kB)
PDF (493 kB)
Info
177Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Research Report A85, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (961 kB)
GZipped PostScript (350 kB)
PDF (472 kB)
Info
See www.tcs.hut.fi ...
176Tommi Syrjänen. Logic programming with cardinality constraints. Research Report A86, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (403 kB)
PDF (654 kB)
Info
See www.tcs.hut.fi ...
175Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Amsterdam, Netherlands, December 2003.
Info
174Mikko Kurimo and Krista Lagus. Retrieving a user language model from an unsupervised document map. In Machine Learning Meets the User Interface, A workshop at NIPS 2003, Whistler, Canada, December 2003.
Info
173Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Amsterdam, Netherlands, December 2003.
Info
172Seppo Ovaska, Olli Vainio, and Matti Pöllä. Adaptive filtering using multiplicative general parameters for zero-crossing detection. IEEE Transactions on Industrial Electronics, 50(6):1340–1342, December 2003.
Info
171Jiří Šíma and Pekka Orponen. General purpose computation with neural networks: A survey of complexity theoretic results. Neural Computation, 15(12):2727–2778, December 2003.
Info
See neco.mitpress.org ...
170Timo Honkela and Juha Winter. Simulating language learning in community of agents using self-organizing maps. Computer and Information Science Report A71, Helsinki University of Technology, Helsinki, Finland, December 2003.
Info
See www.cis.hut.fi ...
169Marko Mäkelä. Efficient computer-aided verification of parallel and distributed software systems. Research Report A81, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2003. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (966 kB)
GZipped PostScript (391 kB)
PDF (681 kB)
Info
See lib.hut.fi ...
168Tomi Janhunen. Translatability and intranslatability results for certain classes of logic programs. Research Report A82, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2003.
PostScript (1 MB)
GZipped PostScript (445 kB)
PDF (674 kB)
Info
167Catharina Candolin. Privacy issues in network-centric warfare. In Proceedings of the 4th Australian Information Warfare & IT Security Conference, Adelaide, Australia, November 2003.
Info
166Catharina Candolin. Privacy issues in network-centric warfare. In Proceedings of the 4th Australian Information Warfare & IT Security Conference, Adelaide, Australia, November 2003.
Info
165Ilkka Niemelä. Answer set programming: an approach to declarative problem solving. In Proceedings of the Eighth Scandinavian Conference on Artificial Intelligence, pages 189–191, Bergen, Norway, November 2003. IOS Press. Extended abstract of a key note talk.
Info
164J. Saarela, Jaakko Hollmén, D. Chen, P. Tainola, A. Jokiaho, A. Palotie, Heikki Mannila, and L. Peltonen. Inheritance of expression profiles: A family based analysis reveals higher similarity in the gene expression profiles of related individuals. In Poster presentation at the Annual Meeting of thre American Society of Human Genetics (ASHG), November 2003.
Info
163Simon Dablemont, Geoffroy Simon, Amaury Lendasse, Alain Ruttiens, and Michel Verleysen. Financial time series forecasting by double SOM maps and local RBF models forecasting the DAX30 index. In ACSEG 2003, Rencontre Internationale sur les Approches Connexionnistes en Sciences Economiques et de Gestion, Nantes (France), pages 153–164, November 20-21 2003.
Info
162Damien François, Amaury Lendasse, Benoit Gailly, Vincent Wertz, and Michel Verleysen. Are business plans usefull for investors ?. In ACSEG 2003, Connectionist Approaches in Economics and Management Sciences, Nantes (France), pages 239–249, November 20-21 2003.
Info
161Michel Verleysen and Amaury Lendasse. Le test des méthodes neuronales – ou comment utiliser les techniques de rééchantillonnage pour ne pas se tromper de résultat. In ACSEG 2003 proceedings - Connectionist Approaches in Economics and Management Sciences, Nantes (France), pages 515–534, November 20-21 2003.
Info
160Pekka Orponen. Tietotekniikkaa ennen tietokoneita — Alan Turing ja tietotekniikan kiehtovat alkuvaiheet. Tietoa, pages 4–6, November 2003.
Info
See users.ics.aalto.fi ...
159Satu Elisa Virtanen. Clustering the Chilean web. In Proceedings of the First Latin American Web Congress, pages 229–231, Los Alamitos, CA, USA, November 2003. IEEE Computer Society.
Info
158Catharina Candolin and Hannu H. Kari. An architecture for context aware management. In Proceedings of IEEE MILCOM 2003, Boston, Massachusetts, USA, October 2003.
Info
157Catharina Candolin and Hannu H. Kari. An architecture for context aware management. In Proceedings of IEEE MILCOM 2003, Boston, Massachusetts, USA, October 2003.
Info
156Ilkka Pyysiainen, Marjaana Lindeman, and Timo Honkela. Counterintuitiveness as the hallmark of religiosity. Religion, 33(4):341–355, October 2003.
Info
See www.sciencedirect.com ...
155Toni Jussila. Daa - a BMC tool translating LTSs to boolean circuits, October 2003. http://www.tcs.hut.fi/ tjussila/daa.
Info
See www.tcs.hut.fi ...
154Tommi Junttila. On the symmetry reduction method for Petri nets and similar formalisms. Research Report A80, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2003. Doctoral dissertation.
PostScript (3 MB)
GZipped PostScript (1 MB)
PDF (1 MB)
Info
See lib.hut.fi ...
153Janne Lundberg and Catharina Candolin. Hierarchical multicast caching. In Proceedings of IEEE 9th Asia-Pacific conference on communications, Penang, Malaysia, September 2003.
Info
152Janne Lundberg and Catharina Candolin. Hierarchical multicast caching. In Proceedings of IEEE 9th Asia-Pacific conference on communications, Penang, Malaysia, September 2003.
Info
151Federico Montesino-Pouzols. Internet multimedia systems architecture/arquitectura de los sistemas multimedia de internet. Boletín de la Red Nacional de I+D RedIRIS, 1(65):23–32, September 2003.
Info
See www.rediris.es ...
150Jorma Laaksonen, Markus Koskela, and Erkki Oja. Probability interpretation of distributions on SOM surfaces. In Proceedings of Workshop on Self-Organizing Maps (WSOM'03), pages 77–82, Hibikino, Kitakyushu, Japan, September 2003.
Info
149Ville Viitaniemi and Jorma Laaksonen. Content-based browsing of mail-order catalogue with PicSOM system. In Proceedings of the Ninth International Conference on Distributed Multimedia Systems / The 2003 Conference on Visual Information Systems (VIS'2003), pages 381–386, Miami, FL, USA, September 2003.
Info
148Simon Dablemont, Geoffroy Simon, Amaury Lendasse, Alain Ruttiens, François Blayo, and Michel Verleysen. Time series forecasting with SOM and local non-linear models - application to the DAX30 index prediction. In Proceedings of the Workshop on Self-organizing Maps, pages 340–345, Hibikino, Japan, September 11-14 2003.
Info
147Geoffroy Simon, Amaury Lendasse, Marie Cottrell, Jean-Claude Fort, and Michel Verleysen. Double SOM for long-term time series prediction. In WSOM 2003, Workshop on Self-Organizing Maps, pages 35–40, Hibikino, Japan, September 11-14 2003.
Info
146Geoffroy Simon, Amaury Lendasse, Marie Cottrell, and Michel Verleysen. Long-term time series forecasting using self-organizing maps: the double vector quantization method. In ANNPR 2003, Artificial Neural Networks in Pattern Recognition, Florence (Italy), pages 8–14, September 12-13 2003.
Info
145Jiří Šíma and Pekka Orponen. Exponential transients in continuous-time Liapunov systems. Theoretical Computer Science, 306(1–3):353–372, September 2003.
Info
See dx.doi.org ...
144Mika Sulkava and Jaakko Hollmén. Finding profiles of forest nutrition by clustering of the self-organizing map. In Proceedings of the Workshop on Self-Organizing Maps (WSOM'03), pages 243–248, Kitakyushu, Japan, September 2003.
PDF (145 kB)
Info
143Juha Vesanto, Mika Sulkava, and Jaakko Hollmén. On the decomposition of the self-organizing map distortion measure. In Proceedings of the Workshop on Self-Organizing Maps (WSOM'03), pages 11–16, Kitakyushu, Japan, September 2003.
PDF (409 kB)
Info
142Vesa Siivola, Teemu Hirsimäki, Mathias Creutz, and Mikko Kurimo. Unlimited vocabulary speech recognition based on morphs discovered in an unsupervised manner. In Proceedings of the 8th European Conference on Speech Communication and Technology (EUROSPEECH), pages 2293–2296, Geneva, Switzerland, September 2003.
Info
141Tomi Janhunen. A counter-based approach to translating normal logic programs into sets of clauses. In Marina de Vos and Alessandro Provetti, editors, Answer Set Programming: Advances in Theory and Implementation, pages 166–180, Messina, Sicily, September 2003. CEUR. http://ceur-ws.org/Vol-78/.
Info
See ceur-ws.org ...
140Janne Lundberg and Catharina Candolin. Mobility in the host identity protocol (hip). In Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan, Iran, August 2003.
Info
139Janne Lundberg and Catharina Candolin. Mobility in The Host Identity Protocol (HIP). In Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan, Iran, August 2003.
Info
138Janne Lundberg and Catharina Candolin. Mobility in the host identity protocol (hip). In Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan, Iran, August 2003.
Info
137Gerd Brewka, Ilkka Niemelä, and Mirosław Truszczyński. Answer set optimization. In Proceedings of the 18th International Joint Conference on Artificial Intelligence, pages 867–872. Morgan Kaufmann Publishers, August 2003.
Info
See www.tcs.hut.fi ...
136Janne Lundberg and Catharina Candolin. Mobility in The Host Identity Protocol (HIP). In Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan, Iran, August 2003.
Info
135Kristian Kersting, Tapani Raiko, and Luc De Raedt. A structural GEM for learning logical hidden markov models. In S. Dzeroski, L. De Raedt, and S. Wrobel, editors, Working notes of the Second KDD-Workshop on Multi-Relational Data Mining, MRDM-03, Washington DC, USA, August 2003.
Info
134Heikki Tauriainen. Nested emptiness search for generalized Büchi automata. Research Report A79, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, July 2003.
PostScript (507 kB)
GZipped PostScript (239 kB)
PDF (226 kB)
Info
133Catharina Candolin and Hannu Kari. Ad hoc network routing based on incomplete trust. In Proceedings of The 7th Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, USA, July 2003.
Info
132Petri Puhakainen, Catharina Candolin, and Hannu H. Kari. Using adaptive decision making based on incomplete trust in electronic commerce. In Proceedings of the 7th WSEAS International Conference on Communications (ICCON), Corfu, Greece, July 2003.
Info
131Miika Komu, Mika Kousa, Janne Lundberg, and Catharina Candolin. An implementation of hip for linux. In Proceedings of Ottawa Linux Symposium, Ottawa, Canada, July 2003.
Info
130Catharina Candolin and Hannu Kari. Ad hoc network routing based on incomplete trust. In Proceedings of The 7th Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, USA, July 2003.
Info
129Petri Puhakainen, Catharina Candolin, and Hannu H. Kari. Using adaptive decision making based on incomplete trust in electronic commerce. In Proceedings of the 7th WSEAS International Conference on Communications (ICCON), Corfu, Greece, July 2003.
Info
128Ilkka Niemelä. Answer set programming: From model computation to problem solving. In Proceedings of CADE-19 Workshop on Model Computation — Principles, Algorithms, Applications, Miami, Florida, USA, July 2003. Extended abstract of an invited talk.
Info
See www.cs.miami.edu ...
127Miika Komu, Mika Kousa, Janne Lundberg, and Catharina Candolin. An implementation of hip for linux. In Proceedings of Ottawa Linux Symposium, Ottawa, Canada, July 2003.
Info
126Mika Rummukainen, Jorma Laaksonen, and Markus Koskela. An efficiency comparison of two content-based image retrieval systems, GIFT and PicSOM. In Proceedings of International Conference on Image and Video Retrieval (CIVR 2003), volume 2728, pages 500–509, Urbana, IL, USA, July 2003. Springer Verlag.
Info
125Toni Jussila, Keijo Heljanko, and Ilkka Niemelä. BMC via on-the-fly determinization. In Proceedings of the 1st International Workshop on Bounded Model Checking, volume 89 of ENTCS, Boulder, CO, USA, July 2003.
PostScript (479 kB)
GZipped PostScript (212 kB)
Info
124Petteri Kaski. A census of Steiner triple systems and some related combinatorial objects. Research Report A78, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2003.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (879 kB)
GZipped PostScript (364 kB)
PDF (452 kB)
Info
See www.tcs.hut.fi ...
123Kimmo Varpaaniemi, editor. Annual report for the year 2002. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, June 2003.
PostScript (659 kB)
GZipped PostScript (276 kB)
PDF (387 kB)
Info
122Catharina Candolin. A study of infrastructure warfare in relation to information warfare, net warfare, and network-centric warfare. In Proceedings of the 2nd European Conference on Information Warfare (ECIW'03), Reading, UK, June 2003.
Info
121Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Support for transparent multicast content distribution to mobile wireless clients. In Proceedings of the 2003 International Conference on Wireless Networks (ICWN 2003), Las Vegas, Nevada, USA, June 2003.
Info
120Marko Mäkelä. Model checking safety properties in modular high-level nets. In Wil M.P. van der Aalst and Eike Best, editors, Application and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, number 2679 in Lecture Notes in Computer Science, pages 201–220, Eindhoven, The Netherlands, June 2003. Springer-Verlag, Berlin, Germany.
Info
See link.springer.de ...
119Catharina Candolin. A study of infrastructure warfare in relation to information warfare, net warfare, and network-centric warfare. In Proceedings of the 2nd European Conference on Information Warfare (ECIW'03), Reading, UK, June 2003.
Info
118Salla Ruosaari and Jaakko Hollmén. Identifying differentially expressed genes. In Proceedings of the TICSP Workshop on Computational Systems Biology, Tampere, Finland, June 2003.
Info
117Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Support for transparent multicast content distribution to mobile wireless clients. In Proceedings of the 2003 International Conference on Wireless Networks (ICWN 2003), Las Vegas, Nevada, USA, June 2003.
Info
116Mats Sjöberg, Jorma Laaksonen, and Ville Viitaniemi. Using image segments in PicSOM CBIR system. In Proceedings of 13th Scandinavian Conference on Image Analysis (SCIA 2003), volume 2749, pages 1106–1113, Halmstad, Sweden, June/July 2003. Springer Verlag. Available online at http://www.springerlink.com/content/65xgpgqc9cjquqcl/.
PDF (149 kB)
Info
115Markus Koskela, Jorma Laaksonen, and Erkki Oja. Inter-query relevance learning in PicSOM for content-based image retrieval. In Supplementary Proceedings of 13th International Conference on Artificial Neural Networks / 10th International Conference on Neural Information Processing (ICANN/ICONIP 2003), pages 520–523, Istanbul, Turkey, June 2003.
Info
114Tuomo Pyhälä and Keijo Heljanko. Specification coverage aided test selection. In Johan Lilius, Felice Balarin, and Ricardo J. Machado, editors, Proceeding of the 3rd International Conference on Application of Concurrency to System Design (ACSD'2003), pages 187–195, Guimaraes, Portugal, June 2003. IEEE Computer Society.
Info
See users.ics.tkk.fi ...
113Pasi Lehtimäki, Kimmo Raivio, and Olli Simula. Self-organizing operator maps in complex system analysis. In Proceedings of the Joint 13th International Conference on Artificial Neural Networks and 10th International Conference on Neural Information Processing, pages 622–629, Istanbul, Turkey, June 26-29 2003.
Info
112Geoffroy Simon, Amaury Lendasse, and Michel Verleysen. Bootstrap for model selection: Linear approximation of the optimism. In J.R. Alvarez J. Mira, editor, IWANN 2003, International Work-Conference on Artificial and Natural Neural Networks, Mao, Menorca (Spain), volume 2686–1 of Lecture Notes in Computer Science, pages 182–189. Springer-Verlag, June 3-6 2003.
Info
111Amaury Lendasse, Vincent Wertz, and Michel Verleysen. Model selection with cross-validations and bootstraps - application to time series prediction with RBFN models. In O. Kaynak, E. Alpaydin, E. Oja, and L. Xu, editors, ICANN 2003, Joint International Conference on Artificial Neural Networks, Istanbul (Turkey), volume 2714 of Lecture Notes in Computer Science, pages 573–580. Springer-Verlag, June 26-29 2003.
Info
See www.springerlink.com ...
110Dimitrios Gunopulos, Roni Khardon, Heikki Mannila, Sanjeev Saluja an Hannu Toivonen, and Ram Sewak Sharma. Discovering all most specific sentences. ACM Transactions on Database Systems, 28(2):140 – 174, June 2003.
Info
109K. Hacioglu, B. Pellom, T. Ciloglu, O. Ozturk, Mikko Kurimo, and M. Creutz. Word splitting for turkish lvcsr. In Turkish Signal Processing Conference (SIU 2003), June 2003.
Info
108Marko Mäkelä. Model checking safety properties in modular high-level nets. In Wil M.P. van der Aalst and Eike Best, editors, Application and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, number 2679 in Lecture Notes in Computer Science, pages 201–220, Eindhoven, The Netherlands, June 2003. Springer-Verlag, Berlin, Germany.
PDF (427 kB)
Info
See link.springer.de ...
107Janne Sinkkonen, Janne Nikkilä, Leo Lahti, and Samuel Kaski. Associative clustering by maximizing a Bayes factor. Publications in Computer and Information Science A68, Helsinki University of Technology, Espoo, Finland, June 2003.
Info
106Mika Sulkava. Identifying spatial and temporal profiles from forest nutrition data. Master's thesis, Helsinki University of Technology, Espoo, Finland, June 2003.
PDF (1 MB)
Info
105Satu Virtanen. Properties of nonuniform random graph models. Research Report A77, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2003.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (2 MB)
GZipped PostScript (731 kB)
PDF (1 MB)
Info
See www.tcs.hut.fi ...
104Emilia Oikarinen. Logiikkaohjelmien ekvivalenssitestaus. In Ari Korhonen and Jorma Tarhio, editors, Tietojenkäsittelytieteen päivät 2003, pages 44–47, Espoo, Finland, May 2003. Yliopistopaino. In Finnish.
Info
103Salla Ruosaari and Jaakko Hollmén. Identifying differentially expressed genes with bootstrap-based testing. In Proceedings of Bioinformatics 2003, Helsinki, Finland, May 2003.
Info
102H. Wikman, K. Salmenkivi, J. Seppänen, E. Kettunen, K. Vainio-Siukola, Jaakko Hollmén, A. Karjalainen, S. Knuutila, and S. Anttila. Down-regulation of caveolin 1 and caveoliln 2 in lung cancer revealed by the combined use of cDNA and tissue microarrays. In Poster presentation at the ESF Program in functional genomics: 1st European Conference, Prague, Czech Republic, May 2003.
Info
101Matti Pöllä. Comparison of predictive FIR-based zero-crossing detection methods. In Proceedings of FINSIG'03 – 2003 Finnish Signal Processing Symposium, pages 87–90, Tampere, Finland, May 2003.
Info
See www.cis.hut.fi ...
100Toni Jussila. Otf - a BMC tool translating LTSs to boolean circuits, May 2003.
Info
See www.tcs.hut.fi ...
99Alexander Ilin and Harri Valpola. On the effect of the form of the posterior approximation in variational learning of ICA models. In Proceedings of the 4th International Conference on Independent Component Analysis and Blind Signal Separation (ICA 2003), pages 915–920, Nara, Japan, April 2003.
Info
98Catharina Candolin and Hannu Kari. Distributing incomplete trust in wireless ad hoc networks. In Proceedings of IEEE Southeastcon 2003, Ocho Rios, St. Ann, Jamaica, April 2003.
Info
97Catharina Candolin and Hannu Kari. Distributing incomplete trust in wireless ad hoc networks. In Proceedings of IEEE Southeastcon 2003, Ocho Rios, St. Ann, Jamaica, April 2003.
Info
96Mikko Katajamaa and Jaakko Hollmén. Simulation model for gene expression data. In Rainer Spang, Patricia Béziat, and Martin Vingron, editors, Currents in Computational Molecular Biology 2003, pages 249–250, April 2003. Poster presentation at the Seventh Annual International Conference on Research in Computational Molecular Biology — RECOMB 2003.
Info
95Markus Koskela and Jorma Laaksonen. Using long-term learning to improve efficiency of content-based image retrieval. In Proceedings of Third International Workshop on Pattern Recognition in Information Systems (PRIS 2003), pages 72–79, Angers, France, April 2003.
Info
94Geoffroy Simon, Amaury Lendasse, Vincent Wertz, and Michel Verleysen. Fast approximation of the bootstrap for model selection. In M. Verleysen, editor, ESANN 2003, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 99–106. d-side publ. (Evere, Belgium), April 23-25 2003.
Info
93Kimmo Raivio, Olli Simula, Jaana Laiho, and Pasi Lehtimäki. Analysis of mobile radio access network using the self-organizing map. In Proceedings of the International Symposium on Integrated Network Management, pages 439–451, Colorado Springs, Colorado, USA, March 24 - 28 2003.
Info
92Damien François, Benoit Gailly, Amaury Lendasse, Vincent Wertz, and Michel Verleysen. Should seed investors read business plans?. In 22th Benelux Meeting on Systems and Control, Lommel, Belgium, March 19-21 2003.
Info
91Amaury Lendasse, Geoffroy Simon, Vincent Wertz, and Michel Verleysen. Fast bootstrap for model structure selection. In 22th Benelux Meeting on Systems and Control, Lommel, Belgium, page 81, March 19-21 2003.
Info
90Jiří Šíma and Pekka Orponen. Continuous-time symmetric Hopfield nets are computationally universal. Neural Computation, 15(3):693–733, March 2003.
Info
See neco.mitpress.org ...
89Satu Elisa Virtanen. Properties of nonuniform random graph models. Licentiate thesis, Helsinki University of Technology, Department of Computer Science and Engineering, March 2003.
Info
88Tomi Janhunen. Evaluating the effect of semi-normality on the expressiveness of defaults. Artificial Intelligence, 144(1–2):233–250, March 2003.
Info
See dx.doi.org ...
87Kimmo Varpaaniemi. Towards ambitious approximation algorithms in stubborn set optimization. Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV), 54(2–3):279–294, February 2003. IOS Press, Amsterdam, The Netherlands.
Errata 
Info
See iospress.metapress.com ...
86Kimmo Varpaaniemi. Towards ambitious approximation algorithms in stubborn set optimization. Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV), 54(2–3):279–294, February 2003. IOS Press, Amsterdam, The Netherlands.
Errata 
Info
See iospress.metapress.com ...
85Antti Honkela and Harri Valpola. On-line variational Bayesian learning. In Proc. of the 4th Int. Symp. on Independent Component Analysis and Blind Signal Separation (ICA2003), pages 803–808, Nara, Japan, 2003. Poster.
Info
84Antti Honkela, Harri Valpola, and Juha Karhunen. Accelerating cyclic update algorithms for parameter estimation by pattern searches. Neural Processing Letters, 17(2):191–203, 2003.
Info
See dx.doi.org ...
83Harri Valpola, Erkki Oja, Alexander Ilin, Antti Honkela, and Juha Karhunen. Nonlinear blind source separation by variational Bayesian learning. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E86-A(3):532–541, 2003.
Info
82Vesa Siivola and Antti Honkela. A state-space method for language modeling. In IEEE Workshop on Automatic Speech Recognition and Understanding, pages 548–553, 2003. Poster.
Info
81Harri Valpola, Antti Honkela, Markus Harva, Alexander Ilin, Tapani Raiko, and Tomas Östman. Bayes Blocks software library, 2003.
Info
See www.cis.hut.fi ...
80Arto Klami. Regularized discriminative clustering. Master's thesis, Helsinki University of Technology, 2003.
Info
79Satu Virtanen. Properties of Nonuniform Random Graph Models. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
See www.tcs.hut.fi ...
78Yki Kortesniemi. Managing the usage of authorisation certificates. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
77Teemu Tynjälä. Combining abstractions and reachability analysis: a case study of RLC protocol. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
76Heikki Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
See www.tcs.hut.fi ...
75Tommi Syrjänen. Logic programming with cardinality constraints. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
See www.tcs.hut.fi ...
74Tuomo Pyhälä. Specification-based test selection in formal conformance testing. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
See www.tcs.hut.fi ...
73Shuqin Li-Kokko. An SPKI based secure multicast architecture with copyright protection. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
72Antti Järvinen. Smart card based configuration and authentication in mobile IPv6. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
71Teemu Vainio. The applicability of Bluetooth in ad hoc networks. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
70Niyue Chen. Enterprise portal as the enterprise integration solution. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
69Johan Wállen. On the differential and linear properties of addition. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.
Info
See www.tcs.hut.fi ...
68Nikolaj Cankar. Model based testing using UML. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2003.
Info
67Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2003.
Info
See www.tcs.hut.fi ...
66Evan Griffiths. Limit lemmas and jump inversion in the enumeration degrees. Archive for Mathematical Logic, 42(6), 2003.
Info
65Annikka Aalto, Nisse Husberg, and Kimmo Varpaaniemi. Automatic formal model generation and analysis of SDL. In Rick Reed and Jeanne Reed, editors, SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1–4, 2003, Proceedings, volume 2708 of Lecture Notes in Computer Science, pages 285–299. Springer-Verlag, Berlin, Germany, 2003. © Springer-Verlag Berlin Heidelberg 2003.
Info
See users.tkk.fi ...
64Kimmo Varpaaniemi. Modelling and analysing a PLC-based railway traffic control system. In Ludwik Czaja, editor, Concurrency, Specification and Programming: Proceedings of the CS&P'2003 Workshop, Czarna k. Ustrzyk Dolnych, Poland, September 25–27, 2003, Volume 2, pages 539–549. Zakład Graficzny UW, zam. 591/2003, Warsaw, Poland, 2003.
Info
63Johan Wallén. Linear approximations of addition modulo . In Fast Software Encryption 2003, volume 2887 of Lecture Notes in Computer Science, pages 261–273. Springer-Verlag, 2003.
Info
62Emilia Oikarinen. DLPEQ 1.9 — a tool for testing the equivalence of disjunctive logic programs, 2003. Computer Program.
Info
See www.tcs.hut.fi ...
61Harri Haanpää and Patric R. J. Östergård. Classification of whist tournaments with up to 12 players. Discrete Applied Mathematics, 129:399–407, 2003.
Info
See lib.hut.fi ...
60Juha Tiihonen, Timo Soininen, Ilkka Niemelä, and Reijo Sulonen. A practical tool for mass-customising configurable products. In Proceedings of the 14th International Conference on Engineering Design, pages 1290–1299, 2003.
Info
59Jaakko Hollmén, Jouni K. Seppänen, and Heikki Mannila. Mixture models and frequent sets: combining global and local methods for 0-1 data. In Daniel Barbará and Chandrika Kamath, editors, Proceedings of the Third SIAM International Conference on Data Mining, pages 289–293. Society of Industrial and Applied Mathematics, 2003.
Info
58Johan Wallén. Linear approximations of addition modulo . In Fast Software Encryption 2003, volume 2887 of Lecture Notes in Computer Science, pages 261–273. Springer-Verlag, 2003.
Info
57Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. Poster in Machine Learning Meets User Interface, a workshop at NIPS 2003, 2003. Poster.
Info
56Tuomo Pyhälä and Keijo Heljanko. Bomotest: A formal conformance testing tool, version 1.5. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2003. Software.
Info
See www.tcs.hut.fi ...
55Keijo Heljanko and Ilkka Niemelä. Bounded LTL model checking with stable models. Theory and Practice of Logic Programming, 3(4&5):519–550, 2003. Also available as (CoRR: arXiv:cs.LO/0305040).
Info
See users.ics.tkk.fi ...
54Annikka Aalto, Nisse Husberg, and Kimmo Varpaaniemi. Automatic formal model generation and analysis of SDL. In Rick Reed and Jeanne Reed, editors, SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1–4, 2003, Proceedings, volume 2708 of Lecture Notes in Computer Science, pages 285–299. Springer-Verlag, Berlin, Germany, 2003. © Springer-Verlag Berlin Heidelberg 2003.
Info
See users.tkk.fi ...
53Kimmo Varpaaniemi. Modelling and analysing a PLC-based railway traffic control system. In Ludwik Czaja, editor, Concurrency, Specification and Programming: Proceedings of the CS&P'2003 Workshop, Czarna k. Ustrzyk Dolnych, Poland, September 25–27, 2003, Volume 2, pages 539–549. Zakład Graficzny UW, zam. 591/2003, Warsaw, Poland, 2003.
PostScript (252 kB)
GZipped PostScript (75 kB)
PDF (192 kB)
Info
52Amaury Lendasse, Damien François, Vincent Wertz, and Michel Verleysen. Nonlinear time series prediction by weighted vector quantization. In P.M.A. Sloot et al., editor, Computational Science — ICCS 2003, volume 2657–1 of Lecture Notes in Computer Science, pages 417–426. Springer Berlin / Heidelberg, January 2003.
Info
See www.springerlink.com ...
51Amaury Lendasse, John A. Lee, Eric de Bodt, Vincent Wertz, and Michel Verleysen. Approximation by Radial-Basis Function networks - Application to option pricing, volume 6 of Advances in Computational Management Science, C. Lesage and M. Cottrell editors, chapter 10 in Connectionist Approaches in Economics and Management Sciences, pages 203–214. Kluwer academic, 2003.
Info
See citeseerx.ist.psu.edu ...
50Amaury Lendasse. Analyse et prédiction de séries temporelles par méthodes non linéaires: Application à des données industrielles et financières. PhD thesis, Université catholique de Louvain, 2003.
Info
49Leo Lahti. Comparative functional genome analysis using associative clustering. Master's thesis, Helsinki University of Technology, 2003. (in Finnish).
Info
48Dmitry Pavlov, Heikki Mannila, and Padhraic Smyth. Beyond independence: probabilistic methods for query approximation on binary transaction data. IEEE Trans. Knowl. Data Eng, 15(6):1409–1421, 2003.
Info
47Aristides Gionis, Teija Kujala, and Heikki Mannila. Fragments of order. In ACM SIGKDD 2003, pages 129–136, 2003.
Info
46A. Leino, Heikki Mannila, and R.-L. Pitkanen. Rule discovery and probabilistic modeling for onomastic data. In PKDD 2003, pages 291–302, 2003.
Info
45Taneli Mielikainen and Heikki Mannila. The pattern ordering problem. In PKDD 2003, pages 327–338, 2003.
Info
44Jouni Seppanen, Ella Bingham, and Heikki Mannila. A simple algorithm for topic identification in 0-1 data. In PKDD 2003, pages 423–434, 2003.
Info
43Aristides Gionis and Heikki Mannila. Finding recurrent sources in sequences. In ACM ReCOMB 2003, pages 123–130, 2003.
Info
42K. Hacioglu, B. Pellom, T. Ciloglu, O. Ozturk, Mikko Kurimo, and M. Creutz. On lexicon creation for turkish lvcsr. In 8th European Conference on Speech Communication and Technology (Eurospeech), pages 1165–1168, 2003.
Info
41Markku-Juhani O. Saarinen. Cryptanalysis of block ciphers based on SHA1 and MD5. In Joan Daemen and Vincent Rijmen, editors, Fast Software Encryption, 10th International Workshop, FSE 2003, Lund, Sweden, February 24–26, 2003, Revised Papers, volume 2887 of Lecture Notes in Computer Science, pages 36–44. Springer, 2003.
Info
40Okyay Kaynak, Ethem Alpaydin, Erkki Oja, and Lei Xu, editors. Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings, volume 2714 of Lecture Notes in Computer Science. Springer, 2003.
Info
39Matti Aksela, Ramunas Girdziusas, Jorma Laaksonen, Erkki Oja, and Jari Kangas. Methods for adaptive combination of classifiers with application to recognition of handwritten characters. IJDAR, 6(1):23–41, 2003.
Info
38Maria Funaro, Erkki Oja, and Harri Valpola. Independent component analysis for artefact separation in astrophysical images. Neural Networks, 16(3-4):469–478, 2003.
Info
37Te-Won Lee, Jean-Francois Cardoso, Erkki Oja, and Shun ichi Amari. Introduction to special issue on independent components analysis. Journal of Machine Learning Research, 4:1175–1176, 2003.
Info
36Sakari Seitz and Pekka Orponen. An efficient local search method for random 3-satisfiability. In Lefteris M. Kirousis and Evangelos Kranakis, editors, Proceedings of the IEEE LICS'03 Workshop on Typical Case Complexity and Phase Transitions (Ottawa, Canada, June 2003), volume 16 of Electronic Notes in Discrete Mathematics, Amsterdam, 2003. Elsevier.
Info
See dx.doi.org ...
35Pekka Orponen. Mitä tietojenkäsittelyteoriaan kuuluu?. Tietojenkäsittelytiede, 19:15–28, 2003.
Info
See users.ics.aalto.fi ...
34Patrik Floréen, Petteri Kaski, Jukka Kohonen, and Pekka Orponen. Multicast time maximization in energy constrained wireless networks. In Andrea Richa and Jennifer Welch, editors, Proceedings of the 2003 Joint Workshop on Foundations of Mobile Computing (DIALM-POMC'03, San Diego CA, September 2003), pages 50–58, New York NY, 2003. Association for Computing Machinery.
Info
See doi.acm.org ...
33Panagiotis Papapetrou. Discovering aggregate usage profiles using clustering methods. B.Sc. Thesis, 2003.
Info
32Petteri Kaski, Luis B. Morales, Patric R. J. Östergård, David A. Rosenblueth, and Carlos Velarde. Classification of resolvable 2-(14,7,12) and 3-(14,7,5) designs. Journal of Combinatorial Mathematics and Combinatorial Computing, 47:65–74, 2003.
Info
31Kristian Kersting, Tapani Raiko, Stefan Kramer, and Luc De Raedt. Towards discovering structural signatures of protein folds based on logical hidden markov models. In Proceedings of the Pacific Symposium on Biocomputing, PSB-2003, pages 192–203, Kauai, Hawaii, January 2003.
Info
30Tapani Raiko, Harri Valpola, Tomas Östman, and Juha Karhunen. Missing values in hierarchical nonlinear factor analysis. In Proc. of the Int. Conf. on Artificial Neural Networks and Neural Information Processing (ICANN/ICONIP 2003), pages 185–189, Istanbul, Turkey, 2003.
Info
29J. Särelä and R. Vigário. A bayesian approach to overlearning in ICA: a comparison study. Technical Report A70, Helsinki University of Technology, Publications in Computer and Information Science, 2003.
Info
28J. Särelä and R. Vigário. Overlearning problem in high-order ICA: analysis and solutions. Journal of Machine Learning Research, 4:1447–1469, 2003.
Info
27R. Vigário, A. Ziehe, K.-R. Müller, G. Wübbeler, L. Trahms, B.-M. Mackert, G. Curio, V. Jousmäki, J. Särelä, and E. Oja. Blind decomposition of multimodal evoked responses and DC fields. In Exploratory Analysis and Data Modeling in Functional Neuroimaging, pages 163–191. Cambridge, MA: MIT Press, 2003.
Info
26R. Vigário and O. Jensen. Identifying cortical sources of corticomuscle coherence during bimanual muslce contraction by temporal decorrelation. In Proc. of the 7th Int. Symp. on Signal Proc. and its Applications (ISSPA'03), pages 109–112, Paris, France, 2003.
Info
25Samuel Kaski. Discriminative clustering. In Bulletin of the International Statistical Institute. Invited Paper Proceedings of the 54th Session, volume 2, pages 270–273. International Statistical Institute, 2003.
Info
24Samuel Kaski and Janne Nikkil?and Teuvo Kohonen. Methods for exploratory cluster analysis. In P. S. Szczepaniak, J. Segovia, J. Kacprzyk, and L. A. Zadeh, editors, Intelligent Exploration of the Web, pages 136–151, Heidelberg, 2003. Physica-Verlag.
Info
23Samuel Kaski, Janne Nikkilä, Merja Oja, Jarkko Venna, Petri Törönen, and Eero Castrén. Trustworthiness and metrics in visualizing similarity of gene expression. BMC Bioinformatics, 4(48), 2003.
Info
22Samuel Kaski and Jaakko Peltonen. Informative discriminant analysis. In Tom Fawcett and Nina Mishra, editors, Proceedings of ICML-2003, the Twentieth International Conference on Machine Learning, pages 329–336, Menlo Park, CA, 2003. AAAI Press.
Info
See www.cis.hut.fi ...
21Samuel Kaski and Janne Sinkkonen. Discriminative clustering: Vector quantization in learning metrics. In M. Schader, W. Gaul, and M. Vichi, editors, Between Data Science and Applied Data Analysis, pages 456–463, Berlin, 2003. Springer.
Info
20Samuel Kaski, Janne Sinkkonen, and Arto Klami. Regularized discriminative clustering. In Christophe Molina, Tülay Adali, Jan Larsen, Marc Van Hulle, Scott Douglas, and Jean Rouat, editors, Neural Networks for Signal Processing XIII, pages 289–298, New York, NY, 2003. IEEE. Poster.
Info
19Janne Nikkilä, Christophe Roos, Janne Sinkkonen, and Samuel Kaski. Associative clustering to find dependencies between expression profiles and transcription factor binding. In Catherine Christophe, Hans-Peter Lenhof, and Marie-France Sagot, editors, Proceedings of ECCB'2003, European Conference on Computational Biology, pages 433–434, 2003.
Info
18Merja Oja, Samuel Kaski, and Teuvo Kohonen. Bibliography of self-organizing map (SOM) papers: 1998–2001 addendum. Neural Computing Surveys, 3:1–156, 2003. Available in electronic form at http://www.soe.ucsc.edu/NCS/.
Info
17Merja Oja, Panu Somervuo, Samuel Kaski, and Teuvo Kohonen. Clustering of human endogenous retrovirus sequences with median self-organizing map. In Proceedings of WSOM'03, Workshop on Self-Organizing Maps, pages 134–139, Kitakyushu, Japan, 2003. Kyushu Institute of Technology. (Proceedings on CD-ROM).
Info
16Jaakko Peltonen, Arto Klami, and Samuel Kaski. Learning metrics for information visualization. In Proceedings of WSOM'03, Workshop on Self-Organizing Maps, pages 213–218, Kitakyushu, Japan, 2003. Kyushu Institute of Technology. (Proceedings on CD-ROM).
Info
See www.cis.hut.fi ...
15Jarkko Salojärvi, Samuel Kaski, and Janne Sinkkonen. Discriminative clustering in Fisher metrics. In O. Kaynak, E. Alpaydin, E. Oja, and L. Xu, editors, Artificial Neural Networks and Neural Information Processing—Supplementary proceedings ICANN/ICONIP, pages 161–164, 2003.
Info
14Jarkko Salojärvi, Ilpo Kojo, Jaana Simola, and Samuel Kaski. Can relevance be inferred from eye movements in information retrieval?. In Proceedings of WSOM'03, Workshop on Self-Organizing Maps, pages 261–266, Kitakyushu, Japan, 2003. Kyushu Institute of Technology. (Proceedings on CD-ROM).
Info
13Jarkko Saloj?vi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. In Machine Learning Meets the User Interface, A workshop at NIPS 2003, 2003. (2-page abstract).
Info
12Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. Publications in Computer and Information Science A73, Helsinki University of Technology, Espoo, Finland, 2003.
Info
11Jarkko Venna and Samuel Kaski. Visualizing high-dimensional posterior distributions in Bayesian modeling. In Artificial Neural Networks and Neural Information Processing—Supplementary proceedings ICANN/ICONIP, pages 165–168, 2003.
Info
10Jarkko Venna, Samuel Kaski, and Jaakko Peltonen. Visualizations for assessing convergence and mixing of MCMC. In N. Lavrac, D. Gamberger, H. Blockeel, and L. Todorovski, editors, Proceedings of ECML-2003, 14th European Conference on Machine Learning, pages 432–443, Berlin, 2003. Springer. Preprint postscript at http://www.cis.hut.fi/projects/mi/papers/ecml03.ps.gz.
Info
See dx.doi.org ...
9Timo Honkela, Kevin I. Hynnä, and Tarja Knuuttila. Framework for modeling partial conceptual autonomy of adaptive and communicating agents. In Proceedings of Cognitive Science Conference, Boston, MA, 2003.
Info
See www.cis.hut.fi ...
8Timo Honkela, Jukka Honkela, Mikko Myyryläinen, and Ville Tuulos. Adaptive and visual map interface for document collections. In Adjunct Proceedings of Human-Computer Interaction International, pages 119–120, 2003.
Info
7Timo Honkela, Mikko Kurimo, Krista Lagus, Vuokko Lantz, and Erkki Oja. Unsupervised learning in human-computer interfaces. In Adjunct Proceedings of Human-Computer Interaction International, pages 121–122, 2003.
Info
6Timo Latvala. scheck1.1. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2003. Software.
Info
See www.tcs.hut.fi ...
5Timo Latvala. Efficient model checking of safety properties. In T. Ball and S. Rajamani, editors, Model Checking Software. 10th International SPIN Workshop, pages 74–88. Springer, 2003.
Info
See link.springer.de ...
4Tomi Janhunen and Patrik Simons. GnT 2 — A tool for computing stable models for disjunctive logic programs. http://www.tcs.hut.fi/Software/gnt/, 2003. Computer Program.
Info
See www.tcs.hut.fi ...
3Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. http://arxiv.org/abs/cs.AI/0303009, 2003. To appear in ACM Transactions on Computational Logic.
Info
See arxiv.org ...
2Ville Nuorvala, Henrik Petander, and Antti Tuominen. MIPL Mobile IPv6 for Linux, version 1.0, 2003.
Info
See www.mobile-ipv6.org ...
1Ville Nuorvala. IPv6-in-IPv6 tunnel, 2003.
Info
See www.kernel.org ...