4,005 research outputs found

    Undergraduate Catalog of Studies, 2023-2024

    Get PDF

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    Undergraduate Catalog of Studies, 2023-2024

    Get PDF

    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

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    Characterisation of peroxisomes in the fission Yeast Schizosaccharomyces pombe and slime mold Dictyostelium discoideum

    Get PDF
    Peroxisome is a compartment that is found in most eukaryotic organisms' cells. It has several crucial roles, such as fatty acid beta (β) oxidation and hydrogen peroxide (H2O2) detoxification. It contains many essential enzymes, including oxidase and catalase, and has several metabolic and non-metabolic pathways, depending on the environment and the organisms within its cells. This study investigates the role of peroxisomes in two organisms, S. pombe and D. discoideum. Although S. pombe is a well-studied yeast, there is only one study of this yeast that has focused on peroxisomes. This study offers a few crucial observations, including that S. pombe contains peroxisomes, that GFP containing a well-characterized PTS1 (SKL) is efficiently imported, and that peroxisome numbers increase in cells grown on a fatty acid as the sole carbon source, suggesting a role for peroxisomes in fatty acid degradation. The starting point in my research was initially a bioinformatics screen. This screening recognized the enzymes imported into peroxisomes based on the presence of a potential peroxisomal targeting signal. A few proteins were found. However, the low number of proteins with a classical PTS might be the result of different targeting signals that are not recognized by our bioinformatics parameters. Indeed, in other organisms, there are proteins without PTS1 that still use Pex5 for import. The first example is S. cerevisiae Acyl-CoA oxidase. In a global yeast two-hybrid screen, S. pombe Pex5 was found to bind S. pombe Str3 and Lys3. Consequently, we think that there is conserved targeting of a peroxisomal protein lacking a PTS1 and PTS2 imported into the peroxisome by Pex5. One of these is the Str3 case. Interestingly, proteins involved in peroxisomal fatty acid β -oxidation are absent from the S. pombe genome, casting doubt on the conclusions from the previous study and explaining the low number of potential peroxisomal enzymes. In D. discoideum, this study investigates the dynamic regulation of peroxisome numbers in response to growth conditions and identifies peroxisomal import and contents through a proximity labeling approach (BioID). Overall, this study sheds light on the roles and regulation of peroxisomes in these two organisms

    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

    Distributed System Fuzzing

    Full text link
    Grey-box fuzzing is the lightweight approach of choice for finding bugs in sequential programs. It provides a balance between efficiency and effectiveness by conducting a biased random search over the domain of program inputs using a feedback function from observed test executions. For distributed system testing, however, the state-of-practice is represented today by only black-box tools that do not attempt to infer and exploit any knowledge of the system's past behaviours to guide the search for bugs. In this work, we present Mallory: the first framework for grey-box fuzz-testing of distributed systems. Unlike popular black-box distributed system fuzzers, such as Jepsen, that search for bugs by randomly injecting network partitions and node faults or by following human-defined schedules, Mallory is adaptive. It exercises a novel metric to learn how to maximize the number of observed system behaviors by choosing different sequences of faults, thus increasing the likelihood of finding new bugs. The key enablers for our approach are the new ideas of timeline-driven testing and timeline abstraction that provide the feedback function guiding a biased random search for failures. Mallory dynamically constructs Lamport timelines of the system behaviour, abstracts these timelines into happens-before summaries, and introduces faults guided by its real-time observation of the summaries. We have evaluated Mallory on a diverse set of widely-used industrial distributed systems. Compared to the start-of-the-art black-box fuzzer Jepsen, Mallory explores more behaviours and takes less time to find bugs. Mallory discovered 22 zero-day bugs (of which 18 were confirmed by developers), including 10 new vulnerabilities, in rigorously-tested distributed systems such as Braft, Dqlite, and Redis. 6 new CVEs have been assigned

    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

    Інформаційні технології оцінювання якості. Конспект лекцій

    Get PDF
    Навчальний посібник забезпечує лекційний курс з дисципліни «Інформаційні технології оцінювання якості». Навчальний посібник знайомить студентів з фундаментальними поняттями в області оцінювання якості програмного забезпечення, які необхідні при проєктуванні та експлуатації програмної складової інформаційно-вимірювальних систем і приладів. Чітка структурованість лекцій допоможе студентові швидше і легше оволодіти теоретичними положеннями для кращого розуміння підходів при формуванні необхідних властивостей та характеристик програмного забезпечення в процесі його розробки, що дозволить використовувати набуті знання на практиці при вирішенні конкретних задач різного ступеня складності.The textbook provides a lecture course in the discipline "Information technologies for quality evaluation". The textbook introduces students to the fundamental concepts in the field of software quality evaluation, which are necessary in the design and operation of information and measuring systems and devices. The clear structure of the lectures will help the student to master the theoretical concepts faster and easier for a better understanding of the approaches to the formation of the necessary properties and characteristics of the software in the process of its development, which will allow to use the acquired skills in practice when solving specific problems of varying degrees of complexity
    corecore