Blar i Publikasjoner fra CRIStin - NTNU på tittel
Viser treff 36381-36400 av 37384
-
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 ... -
Verification and Examination Management of Complex Systems
(Journal article; Peer reviewed, 2014)As ship systems become more complex, with an increasing number of safety-critical functions, many interconnected subsystems, tight integration to other systems, and a large amount of potential failure modes, several industry ... -
Verification and validation of CFD simulations with full-scale ship speed/power trial data
(Journal article; Peer reviewed, 2022) -
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 collision avoidance algorithms in open sea and full visibility using fuzzy logic
(Journal article; Peer reviewed, 2023) -
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 Experimentally Determined Permeability and Form Coefficients of Al2O3 Ceramic Foam Filters (CFF) at High and Low Flow Velocity Using a CFD Model
(Journal article, 2018)Filtration using Ceramic Foam Filters (CFFs) is a method widely used to separate inclusions from molten aluminium. In the present work, the specific permeability and form drag coefficients of nominal 50 mm thick commercial ... -
Verification of heat and mass transfer closures in industrial scale packed bed reactor simulations
(Journal article; Peer reviewed, 2018)Particle-resolved direct numerical simulation (PR-DNS) is known to provide an accurate detailed insight into the local flow phenomena in static particle arrays. Most PR-DNS studies in literature do not account for reactions ... -
Verification of Numerical Offshore Wind Turbine Models Based on Full Scale Alpha Ventus Data within OC5 Phase III
(Chapter, 2018)The main objective of the Offshore Code Comparison Collaboration Continuation, with Correlation (OC5) project, is validation of aero-hydro-servo-elastic simulation tools for offshore wind turbines (OWTs) through comparison ... -
Verification of the IEC 61508 PFH formula for 2oo3 configuration using Markov chains and Petri nets
(Peer reviewed; Journal article, 2020)Purpose The purpose of this paper is to check the consistency of the IEC 61508 standard formula related to the average failure frequency (PFH: the probability of dangerous failure per hour) for a commonly used safety ... -
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-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 ... -
Verktøy og veiledere for klimatilpasning
(Klima 2050 Report;, Research report, 2023) -
Verneombudets rolle i sikkerhetsarbeidet - case-studier i bygg og anlegg
(Research report, 2020)Rapporten beskriver resultatene fra en kartlegging der formålet har vært å få økt kunnskap om verneombudets rolle, utfordringer og muligheter knyttet til deres deltakelse i sikkerhetsarbeidet i bygg- og anleggsprosjekter. ... -
Versatile IR spectroscopy combined with synchrotron XAS–XRD: Chemical, electronic, and structural insights during thermal treatment of MOF materials
(Journal article; Peer reviewed, 2018)Understanding the physicochemical origin of functional materials generally requires multifaceted information on their material characteristics, which are investigated by various analytical methods. In this respect, a ... -
Versatile robotic probe calibration for position tracking in ultrasound imaging
(Journal article; Peer reviewed, 2015)Within the field of ultrasound-guided procedures, there are a number of methods for ultrasound probe calibration. While these methods are usually developed for a specific probe, they are in principle easily adapted to other ... -
Versatile Simulation Method for Complex Single Mixed Refrigerant Natural Gas Liquefaction Processes
(Peer reviewed; Journal article, 2018)Natural gas liquefaction is an energy intensive process with very small driving forces particularly in the low temperature region. Small temperature differences in the heat exchangers and high operating and capital costs ... -
Versatile, cell and chip friendly method to gel alginate in microfluidic devices
(Journal article, 2016)Alginate is used extensively in microfluidic devices to produce discrete beads or fibres at the microscale. Such structures may be used to encapsulate sensitive cargoes such as cells and biomolecules. On chip gelation of ... -
Vertical GaN nanocolumns grown on graphene intermediated with a thin AlN buffer layer
(Journal article; Peer reviewed, 2018)We report on the self-assembled growth of high-density and vertically-oriented n-doped GaN nanocolumns on graphene by radio-frequency plasma-assisted molecular beam epitaxy. Graphene was transferred to silica glass, which ...