Sökning: "Python"

Visar resultat 1 - 5 av 52 avhandlingar innehållade ordet Python.

  1. 1. Information Erasure: An Information-Flow Approach to Semantics and Enforcement

    Författare :Filippo Del Tedesco; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; erasure policies; erasure; information flow; enforcement; Python; security;

    Sammanfattning : Many modern online services require sensitive data to complete their tasks. For this reason, guaranteeing security policies in such services is a major concern. The traditional (and well studied) aspects of security, namely confidentiality, integrity, and availability of data, capture many but not all desirable policies involving sensitive-data. LÄS MER

  2. 2. Exploring genetic heterogeneity in cancer using high-throughput DNA and RNA sequencing

    Författare :Erik Fasterius; Cristina Al-Khalili Szigyarto; Mathias Uhlén; Peter-Bram ’t Hoen; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Biotechnology; bioinformatics; RNA-seq; WGS; WES; systems biology; variant analysis; single nucleotide variant; gene expression; machine learning; clustering; open source; R; bioconductor; Python; Bioteknologi; Biotechnology;

    Sammanfattning : High-throughput sequencing (HTS) technology has revolutionised the biomedical sciences, where it is used to analyse the genetic makeup and gene expression patterns of both primary patient tissue samples and models cultivated in vitro. This makes it especially useful for research on cancer, a disease that is characterised by its deadliness and genetic heterogeneity. LÄS MER

  3. 3. Tools for digital twins in continuous downstream processing

    Författare :Simon Tallvod; Avdelningen för kemiteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Digital twins; Biopharmaceuticals; Downstream processing; Chromatography; Mathematical modeling; Ion exchange; Automation; Sampling; Model calibration; Python;

    Sammanfattning : Biopharmaceuticals are of ever-growing importance for human health. The development and production of biopharmaceuticals has the potential for efficiency improvements by switching from batch-wise to continuous production. LÄS MER

  4. 4. Advancements in stratified flows through simulation, experiment and open research software development

    Författare :Ashwin Vishnu Mohanan; Erik Lindborg; Pierre Augier; James J. Riley; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; geophysical flows; shallow water wave turbulence; energy cascade; stratified turbulence; waves and vortices; open source software; geofysikaliska strömningar; vågturbulens i grunt vatten; energi- kaskad; stratifierad turbulens; vågor och virvlar; öppen mjukvara; Engineering Mechanics; Teknisk mekanik;

    Sammanfattning : Two studies of two-dimensional models of flows influenced by stratification and stratification/rotation are carried out in order to investigate whether a two-dimensional model can reproduce a downscale energy cascade with an associated k − 5/3 wavenumber spectrum. Firstly, a series of highly resolved numerical simulations of the classical shallow water model is carried out. LÄS MER

  5. 5. Enabling Test Automation for Industrial PLC Programs

    Författare :Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu; Jee Eunkyoung; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; PLC; PLC Testing; Automated Testing; PyLC; EARS Syntax; FBD; ST; Computer Science; datavetenskap;

    Sammanfattning : Testing safety-critical systems, particularly those controlled by Programmable Logic Controllers (PLC), is crucial for ensuring the safe and reliable operation of industrial processes. This thesis addresses the critical need for automated testing of safety-critical PLC systems used in various industrial settings. LÄS MER