A tool for performance evaluation will be presented in this paper. The tool is named BAL and is based on the timed process algebra BTC incorporating resources as well. BAL begins by first making the syntactic analysis of the system specification, and then draws up its relevant transition graph by applying the rules of the operational semantics and solves a performance optimization problem relev...

Functional Measurement (FM) has been applied to a variety of settings that can be considered as “extreme” settings; that is, settings involving participants with severe cognitive disabilities or involving unusual stimulus material. FM has, as instance, been successfully applied for analyzing (a) numerosity judgments among children as young as 3 years, (b) area judgment among children and adoles...

Humans are remarkably flexible tool users. We not only recognize a wide range of existing tools, but also produce new tools by seeing objects in new ways, or by making or repurposing objects to solve a problem confronting us. Here we study the cognitive processes supporting flexible tool use, including deciding what makes a good tool, and how it should be used. Participants played a video game ...

The purpose of this paper is to introduce the TermoPL tool created to extract terminology from domain corpora in Polish. The program extracts noun phrases, term candidates, with the help of a simple grammar that can be adapted for user’s needs. It applies the C-value method to rank term candidates being either the longest identified nominal phrases or their nested subphrases. The method operate...

We describe LT TTT, a recently developed software system which provides tools to perform text tokenisation and mark-up. The system includes ready-made components to segment text into paragraphs, sentences, words and other kinds of token but, crucially, it also allows users to tailor rule-sets to produce mark-up appropriate for particular applications. We present three case studies of our use of...

We present a statistical similarity measuring and clustering tool, SIMFINDER, that organizes small pieces of text from one or multiple documents into tight clusters. By placing highly related text units in the same cluster, SIMFINDER enables a subsequent content selection/generation component to reduce each cluster to a single sentence, either by extraction or by reformulation. We report on imp...

Memories are by far the most dominating circuit structure found in modern day application specific integrated circuits (ASIC) and system-on-chips (SoC). When considering efficiency, it is not deemed good practice to create different memories from scratch for every unique ASIC. In an era where technology is ever improving and constantly changing, there is a need for versatile and technology adap...

The usefulness of task analysis and task modeling has been widely acknowledged in software design and development. However, the rate of adoption of task analysis and modeling has been painstakingly slow. One of the reasons for this may be the lack of flexible software tool support. In this paper, we present Tamot, a graphical task modeling tool that was designed to include the characteristics t...

Micropayments are electronic payments of small amount. Given their low value, the cost of the corresponding electronic transactions should also be kept low. Current micropayment schemes allow a regular amount of money withdrawn from a bank to be split into fixedvalue coupons, each of which is used for one micropayment. A more flexible mechanism is proposed in this paper, whereby coupons of vari...