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

66 Technical Reports in 2008
Computational Power of Two Stacks with Restricted Communication
Karhumäki, Juhani and Kunc, Michal and Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 952-12-1687-5
Technical Report Number 744
State Complexity of Power
Domaratzki, Michael and Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-1964-1
Technical Report Number 845
An 11-state Trellis Automaton for A P-complete Problem
Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-1969-6
Technical Report Number 850
A Multilevel Graph Layout Algorithm for Cytoscape Bioinformatics Software Platform
Salmela, Pekka and Nevalainen, Olli S. and Aittokallio, Tero
Algorithmics Biomathematics
ISBN 978-952-12-2022-7
Technical Report Number 861
Minimization Strategies for Maximally Parallel Multiset Rewriting Systems
Alhazov, Artiom and Verlan, Sergey
Computational Biomodelling
ISBN 978-952-12-2021-0
Technical Report Number 862
A Possibilistic Pratt Theorem
Georgescu, Irina
ISBN 978-952-12-2023-4
Technical Report Number 863
Possibilistic Quasi-Mean Value and the Risk
Georgescu, Irina
Technical Report Number 864
ActionC: An Action Systems Approach to System Design with SystemC
Metsälä, Tomi and Westerlund, Tomi and Virtanen, Seppo and Plosila, Juha
Distributed Systems Design
ISBN 978-952-12-2025-8
Technical Report Number 865
Workload Balancing in Printed Circuit Board Assembly Using Placement Time Estimation
Maier, Michael and Knuutila, Timo and Alhoniemi, Esa and Johnsson, Mika and Nevalainen, Olli S.
Algorithmics
ISBN 978-952-12-2026-5
Technical Report Number 866
Generalized possibilistic risk aversion
Georgescu, Irina
Technical Report Number 867
Length Codes, Products of Languages and Primality
Salomaa, Arto and Salomaa, Kai and Yu, Sheng
Discrete Mathematics for Information Technology
Technical Report Number 868
Subword Histories and Associated Matrices
Salomaa, Arto
Discrete Mathematics for Information Technology
Technical Report Number 869
The Form of the Utility Function in SMAA-2
Lahdelma, Risto and Salminen, Pekka
Algorithmics
Technical Report Number 870
Siting a Waste Storage Area With SMAA-O Method
Lahdelma, Risto and Salminen, Pekka
Algorithmics
Technical Report Number 871
Possibilistic Correlation: Illustration, Explanation and Computation of Some Important Cases
Carlsson, Christer and Fullér, Robert
Technical Report Number 872
Gene Assembly Models and Boolean Circuits
Ishdorj, Tseren-Onolt and Petre, Ion
Computational Biomodelling
ISBN 978-952-12-2043-2
Technical Report Number 873
Principal Varieties of Finite Congruences
Piirainen, Ville
Discrete Mathematics for Information Technology
ISBN 978-952-12-2044-9
Technical Report Number 874
Many-Valued Logics for Rough Sets and Other Modal-Like Operations
Järvinen, Jouni and Kondo, Michiro
Algorithmics Discrete Mathematics for Information Technology
Technical Report Number 875
Uniform Solutions to SAT and 3-SAT by Spiking Neural P Systems with Pre-computed Resources
Ishdorj, Tseren-Onolt and Leporati, Alberto
Technical Report Number 876
An Architecture for an Open Visual Editor Software and System Design, Software Construction Laboratory
Lundkvist, Torbjörn and Porres, Ivan
Software Construction
ISBN 978-952-12-2055-5
Technical Report Number 877
Three Models for Gene Assembly in Ciliates: a Comparison
Langille, Miika and Petre, Ion and Rogojin, Vladimir
Computational Biomodelling
ISBN 978-952-12-2056-2
Technical Report Number 878
Online Testing of the ÅBOT Game Server Using the Qtronic Tool
Liu, Xiufeng and Truscan, Dragos and Lilius, Johan
Embedded Systems
ISBN 978-952-12-2057-9
Technical Report Number 879
The Arrow Index for Fuzzy Choice Functions
Georgescu, Irina
ISBN 978-952-12-2058-6
Technical Report Number 880
Compatible Extensions and Consistent Rationalizability: A Fuzzy Approach
Georgescu, Irina
ISBN 978-952-12-2059-3
Technical Report Number 881
Globally Convergent Limited Memory Bundle Algorithm for Nondifferentiable Programming subject to Box Constraints
Karmitsa, Napsu and Mäkelä, Marko M.
ISBN 978-952-12-2063-0
Technical Report Number 882
A New Mathematical Model for the Heat Shock Response
Petre, Ion and Mizera, Andrzej and Hyder, Claire and Mikhailov, Andrey and Eriksson, John and Sistonen, Lea and Back, Ralph-Johan
Computational Biomodelling
ISBN 978-952-12-2064-7
Technical Report Number 883
On Diversity Combining
Isomäki, Petri and Isoaho, Jouni
Communication Systems
ISBN 978-952-12-2070-8
Technical Report Number 884
Preservation of Revealed Preference and Congruence Indicators by Similarity
Georgescu, Irina
ISBN 978-952-12-2072-2
Technical Report Number 885
A Petri-net Formalization of Heat Shock Response Model
Back, Ralph-Johan and Ishdorj, Tseren-Onolt and Petre, Ion
Computational Biomodelling
ISBN 978-952-12-2073-9
Technical Report Number 886
Problem Solving with Multiple Interdependent Objectives
Carlsson, Christer and Fullér, Robert and Björk, Kaj-Mikael
Technical Report Number 887
Overlap-Freeness in Infinite Partial Words
Halava, Vesa and Harju, Tero and Kärki, Tomi
Discrete Mathematics for Information Technology
ISBN 978-952-12-2075-3
Technical Report Number 888
CMOS Single Photon Counters
Virtanen, Kati
Microelectronics
ISBN 978-952-12-2083-8
Technical Report Number 889
Matrix Representations, Linear Transformations, and Kernels for Disambiguation in Natural Language
Pahikkala, Tapio and Pyysalo, Sampo and Boberg, Jorma and Järvinen, Jouni and Salakoski, Tapio
Algorithmics Bioinformatics
Technical Report Number 890
Finiteness Problem for the Language of Minimal Synchronizing
Pribavkina, Elena V. and Rodaro, Emanuele
Discrete Mathematics for Information Technology
ISBN 978-952-12-2092-0
Technical Report Number 891
Characterization of National Deep Web Bioinformatics Laboratory
Shestakov, Denis and Salakoski, Tapio
Technical Report Number 892
Square-Free Partial Words
Halava, Vesa and Harju, Tero and Kärki, Tomi
Discrete Mathematics for Information Technology
ISBN 978-952-12-2097-5
Technical Report Number 893
New Revealed Preference Indicators of Fuzzy Choise Functions
Georgescu, Irina
ISBN 978-952-12-2100-2
Technical Report Number 894
Generating Test Cases from Scenario-Based Formal Development
Malik, Qaisar A. and Lilius, Johan and Laibinis, Linas
Distributed Systems Design Embedded Systems
Technical Report Number 895
Acyclic Rationality Indicators of Fuzzy Choice Functions
Georgescu, Irina
ISBN 978-952-12-2103-3
Technical Report Number 897
Fuzzy Szpirlajn Theorem Through Indicators
Georgescu, Irina
ISBN 978-952-12-2104-0
Technical Report Number 898
Learning to Make Computer Games: An Academic Approach
Hakonen, Harri and Mäkilä, Tuomas and Smed, Jouni and Best, Andy
Algorithmics
ISBN 978-952-12-2105-7
Technical Report Number 899
Three Generalized Sugeno Integrals
Georgescu, Irina
Technical Report Number 900
Algebraic Systems and Pushdown Automata
Petre, Ion and Salomaa, Arto
Discrete Mathematics for Information Technology Computational Biomodelling
ISBN 978-952-12-2109-5
Technical Report Number 901
A Sequence-Based Analysis of the Pointer Distribution of Ciliate Genes
Alhazov, Artiom and Petre, Ion and Verlan, Sergey
Computational Biomodelling
Technical Report Number 902
Semantics and Proof Rules of Invariant Based Programs
Back, Ralph-Johan and Preoteasa, Viorel
Software Construction
ISBN 978-952-12-2111-8
Technical Report Number 903
Risk Aversion Through Fuzzy Numbers
Georgescu, Irina
ISBN 978-952-12-2115-6
Technical Report Number 904
MPL/AspectJ Manual, version 1.0
Mäkelä, Jari-Matti and Karlstedt, Tomi and Leppänen, Ville
Technical Report Number 905
Ordered Catenation Closures and Decompositions of Languages
Salomaa, Arto
Discrete Mathematics for Information Technology
ISBN 978-952-12-2123-1
Technical Report Number 906
Feasibility Report on Formal Area Complexity Estimation
Tuominen, Johanna and Westerlund, Tomi and Plosila, Juha
Distributed Systems Design Communication Systems
Technical Report Number 907
A Content Scheduling Algorithm for Multimedia Interactive Mobile Games
Saleemi, M. Mohsin and Nybom, Kristian and Bjorkqvist, Jerker and Lilius, Johan
Embedded Systems
ISBN 978-952-12-2145-3
Technical Report Number 908
Are We 'Users' of Interactive Stories?
Smed, Jouni and Hakonen, Harri
Algorithmics
ISBN 978-952-12-2144-6
Technical Report Number 909
On the Computational Completeness of Equations Over Sets of Natural Numbers
Jez, Artur and Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-2146-0
Technical Report Number 910
Boolean Grammars Are Closed Under Inverse Gsm Mappings
Lehtinen, Tommi and Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-2147-7
Technical Report Number 911
On the State Complexity of Operations on Two-Way Finite automata
Jiraskova, Galina and Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-2148-4
Technical Report Number 912
Univariate Equations Over Sets of Natural Numbers
Jez, Artur and Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-2149-1
Technical Report Number 913
Equations Over Sets of Natural Numbers with Addition Only
Jez, Artur and Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-2150-7
Technical Report Number 914
NoTA (Sub)System Specification Guidelines
Karlå, Mathias and Lilius, Johan and Lindqvist, Johan and Porres, Ivan and Truscan, Dragos and Eriksson, Timo and Latva-Aho, Antti and Rakkola, Juha
Technical Report Number 916
Quantitative Measures of Solution Robustness in a Parametrized Multicriteria Zero-One Linear Programming Problem
Nikulin, Yury and Mäkelä, Marko M.
ISBN 978-952-12-2198-9
Technical Report Number 917
On Post Correspondence Problem for Letter Monotonic Languages
Halava, Vesa and Kari, Jarkko and Matiyasevich, Yuri
Technical Report Number 918
The Canals Language and its Compiler
Dahlin, Andreas and Ersfolk, Johan and Habli, Guyfu Yang Haitham and Lilius, Johan
Technical Report Number 919
Geometrical Optimality Conditions for Strongly and Lexicographically Optimal Solutions in Convex Multicriteria Programming
Mäkelä, Marko M. and Nikulin, Yury
Technical Report Number 920
Solving the Feeder Assignment on a Revolver-Head Gantry Machine
Pyöttiälä, Sami and Knuutila, Timo and Nevalainen, Olli S.
Technical Report Number 921
Embedded Software System Architecture for MyGoogle-on-Chip
Xu, Thomas Canhao and Tenhunen, Hannu and Liljeberg, Pasi
Communication Systems
ISBN 978-952-12-2229-0
Technical Report Number 922
Visual Performance Analysis of Finnish Electricity Distribution System Operators – A SOM-Based Approach
Liu, Hongyan and Eklund, Tomas and Saaristo, Hannu and Kyllönen, Sami and Back, Barbro
Data Mining and Knowledge Management
ISBN 978-952-12-2230-6
Technical Report Number 923
Approaches to Workload Balancing in Printed Circuit Board Assembly
Maier, Michael and Emet, Stefan and Knuutila, Timo and Alhoniemi, Esa and Johnsson, Mika and Nevalainen, Olli S.
Technical Report Number 924
Identigying Explanatory Variables for Unexpected Signal Changes in a Non-Linear Non-Stationary System
Vähämaa, Heidi and Nevalainen, Olli S. and Knuutila, Timo
Technical Report Number 925
Retrieved on Sat, 31 Jul 2010 16:00:27 +0300.
Last modified on Tue, 16 Mar 2010 14:04:04 +0200.