The Zwicky Transient Facility Dekany, Richard; Smith, Roger M.; Riddle, Reed ...
Publications of the Astronomical Society of the Pacific,
03/2020, Volume:
132, Issue:
1009
Journal Article
Peer reviewed
The Zwicky Transient Facility (ZTF) Observing System (OS) is the data collector for the ZTF project to study astrophysical phenomena in the time domain. ZTF OS is based upon the 48 inch aperture ...Schmidt-type design Samuel Oschin Telescope at the Palomar Observatory in Southern California. It incorporates new telescope aspheric corrector optics, dome and telescope drives, a large-format exposure shutter, a flat-field illumination system, a robotic bandpass filter exchanger, and the key element: a new 47-square-degree, 600 megapixel cryogenic CCD mosaic science camera, along with supporting equipment. The OS collects and delivers digitized survey data to the ZTF Data System (DS). Here, we describe the ZTF OS design, optical implementation, delivered image quality, detector performance, and robotic survey efficiency.
Abstract
This paper aims to determine the levels of exposure to neutron and photon radiation among the personnel engaged in cyclotron operation and the personnel engaged in the production of ...radiopharmaceuticals, with the use of the environmental radiation monitoring system (RMS) installed in the positron emission tomography laboratory. The annual exposures of employees operating the cyclotron measured with the use of the RMS system are: 1.39 ± 0.16 mSv in case of photon radiation and 2.61 ± 0.14 mSv in case of neutron radiation. In the case of employees in the radiopharmaceuticals’ production zone, the annual exposures measured by means of the RMS system are 0.15 ± 0.03 mSv in case of photon radiation and 0.11 ± 0.01 mSv in case of neutron radiation. The exposure levels among the personnel engaged in cyclotron operation and the personnel engaged in the production of radiopharmaceuticals are below the permissible radiation dose limits.
Abstract Minimum spanning trees and forests are powerful sparsification techniques that remove cycles from weighted graphs to minimize total edge weight while preserving node reachability, with ...applications in computer science, network science, and graph theory. Despite their utility and ubiquity, they have several limitations, including that they are only defined for undirected networks, they significantly alter dynamics on networks, and they do not generally preserve important network features such as shortest distances, shortest path distribution, and community structure. In contrast, distance backbones, which are subgraphs formed by all edges that obey a generalized triangle inequality, are well defined in directed and undirected graphs and preserve those and other important network features. The backbone of a graph is defined with respect to a specified path-length operator that aggregates weights along a path to define its length, thereby associating a cost to indirect connections. The backbone is the union of all shortest paths between each pair of nodes according to the specified operator. One such operator, the max function, computes the length of a path as the largest weight of the edges that compose it (a weakest link criterion). It is the only operator that yields an algebraic structure for computing shortest paths that is consistent with De Morgan's laws. Applying this operator yields the ultrametric backbone of a graph in that (semi-triangular) edges whose weights are larger than the length of an indirect path connecting the same nodes (i.e., those that break the generalized triangle inequality based on max as a path-length operator) are removed. We show that the ultrametric backbone is the union of minimum spanning forests in undriected graphs and provides a new generalization of minimum spanning trees to directed graphs that, unlike minimum equivalent graphs and minimum spanning arborescences, preserves all max−min shortest paths and De Morgan’s law consistency.
Abstract
The eye lens exposure among 16 technicians in two nuclear medicine departments at university hospitals in Finland was investigated by measuring the operational quantity Hp(3) using EYE-D ...dosemeters. For all workers, the annual mean Hp(3) was estimated to be 1.1 mSv (max. 3.9 mSv). The relation between Hp(3) to routinely monitored personal dose equivalent Hp(10) was clearly correlated. Considering individual dose measurement periods (2–4 weeks), the Hp(3)/Hp(10) ratio was 0.7 (Pearson’s coefficient r = 0.90, p < 0.001, variation of ratio 0.1–2.3). The variation decreased considerably with increasing Hp(10) (σ2 = 0.04 vs. 0.43 for Hp(10) > 0.1 mSv vs. < 0.1 mSv, respectively), i.e. higher Hp(10) predicts Hp(3) more reliably. Moreover, annual Hp(10) data from national dose register during 2009–2018 were used to derive the annual Hp(3) applying the Hp(3)/Hp(10) ratio. The data from Finnish nuclear medicine departments imply that routine measurements of Hp(3) among nuclear medicine technicians are not justified.
In this paper, in connection with the program of extending the Curry–Howard isomorphism to classical logic, we study the
$\lambda \mu$
-calculus of Parigot emphasizing the difference between the ...original version of Parigot and the version of de Groote in terms of normalization properties. In order to talk about a satisfactory representation of the integers, besides the usual
$\beta$
-,
$\mu$
-, and
$\mu '$
-reductions, we consider the
$\lambda \mu$
-calculus augmented with the reduction rules
$\rho$
,
$\theta$
and
$\varepsilon$
. We show that we need all of these rules for this purpose. Then we prove that, with the syntax of Parigot, the calculus enjoys the strong normalization property even when we add the rules
$\rho$
,
$\theta$
, and
$\epsilon$
, while the
$\lambda \mu$
-calculus presented with the more flexible de Groote-style syntax, in contrast, has only the weak normalization property. In particular, we present a normalization algorithm for the
$\beta \mu \mu '\rho \theta \varepsilon$
-reduction in the de Groote-style calculus.