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