Locality and order-invariant logics

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

Designing for collections : Building histories, sharing the spectacle

The hobby of collecting represents the passionate acquisition and possession of a specific type(s) of object; creating a ‘spectacle’, to be shared with others. The fundamentality of the physical objects in collections against the backdrop of the growing ubiquity of computing provides a unique and compelling avenue for design. Based on interviews with 11 self-identified collectors, this paper discusses the role collectors have in informing HCI design and in turn, the potential HCI has in designing technology to assist collectors in sharing what we term the ‘spectacle’ of collecting. Toward this, we suggest two ideas for future designs, including building personal histories of individual collectable items and developing a simple digital means of connecting proximate collectors with those who stand to benefit from collectors’ unique and item-specific knowledge.

Liberty

In terms of critical discourse, Liberty contributes to the ongoing aesthetic debate on ‘the sublime.’ Philosopher Immanuel Kant (1724–1804) defined the sublime as a failure of rationality in response to sensory overload: a state where the imagination is suspended, without definitive reference points—a state beyond unequivocal ‘knowing.’ I believe the events of September 11, 2001 eluded our understanding in much the same way, leaving us in a moment of suspension between awe and horror. It was an event that couldn’t be understood in terms of scope or scale. It was a moment of overload, which is so difficult to capture in art. With my work I attempt to rekindle that moment of suspension. Like the events of 9/11, Liberty defies definition. Its form is constantly changing; it is always presenting us with new layers of meaning. Nobody quite had a handle on the events that followed 9/11, because the implications were constantly shifting. In the same way, Liberty cannot be contained or defined at any moment in time. Like the events of 9/11, the full story cannot be told in a snapshot. One of the dictionary definitions for the word ‘sublime’ is the conversion of ‘a solid substance directly into a gas, without there being an intermediate liquid phase’. With this in mind, I would like to present Liberty as a work that is literally ‘sublime.’ But what’s really interesting to me about Liberty is that it presents the sublime on all levels: in its medium, in its subject matter (that moment of suspension), and in its formal (formless) presentation. On every level Liberty is sublime—subverting all tangible reference points and eluding capture entirely. Liberty is based on the Statue of Liberty in New York. However, unlike that statue which has stood in New York since 1886 and can be reasonably expected to stand for millennia, this work takes on diminishing proportions, carved as it is in carbon dioxide, a mysterious, previously unexplored medium—one which smokes, snows and dramatically vanishes into a harmless gas. Like the material this work is carved from, the civil liberties of the free world are diminishing fast, since 9/11 and before. This was my thought when I first conceived this work. Now it’s become evident that Liberty expresses a lot more than just this: it demonstrates the erosion of civil liberties, yes. However, it also presents the intangible, indefinable moments in the days and months that followed 9/11. The sculptural work will last for only a short time, and thereafter will exist only in documentation. During this time, the form is continually changing and self-refining, until it disappears entirely, to be inhaled, metabolised and literally taken to heart by viewers.

Vallankumous kotona! : Arkielämän visuaalinen murros 1960-luvun lopussa ja 1970-luvun alussa

Revolution at home! Visual Changes in Everyday Life in Finland in the Late 1960s and Early 1970s The purpose of my research was to investigate the visual changes in private homes in Finland during the 1960s and 1970s. The 1960s is often described as a turning point in Finnish life, a time when the society's previous agricultural orientation began to give way first to an industrial orientation and then, by the end of the 1970s, to a service orientation. My title refers to three elements in the transition period: the question of daily life; the timeframe; and the visual changes observable in private homes, which in retrospect signalled a kind of revolution in the social orientation. Those changes appeared not only in colours and designs but also in the forms and materials of household objects. My premise is that analysing interiors from a historical perspective can reveal valuable information about Finnish society and social attitudes, information that might easily escape attention otherwise. I have used the time-honoured method of collecting narratives. As far back as Aristotle, formulating narratives has been a means of gaining knowledge. By collecting and classifying narratives about the 1960s and 1970s, it is possible to gain new insight into these important decades. The archetypal 1960s narrative, involving student demonstrations and young people's efforts to improve society, is well known. Less well known is the narrative that relates the changes going on in daily life. Substantially the study focuses mainly on fabrics, porcelain ware and the use of plastics. Marimekko's style is especially important when following innovations in the 1950s, 1960s and 1970s. Porcelain production at the Arabia factory was another element that had a great influence on the look of Finnish homes and kitchens; and a further widespread phenomenon of the late 1960s and early 1970s was the use of plastics in many different forms. Further evidence was sought in Anttila department store mail catalogues, which displayed products that were marketed on a large scale, as well as in magazines such as Avotakka. The terminal point of the visual evolution is the real homes, as seen in the questionnaire "Homemade". I have used the 800 pages of the oral history text that respondents of the Finnish Literature Society have written about their first home in the 1960s. I also used archival material on actual homes in Helsinki from the archives of the Helsinki City Museum. The basic story is the elite narrative, which was produced by students in the 1960s. My main narrative from the same time is visual change in everyday life in the late 1960s and early 1970s. I have classified the main narrative of visual change into four subcategories: the narrative of national ideas, the narrative of a better standard of living, the narrative of objects in the culture of everyday life and the narrative of changing colour and form.

