Zero-One Designs Produce Small Hard SAT Instances

Some basics of combinatorial block design are combined with certain constraint satisfaction problems of interest to the satisfiability community. The paper shows how such combinations lead to satisfiability problems, and shows empirically that these are some of the smallest very hard satisfiability problems ever constructed. Partially balanced (0,1) designs (PB01Ds) are introduced as an extension of balanced incomplete block designs (BIBDs) and (0,1) designs. Also, (0,1) difference sets are introduced as an extension of certain cyclical difference sets. Constructions based on (0,1) difference sets enable generation of PB01Ds over a much wider range of parameters than is possible for BIBDs. Building upon previous work of Spence, it is shown how PB01Ds lead to small, very hard, unsatisfiable formulas. A new three-dimensional form of combinatorial block design is introduced, and leads to small, very hard, satisfiable formulas. The methods are validated on solvers that performed well in the SAT 2009 and earlier competitions.

Effectiveness of Community versus Hospital Eye Service follow-up for patients with neovascular age-related macular degeneration with quiescent disease (ECHoES): a virtual non-inferiority trial

OBJECTIVES: To compare the ability of ophthalmologists versus optometrists to correctly classify retinal lesions due to neovascular age-related macular degeneration (nAMD).

DESIGN: Randomised balanced incomplete block trial. Optometrists in the community and ophthalmologists in the Hospital Eye Service classified lesions from vignettes comprising clinical information, colour fundus photographs and optical coherence tomographic images. Participants' classifications were validated against experts' classifications (reference standard).

SETTING: Internet-based application.

PARTICIPANTS: Ophthalmologists with experience in the age-related macular degeneration service; fully qualified optometrists not participating in nAMD shared care.

INTERVENTIONS: The trial emulated a conventional trial comparing optometrists' and ophthalmologists' decision-making, but vignettes, not patients, were assessed. Therefore, there were no interventions and the trial was virtual. Participants received training before assessing vignettes.

MAIN OUTCOME MEASURES: Primary outcome-correct classification of the activity status of a lesion based on a vignette, compared with a reference standard. Secondary outcomes-potentially sight-threatening errors, judgements about specific lesion components and participants' confidence in their decisions.

RESULTS: In total, 155 participants registered for the trial; 96 (48 in each group) completed all assessments and formed the analysis population. Optometrists and ophthalmologists achieved 1702/2016 (84.4%) and 1722/2016 (85.4%) correct classifications, respectively (OR 0.91, 95% CI 0.66 to 1.25; p=0.543). Optometrists' decision-making was non-inferior to ophthalmologists' with respect to the prespecified limit of 10% absolute difference (0.298 on the odds scale). Optometrists and ophthalmologists made similar numbers of sight-threatening errors (57/994 (5.7%) vs 62/994 (6.2%), OR 0.93, 95% CI 0.55 to 1.57; p=0.789). Ophthalmologists assessed lesion components as present less often than optometrists and were more confident about their classifications than optometrists.

CONCLUSIONS: Optometrists' ability to make nAMD retreatment decisions from vignettes is not inferior to ophthalmologists' ability. Shared care with optometrists monitoring quiescent nAMD lesions has the potential to reduce workload in hospitals.

TRIAL REGISTRATION NUMBER: ISRCTN07479761; pre-results registration.

Polystyrene and asphaltene micelles within blends with a bitumen of an SBS block copolymer and styrene and butadiene homopolymers

Using fluorescence microscopy, DSC and DMTA we have explored blends of a bitumen with a styrene-butadiene-styrene (SBS) block copolymer, and with blends of the bitumen with SBS and one or two homopolymers - a polystyrene and a poly(cis-butadiene). The SBS polymer was progressively replaced with quantities of the homopolymers both together in the proportions found in the block copolymer and then by each homopolymer separately. At low temperatures the blends are all softer than the bitumen itself, so the polymers plasticise the bitumen-rich phase, and above 50°C the blends' stiffness (E') falls below a plateau only when a critical proportion of the block copolymer has been replaced with the two homopolymers: this supports the idea of an extensive network created by the polystyrene-rich spherical microphases that is effective even when the polystyrene microphases have melted. In one polymer blend the stiffness rose as the temperature was raised above 100°C, suggesting the development of a mesophase based upon polybutadiene plus asphaltenes, in another E' was enhanced and E" remained constant as the temperature rose above 70°C, perhaps for a similar reason; in some loss process appeared and the stiffness fell as temperature rose; but in others a good part of the SBS was replaced by either polystyrene or polybutadiene without changing the appearance of a rubbery plateau, that is, without a diminution of the mechanical properties of the soft matter.

A VLSI Architecture for Variable Block Size Video Motion Estimation

