Near-Optimal Scheduling for LTL with Future Discounting

We study the search problem for optimal schedulers for the linear temporal logic (LTL) with future discounting. The logic, introduced by Almagor, Boker and Kupferman, is a quantitative variant of LTL in which an event in the far future has only discounted contribution to a truth value (that is a real number in the unit interval [0, 1]). The precise problem we study---it naturally arises e.g. in search for a scheduler that recovers from an internal error state as soon as possible---is the following: given a Kripke frame, a formula and a number in [0, 1] called a margin, find a path of the Kripke frame that is optimal with respect to the formula up to the prescribed margin (a truly optimal path may not exist). We present an algorithm for the problem; it works even in the extended setting with propositional quality operators, a setting where (threshold) model-checking is known to be undecidable

An Agent Based Model of the Diel Vertical Migration Patterns of Mysis diluviana

Recent work indicates that the macro-invertebrate Mysis diluviana exhibits partial diel vertical migration (DVM), whereby one part of the population remains on the lake bottom at night while the other migrates up the water column. The drivers underlying the decision to migrate remain unknown. We developed an agent-based model that can simulate thousands of individual mysids decision-making processes at an hourly time step throughout a year. The model takes into account a daily and seasonally changing environment, including light, temperature, food availability across habitats and body con- dition. We found that the simulated Mysis population is highly sensitive to changes in the energy cost of performing migration. We have also devel- oped a graphical user interface to help disseminate the results and testing of hypotheses without the need for the researcher to edit code. In addition to testing hypotheses about migration drivers, the model, once parameters have been calibrated with real data, will help facilitate more efficient field sampling and prediction of resource availability for mysivorous fishes by evaluating the potential for seasonality in Mysis migration patterns

Balancing Surface Energy Terms for Stable Growth of Planar Surfaces

We investigate the driving forces that determine the growth mode of heteroepitaxial Ge layers grown from solution on Si substrates with orientations (001), (011) and (111) by transmission electron microscopy (TEM) and atomic force microscopy (AFM). Using liquid phase epitaxy, we can study the influences of strain and surface energy terms independently on effects due to limited surface diffusion. In (001) and (011) orientated layers, {111} faceted islands form (Stranski-Krastanov growth). In contrast, (111) orientated layers grow in a two-dimensional step flow growth mode (Frank-van der Merwe growth). We model these investigations in terms of energy minimisation considering surface energy reduction by formation of faceted islands and elastic strain energy relaxation by island formation. The strain energy relaxation by island formation is calculated by the finite element method. According to our considerations, two-dimensional growth is obtained by selective increase of the free surface energy of the low indices facet planes to a value higher than that of the substrate surface. Formation of faceted islands thus would increase the total surface energy; as a consequence, island formation is suppressed. By choosing the appropriate solvent and temperature in solution growth, we can provide for thermodynamically stable two-dimensional growth

A Simple Derivation of the Hard Thermal Loop Effective Action

We use the background field method along with a special gauge condition, to derive the hard thermal loop effective action in a simple manner. The new point in the paper is to relate the effective action explicitly to the S-matrix from the onset.Comment: 11 pages, Latex; lost text after sect. 2 reinserte

p53 mutations in urinary bladder cancer

We have screened for mutations in exons 5–8 of the p53 gene in a series consisting of 189 patients with urinary bladder neoplasms. 82 (44%) neoplasms were lowly malignant (Ta, G1–G2a) and 106 (56%) were highly malignant (G2b–G4 or ≥T1). Only one mutation was in a lowly malignant urinary bladder neoplasm, in total we found p53 mutations in 26 (14%) of the 189 patients. 30% of the samples had loss of heterozygosity (LOH) for one or both of the p53 exogenic (CA)n repeat and the p53 intragenic (AAAAT)n repeat markers. 31 samples (21%) showed LOH but were not mutated, suggesting other mechanisms inactivating p53 than mutations. 4 mutations were found at codon 280 and 2 mutations were found at codon 285, 2 previously reported hot spots for urinary bladder cancer. The study indicate a boundary between G2a and G2b tumours concerning the occurrence of genetic events affecting p53 function; moderately differentiated (G2) urinary bladder neoplasms probably are genetically heterogeneous which supports the suggestion that they should not be grouped together but instead, for example, be categorized as either lowly or highly malignant. © 2001 Cancer Research Campaign http://www.bjcancer.co

Jain States in a Matrix Theory of the Quantum Hall Effect

The U(N) Maxwell-Chern-Simons matrix gauge theory is proposed as an extension of Susskind's noncommutative approach. The theory describes D0-branes, nonrelativistic particles with matrix coordinates and gauge symmetry, that realize a matrix generalization of the quantum Hall effect. Matrix ground states obtained by suitable projections of higher Landau levels are found to be in one-to-one correspondence with the expected Laughlin and Jain hierarchical states. The Jain composite-fermion construction follows by gauge invariance via the Gauss law constraint. In the limit of commuting, ``normal'' matrices the theory reduces to eigenvalue coordinates that describe realistic electrons with Calogero interaction. The Maxwell-Chern-Simons matrix theory improves earlier noncommutative approaches and could provide another effective theory of the fractional Hall effect.Comment: 35 pages, 3 figure

Quantum interference structures in trapped ion dynamics beyond the Lamb-Dicke and rotating wave approximations

We apply wave packet methods to study an ion-trap system in the strong excitation regime imposing neither the rotating wave nor the Lamb-Dicke approximations. By this approach we show the existence of states with restricted phase space evolution, as a genuine consequence of quantum interference between wave packet fractions. A particular instance of such a state oscillates between maximal entanglement and pure disentanglement between the constitute subsystems. The characteristic crossover time is very rapid making them suitable for state preparations of EPR or Schrodinger cat states. Over longer time periods the dynamics of these states exhibits collapse-revival patterns with well resolved fractional revivals in autocorrelation, inversion and entanglement.Comment: 11 pages, 5 figures. Replaced with revised version. Phys. Rev. A 77, 053808 (2008

Prediction of future Alzheimer's disease dementia using plasma phospho-tau combined with other accessible measures

A combination of plasma phospho-tau (P-tau) and other accessible biomarkers might provide accurate prediction about the risk of developing Alzheimer’s disease (AD) dementia. We examined this in participants with subjective cognitive decline and mild cognitive impairment from the BioFINDER (n = 340) and Alzheimer’s Disease Neuroimaging Initiative (ADNI) (n = 543) studies. Plasma P-tau, plasma Aβ42/Aβ40, plasma neurofilament light, APOE genotype, brief cognitive tests and an AD-specific magnetic resonance imaging measure were examined using progression to AD as outcome. Within 4 years, plasma P-tau217 predicted AD accurately (area under the curve (AUC) = 0.83) in BioFINDER. Combining plasma P-tau217, memory, executive function and APOE produced higher accuracy (AUC = 0.91, P < 0.001). In ADNI, this model had similar AUC (0.90) using plasma P-tau181 instead of P-tau217. The model was implemented online for prediction of the individual probability of progressing to AD. Within 2 and 6 years, similar models had AUCs of 0.90–0.91 in both cohorts. Using cerebrospinal fluid P-tau, Aβ42/Aβ40 and neurofilament light instead of plasma biomarkers did not improve the accuracy significantly. The clinical predictions by memory clinic physicians had significantly lower accuracy (4-year AUC = 0.71). In summary, plasma P-tau, in combination with brief cognitive tests and APOE genotyping, might greatly improve the diagnostic prediction of AD and facilitate recruitment for AD trials