24,126 research outputs found
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
- …