6,277 research outputs found

    The Divided Self: Internal Conflict in Literature, Philosophy, Psychology, and Neuroscience

    Full text link
    This thematic project examines the notion of self-division, particularly in terms of the conflict between cognition and metacognition, across the fields of philosophy, psychology, and, most recently, the cognitive and neurosciences. The project offers a historic overview of models of self-division, as well as analyses of the various problems presented in theoretical models to date. This work explores how self-division has been depicted in the literary works of Edgar Allan Poe, Don DeLillo, and Mary Shelley. It examines the ways in which artistic renderings alternately assimilate, resist, and/or critique dominant philosophical, psychological, and scientific discourses about the self and its divisions. This dissertation argues that the internal conflict portrayed by the writers of these literary characters is conscious: it is the conflict of the metacognitive “I” against akratic impulses, unwanted cognitions, and, ultimately, consciousness as a whole

    UMSL Bulletin 2023-2024

    Get PDF
    The 2023-2024 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1088/thumbnail.jp

    Proceedings of the 10th International congress on architectural technology (ICAT 2024): architectural technology transformation.

    Get PDF
    The profession of architectural technology is influential in the transformation of the built environment regionally, nationally, and internationally. The congress provides a platform for industry, educators, researchers, and the next generation of built environment students and professionals to showcase where their influence is transforming the built environment through novel ideas, businesses, leadership, innovation, digital transformation, research and development, and sustainable forward-thinking technological and construction assembly design

    Examining systemic and dispositional factors impacting historically disenfranchised schools across North Carolina

    Get PDF
    This mixed method sequential explanatory study provided analysis of North Carolina (NC) school leaders’ dispositions in eliminating opportunity gaps, outlined in NC’s strategic plan. The study’s quantitative phase used descriptive and correlation analysis of eight Likert subscales around four tenets of transformative leadership (Shields, 2011) and aspects of critical race theory (Bell, 1992; Ladson-Billings, 1998; Ladson-Billings & Tate, 2006) to understand systemic inequities and leadership attitudes. The qualitative phase comprised three analyses of education leadership dispositions and systemic factors in NC schools. The first analysis of State Board of Education meeting minutes from 2018–2023 quantified and analyzed utterances of racism and critical race, outlined the sociopolitical context of such utterances, and identified systemic patterns and state leader dispositions. The second analysis of five interviews of K–12 graduates identified persistent and systemic factors influencing NC education 3 decades after Brown v. Board of Education (1954) and within the context of Leandro v. State of NC (1997), where the NC Supreme Court recognized the state constitutional right for every student to access a “sound basic education.” The final qualitative analysis consisted of five interviews of current NC public school system leaders, for personal narratives of the state of NC schools compared to patterns from lived experiences of NC K–12 graduates. The study’s findings suggested NC school and state education leaders experience a racialized dichotomy between willingness for change (equity intentions) and execution of transformative action (practice). Although leaders at the board and school levels recognize the need for inclusivity and equity, a struggle to transcend systemic challenges, especially rooted in racial biases and power dynamics is evident. This study may identify leadership qualities needed for change in NC to address systemic inequities for improving educational access and inform policy to uphold all students’ constitutional right to a sound, basic education

    Cycling Through the Pandemic : Tactical Urbanism and the Implementation of Pop-Up Bike Lanes in the Time of COVID-19

    Get PDF
    Provides an international overview on how tactical urbanism was implemented to give more space to cycling Demonstrates the conceptual framework surrounding tactical urbanism and how it plays out theoretically Proposes new methodological insights to understand the effects of tactical urbanism intervention

    UMSL Bulletin 2022-2023

    Get PDF
    The 2022-2023 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1087/thumbnail.jp

    Guided rewriting and constraint satisfaction for parallel GPU code generation

    Get PDF
    Graphics Processing Units (GPUs) are notoriously hard to optimise for manually due to their scheduling and memory hierarchies. What is needed are good automatic code generators and optimisers for such parallel hardware. Functional approaches such as Accelerate, Futhark and LIFT leverage a high-level algorithmic Intermediate Representation (IR) to expose parallelism and abstract the implementation details away from the user. However, producing efficient code for a given accelerator remains challenging. Existing code generators depend on the user input to choose a subset of hard-coded optimizations or automated exploration of implementation search space. The former suffers from the lack of extensibility, while the latter is too costly due to the size of the search space. A hybrid approach is needed, where a space of valid implementations is built automatically and explored with the aid of human expertise. This thesis presents a solution combining user-guided rewriting and automatically generated constraints to produce high-performance code. The first contribution is an automatic tuning technique to find a balance between performance and memory consumption. Leveraging its functional patterns, the LIFT compiler is empowered to infer tuning constraints and limit the search to valid tuning combinations only. Next, the thesis reframes parallelisation as a constraint satisfaction problem. Parallelisation constraints are extracted automatically from the input expression, and a solver is used to identify valid rewriting. The constraints truncate the search space to valid parallel mappings only by capturing the scheduling restrictions of the GPU in the context of a given program. A synchronisation barrier insertion technique is proposed to prevent data races and improve the efficiency of the generated parallel mappings. The final contribution of this thesis is the guided rewriting method, where the user encodes a design space of structural transformations using high-level IR nodes called rewrite points. These strongly typed pragmas express macro rewrites and expose design choices as explorable parameters. The thesis proposes a small set of reusable rewrite points to achieve tiling, cache locality, data reuse and memory optimisation. A comparison with the vendor-provided handwritten kernel ARM Compute Library and the TVM code generator demonstrates the effectiveness of this thesis' contributions. With convolution as a use case, LIFT-generated direct and GEMM-based convolution implementations are shown to perform on par with the state-of-the-art solutions on a mobile GPU. Overall, this thesis demonstrates that a functional IR yields well to user-guided and automatic rewriting for high-performance code generation

    2023-2024 Catalog

    Get PDF
    The 2023-2024 Governors State University Undergraduate and Graduate Catalog is a comprehensive listing of current information regarding:Degree RequirementsCourse OfferingsUndergraduate and Graduate Rules and Regulation

    Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs

    Get PDF
    Parser combinators are a well-known mechanism used for the compositional construction of parsers, and have shown to be particularly useful in writing parsers for rich grammars with data-dependencies and global state. Verifying applications written using them, however, has proven to be challenging in large part because of the inherently effectful nature of the parsers being composed and the difficulty in reasoning about the arbitrarily rich data-dependent semantic actions that can be associated with parsing actions. In this paper, we address these challenges by defining a parser combinator framework called Morpheus equipped with abstractions for defining composable effects tailored for parsing and semantic actions, and a rich specification language used to define safety properties over the constituent parsers comprising a program. Even though its abstractions yield many of the same expressivity benefits as other parser combinator systems, Morpheus is carefully engineered to yield a substantially more tractable automated verification pathway. We demonstrate its utility in verifying a number of realistic, challenging parsing applications, including several cases that involve non-trivial data-dependent relations
    corecore