Hybrid quantum mechanics/molecular mechanics (QM/MM) approaches are commonly used methods for investigating a plethora of chemical, biochemical, and biophysical processes that require explicit treatment of the electronic degrees of freedom when the system is too big to be entirely treated by QM methods alone (Warshel and Levitt, 1976; Senn and Thiel, 2009; Adhireksan et al., 2014; Campomanes et al., ...

<p>Distributed version control systems are popular for storing source code, but they are notoriously ill suited for storing large binary files. <p>We report on the results from a set of experiments designed to characterize the behavior of some widely used distributed version control systems with respect to scaling. The experiments measured commit times and repository sizes when storing single files ...

The ice sheet model intercomparison project for CMIP6 (ISMIP6) effort brings together the ice sheet and climate modeling communities to gain understanding of the ice sheet contribution to sea level rise. ISMIP6 conducts stand-alone ice sheet experiments that use space- and time-varying forcing derived from atmosphere–ocean coupled global climate models (AOGCMs) to reflect plausible trajectories for ...

By restricting generating functions of infinitesimal symmetries of symplectic and contact vector spaces to quadratic forms, we obtain a finite-dimensional Lie subalgebra, consisting of vector fields isomorphic to the linear symplectic or conformal symplectic algebra. This allows us to look for joint invariants of the diagonal action of g on product manifolds. We find an explicit recipe for creating ...

In this thesis, we have explored the possibility of bringing CSP-like concurrency modeling to an embedded environment. With the growth of IoT and embedded software, many of the hardships that come with concurrent coding in an inherently event-driven environment become more apparent. Convoluted and complex code is often used to handle the many fallacies of concurrency. We are solving this problem by ...

As modern computer hardware becomes more affordable, the application areas of Artificial Intelligence (AI) expand and become more feasible to implement efficiently. This aspect opens up opportunities where AI robots can be used to support and improve many areas of human lives. One such area is education, and this thesis project combines AI and education to evaluate whether the results from that union ...

Oppgaven handler om hvordan informasjon og struktur en bruker profil trenger for og og kunne lagre smart nudges, og bruke dette til og finne brukerens preferanser. Et design på brukerprofil er laget og dette designet er brukt for og implementere en brukerprofil som inneholder smart nudger.

Snow avalanches threaten human lives, settlements and roads in snow covered mountainous areas. For avalanche forecasting, knowledge of the spatio-temporal occurrence of avalanche activity is critical. Automatic avalanche detection algorithms have been developed to enable consistent avalanche activity monitoring for large regions. The Satskred avalanche detection algorithm developed by NORCE applies ...

The late Cenozoic evolution of the outer continental shelf and slope on the northern part of the mid-Norwegian margin is studied using 3D seismic data. The late Cenozoic stratigraphy is subdivided into four main seismic units: unit A (oldest) to D and correlated to the established stratigraphic framework of the Naust Formation, where the oldest unit in this study correlates to the upper part of Naust ...

CO₂ is a non-toxic, abundant and readily available gas, which has the potential to become an important carbon source in chemical synthesis. The clear advantage of CO₂ is its sustainability, in contrast to typical carbon sources such as oil, coal, or natural gas, which are in the process of depletion. However, the use of CO₂ also poses a big challenge as it features ...