A formal verification framework and associated tools for enterprise modeling : application to UEML

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties

The visual preferences for forest regeneration and field afforestation : four case studies in Finland

The overall aim of this dissertation was to study the public's preferences for forest regeneration fellings and field afforestations, as well as to find out the relations of these preferences to landscape management instructions, to ecological healthiness, and to the contemporary theories for predicting landscape preferences. This dissertation includes four case studies in Finland, each based on the visualization of management options and surveys. Guidelines for improving the visual quality of forest regeneration and field afforestation are given based on the case studies. The results show that forest regeneration can be connected to positive images and memories when the regeneration area is small and some time has passed since the felling. Preferences may not depend only on the management alternative itself but also on the viewing distance, viewing point, and the scene in which the management options are implemented. The current Finnish forest landscape management guidelines as well as the ecological healthiness of the studied options are to a large extent compatible with the public's preferences. However, there are some discrepancies. For example, the landscape management instructions as well as ecological hypotheses suggest that the retention trees need to be left in groups, whereas people usually prefer individually located retention trees to those trees in groups. Information and psycho-evolutionary theories provide some possible explanations for people's preferences for forest regeneration and field afforestation, but the results cannot be consistently explained by these theories. The preferences of the different stakeholder groups were very similar. However, the preference ratings of the groups that make their living from forest - forest owners and forest professionals - slightly differed from those of the others. These results provide support for the assumptions that preferences are largely consistent at least within one nation, but that knowledge and a reference group may also influence preferences.Väitöskirjassa tutkittiin ihmisten maisemapreferenssejä (maisemallisia arvostuksia) metsänuudistamishakkuiden ja pellonmetsitysten suhteen sekä analysoitiin näiden preferenssien yhteyksiä maisemanhoito-ohjeisiin, vaihtoehtojen ekologiseen terveyteen ja preferenssejä ennustaviin teorioihin. Väitöskirja sisältää neljä tapaustutkimusta, jotka perustuvat hoitovaihtoehtojen visualisointiin ja kyselytutkimuksiin. Tapaustutkimusten pohjalta annetaan ohjeita siitä, kuinka uudistushakkuiden ja pellonmetsitysten visuaalista laatua voidaan parantaa. Väitöskirjan tulokset osoittavat, että uudistamishakkuut voivat herättää myös myönteisiä mielikuvia ja muistoja, jos uudistusala on pieni ja hakkuun välittömät jäljet ovat jo peittyneet. Preferensseihin vaikuttaa hoitovaihtoehdon lisäksi mm. katseluetäisyys, katselupiste ja ympäristö, jossa vaihtoehto on toteutettu. Eri viiteryhmien (metsäammattilaiset, pääkaupunkiseudun asukkaat, ympäristönsuojelijat, tutkimusalueiden matkailijat, paikalliset asukkaat sekä metsänomistajat) maisemapreferenssit olivat hyvin samankaltaisia. Kuitenkin ne ryhmät, jotka saavat ainakin osan elannostaan metsästä - metsänomistajat ja metsäammattilaiset - pitivät metsänhakkuita esittävistä kuvista hieman enemmän kuin muut ryhmät. Nämä tulokset tukevat oletusta, että maisemapreferenssit ovat laajalti yhteneväisiä ainakin yhden kansan tai kulttuurin keskuudessa, vaikka myös viiteryhmä saattaa vaikuttaa preferensseihin jonkin verran. Nykyiset metsämaisemanhoito-ohjeet ovat pitkälti samankaltaisia tässä väitöskirjassa havaittujen maisemapreferenssien kanssa. Myöskään tutkittujen vaihtoehtoisten hoitotapojen ekologisen paremmuuden ja niihin kohdistuvien maisemallisten arvostusten välillä ei ollut suurta ristiriitaa. Kuitenkin joitakin eroavaisuuksia oli; esimerkiksi sekä maisemanhoito-ohjeiden että ekologisten hypoteesien mukaan säästöpuut tulisi jättää ryhmiin, kun taas ihmiset pitivät eniten yksittäin jätetyistä puista. Informaatiomalli ja psyko-evolutionaarinen teoria tarjoavat mahdollisia selityksiä uudistushakkuisiin ja pellonmetsitykseen kohdistuville preferensseille, vaikkakaan tutkimuksen tuloksia ei voida täysin selittää näillä teorioilla

Report on the Information Retrieval Festival (IRFest2017)

