Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på tittel
Viser treff 20254-20273 av 20809
-
Ventilasjonsanlegg for vannkraftverk i fjell
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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 ... -
Verification of an AES RTL Model with an Advanced Object-Oriented Testbench in SystemVerilog
(Master thesis, 2007)This Master's thesis reports the verification planning and verification process of a Verilog RTL model. Modern verification techniques like constrained randomization, assertions, functional coverage analysis and object ... -
Verification of downhole choke technology in a simulator using data from a North Sea well
(Journal article; Peer reviewed, 2019)The most important contributer to Improved Oil Recovery (IOR) on mature fields is drilling of infill wells. Managed Pressure Drilling (MPD) and Continuous Circulation System (CCS) techniques can be used for improved control ... -
Verification of simulation program for high head hydro power plant with air cussion
(Master thesis, 2013)Europe's energy production is experiencing a shift towards larger volumes of renewable energy. This developement, however benificiary, poses several challenges. One of them being the lack of regulation, as the energy is ... -
Verified Verifiers for Verifying Elections
(Journal article; Peer reviewed, 2019)The security and trustworthiness of elections is critical to democracy; alas, securing elections is notoriously hard. Powerful cryptographic techniques for verifying the integrity of electronic voting have been developed ... -
VerifyMed - Application of blockchain technology to improve trust in virtualized healthcare services
(Master thesis, 2020)Helsevesenet går mot økt bruk av digitale helsetjenester. Ved å bruke slike tjenester kan pasienter møte helsepersonell ved bruk av nettbaserte applikasjoner, for eksempel via digitale konsultasjoner på video eller chat. ... -
VerifyMed-A blockchain platform for transparent trust in virtualized healthcare: Proof-of-concept
(Chapter, 2020)Patients living in a digitized world can now interact with medical professionals through online services such as chat applications, video conferencing or indirectly through consulting services. These applications need to ...