@article {Simula.simula.2804,
	title = {Audiovisual robustness: Exploring perceptual tolerance to asynchrony and quality distortion},
	journal = {Multimedia Tools and Applications},
	volume = {74},
	year = {2015},
	pages = {345-365},
	publisher = {Springer},
	abstract = {Rules-of-thumb for noticeable and detrimental asynchrony between audio and video streams have long since been established from the contributions of several studies. Although these studies share similar findings, none have made any discernible assumptions regarding audio and video quality. Considering the use of active adaptation in present and upcoming streaming systems, audio and video will continue to be delivered in separate streams; consequently, the assumption that the rules-of-thumb hold independent of quality needs to be challenged. To put this assumption to the test, we focus on the detection, not the appraisal, of asynchrony at different levels of distortion. Cognitive psychologists use the term temporal integration to describe the failure to detect asynchrony. The term refers to a perceptual process with an inherent buffer for short asynchronies, where corresponding auditory and visual signals are merged into one experience. Accordingly, this paper discusses relevant causes and concerns with regards to asynchrony, it introduces research on audiovisual perception, and it moves on to explore the impact of audio and video quality on the temporal integration of different audiovisual events. Three content types are explored, speech from a news broadcast, music presented by a drummer, and physical action in the form of a chess game. Within these contexts, we found temporal integration to be very robust to quality discrepancies between the two modalities. In fact, asynchrony detection thresholds varied considerably more between the different content than they did between distortion levels. Nevertheless, our findings indicate that the assumption concerning the independence of asynchrony and audiovisual quality may have to be reconsidered.},
	keywords = {Workshop},
	author = {Eg, Ragnhild and Griwodz, Carsten and Halvorsen, P{\r a}l and Dawn Marie {Behne}}
}
@misc {Simula.simula.2854,
	title = {Challenges in Constraint-Based Testing},
	howpublished = {Selected talk at {\textquoteright}Verification meets CP{\textquoteright} workshop 2014, Lyon, France},
	year = {2014},
	publisher = {.},
	address = {.},
	abstract = {Constraint-Based Testing emerged ten years ago as an important software testing topic. Many developments in symbolic execution, a technique used to symbolically explore the execution paths of a program under test, revealed the pressing needs for having at hand powerful constraint solving methods.},
	keywords = {Workshop},
	author = {Gotlieb, Arnaud and Ganesh, Vijay}
}
@misc {Simula.simula.2958,
	title = {Coding for Multipath TCP: Opportunities and Challenges},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	keywords = {Workshop},
	author = {Ytrehus, {\O}yvind}
}
@inproceedings {RELAW2014,
	title = {Current and Necessary Insights Into SACM: an Analysis Based on Past Publications},
	journal = {IEEE 7th International Workshop on Requirements Engineering and Law (RELAW 2014)},
	year = {2014},
	month = {August},
	pages = {10-13},
	publisher = {IEEE Computer Society},
	type = {Workshop},
	abstract = {SACM (Structured Assurance Case Metamodel) is a standard for assurance case creation and exchange. Although it is a promising initiative towards providing common system assurance practices and improving them, the document of the standard provides little information about how to use SACM, its benefits, and its limitations. Consequently, it is difficult to determine what SACM can be used for and what needs to be investigated about the standard. This position paper aims to address this issue by reviewing 28 publications that have referred to SACM. Based on the insights gained, we propose a set of aspects that need to be further studied. This information can be valuable for anyone interested in the standard.},
	keywords = {Workshop},
	isbn = {978-1-4799-6325-6},
	author = {Jose Luis {de la Vara}},
	editor = {Amyot, Daniel and Ant{\'o}n, A.I. and Breaux, T. and Massey, A.K. and Siena, A.}
}
@misc {Simula.simula.2960,
	title = {A Distributed Infrastructure to Analyse SIP Attacks in Internet Using the NorNet Testbed},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Aziz, Adnan}
}
@misc {Simula.simula.2938,
	title = {An Experiment Tutorial for the NorNet Core Testbed},
	year = {2014},
	month = {August},
	abstract = {This tutorial provides an introduction on how to get access to the NorNet Core testbed as well as how to run experiments in the testbed.},
	keywords = {Workshop},
	author = {Dreibholz, Thomas}
}
@inproceedings {Experimental-Evaluation-of-Multipath-TCP-Schedulers,
	title = {Experimental Evaluation of Multipath TCP Schedulers},
	journal = {ACM SIGCOMM Capacity Sharing Workshop},
	year = {2014},
	month = {August},
	type = {Workshop},
	abstract = {In this paper, we focus on different schedulers for Multipath TCP. We first design and implement a generic modular scheduler framework that enables testing of different schedulers for Multipath TCP. We then use this framework to do an in-depth analysis of different schedulers by running experiments on a emulator and a testbed. We consider bulk data transfer as well as application limited traffic and identify metrics to quantify the scheduler{\textquoteright}s performance. Our results shed light on how scheduling decisions can help to improve multipath transfer.},
	keywords = {Workshop},
	author = {Paasch, Christoph and Ferlin, Simone and Alay, {\"O}zg{\"u} and Bonaventure, Olivier}
}
@article {Simula.simula.1986,
	title = {Failure Factors of Small Software Projects at a Global Outsourcing Marketplace},
	journal = {Journal of Systems and Software},
	volume = {92},
	number = {x},
	year = {2014},
	pages = {157-169},
	abstract = {The presented study aims at a better understanding of when and why software projects fail. The analysis is based on a data set of 785,325 small-scale outsourced software projects. A binary logistic regression model relying solely on information known at the time of a project{\textquoteright}s start-up correctly predicted 74\% of the project failures and 67\% of the non-failures. The model-predicted failure probability corresponded well with the actual frequencies of failures for most levels of failure risk. The model suggests that the factors connected to the strongest reduction in the risk of failure are related to previous collaboration between the client and the provider and a low failure rate of previous projects completed by the provider. We found the characteristics of the client to be almost as important as those of the provider in explaining project failures and that the risk of project failure increased with an increased client emphasis on low price and with an increased project size. The identified relationships seem to be stable across the studied project size categories, which indicate that the results may potentially be applicable to larger projects than the small-scale projects dominating this data set.},
	keywords = {Conference, Internal Seminar, University of Oslo, Workshop},
	author = {J{\o}rgensen, Magne}
}
@misc {Simula.simula.2954,
	title = {Future Internet in Germany - the German-Lab Project and ToMaTo Testbed},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Schwerdel, Dennis}
}
@phdthesis {HjelleTUDelft2014,
	title = {A Hamilton-Jacobi Framework for Modeling Geological Folding and Deformation},
	year = {2014},
	month = {July},
	school = {Delft University of Technology},
	type = {phd},
	address = {Department of Imaging Physics, Faculty of Applied Sciences},
	keywords = {Workshop},
	isbn = {978-82-92593-15-8},
	author = {Hjelle, {\O}yvind}
}
@misc {Simula.simula.3050,
	title = {Interactive Configuration Verification Using Constraint Programming},
	howpublished = {Lyon, France},
	year = {2014},
	publisher = {CP meets Verification},
	address = {Lyon, France},
	abstract = {Configuration is a recurring problem in many domains. Manual configuration - the common practice in many companies - is time-consuming and error-prone, especially for large-scale systems. During the last three decades, researchers have developed a large number of approaches to automate various configuration use cases. Most of these approaches concern consistency of configuration decisions, and rely on CP or SAT solvers for ensuring consistency. We focus on interactive architecture-level configuration of Cyber-Physical Systems (CPS). In this context, engineers configure products by assigning values to tens of thousands of parameters. Typically, 15 to 20 percent of these parameters are interdependent. Finding consistent values for interdependent parameters without any automated support is challenging. In our interactive configuration approach, we map a configuration problem into a constraint network. During configuration, new variables or constraints may be added to the constraint network. We call this the dynamic growth of the constraint network. To ensure the consistency of configuration decisions, we use constraint propagation over finite domains. However, using constraint propagation, we can only achieve domain consistency, which is an approximation of consistency. Furthermore, the dynamic growth of the constraint network may invalidate some of the earlier configuration decisions. Therefore, in general, backtracking is needed for finding consistent solutions. Backtracking, however, makes the configuration process considerably slow. We eliminate the need for backtracking by imposing some restrictions on the configuration problem (i.e., the model of the product family), and configuring parameters in a certain order. For the latter, we have proposed an algorithm that computes a partial ordering over configurable parameters. We proved that, for configuration problems that conform to the specified restrictions, the ordering approach prevents the need for backtracking, while ensuring consistency. In future, we will study various CPSs to identify what percentage of realistic CPSs conform to the specified restrictions. Furthermore, we will evaluate the improvements that a backtrack-free algorithm can bring about when configuring realistic CPSs.},
	keywords = {Workshop},
	author = {Behjati, Razieh and Nejati, Shiva}
}
@inproceedings {Simula.simula.2538,
	title = {Interactive Zoom and Panning From Live Panoramic Video},
	journal = {Proceeding of the 24th ACM Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV)},
	year = {2014},
	publisher = {ACM},
	type = {Workshop},
	address = {New York, NY, USA},
	abstract = {Panorama video is becoming increasingly popular, and we present an end-to-end real-time system to interactively zoom and pan into high-resolution panoramic videos. Compared to existing systems using perspective panoramas with cropping, our approach creates a cylindrical panorama. Here, the perspective is corrected in real-time, and the result is a better and more natural zoom. Our experimental results also indicate that such zoomed virtual views can be generated far below the frame-rate threshold. Taking into account recent trends in device development, our approach should be able to scale to a large number of concurrent users in the near future.},
	keywords = {Workshop},
	author = {Vamsidhar Reddy {Gaddam} and Langseth, Ragnar and Lj{\o}dal, Sigurd and Gurdjos, Pierre and Charvillat, Vincent and Griwodz, Carsten and Halvorsen, P{\r a}l}
}
@inproceedings {Simula.simula.2512,
	title = {LEDBAT-MP - on the Application of Lower-Than-Best-Effort for Concurrent Multipath Transfer},
	journal = {Proceedings of the 4th International Workshop on Protocols and Applications with Multi-Homing Support (PAMS)},
	year = {2014},
	month = {May},
	publisher = {IEEE},
	type = {Workshop},
	address = {Victoria, British Columbia/Canada},
	abstract = {The Internet is based on best effort communication, i.e. it tries to deliver packets but does not provide any guarantees. A transport protocol can make use of this best effort service to provide a suitable service to its applications. Also, its congestion control is responsible for a fair distribution of the resources within the Internet. However, background data transfer applications (like file sharing or update fetching) do not require \&quot;best effort\&quot;; they in fact could use a \&quot;lower-than-best-effort\&quot; service to leave resources to more important applications if needed. For this purpose, the Low Extra Delay Background Transport (LEDBAT) algorithm has been standardized by the IETF. Nowadays, multi-homing is becoming increasingly common in modern networks and several approaches to exploit this feature (e.g. CMT-SCTP, MPTCP) have evolved that are able to combine resources of multiple paths. For background traffic oriented algorithms like LEDBAT, this feature could be of great use, too, i.e. by increasing the overall bandwidth while shifting the transmission away from paths which are used by other flows. This could be particularly useful for non-critical bulk transfers in data centers. In this paper, we introduce our approach LEDBAT for Multi-Path - denoted as LEDBAT-MP - and analyse its performance by simulations. With this paper, we want to highlight some generic design questions and start a discussion on how a solid universal background multi-path congestion control strategy should behave.},
	keywords = {Workshop},
	author = {Adhari, Hakim and Dreibholz, Thomas and Werner, Sebastian and Rathgeb, Erwin},
	editor = {IEEE, }
}
@misc {Simula.simula.2942,
	title = {Leveraging IPv4 and IPv6 Multi-Connectivity},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Livadariu, Ioana}
}
@misc {Simula.simula.2948,
	title = {Measuring and Comparing Internet Path Stability in IPv4 and IPv6},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Golkar, Forough}
}
@inproceedings {Simula.simula.2516,
	title = {Measuring the QoS Characteristics of Operational 3G Mobile Broadband Networks},
	journal = {Proceedings of the 4th International Workshop on Protocols and Applications with Multi-Homing Support (PAMS)},
	year = {2014},
	month = {May},
	publisher = {IEEE},
	type = {Workshop},
	address = {Victoria, British Columbia/Canada},
	abstract = {Today, many smart phones and tablets have multiple interfaces (i.e. WLAN and 3G). These multiple interfaces can be utilized simultaneously by a multi-path transport protocol to provide bandwidth aggregation or reliability. However, in order to design efficient multi-path scheduling and congestion control strategies, it is crucial to understand the behaviour and properties of the underlying paths first. WLAN links have already been studied extensively in the literature. Therefore, in this paper, we focus on Mobile Broadband (MBB) networks that are in use today. We utilized noun{NorNet Edge} nodes that are connected to up to five different 3G ISPs (UMTS and CDMA2000), hence, providing a realistic view on the QoS characteristics that are experienced by end-users of these MBB networks. We present QoS characteristics (e.g. bandwidth, delay and loss) and discuss our observations. Our results shed light on what a multi-path transport endpoint has to expect - and to efficiently cope with - when using today\&$\#$39;s MBB networks as transport paths.},
	keywords = {Workshop},
	author = {Ferlin, Simone and Dreibholz, Thomas and Alay, {\"O}zg{\"u} and Kvalbein, Amund}
}
@misc {Simula.simula.2976,
	title = {Mobile Broadband Measurements Using NorNet},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Elmokashfi, Ahmed}
}
@misc {Simula.simula.2968,
	title = {Mobile Broadband Networks Under Mobility},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Alay, {\"O}zg{\"u} and Yuba Raj {Siwakoti}}
}
@misc {Simula.simula.2970,
	title = {Multipath Transport Over Heterogeneous Networks},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Alay, {\"O}zg{\"u} and Ferlin, Simone and Dreibholz, Thomas}
}
@misc {Simula.simula.2936,
	title = {The NorNet Core Testbed - Introduction and Status in August 2014},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	abstract = {This talk provides an introduction to the NorNet Core testbed as well as a status overview on the development and deployment in August 2014.},
	keywords = {Workshop},
	author = {Dreibholz, Thomas}
}
@article {Simula.simula.2434,
	title = {The Nornet Edge Platform for Mobile Broadband Measurements},
	journal = {Computer Networks},
	number = {61},
	year = {2014},
	abstract = {We present Nornet Edge (NNE), a dedicated infrastructure for measurements and experimentation in mobile broadband networks. NNE is unprecedented in size, consisting of more than 400 measurement nodes geographically distributed all over Norway. Each measurement node is a Linux-based embedded computer, and is connected to multiple mobile broadband providers. In addition, NNE includes an extensive backend system for deploying and managing experiments and collecting data. NNE makes it possible to run long-term measurement experiments to assess and compare quality and performance across different network operators on a national scale. Particular focus is put on allowing experiments to run in parallel on multiple network connections, and on collecting rich context information related to the experiments. In this paper we give a detailed presentation of NNE, and describe three different measurement experiments that illustrate how the infrastructure can be used. We also provide a roadmap for further development of NNE.},
	keywords = {Conference, Internal Seminar, University of Oslo, Workshop},
	doi = {10.1016/j.bbr.2011.03.031},
	author = {Kvalbein, Amund and Baltrunas, D{\v z}iugas and Evensen, Kristian and Xiang, Jie and Elmokashfi, Ahmed and Ferlin, Simone}
}
@misc {Simula.simula.2974,
	title = {The NorNet Edge Testbed for Mobile Broadband Measurements},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Elmokashfi, Ahmed}
}
@misc {Simula.simula.3008,
	title = {The NorNet Testbed - an Overview for the GENI Meeting},
	howpublished = {Invited talk at the Kungliga Tekniska h{\"o}gskolan (KTH)},
	year = {2014},
	month = {September},
	abstract = {Multi-homing denotes the simultaneous connection of endpoints (e.g.\~cloud servers, smartphones, etc.) to multiple Internet Service Providers\~(ISP). That is, the endpoints remain reachable even when some of the ISPs have problems (e.g.\~malfunction of hardware or break of cables). Besides the redundancy aspect, multi-homing can also make load sharing by multi-path transport possible, i.e.\~increasing the application throughput by utilising multiple paths simultaneously. Multi-path transport can e.g.\~be realised by Concurrent Multi-Path Transfer for SCTP\~(CMT-SCTP) and Multi-Path TCP\~(MPTCP), two protocols that are currently under standardisation in the IETF. The growing need for and deployment of multi-homed applications makes large-scale testing and evaluation in realistic Internet setups necessary. For instance, different paths can have very different characteristics with regard to bandwidth, packet loss rate, congestion, delay and jitter. Therefore, the NorNet project of the Simula Research Laboratory is building up an open platform for such experiments: the NorNet testbed. It consists of two parts: the wired part NorNet Core as well as the wireless part NorNet Edge; both parts provide programmable nodes with multiple ISP connections. These nodes are distributed all over Norway as well as some international locations. This talk will give an overview over the NorNet testbed and how it can be utilised for research on multi-homed systems.},
	keywords = {Workshop},
	author = {Dreibholz, Thomas}
}
@misc {Simula.simula.2940,
	title = {Performance and Availability of Application Servers in NorNet},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Jakobsson, Sune}
}
@misc {Simula.simula.2966,
	title = {Resilient Multi-Path Transport Using Geograhic Routing},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {James P. G. {Sterbenz}}
}
@inproceedings {Simula.simula.2656,
	title = {Study the Effects of Camera Misalignment on 3D Measurements for Efficient Design of Vision-Based Inspection Systems},
	journal = {8th Hellenic Conference on Artificial Intelligence (SETN 2014)},
	year = {2014},
	month = {Mary},
	publisher = {Springer-Verlag},
	type = {Annual},
	abstract = {Vision based inspection systems for 3D measurements using single camera, are extensively used in several industries, today. Due to transportation and/or servicing of these systems, the camera in this system is prone to mis-alignment from its original position. In such situations, although a high quality calibration exists, the accuracy of 3D measurement is affected. In this paper, we propose a statistical tool or methodology which involves. a) Studying the significance of the effects of 3d measurements errors due to camera mis-alignment. b) Modelling the error data using regression models. c) Deducing expressions to determine tolerances of camera mis-alignment for an acceptable inaccuracy of the system. This tool can be used by any 3D measuring system using single camera. Resulting tolerances can be directly used for mechanical design of camera placement in the vision based inspection systems.},
	keywords = {Workshop},
	author = {Dwarakanath, Deepak and Griwodz, Carsten and Halvorsen, P{\r a}l and Lildballe, Jacob},
	editor = {Likas, Aristidis and Blekas, Konstantinos and Kalles, Dimitris}
}
@misc {Simula.simula.2856,
	title = {Towards an Effective Formally Certified Constraint Solver},
	howpublished = {Selected talk at the {\textquoteright}Verification meets CP{\textquoteright} 2014 workshop, Lyon, France},
	year = {2014},
	publisher = {.},
	address = {.},
	abstract = {When used to verify safety-critical properties of a software system, the answers provided by a CP-based constraint solver must be formally certied through trusted and faithful methodologies. In such cases, one has often to formally verify that a constraint system is unsatisable, as it is required to prove that no reachable states can violate the property to be ensured. Unfortunately, proving that a constraint system is unsatisable is much more complex for a CP-solver than checking a possible solution.},
	keywords = {Workshop},
	author = {Dubois, Catherine and Gotlieb, Arnaud}
}
@misc {Simula.simula.2956,
	title = {UNINETT Quality Measurements in Streaming Media},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	month = {August},
	keywords = {Workshop},
	author = {Kvittem, Olav}
}
@misc {Simula.simula.2964,
	title = {Using MPTCP to Reduce Latency for Cloud Based Mobile Applications},
	howpublished = {Proceedings of the 2nd International NorNet Users Workshop (NNUW-2)},
	year = {2014},
	keywords = {Workshop},
	author = {Grinnemo, Karl-Johan}
}
@misc {Simula.simula.2026,
	title = {An Adjoint-Enabled Simulation Framework for Cardiac Electrophysiology},
	howpublished = {CBC/CCI workshop Advancing numerical technologies in the cardiac domain},
	year = {2013},
	month = {May},
	keywords = {Workshop},
	author = {Marie E. {Rognes}}
}
@misc {Simula.simula.2282,
	title = {Aggression in Television Broadcasting for Children: Czech Fairytale Vs. Japanese Anime},
	howpublished = {Narratological Perspectives on Children{\textquoteright}s and Young Adult Literature, H{\o}gskolen i {\o}stfold, Halden, 10th-11th December},
	year = {2013},
	month = {December},
	abstract = {In spite of the fact that the media have been repeatedly linked to instances of horrific violence committed by children, the level of aggression in movies has not decreased over time, rather quite the contrary. Whereas sex scenes automatically raise the age rating of a movie, aggression seems to cause much less concern, since it frequently also appears in programs exclusively targeting children. On the basis of a one-week videotaping of all children{\textquoteright}s programs broadcasted on the Czech main public television channel ({\v C}T1) and the main private television channel (Nova), we identified two prototypical programs: the Czech fairytale ({\v C}T1) and the Japanese anime (Nova). We found significant differences between acts of aggression in these two types of narratives. In the Czech fairytale, the majority of aggressive acts were verbal. Aggression served as an illustration of some negative trait that somebody in the story had. At the end of the plot, the character was punished for his/her previous bad behaviour and thus aggression was in fact an important element of the narrative, conveying a moral message. In anime (Pok{\'e}mon, Digimon), physical aggression was predominant. A group of children used their property (monsters called Pok{\'e}mons and Digimons) as weapons against enemies. Without knowing the whole context of the series, it was difficult to distinguish between protagonists and antagonists on the basis of their moral qualities; they all seemed to be extremely aggressive. Even though there was a group of children, the series promoted individualism rather than cooperation. Only one child could excel and did so by acquiring the greatest number of Pok{\'e}mons/Digimons (= property matters, not moral qualities). The whole narrative served in fact as a long advertisement for tie-in products.},
	keywords = {Workshop},
	author = {Filkukova, Petra}
}
@article {Simula.simula.2238,
	title = {Algisyl-LVR With Coronary Artery Bypass Grafting Reduces Left Ventricular Wall Stress and Improves Function in the Failing Human Heart},
	journal = {International Journal of Cardiology},
	volume = {168},
	number = {3},
	year = {2013},
	month = {October},
	pages = {2022-2028},
	keywords = {Workshop},
	author = {Lik Chuan {Lee} and Wall, Samuel and Klepach, Doron and Ge, Liang and Zhang, Zhihong and Lee, Randall and Hinson, Andy and Joseph H. {Gorman} and Gorman, Robert and Guccione, Julius}
}
@misc {Simula.simula.1966,
	title = {Automatic Differentiation of a Fluid-Structure Interaction Problem},
	howpublished = {FEniCS{\textquoteright}13 workshop, Cambridge},
	year = {2013},
	month = {March},
	abstract = {At the FEniCS 13 workshop I presented how to solve a Fluid-Structure interaction problem using automatic differentiation and FEniCS.},
	keywords = {Conference, Internal Seminar, University of Oslo, Workshop},
	author = {Balaban, Gabriel}
}
@inproceedings {threfereedinproceedingsreference.2012-12-20.7643198512,
	title = {Design and Implementation of the NorNet Core Research Testbed for Multi-Homed Systems},
	journal = {Proceedings of the 3nd International Workshop on Protocols and Applications with Multi-Homing Support (PAMS)},
	year = {2013},
	month = {03/2013},
	publisher = {IEEE},
	type = {Conference},
	address = {Barcelona, Catalonia/Spain},
	abstract = {The Internet has made it possible to communicate and to use services over large geographical distances. While it has originally been built for less critical services like e-mail and file transfer, it is nowadays also increasingly often used for availability-critical services like e.g. e-commerce or healthcare. Clearly, the reachability of such services must be ensured by so-called multi-homing of endpoints. That is, endpoints are simultaneously connected to multiple Internet Service Providers (ISP) to provide redundancy. If one ISP has problems, it is intended that the connection to another one still works. However, such assumptions have never been verified in real, large-scale setups. The intention of the NorNet project is to build up a realistic Internet testbed for multi-homing. In this paper, we describe the design of NorNet with focus on the implementation of its fixed-line part: NorNet Core. This paper is intended to give researchers an overview of its mode of operation, its capabilities as well as its interesting feature realisations. The knowledge about these items is very useful to plan own experiments in the NorNet testbed.},
	keywords = {Workshop},
	author = {Dreibholz, Thomas and Ernst Gunnar {Gran}}
}
@misc {Simula.simula.2004,
	title = {Developing and Implementing Parallel Algorithms for Fold Simulations in 3D},
	howpublished = {Presented during a workshop at Simula: Using the GPU for Scientific Computing: coding concepts and a look at applications in structural geology http://simula.no/intranet/news/using-the-gpu-for-scie\ ntific-computing-coding-concepts-and-a-look-at-appl},
	year = {2013},
	note = {Presented during a workshop at Simula: Using the GPU for Scientific Computing: coding concepts and a look at applications in structural geology http://simula.no/intranet/news/using-the-gpu-for-scientific-computing-coding-concepts-and-a-look-at-applications-in-structural-geology},
	month = {February},
	abstract = {The Compound Earth Simulator is an exploration software developed by Kalkulo for Statoil. In the Compound methodology, large folded geological structures are simulated repeatedly as geological models are investigated. Folded layers are modeled as positions of a front moving through a geological, and are computed using first-arrival-time equations. The numerical simulation times must be low for the software to function at interactive times, which is a challenge in 3D as the number of unknown nodes increases rapidly. This talk presents a new set of algorithms for such simulations, specifically developed for massively parallel compute architectures such as GPUs. A couple of optimization approaches and their effects are presented for the GPU implementation. Finally, some early result from a multicore CPU and a GPU implementation will be given.},
	keywords = {Workshop},
	author = {Gillberg, Tor}
}
@misc {Simula.simula.2346,
	title = {Estimater, Usikkerhet, Kommunikasjon. Hva Er Et Estimat? Hvordan Be Om Og Kommunisere Usikkerhet? Effekt Av Ulike Avtaletyper.},
	howpublished = {Presentation at internal seminar at Creuna},
	year = {2013},
	keywords = {Workshop},
	author = {J{\o}rgensen, Magne}
}
@misc {Simula.simula.2338,
	title = {Estimering Av IT-Prosjekter: Hvorfor Bommer Vi Og Hvordan Kan Vi Bli Bedre?},
	howpublished = {Presentation at five company internal seminars (KnowIT, Bouvet, Mesan, Politiet, Storebrand)},
	year = {2013},
	keywords = {Workshop},
	author = {J{\o}rgensen, Magne}
}
@misc {Simula.simula.2448,
	title = {FEniCS and Its Application in Biomedical Computing},
	howpublished = {Charles University in Prague, Czech Republic},
	year = {2013},
	month = {November},
	keywords = {Workshop},
	author = {Mortensen, Mikael}
}
@misc {Simula.simula.2342,
	title = {From Myths and Fashions to Evidence-Based Software Engineering},
	howpublished = {Presented at internal seminars at OneCall, Deerwalk (Nepal), Thales and at Certus workshop (Simula)},
	year = {2013},
	keywords = {Workshop},
	author = {J{\o}rgensen, Magne}
}
@misc {Simula.simula.2336,
	title = {How to Avoid Disappointments in Software Projects (and Life)},
	howpublished = {Presentation at Gilb Week (London)},
	year = {2013},
	keywords = {Workshop},
	author = {J{\o}rgensen, Magne}
}
@misc {Simula.simula.2210,
	title = {Human Atrial Myocyte Studies in Silico},
	howpublished = {NECCEVISEE Workshop},
	year = {2013},
	month = {May},
	abstract = {NA},
	keywords = {Workshop},
	author = {Koivum{\"a}ki, Jussi}
}
@misc {Simula.simula.2340,
	title = {Hvorfor (ikke) Fastpris? Vinnerens Forbannelse, Informasjonsasymmetri, Utvalgsrisiko, Opportunistisk Adferd Og IT-Kontrakter},
	howpublished = {Presented at internal seminar at Norsvin},
	year = {2013},
	keywords = {Workshop},
	author = {J{\o}rgensen, Magne}
}
@inproceedings {Simula.simula.2504,
	title = {Lecture De DCP Pour Le Cin{\'e}ma Num{\'e}rique Avec Le Lecteur Multim{\'e}dia VLC Et Libav/ffmpeg},
	journal = {COmpression et REpr{\'e}sentation des Signaux Audiovisuels (CORESA 2013)},
	year = {2013},
	month = {November},
	pages = {6},
	publisher = {Le2i - Laboratoire Electronique, Informatique et Image},
	type = {Workshop},
	address = {http://le2i.cnrs.fr},
	abstract = {This paper is published in a French translation. Cinema theaters have arrived in the digital era. For the distribution of digital films, the Digital Cinema Initiative (DCI) has chosen Digital Cinema Package (DCP) as encoding format for feature films. This activity is made with Utopia cinemas, a network of independent theaters. The main requirement from Utopia is to provide free and open source software for digital cinema. DCP uses JPEG2000 for video compression because of its high compression rate of large images. An efficient implementation of coding and decoding for this format is complex, however, we focus on an improved implementation of the decoding part to support the projection side in digital cinemas. Our reason is that equipment that is currently deployed in movie theaters is expensive and has a high maintenance cost, preventing small and independent theaters from deploying it. We intend to provide software solution to playback DCPs adapted to arthouse. This paper presents a solution that achieves real-time decoding and presentation based on widespread open source multimedia tools as VLC player and the libav/ffmpeg libraries. We present the improvements that were made in VLC to support DCP, which include reading files from disk and synchronizing audio and video. Then the description of the JPEG2000 decoder inside libav/ffmpeg is detailed, and finally playback performances evaluations are presented.},
	keywords = {Workshop},
	author = {Bertrand, Nicolas and Prodea, Simona and Durou, Jean-Denis and Griwodz, Carsten and Charvillat, Vincent}
}
@inproceedings {Simula.simula.2082,
	title = {Modeling Crisis Management System With the Restricted Use Case Modeling Approach},
	journal = {Comparing Modeling Approaches (CMA) Workshop at ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS)},
	year = {2013},
	publisher = {ACM/IEEE},
	type = {1},
	address = {.},
	abstract = {Use case modeling is commonly applied to document requirements. Use case specifications (UCSs) are usually structured, unrestricted textual documents complying with a certain template. However, because they remain essentially textual, ambiguities are inevitable. In our previous work, we proposed a new use case modeling approach, named as Restricted Use Case Modeling (RUCM), which is composed of a set of well-defined restriction rules and a new template. The goal was to reduce ambiguity and facilitate automated analysis. In our works, RUCM has been systematically and empirically evaluated through case studies to be easy to apply and leads to higher quality of UML analysis models. In this paper, we modeled the Crisis Management System (CMS) case study using RUCM and our experience proved that RUCM is easy to apply and sufficient to capture the requirements provided for the case study.},
	keywords = {Workshop},
	author = {Zhang, Gong and Yue, Tao and Ali, Shaukat},
	editor = {Grey, Jeff}
}
@misc {Simula.simula.2130,
	title = {The NorNet Core Testbed {\textendash} An Experiment Tutorial},
	year = {2013},
	month = {September},
	keywords = {Workshop},
	author = {Dreibholz, Thomas}
}
@misc {Simula.simula.2124,
	title = {The NorNet Core Testbed - Introduction and Status},
	howpublished = {Proceedings of the 1st NorNet Users Workshop (NNUW-1)},
	year = {2013},
	month = {September},
	keywords = {Workshop},
	author = {Dreibholz, Thomas}
}
@misc {Simula.simula.2140,
	title = {The Nornet Edge Testbed for Mobile Broadband Measurements},
	howpublished = {Proceedings of the 1st NorNet Users Workshop (NNUW-1)},
	year = {2013},
	month = {September},
	keywords = {Workshop},
	author = {Baltrunas, D{\v z}iugas}
}
@inproceedings {Simula.simula.1968,
	title = {The NorNet Project: A Research Platform for Robust and Secure Networks},
	journal = {Proceedings of the 7. Essener Workshop "Neue Herausforderungen in der Netzsicherheit" (EWNS 2013)},
	year = {2013},
	month = {04/2013},
	publisher = {University of Duisburg-Essen, Institute for Experimental Mathematics},
	type = {Workshop},
	address = {Essen/Germany},
	abstract = {This talk gives an overview of the NorNet project, the new Internet testbed for multi-homed systems, and its research objectives.},
	keywords = {Workshop},
	author = {Dreibholz, Thomas}
}
@misc {Simula.simula.2046,
	title = {The NorNet Research Testbed},
	howpublished = {Short presentation at the CHANGE Bootcamp workshop in Louvain-la-Neuve, Belgium},
	year = {2013},
	note = {Short presentation at the CHANGE Bootcamp workshop in Louvain-la-Neuve, Belgium},
	month = {July},
	keywords = {Workshop},
	author = {Dreibholz, Thomas and Ferlin, Simone}
}
@misc {Simula.simula.2138,
	title = {NorNet Workshop Welcome},
	year = {2013},
	note = {Workshop Welcome of the 1st NorNet Users Workshop (NNUW-1)},
	month = {September},
	keywords = {Workshop},
	author = {Kvalbein, Amund}
}
@article {Simula.simula.1498,
	title = {A Numerical Framework for Modelling Folds in Structural Geology},
	journal = {Mathematical Geosciences},
	volume = {45},
	number = {3},
	year = {2013},
	month = {April},
	pages = {255-276},
	publisher = {Springer},
	abstract = {A numerical framework for modelling folds in structural geology is presented. This framework is based on a novel and recently published Hamilton-Jacobi formulation by which a continuum of layer boundaries of a fold is modelled as a propagating front. All the fold classes from the classical literature (parallel folds, similar folds, and other fold types with convergent and divergent dip isogons) are modelled in 3D space as continua defined on a finite difference grid. The propagating front describing the fold geometry is governed by a static Hamilton-Jacobi equation, which is discretized by upwind finite differences and a dynamic stencil construction. This forms the basis of numerical solution by finite difference solvers such as fast marching and fast sweeping methods. A new robust and accurate scheme for initialization of finite difference solvers for the static Hamilton-Jacobi equation is also derived. The framework has been integrated in simulation software, and a numerical example is presented based on seismic data collected from the Karama Block in the North Makassar Strait outside Sulawesi.},
	keywords = {Workshop},
	author = {Hjelle, {\O}yvind and Steen A. {Petersen} and Are Magnus {Bruaset}}
}
@misc {Simula.simula.2344,
	title = {Offshoring Av IT-Utvikling: Hva Er Viktig for {\r a} Lykkes?},
	howpublished = {Presented at internal seminar at Telenor},
	year = {2013},
	keywords = {Workshop},
	author = {J{\o}rgensen, Magne}
}
@misc {Simula.simula.2208,
	title = {Re-Parametrisation of Atrial INa: INa,late and DV/dtmax Dependence on RMP As Test Cases},
	howpublished = {NECCEVISEE Workshop},
	year = {2013},
	month = {May},
	abstract = {NA},
	keywords = {Workshop},
	author = {Koivum{\"a}ki, Jussi}
}
@inproceedings {designofsmellsurvey2013,
	title = {Surveying Developer Knowledge and Interest in Code Smells Through Online Freelance Marketplaces},
	journal = {User Evaluations for Software Engineering Researchers (USER)},
	year = {2013},
	publisher = {IEEE},
	type = {Workshop},
	address = {.},
	abstract = {This paper discusses the use of freelance marketplaces to conduct a survey amongst professional developer{\textquoteright}s about specific software engineering phenomena, in our case their knowledge and interest in code smells and their detection/removal. We first discuss the context and motivation of our research, and the idea of using freelance marketplaces for conducting studies involving software professionals. Then, we describe the design of the survey study and the specifics on the selected freelance marketplace (i.e., Freelancer.com). Finally, we discuss why the use of freelance markets constitutes a feasible and advantageous approach for conducting user evaluations that involve large numbers of software professionals, and what challenges such an approach may entail.},
	keywords = {Workshop},
	author = {Yamashita, Aiko and Moonen, Leon}
}
@inproceedings {Simula.simula.2092,
	title = {Temporal integration for live conversational speech},
	journal = {Proceedings of the 12th International Conference on Auditory-Visual Speech Processing (AVSP2013)},
	number = {12},
	year = {2013},
	month = {August},
	pages = {129-133},
	publisher = {AVSP},
	type = {Workshop},
	abstract = {The difficulty in detecting short asynchronies between corresponding audio and video signals demonstrates the remarkable resilience of the perceptual system when integrating the senses. Thresholds for perceived synchrony vary depending on the complexity, congruency and predictability of the audiovisual event. For instance, asynchrony is typically detected sooner for simple flash and tone combinations than for speech stimuli. In applied scenarios, such as teleconference platforms, the thresholds themselves are of particular interest; since the transmission of audio and video streams can result in temporal misalignments, system providers need to establish how much delay they can allow. This study compares the perception of synchrony in speech for a live two-way teleconference scenario and a controlled experimental set-up. Although methodologies and measures differ, our explorative analysis indicates that the windows of temporal integration are similar for the two scenarios. Nevertheless, the direction of temporal tolerance differs; for the teleconference, audio lead asynchrony was more difficult to detect than for the experimental speech videos. While the windows of temporal integration are fairly independent of the context, the skew in the audio lead threshold may be a reflection of the natural diversion of attending to a conversation.},
	keywords = {Workshop},
	author = {Eg, Ragnhild and Dawn Marie {Behne}},
	editor = {Ouni, Slim and Berthommier, Fr{\'e}d{\'e}ric and Jesse, Alexandra}
}
@article {Simula.simula.1878,
	title = {A Three-Dimensional Finite Element Model of Human Atrial Anatomy: New Methods for Cubic Hermite Meshes With Extraordinary Vertices},
	journal = {Medical Image Analysis},
	volume = {17},
	number = {5},
	year = {2013},
	pages = {525-537},
	keywords = {Workshop},
	author = {Matthew J. {Gonzales} and Sturgeon, Gregory and Krishnamurthy, Adarsh and Johan Elon {Hake} and Jonas, Rene and Stark, Paul and Rappel, Wouter-Jan and Sanjiv M. {Narayan} and Zhang, Yongjie and William P. {Segars} and Andrew D. {McCulloch}}
}
@misc {Simula.simula.2508,
	title = {Transport Layer Interactions of Adaptive HTTP Streaming},
	howpublished = {International workshop on Control Techniques for Efficient Multimedia Delivery (CTEMD), at Globecom 2013},
	year = {2013},
	month = {December},
	keywords = {Workshop},
	author = {Griwodz, Carsten}
}
@misc {Simula.simula.2112,
	title = {Update on MBB Measurements in Norway},
	howpublished = {At ISMA 2013 AIMS-5 - Workshop on Active Internet Measurements, CAIDA, UCSD},
	year = {2013},
	note = {At ISMA 2013 AIMS-5 - Workshop on Active Internet Measurements, CAIDA, UCSD},
	month = {February},
	keywords = {Workshop},
	author = {Elmokashfi, Ahmed}
}
@article {Simula.simula.622,
	title = {Accuracy and Efficiency of Stencils for the Eikonal Equation in Earth Modelling},
	journal = {Computational Geosciences},
	volume = {16},
	number = {4},
	year = {2012},
	month = {September},
	pages = {933-952},
	abstract = {Motivated by the needs for creating fast and accurate models of complex geological scenarios, accuracy and efficiency of three stencils for the isotropic eikonal equation on rectangular grids are evaluated using a Fast Marching implementation. The stencils are derived by direct modelling of the wave front, resulting in new and valuable insight in terms of improved upwind and causality conditions. After intro- ducing a method for generalising first order upwind stencils to higher order, a new second order Diagonal stencil is presented. Similarly to the Multistencils Fast Marching ap- proach, the Diagonal stencil makes use of nodes in the diagonal directions, whereas the traditional Godunov stencil uses solely edge-connected neighbours. The Diagonal stencil uses nodes close to each other, reaching upwind, to get a more accurate estimate of the angle of incidence of the arriving wave front. Although the stencils are evaluated in a Fast Marching setting, they can be adapted to other efficient eikonal solvers. All first and second order stencils are evaluated in a range of tests. The first test case models a folded structure from the Zagros fold belt in Iran. The other test cases are constructed to investigate specific properties of the examined stencils. The numerical investigation considers convergence rates and CPU times for non-constant and constant speed first-arrival computations. In conclusion, the Diagonal stencil is the most efficient and accurate of the three alternatives.},
	keywords = {Workshop},
	doi = {10.1007/s10596-012-9296-0},
	author = {Gillberg, Tor and Hjelle, {\O}yvind and Are Magnus {Bruaset}}
}
@misc {Simula.simula.1724,
	title = {Altered Configurations of Ca2+ Release Units Cause Slowed Ca2+ Sparks in Failing Cardiomyocytes},
	year = {2012},
	month = {Nov},
	keywords = {Workshop},
	author = {Johan Elon {Hake} and Halvor K. {M{\o}rk} and Hougen, Karina and Sjaastad, Ivar and Ole M. {Sejersted} and William E. {Louch}}
}
@misc {martinal-talk-eccomas-2012,
	title = {Automation of PDE Constrained Optimization - Algorithmic Differentiation As Abstract Building Blocks in High Level Algorithms},
	howpublished = {ECCOMAS 2012, Wien},
	year = {2012},
	month = {September},
	keywords = {Workshop},
	author = {Martin Sandve {Aln{\ae}s}}
}
@misc {Simula.simula.1714,
	title = {Calcium Buffering in Human Atrial Myocytes},
	howpublished = {CaMo-UCSD Workshop, San Diego, USA},
	year = {2012},
	month = {October},
	keywords = {Workshop},
	author = {Koivum{\"a}ki, Jussi and Maleckar, Molly and Rozmaritsa, Nadiia}
}
@misc {martinal-talk-imperial-2012,
	title = {A Domain Specific Language and Symbolic Library for FEM Formulations of PDEs - the Unified Form Language},
	howpublished = {FEniCS@Imperial Day, Imperial College London},
	year = {2012},
	month = {June},
	keywords = {Workshop},
	author = {Martin Sandve {Aln{\ae}s}}
}
@misc {martinal-talk-fenics-2012,
	title = {Efficient Compilation of Complex Tensor Algebra Expressions},
	howpublished = {FEniCS Workshop 2012, Simula Research Laboratory},
	year = {2012},
	month = {June},
	keywords = {Workshop},
	author = {Martin Sandve {Aln{\ae}s}}
}
@article {Simula.simula.544,
	title = {Electromechanical Feedback With Reduced Cellular Connectivity Alters Electrical Activity in an Infarct Injured Left Ventricle - a Finite Element Model Study},
	journal = {American Journal of Physiology - Heart and Circulatory Physiology},
	number = {302},
	year = {2012},
	month = {Jan},
	pages = {H206-H214},
	abstract = {Myocardial infarction (MI) significantly alters the structure and function of the heart. As abnormal strain may drive heart failure and the generation of arrhythmias, we used computational methods to simulate a left ventricle with an MI over the course of a heartbeat to investigate strains and their potential implications to electrophysiology. We created a fully coupled finite element model of myocardial electromechanics consisting of a cellular physiological model, a bidomain electrical diffusion solver, and a nonlinear mechanics solver. A geometric mesh built from magnetic resonance imaging (MRI) measurements of an ovine left ventricle suffering from a surgically induced anteroapical infarct was used in the model, cycled through the cardiac loop of inflation, isovolumic contraction, ejection, and isovolumic relaxation. Stretch-activated currents were added as a mechanism of mechanoelectric feedback. Elevated fiber and cross fiber strains were observed in the area immediately adjacent to the aneurysm throughout the cardiac cycle, with a more dramatic increase in cross fiber strain than fiber strain. Stretch-activated channels decreased action potential (AP) dispersion in the remote myocardium while increasing it in the border zone. Decreases in electrical connectivity dramatically increased the changes in AP dispersion. The role of cross fiber strain in MI-injured hearts should be investigated more closely, since results indicate that these are more highly elevated than fiber strain in the border of the infarct. Decreases in connectivity may play an important role in the development of altered electrophysiology in the high-stretch regions of the heart.},
	keywords = {Workshop},
	doi = {10.1152/ajpheart.00272.2011},
	author = {Wall, Samuel and Guccione, Julius and Ratcliffe, Mark and Sundnes, Joakim}
}
@misc {Simula.simula.1264,
	title = {Fat-Trees and Dragonflies - a Perspective on Topologies},
	howpublished = {Contributed talk at the HPC Advisory Council Switzerland Workshop, Lugano, Switzerland.},
	year = {2012},
	month = {March},
	abstract = {One of the foundations of any HPC cluster is the network topology. The choice of topology is dictated by properties such as cost, network technology, and target applications. For InfiniBand (IB) the Fat-tree is the dominating topology, but recently we have also seen IB clusters based on a 3d Torus. From time to time new topologies are invented and in this talk we will have a closer look at the recently proposed Dragon-fly topology and compare it with the well established Fat-tree topology.},
	keywords = {Workshop},
	author = {Reinemo, Sven-Arne and Frank Olaf {Sem-Jacobsen} and Skeie, Tor}
}
@techreport {Simula.simula.1168,
	title = {Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction Over Finite Domains},
	number = {2012-05},
	year = {2012},
	publisher = {Simula Research Laboratory},
	abstract = {Modern society is increasingly dependent on highly-configurable software systems, in particular, architecturally configurable software such as that embedded in Integrated Control Systems (ICSs). Configuring ICSs is expensive, time-consuming and error-prone. This is due, in large part, to the fact that the hardware and software configuration processes are, typically, rather isolated from one another, resulting in many configuration errors to be detected only after the integration of software and hardware. In this work, we propose a model-based configuration approach that allows us to configure software in a stepwise manner, to automate some configuration decisions, and to iteratively validate software and hardware configuration decisions. Our approach has two major steps. In the first step (modeling), a generic model describing an ICS family is built. In the second step (configuration), we interactively guide a user to derive a particular product specification complying with the generic model of its ICS family. We use a constraint solver, SICStus Prolog, to evaluate user decisions at each round, to automatically infer configuration decisions and to ensure that software and hardware configurations are consistent. We evaluated our approach by applying it to a real subsea production system. Specifically, we rebuilt a number of existing verified product configurations of our industry partner. Our experience shows that our approach successfully enforces consistency of configurations, can automatically infer up to 50\% of the configuration decisions, and reduces the complexity of making configuration decisions by guiding the user during the configuration process.},
	keywords = {Workshop},
	author = {Behjati, Razieh and Nejati, Shiva and Gotlieb, Arnaud and Yue, Tao and Briand, Lionel}
}
@misc {Simula.simula.1126,
	title = {Massively Parallel Front Tracking},
	howpublished = {Computational Geoscience Workshop, 18-20 January 2012 in Geilo},
	year = {2012},
	month = {January 2012},
	abstract = {We present a novel method for three dimensional anisotropic front propagation, and apply it to the simulation of geological folding. The iterative algorithm has a simple structure, and a high level of fine grained parallelism. The source-code translator Mint is used to generate Cuda code executable on Graphic Processor Units (GPUs) from our C implementation. Our numerical section present results of such an approach, and that of a multicore implementation. The implementations have been tested and compared on several examples of three dimensional geological folding.},
	keywords = {Workshop},
	author = {Gillberg, Tor}
}
@misc {Simula.simula.2110,
	title = {Measuring Mobile Broadband Availability in Norway},
	howpublished = {ISMA 2012 AIMS-4 - Workshop on Active Internet Measurements, CAIDA, UCSD},
	year = {2012},
	note = {At ISMA 2012 AIMS-4 - Workshop on Active Internet Measurements, CAIDA, UCSD},
	month = {February},
	keywords = {Workshop},
	author = {Elmokashfi, Ahmed}
}
@inproceedings {Simula.simula.1734,
	title = {Modeling and Predicting Performance of High Performance Computing Applications on Hardware Accelerators},
	journal = {Proceedings of IEEE 26th International Parallel and Distributed Processing Symposium Workshops \& PhD Forum},
	year = {2012},
	pages = {1828-1837},
	publisher = {IEEE Computer Society},
	type = {Workshop},
	keywords = {Workshop},
	doi = {10.1109/IPDPSW.2012.226},
	author = {Mitesh, Meswani and Carrington, Laura and Unat, Didem and Snavely, Allan and Baden, Scott and Poole, Stephen}
}
@article {Simula.simula.1722,
	title = {Modeling Effects of L-Type Ca2+ Current and Na+-Ca2+ Exchanger on Ca2+ Trigger Flux in Rabbit Myocytes With Realistic T-Tubule Geometries},
	journal = {Frontiers in Physiology},
	volume = {3},
	year = {2012},
	pages = {351},
	keywords = {Workshop},
	author = {Peter M. {Kekenes-Huskey} and Cheng, Yuhui and Johan Elon {Hake} and Frank B. {Sachse} and John H. {Bridge} and Michael J. {Holst} and Andrew J. {McCammon} and Andrew D. {McCulloch} and Anushka P. {Michailova}}
}
@misc {martinal-talk-ocip-2012,
	title = {Numerical Comparison of Preconditioned Oneshot and Steepest Descent on Linear Elliptic Optimal Control Problems},
	howpublished = {OCIP 2012},
	year = {2012},
	month = {March},
	keywords = {Workshop},
	author = {Martin Sandve {Aln{\ae}s}}
}
@misc {Simula.simula.1254,
	title = {Prototyping Live Migration With SR-IOV Supported InfiniBand},
	howpublished = {Contributed talk at the 2012 OpenFabrics International Workshop, Monterey, USA},
	year = {2012},
	month = {March},
	keywords = {Workshop},
	author = {Wei Lin {Guay} and Bj{\o}rn Dag {Johnsen} and Torudbakken, Ola and Yen, Chien-Hua and Reinemo, Sven-Arne and Frank, Richard}
}
@misc {Simula.simula.1246,
	title = {The Scotia Sea: Mantle Dynamics + Plate Forces},
	howpublished = {Computational Geoscience Workshop, Geilo (Norway)},
	year = {2012},
	keywords = {Workshop},
	author = {Nerlich, Rainer and Moder, Christoph and Clark, Stuart and Bunge, Hans-Peter}
}
@misc {Simula.simula.1718,
	title = {Short and sweet, or long and complex? Perceiving temporal synchrony in audiovisual events},
	year = {2012},
	month = {June},
	abstract = {Perceived synchrony varies depending on the audiovisual event. Typically, asynchrony is tolerated at greater lead- and lag-times for speech and music than for action events. The tolerance for asynchrony in speech has been attributed to the unity assumption, which proposes a bonding of auditory and visual speech cues through associations in several dimensions. However, the variations in synchrony perception for different audiovisual events may simply be related to their complexity; where speech and music fluctuate naturally, actions involve isolated events and anticipated moments of impact. The current study measured perception of synchrony for long (13 seconds) and short (1 second) variants of three types of stimuli: (1) action, represented by a game of chess, (2) music, played by a drummer, and (3) speech, presented by an anchorwoman in a newscast. The long variants allowed events to play out with their natural dynamics, whereas short variants offered controlled and predictable single actions or events, selected from the longer segments. Results show that among the long stimuli, lead asynchrony was detected sooner for speech than for chess. This contrasts both with previous research and our own predictions, although it may be related to characteristics of the selected chess scene. Interestingly, tolerance to asynchrony was generally greater for short, than for long, stimuli, especially for speech. These findings suggest that the dynamics of complex events cannot account for previously observed differences in synchrony perception between speech and action events.},
	keywords = {Workshop},
	doi = {10.1163/187847612X647298},
	author = {Eg, Ragnhild and Dawn Marie {Behne}}
}
@misc {PresWoSoCER2011,
	title = {Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems},
	howpublished = { Presentation at the 1st International Workshop on Software Certification (WoSoCER). Hiroshima, Japan},
	year = {2011},
	note = {Presentation at the 1st International Workshop on Software Certification (WoSoCER). Hiroshima, Japan.},
	keywords = {Workshop},
	author = {Jose Luis {de la Vara}}
}
@misc {Simula.simula.928,
	title = {Excitation{-}contraction Coupling in Human Atrial Myocytes: Remodeling in Atrial Fibrillation},
	year = {2011},
	month = {September},
	keywords = {Workshop},
	author = {Koivum{\"a}ki, Jussi}
}
@misc {Simula.simula.926,
	title = {The Role of K+ Channels in Human Articular Chondrocyte Electrophysiology: a Computational Perspective},
	howpublished = {CaMo Seminar, Oslo, Norway},
	year = {2011},
	keywords = {Workshop},
	author = {Narayanan, Harish}
}
