Mass Loss and Displacement Modeling for Multi-Axis Milling

During the cutting process, material of the workpiece is continuously being removed by the cutting tool, which results in a reduction of mass as well as a displacement in the center of the workpiece mass. When using workpiece sided force sensors, such as table dynamometers, the total mass and the displacement of the center of mass affects the force measurement due to gravitational and inertial effects. The high flexibility of the milling process leads to a complex change of volume and mass and necessitates the consideration of the engagement conditions between tool and workpiece along the tool path in order to estimate changes in mass and center of mass. This paper proposes a method for estimating the mass loss and the displacement of the center of mass during multi-axis milling processes. In this method the tool gets numerically sliced along the tool axis and the workpiece removal for each slice along an arbitrary tool path gets calculated. To validate the mass loss model, experiments in both three-axis milling as well as multi-axis milling processes have been conducted. Since it is difficult to measure the center of mass, validation for the displacement of the center of mass was done by comparison with data extracted from CAD. The results show good agreement between the simulated and measured mass loss using the proposed approach

Explicit Substitutions for Contextual Type Theory

In this paper, we present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal type theory. We first present a dependently typed lambda calculus with explicit substitutions for ordinary variables and explicit meta-substitutions for meta-variables. We then present a weak head normalization procedure which performs both substitutions lazily and in a single pass thereby combining substitution walks for the two different classes of variables. Finally, we describe a bidirectional type checking algorithm which uses weak head normalization and prove soundness.Comment: In Proceedings LFMTP 2010, arXiv:1009.218

A (Preliminary) Recipe for Obtaining a Testing Effect in Preschool Children: Two Critical Ingredients

The testing effect refers to the finding that retrieval of previously learned information improves retention of that information more than restudy practice does. While there is some evidence that the testing effect can already arise in preschool children when a particular experimental task is employed, it remains unclear whether, for this age group, the effect exists across a wider range of tasks. To examine the issue, the present experiments sought to determine the potential roles of retrieval-practice and final-test formats, and of immediate feedback during retrieval practice for the testing effect in preschoolers. Experiments 1 and 2 showed no testing effect in preschoolers when a free-recall task was applied during the final test, regardless of whether free recall (Experiment 1) or cued recall (Experiment 2) were conducted during retrieval practice. In contrast, if cued-recall tasks were used during both retrieval practice and the final test (Experiment 3), a reliable testing effect arose. Furthermore, the magnitude of the effect was dramatically enhanced when, in addition, immediate feedback was provided during retrieval practice (Experiment 4). The present findings suggest that cued-recall practice and test formats, as well as immediate feedback during practice, are crucial ingredients for obtaining the testing effect in preschoolers

List-method directed forgetting: Do critical findings generalize from short to long retention intervals?

People can purposefully forget information that has become irrelevant, as is demonstrated in list-method directed forgetting (LMDF). In this task, participants are cued to intentionally forget an already studied list (list 1) before encoding a second list (list 2); this induces forgetting of the first-list items. Most research on LMDF has been conducted with short retention intervals, but very recent studies indicate that such directed forgetting can be lasting. We examined in two experiments whether core findings in the LMDF literature generalize from short to long retention intervals. The focus of Experiment 1 was on the previous finding that, with short retention interval, list-2 encoding is necessary for list-1 forgetting to arise. Experiment 1 replicated the finding after a short delay of 3 min between study and test and extended it to a longer delay of 20 min. The focus of Experiment 1 was on the absence of list-1 forgetting in item recognition, previously observed after short retention interval. Experiment 1 replicated the finding after a short delay of 3 min between study and test and extended it to longer delays of 20 min and 24 h. Implications of the results for theoretical explanations of LMDF are discussed

Occurrence of testicular microlithiasis in androgen insensitive hypogonadal mice

