Publications: Recent submissions
Now showing items 841-860 of 2945
-
Automating Event-B invariant proofs by rippling and proof patching
(2019-01-02)The use of formal method techniques can contribute to the production of more reliable and dependable systems. However, a common bottleneck for industrial adoption of such techniques is the needs for interactive proofs. We ... -
Terrain referenced navigation using sand dunes and sand ripples in presence of tides
(2018)We investigated using terrain referenced navigation in shallow water in the presence of unknown tide, with an autonomous underwater vehicle equipped with a high resolution bathymetric sensor. The mission area had both ... -
Investigation of new orexin 2 receptor modulators using in silico and in vitro methods
(2018)The neuropeptides, orexin A and orexin B (also known as hypocretins), are produced in hypothalamic neurons and belong to ligands for orphan G protein-coupled receptors. Generally, the primary role of orexins is to act as ... -
Simplified energy landscape for modularity using total variation
(2018)Networks capture pairwise interactions between entities and are frequently used in applications such as social networks, food networks, and protein interaction networks, to name a few. Communities, cohesive groups of nodes, ... -
Blast injuries to people inside buildings
(2018-12-18)Dersom en bygning blir truffet av en trykkbølge, kan mennesker i bygningen bli skadet både ved å bli truffet av deler fra den skadete bygningen og av trykket som trenger inn gjennom åpninger i bygningen. Ved hjelp av ... -
Forsvarsindustrien i Norge - statistikk 2017
(2018-11-13)Hovedtall for norsk forsvarsindustri Tabell 0.1 Hovedtall for norsk forsvarsindustri. Det er oppgang i alle omsetningstall, men oppgangen er lavere enn økningen i Forsvarets materiellinvesteringer for 2017. ... -
Radardeteksjon av UVA under interferens fra vindturbiner
(2018-12-14)Økt nasjonal vindkraftutbygging har ført til nye konsesjonssøknader der Forsvaret er en viktig høringsinstans. For Forsvaret er det derfor relevant med mer kunnskap om hvordan vindturbiner påvirker radarytelse. Denne ... -
Propionate enters GABAergic neurons, inhibits GABA transaminase, causes GABA accumulation and lethargy in a model of propionic acidemia
(2018)Propionic acidemia is the accumulation of propionate in blood due to dysfunction of propionyl-CoA carboxylase. The condition causes lethargy and striatal degeneration with motor impairment in humans. How propionate exerts ... -
The Effects of a UAV on a Terrestrial MANET
(2018)Technological advances on Unmanned Aerial Vehicles (UAVs) and autonomous control could make UAVs useful for communication purposes, extending the range and increasing the performance of Mobile Ad-Hoc Networks (MANETs). However, ... -
Guidelines for conducting epidemiological studies of blast injury
(2018)Blast injuries are often caused by more than one mechanism, do not occur in isolation, and typically elicit a secondary multi-system response. Research efforts often do not separate blast injuries caused by blast waves ... -
Multi-watt, multi-octave, mid-infrared femtosecond source
(2018)Spectroscopy in the wavelength range from 2 to 11 μm (900 to 5000 cm−1) implies a multitude of applications in fundamental physics, chemistry, as well as environmental and life sciences. The related vibrational transitions, ... -
The Queen Bees and the Women's Team - A contextual examination of enmity and friendship between military women
(2018)In several studies of women in the Norwegian Armed Forces, we have found an assertion that female groups are so riddled with conflicts and enmity that it is preferable to keep women few in number and mixed up ... -
Tactical Router Interoperability: Concepts and Experiments
(2018)Interoperability on the lower tactical levels, e.g. in a multinational battalion or team, poses challenges because of the high degree of mobility and limited data capacity at the tactical edge. Enabling such multi-national ... -
Autonomous Optical Survey Based on Unsupervised Segmentation of Acoustic Backscatter
(2018)The application of acoustics to study the seabed have for decades provided industry and science with valuable information, and is still excels in terms of spatial coverage and detail. An acoustic response from the seabed ... -
Detection metrics and ship [D]RI
(2018)Well-known detection metrics based on Johnson criteria or Target Task Performance (TTP) models were developed for land-based targets [1,2]. In this paper we investigate how (whether) we can apply these metrics to especially ... -
Breathing patterns indicate cost of exercise during diving and response to experimental sound exposures in long-finned pilot whales
(2018)Air-breathing marine predators that target sub-surface prey have to balance the energetic benefit of foraging against the time, energetic and physiological costs of diving. Here we use on-animal data loggers to assess ... -
Effektforbedring materiell: Hvordan rapportere og prioritere mellom behov
(2018-10-31)Fra og med 2017 har forsvarssektoren mottatt en egen avsetning over statsbudsjettet for å opp- rettholde den relative effekten av Forsvarets materiell, kalt ’effektforbedring materiell’. Med uttrykket ‘relativ effekt’ ... -
Evaluering av effektiviseringsarbeidet i forsvarssektoren – evaluering etter første året i langtidsplanen for perioden 2017–2020
(2018-07-02)I langtidsplanen for perioden 2017–2020 skal forsvarssektoren effektivisere omlag 1,8 mrd. kroner innen utgangen av 2020. Alle etatene har derfor fått i oppdrag å arbeide strukturert med kontinuerlig forbedring og ...