Satisfiability of CTL* with constraints

We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at Concur 201

Multiple access satellite communication final report, 20 aug. 1962 - 20 aug. 1963

Multiple access satellite communication system

Routing and economic principles of multiple access satellite communication

Multistation random access satellite communication technique for use with surface systems to meet global needs - routing and economic aspect

Hadronic three-body decays of light vector mesons

The decays of light vector mesons into three pseudoscalar mesons are calculated to leading order in the recently proposed counting scheme that is based on the hadrogenesis conjecture. Fully differential as well as integrated decay widths are presented. Since the required parameters have been fixed by other processes, the considered three-body decays are predictions of the presented approach. The decay width of the omega meson into three pions agrees very well with experiment. The partial decay widths of the K^* into its three K-pi-pi channels are predicted.Comment: 7 page

Betweenness and Diversity in Journal Citation Networks as Measures of Interdisciplinarity -- A Tribute to Eugene Garfield --

Journals were central to Eugene Garfield's research interests. Among other things, journals are considered as units of analysis for bibliographic databases such as the Web of Science (WoS) and Scopus. In addition to disciplinary classifications of journals, journal citation patterns span networks across boundaries to variable extents. Using betweenness centrality (BC) and diversity, we elaborate on the question of how to distinguish and rank journals in terms of interdisciplinarity. Interdisciplinarity, however, is difficult to operationalize in the absence of an operational definition of disciplines, the diversity of a unit of analysis is sample-dependent. BC can be considered as a measure of multi-disciplinarity. Diversity of co-citation in a citing document has been considered as an indicator of knowledge integration, but an author can also generate trans-disciplinary--that is, non-disciplined--variation by citing sources from other disciplines. Diversity in the bibliographic coupling among citing documents can analogously be considered as diffusion of knowledge across disciplines. Because the citation networks in the cited direction reflect both structure and variation, diversity in this direction is perhaps the best available measure of interdisciplinarity at the journal level. Furthermore, diversity is based on a summation and can therefore be decomposed, differences among (sub)sets can be tested for statistical significance. In an appendix, a general-purpose routine for measuring diversity in networks is provided

Long-term EXOTIME photometry and follow-up spectroscopy of the sdB pulsator HS 0702+6043

Pulsating subdwarf B (sdB) stars oscillate in short-period p-modes or long-period g-modes. HS0702+6043 (DW Lyn) is one of a few objects to show characteristics of both types and is hence classified as hybrid pulsator. It is one of our targets in the EXOTIME program to search for planetary companions around extreme horizontal branch objects. In addition to the standard exercise in asteroseismology to probe the instantaneous inner structure of a star, measured changes in the pulsation frequencies as derived from an O-C diagram can be compared to theoretical evolutionary timescales. Based on the photometric data available so far, we are able to derive a high-resolution frequency spectrum and to report on our efforts to construct a multi-season O-C diagram. Additionally, we have gathered time-resolved spectroscopic data in order to constrain stellar parameters and to derive mode parameters as well as radial and rotational velocities.Comment: 2 pages, JENAM 2008 proceedings, to be published in 'Communications in Asteroseismology', 15