Materials. The PEDOT:PSS (Clevios PH 1000, 1 wt%) aqueous dispersion was purchased from Heraeus. Waterborne polyurethane (PU) was provided by DSM (China). Poly(dimethylsiloxane) (PDMS, Sylgard 184, Dow Corning) prepolymer was prepared by mixing base silicone gel with a curing agent in a 10:1 weight ratio. Dimethyl sulfoxide (DMSO) was purchased from Aladdin Chemistry Co., Ltd., Shanghai, China....

dyebias.application.subset Return a subset of reporters that can be dye bias-corrected reasonably well Description Convenience function returning a subset of reporters that can be expected to be corrected reasonably well. Often, the logical AND of this set and that of maW(data.norm) == 1.0 is used. The resulting subset is passed as the application.subset-argument to dyebias.apply.correction. Ar...

I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...

Program Slicing is a technique of identifying parts (slice) of a program that may influence or be influenced by a given set of program points (slice criteria). This technique has been extensively applied to program understanding. In the Bandera project [7], the application of program slicing was considered to reduce the size of the model extracted from concurrent Java programs for the purpose o...

Building trustworthy (dependable) systems is a major challenge faced by software developers. To this end, various fault tolerance mechanisms have been developed by researchers and used in industry. Unfortunately, more often than not these solutions ignore earlier development phases most importantly, the architecture design to exclusively focus on the implementation instead. This creates a dange...