An Empirical Analysis of Search in GSAT

We describe an extensive study of search in GSAT, an approximation procedure for propositional satisfiability. GSAT performs greedy hill-climbing on the number of satisfied clauses in a truth assignment. Our experiments provide a more complete picture of GSAT's search than previous accounts. We describe in detail the two phases of search: rapid hill-climbing followed by a long plateau search. We demonstrate that when applied to randomly generated 3SAT problems, there is a very simple scaling with problem size for both the mean number of satisfied clauses and the mean branching rate. Our results allow us to make detailed numerical conjectures about the length of the hill-climbing phase, the average gradient of this phase, and to conjecture that both the average score and average branching rate decay exponentially during plateau search. We end by showing how these results can be used to direct future theoretical analysis. This work provides a case study of how computer experiments can be used to improve understanding of the theoretical properties of algorithms.Comment: See http://www.jair.org/ for any accompanying file

Allocation in Practice

How do we allocate scarcere sources? How do we fairly allocate costs? These are two pressing challenges facing society today. I discuss two recent projects at NICTA concerning resource and cost allocation. In the first, we have been working with FoodBank Local, a social startup working in collaboration with food bank charities around the world to optimise the logistics of collecting and distributing donated food. Before we can distribute this food, we must decide how to allocate it to different charities and food kitchens. This gives rise to a fair division problem with several new dimensions, rarely considered in the literature. In the second, we have been looking at cost allocation within the distribution network of a large multinational company. This also has several new dimensions rarely considered in the literature.Comment: To appear in Proc. of 37th edition of the German Conference on Artificial Intelligence (KI 2014), Springer LNC

Unfolding the Sulcus

Sulci are localized furrows on the surface of soft materials that form by a compression-induced instability. We unfold this instability by breaking its natural scale and translation invariance, and compute a limiting bifurcation diagram for sulcfication showing that it is a scale-free, sub-critical {\em nonlinear} instability. In contrast with classical nucleation, sulcification is {\em continuous}, occurs in purely elastic continua and is structurally stable in the limit of vanishing surface energy. During loading, a sulcus nucleates at a point with an upper critical strain and an essential singularity in the linearized spectrum. On unloading, it quasi-statically shrinks to a point with a lower critical strain, explained by breaking of scale symmetry. At intermediate strains the system is linearly stable but nonlinearly unstable with {\em no} energy barrier. Simple experiments confirm the existence of these two critical strains.Comment: Main text with supporting appendix. Revised to agree with published version. New result in the Supplementary Informatio

On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry

We consider a common type of symmetry where we have a matrix of decision variables with interchangeable rows and columns. A simple and efficient method to deal with such row and column symmetry is to post symmetry breaking constraints like DOUBLELEX and SNAKELEX. We provide a number of positive and negative results on posting such symmetry breaking constraints. On the positive side, we prove that we can compute in polynomial time a unique representative of an equivalence class in a matrix model with row and column symmetry if the number of rows (or of columns) is bounded and in a number of other special cases. On the negative side, we show that whilst DOUBLELEX and SNAKELEX are often effective in practice, they can leave a large number of symmetric solutions in the worst case. In addition, we prove that propagating DOUBLELEX completely is NP-hard. Finally we consider how to break row, column and value symmetry, correcting a result in the literature about the safeness of combining different symmetry breaking constraints. We end with the first experimental study on how much symmetry is left by DOUBLELEX and SNAKELEX on some benchmark problems.Comment: To appear in the Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010

Fracture of a biopolymer gel as a viscoplastic disentanglement process

We present an extensive experimental study of mode-I, steady, slow crack dynamics in gelatin gels. Taking advantage of the sensitivity of the elastic stiffness to gel composition and history we confirm and extend the model for fracture of physical hydrogels which we proposed in a previous paper (Nature Materials, doi:10.1038/nmat1666 (2006)), which attributes decohesion to the viscoplastic pull-out of the network-constituting chains. So, we propose that, in contrast with chemically cross-linked ones, reversible gels fracture without chain scission

The cholesterol-raising diterpenes from coffee beans increase serum lipid transfer protein activity levels in humans

