Compromised computers have been a menace to both personal and business computing. In this paper, we tackle the problem of automated detection of break-ins of new unknown threats such as worms, spyware and adware on personal computers. We propose Break-IN DEtectoR (BINDER), a host-based break-in detection system. Our key observation is that many break-ins make extrusions, stealthy malicious outg...

Self compacting concrete (SCC) is an innovative development of conventional concrete, which requires high binder content to increase its segregation resistance. This paper presents a comparative study on the use of different materials as binder content in SCC and their effects on the workability and strength properties are checked. Different combinations of Fly ash, Metakaolin and Saw dust ash ...

The study investigates ibuprofen with wax-like properties as a multifunctional agent (as an active component and as a melt binder). Binding efficiency was compared with granules prepared by wet granulation using polyvinylpyrollidone (PVP K-30) as a binder for micromeritic, physical and mechanical properties such as angle of repose, particle size distribution Carr's index, Hausner's ratio, crush...

Improving oxygen reduction in microbial fuel cell (MFC) cathodes requires a better understanding of the effects of the catalyst binder chemistry and properties on performance. A series of polystyrene-bpoly(ethylene oxide) (PS-b-PEO) polymers with systematically varying hydrophilicity were designed to determine the effect of the hydrophilic character of the binder on cathode performance. Increas...

Full linear-time hybrid logic (HL) is a non-elementary and equally expressive extension of standard LTL + past obtained by adding the well-known binder operators ↓ and ∃. We investigate complexity and succinctness issues for HL in terms of the number of variables and nesting depth of binder modalities. First, we present direct automata-theoretic decision procedures for satisfiability and model-...

In order to minimize the binder content in composite lunar “cement,” this paper uses JSC-1A lunar soil simulant and unsaturated polyester resin (UPR) to produce low-binder-content composite. Important system parameters such as compression pressure, compression duration, vibration, loading rate, loading number, and initial grain size distribution are analyzed. The most critical control variable ...

The binder force in sheet metal forming controls the material flow into the die cavity. Maintaining precise material flow characteristics is crucial for producing a high-quality stamped part. Process control can be used to adjust the binder force based on tracking of a reference punch force trajectory to improve part quality and consistency. The purpose of this paper is to present a systematic ...