In this essay, I shall show first of all that the socalled inferential (Suárez 2003 and 2004) and interpretational (Contessa 2007) accounts of scientific representation are respectively unsatisfactory and too weak to account for scientific representation (pars destruens). Along the way, I shall also argue that the pragmatic similarity (Giere 2004 and 2010) and the partial isomorphism (da Costa ...

Recent research demonstrated that gas leaking fromunderground can be identified by observing increased stress in overlying vegetation using spectral imaging. This has been accomplishedwith both visible/near-infrared (Vis/NIR) sunlight reflection and long-wave infrared (LWIR) thermal emission. During a 4-week period in summer 2011, a controlled release experiment was conducted in Bozeman, Montan...

A bar-and-joint framework is a finite set of points together with specified distances between selected pairs. In rigidity theory we seek to understand when the remaining pairwise distances are also fixed. If there exists a pair of points which move relative to one another while maintaining the given distance constraints, the framework is flexible; otherwise, it is rigid. Counting conditions due...

Nowadays, there exists a large competition between maritime ports, so that the improvement of customer service became a serious important problem within port container terminals which led to several sub-problems (Vis and Koster 2003). One of these sub-problems is the Container Stacking Problem. A container stack is a type of temporary store where containers await further transport by truck, tra...

Gaussian and Gabor patches can be accurately localized; however, it is not yet clear which cues (or location tags) the visual system utilizes for localization. To determine the cues used in spatial alignment, we measured and modelled the perceived shifts for asymmetric Gaussian and Gabor patches over a wide range of separations, patch sizes and orientations. For Gaussian patches we observed per...

Leaf area index (LAI) and biomass are important indicators of crop development and the availability of this information during the growing season can support farmer decision making processes. This study demonstrates the applicability of RapidEye multi-spectral data for estimation of LAI and biomass of two crop types (corn and soybean) with different canopy structure, leaf structure and photosyn...

This paper presents an approach to formal requirements speciication of embedded systems. The speciic demands of a speciication for command and control systems are addressed. The proposed method allows various views of a system, like conventional methods. The added value lies in the fact that the relationship between the views is speciied formally, and consistency between views can be analyzed f...

This paper discusses the role of automated theorem proving in analysing properties of interactive behaviour. It builds on previous work that used model checking techniques to analyse a set of template properties systematically. It recognises that while model checking can be used for real-world examples, the performance of existing tools on everyday computers can be unacceptable and as a result ...

Potentially unwanted programs (PUP) such as adware and rogueware, while not outright malicious, exhibit intrusive behavior that generates user complaints and makes security vendors flag them as undesirable. PUP has been little studied in the research literature despite recent indications that its prevalence may have surpassed that of malware. In this work we perform the first systematic study o...