Development of a robust framework for an outdoor mobile manipulation UAV

There is a growing interest to autonomously collect or manipulate objects in remote or unknown environments, such as mountains, gullies, bush-land, or rough terrain. There are several limitations of conventional methods using manned or remotely controlled aircraft. The capability of small Unmanned Aerial Vehicles (UAV) used in parallel with robotic manipulators could overcome some of these limitations. By enabling the autonomous exploration of both naturally hazardous environments, or areas which are biologically, chemically, or radioactively contaminated, it is possible to collect samples and data from such environments without directly exposing personnel to such risks. This paper covers the design, integration, and initial testing of a framework for outdoor mobile manipulation UAV. The framework is designed to allow further integration and testing of complex control theories, with the capability to operate outdoors in unknown environments. The results obtained act as a reference for the effectiveness of the integrated sensors and low-level control methods used for the preliminary testing, as well as identifying the key technologies needed for the development of an outdoor capable system.

Evaluating viewpoint entropy for ribbon representation of protein structure

While many measures of viewpoint goodness have been proposed in computer graphics, none have been evaluated for ribbon representations of protein secondary structure. To fill this gap, we conducted a user study on Amazon’s Mechanical Turk platform, collecting human viewpoint preferences from 65 participants for 4 representative su- perfamilies of protein domains. In particular, we evaluated viewpoint entropy, which was previously shown to be a good predictor for human viewpoint preference of other, mostly non-abstract objects. In a second study, we asked 7 molecular biology experts to find the best viewpoint of the same protein domains and compared their choices with viewpoint entropy. Our results show that viewpoint entropy overall is a significant predictor of human viewpoint preference for ribbon representations of protein secondary structure. However, the accuracy is highly dependent on the complexity of the structure: while most participants agree on good viewpoints for small, non-globular structures with few secondary structure elements, viewpoint preference varies considerably for complex structures. Finally, experts tend to choose viewpoints of both low and high viewpoint entropy to emphasize different aspects of the respective structure.

Reverie I

Reverie I is a large-scale public art work commissioned by the Brisbane City Council for permanent installation on the Gardens Point Road Plinth adjacent to QUT Gardens Point campus in Brisbane. The work forms part of the artist's ongoing exploration of the methodology of self-portraiture and amorphous form. In this work, sculpted curls of hair have been assembled according to contours of its constituent cast panels - their capacity to nest with one another determined the final form of the work. The resulting mass of curls resembles both an oversized wig, a withered mulberry and a leaden cloud to invoke notions of movement, reflection and temporality. From the didactic panel: "The curls of Reverie I are derived from 18th century sculptural portraiture. The twisting forms of the highly styled wig known as a periwig were abstracted and inventive, while also bestowing an air of intellectual authority. Curls also evoke two aspects of this particular site: the erratic movement of water associated with the complex tidal movements of Brisbane River, and a state of mental reflection relevant to both the nearby university grounds (where intellectual work takes place) and the riverside pathway (a site for daydreaming)."

Chasing Infinite Junctures

A collaborative solo exhibition at Boxcopy, Brisbane. For Chasing Infinite Junctures, Caitlin Franzmann presented an installation as an open site for affect, response and collaboration. The exhibition began with an architectural intervention, which was available for exchange and transformation involving other artists, events and the sensing body of the audience. For five weeks, Caitlin provided a space for new junctures to unfold – artists including Andrew McLellan, Ross Manning, Henry Mills, Louise Bennett, Leena Riethmuller and Sandra Selig will gather, experiment and create in the space.

Grand Push Auto: A car based exertion game

Grand Push Auto is an exertion game in which players aim to push a full sized car to ever increasing speeds. The re-appropriation of a car as essentially a large weight allows us to create a highly portable and distributable exertion game in which the main game element has a weight of over 1000 kilograms. In this paper we discuss initial experiences with GPA, and present 3 questions for ongoing study which have been identified from our early testing: How might we appropriate existing objects in exertion game design, and does appropriation change how we think about these objects in different contexts, for example environmental awareness? How does this relate to more traditional sled based weight training? How can we create exertion games that allow truly brutal levels of force?

