homepage TUCS

TUCS Technical Reports

| 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 |

Show results in bibliographic format

69 Technical Reports in 2004
Zebra Factorizations in Free Semigroups
Ehrenfeucht, Andrzej and Harju, Tero and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1296-9
Technical Report Number 587
A Combinatorial View on Gene Assembly
Harju, Tero
Discrete Mathematics for Information Technology
ISBN 952-12-1297-7
Technical Report Number 588
The Commutation with Ternary Sets of Words
Karhumäki, Juhani and Latteux, Michel and Petre, Ion
Discrete Mathematics for Information Technology
ISBN 952-12-1302-7
Technical Report Number 589
Efficient Implementation of Stochastic Multicriteria Acceptability Analysis
Lahdelma, Risto and Tervonen, Tommi
Algorithmics
ISBN 952-12-1304-3
Technical Report Number 590
A Weighting FCM Algorithm for Clusterization of Companies as to their Financial Performances
Alcaraz Garcia, Francisco Augusto and Costea, Adrian
Data Mining and Knowledge Management
ISBN 952-12-1308-6
Technical Report Number 591
Equality Sets for Recursively Enumerable Languages
Halava, Vesa and Harju, Tero and Hoogeboom, Hendrik Jan and Latteux, Michel
Discrete Mathematics for Information Technology
ISBN 952-12-1309-4
Technical Report Number 592
Remarks on the Universality of Splicing Systems
Harju, Tero and Margenstern, Maurice
Discrete Mathematics for Information Technology
ISBN 952-12-1310-8
Technical Report Number 593
Games-based Controller Synthesis for Discrete Systems
Back, Ralph-Johan and Cerschi Seceleanu, Cristina
Software Construction
ISBN 952-12-1313-2
Technical Report Number 594
Characterization of Infinite Solutions of Marked and Binary Post Correspondence Problems
Halava, Vesa and Harju, Tero and Karhumäki, Juhani
Discrete Mathematics for Information Technology
ISBN 952-12-1314-0
Technical Report Number 595
Refinement of Recursive Procedures with Parameters in PVS
Preoteasa, Viorel
Software Construction
ISBN 952-12-1319-1
Technical Report Number 596
An Energy Consumption Model for Java Virtual Machine
Lafond, Sébastien and Lilius, Johan
Embedded Systems
ISBN 952-12-1320-5
Technical Report Number 597
An Efficient Linear Model and Optimization Algorithm for Trigeneration
Rong, Aiying and Lahdelma, Risto
Algorithmics
ISBN 952-12-1321-3
Technical Report Number 598
A Case Study in Balanced Software Process Development
Johnson, Mathias
Embedded Systems
ISBN 952-12-1326-4
Technical Report Number 599
Undecidability in Matrices over Laurent Polynomials
Halava, Vesa and Harju, Tero
Discrete Mathematics for Information Technology
ISBN 952-12-1327-2
Technical Report Number 600
On the Injectivity of Parikh Matrix Mappings
Salomaa, Arto
ISBN 952-12-1328-0
Technical Report Number 601
On the Equation xk = z1k1z2k2…znkn in a Free Semigroup
Harju, Tero and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-1342-6
Technical Report Number 602
Refinement of Fault Tolerant Control Systems in B
Laibinis, Linas and Troubitsyna, Elena
Distributed Systems Design
ISBN 952-12-1339-6
Technical Report Number 603
Two Models for Gene Assembly in Ciliates
Harju, Tero and Petre, Ion and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1335-3
Technical Report Number 604
Data Mining in Maintenance of Electronic Component Libraries
Alhoniemi, Esa and Knuutila, Timo and Johnsson, Mika and Röyhkiö, Juha and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1336-1
Technical Report Number 605
A Relation Between Context-Free Grammars and Meta Object Facility Metamodels
Alanen, Marcus and Porres, Ivan
Software Construction
ISBN 952-12-1337-X
Technical Report Number 606
A Python Specification of the Tkinter Text-Widget
Back, Ralph-Johan and Preoteasa, Viorel
Software Construction
ISBN 952-12-1338-8
Technical Report Number 607
Integer Weighted Finite Automata, Matrices and Formal Power Series over Laurent Polynomials
Halava, Vesa
Discrete Mathematics for Information Technology
ISBN 952-12-1349-3
Technical Report Number 608
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B
Laibinis, Linas and Troubitsyna, Elena
Distributed Systems Design
ISBN 952-12-1350-7
Technical Report Number 609
A Neural Network Model for Estrogen Receptor Status Prediction
Nastac, Iulian and Collan, Yrjö and Back, Barbro and Collan, Mikael and Jalava, Päivi and Kuopio, Teijo
Data Mining and Knowledge Management
ISBN 952-12-1351-5
Technical Report Number 610
Parallelism in Gene Assembly
Harju, Tero and Li, Chang and Petre, Ion and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1352-3
Technical Report Number 611
Signaling Techniques for NoC
Nigussie, Ethiopia and Tuominen, Johanna and Isoaho, Jouni
Communication Systems
ISBN 952-12-1357-4
Technical Report Number 612
An Elementary Proof for the Non-parametrizability of the Equation xyz=zvx
Petre, Elena
Discrete Mathematics for Information Technology
ISBN 952-12-1369-8
Technical Report Number 613
Congruence Preserving Functions of Wilke's Tree Algebras
Salehi, Saeed
Discrete Mathematics for Information Technology
ISBN 952-12-1370-1
Technical Report Number 614
Efficient Algorithms for Optimizing Combined Heat and Power Production Under the Electricity Market
Rong, Aiying and Lahdelma, Risto
Algorithmics
ISBN 952-12-1376-0
Technical Report Number 615
An Adaptive Retraining Technique to Predict the Critical Process Variables
Nastac, Iulian
Data Mining and Knowledge Management
ISBN 952-12-1379-5
Technical Report Number 616
Fuzzy Real Investment Valuation Model for Giga-Investments, and a Note on Giga-Investment Lifecycle and Valuation
Collan, Mikael
ISBN 952-12-1387-6
Technical Report Number 617
Financial Benchmarking Tools in Finnish Companies – A State of the Art Survey
Eklund, Tomas and Back, Barbro and Vanharanta, Hannu and Visa, Ari
Data Mining and Knowledge Management
ISBN 952-12-1393-0
Technical Report Number 618
Varieties of Tree Languages Definable by Syntactic Monoids
Salehi, Saeed
Discrete Mathematics for Information Technology
ISBN 952-12-1394-9
Technical Report Number 619
Connections Between Subwords and Certain Matrix Mappings
Salomaa, Arto
Discrete Mathematics for Information Technology
ISBN 952-12-1398-1
Technical Report Number 620
How the Inclusion of Time Creates Complexity in Dynamic Decision-Making Environments
Lainema, Timo
ISBN 952-12-1408-2
Technical Report Number 621
Positive Varieties of Tree Languages
Petkovic, Tatjana and Salehi, Saeed
Discrete Mathematics for Information Technology
ISBN 952-12-1415-5
Technical Report Number 622
High Level Power Estimation
Tuominen, Johanna and Plosila, Juha
Communication Systems
ISBN 952-12-1416-3
Technical Report Number 623
On Some Misconceptions About Adaptive Dynamics
Kisdi, Eva and Gyllenberg, Mats
Biomathematics
ISBN 952-12-1417-1
Technical Report Number 624
Degree of Dominance and Congruence Axioms for Fuzzy Choice Functions
Georgescu, Irina
ISBN 952-12-1424-4
Technical Report Number 625
Varieties of Many-Sorted Recognizable Sets
Salehi, Saeed and Steinby, Magnus
Discrete Mathematics for Information Technology
ISBN 952-12-1425-2
Technical Report Number 626
Integrating Combined Heat and Power Production and CO2 Emissions Trading Planning
Rong, Aiying and Lahdelma, Risto
Algorithmics
ISBN 952-12-1426-0
Technical Report Number 627
Commutation with Codes
Karhumäki, Juhani and Latteux, Michel and Petre, Ion
Discrete Mathematics for Information Technology
ISBN 952-12-1442-2
Technical Report Number 628
Periodic and Sturmian Languages
Ilie, Lucian and Marcus, Solomon and Petre, Ion
Computational Biomodelling
ISBN 952-12-1443-0
Technical Report Number 629
Counting Bordered and Primitive Words with a Fixed Weight
Harju, Tero and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-1444-9
Technical Report Number 630
Exploitation of Association Rules in Updating of Electronic Component Libraries
Alhoniemi, Esa and Männistö, Marko and Knuutila, Timo and Johnsson, Mika and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1445-7
Technical Report Number 631
An Extension of Event B for Developing Grid Systems
Boström, Pontus and Waldén, Marina
Distributed Systems Design
ISBN 952-12-1446-5
Technical Report Number 632
Subword Conditions and Subword Histories
Salomaa, Arto and Yu, Sheng
Discrete Mathematics for Information Technology
ISBN 952-12-1449-X
Technical Report Number 633
Piecewise Testable Tree Languages
Piirainen, Ville
Discrete Mathematics for Information Technology
ISBN 952-12-1450-3
Technical Report Number 634
Finite Metrics in Switching Classes
Ehrenfeucht, Andrzej and Harju, Tero and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1451-1
Technical Report Number 635
Embedding Linear Orders in Grids
Ehrenfeucht, Andrzej and Harju, Tero and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1452-X
Technical Report Number 636
Formal Verification of a Ubiquitous Hardware Component
Yan, Lu
Distributed Systems Design
ISBN 952-12-1458-9
Technical Report Number 637
A Method for Elicitating and Combining Group Preferences for Stochastic Multicriteria Acceptability Analysis
Tervonen, Tommi and Lahdelma, Risto and Salminen, Pekka
Algorithmics
ISBN 952-12-1459-7
Technical Report Number 638
Evolution of Dispersal in a Structured Metapopulation Model in Discrete Time
Parvinen, Kalle
Biomathematics
ISBN 952-12-1460-0
Technical Report Number 639
Formal Timing Model for Hardware Components
Westerlund, Tomi and Plosila, Juha
Distributed Systems Design
ISBN 952-12-1462-7
Technical Report Number 640
Software Development and Experimentation in an Academic Environment: The Gaudi Experience
Back, Ralph-Johan and Milovanov, Luka and Porres, Ivan
Software Construction
ISBN 952-12-1463-5
Technical Report Number 641
A Unifying Study Between Modal-like Operators, Topologies, and Fuzzy Sets
Järvinen, Jouni and Kortelainen, Jari
Discrete Mathematics for Information Technology
ISBN 952-12-1465-1
Technical Report Number 642
Petri Nets and Dual-Handed Assembly Robots
Vainio, Frans and Johnsson, Mika and Knuutila, Timo and Nevalainen, Olli S.
ISBN 952-12-1467-8
Technical Report Number 643
Finite Sets of Words and Computing (A Survey)
Karhumäki, Juhani
Discrete Mathematics for Information Technology
ISBN 952-12-1468-6
Technical Report Number 644
Combinatorics on Words: A New Challenging Topic
Karhumäki, Juhani
Discrete Mathematics for Information Technology
ISBN 952-12-1469-4
Technical Report Number 645
Classification of Apples According to Physiological Status Measured by Fluorescence Imaging
Codrea, Marius C. and Nevalainen, Olli S. and Huybrechts, Christy and Valcke, Roland and Tyystjärvi, Esa
Algorithmics
ISBN 952-12-1480-5
Technical Report Number 646
On the Organization of Multisegmented Bus
Seceleanu, Tiberiu and Leppänen, Ville and Suomi, Jyri and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1481-3
Technical Report Number 647
Formal Service-Oriented Development of Fault Tolerant Systems
Laibinis, Linas and Troubitsyna, Elena
Distributed Systems Design
ISBN 952-12-1482-1
Technical Report Number 648
Minimizing the Number of Pickups on a Multi-Head Placement Machine
Knuutila, Timo and Pyöttiälä, Sami and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1483-X
Technical Report Number 649
Embeddings of Canonical Kirkman Packing Designs
Deng, Dameng and Su, Renwang
Discrete Mathematics for Information Technology
ISBN 952-12-1484-8
Technical Report Number 650
Computing Partial Information out of Intractable: Powers of Algebraic Numbers as an Example
Hirvensalo, Mika and Karhumäki, Juhani and Rabinovich, Alexander
Discrete Mathematics for Information Technology
ISBN 952-12-1485-6
Technical Report Number 651
An Overview of Software Defined Radio Technologies
Isomäki, Petri and Avessta, Nastooh
Communication Systems
ISBN 952-12-1486-4
Technical Report Number 652
Correcting Distortions in 2D Gels - A Survey
Salmi, Jussi and Aittokallio, Tero and Nyman, Tuula A. and Nevalainen, Olli S.
Algorithmics Biomathematics
ISBN 952-12-1487-2
Technical Report Number 653
Transcendence of Numbers with an Expansion in a Subclass of Complexity 2n+1
Kärki, Tomi
Discrete Mathematics for Information Technology
ISBN 952-12-1488-0
Technical Report Number 654
Thinning Protocols for Routing h-Relations in Complete Networks
Kautonen, Anssi and Leppänen, Ville and Penttonen, Martti
Algorithmics
ISBN 952-12-1489-9
Technical Report Number 655
Retrieved on Thu, 02 Sep 2010 23:20:05 +0300.
Last modified on Tue, 16 Mar 2010 14:04:04 +0200.