Integrability of the Minimal Strain Equations for the Lapse and Shift in 3+1 Numerical Relativity

Brady, Creighton and Thorne have argued that, in numerical relativity simulations of the inspiral of binary black holes, if one uses lapse and shift functions satisfying the ``minimal strain equations'' (MSE), then the coordinates might be kept co-rotating, the metric components would then evolve on the very slow inspiral timescale, and the computational demands would thus be far smaller than for more conventional slicing choices. In this paper, we derive simple, testable criteria for the MSE to be strongly elliptic, thereby guaranteeing the existence and uniqueness of the solution to the Dirichlet boundary value problem. We show that these criteria are satisfied in a test-bed metric for inspiraling binaries, and we argue that they should be satisfied quite generally for inspiraling binaries. If the local existence and uniqueness that we have proved holds globally, then, for appropriate boundary values, the solution of the MSE exhibited by Brady et. al. (which tracks the inspiral and keeps the metric evolving slowly) will be the unique solution and thus should be reproduced by (sufficiently accurate and stable) numerical integrations.Comment: 6 pages; RevTeX; submitted to Phys. Rev. D15. Technical issue of the uniqueness of the solution to the Dirichlet problem clarified. New subsection on the nature of the boundary dat

Completeness of Flat Coalgebraic Fixpoint Logics

Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type. However, popular fixpoint logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the mu-calculus. The family of such flat fixpoint logics includes, e.g., LTL, CTL, and the logic of common knowledge. Extending this notion to the generic semantic framework of coalgebraic logic enables covering a wide range of logics beyond the standard mu-calculus including, e.g., flat fragments of the graded mu-calculus and the alternating-time mu-calculus (such as alternating-time temporal logic ATL), as well as probabilistic and monotone fixpoint logics. We give a generic proof of completeness of the Kozen-Park axiomatization for such flat coalgebraic fixpoint logics.Comment: Short version appeared in Proc. 21st International Conference on Concurrency Theory, CONCUR 2010, Vol. 6269 of Lecture Notes in Computer Science, Springer, 2010, pp. 524-53

The Critical Aggregation Concentration of ß-Lactoglobulin-Based Fibril Formation

The critical aggregation concentration (CAC) for fibril formation of ß-lactoglobulin (ß-lg) at pH 2 was determined at 343, 353, 358, 363, and 383 K using a Thioflavin T assay and was approximately 0.16 wt%. The accuracy of the CAC was increased by measuring the conversion into fibrils at different stirring speeds. The corresponding binding energy per mol, as determined from the CAC, was 13 RT (~40 kJ mol¿1) for the measured temperature range. The fact that the CAC was independent of temperature within the experimental error indicates that the fibril formation of ß-lg at pH 2 and the measured temperature range is an entropy-driven process

Enzyme-induced Formation of ß-Lactoglobulin Fibrils by AspN Endoproteinase

This paper describes a low temperature, enzymatic route to induce fibrillar structures in a protein solution. The route comprises two steps. First, ß-lactoglobulin was hydrolyzed into peptides at pH 8 and 37°C with the enzyme AspN endoproteinase, which resulted in the formation of random aggregates. After hydrolysis, the pH was lowered to 2. As a result, long fibrillar aggregates were formed which was observed using transmission electron microscopy and Thioflavin T fluorescence measurements

Het verstandshuewelijk tussen overheid en musea

De overheid en de musea hebben een vrij moeizame relatie. In de musea is er altijd geldgebrek, dit ondanks de grote economische impuls die bijvoorbeeld het Rijksmuseum aan Amsterdam en Nederland geeft. De Nederlandse overheden hebben dan ook niet voorop gelopen met het steunen van musea

Solliciteren

Over solliciteren valt veel te schrijven. Er zijn dan ook honderden boeken over volgeschreven. In dit artikel zal het hele proces van solliciteren de revue passeren. Van de brief en curriculum vitae, via gesprek en de psychologische test naar het assessment center

EURO-NEE

De grote EURO-NEE campagne is een initiatief van de Socialistische Partij. Zij probeert onderdak te bieden aan iedereen die tegen de eenwording in de huidige vorm is. Iedereen kan bij de SP in Rotterdam het informatiepakket EURO-NEE opvragen. Dat bestaat uit een krantje, een vel met stickers (NEE) en een grote poster (leuke poster). In het krantje worden een aantal redenen gegeven waarom men tegen de EURO moet zijn zoals die nu dreigt te worden ingevoerd

Verborgen kunstschatten uit Rusland

Rusland ontkent sinds kort niet meer het bezit van een aantal collecties kunst, weggehaald uit Duitsland aan de einde van de tweede wereldoorlog. In dit artikel een bespreking van een aantal tentoonstellingen, waaronder de Schatten van de Tsaar die te zien was in Rotterdam