Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på tittel
Viser treff 8269-8288 av 21032
-
Forestry Product Calculator: Addressing Mismatches Between Energy Provision and Consumption
(Master thesis, 2014)The climate is a still growing problem. By making people aware that they can save money when heating houses using firewood, several people might start using firewood instead of other more polluting heating methods. But to ... -
Foreword IRIS43: Digitalization in times of transition
(Chapter, 2020) -
Foreword: Living in a digital world?
(Chapter, 2021) -
Forfatting og Prosedyrisk Modellering av Terreng og Landdekke med cGANs
(Master thesis, 2019)Modellering av virtuelle landskap kan være en utfordrende og tidkrevende prosess som ofte mangler god brukerkontroll, både for menneskeforfattere og for prosedyriske modelleringsmetoder. Jeg presenterer en metode for å ... -
Form Closure For Fully Actuated and Robust Obstacle-Aided locomotion in Snake Robots
(Peer reviewed; Journal article, 2023)In this letter we adapt the theory of form closure to define the form closed region: The subset of a snake robot's configuration space for which the constraints imposed by the obstacles in its environment render the system ... -
Formal Methods for System Development
(Master thesis, 2009)Two main types of formal methods have been investigated, formal specification and formal verification. Focus for formal verification has been on the concept of un-timed model checking. Some dominating formal specification ... -
Formal SoC Bus Verification with Sound Abstractions
(Master thesis, 2009)The fast development of semi-conductor technologies is matched for system design by an incrementing re-use of intellectual property (IP); this leaves verification as the biggest task. The verification problem has been known ... -
Formal verification of secure framework for digital exams
(Master thesis, 2017)The digital exam might come in the near future at the Norwegian University of Science and technology. As a replacement for tradition paper exam, digital exams will bring, along the old threats, some new challenges coming ... -
Formal verification of the Norwegian Internet Voting Protocol
(Master thesis, 2018)In this paper we look at the formalization and verification of several security components of the cryptosystem underlying The Norwegian Internet Voting Protocol. The focus will be on vote submission and B-Integrity. -
Formalising Nondeterministic Communication in Wireless Sensor Networks Using CSP
(Chapter, 2021)Using communicating sequential processes (CSP), this paper presents a model for wireless sensor networks (WSNs) to be used for formal verification of communication reliability in mesh networks. Process models are derived ... -
Formality and strong Massey vanishing for real projective groups
(Peer reviewed; Journal article, 2023)This report presents a general panorama of recent progress in the arithmetic-geometry theory of Galois and homotopy groups and its ramifications. While still relying on Grothendieck’s original pillars [1], the present ... -
Formation Control of Two Interconnected Underactuated Unmanned Surface Vessels Under Influence of Constant Ocean Currents
(Master thesis, 2020)I denne oppgaven blir en mulig formasjonsstyringsmetode foreslått for autonom minerydding for den neste generasjonen av mineryddere for Sjøforsvaret, som for øyeblikket er under utvikling av Forsvarets Forskningsinstitutt ... -
Formation Control of Underactuated AUVs Using the Hand Position Concept
(Chapter, 2023)This paper presents an extended null-space-based behavioral algorithm for the formation control of fleets of underactuated autonomous underwater vehicles. The null-space-based controller is developed to work directly with ... -
Formation Control of Underactuated Bio-inspired Snake Robots
(Journal article; Peer reviewed, 2016)This paper considers formation control of snake robots. In particular, based on a simplified locomotion model, and using the method of virtual holonomic constraints, we control the body shape of the robot to a desired gait ... -
Formation Control of Underactuated Marine Vehicles with Communication Constraints
(Journal article, 2006)In this paper, we propose a nonlinear coordination control scheme for formation control of a group of underactuated marine vehicles with communication topology constraints. In particular, we propose decentralized control ... -
Formation of silicon nanostructures in silicon nitride thin films for use in solar cells
(Master thesis, 2010)The increase in the world s demand for energy, and the fact that at one point we will run out of oil and gas which are two major contributers of the world supply of energy toady, are two reasons for why new and reliable ... -
Formation of singularities of spherically symmetric solutions to the 3D compressible Euler equations and Euler–Poisson equations
(Journal article; Peer reviewed, 2018)By introducing a new averaged quantity with a fast decay weight to perform Sideris's argument (Commun Math Phys, 1985) developed for the Euler Equations, we extend the formation of singularities of classical solution to ... -
Formation Path Following Control of Underactuated USVs
(Peer reviewed; Journal article, 2021)This paper proposes a formation control method for two underactuated unmanned surface vessels (USVs) to follow curved paths in the presence of ocean currents. By uniting a line-of-sight (LOS) guidance law and the ... -
Formation Path Following of Autonomous Underwater Vehicles using the Second-Order Null-Space-Based Behavioral Algorithm
(Master thesis, 2023)Denne oppgaven presenterer en ny styringsmetode for formasjonsbanefølging med autonome undervannsfartøy ved hjelp av en andreordens nullromsbasert atferdsmetode. Autonome undervannsfartøy byr på unike utfordringer innen ... -
Formative Assessment and Code Reuse
(Master thesis, 2020)Å programmere med kunnskaps-, programvare- og kodegjenbruk er vanlig og akseptert. For lærere blir dette en utfordring når det kommer til vurdering. Hva kan betraktes som elevers kunnskap og ferdigheter, og hva er ren ...