<b>Background</b>: Testicular microliths are calcifications found within the seminiferous tubules. In humans, testicular microlithiasis (TM) has an unknown etiology but may be significantly associated with testicular germ cell tumors. Factors inducing microlith development may also, therefore, act as susceptibility factors for malignant testicular conditions. Studies to identify the mechanisms of microlith development have been hampered by the lack of suitable animal models for TM.<BR/> <b>Methods</b>: This was an observational study of the testicular phenotype of different mouse models. The mouse models were: cryptorchid mice, mice lacking androgen receptors (ARs) on the Sertoli cells (SCARKO), mice with a ubiquitous loss of androgen ARs (ARKO), hypogonadal (hpg) mice which lack circulating gonadotrophins, and hpg mice crossed with SCARKO (hpg.SCARKO) and ARKO (hpg.ARKO) mice.<BR/> <b>Results</b>: Microscopic TM was seen in 94% of hpg.ARKO mice (n=16) and the mean number of microliths per testis was 81 +/- 54. Occasional small microliths were seen in 36% (n=11) of hpg testes (mean 2 +/- 0.5 per testis) and 30% (n=10) of hpg.SCARKO testes (mean 8 +/- 6 per testis). No microliths were seen in cryptorchid, ARKO or SCARKO mice. There was no significant effect of FSH or androgen on TM in hpg.ARKO mice.<BR/> <b>Conclusions</b>: We have identified a mouse model of TM and show that lack of endocrine stimulation is a cause of TM. Importantly, this model will provide a means with which to identify the mechanisms of TM development and the underlying changes in protein and gene expression

The role of sleep for memory consolidation: does sleep protect memories from retroactive interference?

Numerous studies suggest that sleep benefits memory. A major theoretical question in this area is however if sleep does so by passively shielding memories from interference that arises during wakefulness or by actively stabilizing and strengthening memories. A key finding by Ellenbogen et al. Current Biology, 16, 1290–1294 (2006a) indicates that sleep can protect memories from retroactive interference, which suggests that sleep plays more than a passive role for memory consolidation. Sample size in this study was however small and subsequent reports in the literature provided mixed results. We therefore conducted an online study via Zoom to replicate Ellenbogen et al. Current Biology, 16, 1290–1294 (2006a). Subjects were asked to study paired associates. After a 12-h delay that included either nocturnal sleep or daytime wakefulness, half of all subjects were asked to study an additional list to elicit retroactive interference. All participants were then asked to complete a memory test for the studied list(s). The results were fully consistent with those reported by Ellenbogen et al. Current Biology, 16, 1290–1294 (2006a). We discuss this successful replication against the background of the mixed literature, with a focus on the possibly critical role of study-design features, like the use of high learning criteria that resulted in performance being at ceiling, or a confound between interference and the length of the retention interval. A collaborative replication effort may be needed to reach a straightfoward answer to the question if sleep protects memories from interference (and under what conditions)

Development of the photomultiplier tube readout system for the first Large-Sized Telescope of the Cherenkov Telescope Array

The Cherenkov Telescope Array (CTA) is the next generation ground-based very high energy gamma-ray observatory. The Large-Sized Telescope (LST) of CTA targets 20 GeV -- 1 TeV gamma rays and has 1855 photomultiplier tubes (PMTs) installed in the focal plane camera. With the 23 m mirror dish, the night sky background (NSB) rate amounts to several hundreds MHz per pixel. In order to record clean images of gamma-ray showers with minimal NSB contamination, a fast sampling of the signal waveform is required so that the signal integration time can be as short as the Cherenkov light flash duration (a few ns). We have developed a readout board which samples waveforms of seven PMTs per board at a GHz rate. Since a GHz FADC has a high power consumption, leading to large heat dissipation, we adopted the analog memory ASIC "DRS4". The sampler has 1024 capacitors per channel and can sample the waveform at a GHz rate. Four channels of a chip are cascaded to obtain deeper sampling depth with 4096 capacitors. After a trigger is generated in a mezzanine on the board, the waveform stored in the capacitor array is subsequently digitized with a low speed (33 MHz) ADC and transferred via the FPGA-based Gigabit Ethernet to a data acquisition system. Both a low power consumption (2.64 W per channel) and high speed sampling with a bandwidth of $>$300 MHz have been achieved. In addition, in order to increase the dynamic range of the readout we adopted a two gain system achieving from 0.2 up to 2000 photoelectrons in total. We finalized the board design for the first LST and proceeded to mass production. Performance of produced boards are being checked with a series of quality control (QC) tests. We report the readout board specifications and QC results.Comment: In Proceedings of the 34th International Cosmic Ray Conference (ICRC2015), The Hague, The Netherlands. All CTA contributions at arXiv:1508.0589

