Hae
Aineistot 21-30 / 50
Structural and Computational Existence Results for Multidimensional Subshifts
(Turku Centre for Computer Science, 2015-07-31)
Symbolic dynamics is a branch of mathematics that studies the structure of infinite sequences of symbols, or in the multidimensional case, infinite grids of symbols. Classes of such sequences and grids defined by collections ...
Search Interfaces on the Web: Querying and Characterizing
(Turku Centre for Computer Science, 2008-06-12)
Current-day web search engines (e.g., Google) do not crawl and index a significant portion of theWeb and, hence, web users relying on search engines only are unable to discover and access a large amount of information from ...
Similarity Relations on Words: Relational Codes and Periods
(Turku Centre for Computer Science, 2008-02-22)
Promoting Programming Learning. Engagement, Automatic Assessment with Immediate Feedback in Visualizations
(Turku Centre for Computer Science, 2010-12-11)
The skill of programming is a key asset for every computer science student. Many studies have shown that this is a hard skill to learn and the outcomes of programming courses have often been substandard. Thus, a range of ...
Formal Power Analysis of Systems-on-Chip
(Turku Centre for Computer Science, 2009-12-07)
The design methods and languages targeted to modern System-on-Chip designs are facing tremendous pressure of the ever-increasing complexity, power, and speed requirements. To estimate any of these three metrics, there is ...
Design and Analysis of Forward Error Control Coding and Signaling for Guaranteeing QoS in Wireless Broadcast Systems
(Turku Centre for Computer Science, 2010-10-08)
Broadcasting systems are networks where the transmission is received by several terminals. Generally broadcast receivers are passive devices in the network, meaning that they do not interact with the transmitter. Providing ...
Kaupungin ja maaseudun vuorovaikutus alueellisessa kehittämispolitiikassa
(Turun yliopistoAnnales Universitatis Turkuensis C 214, 2004-08-20)
In Finland, European Union membership and economic globalisation have changed the position of regions from closed territorial systems to nodes of open international networks. The increasing complexity of cities as globalised ...
Modeling and Analysis of Noise and Interconnects for On-Chip Communication Link Design
(Turun yliopistoAnnales Universitatis Turkuensis A I 428, 2011-11-04)
This thesis considers modeling and analysis of noise and interconnects in onchip communication. Besides transistor count and speed, the capabilities of a modern design are often limited by on-chip communication links. These ...
Finnish Maritime Personnel's Conceptions on Safety Management and Safety Culture
(Turun yliopistoAnnales Universitatis Turkuensis A II 316, 2016-06-17)
The purpose of this thesis is to explore Finnish maritime personnel’s conceptions of safety management and its relationship with the concept of safety culture. In addition, the aim is to evaluate the impact of ...
A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture
(Turku Centre for Computer Science, 2014-03-26)
The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges ...