Complete Max-SAT solvers are able to return the optimal value of an input instance but they do not provide any certificate its validity. In this paper, we introduce for first time a proof builder, called MS-Builder, which generates proofs under particular form sequence equivalence-preserving transformations. To generate proof, MS-Builder iteratively calls SAT oracle get refutation is handled an...

In this paper we present the ServFace Builder, an authoring tool that enables people without programming skills to design and create service-based interactive applications in a graphical manner. The tool exploits the concept of service annotations for developing multi-page interactive applications targeting various platforms and devices.

This paper describes a part of speech corpus recording procedure. It focuses on the supervision during the corpus recording and the checking on the recorded data. Several modifications of used software are presented.

BACKGROUND Text-based patient medical records are a vital resource in medical research. In order to preserve patient confidentiality, however, the U.S. Health Insurance Portability and Accountability Act (HIPAA) requires that protected health information (PHI) be removed from medical records before they can be disseminated. Manual de-identification of large medical record databases is prohibiti...

The Origins of New Zealand English project (ONZE) at the University of Canterbury houses a large audio corpus. Until a few years ago, this corpus was stored as a series of audio tapes and Microsoft Word documents. However the corpus is now housed on a central server, and can be interacted with via the tailor-made software ‘ONZE Miner’. ONZE Miner is a digitally interactive database which enable...

The paper shows the implementation of simulation models an electromechanical energy converter on example induction motor with a squirrel-cage rotor in SciLab environment and its graphic library Xcos for building structural diagrams. Despite existence programs such as Simulink ANSYS Twin Builder, is completely free, which advantage use academic scientific research. being free significantly diffe...

This paper presents a new approach and a software for collecting specialized corpora on the Web. This approach takes advantage of a very popular XML-based norm used on the Web for sharing content among websites: RSS (Really Simple Syndication). After a brief introduction to RSS, we explain the interest of this type of data sources in the framework of corpus development. Finally, we present Corp...

The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming language. This report documents the image builder, which lays out a binary image for a program. It contains detailed proofs that the operational semantics of the resulting output matches the operational semantics of the input.

The paper that is being submitted deals primarily with the implementation of firewall technology on Linux based systems. It focuses on the features of the visual medium for the creation and management of firewall rules, Visual Firewall Rule Builder – VFRB. VFRB has been written in Java and has a modular construction. The program consists of an object-oriented graphical user interface and a poli...