Towards declarative characterisation and negotiation of bindings

Authors: Hanssen, Øyvind

Source: Proceedings of the 4th workshop on Reflective and adaptive middleware systems - ARM '05. :1-6

Subject Terms: VDP::Mathematics and natural science: 400::Information and communication science: 420::Communication and distributed systems: 423, VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Kommunikasjon og distribuerte systemer: 423, 0202 electrical engineering, electronic engineering, information engineering, VDP::Technology: 500::Information and communication technology: 550, 02 engineering and technology, VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550

File Description: 796984 bytes; application/pdf

Access URL: https://munin.uit.no/bitstream/10037/2445/1/article.pdf
https://munin.uit.no/bitstream/10037/2445/1/article.pdf
https://munin.uit.no/bitstream/handle/10037/2445/article.pdf;sequence=1
https://dl.acm.org/doi/10.1145/1101516.1101524
https://core.ac.uk/display/20759870
https://munin.uit.no/handle/10037/2445
https://hdl.handle.net/10037/2445

The Nornir run-time system for parallel programs using Kahn process networks on multi-core machines—a flexible alternative to MapReduce

Authors: Vrba, Zeljko, Halvorsen, Pål, Griwodz, Carsten, Beskow, Paul, Espeland, Håvard, Johansen, Dag

Source: The Journal of Supercomputing. 63:191-217

Subject Terms: VDP::Mathematics and natural science: 400::Information and communication science: 420::Communication and distributed systems: 423, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Kommunikasjon og distribuerte systemer: 423, 02 engineering and technology, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Matematisk modellering og numeriske metoder: 427, Theoretical Computer Science, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, Hardware and Architecture, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::420, 0202 electrical engineering, electronic engineering, information engineering, VDP::Mathematics and natural science: 400::Information and communication science: 420::Mathematical modeling and numerical methods: 427, Software, Information Systems

Access URL: https://link.springer.com/content/pdf/10.1007%2Fs11227-010-0503-2.pdf
https://hdl.handle.net/10037/3070

Fifth Generation Networking Principles for a Service Driven Future Internet Architecture

Authors: Kumar, Ram

Source: Wireless Personal Communications

Subject Terms: Future Internet, network architecture, service oriented architecture, ROSA, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

File Description: application/pdf

Access URL: https://uia.brage.unit.no/uia-xmlui/bitstream/11250/137928/1/Kumar_2011_Fifth.pdf
https://uia.brage.unit.no/uia-xmlui/handle/11250/137928
https://uia.brage.unit.no/uia-xmlui/bitstream/11250/137928/1/Kumar_2011_Fifth.pdf
https://dl.acm.org/doi/10.1007/s11277-010-0076-7
https://dblp.uni-trier.de/db/journals/wpc/wpc57.html#Kumar11
https://link.springer.com/article/10.1007/s11277-010-0076-7
https://brage.bibsys.no/xmlui/handle/11250/137928
http://hdl.handle.net/11250/137928

Analyse og presentasjon av naturfaglige data i Microsoft Office – Verktøy til beregning, skriving av formler og tegning av figurer

Authors: Haugland, Ole Anton

Subject Terms: VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421

Relation: FRIDAID 1285204; https://hdl.handle.net/10037/8251

Availability: https://hdl.handle.net/10037/8251

Å bruke variabler i programmering i matematikk En observasjons og intervjustudie om variabler i tekstbasert og visuell programmering

Authors: Berg, Dag-Martin

Contributors: Thorvaldsen, Steinar

Subject Terms: VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421

Access URL: https://hdl.handle.net/10037/30393

A Method for Determining Optimal Charging Infrastructures in Public Ferry Transportation Networks

Authors: Kristensen, Joachim

Contributors: Dalmo, Rune, Pedersen, Aleksander

Subject Terms: VDP::Mathematics and natural science: 400::Mathematics: 410::Applied mathematics: 413, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Algorithms and computability theory: 422, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Algoritmer og beregnbarhetsteori: 422, VDP::Matematikk og Naturvitenskap: 400::Matematikk: 410::Anvendt matematikk: 413

Access URL: https://hdl.handle.net/10037/32872

Naturfag og matematikk i Office 2010 : Verktøy til beregning, skriving av formler og tegning av figurer