The Information Retrieval Festival took place in April 2017 in Glasgow. The focus of the workshop was to bring together IR researchers from the various Scottish universities and beyond in order to facilitate more awareness, increased interaction and reflection on the status of the field and its future. The program included an industry session, research talks, demos and posters as well as two keynotes. The first keynote was delivered by Prof. Jaana Kekalenien, who provided a historical, critical reflection of realism in Interactive Information Retrieval Experimentation, while the second keynote was delivered by Prof. Maarten de Rijke, who argued for more Artificial Intelligence usage in IR solutions and deployments. The workshop was followed by a "Tour de Scotland" where delegates were taken from Glasgow to Aberdeen for the European Conference in Information Retrieval (ECIR 2017

Smartphone picture organization: a hierarchical approach

We live in a society where the large majority of the population has a camera-equipped smartphone. In addition, hard drives and cloud storage are getting cheaper and cheaper, leading to a tremendous growth in stored personal photos. Unlike photo collections captured by a digital camera, which typically are pre-processed by the user who organizes them into event-related folders, smartphone pictures are automatically stored in the cloud. As a consequence, photo collections captured by a smartphone are highly unstructured and because smartphones are ubiquitous, they present a larger variability compared to pictures captured by a digital camera. To solve the need of organizing large smartphone photo collections automatically, we propose here a new methodology for hierarchical photo organization into topics and topic-related categories. Our approach successfully estimates latent topics in the pictures by applying probabilistic Latent Semantic Analysis, and automatically assigns a name to each topic by relying on a lexical database. Topic-related categories are then estimated by using a set of topic-specific Convolutional Neuronal Networks. To validate our approach, we ensemble and make public a large dataset of more than 8,000 smartphone pictures from 40 persons. Experimental results demonstrate major user satisfaction with respect to state of the art solutions in terms of organization.Peer ReviewedPreprin

Seeing, Sensing, and Scrutinizing

Large changes in a scene often become difficult to notice if made during an eye movement, image flicker, movie cut, or other such disturbance. It is argued here that this <i>change blindness</i> can serve as a useful tool to explore various aspects of vision. This argument centers around the proposal that focused attention is needed for the explicit perception of change. Given this, the study of change perception can provide a useful way to determine the nature of visual attention, and to cast new light on the way that it is—and is not—involved in visual perception. To illustrate the power of this approach, this paper surveys its use in exploring three different aspects of vision. The first concerns the general nature of <i>seeing</i>. To explain why change blindness can be easily induced in experiments but apparently not in everyday life, it is proposed that perception involves a <i>virtual representation</i>, where object representations do not accumulate, but are formed as needed. An architecture containing both attentional and nonattentional streams is proposed as a way to implement this scheme. The second aspect concerns the ability of observers to detect change even when they have no visual experience of it. This <i>sensing</i> is found to take on at least two forms: detection without visual experience (but still with conscious awareness), and detection without any awareness at all. It is proposed that these are both due to the operation of a nonattentional visual stream. The final aspect considered is the nature of visual attention itself—the mechanisms involved when <i>scrutinizing</i> items. Experiments using controlled stimuli show the existence of various limits on visual search for change. It is shown that these limits provide a powerful means to map out the attentional mechanisms involved

Extracting Hierarchies of Search Tasks & Subtasks via a Bayesian Nonparametric Approach

A significant amount of search queries originate from some real world information need or tasks. In order to improve the search experience of the end users, it is important to have accurate representations of tasks. As a result, significant amount of research has been devoted to extracting proper representations of tasks in order to enable search systems to help users complete their tasks, as well as providing the end user with better query suggestions, for better recommendations, for satisfaction prediction, and for improved personalization in terms of tasks. Most existing task extraction methodologies focus on representing tasks as flat structures. However, tasks often tend to have multiple subtasks associated with them and a more naturalistic representation of tasks would be in terms of a hierarchy, where each task can be composed of multiple (sub)tasks. To this end, we propose an efficient Bayesian nonparametric model for extracting hierarchies of such tasks \& subtasks. We evaluate our method based on real world query log data both through quantitative and crowdsourced experiments and highlight the importance of considering task/subtask hierarchies.Comment: 10 pages. Accepted at SIGIR 2017 as a full pape

DocuDrama

This paper presents an approach combining concepts of virtual storytelling with cooperative processes. We will describe why storytelling is relevant in cooperation support applications. We will outline how storytelling concepts provide a new quality for groupware applications. Different prototypes illustrate a combination of a groupware application with various storytelling components in a Theatre of Work