CSP design model and tool support

The CSP paradigm is known as a powerful concept for designing and analysing the architectural and behavioural parts of concurrent software. Although the theory of CSP is useful for mathematicians, the programming language occam has been derived from CSP that is useful for any engineering practice. Nowadays, the concept of occam/CSP can be used for almost every object-oriented programming language. This paper describes a tree-based description model and prototype tool that elevates the use of occam/CSP concepts at the design level and performs code generation to Java, C, C++, and machine-readable CSP for the level of implementation. The tree-based description model can be used to browse through the generated source code. The tool is a kind of browser that is able to assist modern workbenches (like Borland Builder, Microsoft Visual C++ and 20-SIM) with coding concurrency. The tool will guide the user through the design trajectory using support messages and several semantic and syntax rule checks. The machine-readable CSP can be read by FDR, enabling more advanced analysis on the design. Early experiments with the prototype tool show that the browser concept, combined with the tree-based description model, enables a user-friendly way to create a design using the CSP concepts and benefits. The design tool is available from our URL, http://www.rt.el.utwente.nl/javapp

A Support Tool for Tagset Mapping

Many different tagsets are used in existing corpora; these tagsets vary according to the objectives of specific projects (which may be as far apart as robust parsing vs. spelling correction). In many situations, however, one would like to have uniform access to the linguistic information encoded in corpus annotations without having to know the classification schemes in detail. This paper describes a tool which maps unstructured morphosyntactic tags to a constraint-based, typed, configurable specification language, a ``standard tagset''. The mapping relies on a manually written set of mapping rules, which is automatically checked for consistency. In certain cases, unsharp mappings are unavoidable, and noise, i.e. groups of word forms {\sl not} conforming to the specification, will appear in the output of the mapping. The system automatically detects such noise and informs the user about it. The tool has been tested with rules for the UPenn tagset \cite{up} and the SUSANNE tagset \cite{garside}, in the framework of the EAGLES\footnote{LRE project EAGLES, cf. \cite{eagles}.} validation phase for standardised tagsets for European languages.Comment: EACL-Sigdat 95, contains 4 ps figures (minor graphic changes

Tool support for reasoning in display calculi

We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, that allows us to adapt the tool for a wide variety of user defined calculi

Concept-based Interactive Query Expansion Support Tool (CIQUEST)

This report describes a three-year project (2000-03) undertaken in the Information Studies Department at The University of Sheffield and funded by Resource, The Council for Museums, Archives and Libraries. The overall aim of the research was to provide user support for query formulation and reformulation in searching large-scale textual resources including those of the World Wide Web. More specifically the objectives were: to investigate and evaluate methods for the automatic generation and organisation of concepts derived from retrieved document sets, based on statistical methods for term weighting; and to conduct user-based evaluations on the understanding, presentation and retrieval effectiveness of concept structures in selecting candidate terms for interactive query expansion. The TREC test collection formed the basis for the seven evaluative experiments conducted in the course of the project. These formed four distinct phases in the project plan. In the first phase, a series of experiments was conducted to investigate further techniques for concept derivation and hierarchical organisation and structure. The second phase was concerned with user-based validation of the concept structures. Results of phases 1 and 2 informed on the design of the test system and the user interface was developed in phase 3. The final phase entailed a user-based summative evaluation of the CiQuest system. The main findings demonstrate that concept hierarchies can effectively be generated from sets of retrieved documents and displayed to searchers in a meaningful way. The approach provides the searcher with an overview of the contents of the retrieved documents, which in turn facilitates the viewing of documents and selection of the most relevant ones. Concept hierarchies are a good source of terms for query expansion and can improve precision. The extraction of descriptive phrases as an alternative source of terms was also effective. With respect to presentation, cascading menus were easy to browse for selecting terms and for viewing documents. In conclusion the project dissemination programme and future work are outlined

The Talking Points Tool: A Brief Intervention to Support Predoctoral Student and Faculty Advisor Communication

Excellent relationships between predoctoral students and faculty supervisors can lay the foundation for a satisfying degree program and productive future. Contrarily, poor relationships can frustrate both students and supervisors. We examined mentoring experiences focused on career development. Students desired enhanced career mentoring but were uncomfortable approaching their supervisors with these concerns. Faculty advisors reported willingness to support students’ career development, yet expected students to initiate those conversations. Responding to this communication disconnect, we developed a brief intervention to facilitate conversations—a Talking Points Tool (TPT). In this paper, we examine whether the TPT influenced students’ career conversations and development.Cockrell School of Engineerin

Decision Support System Tool Untuk Penyelesaian Permasalahan Linear Berbasis Simplex Dan Revised Simplex

Pada permasalahan optimasi sumber daya, baik itu minimalisasi biaya ataupun maksimalisasi keuntungan,yang bersifat linear, dapat dibuat sebuah tool yang berguna untuk membantu menyelesaikan permasalahantersebut sehingga didapat hasil kombinasi sumber daya yang optimal. Sistem ini dirancang untuk dapatmenangani berbagai bidang permasalahan linier karena sifatnya yang terbuka. DSS tool ini akan menggunakanmetode penyelesaian simplex atau revised simplex dalam membantu penyelesaian permasalahannya. Namunsebelum menerapkan permasalahan linear yang dihadapi pada tool yang telah dibuat, terlebih dahulu perluuntuk melakukan pembentukan model matematika dari permasalahan tersebut. Dengan memanfaatkan DSS toolini, maka semua permasalahan linear akan dapat diselesaikan dengan tepat dan cepat

Undercurrents – A Computer-Based Gameplay Tool to Support Tabletop Roleplaying

This paper introduces Undercurrents, a computer-based gameplay tool for providing additional communication and media streams during tabletop roleplaying sessions. Based upon a client-server architecture, the system is intended to unobtrusively support secret communication, timing of audio and visual presentations to game events, and real-time documentation of the game session. Potential end users have been involved in the development and the paper provides details on the full design process