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

88 Technical Reports in 2003
A Continuously Processed Business Game Construction For Business Process Training
Lainema, Timo
ISBN 952-12-1101-6
Technical Report Number 499
Reasoning about Recursive Procedures with Parameters
Back, Ralph-Johan and Preoteasa, Viorel
Software Construction
ISBN 952-12-1104-0
Technical Report Number 500
On the Computational Analysis of Gene Expression Microarray Data
Aittokallio, Tero and Kurki, Markus and Nikula, Tuomas and West, Anne and Lahesmaa, Riitta and Nevalainen, Olli
Algorithmics Biomathematics
ISBN 952-12-1105-9
Technical Report Number 501
Valence Languages Generated by Equality Sets
Halava, Vesa and Harju, Tero and Hoogeboom, Hendrik Jan and Latteux, Michel
Discrete Mathematics for Information Technology
ISBN 952-12-1107-5
Technical Report Number 502
Symbolic Simulation of Hybrid Systems
Back, Ralph-Johan and Cerschi Seceleanu, Cristina and Westerholm, Jan
Software Construction
ISBN 952-12-1109-1
Technical Report Number 503
A Retraining Improvement of Feedforward Neural Networks
Nastac, Iulian and Matei, Razvan
Data Mining and Knowledge Management
ISBN 952-12-1110-5
Technical Report Number 504
Grouping of PCB Assembly Jobs in the Case of Flexible Feeder Units
Hirvikorpi, Mika and Knuutila, Timo and Johnsson, Mika and Nevalainen, Olli
Algorithmics
ISBN 952-12-1111-3
Technical Report Number 505
A Greedy I/O Scheduling Method in the Storage System of Clusters
Zhou, Xinrong
High Performance Computing and Communication
ISBN 952-12-1112-1
Technical Report Number 506
A Wrap Error Attack against NTRUEncrypt
Meskanen, Tommi and Renvall, Ari
Discrete Mathematics for Information Technology
ISBN 952-12-1119-9
Technical Report Number 507
Compatible Extensions of Fuzzy Relations
Georgescu, Irina
ISBN 952-12-1118-0
Technical Report Number 508
Artificial Neural Networks in Auditing: State of the Art
Koskivaara, Eija
Data Mining and Knowledge Management
ISBN 952-12-1120-2
Technical Report Number 509
Region Based Allocation in Java
Enqvist, Henrik and Lilius, Johan
Embedded Systems
ISBN 952-12-1121-0
Technical Report Number 510
An Implementation of Escape Analysis for Java
Munsin, Jonas and Lilius, Johan
ISBN 952-12-1122-9
Technical Report Number 511
Functional and Object-Oriented Modeling of Embedded Software
Fernandes, João M.
Embedded Systems
ISBN 952-12-1126-1
Technical Report Number 512
Space-Time Codes from Groups
Hiltunen, Jarkko and Lahtonen, Jyrki and Nikkanen, Anu
Discrete Mathematics for Information Technology
ISBN 952-12-1127-X
Technical Report Number 513
About Duval's Conjecture
Nowotka, Dirk and Harju, Tero
Discrete Mathematics for Information Technology
ISBN 952-12-1136-9
Technical Report Number 514
Mining Textual Contents of Quarterly Reports
Kloptchenko, Antonina and Magnusson, Camilla and Back, Barbro and Visa, Ari and Vanharanta, Hannu
Data Mining and Knowledge Management
ISBN 952-12-1138-5
Technical Report Number 515
Correctness and Refinement of Dually Nondeterministic Programs
Celiku, Orieta and von Wright, Joakim
Learning and Reasoning
ISBN 952-12-1139-3
Technical Report Number 516
Piecewise Linear Weighting Functions for Possibilistic Mean and Variance of Fuzzy Numbers
Alcaraz Garcia, Francisco Augusto
ISBN 952-12-1143-1
Technical Report Number 517
UML-Driven TTA-Based Protocol Processor Design
Lilius, Johan and Truscan, Dragos
Embedded Systems
ISBN 952-12-1147-4
Technical Report Number 518
Tool Support for DFD to UML Model-Based Transformations
Truscan, Dragos and Fernandes, João Miguel and Lilius, Johan
Embedded Systems
ISBN 952-12-1148-2
Technical Report Number 519
Minimal Duval Extensions
Harju, Tero and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-1149-0
Technical Report Number 520
A Neural Network Model for Prediction: Architecture and Training Analysis
Nastac, Iulian and Koskivaara, Eija
Data Mining and Knowledge Management
ISBN 952-12-1150-4
Technical Report Number 521
Stepwise Development of Peer-to-Peer Systems
Yan, Lu and Sere, Kaisa
Distributed Systems Design
ISBN 952-12-1153-9
Technical Report Number 522
Periodicity and Unbordered Words
Harju, Tero and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-1154-7
Technical Report Number 523
On the Tool Switching Problem of Flexible Machines
Salonen, Kari and Raduly-Baka, Csaba and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1155-5
Technical Report Number 524
Model Refactorings as Rule-Based Update Transformations
Porres, Ivan
Software Construction
ISBN 952-12-1163-6
Technical Report Number 525
Transitivity of Local Complementation and Switching on Graphs
Ehrenfeucht, Andrzej and Harju, Tero and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1164-4
Technical Report Number 526
Difference and Union of Models
Alanen, Marcus and Porres, Ivan
Software Construction
ISBN 952-12-1165-2
Technical Report Number 527
TACO IPv6 Router - A Case Study in Protocol Processor Design
Virtanen, Seppo and Truscan, Dragos and Lilius, Johan
Embedded Systems
ISBN 952-12-1166-0
Technical Report Number 528
Increasing Production Efficiency by Grouping PCB Assembly Jobs
Johnsson, Mika and Knuutila, Timo and Hirvikorpi, Mika and Nevalainen, Olli
Algorithmics
ISBN 952-12-1167-9
Technical Report Number 529
Combinatorics on Words - A Tutorial
Berstel, Jean and Karhumäki, Juhani
Discrete Mathematics for Information Technology
ISBN 952-12-1168-7
Technical Report Number 530
An Efficient Linear Model and Optimization Algorithm for Nation-Wide Combined Heat and Power Production
Rong, Aiying and Hakonen, Henri and Lahdelma, Risto
Algorithmics
ISBN 952-12-1170-9
Technical Report Number 531
General Two Level Storage Management Problem - Reconsideration of the KTNS-Rule
Hirvikorpi, Mika and Salonen, Kari and Knuutila, Timo and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1172-5
Technical Report Number 532
A Case Study in Requirement Analysis of Control Systems Using UML and B
Snook, Colin and Tsiopoulos, Leonidas and Waldén, Marina
Distributed Systems Design
ISBN 952-12-1174-1
Technical Report Number 533
On Designing for Modularity
Cerschi Seceleanu, Cristina and Seceleanu, Tiberiu
Distributed Systems Design Software Construction Communication Systems
ISBN 952-12-1177-6
Technical Report Number 534
Determining the Proper Number of Software Licenses
Murtojärvi, Mika and Järvinen, Jouni and Johnsson, Mika and Leipälä, Timo and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1180-6
Technical Report Number 535
Matrix Indicators for Subword Occurrences and Ambiguity
Mateescu, Alexandru and Salomaa, Arto
Discrete Mathematics for Information Technology
ISBN 952-12-1181-4
Technical Report Number 536
The Power of Networks of Watson Crick D0L Systems
Csuhaj-Varjú, Erzsébet and Salomaa, Arto
Discrete Mathematics for Information Technology
ISBN 952-12-1182-2
Technical Report Number 537
From Watson-Crick L Systems to Darwinian P Systems
Csuhaj-Varjú, Erzsébet and Martin-Vide, Carlos and Pãun, Gheorghe and Salomaa, Arto
Discrete Mathematics for Information Technology
ISBN 952-12-1183-0
Technical Report Number 538
Individual Adoption of IS in Organisations: A Literature Review of the Intention-Based Theories
Han, Shengnan
Mobile Commerce
ISBN 952-12-1188-1
Technical Report Number 539
Individual Adoption of IS in Organisations: A Literature Review of Technology Acceptance Model
Han, Shengnan
Mobile Commerce
ISBN 952-12-1189-X
Technical Report Number 540
On the Complexity of Decidable Cases of the Commutation Problem for Languages
Karhumäki, Juhani and Plandowski, Woiciech and Rytter, Woiciech
ISBN 952-12-1190-3
Technical Report Number 541
Advanced Data Forecasting Using Retraining Neural Network Technique
Nastac, Iulian and Costea, Adrian
Data Mining and Knowledge Management
ISBN 952-12-1197-0
Technical Report Number 542
Reasoning about Pointers in Refinement Calculus
Back, Ralph-Johan and Fan, Xiaocong and Preoteasa, Viorel
Software Construction
ISBN 952-12-1198-9
Technical Report Number 543
Component-Oriented Development of Action Systems
Ruksenas, Rimvydas
Distributed Systems Design
ISBN 952-12-1203-9
Technical Report Number 544
A Characterization of the Periodicity of Bi-Infinite Words
Harju, Tero and Lepistö, Arto and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-1204-7
Technical Report Number 545
Border Correlation of Binary Words
Harju, Tero and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-1205-5
Technical Report Number 546
A Fuzzy Analysis of a Richter Theorem in Fuzzy Consumers
Georgescu, Irina
ISBN 952-12-1209-8
Technical Report Number 547
Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs
Harju, Tero and Petre, Ion and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1210-1
Technical Report Number 548
Delta-Equality of Fuzzy Sets
Georgescu, Irina
ISBN 952-12-1212-8
Technical Report Number 549
Rethinking Software Updating; Concepts for Improved Updatability
Österberg, Dan and Lilius, Johan
Embedded Systems
ISBN 952-12-1213-6
Technical Report Number 550
The Uva Virtual Machine
Österberg, Dan and Lilius, Johan
Embedded Systems
ISBN 952-12-1214-4
Technical Report Number 551
Job Ordering and Management of Wearing Tools in Flexible Manufacturing
Hirvikorpi, Mika and Knuutila, Timo and Nevalainen, Olli
Algorithmics
ISBN 952-12-1215-2
Technical Report Number 552
Towards a Definition of a Computer Game
Smed, Jouni and Hakonen, Harri
Algorithmics
ISBN 952-12-1217-9
Technical Report Number 553
Peer-to-Peer Networking with Firewalls
Yan, Lu and Sere, Kaisa and Zhou, Xinrong
Distributed Systems Design
ISBN 952-12-1218-7
Technical Report Number 554
A MOF-Based Metamodel for SA/RT
Isaksson, Joakim and Truscan, Dragos and Lilius, Johan
Embedded Systems
ISBN 952-12-1227-6
Technical Report Number 555
Two Problems on Commutation of Languages
Karhumäki, Juhani and Petre, Ion
Discrete Mathematics for Information Technology
ISBN 952-12-1231-4
Technical Report Number 556
Gene Assembly in Ciliates: Molecular Operations
Harju, Tero and Petre, Ion and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1232-2
Technical Report Number 557
Gene Assembly in Ciliates: Formal Frameworks
Harju, Tero and Petre, Ion and Rozenberg, Grzegorz
Discrete Mathematics for Information Technology
ISBN 952-12-1233-0
Technical Report Number 558
Note: An Algorithm for Contour-Based Region Filling
Codrea, Marius C. and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1234-9
Technical Report Number 559
Non-Convex Power Plant Modelling in Energy Optimisation
Makkonen, Simo and Lahdelma, Risto
Algorithmics
ISBN 952-12-1239-X
Technical Report Number 560
The Equation aM = bNcP in a Free Semigroup
Harju, Tero and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-1246-2
Technical Report Number 561
On-Chip Communication Models
Seceleanu, Tiberiu and Plosila, Juha
Communication Systems
ISBN 952-12-1248-9
Technical Report Number 562
Efficient Interconnect Modeling for SoC Systems with Application to Interconnection Delay Estimation
Ben Dhaou, Imed
Communication Systems
ISBN 952-12-1249-7
Technical Report Number 563
High-Quality Audio Formats
Laine, Tommi
Communication Systems
ISBN 952-12-1250-0
Technical Report Number 564
Realizing a Model Driven Engineering Process
Alanen, Marcus and Lilius, Johan and Porres, Ivan and Truscan, Dragos
Embedded Systems Software Construction
ISBN 952-12-1255-1
Technical Report Number 565
Languages Defined by Generalized Equality Sets
Halava, Vesa and Harju, Tero and Hoogeboom, Hendrik Jan and Latteux, Michel
Discrete Mathematics for Information Technology
ISBN 952-12-1256-X
Technical Report Number 566
Issues on the Design of an XML-Based Configuration Management System for Model Driven Engineering
Alanen, Marcus and Porres, Ivan
Software Construction
ISBN 952-12-1258-6
Technical Report Number 567
On the Axioms of Revealed Preference in Fuzzy Consumers Theory
Georgescu, Irina
ISBN 952-12-1259-4
Technical Report Number 568
A Healthcare Case Study: Fillwell
Boström, Pontus and Jansson, Micaela and Waldén, Marina
Distributed Systems Design
ISBN 952-12-1260-8
Technical Report Number 569
Counting (Scattered) Subwords
Salomaa, Arto
Discrete Mathematics for Information Technology
ISBN 952-12-1261-6
Technical Report Number 570
On the State Complexity of Reversals of Regular Languages
Salomaa, Arto and Wood, Derick and Yu, Sheng
Discrete Mathematics for Information Technology
ISBN 952-12-1262-4
Technical Report Number 571
A Rigorous Environment for Component-Oriented Development of Action Systems
Ruksenas, Rimvydas
Technical Report Number 572
Refinement in UML Environments
Seceleanu, Tiberiu and Plosila, Juha
ISBN 952-12-1267-5
Technical Report Number 573
On a Conjecture by Hofbauer and So
Gyllenberg, Mats and Yan, Ping and Wang, Yi
ISBN 952-12-1268-3
Technical Report Number 574
Inspiratory Flow Shape Clustering (IFSC): An Automated Method to Monitor Upper Airway Performance During Sleep
Aittokallio, Tero and Malminen, Jani S. and Pahikkala, Tapio and Polo, Olli and Nevalainen, Olli S.
Algorithmics
ISBN 952-12-1271-3
Technical Report Number 575
Memory Usage Estimation of Java Programs
Enqvist, Henrik and Lilius, Johan
ISBN 952-12-1280-2
Technical Report Number 576
Automata on Words
Karhumäki, Juhani
ISBN 952-12-1281-0
Technical Report Number 577
Combinatorics on Infinite Words
Karhumäki, Juhani and Lepistö, Arto
ISBN 952-12-1282-9
Technical Report Number 578
Polynomial Versus Exponential Growth in Repetition-Free Binary Words
Karhumäki, Juhani and Shallit, Jeffrey
ISBN 952-12-1283-7
Technical Report Number 579
Freeness of Multiplicative Matrix Semigroups
Blondel, Vincent and Cassaigne, Julien and Karhumäki, Juhani
ISBN 952-12-1284-5
Technical Report Number 580
An UML Profile for Action Systems
Westerlund, Tomi and Seceleanu, Tiberiu
Distributed Systems Design
ISBN 952-12-1285-3
Technical Report Number 581
Fixed Point Approach to Commutation of Languages
Culik II, Karel and Karhumäki, Juhani and Salmela, Petri
Discrete Mathematics for Information Technology
ISBN 952-12-1286-1
Technical Report Number 582
On Some Special Equations on Words
Karhumäki, Juhani and Petre, Elena
Discrete Mathematics for Information Technology
ISBN 952-12-1288-8
Technical Report Number 583
Estimated Time of Arrival (ETA) Based Elevator Group Control Algorithm with More Accurate Estimation
Rong, Aiying and Hakonen, Henri and Lahdelma, Risto
Algorithmics
ISBN 952-12-1289-6
Technical Report Number 584
Evaluating the XP Customer Model and Design by Contract
Back, Ralph-Johan and Hirkman, Piia and Milovanov, Luka
Data Mining and Knowledge Management Software Construction
ISBN 952-12-1290-X
Technical Report Number 585
Satisfiability of Word Equations is in PSPACE
Plandowski, Wojciech
Discrete Mathematics for Information Technology
ISBN 952-12-1292-6
Technical Report Number 586
Retrieved on Thu, 02 Sep 2010 23:20:12 +0300.
Last modified on Tue, 16 Mar 2010 14:04:04 +0200.