Concolic execution systems allow developers to verify that invariants in their applications are not violated no matter what input is given by a user. This was demonstrated in Lab 3, where the Z3 solver was used to find inputs that would trigger inconsistencies in Zoobar balances. Unfortunately, the lab’s framework is written specifically for Zoobar, and would therefore not work for other applic...

Abstract: During solidification and casting in metallic molds, the heat flow is controlled by the thermal resistance at the casting-mold interface. Thus heat transfer coefficient at the metal- mold interface has a predominant effect on the rate of heat transfer. In some processes such as low pressure and die-casting, the effect of pressure on molten metal will affect the rate of heat transfer a...

T willingness of organizational users to access and use their knowledge infrastructure depends on the success of the user interface. If the interface is too complicated or cumbersome, many users will not proceed further and will choose alternative methods for essential tasks, even if less efficient or comprehensive (Tiwana, 2000). Die-hard computer buffs may brave any interface; for many, howev...

The analysis of text collections forms the basis of scholarship in many disciplines in the humanities and social sciences. Despite the growing availability of electronic texts, automated techniques have not been effectively exploited to support the activities of scholars in these fields. We present a prototype search interface for exploring text collections that places equal emphasis on content...

There exists a great number of work related to chaotic systems investigated by many researchers, especially about Lorenz chaotic system. If the order of differentiation of variables are fractional, the systems are called fractional chaotic systems. In this work a webbased interface is designed for fractional composition of five different chaotic systems. The interface takes initial and fraction...

Astronomers using the TNG telescope may be confronted during their observing runs with the need to access information, help les, or the archive system. In order to allow observers to eeciently access the desired information and data using an interface they are already familiar to, HTML is being used and will be used in the future. The access to the facilities at the telescope will be initially ...

INTRODUCTION There has been an interest in research on exploring the use of faces as interfaces [2,10,11]. These projects show that using faces can help interfaces seem more credible to the user [10], help with learning [2], and make the user feel more engaged and excited [11]. However, only a few researchers have looked at using one’s own face as an interface [10]. Using one’s own face has sev...

This paper describes an adaptive brain-body interface (BBI) that was designed to cater for traumatic brain injured personnel to use the computer screen as a means for communicating, recreating and controlling their environment. The paper describes how the initial interface was developed and optimised for this group of personnel. It also deals with the challenges involved in designing an adaptiv...

Theoretical work in the field of interfacial segregation is focused mainly on the sharp interface approach beginning with the Gibbs’ introduction of the dividing surface. In this paper a continuum approach to the problem of interfacial segregation, which deals with continuous distributions of quantities at interfaces, is developed. The current study concentrates on heterophase interfaces in all...