Cafestol and kahweol–diterpenes present in unfiltered coffee— strongly raise serum VLDL and LDL cholesterol and slightly reduce HDL cholesterol in humans. The mechanism of action is unknown. We determined whether the coffee diterpenes may affect lipoprotein metabolism via effects on lipid transfer proteins and lecithin:cholesterol acyltransferase in a randomized, double-blind cross-over study with 10 healthy male volunteers. Either cafestol (61–64 mg/day) or a mixture of cafestol (60 mg/day) and kahweol (48–54 mg/day) was given for 28 days. Serum activity levels of cholesterylester transfer protein, phospholipid transfer protein and lecithin:cholesterol acyltransferase were measured using exogenous substrate assays. Relative to baseline values, cafestol raised the mean (±S.D.) activity of cholesterylester transfer protein by 18±12% and of phospholipid transfer protein by 21±14% (both P<0.001). Relative to cafestol alone, kahweol had no significant additional effects. Lecithin:cholesterol acyltransferase activity was reduced by 11±12% by cafestol plus kahweol (P=0.02). It is concluded that the effects of coffee diterpenes on plasma lipoproteins may be connected with changes in serum activity levels of lipid transfer proteins

Subsurface processes generated by bore-driven swash on coarse-grained beaches

Peer reviewedPublisher PD

Does metformin improve vascular health in children with Type 1 diabetes? Protocol for a one year, double blind, randomised, placebo controlled trial

Background: Cardiovascular disease is the leading cause of mortality in Type 1 diabetes (T1D). Vascular dysfunction is an early and critical event in the development of cardiovascular disease. Children with T1D have vascular dysfunction therefore early interventions to improve vascular health are essential to reduce cardiovascular mortality in T1D. Metformin is an insulin sensitising agent which is known to improve vascular health outcomes in type 2 diabetes (T2D) and other individuals with insulin resistance. It has been used safely in children and adolescents with T2D for over 10 years. This study aims to assess the effect of metformin on vascular health in children with T1D. Methods/Design: This study is a 12 month, double blind, randomised, placebo controlled trial to determine the effect of metformin on vascular health in children (age 8–18) with T1D. The sample size is 76 with 38 children in the metformin group and 38 children in the placebo group. Vascular health and biochemical markers will be measured at baseline, 3, 6 and 12 months. Vascular function will be measured using flow mediated dilatation and glyceryl trinitrate mediated dilatation of the brachial artery and vascular structure will be measured with carotid and aortic intima media thickness, using standardised protocols. Discussion: This study will be the first to investigate the effect of metformin on vascular health in children with T1D. It will provide important information on a potential intervention to improve cardiovascular morbidity and mortality in this population at high risk from cardiovascular disease.Jemma Anderson, Alexia S Peña, Thomas Sullivan, Roger Gent, Bronwen D’Arcy, Timothy Olds, Brian Coppin and Jennifer Coupe

Characterization of human high-density lipoprotein subclasses LP A-I and LP A-I/A-II and binding to HepG2 cells

Abstract Plasma HDL can be classified according to their apolipoprotein content into at least two types of lipoprotein particles: lipoproteins containing both apo A-I and apo A-II (LP A-I/A-II) and lipoproteins with apo A-I but without apo A-II (LP A-I). LP A-I and LP A-I/A-II were isolated by immuno-affinity chromatography. LP A-I has a higher cholesterol content and less protein compared to LP A-I/A-II. The average particle mass of LP A-I is higher (379 kDa) than the average particle weight of LP A-I/A-II (269 kDa). The binding of 125I-LP A-I to HepG2 cells at 4°C, as well as the uptake of [3H]cholesteryl ether-labelled LP A-I by HepG2 cells at 37° C, was significantly higher than the binding and uptake of LP A-I/A-II. It is likely that both binding and uptake are mediated by apo A-I. Our results do not provide evidence in favor of a specific role for apo A-II in the binding and uptake of HDL by HepG2 cells

Dietary trans fatty acids increase serum cholesterylester transfer protein activity in man

The average diet may provide some 8–10 g/day of unsaturated fatty acids with a trans double bond. Previous studies showed that dietary trans fatty acids may simultaneously raise low-density lipoprotein (LDL) cholesterol and reduce high-density lipoprotein (HDL) cholesterol. Human plasma contains a protein (CETP) which transfers cholesterylesters from HDL to lipoproteins of lower density. We hypothesized that CETP could play a role in the effect of trans fatty acids on lipoproteins and measured the activity levels of CETP in serum samples from a 9-week study in which 55 volunteers were fed three controlled diets with different fatty acid profiles. Mean activity was 114 (% of reference serum) after consumption of a high trans fatty acid diet, as opposed to 96 after linoleic acid and 97 after stearic acid (P < 0.02). We conclude that the increased activity of CETP may contribute to the rise in LDL cholesterol and the fall in HDL cholesterol seen on diets with high contents of trans fatty acids