Kernel-based spatial-color modeling for fast moving object tracking

Visual tracking has been a challenging problem in computer vision over the decades. The applications of Visual Tracking are far-reaching, ranging from surveillance and monitoring to smart rooms. Mean-shift (MS) tracker, which gained more attention recently, is known for tracking objects in a cluttered environment and its low computational complexity. The major problem encountered in histogram-based MS is its inability to track rapidly moving objects. In order to track fast moving objects, we propose a new robust mean-shift tracker that uses both spatial similarity measure and color histogram-based similarity measure. The inability of MS tracker to handle large displacements is circumvented by the spatial similarity-based tracking module, which lacks robustness to object's appearance change. The performance of the proposed tracker is better than the individual trackers for tracking fast-moving objects with better accuracy.

Transition to parenthood after assisted reproductive treatment: Follow-up study of singleton pregnancies

Infertility treatments are relatively easily available in most Western countries today, but the psychological consequences of these high-tech treatments have scarcely been addressed. The purpose of this controlled longitudinal study was to explore the early environment of the infant born by assisted reproductive treatment (ART). We focused on the parents mental well-being, marital relations and experience of parenting. In addition to this, we assessed parent child interaction and parents mental representations of their child after long-standing infertility and several unsuccessful ART attempts. The subjects were infertile couples who achieved a singleton pregnancy by in vitro fertilization (IVF) or intracytoplasmic sperm injection (ICSI). The control group comprised of spontaneously conceiving couples with singleton pregnancies. ART women showed fewer depressive symptoms than controls during pregnancy and after delivery, but the difference vanished by the end of the child s first year. ART men consistently had lower levels of anxiety symptoms, sleeping difficulties, and social dysfunction than control men. Control women experienced a decrease in dyadic consensus during the child s first year, which did not happen among ART women. After the child was born, ART men reported a higher level of sexual affection compared with control men. Psychic symptoms and stressful life events were differently related to marital relations in ART and control groups. The parenting experiences of ART mothers were in general at a higher level, compared with controls, and they changed in a positive direction during the child s first year. Fathering experiences were at the same level in both groups, and they changed positively in both groups by the end of the child s first year. The parenting experiences of ART mothers and fathers were more resilient to certain child-related stressors than those of control group. Both mothers and fathers with long-term infertility showed more sensitive behaviour with their child in toddler-age than in infancy. Correspondingly, children s cooperation increased. Mothers often mentioned a fear of miscarriage and difficulty in creating representations of the child during pregnancy. Descriptions of the infants were mainly rich, vivid and loaded with positive features. In conclusion, ART parents in general seem to adapt well to the transition to parenthood. Former infertility and ART do not seem to constitute a risk for parents mental health, marital relations or experience of parenting. Even longstanding infertility with several unsuccessful treatment attempts did not create a risk as regards parenting behaviour or parents mental representations of their child. In this group, however, women were found to have fear for losing the child and difficulty in creating representations of the child during pregnancy, which in some cases may indicate need for psychosocial support. Even though our results are encouraging, infertility and infertility treatments are generally considered as a stressful experience. It is a challenge for health authorities to recognize those couples who need professional help to overcome the distressing experiences of infertility and ART.

Extending visual perception with haptic exploration for improved scene understanding

Scene understanding has been investigated from a mainly visual information point of view. Recently depth has been provided an extra wealth of information, allowing more geometric knowledge to fuse into scene understanding. Yet to form a holistic view, especially in robotic applications, one can create even more data by interacting with the world. In fact humans, when growing up, seem to heavily investigate the world around them by haptic exploration. We show an application of haptic exploration on a humanoid robot in cooperation with a learning method for object segmentation. The actions performed consecutively improve the segmentation of objects in the scene.

Rendering stiffer walls: a hybrid haptic system using continuous and discrete time feedback

Instability in conventional haptic rendering destroys the perception of rigid objects in virtual environments. Inherent limitations in the conventional haptic loop restrict the maximum stiffness that can be rendered. In this paper we present a method to render virtual walls that are much stiffer than those achieved by conventional techniques. By removing the conventional digital haptic loop and replacing it with a part-continuous and part-discrete time hybrid haptic loop, we were able to render stiffer walls. The control loop is implemented as a combinational logic circuit on an field-programmable gate array. We compared the performance of the conventional haptic loop and our hybrid haptic loop on the same haptic device, and present mathematical analysis to show the limit of stability of our device. Our hybrid method removes the computer-intensive haptic loop from the CPU-this can free a significant amount of resources that can be used for other purposes such as graphical rendering and physics modeling. It is our hope that, in the future, similar designs will lead to a haptics processing unit (HPU).

