|
39 | Jussi Rintanen. Priorities and nonmonotonic reasoning. Research Report A28, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1993. |
|
|
38 | Kari J. Nurmela. Constructing combinatorial designs by local search. Research Report A27, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1993. |
|
|
37 | Kimmo Varpaaniemi. Efficient detection of deadlocks in Petri nets. Research Report A26, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1993. |
|
|
36 | Ilkka Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic logic. In Automated Deduction in Nonstandard Logics — Papers from the 1993 Fall Symposium, pages 97–104, Raleigh, NC, USA, October 1993. AAAI Press. |
|
|
35 | Kimmo Raivio and Teuvo Kohonen. Detection of nonlinearly distorted and two-path propagated signals using a neural network based equalizer. In XIX Convention on Radio Science, Abstract of Papers, pages 11–12, Espoo, Finland, October 25-26 1993. |
|
|
34 | Patric R. J. Östergård. Construction methods for covering codes. Research Report A25, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, September 1993. Doctoral dissertation. |
|
|
33 | Mikko Kurimo. Using LVQ to enhance semi-continuous hidden Markov models for phonemes. In Proceedings of 3rd European Conference on Speech Communication and Technology (EUROSPEECH), volume 3, pages 1731–1734, Berlin, Germany, September 1993. |
|
|
32 | Timo Honkela. Neural nets that discuss: a general model of communication based on self-organizing maps. In S. Gielen and B. Kappen, editors, Proceedings of ICANN'93, International Conference on Artificial Neural Networks, pages 408–411, Amsterdam, the Netherlands, September 1993. Springer-Verlag, London. |
|
|
31 | Ilkka Niemelä. Autoepistemic logic as a unified basis for nonmonotonic reasoning. Research Report A24, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1993. Doctoral dissertation. |
|
|
30 | Ilkka Niemelä. Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning. PhD thesis, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1993. |
|
|
29 | Tomi Janhunen and Ilkka Niemelä. A scheme for weakened negative introspection in autoepistemic reasoning. In Georg Gottlob, Alexander Leitsch, and Daniele Mundici, editors, Computational Logic and Proof Theory, Proceedings of the Third Kurt Gödel Colloquium, KGC'93, pages 211–222, Brno, Czech Republic, August 1993. Springer Verlag. LNCS 713. |
|
|
28 | Johan Lilius. A sheaf semantics for Petri nets. Research Report A23, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1993. |
|
|
27 | Peter Grönberg, Mikko Tiusanen, and Kimmo Varpaaniemi. PROD – a PrT–net reachability analysis tool. Technical Report B11, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1993. |
|
|
26 | Patric R. J. Östergård and Heikki O. Hämäläinen. New upper bounds for binary/ternary mixed covering codes. Research Report A22, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1993. |
|
|
25 | Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Research Report A21, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1993. |
|
|
24 | Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Series A: Research reports 21, Helsinki University of Technology, Digital Systems Laboratory, February 1993. Master's Thesis. |
|
|
23 | Kari J. Nurmela and Patric R. J. Östergård. Constructing covering designs by simulated annealing. Technical Report B10, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, January 1993. |
|
|
22 | Jussi Rintanen. Priorities and Nonmonotonic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
21 | Kimmo Varpaaniemi. Efficient Detection of Deadlock in Petri Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
20 | Sam Sandqvist. On Finding Optimal Potential Customers from a Large Marketing Database – A Genetic Algorithm Approach. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
19 | Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
18 | Kari Nurmela. Constructing combinatorial designs by local search. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
17 | Jorma Paananen. Tietokantakäyttöliittymän toteutus kahdessa graafisessa ympäristössä. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
16 | Juha-Pekka Patinen. An interactive theorem prover for linear logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
15 | Olavi Pesonen. Tehdasmalli konepajan työsuunnittelussa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
14 | Kim Sandström. Värinkodistuksen estimointi tavanomaisen painojäljen videokuvasta. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
13 | Kimmo Varpaaniemi. On choosing a scapegoat in the stubborn set method. In Hans-Dieter Burkhard, Peter H. Starke, and Ludwik Czaja, editors, Workshop: Concurrency, Specification & Programming, November 19–21, 1992, pages 163–171. Informatik-Preprint 22, Fachbereich Informatik der Humboldt-Universität zu Berlin, Germany, 1993. |
|
|
12 | Ilkka Niemelä. Logiikka tietämyskielenä. In E. Hyvönen, I. Karanta, and M. Syrjänen, editors, Tekoälyn ensyklopedia, pages 116–124. Gaudeamus, 1993. |
|
|
11 | Kimmo Raivio. Detection of nonlinearly distorted and multipath propagated signals using Self-Organizing Maps. Licentiate's thesis, Helsinki University of Technology, Espoo, Finland, 1993. |
|
|
10 | Kimmo Varpaaniemi. On choosing a scapegoat in the stubborn set method. In Hans-Dieter Burkhard, Peter H. Starke, and Ludwik Czaja, editors, Workshop: Concurrency, Specification & Programming, November 19–21, 1992, pages 163–171. Informatik-Preprint 22, Fachbereich Informatik der Humboldt-Universität zu Berlin, Germany, 1993. |
|
|
9 | V. Estivill-Castro, Heikki Mannila, and D. Wood. Right invariant metrics and measures of presortedness. Discrete Applied Mathematics, 42:1–16, 1993. |
|
|
8 | P. Kilpeläinen and Heikki Mannila. Retrieval from hierarchical texts using partial patterns. In ACM SIGIR '93: Proceedings of the 16th Annual International Conference on Research and Development in Information Retrieval, pages 214–222, 1993. |
|
|
7 | Samuel Kaski. Hermoverkkomalleissa tapahtuvaan kilpailuoppimiseen liittyvät mekanismit (Mechanisms connected with competitive learning in neural network models). Master's thesis, Helsinki University of Technology, 1993. (In Finnish). |
|
|
6 | Karin Portin, Riitta Salmelin, and Samuel Kaski. Analysis of magnetoencephalographic data with self-organizing maps. In T. Kuusela, editor, Proceedings of the XXVII Annual Conference of the Finnish Physical Society, page 15.2, Turku, 1993. Finnish Physical Society. Report TURKU-SFL-R5, Department of Applied Physics, University of Turku. |
|
|
5 | Samuel Kaski and Sirkka-Liisa Joutsiniemi. Monitoring EEG signal with the self-organizing map. In Stan Gielen and Bert Kappen, editors, Proceedings of the International Conference on Artificial Neural Networks (ICANN93), Amsterdam, September 13-16, pages 974–977, London, 1993. Springer-Verlag. |
|
|
4 | Lauri Carlson and Timo Honkela. Encyclopedia on Artificial Intelligence (in Finnish), chapter Natural Language Processing (in Finnish), pages 233–243. Gaudeamus, 1993. |
|
|
3 | Timo Honkela and Tuomas Sandholm. Encyclopedia on Artificial Intelligence (in Finnish), chapter Machine Learning (in Finnish), pages 244–255. Gaudeamus, 1993. |
|
|
2 | Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, January 1993. |
|
|
1 | Kimmo Varpaaniemi, Johannes Helander, Tomi Janhunen, Ismo Kangas, Kari Nurmela, Kenneth Oksanen, Olavi Pesonen, Marko Rauhamaa, James Reilly, Heikki Suonsivu, Kimmo Valkealahti, Pauli Väisänen, Peter Grönberg, Jaakko Halme, Kari Hiekkanen, Tino Pyssysalo, and Mikko Tiusanen. PROD 1.1 — A Pr/T reachability analysis tool.. http://www.tcs.hut.fi/Software/prod/, 1993. Computer Program. |
|
