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

53 Technical Reports in 2001
Some New Results on Post Correspondence Problem and Its Modifications
Halava, Vesa and Harju, Tero
Technical Report Number 388
Uni-Transitional Watson-Crick D0L Systems
Salomaa, Arto
Technical Report Number 389
Iterated Morphisms with Complementarity on the DNA Alphabet
Salomaa, Arto
Technical Report Number 390
Increasing Business-Relevancy to the IT Service Product with the Support of Packaging of IT Services
Kaitovaara, Petteri
Laboris Information Systems
Technical Report Number 391
Estimating the Production Times in PCB Assembly
Laakso, Tero and Johnsson, Mika and Johtela, Tommi and Smed, Jouni and Nevalainen, Olli
ISBN 952-12-0783-3
Technical Report Number 392
Combinatorial and Computational Problems on Finite Sets of Words
Karhumäki, Juhani
Discrete Mathematics for Information Technology
Technical Report Number 393
New infinite families of 3-designs from the Z4-Goethals codes
Ranto, Kalle
Technical Report Number 394
Financial Benchmarking of Telecommunications Companies
Karlsson, Jonas and Back, Barbro and Vanharanta, Hannu and Visa, Ari
Technical Report Number 395
Benchmarking International Pulp and Paper Companies Using Self-Organizing Maps
Eklund, Tomas and Back, Barbro and Vanharanta, Hannu and Visa, Ari
Data Mining and Knowledge Management
Technical Report Number 396
An Undecidability Result Concerning Periodic Morphisms
Halava, Vesa and Harju, Tero
Technical Report Number 397
Evolutionary Branching of Dispersal Strategies in Structured Metapopulations
Parvinen, Kalle
Technical Report Number 398
Necessary and Sufficient Conditions for Evolutionary Suicide
Gyllenberg, Mats and Parvinen, Kalle
Technical Report Number 399
Efficient Scalar Multiplication on Elliptic Curves
Meskanen, Tommi and Renvall, Ari and Steinby, Paula
Discrete Mathematics for Information Technology
Technical Report Number 400
On Distrubuted Computing on Elliptic Curves
Meskanen, Tommi and Renvall, Ari and Steinby, Paula
Discrete Mathematics for Information Technology
Technical Report Number 401
On Commutation and Primitive Roots of Codes
Harju, Tero and Petre, Ion
Technical Report Number 402
Synchronous Pipeline Design in Action Systems
Seceleanu, Tiberiu and Plosila, Juha
Distributed Systems Design
Technical Report Number 403
Adjustment of the Human Respiratory System to Increased Upper Airway Resistance During Sleep
Aittokallio, Tero and Gyllenberg, Mats and Polo, Olli
Biomathematics
Technical Report Number 404
Global Asymptotical Stability of the Non-trivial Steady State of an Epidemic Model
Yan, Ping
Technical Report Number 405
Infinite Solutions of Marked Post Correspondence Problem
Halava, Vesa and Harju, Tero
Technical Report Number 406
On Splitting and Cloning Agents
Fan, Xiaocong
Technical Report Number 407
On Finite Automaton Public Key Cryptosystems
Meskanen, Tommi
Technical Report Number 408
Decision Questions on Integer Matrices
Harju, Tero
Technical Report Number 409
The DF0L Language Equivalence Problem
Honkala, Juha
Technical Report Number 410
BinClass: A Software Package for Classifying Binary Vectors User's Guide
Gyllenberg, Mats and Koski, Timo and Lund, Tatu
Technical Report Number 411
Specification Variables: Between the Angel and the Demon
Laibinis, Linas and von Wright, Joakim
Technical Report Number 412
A Note on Uniform HDT0L Systems
Honkala, Juha
Technical Report Number 413
On Images of D0L and DT0L Power Series
Honkala, Juha
Technical Report Number 414
A Hierarchical Slice-Based Framework for Object-Oriented Coupling Measurement
Li, Bixin
Technical Report Number 415
JATO: Slicing Java Programs Hierarchically
Li, Bixin and Fan, Xiaocong
Technical Report Number 416
On Strongly Identifying Codes
Honkala, Iiro and Laihonen, Tero and Ranto, Sanna
Technical Report Number 417
Families of Optimal Codes for Strong Identification
Laihonen, Tero and Ranto, Sanna
Technical Report Number 418
Networks of Watson-Crick D0L Systems
Csuhaj-Varjú, Erzsébet and Salomaa, Arto
Technical Report Number 419
Challenges of Commutation: An Advertisement
Karhumäki, Juhani
Technical Report Number 420
Challenges of Commutation: An Advertisement
Karhumäki, Juhani
Technical Report Number 420
Tissue P Systems
Martín-Vide, Carlos and Pãun, Gheorghe and Pazoz, Juan and Rodriguez-Paton, Alfonso
Technical Report Number 421
On Conjugacy of Languages
Cassaigne, Julien and Karhumäki, Juhani and Manuch, Ján
Technical Report Number 422
On the Computational Complexity of Infinite Words
Duris, Pavol and Manuch, Ján
Technical Report Number 423
Power and Size of Extended Watson-Crick L
Csima, Judit and Csuhaj-Varjú, Erzsébet and Salomaa, Arto
Technical Report Number 424
Governmental Visions for Future Info-Communication - A Survey of the European Union, the United States and Japan
Valtonen, Tuomas
Communication Systems
Technical Report Number 425
EIDE Disk Arrays and Its Implement
Chen, Qiong
ISBN 952-12-0900-3
Technical Report Number 426
A New Bound for the Sequence Equivalence Problem of Polynomial D0L Systems
Honkala, Juha
Technical Report Number 427
Linear Size Test Sets for Certain Commutative Languages
Holub, Stepan and Kortelainen, Juha
Technical Report Number 428
On Obtaining Minimal Variability OWA Operator Weights
Fullér, Robert and Majlender, Péter
Technical Report Number 429
Analysing Financial Performance with Quarterly Data Using Self-Organising Maps
Karlsson, Jonas and Back, Barbro and Vanharanta, Hannu and Visa, Ari
Technical Report Number 430
Optimal Harvesting in the Presence of Density - Dependent Extinction Probabilities
Alvarez, Luis and Gyllenberg, Mats and Shepp, Larry
Technical Report Number 431
On the Independence of Equations in Three Variables
Harju, Tero and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-0930-5
Technical Report Number 432
Invasion Dynamics and Attractor Inheritance
Geritz, S.A.H. and Gyllenberg, M. and Jacobs, F.J.A. and Parvinen, K.
Technical Report Number 433
The Role of Geitonogamy in the Gradual Evolution To Dioecy in Cosexual Plants
De Jong, T.J. and Geritz, S.A.H.
Technical Report Number 434
On the Density of Critical Factorizations
Harju, Tero and Nowotka, Dirk
Discrete Mathematics for Information Technology
ISBN 952-12-0937-2
Technical Report Number 435
A Methodology for Integration of Formal Methods in a Healthcare Case Study
Petre, Luigia and Troubitsyna, Elena and Waldén, Marina and Boström, Pontus and Engblom, Niklas and Jansson, Micaela
Technical Report Number 436
A Methodology for Co-design Based on a Healthcare Case Study
Petre, Luigia and Rönkkö, Mauno and Troubitsyna, Elena and Waldén, Marina and Jansson, Micaela
Technical Report Number 437
A Methodology for Co-design Based on a Healthcare Case Study
Petre, Luigia and Rönkkö, Mauno and Troubitsyna, Elena and Waldén, Marina and Jansson, Micaela
Technical Report Number 437
New Methods for the Analysis of Binarized BIOLOG GN Data of Vibrio Species: Minimization of Stochastic Complexity and Cumulative Classification
Gyllenberg, Mats and Koski, Timo and Dawyndt, Peter and Lund, Tatu and Thompson, Fabiano and Austin, Brian and Swings, Jean
Biomathematics
Technical Report Number 438
Retrieved on Wed, 08 Sep 2010 20:59:01 +0300.
Last modified on Tue, 16 Mar 2010 14:04:04 +0200.