A Few Considerations on Structural and Logical Composition in Specification Theories

Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.Comment: In Proceedings FIT 2010, arXiv:1101.426

Synthesis and Recognition Properties of Higher Order Tetrathiafulvalene (Ttf) Calix N Pyrroles (N=4-6)

Two new benzoTTF-annulated calix[n]pyrroles (n = 5 and 6) were synthesized via a one-step acid catalyzed condensation reaction and fully characterized via single crystallographic analyses. As compared to the known tetra-TTF annulated calix[4]pyrrole, which is also produced under the conditions of the condensation reaction, the expanded calix[n]pyrroles (n = 5 and 6) are characterized by a larger cavity size and a higher number of TTF units (albeit the same empirical formula). Analysis of the binding isotherms obtained from UV-Vis spectroscopic titrations carried out in CHCl3 in the presence of both anionic (Cl-, Br-, I-, CH3COO-, H2PO4-, and HSO4-) and neutral (1,3,5-trinitrobenzene (TNB) and 2,4,6-trinitrotoluene (TNT)) substrates revealed that as a general rule the calix[6]pyrrole derivative proved to be the most efficient molecular receptor for anions, while the calix[4]pyrrole congener proves most effective for the recognition of TNB and TNT. These findings are rationalized in terms of the number of electron rich TTF subunits and NH hydrogen bond donor groups within the series, as well as an ability to adopt conformations suitable for substrate recognition, and are supported by solid state structural analyses.National Science Foundation CHE 1057904, 0741973Robert A. Welch Foundation F-1018Danish Natural Science Research Council (FNU) 272-08-0047, 11-106744WCU (World Class University) program of Korea R32-2010-10217-0Villum FoundationChemistr

Genome-wide profiling of human cap-independent translation-enhancing elements.

We report an in vitro selection strategy to identify RNA sequences that mediate cap-independent initiation of translation. This method entails mRNA display of trillions of genomic fragments, selection for initiation of translation and high-throughput deep sequencing. We identified >12,000 translation-enhancing elements (TEEs) in the human genome, generated a high-resolution map of human TEE-bearing regions (TBRs), and validated the function of a subset of sequences in vitro and in cultured cells

The power of linear-time data reduction for matching.

Finding maximum-cardinality matchings in undirected graphs is arguably one of the most central graph primitives. For m-edge and n-vertex graphs, it is well-known to be solvable in O(m\sqrt{n}) time; however, for several applications this running time is still too slow. We investigate how linear-time (and almost linear-time) data reduction (used as preprocessing) can alleviate the situation. More specifically, we focus on linear-time kernelization. We start a deeper and systematic study both for general graphs and for bipartite graphs. Our data reduction algorithms easily comply (in form of preprocessing) with every solution strategy (exact, approximate, heuristic), thus making them attractive in various settings

Binary search in graphs revisited

In the classical binary search in a path the aim is to detect an unknown target by asking as few queries as possible, where each query reveals the direction to the target. This binary search algorithm has been recently extended by Emamjomeh-Zadeh et al. (in: Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC 2016, Cambridge, pp. 519–532, 2016) to the problem of detecting a target in an arbitrary graph. Similarly to the classical case in the path, the algorithm of Emamjomeh-Zadeh et al. maintains a candidates’ set for the target, while each query asks an appropriately chosen vertex—the “median”—which minimises a potential Φ among the vertices of the candidates’ set. In this paper we address three open questions posed by Emamjomeh-Zadeh et al., namely (a) detecting a target when the query response is a direction to an approximately shortest path to the target, (b) detecting a target when querying a vertex that is an approximate median of the current candidates’ set (instead of an exact one), and (c) detecting multiple targets, for which to the best of our knowledge no progress has been made so far. We resolve questions (a) and (b) by providing appropriate upper and lower bounds, as well as a new potential Γ that guarantees efficient target detection even by querying an approximate median each time. With respect to (c), we initiate a systematic study for detecting two targets in graphs and we identify sufficient conditions on the queries that allow for strong (linear) lower bounds and strong (polylogarithmic) upper bounds for the number of queries. All of our positive results can be derived using our new potential Γ that allows querying approximate medians

Pasos Hacia La Salud: a randomized controlled trial of an internet-delivered physical activity intervention for Latinas.

