Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their immediate success is the fact that no specific skills are needed for participating. At the moment, however, there exists no foundational research for these systems. We present a formal model and a new search algorithm for folkson...

The Autonomous Systems Lab of EPFL is developing, within the framework of an ESA program, an ultra-lightweight solar autonomous model airplane called Sky-Sailor with embedded navigation and control systems. The main goal of this project is to jointly undertake research on navigation, control of the plane and also work on the design of the structure, the energy generation system. The airplane wi...

In this research, the effect of the cement, sand, and pumice mixture on the durability of lightweight concrete is investigated. The intention of this paper is to replace a certain amount of the pumice percentage as an alternative option of the cement and pumice sand aggregate with conventional sand components. The experimental results include compressive strength, ion-chloride emission factor (...

In this paper, we propose a family of lightweight cryptographic permutations called sLiSCP, with the sole aim to provide a realistic minimal design that suits a variety of lightweight device applications. More precisely, we argue that for such devices the chip area dedicated for security purposes should, not only be consumed by an encryption or hashing algorithm, but also provide as many crypto...

UNLABELLED Jalview Version 2 is a system for interactive WYSIWYG editing, analysis and annotation of multiple sequence alignments. Core features include keyboard and mouse-based editing, multiple views and alignment overviews, and linked structure display with Jmol. Jalview 2 is available in two forms: a lightweight Java applet for use in web applications, and a powerful desktop application tha...

The conceptual structure of existing software systems is often implicit or non-existing in the source code. We propose the lightweight abstraction of intentional source-code views as a means of making these conceptual structures more explicit. Based on the experience gained with two case studies, we illustrate how intentional source-code views can simplify and improve software understanding, ma...

People working with ad-hoc collaboration tools suffer from information overload and information scatter. Our five-month study of project managers found their work comprised of fragmented activities scattering in task, people and application. However, these loosely coupled collaborative activities were implicitly organized by hierarchical activity threads through intrusion and digression, and ge...

This paper presents the formal specification for a tool that models the functional requirements of a system based on use case models. The formal model of such a tool is made using Alloy, which is a lightweight modeling language. The structure of the model as well as an analysis of the model are specified using Alloy. As a complement of the formal model, a model diagram is also presented using t...

We propose a lightweight data structure for indexing and querying collections of NGS reads data in main memory. The data structure supports the interface proposed in the pioneering work by Philippe et al. for counting and locating k-mers in sequencing reads. Our solution, PgSA (pseudogenome suffix array), based on finding overlapping reads, is competitive to the existing algorithms in the space...

Technical reports are an invaluable resource of information. They represent the work that is carried on by students or researchers in short periods of time. In order to maintain the organization of collections, this paper discusses how the structure and the terms of the collection can be used to select the best cluster for a new technical report. The collection is represented as a lightweight o...