264 research outputs found

    A high voltage, low current power source for long term space applications

    Get PDF
    Experimental design of high voltage low current power source for unmanned, long term space missio

    Structure determination of a brownmillerite Ca2Co2O5 thin film by Precession Electron Diffraction

    Full text link
    Calcium cobaltite thin films with a ratio Ca/Co=1 were grown on (101)-NdGaO3 substrate by the pulsed laser deposition technique. The structure of the deposited metastable phase is solved using a precession electron diffraction 3D dataset recorded from a cross-sectional sample. It is shown that an ordered oxygen-deficient Ca2Co2O5+d perovskite of the brownmillerite-type with lattice parameters a= 0.546nm, b=1.488nm and c=0.546nm (SG: Ibm2) has been stabilized using the substrate induced strain. The structure and microstructure of this metastable cobaltite is further discussed and compared to related bulk materials based on our transmission electron microscopy investigationsComment: 13 pages, 10 figures, 2 tables, accepted in Phys. Rev.

    Unmasking Uncle Sam: A Legal Test for Defining and Identifying State Media

    Get PDF
    In December 2018, the Chair of the House Foreign Affairs Committee published a report detailing how the U.S. Agency for Global Media, the central federal state media agency, illegally targeted social media ads at Americans at least 860 times from 2016 to 2018. The U.S. Agency for Global Media and other U.S. state media agencies have enormous resources, and if left unchecked, could unduly influence public opinion, threaten the free and independent press, and subvert democratic accountability. To address this growing concern, this Article proposes a new, comprehensive legal test for defining and identifying state media that incorporates existing approaches for analyzing government publications employed by the federal government and independent media platforms

    An efficient and effective approach to column-based input/output encoding in functional decomposition

    Get PDF

    On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

    Full text link
    Uniquely closable skeletons of lambda terms are Motzkin-trees that predetermine the unique closed lambda term that can be obtained by labeling their leaves with de Bruijn indices. Likewise, uniquely typable skeletons of closed lambda terms predetermine the unique simply-typed lambda term that can be obtained by labeling their leaves with de Bruijn indices. We derive, through a sequence of logic program transformations, efficient code for their combinatorial generation and study their statistical properties. As a result, we obtain context-free grammars describing closable and uniquely closable skeletons of lambda terms, opening the door for their in-depth study with tools from analytic combinatorics. Our empirical study of the more difficult case of (uniquely) typable terms reveals some interesting open problems about their density and asymptotic behavior. As a connection between the two classes of terms, we also show that uniquely typable closed lambda term skeletons of size 3n+13n+1 are in a bijection with binary trees of size nn.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

    SPORT: A new sub-nanosecond time-resolved instrument to study swift heavy ion-beam induced luminescence - Application to luminescence degradation of a fast plastic scintillator

    Get PDF
    We developed a new sub-nanosecond time-resolved instrument to study the dynamics of UV-visible luminescence under high stopping power heavy ion irradiation. We applied our instrument, called SPORT, on a fast plastic scintillator (BC-400) irradiated with 27-MeV Ar ions having high mean electronic stopping power of 2.6 MeV/\mu m. As a consequence of increasing permanent radiation damages with increasing ion fluence, our investigations reveal a degradation of scintillation intensity together with, thanks to the time-resolved measurement, a decrease in the decay constant of the scintillator. This combination indicates that luminescence degradation processes by both dynamic and static quenching, the latter mechanism being predominant. Under such high density excitation, the scintillation deterioration of BC-400 is significantly enhanced compared to that observed in previous investigations, mainly performed using light ions. The observed non-linear behaviour implies that the dose at which luminescence starts deteriorating is not independent on particles' stopping power, thus illustrating that the radiation hardness of plastic scintillators can be strongly weakened under high excitation density in heavy ion environments.Comment: 5 figures, accepted in Nucl. Instrum. Methods
    • …
    corecore