Ruumis ja rauta : esseitä esineiden sosiaalisuudesta

"Body and Iron: Essays on the Socialness of Objects" focuses on the bodily-material interaction of human subjects and technical objects. It poses a question, how is it possible that objects have an impact on their human users and examines the preconditions of active efficacy of objects. In this theoretical task the work relies on various discussions drawing from realistic ontology, phenomenology of body, neurophysiology of Antonio Damasio and psychoanalysis to establish both objects and bodies as material entities related in a causal interaction with each other. Out of material interaction emerge a symbolic field, psyche and culture that produce representations of interactions with material world they remain dependent on and conditioned by. Interaction with objects informs the human body via its somatosensory systems: interoseptive and proprioseptive (or kinesthetic) systems provide information to central nervous system of the internal state of the body and muscle tensions and motor activity of the limbs. Capability to control the movements of one's body by the internal "feel" of being a body turns out to be a precondition to the ability to control artificial extensions of the body. Motor activity of the body is involved in every perception of environment as the feel of one's own body is constitutive of any perception of external objects. Perception of an object cause changes in the internal milieu of the body and these changes in the organism form a bodily representation of an external object. Via these "muscle images" the subject can develop a feel for an instrument. Bodily feel for an object is pre-conceptual, practical knowledge that resists articulation but allows sensing the world through the object. This is what I would call sensual knowledge. Technical objects intervene between body and environment, transforming the relation of perception and motor activity. Once connected to a vehicle, human subject has to calibrate visual information of his or her position and movement in space to the bodily actions controlling the machine. It is the machine that mediates the relation of human actions to the relation of her body to its environment. Learning to use the machine necessarily means adjusting his or her bodily actions to the responses of the machine in relation to environmental changes it causes. Responsiveness of the machine to human touch "teaches" its subject by providing feedback of the "correctitude" of his or her bodily actions. Correct actions form a body technique of handling the object. This is the way of socialness of objects. While responding to human actions they generate their subjects. Learning to handle a machine means accepting the position of the user in the program of action materialized in the construction of the object. Objects mediate, channel and transform the relation of the body to its environment and via environment to the body itself according to their material and technical construction. Objects are sensory media: they channel signals and information from the environment thus constituting a representation of environment, a virtual or artificial reality. They also feed the body directly with their powers equipping their user with means of regulating somatic and psychic states of her self. For these reasons humans look for the company of objects. Keywords: material objects, material culture, sociology of technology, sociology of body, mobility, driving

Conformal Field Theory Methods for Variants of Schramm-Loewner Evolutions

This thesis consists of an introduction, four research articles and an appendix. The thesis studies relations between two different approaches to continuum limit of models of two dimensional statistical mechanics at criticality. The approach of conformal field theory (CFT) could be thought of as the algebraic classification of some basic objects in these models. It has been succesfully used by physicists since 1980's. The other approach, Schramm-Loewner evolutions (SLEs), is a recently introduced set of mathematical methods to study random curves or interfaces occurring in the continuum limit of the models. The first and second included articles argue on basis of statistical mechanics what would be a plausible relation between SLEs and conformal field theory. The first article studies multiple SLEs, several random curves simultaneously in a domain. The proposed definition is compatible with a natural commutation requirement suggested by Dubédat. The curves of multiple SLE may form different topological configurations, ``pure geometries''. We conjecture a relation between the topological configurations and CFT concepts of conformal blocks and operator product expansions. Example applications of multiple SLEs include crossing probabilities for percolation and Ising model. The second article studies SLE variants that represent models with boundary conditions implemented by primary fields. The most well known of these, SLE(kappa, rho), is shown to be simple in terms of the Coulomb gas formalism of CFT. In the third article the space of local martingales for variants of SLE is shown to carry a representation of Virasoro algebra. Finding this structure is guided by the relation of SLEs and CFTs in general, but the result is established in a straightforward fashion. This article, too, emphasizes multiple SLEs and proposes a possible way of treating pure geometries in terms of Coulomb gas. The fourth article states results of applications of the Virasoro structure to the open questions of SLE reversibility and duality. Proofs of the stated results are provided in the appendix. The objective is an indirect computation of certain polynomial expected values. Provided that these expected values exist, in generic cases they are shown to possess the desired properties, thus giving support for both reversibility and duality.