• Towards prediction of CML Treatment Outcomes with Machine Learning and CyTOF Data 

      Bergenheim, Mathilde Blom (Master thesis, 2024-06-03)
      Predicting responses to therapy for patients with Chronic Myeloid Leukemia (CML) is crucial for optimizing treatment strategies. This study utilizes machine learning models with mass cytometry (CyTOF) data from samples ...
    • Towards Privacy Managment of Information Systems 

      Drageide, Vidar (Master thesis, 2009-06-02)
      This masters thesis provides insight into the concept of privacy. It argues why privacy is important, and why developers and system owners should keep privacy in mind when developing and maintaining systems containing ...
    • Towards Reusable GUI Structures 

      Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko (Chapter, 2023)
      Graphical user interfaces present data as structures (lists, trees, grids). Convenient features to manipulate these structures are tedious to implement. We are working towards a GUI programming approach, where concise ...
    • Towards stronger Lagrangean bounds for stable spanning trees 

      Samer, Phillippe; Haugland, Dag (Chapter, 2022)
      Given a graph G=(V,E) and a set C of unordered pairs of edges regarded as being in conflict, a stable spanning tree in G is a set of edges T inducing a spanning tree in G, such that for each {e_i, e_j} in C, at most one ...
    • Transformations for Array programming 

      Abusdal, Ole Jørgen (Master thesis, 2020-05-15)
    • Transversals of longest paths 

      Cerioli, Marcia R.; Fernandes, Cristina G.; Gómez, Renzo; Gutiérrez, Juan; Lima, Paloma T. (Journal article; Peer reviewed, 2020-03)
      Let lpt(G) be the minimum cardinality of a transversal of longest paths in G, that is, a set of vertices that intersects all longest paths in a graph G. There are several results in the literature bounding the value of ...
    • Trådløse applikasjoner til hjelp for synshemmede 

      Maldonado, Isabel Chambi (Master thesis, 2008)
      Det eksisterer fremdeles grupper i dagens teknologiske samfunn som trenger hjelpemidler for å utføre dagligdagse oppgaver. Det er fremdeles enkelte i dagens teknologiske samfunn som trenger hjelpemidler for å utføre ...
    • Treewidth is NP-Complete on Cubic Graphs 

      Bodlaender, Hans L.; Bonnet, Édouard; Jaffke, Lars; Knop, Dusan; Lima, Paloma Thome de; Milanič, Martin; Ordyniak, Sebastian; Pandey, Sukanya; Suchy, Ondrey (Journal article; Peer reviewed, 2023)
      In this paper, we show that Treewidth is NP-complete for cubic graphs, thereby improving the result by Bodlaender and Thilikos from 1997 that Treewidth is NP-complete on graphs with maximum degree at most 9. We add a new ...
    • Trends & Opportunities in Visualization for Physiology: A Multiscale Overview 

      Garrison, Laura Ann; Kolesar, Ivan; Viola, Ivan; Hauser, Helwig; Bruckner, Stefan (Journal article; Peer reviewed, 2022)
      Combining elements of biology, chemistry, physics, and medicine, the science of human physiology is complex and multifaceted. In this report, we offer a broad and multiscale perspective on key developments and challenges ...
    • Triplicate functions 

      Budaghyan, Lilya; Ivkovic, Ivana; Kaleyski, Nikolay Stoyanov (Journal article; Peer reviewed, 2022)
      We define the class of triplicate functions as a generalization of 3-to-1 functions over \(\mathbb {F}_{2^{n}}\) for even values of n. We investigate the properties and behavior of triplicate functions, and of 3-to-1 among ...
    • TRUST NO ONE; Homomorphic Encryption and its Applications 

      Storvestre, Knut Mathias Gaard (Master thesis, 2023-02-02)
    • Turán's Theorem Through Algorithmic Lens 

      Fomin, Fedor; Golovach, Petr; Sagunov, Danil; Simonov, Kirill (Journal article; Peer reviewed, 2023)
    • Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins 

      Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch (Journal article; Peer reviewed, 2022)
      Digital twin applications use digital artefacts to twin physical systems. The purpose is to continuously mirror the structure and behavior of the physical system, such that users can analyse the physical system by means ...
    • Two new algorithms for error support recovery of low rank parity check codes 

      Franch, Ermes; Li, Chunlei (Journal article; Peer reviewed, 2023)
      Due to their weak algebraic structure, low rank parity check (LRPC) codes have been employed in several post-quantum cryptographic schemes. In this paper we propose new improved decoding algorithms for [n, k]qm LRPC codes ...
    • Two New Families of Quadratic APN Functions 

      Li, Kangquan; Zhou, Yue; Li, Chunlei; Qu, Longjiang (Journal article; Peer reviewed, 2022)
    • Two-tensor Fiber Tractography 

      Bergmann, Ørjan; Kindlmann, Gordon; Peled, Sharon; Westin, Carl-Fredrik (Peer reviewed; Chapter, 2007)
      Estimating white matter fiber pathways from a diffusion tensor MRI dataset has many important applications in medical research. However, the standard approach of performing tracking on single-tensor estimates per voxel is ...
    • A type system for counting instances of software components 

      Bezem, Marcus A.; Hovland, Dag; Truong, Anh Hoang (Peer reviewed; Journal article, 2012)
      We identify an abstract language for component software based on process algebra. Besides the usual operators for sequential, alternative and parallel composition, it has primitives for instantiating components and for ...
    • A Type System for the Safe Instantiation of Components 

      Bezem, Marcus A.; Truong, Anh Hoang (Journal article; Peer reviewed, 2004)
      Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component ...
    • A Type System for Usage of Software Components 

      Hovland, Dag (Lecture Notes in Computer Science, Chapter; Peer reviewed, 2009)
      The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ...
    • Type Systems for Guaranteeing Resource Bounds of Component Software 

      Truong, Anh Hoang (Doctoral thesis, 2006-05-15)
      Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...