Authors: Haugland, Ole Anton

Subject Terms: VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421

Relation: https://hdl.handle.net/10037/3805

Availability: https://hdl.handle.net/10037/3805

Dataverktøy til regning, skriving og tegning i naturfag

Authors: Haugland, Ole Anton

Subject Terms: VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421

File Description: 510237 bytes; application/pdf

Relation: Eureka Digital 7, 2007; https://hdl.handle.net/10037/2286

Availability: https://hdl.handle.net/10037/2286

Autonomous Navigation in (the Animal and) the Machine

Authors: Leikanger, Per Roald

Subject Terms: VDP::Technology: 500::Information and communication technology: 550::Technical cybernetics: 553, VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550::Teknisk kybernetikk: 553, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421

Relation: Paper I: Leikanger, P.R. (2021). Decomposing the prediction problem; autonomous navigation by neoRL agents. Proceedings of ALIFE 2021: The 2021 Conference on Artificial Life. MIT Press. Also available in Munin at https://hdl.handle.net/10037/24721 . Paper II: Leikanger, P.R. (2022). Navigating Conceptual Space; A New Take on AGI. In: Goertzel, B., Iklé, M. & Potapov, A. (Eds), Artificial General Intelligence. AGI 2021. Lecture Notes in Computer Science, 13154 , 116-126. Springer, Cham. Also available at https://doi.org/10.1007/978-3-030-93758-4_13 . Paper III: Leikanger, P.R. Towards neoRL networks; the emergence of purposive graphs. (Submitted manuscript).; https://hdl.handle.net/10037/25518

Availability: https://hdl.handle.net/10037/25518

Towards a General Database Management System of Conflict-Free Replicated Relations

Authors: Tomter, Iver Toft

Subject Terms: VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550::Datateknologi: 551, VDP::Technology: 500::Information and communication technology: 550::Computer technology: 551, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Databaser og multimediasystemer: 428, VDP::Mathematics and natural science: 400::Information and communication science: 420::Databases and multimedia systems: 428, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Kommunikasjon og distribuerte systemer: 423, VDP::Mathematics and natural science: 400::Information and communication science: 420::Communication and distributed systems: 423, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, INF-3981

Relation: https://hdl.handle.net/10037/22344

Availability: https://hdl.handle.net/10037/22344

Particular: A Functional Approach to 3D Particle Simulation

Authors: Indreberg, Marius

Subject Terms: VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Systemutvikling og – arbeid: 426, VDP::Mathematics and natural science: 400::Information and communication science: 420::System development and system design: 426, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, INF-3981

Relation: https://hdl.handle.net/10037/21447

Availability: https://hdl.handle.net/10037/21447

On the design of a generic object adaptor

Authors: Eliassen, Frank, Hanssen, Øyvind

Subject Terms: VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Kommunikasjon og distribuerte systemer: 423, VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Databaser og multimediasystemer: 428, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Communication and distributed systems: 423, VDP::Mathematics and natural science: 400::Information and communication science: 420::Databases and multimedia systems: 428

File Description: 147646 bytes; application/pdf

Relation: FRIDAID 219799; https://hdl.handle.net/10037/2446

Availability: https://hdl.handle.net/10037/2446

Hendelsesorientert programmering med Visual Basic : oppgavesamling

Authors: Hansson, Knut W.

Source: vi, 36 s.

Subject Terms: Visual Basic, programmering, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421

File Description: application/pdf

Relation: Arbeidsnotater fra Høgskolen i Buskerud;70; https://hdl.handle.net/11250/141919

Availability: https://hdl.handle.net/11250/141919

Hendelsesorientert programmering med Visual Basic : kompendium

Authors: Hansson, Knut W.

Source: viii, 195 s.

Subject Terms: Visual Basic, programmering, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421

File Description: application/pdf

Relation: Arbeidsnotater fra Høgskolen i Buskerud;69; https://hdl.handle.net/11250/141917

Availability: https://hdl.handle.net/11250/141917

Road edge detection using hyperspectral and LiDAR data based on machine and deep learning

Authors: Senchuri, Rabin

Contributors: Burud, Ingunn, Kuras, Agnieszka

Source: 106.