With the advent of new video standards such as MPEG-4 part-10 and H.264/H.26L, demands for advanced video coding, particularly in the area of variable block size video motion estimation (VBSME), are increasing. In this paper, we propose a new one-dimensional (1-D) very large-scale integration architecture for full-search VBSME (FSVBSME). The VBS sum of absolute differences (SAD) computation is performed by re-using the results of smaller sub-block computations. These are distributed and combined by incorporating a shuffling mechanism within each processing element. Whereas a conventional 1-D architecture can process only one motion vector (MV), this new architecture can process up to 41 MV sub-blocks (within a macroblock) in the same number of clock cycles.

Generic Architecture and Semiconductor Intellectual Property Cores for Avanced Encryption Standard Cryptography

A generic architecture for implementing the advanced encryption standard (AES) encryption algorithm in silicon is proposed. This allows the instantiation of a wide range of chip specifications, with these taking the form of semiconductor intellectual property (IP) cores. Cores implemented from this architecture can perform both encryption and decryption and support four modes of operation: (i) electronic codebook mode; (ii) output feedback mode; (iii) cipher block chaining mode; and (iv) ciphertext feedback mode. Chip designs can also be generated to cover all three AES key lengths, namely 128 bits, 192 bits and 256 bits. On-the-fly generation of the round keys required during decryption is also possible. The general, flexible and multi-functional nature of the approach described contrasts with previous designs which, to date, have been focused on specific implementations. The presented ideas are demonstrated by implementation in FPGA technology. However, the architecture and IP cores derived from this are easily migratable to other silicon technologies including ASIC and PLD and are capable of covering a wide range of modem communication systems cryptographic requirements. Moreover, the designs produced have a gate count and throughput comparable with or better than the previous one-off solutions.

Org 25969 (sugammadex), a selective relaxant binding agent for antagonism of prolonged rocuronium-induced neuromuscular block

Background. Org 25969 is a cyclodextrin compound designed to reverse a rocuronium-induced neuromuscular block. The aim of this study was to explore the efficacy, dose-response relation and safety of Org 25969 for reversal of a prolonged rocuronium-induced neuromuscular block. Methods. Thirty anaesthetised adult patients received rocuronium 0.6mg kg as an initial dose followed by increments to maintain a deep block at level of

Postoperative residuial block after intermediate-acting neuromuscular blocking drugs

Summary The frequency and duration of postoperative residual neuromuscular block on arrival of 150 patients in the recovery ward following the use of vecuronium (n = 50), atracurium (n = 50) and rocuronium (n = 50) were recorded. Residual block was defined as a train-of-four ratio of 0.8 after arrival in the recovery ward were 9.2 [1-61], 6.9 [1-24] and 14.7 [1.5-83] min for the vecuronium, atracurium and rocuronium, respectively. None of the 10 patients who did not receive neuromuscular blocking drugs had train-of-four ratios

Neostigmine antagonism of rocuronium block during anesthesia with sevoflurane, isoflurane or propofol

Purpose: To examine the influence of continuing administration of sevoflurane or isoflurane during reversal of rocuronium induced neuromuscular block with neostigmine. Methods: One hundred and twenty patients, divided into three equal groups, were randomly allocated to maintenance of anesthesia with sevoflurane, isoflurane or propofol. Neuromuscular block was induced with rocuronium and monitored using train-of-four (TOF) stimulation of the ulnar nerve and recording the force of contraction of the adductor pollicis muscle. Neostigmine was administered when the first response in TOF had recovered to 25%. At this time the volatile agent administration was stopped or propofol dosage reduced in half the patients in each group (n = 20 in each group). The times to attain TOF ratio of 0.8, and the number of patients attaining this end point within 15 min were recorded. Results: The times (mean ± SD) to recovery of the TOF ratio to 0.8 were 12.0 ± 5.5 and 6.8 ± 2.3 min in the sevoflurane continued and sevoflurane stopped groups, 9.0 ± 8.3 and 5.5 ± 3.0 min in the isoflurane continued and isoflurane stopped groups, and 5.2 ± 2.8 and 4.7 ±1.5 min in the propofol continued and propofol stopped groups (P <0.5- 01). Only 9 and 15 patients in the sevoflurane and isoflurane continued groups respectively had attained a TOF ratio of 0.8 within 15 min (P <0.001 for sevoflurane). Conclusions: The continued administration of sevoflurane, and to a smaller extent isoflurane, results in delay in attaining adequate antagonism of rocuronium induced neuromuscular block.

Designs and designers of medieval ‘new towns’ in Wales

Medieval 'new towns' seem to echo Roman towns in having a grid of streets associated with a fortress, and have often been credited with a standard plan applied by the hand of authority. Here the authors analyse the new towns founded by Edward I in Wales and find some highly significant variations. Rediscovering the original layouts by high precision survey and GIS mapping, they show that some towns, founded at the same time and on similar topography, had quite different layouts, while others, founded at long intervals, had plans that were almost identical. Documentation hints at the explanation: it was the architects, masons and ditch-diggers, not the king and aristocracy, who established and developed these blueprints of urban life.