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

38 Technical Reports in 2009
On the Number of Squares in Partial Words
Halava, Vesa and Harju, Tero and Kärki, Tomi
Discrete Mathematics for Information Technology
ISBN 978-952-12-2102-6
Technical Report Number 896
Conjunctive grammars with restricted disjunction
Okhotin, Alexander and Reitwiessner, Christian
Discrete Mathematics for Information Technology
ISBN 978-952-12-2151-4
Technical Report Number 915
Informational Technologies and Communications in the Romanian Local Public Administration
Androniceanu, Armenia and Georgescu, Irina
ISBN 978-952-12-2237-5
Technical Report Number 926
Sensitivity and Topological Mixing are Undecidable for Reversible One-Dimensional Cellular Automata
Lukkarila, Ville
Discrete Mathematics for Information Technology
ISBN 978-952-12-2238-2
Technical Report Number 927
Charasteristic Words for Parikh Matrices
Salomaa, Arto
Discrete Mathematics for Information Technology
Technical Report Number 928
Subword Occurrences, Parikh Matrices and Lyndon Images
Salomaa, Arto and Yu, Sheng
Discrete Mathematics for Information Technology
Technical Report Number 929
Restricted Square Property and Infinite Partial Words
Halava, Vesa and Harju, Tero and Kärki, Tomi and Séébold, Patrice
Discrete Mathematics for Information Technology
Technical Report Number 930
Nonconvex Multiobjective Programming: Geometry via Cones
Nikulin, Yury and Mäkelä, Marko M.
ISBN 978-952-12-2254-2
Technical Report Number 931
Reliability Assessment in Event-B
Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas
Distributed Systems Design
ISBN 978-952-12-2263-4
Technical Report Number 932
Computational heuristics for simplifying a biological model
Petre, Ion and Mizera, Andrzej and Back, Ralph-Johan
Computational Biomodelling
Technical Report Number 933
Memory Analysis of Low Power MPEG-4 Decoder Architecture
Dahlin, Andreas and Ersfolk, Johan and Habli, Haitham and Lilius, Johan
Technical Report Number 934
FANSI: Fault Tolerant Network-on-Chip Simulator
Lehtonen, Teijo and Rantala, Ville and Liljeberg, Pasi and Plosila, Juha
Distributed Systems Design
ISBN 978-952-12-2272-6
Technical Report Number 935
Olympic OWA Operators for Modeling Group Decisions
Brunelli, Matteo and Fullér, Robert and Mezei, József
Technical Report Number 936
Deseo Meeting Scheduler: Database Schema with Verified Business Logic
Back, Ralph-Johan and Olszewski, Mikołaj and Soriano, Damián
Software Construction
Technical Report Number 937
Ensuring Correctness of Network Services with MIDAS
Petre, Luigia and Sere, Kaisa and Waldén, Marina
Distributed Systems Design
ISBN 978-952-12-2280-1
Technical Report Number 938
Simple Method for Ordinal Classification in Multicriteria Decision Making
Lahdelma, Risto and Salminen, Pekka
Algorithmics
ISBN 978-952-12-2281-8
Technical Report Number 939
On Generalized Trade-Off Directions for Basic Optimality Principles in Convex and Nonconvex Multiobjective Optimization
Mäkelä, Marko M. and Nikulin, Yury and Mezei, József
Technical Report Number 940
A Domain Specific Language for the SegBus Platform
Niazi, Moazzam Fareed and Latif, Khalid and Tenhunen, Hannu and Seceleanu, Tiberiu
Microelectronics
ISBN 978-952-12-2286-3
Technical Report Number 941
A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool
Abbors, Fredrik and Pääjärvi, Tuomas and Teittinen, Risto and Truscan, Dragos and Lilius, Johan
Embedded Systems
ISBN 978-952-12-2289-4
Technical Report Number 942
"It Takes Me Longer, But I Understand Better" - Student Feedback on Structured Derivations
Back, Ralph-Johan and Mannila, Linda and Wallin, Solveig
Technical Report Number 943
Invariant Based Programming in Education - An Analysis of Student Difficulties
Mannila, Linda
Technical Report Number 944
PCB Assembly Line Modeling with Modular Placement Machines
Rong, Aiying and Toth, Attila and Nevalainen, Olli S. and Knuutila, Timo and Lahdelma, Risto
Technical Report Number 945
Introducing Action Systems Class Hierarchy to SystemC Modelling
Metsälä, Tomi and Westerlund, Tomi and Plosila, Juha
Distributed Systems Design
ISBN 978-952-12-2310-5
Technical Report Number 946
Supporting Reuse in Event B Development: Modularisation Approach
Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo
Distributed Systems Design
ISBN 978-952-12-2311-2
Technical Report Number 947
A Software Based Implementation of the DVB-T2 Bit Interleaved Coding and Modulation Transmission Chain
Nybom, Kristian and Sandqvist, Jens and Soininen, Thomas and Björkqvist, Jerker and Lilius, Johan
Technical Report Number 948
Structured Derivations as a Unified Proof Format for Teaching Mathematics
Back, Ralph-Johan
Learning and Reasoning
ISBN 978-952-12-2318-1
Technical Report Number 949
On Deterministic Two-Way Finite Automata Over a Unary Alphabet
Kunc, Michal and Okhotin, Alexander
Discrete Mathematics for Information Technology
Technical Report Number 950
A Study of Unambiguous Finite Automata Over a One-Letter Alphabet
Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-2328-0
Technical Report Number 951
On Equations X+X+C=X+X+D and X+E=F with Unknown X Subseteq N
Lehtinen, Tommi and Okhotin, Alexander
Discrete Mathematics for Information Technology
ISBN 978-952-12-2329-7
Technical Report Number 952
Creating Sequential Programs from Event-B Models
Boström, Pontus
Distributed Systems Design
ISBN 978-952-12-2338-9
Technical Report Number 955
PCB Assembly Line Modeling with Modular Placement Machines
Rong, Aiying and Toth, Attila and Nevalainen, Olli S. and Knuutila, Timo and Lahdelma, Risto
Technical Report Number 956
Scalable Height Field Self-Shadowing
Timonen, Ville and Westerholm, Jan
High Performance Computing and Communication
ISBN 978-952-12-2361-7
Technical Report Number 957
An Emulation Solution for the SegBus Platform
Niazi, Moazzam Fareed and Seceleanu, Tiberiu and Tenhunen, Hannu
ISBN 978-952-12-2340-2
Technical Report Number 958
Empirical and Theoretical Comparisons of Several Nonsmooth Minimization Methods and Software
Karmitsa, Napsu and Bagirov, Adil and Mäkelä, Marko M.
ISBN 978-952-12-2367-9
Technical Report Number 959
Nonconvex Nonsmooth Minimization via Cutting Planes and Feasible Direction Interior Point Method
Karmitsa, Napsu and Tanaka, Mario and Herskovits, Jose
ISBN 978-952-12-2369-3
Technical Report Number 960
Studies on Upper Layer Forward Error Correction and Time Interleaving for Mobile Broadcasting
Himmanen, Heidi
Technical Report Number 961
Restraints of mobile systems and services – a study on mobile TV
Himmanen, Heidi
Technical Report Number 962
Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments From Tetrameric Vimentin
Czeizler, Eugen and Mizera, Andrzej and Czeizler, Elena and Back, Ralph-Johan and Eriksson, John and Petre, Ion
Computational Biomodelling
ISBN 978-952-12-2387-7
Technical Report Number 963
Retrieved on Wed, 08 Sep 2010 20:59:44 +0300.
Last modified on Tue, 16 Mar 2010 14:04:04 +0200.