BackgroundInternet access has grown markedly in Latinos during the past decade. However, there have been no Internet-based physical activity interventions designed for Latinos, despite large disparities in lifestyle-related conditions, such as obesity and diabetes, particularly in Latina women. The current study tested the efficacy of a 6-month culturally adapted, individually tailored, Spanish-language Internet-based physical activity intervention.MethodsInactive Latinas (N = 205) were randomly assigned to the Tailored Physical Activity Internet Intervention or the Wellness Contact Control Internet Group. Participants in both groups received emails on a tapered schedule over 6 months to alert them to new content on the website. The primary outcome was minutes/week of moderate to vigorous physical activity (MVPA) at 6 months as measured by the 7-Day Physical Activity Recall; activity was also measured by accelerometers. Data were collected between 2011 and 2014 and analyzed in 2015 at the University of California, San Diego.ResultsIncreases in minutes/week of MVPA were significantly greater in the Intervention Group compared to the Control Group (mean difference = 50.00, SE = 9.5, p < 0.01). Increases in objectively measured MVPA were also significantly larger in the Intervention Group (mean differences = 31.0, SE = 10.7, p < .01). The Intervention Group was also significantly more likely to meet national physical activity guidelines at 6 months (OR = 3.12, 95% CI 1.46-6.66, p < .05).ConclusionFindings from the current study suggest that this Internet-delivered individually tailored intervention successfully increased MVPA in Latinas compared to a Wellness Contact Control Internet Group.Trial registrationNCT01834287

The globular cluster system of NGC1316. I. Wide-field photometry in the Washington system

NGC 1316 (Fornax A) is a prominent merger remnant in the outskirts of the Fornax cluster. The cluster system has not yet been studied in its entirety. We therefore present a wide-field study of the globular cluster system of NGC 1316, investigating its properties in relation to the global morphology of NGC 1316. We used the MOSAIC II camera at the 4-m Blanco telescope at CTIO in the filters Washington C and Harris R. We identify globular cluster candidates and study their color distribution and the structural properties of the system. In an appendix, we also make morphological remarks, present color maps, and present new models for the brightness and color profiles of the galaxy. The cluster system is well confined to the optically visible outer contours of NGC 1316. The color distribution of the entire sample is unimodal, but the color distribution of bright subsamples in the bulge shows two peaks that, by comparison with theoretical Washington colors with solar metallicity, correspond to ages of about 2 Gyr and 0.8 Gyr, respectively. We also find a significant population of clusters in the color range 0.8 < C-R < 1.1 which must be populated by clusters younger than 0.8 Gyr, unless they are very metal-poor. The color interval 1.3 < C-R < 1.6 hosts the bulk of intermediate-age clusters which show a surface density profile with a sharp decline at about 4 arcmin. The outer cluster population shows an unimodal color distribution with a peak at C-R=1.1, indicating a larger contribution of old, metal-poor clusters. Their luminosity function does not show the expected turn-over, so the fraction of younger clusters is still significant. Cluster formation in NGC 1316 has continued after an initial burst, presumably related to the main merger. A toy model with two bursts of ages 2 Gyr and 0.8 Gyr is consistent with photometric properties and dynamical M/L-values.Comment: 19 pages, to appear in Astronomy and Astrophysics, abstract abridged, format slightly different from the printed versio

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.Comment: In Proceedings IWIGP 2012, arXiv:1202.422

Inhomogeneous tachyon condensation

We investigate the spacetime-dependent condensation of the tachyon in effective field theories. Previous work identified singularities in the field which appear in finite time: infinite gradients at the kinks, and (in the eikonal approximation) caustics near local minima. By performing a perturbation analysis, and with numerical simulations, we demonstrate and explain key features of the condensation process: perturbations generically freeze, and minima develop singular second derivatives in finite time (caustics). This last has previously been understood in terms of the eikonal approximation to the dynamics. We show explicitly from the field equations how this approximation emerges, and how the caustics develop, both in the DBI and BSFT effective actions. We also investigate the equation of state parameter of tachyon matter showing that it is small, but generically non-zero. The energy density tends to infinity near field minima with a charateristic profile. A proposal to regulate infinities by modifying the effective action is also studied. We find that although the infinities at the kinks are successfully regularised in the time-dependent case, caustics still present.Comment: 4 figures,19p