Subject Terms: Remote Sensing, Hyperspectral Imaging, LiDAR, Machine Learning, VDP::Mathematics and natural science: 400::Information and communication science: 420::Simulation, visualization, signal processing, image processing: 429, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Mathematics and natural science: 400::Geosciences: 450::Other geosciences: 469

Subject Geographic: Norway

File Description: application/pdf

Relation: https://hdl.handle.net/11250/2725447

Availability: https://hdl.handle.net/11250/2725447

NB-FEB : an easy-to-use and scalable universal synchronization primitive for parallel programming

Authors: Tsigas, Philippas, Ha, Hoai Phuong, Anshus, Otto J.

Subject Terms: VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421

File Description: 256860 bytes; application/pdf

Relation: Technical Report in Computing Science at University of Tromsø, no. 2008-69; https://hdl.handle.net/10037/2563

Availability: https://hdl.handle.net/10037/2563

Geometric Modeling- and Sensor Technology Applications for Engineering Problems

Authors: Pedersen, Aleksander

Contributors: Lakså, Arne

Subject Terms: VDP::Mathematics and natural science: 400::Mathematics: 410::Applied mathematics: 413, VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550::Datateknologi: 551, VDP::Technology: 500::Information and communication technology: 550::Computer technology: 551, VDP::Mathematics and natural science: 400::Information and communication science: 420::Algorithms and computability theory: 422, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Algoritmer og beregnbarhetsteori: 422, VDP::Mathematics and natural science: 400::Mathematics: 410::Topology/geometry: 415, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Matematisk modellering og numeriske metoder: 427, VDP::Mathematics and natural science: 400::Information and communication science: 420::Simulation, visualization, signal processing, image processing: 429, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Mathematical modeling and numerical methods: 427, VDP::Matematikk og Naturvitenskap: 400::Matematikk: 410::Anvendt matematikk: 413, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Simulering, visualisering, signalbehandling, bildeanalyse: 429, VDP::Matematikk og Naturvitenskap: 400::Matematikk: 410::Topologi/geometri: 415

Access URL: https://hdl.handle.net/10037/19546

Latency Optimized Microservice Architecture for Privacy Preserving Computing

Authors: Magnussen, Nikolai Åsen

Subject Terms: VDP::Mathematics and natural science: 400::Information and communication science: 420::Communication and distributed systems: 423, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Kommunikasjon og distribuerte systemer: 423, VDP::Mathematics and natural science: 400::Information and communication science: 420::System development and system design: 426, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Systemutvikling og – arbeid: 426, VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Security and vulnerability: 424, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Sikkerhet og sårbarhet: 424, INF-3981

Relation: https://hdl.handle.net/10037/15775

Availability: https://hdl.handle.net/10037/15775

Verification of the Chord protocol in TLA+

Authors: Lund, Jørgen Aarmo

Subject Terms: VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Mathematics and natural science: 400::Information and communication science: 420::Communication and distributed systems: 423, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Kommunikasjon og distribuerte systemer: 423, VDP::Mathematics and natural science: 400::Information and communication science: 420::System development and system design: 426, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Systemutvikling og – arbeid: 426, INF-3990

Relation: https://hdl.handle.net/10037/15613

Availability: https://hdl.handle.net/10037/15613

Useful GPGPU Programming Abstractions. A thorough analysis of GPGPU development frameworks

Authors: Larsen, Johannes Arctander

Subject Terms: VDP::Mathematics and natural science: 400::Information and communication science: 420::Theoretical computer science, programming languages and programming theory: 421, VDP::Technology: 500::Information and communication technology: 550::Computer technology: 551, VDP::Mathematics and natural science: 400::Information and communication science: 420::Simulation, visualization, signal processing, image processing: 429, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421, VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Simulering, visualisering, signalbehandling, bildeanalyse: 429, GPGPU (General Purpose computing on GPUs), GPU (Graphics Processing Unit), CUDA, ArrayFire, MATLAB, VexCL, Thrust, OpenACC, PyCUDA, SAR (Synthetic Aperture Radar), VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550::Datateknologi: 551, INF-3981

Relation: https://hdl.handle.net/10037/9621

Availability: https://hdl.handle.net/10037/9621