Search
Now showing items 1-100 of 218
(Chapter / Bokkapittel / PublishedVersionAcceptedVersionPublishedVersionAcceptedVersion; Peer reviewed, 2020)
The aim of this workshop is to address the role that human autonomy presently receives in HCI research and how “autonomous technologies” might challenge, rather than facilitate human autonomy. We acknowledge a need for new ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
This paper discusses the design of a musical synthesizer that takes words as input, and attempts to generate music that somehow underscores those words. This is considered as a tool for sound designers who could, for ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
In acoustic instruments, sound production relies on the interaction between physical objects. Digital musical instruments, on the other hand, are based on arbitrarily designed action--sound mappings. This paper describes ...
(Chapter / Bokkapittel / AcceptedVersionAcceptedVersion; Peer reviewed, 2020)
Rural areas are less attractive and sustainable for people and businesses alike, partially due to inadequate transport services. In this paper, we address transport-related challenges in rural Norway. The focal aspect of ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
This paper addresses the cross-use of different Digi-tal Learning Environments (DLE) in Higher Education (HE). The paper aims to analyze DLEs and their use in a HE organi-zational entity through the lens of Common Information ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
This study illustrates the independent living elderly’s (≥65 years) views on robots. The data was documented through audio recordings of interviews, photos, and written logs. The analysis was done through qualitative ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
A challenge in evolutionary robotics is the in parallel adaptation of morphologies and controllers. Here, we considered encoding methods for morphogenesis of 2D virtual creatures that can be created from directed trees. ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2020)
We introduce a new model for evaluating privacy that builds on the criteria proposed by the EuroPriSe certification scheme by adding usability criteria. Our model is visually represented through a cube, called Usable Privacy ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2020)
A software product line (SPL) enables large-scale reuse in a family of related software systems through configurable features. SPLs represent a long-term investment so that their ongoing evolution becomes paramount and ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
This paper describes an interactive art installation shown at ICLI in Trondheim in March 2020. The installation comprised three musical robots (Dr. Squiggles) that play rhythms by tapping. Visitors were invited to wear ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
The usefulness and usability of knowledge bases (KBs) is often limited by quality issues. One common issue is the presence of erroneous assertions, often caused by lexical or semantic confusion. We study the problem of ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2020)
We consider the retransmission of packets inside the network on a segment of an end-to-end path. Using a Markov chain formulation of the problem, we evaluate the effect of the loss probability in the network segment that ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2020)
The Recursive InterNetworking Architecture RINA describes a new way to look at networking; it offers a point of view that is fundamentally different from today's networks. This paper explains how designing congestion control ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
Using microservices is a way of supporting an agile architecture. However, if the microservices development is not properly managed, the teams’ development velocity may be affected, reducing agility and increasing architectural ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
Following the highly pervasive and effective use of agile methods for software development, attention has now turned to the much more difficult challenge of applying these methods in large scale, organization-wide development. ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2020)
Today, Unmanned Aerial Vehicles (UAVs) are widely used in many different scenarios including search, monitoring, inspection, and surveillance. To be able to transmit the sensor data from the UAVs to the destination reliably ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
We discuss methodological choices in contrastive and diagnostic evaluation in meaning representation parsing, i.e. mapping from natural language utterances to graph-based encodings of its semantic structure. Drawing ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2020)
Non-determinism in a concurrent or distributed setting may lead to many different runs or executions of a program. This paper presents a method to reproduce a specific run for non-deterministic actor or active object ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
This paper reports from the early phase of a Participatory Design (PD) process where the goal is to design technology that involves people with Intellectual Disabilities (ID) and their caretakers as participants. The ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
How can older adults actively participate in the design processes of assistive robots designed for their homes? We have organized workshops with a group of older adults who worked actively with materials and physical ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
Neural methods for sentiment analysis have led to quantitative improvements over previous approaches, but these advances are not always accompanied with a thorough analysis of the qualitative differences. Therefore, it is ...
(Book chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
This work proposes a novel facial expression recognition approach to contribute to better human-machine interactions. To do that, edge features in facial expression images are combined with a recurrent neural network (RNN) ...
(Chapter / Bokkapittel / SubmittedVersion, 2019)
In multi-tenant datacenters, the hardware may be homogeneous but the traffic often is not. For instance, customers who pay an equal amount of money can get an unequal share of the bottleneck capacity when they do not open ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
RaveForce is a programming framework designed for a computational music generation method that involves audio sample level evaluation in symbolic music representation generation. It comprises a Python module and a SuperCollider ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
The DiffServ Code Point (DSCP) field in the IP header allows to specify a desired per-hop behavior as packets traverse routers. Setting the DSCP field opportunistically, without prior contractual agreement, has recently ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
Hospitals, as data custodians, have the need to share a version of the data in hand with external research institutes for analysis purposes. For preserving the privacy of the patients, anonymization methods are employed ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
The Ontology Alignment Evaluation Initiative (OAEI) aims at comparing ontology matching systems on precisely defined test cases. These test cases can be based on ontologies of different levels of complexity (from simple ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
The usefulness of tabular data such as web tables critically depends on understanding their semantics. This study focuses on column type prediction for tables without any meta data. Unlike traditional lexical matching-based ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
We introduce a machine learning technique to autonomously generate novel melodies that are variations of an arbitrary base melody. These are produced by a neural network that ensures that (with high probability) the melodic ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
This paper describes an evaluation of five data-driven part-of-speech (PoS) taggers for spoken Norwegian. The taggers all rely on different machine learning mechanisms: decision trees, hidden Markov models (HMMs), conditional ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
We present the participation of LogMap and its variants in the OAEI 2019 campaign. The LogMap project started in January 2011 with the objective of developing a scalable and logic-based ontology matching system. This is ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
The Round-Trip Time (RTT) is a property of the path between a sender and a receiver communicating with Transmission Control Protocol (TCP) over an IP network and over the public Internet. The end-to-end RTT value influences ...
(Chapter / Bokkapittel / SubmittedVersion, 2019)
Monoplant is a prototype of an educational construction kit that provides teachers and secondary school students with hands-on experience on plant biology. We present the design rationale of Monoplant and report on its ...
(Chapter / Bokkapittel / PublishedVersionAcceptedVersionPublishedVersionAcceptedVersion; Peer reviewed, 2019)
Large-scale software development is increasingly making use of agile practices. In large-scale projects, a team needs to align with other teams and the rest of the organization. This has been shown to threaten team autonomy, ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
We present results and comparative analysis on the prediction of sensor events in a smart home environment with a limited number of binary sensors. We apply two probabilistic methods, namely Sequence Prediction via Enhanced ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
We measure the intensity of diachronic semantic shifts in adjectives in English, Norwegian and Russian across 5 decades. This is done in order to test the hypothesis that evaluative adjectives are more prone to temporal ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
We extend the well-known word analogy task to a one-to-X formulation, including one-to-none cases, when no correct answer exists. The task is cast as a relation discovery problem and applied to historical armed conflicts ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
The formal evaluation of new interfaces for musical expression (NIMEs) in their use by ensembles of musicians is a challenging problem in human-computer interaction (HCI). NIMEs are designed to support creative expressions ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
This paper describes key requirements for digital innovation readiness in the public healthcare sector. Collaborative innovation models, where internal and external innovators contribute their ideas and solutions put certain ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
We study perfusion by a multiscale model coupling diffusion in the tissue and diffusion along the one-dimensional segments representing the vasculature. We propose a block-diagonal preconditioner for the model equations ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
This paper is about creating digital musical instruments where a predictive neural network model is integrated into the interactive system. Rather than predicting symbolic music (e.g., MIDI notes), we suggest that predicting ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
Managing dependencies between teams and within teams is critical when running large-scale agile projects. In large-scale software development, work is carried out simultaneously by many developers and development teams. ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
This paper documents the creation of a large-scale dataset of evaluative sentences – i.e. both subjective and objective sentences that are found to be sentiment-bearing – based on mixed-domain professional reviews from ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
This paper explores the use of multi-task learning (MTL) for incorporating external knowledge in neural models. Specifically, we show how MTL can enable a BiLSTM sentiment classifier to incorporate information from sentiment ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
Existing named entity recognition (NER) systems rely on large amounts of human-labeled data for supervision. However, obtaining large-scale annotated data is challenging particularly in specific domains like health-care, ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
This paper describes a new intelligent interactive instrument, based on an embedded computing platform, where deep neural networks are applied to interactive music generation. Even though using neural networks for music ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
Generating convincing music via deep neural networks is a challenging problem that shows promise for many applications including interactive musical creation. One part of this challenge is the problem of generating convincing ...
(Chapter / Bokkapittel / SubmittedVersion, 2019)
Introduction: Software companies aim to achieve continuous delivery to constantly provide value to their customers. A popular strategy is to use microservices architecture. However, such an architecture is also subject to ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
The growth of compute-intensive applications causes an increasing demand for computing resources in both data centers and underlying networks. To satisfy these computing and networking demands, hardware-accelerated computing ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
The end-to-end distribution of real-time 360-degree video needs to be evaluated in a wholesome manner, considering all aspects from video capture to encoding, delivery, and playback, as well as timely and appropriate ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2019)
Overcoming robotics challenges in the real world requires resilient control systems capable of handling a multitude of environments and unforeseen events. Evolutionary optimization using simulations is a promising way to ...
(Chapter / Bokkapittel / SubmittedVersion, 2019)
This paper introduces a promising new direction for getting a traffic flow up to speed fast while keeping the maximum queuing delay that the new flow adds extremely low. It is therefore most interesting in environments ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
Extant Information Systems research emphasizes the strategic benefits of digitalization and value co-creation for business. Less is known, however, about the dynamics of how value is co-created in the digitalization of the ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
Video streaming is one of the top traffic contributors in the Internet and a frequent research subject. It is expected that streaming traffic will grow 4-fold for video globally and 9-fold for mobile video between 2017 and ...
(Book chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
This paper explores and conceptualises a phenomenon called platformization. The background is that the growing complexity of IT solutions is in many organizations costly and virtually impossible to adapt to changing ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
Identity today has become a complex issue. An average user of the Internet has accounts on several services, and several traces of use are gathered by large companies. However, the same companies are using Artificial ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
Recent years have witnessed a surge of publications aimed at tracing temporal changes in lexical semantics using distributional methods, particularly prediction-based word embedding models. However, this vein of research ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
We use dependency triples automatically extracted from a Web-scale corpus to perform unsupervised semantic frame induction. We cast the frame induction problem as a triclustering problem that is a generalization of clustering ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
The challenge addressed in this paper consists in offloading packet-based pacing to a hardware Network Interface Card, while retaining the flexibility of software timers. In this direction, we propose, design, implement, ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
Privacy is often applied as an abstract concept in law and regulations. In everyday life, negotiating what information to share with whom, where, and at what times, and in what situations may be a challenge at home and in ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
A robot moving in the home is a new experience for most people. Classifying the different ways that humans and robots move together can help in designing interactions. In this paper, we first put robots’ movements into two ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
One of the primary characteristics of robots is the ability to move autonomously in the same space as humans. In what ways does movement influence the interaction between humans and robot? In this paper, we examine how ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
—Communication technology improvements have inspired the idea of connecting almost every things to the Internet: from home appliances, medical devices, and cars, to large infrastructures. A unified and secure network of ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Computer networks research has been notoriously bad at reproducibility – a key aspect of making research results credible and convincing. This has been attributed to a lack of incentive for researchers to share the data ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
As the application domains of sampling-based motion planning grow, more complicated planning problems arise that challenge the functionality of these planners. One of the main challenges in the implementation of a ...
(Book chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
While it is generally accepted that patient centred care should be the guiding principle for the delivery of health services, it is not yet clear how this should be digitalised. What is clear, however, is that the current ...
(Chapter / Bokkapittel / SubmittedVersion, 2018)
In this paper, we examine the role of IT in process innovations related to patient flow from emergency care admission, through subsequent patient transfers, and discharge. In particular, we explore how digital technology ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
This paper is concerned with the problem of overconsumption and opportunities to create alternative marketplaces that could ease the transition towards less, and different ways of consuming in everyday life. We argue that ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Concerns have been raised regarding the economical viability for each operator to have a full regional 5G coverage. A possible solution is to have traffic offloaded to competitors. In this work we present a new scheme for ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
This paper presents a case of co-design for people with rheumatic disorder to support the argument of opening up the design space to include interaction opportunities found in the physical world. The position argued for ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Long Short-Term Memory (LSTM) neural networks are a state-of-the-art techniques when it comes to sequence learning and time series prediction models. In this paper, we have used LSTM-based Recurrent Neural Networks (RNN) ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
This paper is a reflective paper discussing fear, and the emotions associated with it, felt by the elderly while using modern technologies. The pattern of fear emerged from our initial research activities. The preliminary ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
Various narrative methods have been used in Human-Computer Interaction field (HCI), such as digital storytelling, and co-construction of stories. In this position paper, we shed light on the Story-Dialogue Method (SDM) ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
We illustrate in this paper some of the negative emotions experienced by students when interacting with digital systems in learning situations, where there is a lack of feedback, or the interaction with digital systems is ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Many works in collaborative robotics and human-robot interaction focuses on identifying and predicting human behaviour while considering the information about the robot itself as given. This can be the case when sensors ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
The field of collaborative robotics and humanrobot interaction often focuses on the prediction of human behaviour, while assuming the information about the robot setup and configuration being known. This is often the case ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Architectural technical debt can have a huge impact on software maintainability and evolution. Hence, different architectural violations, detected as architectural smells, need to be identified and refactored. In this ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Software startups are typically under extreme pressure to get to market quickly with limited resources and high uncertainty. This pressure and uncertainty is likely to cause startups to accumulate technical debt as they ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
This paper investigates the evolution of modular robots using different selection preferences (i.e., fitness functions), aiming at novelty, speed of locomotion, number of limbs, and com- binations of these. The outcomes ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
One of the core functions in most Evolutionary Algorithms is mutation. In complex search spaces, which are common in Evolutionary Robotics, mutation is often used both for optimizing existing solutions, described as ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Secure software development represents a fundamental part of ‘security by design’ which in turn is a prerequisite for ‘privacy by design’ in the terminology of GDPR (General Data Protection Regulation). To follow and adhere ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
In this work, we study different types of uncertainty in subjective opinions based on the internal belief mass distribution and the base rate distribution. Subjective opinions which are used as arguments in subjective logic ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
This paper explores the role of design and use of digital feedback mechanisms in domestic autonomous devices. We explore this in relation to elderly’s trust towards robots. Specifically, the paper reflects on a case study ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Obstructive Sleep Apnea (OSA) is a common, but severely under- diagnosed sleep disorder characterized by recurring periods of shallow or paused breathing during sleep. It is our long-term goal to allow people to perform ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Evaluation of Distributed Complex Event Processing (CEP) systems is a rather challenging task. To simplify this task, we developed the open simulation framework for Distributed CEP, called DCEP-Sim. The goal of this tutorial ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
This paper presents the Norwegian Review Corpus (NoReC), created for training and evaluating models for document-level sentiment analysis. The full-text reviews have been collected from major Norwegian news sources and ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
We present ctrlTCP, a method to combine the congestion controls of multiple TCP connections. In contrast to the previous methods such as the Congestion Manager, ctrlTCP can couple all TCP flows that leave one sender, ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
For robots to handle the numerous factors that can afect them in the real world, they must adapt to changes and unexpected events. Evolutionary robotics tries to solve some of these issues by automatically optimizing a ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
Recent strategic design and management discourse has identified gaps in the current framing of design for organisations, specifically highlighting a lack of discussions related to emergent design cultures and calling for ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
The elderly in the future will use smart house technology, sensors, and robots to stay at home longer. Privacy at home for these elderly is important. In this exploratory paper, we examine different understandings of privacy ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2018)
In this paper, we empirically evaluate the utility of transfer and multi-task learning on a challenging semantic classification task: semantic interpretation of noun--noun compounds. Through a comprehensive series of ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
The elderly in the future will use smart house technology, sensors, and robots to stay at home longer. Privacy at home for these elderly is important. In this exploratory paper, we examine different understandings of privacy ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Communication between two Internet hosts using parallel connections may result in unwanted interference between the connections. In this dissertation, we propose a sender-side solution to address this problem by letting ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
A significant problem of using deep learning techniques is the limited amount of data available for training. There are some datasets available for the popular problems like item recognition and classification or self-driving ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
In a recent study we have encountered an unexpected result regarding the evolutionary exploration of robot morphology spaces. Specifically, we found that an algorithm driven by selection based on morphological novelty ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Energy usage in LTE base stations are driven by spectral efficiency and traffic. To predict the energy usage these parameters must be forecasted. In this work we analyse hourly measurements collected from more than 12000 ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2017)
This paper describes an emerging shared repository of large-text resources for creating word vectors, including pre-processed corpora and pre-trained vectors for a range of frameworks and configurations. This will facilitate ...
(Chapter / Bokkapittel / SubmittedVersion, 2017)
Live media streaming applications are increasingly popular, with services such as Twitch.tv and YouNow being used by millions of people. Deploying such services on the cloud can be very expensive, as the cost is proportional ...