A core outcome set for localised prostate cancer effectiveness trials

Objective: To develop a core outcome set (COS) applicable for effectiveness trials of all interventions for localised prostate cancer. Background: Many treatments exist for localised prostate cancer, although it is unclear which offers the optimal therapeutic ratio. This is confounded by inconsistencies in the selection, definition, measurement and reporting of outcomes in clinical trials. Subjects and methods: A list of 79 outcomes was derived from a systematic review of published localised prostate cancer effectiveness studies and semi-structured interviews with 15 prostate cancer patients. A two-stage consensus process involving 118 patients and 56 international healthcare professionals (HCPs) (cancer specialist nurses, urological surgeons and oncologists) was undertaken, consisting of a three-round Delphi survey followed by a face-to-face consensus panel meeting of 13 HCPs and 8 patients. Results: The final COS included 19 outcomes. Twelve apply to all interventions: death from prostate cancer, death from any cause, local disease recurrence, distant disease recurrence/metastases, disease progression, need for salvage therapy, overall quality of life, stress urinary incontinence, urinary function, bowel function, faecal incontinence, sexual function. Seven were intervention-specific: perioperative deaths (surgery), positive surgical margin (surgery), thromboembolic disease (surgery), bothersome or symptomatic urethral or anastomotic stricture (surgery), need for curative treatment (active surveillance), treatment failure (ablative therapy), and side effects of hormonal therapy (hormone therapy). The UK-centric participants may limit the generalisability to other countries, but trialists should reason why the COS would not be applicable. The default position should not be that a COS developed in one country will automatically not be applicable elsewhere. Conclusion: We have established a COS for trials of effectiveness in localised prostate cancer, applicable across all interventions which should be measured in all localised prostate cancer effectiveness trials

Strong glacial-interglacial variability in upper ocean hydrodynamics, biogeochemistry, and productivity in the southern Indian Ocean

This work used samples and data provided by the IODP. We are thankful for the support from the crew of the R/V JOIDES Resolution and IODP staff. This work is funded through the Universidad de Salamanca Postdoctoral Contract supported by the Ministerio de Ciencia, Innovacion y Universidades Grant RTI2018-099489-B-I00 and the German Science Foundation (DFG) Research Center/Cluster of Excellence 'The Ocean in the Earth System' (MARUM; Grant No. 49926684). We acknowledge financial support from the National Science Foundation of the US under Award No. 1737218 (M.A.B), the European Union's Horizon 2020 Research and Innovation Programme under the Marie Sklodowska Curie Grant Agreement No. 799531 (M.S.P.), and the Spanish Ministry of Science and Innovation Grant CTM2017-89711-C2-1-P, co-funded by the European Union through FEDER funds (F.J.J.E.).In the southern Indian Ocean, the position of the subtropical front – the boundary between colder, fresher waters to the south and warmer, saltier waters to the north – has a strong influence on the upper ocean hydrodynamics and biogeochemistry. Here we analyse a sedimentary record from the Agulhas Plateau, located close to the modern position of the subtropical front and use alkenones and coccolith assemblages to reconstruct oceanographic conditions over the past 300,000 years. We identify a strong glacial-interglacial variability in sea surface temperature and productivity associated with subtropical front migration over the Agulhas Plateau, as well as shorter-term high frequency variability aligned with variations in high latitude insolation. Alkenone and coccolith abundances, in combination with diatom and organic carbon records indicate high glacial export productivity. We conclude that the biological pump was more efficient and strengthened during glacial periods, which could partly account for the reported reduction in atmospheric carbon dioxide concentrations.Universidad de Salamanca - Ministerio de Ciencia, Innovacion y Universidades Grant RTI2018-099489-B-I00German Research Foundation (DFG) 49926684National Science Foundation (NSF) 1737218European Union's Horizon 2020 Research and Innovation Programme under the Marie Sklodowska Curie Grant 799531Spanish Government CTM2017-89711-C2-1-PEuropean Union through FEDER fund