Understanding Algorithm Performance on an Oversubscribed Scheduling Application

The best performing algorithms for a particular oversubscribed scheduling application, Air Force Satellite Control Network (AFSCN) scheduling, appear to have little in common. Yet, through careful experimentation and modeling of performance in real problem instances, we can relate characteristics of the best algorithms to characteristics of the application. In particular, we find that plateaus dominate the search spaces (thus favoring algorithms that make larger changes to solutions) and that some randomization in exploration is critical to good performance (due to the lack of gradient information on the plateaus). Based on our explanations of algorithm performance, we develop a new algorithm that combines characteristics of the best performers; the new algorithms performance is better than the previous best. We show how hypothesis driven experimentation and search modeling can both explain algorithm performance and motivate the design of a new algorithm

Noncommutative symmetric functions and Laplace operators for classical Lie algebras

New systems of Laplace (Casimir) operators for the orthogonal and symplectic Lie algebras are constructed. The operators are expressed in terms of paths in graphs related to matrices formed by the generators of these Lie algebras with the use of some properties of the noncommutative symmetric functions associated with a matrix. The decomposition of the Sklyanin determinant into a product of quasi-determinants play the main role in the construction. Analogous decomposition for the quantum determinant provides an alternative proof of the known construction for the Lie algebra gl(N).Comment: 25 page

Kappa-symmetry for coincident D-branes

A kappa-symmetric action for coincident D-branes is presented. It is valid in the approximation that the additional fermionic variables, used to incorporate the non-abelian degrees of freedom, are treated classically. The action is written as a Bernstein-Leites integral on the supermanifold obtained from the bosonic worldvolume by adjoining the extra fermions. The integrand is a very simple extension of the usual Green-Schwarz action for a single brane; all symmetries, except for kappa, are manifest, and the proof of kappa-symmetry is very similar to the abelian case.Comment: 18 pages. References adde

Out of Place, Out of Mind: Schema-Driven False Memory Effects for Object-Location Bindings

Events consist of diverse elements, each processed in specialized neocortical networks, with temporal lobe memory systems binding these elements to form coherent event memories. We provide a novel theoretical analysis of an unexplored consequence of the independence of memory systems for elements and their bindings, 1 that raises the paradoxical prediction that schema-driven false memories can act solely on the binding of event elements despite the superior retrieval of individual elements. This is because if 2, or more, schema-relevant elements are bound together in unexpected conjunctions, the unexpected conjunction will increase attention during encoding to both the elements and their bindings, but only the bindings will receive competition with evoked schema-expected bindings. We test our model by examining memory for object-location bindings in recognition (Study 1) and recall (Studies 2 and 3) tasks. After studying schema-relevant objects in unexpected locations (e.g., pan on a stool in a kitchen scene), participants who then viewed these objects in expected locations (e.g., pan on stove) at test were more likely to falsely remember this object-location pairing as correct, compared with participants that viewed a different unexpected object-location pairing (e.g., pan on floor). In recall, participants were more likely to correctly remember individual schema-relevant objects originally viewed in unexpected, as opposed to expected locations, but were then more likely to misplace these items in the original room scene to expected places, relative to control schema-irrelevant objects. Our theoretical analysis and novel paradigm provide a tool for investigating memory distortions acting on binding processes

On the covariance of the Dirac-Born-Infeld-Myers action

A covariant version of the non-abelian Dirac-Born-Infeld-Myers action is presented. The non-abelian degrees of freedom are incorporated by adjoining to the (bosonic) worldvolume of the brane a number of anticommuting fermionic directions corresponding to boundary fermions in the string picture. The proposed action treats these variables as classical but can be given a matrix interpretation if a suitable quantisation prescription is adopted. After gauge-fixing and quantisation of the fermions, the action is shown to be in agreement with the Myers action derived from T-duality. It is also shown that the requirement of covariance in the above sense leads to a modified WZ term which also agrees with the one proposed by Myers.Comment: 18 pages. Minor alterations to the text; references adde

A pearl on SAT solving in Prolog

A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is surprisingly powerful and its elegant use of Prolog constructs is presented as a programming pearl

Radiation reaction and renormalization in classical electrodynamics of point particle in any dimension

The effective equations of motion for a point charged particle taking account of radiation reaction are considered in various space-time dimensions. The divergencies steaming from the pointness of the particle are studied and the effective renormalization procedure is proposed encompassing uniformly the cases of all even dimensions. It is shown that in any dimension the classical electrodynamics is a renormalizable theory if not multiplicatively beyond d=4. For the cases of three and six dimensions the covariant analogs of the Lorentz-Dirac equation are explicitly derived.Comment: minor changes in concluding section, misprints corrected, LaTeX2e, 15 page

On the D = 4, N = 2 Non-Renormalization Theorem

Using the harmonic superspace background field formulation for general D=4, N=2 super Yang-Mills theories, with matter hypermultiplets in arbitrary representations of the gauge group, we present the first rigorous proof of the N=2 non-renormalization theorem; specifically, the absence of ultraviolet divergences beyond the one-loop level. Another simple consequence of the background field formulation is the absence of the leading non-holomorphic correction to the low-energy effective action at two loops.Comment: 16 pages, LATEX, uses FEYMAN macros, minor change

RhoB controls endothelial cell morphogenesis in part via negative regulation of RhoA

Recent studies have suggested a role for the small GTPase RhoB in the control of processes required for angiogenesis. However, the mechanisms whereby RhoB exerts control over these processes are not well understood. Given the role of vascular endothelial growth factor (VEGF) in pathological angiogenesis, we were interested in examining whether RhoB contributed to VEGF-induced angiogenic processes. To assess this, RhoB was specifically depleted in human umbilical vein endothelial cells (HUVEC), using siRNA-targeted strategies. The effects of RhoB depletion on VEGF-induced angiogenic activities were assessed using a variety of standard in vitro angiogenesis assays to assess endothelial cell viability, migration and capillary morphogenesis. Effects of RhoB depletion on signaling from other Rho family member proteins was also assessed using specific activity assays for RhoA and RhoC. We observed that although RhoB appeared dispensable for HUVEC viability, RhoB was required for endothelial cell migration, sprouting, and capillary morphogenesis. We also observed that siRNA-mediated depletion of RhoB in HUVEC resulted in increased RhoA activation in response to VEGF stimulation. This increased RhoA activation contributed to the cellular morphogenesis defects observed in RhoB-depleted cells, as inhibition of RhoA activity using C3 transferase, or inhibition of the activity of the downstream RhoA effectors Rho-dependent kinases I and II (ROCK I and II) led to a partial restoration of capillary morphogenesis in the absence of RhoB. Thus our data indicate that RhoB plays a significant role in VEGF-induced endothelial cell morphogenesis in part by negatively regulating the activity of RhoA and the RhoA/ROCK pathway