Informaatioteknologian laitos, Department of Information Technology

URI: http://urn.fi/URN:NBN:fi:bib:me:W00082440400

contributor

Turun tietotekniikan tutkimus- ja koulutuskeskus

hasPart

A co-processor approach for efficient Java execution in embedded systems
A co-processor approach for efficient Java execution in embedded systems
A co-processor approach for efficient Java execution in embedded systems
A co-processor approach for efficient Java execution in embedded systems
A co-processor approach for efficient Java execution in embedded systems
A co-processor approach for efficient Java execution in embedded systems
A decision support system for improving information security
A dependency parsing approach to biomedical text mining
A dependency parsing approach to biomedical text mining
A dependency parsing approach to biomedical text mining
A dependency parsing approach to biomedical text mining
A dependency parsing approach to biomedical text mining
A dependency parsing approach to biomedical text mining
A framework for rapid design and evaluation of protocol processors
A kernel language for unified code synthesis
A metamodeling framework for software engineering
A methodology for constructing correct reactive systems
A model-based development and verification framework for distributed SoC architecture
A model-based development and verification framework for distributed system-on-chip architecture
A model-based development and verification framework for distributed system-on-chip architecture
A normative approach to possibility theory and soft decision support
A practice perspective on organizational implementation of information technology
A quantitative view on fuzzy numbers
A quantitative view on fuzzy numbers
Absolute value extraction and order statistic filtering for a mixed-mode array image processor
Abstract algebra of program refinement
Agent-based management systems for many-core platforms :
Agent-based management systems for many-core platforms :
Agent-based management systems for many-core platforms : rigorous design and efficient implementation
Agent-based management systems for many-core platforms : rigorous design and efficient implementation
Agent-based management systems for many-core platforms : rigorous design and efficient implementation
Agent-based management systems for many-core platforms : rigorous design and efficient implementation
Agile software development in an academic environment
Algorithmic analysis techniques for molecular imaging
Algorithmic analysis techniques for molecular imaging
Algorithmic analysis techniques for molecular imaging
Algorithmic analysis techniques for molecular imaging
Algorithmic analysis techniques for molecular imaging
Algorithmic analysis techniques for molecular imaging
Algorithmic analysis techniques for molecular imaging
Algorithmic solutions for combinatorial problems in resource management of manufacturing environments
Algorithmic solutions for combinatorial problems in resource management of manufacturing environments
Algorithmic solutions for combinatorial problems in resource management of manufacturing environments
Algorithmic techniques in gene expression processing :
Algorithmic techniques in gene expression processing :
Algorithmic techniques in gene expression processing : from imputation to visualization
Algorithmic techniques in gene expression processing : from imputation to visualization
Algorithmic techniques in gene expression processing : from imputation to visualization
Algorithmic techniques in gene expression processing : from imputation to visualization
Algorithmic techniques in gene expression processing : from imputation to visualization
An evolutionary approach to concept learning
An interactive environment supporting the development of formally correct programs
Anadromit ja Sturmin sanat
Analysis and life cycle assessment of printed antennas for sustainable wireless systems
Analysis and life cycle assessment of printed antennas for sustainable wireless systems
Analysis and life cycle assessment of printed antennas for sustainable wireless systems
Biomedical event extraction with machine learning
Biomedical event extraction with machine learning
Characterization and modelling of the cardiorespiratory system in sleep-disordered breathing
Chip and signature interleaving in DS CDMA systems
Class field theoretic methods in the design of lattice signal constellations
Class field theoretic methods in the design of lattice signal constellations
Class field theoretic methods in the design of lattice signal constellations
Class field theoretic methods in the design of lattice signal constellations
Class field theoretic methods in the design of lattice signal constellations
Class field theoretic methods in the design of lattice signal constellations
Cluster analysis : a mathematical approach with applications to protein structures
Coding of wavelet-transformed images
Cogeneration planning under the deregulated power market and emissions trading scheme
Cohesion metrics for improving software quality
Cohesion metrics for improving software quality
Cohesion metrics for improving software quality
Cohesion metrics for improving software quality
Cohesion metrics for improving software quality
Cohesion metrics for improving software quality
Cohesion metrics for improving software quality
Combinatorics of Pisot substitutions
Combinatorics of Pisot substitutions
Combinatorics of Pisot substitutions
Combinatorics on words : new aspects on avoidability, defect effect, equations and palindromes
Combinatorics on words : new aspects on avoidability, defect effect, equations and palindromes
Combinatorics on words : new aspects on avoidability, defect effect, equations and palindromes
Combining model-based testing and stepwise formal development
Commutation problems on sets of words and formal power series
Computability in Europe 2017 :
Computability in Europe 2017 : unveiling dynamics and complexity : abstract booklet : June 12-16, 2017 Turku, Finland
Computational intelligence methods for quantitative data mining
Computational models for and from biology :
Computational models for and from biology :
Computational models for and from biology : simple gene assembly and reaction systems
Computational models for and from biology : simple gene assembly and reaction systems
Computational models for and from biology : simple gene assembly and reaction systems
Computational models for and from biology : simple gene assembly and reaction systems
Computer-assisted diagnosis of breast calcifications
Conservation laws in cellular automata
Consistency of UML based designs using ontology reasoners
Construction and evaluation of the labour game method
Cooperation, communication, control : investigations on grammar systems
Cost-efficient virtual machine management :
Cost-efficient virtual machine management : provisioning, admission control, and consolidation
Cost-efficient virtual machine management : provisioning, admission control, and consolidation
Cost-efficient virtual machine management : provisioning, admission control, and consolidation
Cryptographic counter generators
Decision problems on orders of words
Defect theorems and infinite words
Defining contexts in context-free grammars
Defining contexts in context-free grammars
Defining contexts in context-free grammars
Defining contexts in context-free grammars
Defining contexts in context-free grammars
Defining contexts in context-free grammars
Defining contexts in context-free grammars
Design and analysis of forward error control coding and signaling for guaranteeing QoS in wireless broadcast systems
Design and analysis of forward error control coding and signaling for guaranteeing QoS in wireless broadcast systems
Design and evaluation of web interface signs to improve web usability :
Design and evaluation of web interface signs to improve web usability : a semiotic framework
Design and evaluation of web interface signs to improve web usability : a semiotic framework
Design and evaluation of web interface signs to improve web usability : a semiotic framework
Design and validation of stateful composite RESTful web services
Design and validation of stateful composite RESTful web services
Design and validation of stateful composite RESTful web services
Design space exploration for MPSoC architectures
Design space exploration for MPSoC architectures
Design space exploration for MPSoC architectures
Dual information systems in hyperknowledge organizations
Dynamic chest image analysis : new model-based methods for dynamic pulmonary imaging and other applications
Efficient algorithms for coastal geographic problems
Efficient algorithms for coastal geographic problems
Efficient algorithms for coastal geographic problems
Efficient algorithms for coastal geographic problems
Efficient algorithms for coastal geographic problems
Efficient algorithms for coastal geographic problems
Efficient algorithms for coastal geographic problems
Efficient algorithms for hardware-accelerated shadow computation
Efficient and low-cost software defined radio on commodity hardware
Efficient and low-cost software defined radio on commodity hardware
Efficient and low-cost software defined radio on commodity hardware
Efficient and low-cost software defined radio on commodity hardware
Efficient and low-cost software defined radio on commodity hardware
Efficient and low-cost software defined radio on commodity hardware
Efficient and low-cost software defined radio on commodity hardware
Efficient methods for storing and querying XML data with relational databases
Energy and performance management of virtual machines :
Energy and performance management of virtual machines :
Energy and performance management of virtual machines : provisioning, placement and consolidation
Energy and performance management of virtual machines : provisioning, placement and consolidation
Energy and performance management of virtual machines : provisioning, placement and consolidation
Energy and performance management of virtual machines : provisioning, placement and consolidation
Energy and performance management of virtual machines : provisioning, placement and consolidation
Energy aware software for many-core systems
Energy aware software for many-core systems
Energy aware software for many-core systems
Energy aware software for many-core systems
Energy aware software for many-core systems
Energy aware software for many-core systems
Energy aware software for many-core systems
Energy-efficient and reliable computing in dark silicon era
Energy-efficient and reliable computing in dark silicon era
Energy-efficient and reliable computing in dark silicon era
Ensuring correctness of object and component systems
Essays on software product development : a strategic management viewpoint
Estimates on the covering radius when the dual distance is known
Evaluating multidimensional visualization techniques in data mining tasks
Examining human-centered design practice in the mobile apps era
Examining human-centered design practice in the mobile apps era
Examining human-centered design practice in the mobile apps era
Examining human-centered design practice in the mobile apps era
Examining human-centered design practice in the mobile apps era
Examining human-centered design practice in the mobile apps era
Examining human-centered design practice in the mobile apps era
Exploration and design of power-efficient networked many-core systems
Exploration and design of power-efficient networked many-core systems
Exploration and design of power-efficient networked many-core systems
Formal design and verification of systems using domain-specific languages
Formal development and quantitative verification of dependable systems
Formal development and quantitative verification of dependable systems
Formal development and quantitative verification of dependable systems
Formal development and quantitative verification of dependable systems
Formal development of concurrent components
Formal development of resilient distributed systems
Formal development of resilient distributed systems
Formal development of resilient distributed systems
Formal development of resilient distributed systems
Formal development of resilient distributed systems
Formal development of resilient distributed systems
Formal development of resilient distributed systems
Formal modelling for digital media distribution
Formal modelling for digital media distribution
Formal modelling for digital media distribution
Formal modelling for digital media distribution
Formal modelling for digital media distribution
Formal modelling for digital media distribution
Formal modelling for digital media distribution
Formal reasoning about dependability in model-driven development
Formal reasoning about distributed algorithms
Fraud detection in the banking sector : a multi-agent approach
Fraud detection in the banking sector : a multi-agent approach
Fraud detection in the banking sector : a multi-agent approach
Garbling schemes and applications
Garbling schemes and applications
Garbling schemes and applications
Gene assembly in stichotrichous ciliates : elementary operations, parallelism and computation
Giga-investments : modelling the valuation of very large industrial real investments
Hardware/software co-design for multicore architectures
Hardware/software co-design for multicore architectures
Hardware/software co-design for multicore architectures
Hierarchy and expansiveness in two-dimensional subshifts of finite type
Hierarchy and expansiveness in two-dimensional subshifts of finite type
Hierarchy and expansiveness in two-dimensional subshifts of finite type
Hierarchy and expansiveness in two-dimensional subshifts of finite type
Hierarchy and expansiveness in two-dimensional subshifts of finite type
Hierarchy and expansiveness in two-dimensional subshifts of finite type
Hierarchy and expansiveness in two-dimensional subshifts of finite type
How computer programmers work :
How computer programmers work :
How computer programmers work : understanding software development in practice
How computer programmers work : understanding software development in practice
How computer programmers work : understanding software development in practise
How computer programmers work : understanding software development in practise
Hydrogen sensor application of anodic titanium oxide nanostructures
Hydrogen sensor application of anodic titanium oxide nanostructures
Hydrogen sensor application of anodic titanium oxide nanostructures
Hydrogen sensor application of anodic titanium oxide nanostructures
Hydrogen sensor application of anodic titanium oxide nanostructures
Hydrogen sensor application of anodic titanium oxide nanostructures
Hydrogen sensor application of anodic titanium oxide nanostructures
Identifying and locating-dominating codes in binary hamming spaces
Improving data analysis in proteomics
Improving executive support in strategic scanning with software agent systems
In-place algorithms for sorting problems
Information technology and the productivity of managerial work
Intricacies of word equations
Iterative and hierarchical methods for codebook generation in vector quantization
Kahden merkkijonon pisimmän yhteisen alijonon ongelma ja sen ratkaiseminen
Kahden merkkijonon pisimmän yhteisen alijonon ongelma ja sen ratkaiseminen
Kahden merkkijonon pisimmän yhteisen alijonon ongelma ja sen ratkaiseminen
Kernel-based ranking : methods for learning and performance estimation
Knowledge freedom for medical professionals : an evaluation study of a mobile information system for physicians in Finland
Knowledge management and global diversity : a framework to support organisations in developing countries
Knowledge representation and rough sets
Knowledge-lean text mining
Knowledge-lean text mining
Knowledge-lean text mining
Learning preferences with kernel-based methods
Letters from the war of ecosystems :
Letters from the war of ecosystems :
Letters from the war of ecosystems : an analysis of independent software vendors in mobile application marketplaces
Letters from the war of ecosystems : an analysis of independent software vendors in mobile application marketplaces
Letters from the war of ecosystems : an analysis of independent software vendors in mobile application marketplaces
Letters from the war of ecosystems : an analysis of independent software vendors in mobile application marketplaces
Letters from the war of ecosystems : an analysis of independent software vendors in mobile application marketplaces
Limit cycles for generalized Liénard-type and Lotka-Volterra systems
Local binary patterns in focal-plane processing :
Local binary patterns in focal-plane processing :
Local binary patterns in focal-plane processing : analysis and applications
Local binary patterns in focal-plane processing : analysis and applications
Local binary patterns in focal-plane processing : analysis and applications
Local binary patterns in focal-plane processing : analysis and applications
Local binary patterns in focal-plane processing : analysis and applications
Low-density parity-check codes for wireless datacast networks
m-Equine : IS support for the horse industry
m-Equine : IS support for the horse industry
m-Equine : IS support for the horse industry
Machine learning and clinical text : supporting health information flow
Managers, fragmentation of working time, and information systems
Mapping financial stability
Mapping financial stability
Mapping financial stability
Measuring and improving component-based software development
Mechanised formal reasoning about modular programs
Mechanized reasoning for dually-nondeterministic and probabilistic programs
Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments
Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments
Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments
Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments
Mobile digital calendars in knowledge work
Model driven development of programmable architectures
Model-based testing of software systems :
Model-based testing of software systems :
Model-based testing of software systems : functionality and performance
Model-based testing of software systems : functionality and performance
Model-based testing of software systems : functionality and performance
Model-based testing of software systems : functionality and performance
Model-based testing of software systems : functionality and performance
Model-driven development and verification of fault tolerant systems
Modeling and analyzing software behavior in UML
Modeling and analyzing software behavior in UML
Modeling with action systems
Multiprocessor architecture and programming : the Hathi-2 system
Natural language processing resources for Finnish : corpus development in the general and clinical domains
New and emerging challenges of the ICT-mediated health and well-being services
New and emerging challenges of the ICT-mediated health and well-being services
New and emerging challenges of the ICT-mediated health and well-being services
New kernel functions and learning methods for text and data mining
New kernel functions and learning methods for text and data mining
New kernel functions and learning methods for text and data mining
New kernel functions and learning methods for text and data mining
New kernel functions and learning methods for text and data mining
New kernel functions and learning methods for text and data mining
New techniques in generic programming : C++ is more intentional than intented
Niho type cross-correlation functions and related equations
Notes on emerging technologies
Notes on emerging technologies
Notes on emerging technologies
Numbers and languages
Numbers and languages
Numbers and languages
O-CDIO :
O-CDIO :
O-CDIO : engineering education framework with embedded design thinking methods
O-CDIO : engineering education framework with embedded design thinking methods
O-CDIO : engineering education framework with embedded design thinking methods
On advancing business intelligence in the electricity retail market
On advancing business intelligence in the electricity retail market
On advancing business intelligence in the electricity retail market
On advancing business intelligence in the electricity retail market
On commutation and conjugacy of rational languages and the fixed point method
On distributed storage codes
On distributed storage codes
On distributed storage codes
On distributed storage codes
On distributed storage codes
On distributed storage codes
On distributed storage codes
On dynamic monitoring methods for networks-on-chip
On dynamic monitoring methods for networks-on-chip
On dynamic monitoring methods for networks-on-chip
On energy efficient computing platforms
On energy efficient computing platforms
On energy efficient computing platforms
On fault tolerance methods for networks-on-chip
On fault tolerance methods for networks-on-chip
On identifying and locating-dominating codes
On identifying and locating-dominating codes
On identifying and locating-dominating codes
On identifying and locating-dominating codes in the infinite king grid
On identifying and locating-dominating codes in the infinite king grid
On identifying and locating-dominating codes in the infinite king grid
On identifying and locating-dominating codes in the infinite king grid
On inner products involving holomorphic cusp forms and Maass forms
On primitive solutions of the post correspondence problem
On relations between local and global periodicity
On security and privacy for networked information society :
On security and privacy for networked information society : observations and solutions for security engineering and trust building in advanced societal processes
On security and privacy for networked information society : observations and solutions for security engineering and trust building in advanced societal processes
On short exponential sums involving fourier coefficients of holomorphic cusp forms
On short exponential sums involving fourier coefficients of holomorphic cusp forms
On short exponential sums involving Fourier coefficients of holomorphic cusp forms
On short exponential sums involving Fourier coefficients of holomorphic cusp forms
On short exponential sums involving fourier coefficients of holomorphic cusp forms
On short exponential sums involving Fourier coefficients of holomorphic cusp forms
On solution approaches for some industrially motivated combinatorial optimization problems
On the computation of the class numbers of real abelian fields
On the frequency and periodicity of infinite words
On the generalization ability of Bayesian neural networks
On the impact of rigorous approaches on the quality of development
On the impact of rigorous approaches on the quality of development
On the NTRU cryptosystem
On the tactical level production planning in flexible manufacturing systems
On transmission system design for wireless broadcasting
On undecidable dynamical properties of reversible one-dimensional cellular automata
Opening the black-box of IT artifacts : looking into mobile service characteristics and individual perception
Opening the black-box of IT artifacts : looking into mobile service characteristics and individual perception
Opening the black-box of IT artifacts : looking into mobile service characteristics and individual perception
Operational and tactical level optimization in printed circuit board assembly
Optimization and measuring techniques for collect-and-place machines in printed circuit board industry
Optimization and measuring techniques for collect-and-place machines in printed circuit board industry
Optimization and measuring techniques for collect-and-place machines in printed circuit board industry
Optimization and measuring techniques for collect-and-place machines in printed circuit board industry
Optimization and measuring techniques for collect-and-place machines in printed circuit board industry
Optimization and measuring techniques for collect-and-place machines in printed circuit board industry
Optimization and measuring techniques for collect-and-place machines in printed circuit board industry
Optimization methods for clustering
Order-theoretic methods for space-time coding : symmetric and asymmetric designs
Packaging of IT services : conceptual and empirical studies
Parallelism and complexity in gene assembly
Pattern analysis of chlorophyll fluorescence signals
Periodicity and unbordered factors of words
Potential and challenges of analog reconfigurable computation in modern and future CMOS
Potential and challenges of analog reconfigurable computation in modern and future CMOS
Potential and challenges of analog reconfigurable computation in modern and future CMOS
Potential and challenges of analog reconfigurable computation in modern and future CMOS
Potential and challenges of analog reconfigurable computation in modern and future CMOS
Potential and challenges of analog reconfigurable computation in modern and future CMOS
Potential and challenges of analog reconfigurable computation in modern and future CMOS
Potential and challenges of analog reconfigurable computation in modern and future CMOS
Privileged words and Sturmian words : Anadromit ja Sturmin sanat
Privileged words and Sturmian words : Anadromit ja Sturmin sanat
Privileged words and Sturmian words : Anadromit ja Sturmin sanat
Privileged words and Sturmian words : Anadromit ja Sturmin sanat
Privileged words and Sturmian words =
Privileged words and Sturmian words =
Proactive management of video transcoding services
Proactive management of video transcoding services
Proactive management of video transcoding services
Problems with the justification of intellectual property rights in relation to software and other digitally distributable media
Production planning in printed circuit board assembly
Program variables : the core of mechanical reasoning about imperative programs
Promoting programming learning : engagement, automatic assessment with immediate feedback in visualizations
Promoting programming learning : engagement, automatic assessment with immediate feedback in visualizations
Qualitative methods for modeling biochemical systems and datasets :
Qualitative methods for modeling biochemical systems and datasets : the logicome and the reaction systems approaches
Quantitative refinement of reaction-based biomodels
Quantitative refinement of reaction-based biomodels
Quantitative refinement of reaction-based biomodels
Quantitative refinement of reaction-based biomodels
Quantitative refinement of reaction-based biomodels
Quantitative refinement of reaction-based biomodels
Quantitative refinement of reaction-based biomodels
Rational choice and revealed preference : a fuzzy approach
Readout architectures for hybrid pixel detector readout chips
Readout architectures for hybrid pixel detector readout chips
Readout architectures for hybrid pixel detector readout chips
Readout architectures for hybrid pixel detector readout chips
Readout architectures for hybrid pixel readout chips
Readout architectures for hybrid pixel readout chips
Readout architectures for hybrid pixel readout chips
Real options, default risk and soft applications
Refinement of biomodels using Petri nets
Refinement of biomodels using Petri nets
Refinement of biomodels using Petri nets
Refinement of biomodels using Petri nets
Refinement of biomodels using Petri nets
Refinement of biomodels using Petri nets
Refinement of biomodels using Petri nets
Representative classification of protein structures
Reproducing Kernel splines in the analysis of medical data
Reusable formal architectures for networked systems
Reusable formal architectures for networked systems
Reusable formal architectures for networked systems
Reusable formal architectures for networked systems
Rich words and balanced words
Rich words and balanced words
Rich words and balanced words
Rich words and balanced words
Rich words and balanced words
Rich words and balanced words
Rich words and balanced words
Rigorous development of safety-critical systems
Rigorous development of safety-critical systems
Rigorous development of safety-critical systems
Rigorous development of safety-critical systems
Rigorous development of safety-critical systems
Rigorous development of safety-critical systems
Rigorous development of safety-critical systems
Safe language mechanisms for modularization and concurrency
Scalable algorithms for height field illumination
Scalable algorithms for height field illumination
Scalable algorithms for height field illumination
Scalable feature selection applications for genome-wide association studies of complex diseases
Scalable feature selection applications for genome-wide association studies of complex diseases
Scalable feature selection applications for genome-wide association studies of complex diseases
Scalable feature selection applications for genome-wide association studies of complex diseases
Scalable feature selection applications for genome-wide association studies of complex diseases
Scalable feature selection applications for genome-wide association studies of complex diseases
Scalable feature selection applications for genome-wide association studies of complex diseases
Scaling up stepwise feature introduction to construction of large software systems
Scaling up stepwise feature introduction to construction of large software systems
Scaling up stepwise feature introduction to construction of large software systems
Scheduling dynamic dataflow graphs with model checking
Scheduling dynamic dataflow graphs with model checking
Scheduling dynamic dataflow graphs with model checking
Scheduling dynamic dataflow graphs with model checking
Scheduling of guarded command based models
Scheduling of guarded command based models
Scheduling of guarded command based models
Search interfaces on the Web :
Search interfaces on the web :
Search interfaces on the Web : querying and characterizing
Search interfaces on the web : querying and characterizing
Search interfaces on the web : querying and characterizing
Search interfaces on the Web : querying and characterizing
Segmental durations of speech
Selective outsourcing in global IT services :
Selective outsourcing in global IT services : operational level chalenges nd opportunities
Selective outsourcing in global IT services : operational level chalenges nd opportunities
Semantic and fuzzy modelling for human behaviour recognition in smart spaces :
Semantic and fuzzy modelling for human behaviour recognition in smart spaces :
Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living
Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living
Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living
Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living
Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living
Setup optimization in high-mix surface mount PCB assembly
Setup optimization in high-mix surface mount PCB assembly
Setup optimization in high-mix surface mount PCB assembly
Setup optimization in high-mix surface mount PCB assembly
Setup optimization in high-mix surface mount PCB assembly
Setup optimization in high-mix surface mount PCB assembly
Signature ensembles and receiver structures for oversaturated synchronous DS-CDMA systems
Similarity relations on words : relational codes and periods
Software development process modeling : developers perspective to contemporary modeling techniques
Software development process modeling : developers perspective to contemporary modeling techniques
Software development process modeling : developers perspective to contemporary modeling techniques
Software reuse mechanisms and techniques : safety versus flexibility
Solving challenging real-world scheduling problems
Solving challenging real-world scheduling problems
Solving challenging real-world scheduling problems
Solving challenging real-world scheduling problems
Solving the puzzle of mobile learning adoption
Solving the puzzle of mobile learning adoption
Solving the puzzle of mobile learning adoption
Some advances in mathematical models for preference relations
Some advances in mathematical models for preference relations
Some new global optimization algorithms
Sparse predictive modeling :
Sparse predictive modeling : a cost-effective perspective
Sparse predictive modeling : a cost-effective perspective
Stepwise development of dependable systems
Stepwise development of hybrid systems
Structural and computational existence results for multidimensional subshifts
Structural and computational existence results for multidimensional subshifts
Structural and computational existence results for multidimensional subshifts
Structural and computational existence results for multidimensional subshifts
Structural and computational existence results for multidimensional subshifts
Structural and computational existence results for multidimensional subshifts
Structural and computational existence results for multidimensional subshifts
Studies on Boolean functions related to quantum computing
Studies on the realization of PRAM
Subshifts with simple cellular automata
Subshifts with simple cellular automata
Supply chain efficiency with some forest industry improvements
Supporting the sales force through mobile information and communication technologies : focusing on the pharmaceutical sales force
Systematic design of synchronous digital circuits
Systematic design of ubiquitous systems
Teaching mathematics and programming : new approaches with empirical evaluation
Technical debt in software development :
Technical debt in software development : examining premises and overcoming implementation for efficient management
Technical debt in software development : examining premises and overcoming implementation for efficient management
Text mining based on the prototype matching method
The human respiratory system : modelling, analysis and control
The inverse neighborhood problem and applications of Welch sets in automata theory
The post correspondence problem for marked morphisms
The self-organizing map in financial benchmarking
Thermal-aware networked many-core systems
Thermal-aware networked many-core systems
Thermal-aware networked many-core systems
Time aware modelling and analysis of Systems-on-Chip
Tool-supported invariant-based programming
Towards an integrative information society : studies on individuality in speech and sign
Towards an integrative information society : studies on individuality in speech and sign
Towards an integrative information society : studies on individuality in speech and sign
Towards an integrative information society : studies on individuality in speech and sign
Towards combining interactive mobile TV and smart spaces : architectures, tools and application development
Towards combining interactive mobile TV and smart spaces : architectures, tools and application development
Towards combining interactive mobile TV and smart spaces : architectures, tools and application development
Towards increased productivity and quality in software development using agile, lean and collaborative approaches
Towards information extraction in the biomedical domain : methods and resources
Towards optimal application mapping for energy-efficient many-core platforms
Trustworthy context dependency in ubiquitous systems
Trustworthy context dependency in ubiquitous systems
Trustworthy context dependency in ubiquitous systems
Understanding software development in practise
Understanding user adoption of mobile technology : focusing on physicians in Finland
Utilizing educational technology in computer science and programming courses :
Utilizing educational technology in computer science and programming courses : theory and practice
Utilizing educational technology in computer science and programming courses : theory and practice
Varieties of tree languages
Video transcoding in a distributed cloud computing environment
Virtual communities : a virtual treasure trove for end-user developers
Virtual communities : a virtual treasure trove for end-user developers
Virtual communities : a virtual treasure trove for end-user developers
Virtual runtime application partitions for resource management in massively parallel architectures
Virtual runtime application partitions for resource management in massively parallel architectures
Virtual runtime application partitions for resource management in massively parallel architectures
Virtual runtime application partitions for resource management in massively parallel architectures
Virtual runtime application partitions for resource management in parallel architectures
Virtual runtime application partitions for resource management in parallel architectures
Virtual runtime application partitions for resource management in parallel architectures :
Visual analytics for behavioral and niche market segmentation
Visual analytics for behavioral and niche market segmentation
Visual analytics for behavioral and niche market segmentation
Visual analytics for behavioral and niche market segmentation
Visual analytics for behavioral and niche market segmentation
Visual analytics for behavioral and niche market segmentation
Visual analytics for behavioral and niche market segmentation
Visual customer segmentation and behavior analysis : a SOM-based approach
Visual customer segmentation and behavior analysis : a SOM-based approach
Visual customer segmentation and behavior analysis : a SOM-based approach
Word equations and related topics : independence, decidability and characterizations
Word equations and related topics : independence, decidability and characterizations
Z[sub4]-Goethals codes, decoding and designs

inLanguage

isPartOf

Fennica

issn

1239-1883

name

Informaatioteknologian laitos, Department of Information Technology
Informaatioteknologian laitos,Department of Information Technology
TUCS diss
TUCs dissertations
TUCS Dissertations
TUCS dissertations
TUCS dissertations / Turku Centre for Computer Science
TUCS Dissertations / Turku Centre for Computer Science
TUCS disserttions
TUCS general publications / Turku Centre for Computer Science
Turku Centre for Computer Science dissertations

P60049

<http://rdaregistry.info/termList/RDAContentType/1020>

sameAs

<https://issn.org/resource/issn/1239-1883>

Informaatioteknologian laitos, Department of Information Technology

Instances

Turku Centre for Computer Science dissertations