Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på tittel

Viser treff 20174-20193 av 20732

    • Veileder til spenningsoppgradering av regionalnett med gjenbruk av komponenter 

      Steinseth, Joakim Cornelius (Master thesis, 2016)
      Hafslund Nett har som mål å drifte mesteparten av regionalnettet på 132 kV spenningsnivå. For å øke utnyttelsen av nettet har fokuset blitt rettet mot spenningsoppgradering av kraftledninger med gjenbruk av eksisterende ...

    • Vein Pattern Recognition Using Chain Codes, Spatial Information and Skeleton Fusing 

      Hartung, Daniel; Pflug, Anika; Busch, Christoph (Chapter; Peer reviewed, 2012)
      Vein patterns are a unique attribute of each individual and can therefore be used as a biometric characteristic. Exploiting the specific near infrared light absorption properties of blood, the vein capture procedure is ...

    • Vekst av BaSnO med Pulset Laser Deponering 

      Valset, Kjetil (Master thesis, 2007)
      I denne Masteroppgaven ble det dannet filmer av BaSnO på substrat av STO og Nb:STO. Filmene ble grodd i serier der parametrene som ble endret var laserfrekvens, lasereffekt(ved 2Hz og 10Hz)og temperaturen til substratet(ved ...

    • Velferdsteknologi i boliger. Muligheter og utfordringer 

      Aspnes, Espen; Ausen, Dag; Høyland, Karin; Mikalsen, Marius; Steen-Hansen, Anne Elise; Storesund, Karolina; Schjølberg, Ingrid; Svagård, Ingrid Storruste; Walderhaug, Ståle (SINTEF Rapport;A23938, Research report, 2012)
      Målsettingen med denne rapporten er å belyse og diskutere muligheter og utfordringer med implementering av velferdsteknologi knyttet til boligløsninger og det å klare seg godt i egen bolig. Utvikling og implementering av ...

    • Velocity and orientation control of underwater snake robots using absolute velocity feedback 

      Kohl, Anna M; Pettersen, Kristin Ytterstad; Gravdahl, Jan Tommy (Chapter, 2017)
      This article presents a control system for velocity and orientation control of underwater snake robots using absolute velocity feedback. The control system is structured in a hierarchical way, where the highest priority ...

    • Velocity Estimation in muscular Tissue by Ultrasound 

      Dahl, Trond-Olav (Master thesis, 2007)
      When estimating tissue velocities, the conventional autocorrelation method (AM) is only biased if the demodulation frequency is correctly estimated. While AM assumes the received centre frequency to be constant, the modified ...

    • Ventilasjonsanlegg for vannkraftverk i fjell 

      Baugerød, Ola Einbu; Berg, Lauritz Haakon; Gocaj, Brendon; Horntvedt, Georg (Bachelor thesis, 2021)
      Denne studien skal brukes for å hjelpe Statkraft med planlegging, innkjøp, prosjektering og drift av fremtidige ventilasjonsanlegg i deres kraftverk. Som et resultat av denne oppgaven legges det frem en spesifikasjon som ...

    • Verbos y nombres psicológicos: juntos y revueltos 

      Marín, Rafael; Sánchez Marco, Cristina (Journal article; Peer reviewed, 2012)
      En este artículo ofrecemos un estudio sobre las propiedades semánticas y –en menor medida, morfológicas– de los predicados psicológicos. Ponemos especial énfasis en las propiedades que parecen afectar de forma similar a ...

    • Verdien av fleksibilitet ved prioritering av rehabiliterings- og reinvesteringsprosjekter innen vannkraft 

      Krogh, Lena (Master thesis, 2017)
      En beslutning som handler om rehabilitering og reinvestering innen vannkraft kan være en komplisert affære. Det er mange hensyn som må tas, og forutsetningene for videre drift kan være usikre. Av den grunn er det viktig å ...

    • Verdier Duality for Stable ∞-categories 

      Sørli, Preben Hast (Master thesis, 2023)
      Vi beviser Luries ∞-kategoriske versjon av Verdier-dualitet. For å oppnå dette introduserer vi ∞-kategorier og noen viktige resultat og konstruksjoner. Mer spesifikt, så introduserer vi grenser og kogrenser og presenterer ...

    • Verdiorientert evolveringsteknikk og -teknologi 

      Røstgård, Kim (Bachelor thesis, 2020)
      I - Sammendrag Innledning Igjennom menneskehetens tid på jorden har vi som art evolvert våre mange teknologier. Eksterne utfordringer rundt min egen interne evolveringsteknikk, -i mitt egendefinerte bachelorprosjekt, ...

    • A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing 

      Boyen, Xavier; Haines, Thomas Edmund; Müller, Johannes (Peer reviewed; Journal article, 2020)
      Mix nets are often used to provide privacy in modern security protocols, through shuffling. Some of the most important applications, such as secure electronic voting, require mix nets that are verifiable. In the literature, ...

    • Verifiable Decryption for BGV 

      Silde, Tjerand (Peer reviewed; Journal article, 2022)
      In this work we present a direct construction for verifiable decryption for the BGV encryption scheme by combining existing zero-knowledge proofs for linear relations and bounded values. This is one of the first constructions ...

    • Verifiable Decryption in the Head 

      Gjøsteen, Kristian; Haines, Thomas Edmund; Müller, Johannes; Rønne, Peter B.; Silde, Tjerand (Peer reviewed; Journal article, 2022)
      In this work we present a new approach to verifiable decryption which converts a 2-party passively secure distributed decryption protocol into a 1-party proof of correct decryption. This leads to an efficient and simple ...

    • Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme 

      Haines, Thomas Edmund; Pattinson, Dirk; Tiwari, Mukesh (Peer reviewed; Journal article, 2019)
      The encryption of ballots is crucial to maintaining integrity and anonymity in electronic voting schemes. It enables, amongst other things, each voter to verify that their encrypted ballot has been recorded as cast, by ...

    • Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions 

      Aranha, Diego F.; Baum, Carsten; Gjøsteen, Kristian; Silde, Tjerand Aga (Journal article; Peer reviewed, 2023)
      Cryptographic voting protocols have recently seen much interest from practitioners due to their (planned) use in countries such as Estonia, Switzerland, France, and Australia. Practical protocols usually rely on tested ...

    • Verifiable Shuffled Decryption 

      Strand, Martin (Master thesis, 2013)
      We describe the Verifiable Shuffled Decryption problem, and present five solutions based on adapting several existing verifiable shuffles. All but one may have potential for implementation, the choice of which would depend ...

    • Verification and extension of a linear model of a rotary converter 

      Aschenbrenner, Bernhard (Master thesis, 2007)
      In this work, a verification and extension of a linear rotary converter model is done in Matlab®/Simulink. The existing model was developed by Thomas Høyvik Garten in his master thesis “Linear Model of Rotary Converter in ...

    • Verification of a Large Heterogeneous Many-core Computer 

      Gamst, Eivind; Mitacc, Edward (Master thesis, 2016)
      The historical trend of steady increase in processor performance with each technology generation has slowed down during the last years due to power limitations. As transistor sizes reduce, the power density on a chip does ...

    • Verification of a numerical MHD arc model for high voltage circuit breakers using experimental images 

      Abbasi, Vahid; Niayesh, Kaveh; Gholami, Ahmad (Journal article; Peer reviewed, 2017)
      The paper presents experimental and computational images of the arc in a simplified chamber. A circuit is arranged to inject the AC current into the electrodes. Arc current, magnetic field and plasma flow are described in ...