HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference between the two logics relies on the way modalities are handled....

An experiment was conducted to test using effluents from intensive hybrid catfish (Clarias macrocephalus × C. gariepinus) ponds as nutrient inputs for Nile tilapia (Oreochromis niloticus) culture, which would reduce effluent effects from catfish culture, gain extra fish production at low cost, and possibly make aquaculture more profitable to farmers. Three treatments were done with three replic...

We propose a tableau-based decision procedure for the full Alternating-time Temporal Logic ATL∗. We extend our procedure for ATL in order to deal with nesting of temporal operators. As a side effect, we obtain a new and conceptually simple tableau method for CTL∗. The worst case complexity of our procedure is 2EXPTIME. Our method is human-readable and easily implementable. A web application and...

Cross-site search (XS-search) attacks circumvent the sameorigin policy and extract sensitive information, by using the time it takes for the browser to receive responses to search queries. This side-channel is usually considered impractical, due to the limited attack duration and high variability of delays. This may be true for naive XS-search attacks; however, we show that the use of better to...

The Networked Computer Science Technical Report Library (NCSTRL1) is a distributed digital library of research results from computer science departments and laboratories in the USA and abroad. NCSTRL benefits readers, authors, and departments. Researchers throughout the world can use familiar Internet tools (the World Wide Web) to search for, browse, read, and download technical reports from pa...

An experiment was conducted in nine 200-m2 earthen ponds at the Asian Institute of Technology (AIT), Thailand from 17 July 2003 to 3 March 2004 (230 days). The objectives of the study were to assess the feasibility of co-culture of lotus and hybrid catfish in intensively fed ponds, to assess nutrient recovery from feed waste by lotus plants, to assess pond mud characteristics after lotus-fish c...

In this technical report, we provide an in-depth description of the Stochastic Network Calculator tool, henceforth just called “Calculator”. This tool is designed to compute and automatically optimize performance bounds in queueing networks using the methodology of stochastic network calculus (SNC). For a detailed introduction to SNC, see the publicly available thesis of Beck [2], which shares ...

This report summarizes the results of our evaluation of antennas of contactless and dual interface smartcards and our ideas for user-switchable NFC antennas. We show how to disassemble smartcards with contactless capabilities in order to obtain the bare chip module and the bare antenna wire. We examine the design of various smartcard antennas and present concepts to render the contactless inter...