828 research outputs found

    Teaching Hierophany through Film and Film through Hierophany

    Get PDF
    Courses that deal with cinematic representations of the sacred often focus on the experiences of characters in the film, relegating the viewer to the position of a passive witness to the reorienting effects of cinematic hierophanies. These types of courses do not take full advantage of the power of the cinematic medium to transform the way viewers understand the ontological and temporal structures they use to anchor themselves in the “profane” world. Based on my undergraduate course Cinema and the Sacred, this article outlines ways to allow students to experience the full transformative effects of cinema. As is the case with many of the works analyzed below, the religious subject matter dealt with in these films is of secondary importance to their role in creating sacred experience. It is the formal devices through which these visual narratives are relayed, this article argues, that imbues cinema with its sacred function

    Between Documentary and Fiction: The Films of Kore-Eda Hirokazu

    Get PDF
    This article investigates the representation of Buddhist values through the interplay between drama and documentary in two of Kore-eda’s films—After Life (Wandafuru Raifu, 1998) and I Wish (Kiseki, 2011). It will argue that the spiritual aspirations of these two films is a product of their nondualistic treatment of a documentary and dramatic style of filmmaking

    Locating Heisei in Japanese Film: The Historical Imagination of the Lost Decades

    Get PDF
    This paper will discuss the films of the “lost decades” of Japan’s Heisei period (1989–2019)—three decades of economic stagnation, social malaise, and natural disaster. Through an examination of the work of major Heisei filmmakers—including Kurosawa Kiyoshi, Ichikawa Jun, Sono Shion, and others—it explores the dissonance between the dominant history of Japan’s recent past and the representation of this past in the popular imagination of the period. Along with posing a challenge to normative accounts of history, Heisei film, this paper will also suggest, explores social issues that Japan continues to contend with as it enters the Reiwa period (2019–). In particular, this paper will discuss the work of Kore-eda Hirokazu, situating his films within neoliberal transformations over the last twenty years that have shaped social and cultural conditions in Japan. &nbsp

    Certifying safety and termination proofs for integer transition systems

    Get PDF
    Modern program analyzers translate imperative programs to an intermediate formal language like integer transition systems (ITSs), and then analyze properties of ITSs. Because of the high complexity of the task, a number of incorrect proofs are revealed annually in the Software Verification Competitions. In this paper, we establish the trustworthiness of termination and safety proofs for ITSs. To this end we extend our Isabelle/HOL formalization IsaFoR by formalizing several verification techniques for ITSs, such as invariant checking, ranking functions, etc. Consequently the extracted certifier CeTA can now (in)validate safety and termination proofs for ITSs. We also adapted the program analyzers T2 and AProVE to produce machinereadable proof certificates, and as a result, most termination proofs generated by these tools on a standard benchmark set are now certified

    MFS1, a Pleiotropic Transporter in Dermatophytes That Plays a Key Role in Their Intrinsic Resistance to Chloramphenicol and Fluconazole

    Get PDF
    A recently identified Trichophyton rubrum major facilitator superfamily (MFS)-type transporter (TruMFS1) has been shown to give resistance to azole compounds and cycloheximide (CYH) when overexpressed in Saccharomyces cerevisiae. We investigated the roles of MFS1 in the intrinsic resistance of dermatophytes to CYH and chloramphenicol (CHL), which are commonly used to isolate these fungi, and to what extent MFS1 affects the susceptibility to azole antifungals. Susceptibility to antibiotics and azoles was tested in S. cerevisiae overexpressing MFS1 and Delta MFS1 mutants of Trichophyton benhamiae, a dermatophyte that is closely related to T. rubrum. We found that TruMFS1 functions as an efflux pump for CHL in addition to CYH and azoles in S. cerevisiae. In contrast, the growth of T. benhamiae Delta MFS1 mutants was not reduced in the presence of CYH but was severely impaired in the presence of CHL and thiamphenicol, a CHL analog. The suppression of MFS1 in T. benhamiae also increased the sensitivity of the fungus to fluconazole and miconazole. Our experiments revealed a key role of MFS1 in the resistance of dermatophytes to CHL and their high minimum inhibitory concentration for fluconazole. Suppression of MFS1 did not affect the sensitivity to CYH, suggesting that another mechanism was involved in resistance to CYH in dermatophytes

    In vivo microdialysis reveals age-dependent decrease of brain interstitial fluid tau levels in P301S human tau transgenic mice

    Get PDF
    Although tau is a cytoplasmic protein, it is also found in brain extracellular fluids, e.g., CSF. Recent findings suggest that aggregated tau can be transferred between cells and extracellular tau aggregates might mediate spread of tau pathology. Despite these data, details of whether tau is normally released into the brain interstitial fluid (ISF), its concentration in ISF in relation to CSF, and whether ISF tau is influenced by its aggregation are unknown. To address these issues, we developed a microdialysis technique to analyze monomeric ISF tau levels within the hippocampus of awake, freely moving mice. We detected tau in ISF of wild-type mice, suggesting that tau is released in the absence of neurodegeneration. ISF tau was significantly higher than CSF tau and their concentrations were not significantly correlated. Using P301S human tau transgenic mice (P301S tg mice), we found that ISF tau is fivefold higher than endogenous murine tau, consistent with its elevated levels of expression. However, following the onset of tau aggregation, monomeric ISF tau decreased markedly. Biochemical analysis demonstrated that soluble tau in brain homogenates decreased along with the deposition of insoluble tau. Tau fibrils injected into the hippocampus decreased ISF tau, suggesting that extracellular tau is in equilibrium with extracellular or intracellular tau aggregates. This technique should facilitate further studies of tau secretion, spread of tau pathology, the effects of different disease states on ISF tau, and the efficacy of experimental treatments

    Neural network-based virtual microphone estimation with virtual microphone and beamformer-level multi-task loss

    Full text link
    Array processing performance depends on the number of microphones available. Virtual microphone estimation (VME) has been proposed to increase the number of microphone signals artificially. Neural network-based VME (NN-VME) trains an NN with a VM-level loss to predict a signal at a microphone location that is available during training but not at inference. However, this training objective may not be optimal for a specific array processing back-end, such as beamforming. An alternative approach is to use a training objective considering the array-processing back-end, such as a loss on the beamformer output. This approach may generate signals optimal for beamforming but not physically grounded. To combine the advantages of both approaches, this paper proposes a multi-task loss for NN-VME that combines both VM-level and beamformer-level losses. We evaluate the proposed multi-task NN-VME on multi-talker underdetermined conditions and show that it achieves a 33.1 % relative WER improvement compared to using only real microphones and 10.8 % compared to using a prior NN-VME approach.Comment: 5 pages, 2 figures, 1 tabl

    Limited available evidence supports theoretical predictions of reduced vaccine efficacy at higher exposure dose

    Get PDF
    Understanding the causes of vaccine failure is important for predicting disease dynamics in vaccinated populations and planning disease interventions. Pathogen exposure dose and heterogeneity in host susceptibility have both been implicated as important factors that may reduce overall vaccine efficacy and cause vaccine failure. Here, we explore the effect of pathogen dose and heterogeneity in host susceptibility in reducing efficacy of vaccines. Using simulation-based methods, we find that increases in pathogen exposure dose decrease vaccine efficacy, but this effect is modified by heterogeneity in host susceptibility. In populations where the mode of vaccine action is highly polarized, vaccine efficacy decreases more slowly with exposure dose than in populations with less variable protection. We compared these theoretical results to empirical estimates from a systematic literature review of vaccines tested over multiple exposure doses. We found that few studies (nine of 5,389) tested vaccine protection against infection over multiple pathogen challenge doses, with seven studies demonstrating a decrease in vaccine efficacy with increasing exposure dose. Our research demonstrates that pathogen dose has potential to be an important determinant of vaccine failure, although the limited empirical data highlight a need for additional studies to test theoretical predictions on the plausibility of reduced host susceptibility and high pathogen dose as mechanisms responsible for reduced vaccine efficacy in high transmission settings
    • 

    corecore