1,926 research outputs found

    Real-time? Reframing temporal consciousness in time-based and interactive media

    Get PDF
    © 2018 Intellect Ltd Article. The experience of time and temporally extended events is a fundamental property of mind, and of time-based media arts. In dealing with properties of time, does the operational logic of contemporary media production tools cohere with philosophical views on the experience of time? This article considers a range of views on the phenomenal experience of time as they relate to the production of time-based media. Embedded within our production technologies, the artist is faced with a new philosophical instrument: the production timeline. The timeline utility in most time-based media software (and non-digital precursors) adopts the cinematic model as its operating metaphor; a series of frames, assembled one after the other in sequence. But the timeline brings new temporal complications such as reversibility, hierarchy and modifiability. The timeline also contorts time into a spatialized dimension, represented as a linear vector within the software interface. Automatic adoption of the linear timeline and the frame as the base unit of temporal thinking is problematic. J. M. E. McTaggart’s argument for the unreality of time based on contradictions within a range of possible temporal modal logics is compared with approaches to animation and editing software, and also interactive media software and their unique approach to time as potential events is considered

    Intensional Logic and Topology

    Get PDF
    This thesis is concerned with mathematical logic, in particular it is an investigation of a branch of mathematical logic called modal logic. This branch of mathematical logic extends the propositional calculus by adding two unary operators □ and 0 to the standard set of logical operators. This extension of classical logic has many interpretations; traditionally it is said to be the logic of necessity, denoted by the box operator, and possibility, denoted by the diamond operator. The notion of necessity within modal logic is ubiquitous and lends itself to a vast sea of metaphysics. For example, if X is necessarily true, denoted O X , then it is said to be true in all possible worlds. This way of understanding modalities gave imputes for a semantics that provided fodder for the first completeness proofs in modal logic. Modalities in logic have its roots in philosophy and dates back as far as Aristotle’s M etaphysics, but was brought into the limelight with the work of the philosopher mathematician Saul Kripke who in 1959, as a high school student, published the first completeness proof for a class of modal logics [Kripke]. His method used the so-called semantic-tableaux which was introduced by B eth’s The foundations of mathematics to obtain quick completeness proof for the propositional and predicate calculus. In this thesis, we are also interested in completeness for modal logics, but will use a more modern method known in the.literature as canonical model constructions . Moreover, we wish to provide a semantics for modal logics that is not the traditional possible world semantics. Our models will be topological in nature. Our goal is to provide a completeness proof for a particular modal logic called S4 which interprets the modal operators as the interior and closure operators on topological spaces. We will also prove that the logic S4 is complete with respect to the class of transitive and reflexive trees. This gives us two new completeness proof for the modal logic S4

    A study of in vitro immunological techniques in fascioliasis

    Get PDF

    Blood Flow Restriction Exercises Following An ACL Reconstruction In A 17-Year-Old Female Athlete: A Case Report

    Get PDF
    Anterior cruciate ligament (ACL) reconstructions account for over 50% of all sports-related knee surgeries. Due to graft healing, rehab protocols do not allow for high resistance training for several months. Blood flow restriction (BFR) therapy with low load exercise has been suggested to improve quadriceps and hamstring strength and hypertrophy in adults. There is currently a lack of research on the effects of BFR therapy on hamstring strength and hypertrophy following an ACL reconstruction in high school athletes. The purpose of this case report was to assess how BFR therapy affects hamstring and quadriceps strength and hypertrophy in a 17-year-old athlete following ACL reconstruction.https://dune.une.edu/pt_studcrposter/1121/thumbnail.jp

    Thermochronological Modeling with Artificial Intelligence

    Get PDF
    Thermochronology is a useful tool for constraining the timing and rates of tectonic uplift in mountain belts. Researchers rely on forward and inverse thermal models to constrain the many complex processes underlying thermochronologic datasets. Recent advancements in artificial intelligence (AI) sequence-to-sequence models make it possible to train a model to produce physically and geologically accurate interpretations of thermochronologic data, but no literature yet exists on the integration of deep learning to thermochronology. Sequence-to-sequence models can supplement, not replace, forward and inverse models in helping researchers resolve the complex processes underlying tectonic mountain-building. This research project showed that a major challenge in integrating AI to the study of thermochronology is generating large and diverse training datasets. A trained model can provide novel insights on tectonic mountain building by integrating new parameters into the modeling process and extrapolating information from sparse, noisy, and complex datasets.Bachelor of Art

    Numerical modelling of two-way reinforced concrete slabs in fire

    Full text link
    This paper describes numerical modelling of the fire behaviour of two-way reinforced concrete slabs using a special purpose non-linear finite-element program, SAFIR. Several two-way reinforced concrete and composite steel-concrete slabs are tested under exposure to the ISO standard fire in order to validate the shell finite element in the SAFIR program. The modelling results showed agreement with the fire tests and demonstrate that the SAFIR shell element can be used to predict tensile membrane behaviour of two-way reinforced concrete slabs in fire conditions. The analyses show that two-way slabs have excellent fire resistance if they deform in double curvature and develop tensile membrane action. (C) 2004 Elsevier Ltd. All rights reserved

    The Electronic and Superconducting Properties of Oxygen-Ordered MgB2 compounds of the form Mg2B3Ox

    Full text link
    Possible candidates for the Mg2B3Ox nanostructures observed in bulk of polycrystalline MgB2 (Ref.1) have been studied using a combination of Z-contrast imaging, electron energy loss spectroscopy (EELS) and first-principles calculations. The electronic structures, phonon modes, and electron phonon coupling parameters are calculated for two oxygen-ordered MgB2 compounds of composition Mg2B3O and Mg2B3O2, and compared with those of MgB2. We find that the density of states for both Mg2B3Ox structures show very good agreement with EELS, indicating that they are excellent candidates to explain the observed coherent oxygen precipitates. Incorporation of oxygen reduces the transition temperature and gives calculated TC values of 18.3 K and 1.6 K for Mg2B3O and Mg2B3O2, respectively.Comment: Submitted to PR

    Vocal panting: a novel thermoregulatory mechanism for enhancing heat tolerance in a desert-adapted bird

    Full text link
    Animals thriving in hot deserts rely on extraordinary adaptations and thermoregulatory capacities to cope with heat. Uncovering such adaptations, and how they may be favoured by selection, is essential for predicting climate change impacts. Recently, the arid-adapted zebra finch was discovered to program their offspring’s development for heat, by producing ‘heat-calls’ during incubation in hot conditions. Intriguingly, heat-calls always occur during panting; and, strikingly, avian evaporative cooling mechanisms typically involve vibrating an element of the respiratory tract, which could conceivably produce sound. Therefore, we tested whether heat-call emission results from a particular thermoregulatory mechanism increasing the parent’s heat tolerance. We repeatedly measured resting metabolic rate, evaporative water loss (EWL) and heat tolerance in adult wild-derived captive zebra finches (n = 44) at increasing air temperatures up to 44 °C. We found high within-individual repeatability in thermoregulatory patterns, with heat-calling triggered at an individual-specific stage of panting. As expected for thermoregulatory mechanisms, both silent panting and heat-calling significantly increased EWL. However, only heat-calling resulted in greater heat tolerance, demonstrating that “vocal panting” brings a thermoregulatory benefit to the emitter. Our findings therefore not only improve our understanding of the evolution of passerine thermal adaptations, but also highlight a novel evolutionary precursor for acoustic signals

    Genetic Analysis of Yeast Sec24p Mutants Suggests Cargo Binding Is Not Co-operative during ER Export

    Get PDF
    Many eukaryotic secretory proteins are selected forexport from the endoplasmic reticulum (ER) through theirinteraction with the Sec24p subunit of the coat protein II(COPII) coat. Three distinct cargo-binding sites on yeastSec24p have been described by biochemical, genetic andstructural studies. Each site recognizes a limited set ofpeptide motifs or a folded structural domain, however,the breadth of cargo recognized by a given site and thedynamics of cargo engagement remain poorly under-stood. We aimed to gain further insight into the broadermolecular function of one of these cargo-binding sitesusing a non-biased genetic approach. We exploited thein vivolethality associated with mutation of the Sec24pB-site to identify genes that suppress this phenotypewhen overexpressed. We identifiedSMY2as a gen-eral suppressor that rescued multiple defects in Sec24p,andSEC22as a specific suppressor of two adjacentcargo-binding sites, raising the possibility of allostericregulation of these domains. We generated a novel setof mutations in Sec24p thatdistinguish these two sitesand examined the ability of Sec22p to rescue these muta-tions. Our findings suggest that co-operativity does notinfluence cargo capture at these sites, and that Sec22prescue occurs via its function as a retrograde SNARE
    • …
    corecore