70 research outputs found

    ShadowTutor: Distributed Partial Distillation for Mobile Video DNN Inference

    Full text link
    Following the recent success of deep neural networks (DNN) on video computer vision tasks, performing DNN inferences on videos that originate from mobile devices has gained practical significance. As such, previous approaches developed methods to offload DNN inference computations for images to cloud servers to manage the resource constraints of mobile devices. However, when it comes to video data, communicating information of every frame consumes excessive network bandwidth and renders the entire system susceptible to adverse network conditions such as congestion. Thus, in this work, we seek to exploit the temporal coherence between nearby frames of a video stream to mitigate network pressure. That is, we propose ShadowTutor, a distributed video DNN inference framework that reduces the number of network transmissions through intermittent knowledge distillation to a student model. Moreover, we update only a subset of the student's parameters, which we call partial distillation, to reduce the data size of each network transmission. Specifically, the server runs a large and general teacher model, and the mobile device only runs an extremely small but specialized student model. On sparsely selected key frames, the server partially trains the student model by targeting the teacher's response and sends the updated part to the mobile device. We investigate the effectiveness of ShadowTutor with HD video semantic segmentation. Evaluations show that network data transfer is reduced by 95% on average. Moreover, the throughput of the system is improved by over three times and shows robustness to changes in network bandwidth.Comment: Accepted at ICPP 202

    Rasiowa–Sikorski deduction systems in computer science applications

    Get PDF
    AbstractA Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula. There may also be expansion rules which close indecomposable sequences under certain properties of relations appearing in the formulae, like symmetry or transitivity. Proofs are finite decomposition trees with leaves having “fundamental”, valid labels. The author describes a general method of applying the R-S formalism to develop complete deduction systems for various brands of C.S and A.I. logic, including a logic for reasoning about relative similarity, a three-valued software specification logic with McCarthy's connectives and Kleene quantifiers, a logic for nondeterministic specifications, many-sorted FOL with possibly empty carriers of some sorts, and a three-valued logic for reasoning about concurrency

    Measurement of global polarization of {\Lambda} hyperons in few-GeV heavy-ion collisions

    Full text link
    The global polarization of {\Lambda} hyperons along the total orbital angular momentum of a relativistic heavy-ion collision is presented based on the high statistics data samples collected in Au+Au collisions at \sqrt{s_{NN}} = 2.4 GeV and Ag+Ag at 2.55 GeV with the High-Acceptance Di-Electron Spectrometer (HADES) at GSI, Darmstadt. This is the first measurement below the strangeness production threshold in nucleon-nucleon collisions. Results are reported as a function of the collision centrality as well as a function of the hyperon transverse momentum (p_T) and rapidity (y_{CM}) for the range of centrality 0--40%. We observe a strong centrality dependence of the polarization with an increasing signal towards peripheral collisions. For mid-central (20--40%) collisions the polarization magnitudes are (%) = 6.0 \pm 1.3 (stat.) \pm 2.0 (syst.) for Au+Au and (%) = 4.6 \pm 0.4 (stat.) \pm 0.5 (syst.) for Ag+Ag, which are the largest values observed so far. This observation thus provides a continuation of the increasing trend previously observed by STAR and contrasts expectations from recent theoretical calculations predicting a maximum in the region of collision energies about 3 GeV. The observed polarization is of a similar magnitude as predicted by 3D fluid dynamics and the UrQMD plus thermal vorticity model and significantly above results from the AMPT model.Comment: 8 pages, 4 figure

    Recent developments in genetics and medically assisted reproduction : from research to clinical applications

    Get PDF
    Two leading European professional societies, the European Society of Human Genetics and the European Society for Human Reproduction and Embryology, have worked together since 2004 to evaluate the impact of fast research advances at the interface of assisted reproduction and genetics, including their application into clinical practice. In September 2016, the expert panel met for the third time. The topics discussed highlighted important issues covering the impacts of expanded carrier screening, direct-to-consumer genetic testing, voiding of the presumed anonymity of gamete donors by advanced genetic testing, advances in the research of genetic causes underlying male and female infertility, utilisation of massively parallel sequencing in preimplantation genetic testing and non-invasive prenatal screening, mitochondrial replacement in human oocytes, and additionally, issues related to cross-generational epigenetic inheritance following IVF and germline genome editing. The resulting paper represents a consensus of both professional societies involved.Peer reviewe

    Twist exome capture allows for lower average sequence coverage in clinical exome sequencing

    Get PDF
    Background Exome and genome sequencing are the predominant techniques in the diagnosis and research of genetic disorders. Sufficient, uniform and reproducible/consistent sequence coverage is a main determinant for the sensitivity to detect single-nucleotide (SNVs) and copy number variants (CNVs). Here we compared the ability to obtain comprehensive exome coverage for recent exome capture kits and genome sequencing techniques. Results We compared three different widely used enrichment kits (Agilent SureSelect Human All Exon V5, Agilent SureSelect Human All Exon V7 and Twist Bioscience) as well as short-read and long-read WGS. We show that the Twist exome capture significantly improves complete coverage and coverage uniformity across coding regions compared to other exome capture kits. Twist performance is comparable to that of both short- and long-read whole genome sequencing. Additionally, we show that even at a reduced average coverage of 70× there is only minimal loss in sensitivity for SNV and CNV detection. Conclusion We conclude that exome sequencing with Twist represents a significant improvement and could be performed at lower sequence coverage compared to other exome capture techniques
    • …
    corecore