Testing of software and systems requires a set of inputs to the system under test as well as test oracles for checking the correctness of the obtained output. In this paper we focus on test oracles within the domain of security testing, which require consistent knowledge of security policies. Unfortunately, consistency of knowledge cannot always be ensured. Therefore, we strongly require a proc...

A sufficiently large connected matroid M contains a big circuit or a big cocircuit. Pou-Lin Wu showed that we can ensure that M has a big circuit or a big cocircuit containing any chosen element of M . In this paper, we begin with a fixed connected matroid N and we take M to be a connected matroid that has N as a minor. Our main result establishes that ifM is sufficiently large, then, up to dua...

This in vitro investigation compared the effect of using either gold or titanium retaining screws on preload in the dental implant- abutment complex. Inadequate preload can result in screw loosening, whilst fracture may occur if preload is excessive. These are the most commonly reported complications in implant-retained prostheses, and result in unscheduled, costly and time-consuming visits for...

Regularization of neural networks can alleviate overfitting in the training phase. Current regularization methods, such as Dropout and DropConnect, randomly drop neural nodes or connections based on a uniform prior. Such a data-independent strategy does not take into consideration of the quality of individual unit or connection. In this paper, we aim to develop a data-dependent approach to regu...

Advances in mobile computing, sensors, controls, ubiquitous networking, and other indoor automation infrastructure enable buildings to operate more intelligently, providing improved energy efficiency, safety, convenience, and quality of life. However, many features of these “smart spaces” require sensing, aggregation, analysis, and storage of potentially sensitive information about room occupan...

The use of an all-polyethylene tibia in total knee arthroplasty is being revisited as a means to decrease backside polyethylene wear and lessen cost. The Depuy Sigma all-polyethylene tibia (Depuy Orthopedics, Warsaw, Indiana) has been reported with good outcomes at a greater than 10-year interval, whereas the Biomet AGC I beam design (Biomet, Warsaw, Indiana) has had a high failure rate at an e...

In this paper, we describe a method that allows a hypermedia document to retain its hyperlinks in the printed copy. The method associates the hyperlinks with cut-out tabs on the edges of the printed pages. A method for modelling the cut-out tabs and optimizing their assignment to the hyperlinks is discussed. We also describe a prototype authoring system that implements the method.  1999 Publis...

Volunteer computing projects (VCPs) have been set up by groups of scientists to recruit members of the public who are asked to donate spare capacity on their personal computers to the processing of scientific data or computationally intensive models. VCPs serve two purposes: to acquire significant computing capacity and to educate the public about science. A particular challenge for these scien...

In today’s increasingly competitive business environment companies can, and indeed must, respond more rapidly to customers’ changing demands, desires, and preferences. In today’s information-rich environment customers can comparison shop, get product reviews from other customers, and, in general, become very well informed about what is available in the market. • If your offerings are not differ...