Exhale - Learning to Be Okay

Undergraduate Graphic Desig

Exhale

Pen and ink on paper

Waiting to Exhale

We breathe as a measure of time, it keeps us alive, and fabricates the pattern of our lives. We are punctuated by “snarls,” “glitches,” or moments of irregularity – of trying to catch one\u27s breath, having it taken away, or gasping for it. It is the punctuation of sighs, huffs, sniffs, scoffs, screams, and deep intakes that appear as glitches in the breathing system. In our daily rhythm of breathing, the presence of the glitch, defined as potentiality, can create space for something unexpected or new to arise. Using the wind from fans and approximately 1,260 square feet of silk, this thesis explores the seen and unseen landscape in regards to different types of breath

Waiting to Exhale

(First paragraph) The Story: Savannah Jackson’s sister Sheila tells Savannah about a business owner named Lionel, and Lionel invites Savannah to attend a New Year’s Eve party. As Savannah gets ready to ring in 1990, she reflects on her annoyance with Sheila and their mother, who have suggested that Savannah is miserable because she does not have a husband and does not live closer to her family. She realizes she does not need a man to validate her but admits that, as she broke up with Kenneth Dawkins four years ago, she wants to be in love agai

Breathing Movement Classification using MFCCs

Detecting the breath and classifying breathing movements such as inhale and exhale has settled importance in manybiomedical research areas. To this end, monitoring the breathing movements for lung cancer patients tends to remain one of the breath detection applications which have received much attention. On the other hand, virtual reality (VR) revolution has a lot of implications in many fields, which could also be used as a simulation technology for healing purposes. This has been an indication to use VR to assist the lung cancer patients. In this work, a novel method is proposed to detect and classify breathing movements. In our technique, we employ Mel-Frequency Cepstral Coefficients (MFCCs) to the acoustic signal of respiration captured using a microphone to depict the differences between the inhale and the exhale in frequency domain. MFCC features are widely used in depicting the different acoustic and physical traits of voices. For each subject, the acoustic signal of breath is captured and then split into inhale and exhale durations. We have applied 13- MFCCs for each inhale and exhale timeframe, and plotted the i-th MFCC for all subjects individually. We classify the Detecting the breath and classifying breathing movements such as inhale and exhale has settled importance in many biomedical research areas. To this end, monitoring the breathing movements for lung cancer patients tends to remain one of the breath detection applications which have received much attention. On the other hand, virtual reality (VR) revolution has a lot of implications in many fields, which could also be used as a simulation technology for healing purposes. This has been an indication to use VR to assist the lung cancer patients.In this work, a novel method is proposed to detect and classify breathing movements. In our technique, we employ Mel-Frequency Cepstral Coefficients (MFCCs) to the acoustic signal of respiration captured using a microphone to depict the differences between the inhale and the exhale in frequency domain. MFCC features are widely used in depicting the different acoustic and physical traits of voices.For each subject, the acoustic signal of breath is captured and then split into inhale and exhale durations. We have applied 13-MFCCs for each inhale and exhale timeframe, and plotted the i-th MFCC for all subjects individually

Dual-Gated Volumetric Modulated Arc Therapy

BACKGROUND: Gated Volumetric Modulated Arc Therapy (VMAT) is an emerging radiation therapy modality for treatment of tumors affected by respiratory motion. However, gating significantly prolongs the treatment time, as delivery is only activated during a single respiratory phase. To enhance the efficiency of gated VMAT delivery, a novel dual-gated VMAT (DG-VMAT) technique, in which delivery is executed at both exhale and inhale phases in a given arc rotation, is developed and experimentally evaluated. METHODS: Arc delivery at two phases is realized by sequentially interleaving control points consisting of MUs, MLC sequences, and angles of VMAT plans generated at the exhale and inhale phases. Dual-gated delivery is initiated when a respiration gating signal enters the exhale window; when the exhale delivery concludes, the beam turns off and the gantry rolls back to the starting position for the inhale window. The process is then repeated until both inhale and exhale arcs are fully delivered. DG-VMAT plan delivery accuracy was assessed using a pinpoint chamber and diode array phantom undergoing programmed motion. RESULTS: DG-VMAT delivery was experimentally implemented through custom XML scripting in Varian's TrueBeam™ STx Developer Mode. Relative to single gated delivery at exhale, the treatment time was improved by 95.5% for a sinusoidal breathing pattern. The pinpoint chamber dose measurement agreed with the calculated dose within 0.7%. For the DG-VMAT delivery, 97.5% of the diode array measurements passed the 3%/3 mm gamma criterion. CONCLUSIONS: The feasibility of DG-VMAT delivery scheme has been experimentally demonstrated for the first time. By leveraging the stability and natural pauses that occur at end-inspiration and end-exhalation, DG-VMAT provides a practical method for enhancing gated delivery efficiency by up to a factor of two

Weighted Diffeomorphic Density Matching with Applications to Thoracic Image Registration

In this article we study the problem of thoracic image registration, in particular the estimation of complex anatomical deformations associated with the breathing cycle. Using the intimate link between the Riemannian geometry of the space of diffeomorphisms and the space of densities, we develop an image registration framework that incorporates both the fundamental law of conservation of mass as well as spatially varying tissue compressibility properties. By exploiting the geometrical structure, the resulting algorithm is computationally efficient, yet widely general.Comment: Accepted in Proceedings of the 5th MICCAI workshop on Mathematical Foundations of Computational Anatomy, Munich, Germany, 2015 (http://www-sop.inria.fr/asclepios/events/MFCA15/

Automating Deductive Verification for Weak-Memory Programs

Writing correct programs for weak memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of such programs have recently been proposed, but their usage has been limited thus far to manual proofs. Automating proofs in these logics via first-order solvers is non-trivial, due to reasoning features such as higher-order assertions, modalities and rich permission resources. In this paper, we provide the first implementation of a weak memory program logic using existing deductive verification tools. We tackle three recent program logics: Relaxed Separation Logic and two forms of Fenced Separation Logic, and show how these can be encoded using the Viper verification infrastructure. In doing so, we illustrate several novel encoding techniques which could be employed for other logics. Our work is implemented, and has been evaluated on examples from existing papers as well as the Facebook open-source Folly library.Comment: Extended version of TACAS 2018 publicatio