Søk i SINTEF

Esfinge is a general domain Portuguese question answering system. It tries to take advantage of the steadily growing and constantly update information freely available in the World Wide Web in its question answering tasks. The system participated last year for the first time in the monolingual QA...

Concepts of disability have evolved over the past few decades. The focus of attention has shifted from disability as a state, a consequence of disease, to disability being included as just one of many components of health. This has been realised in part through the implementation of the...

We develop an adjoint model for a simulator consisting of a multiscale pressure solver and a saturation solver that works on flow adapted grids. The multiscale method solves the pressure on a coarse grid that is close to uniform in index space and incorporates fine-grid effects through numerically...

We address the problem of maintaining information flow security under refinement and transformation. To this end we define a schema for the specification of secure information flow properties and show that all security properties defined in the schema are preserved by a notion of refinement...

We propose a semantic paradigm for component-based specification supporting the documentation of security risk behaviour. By security risk, we mean behaviour that constitutes a risk with regard to ICT security aspects, such as confidentiality, integrity and availability. The purpose of this work is...

Objective cognitive function in patients with glioblastoma may depend on tumor location. Less is known about the potential impact of tumor location on cognitive function from the patients’ perspective. This study aimed to investigate the association between patient-reported cognitive function and...

The paper describes how one can use commodity graphics cards (GPUs) as a high-performance parallel computer to simulate the dynamics of ideal gases in two and three spatial dimensions. The dynamics is described by the Euler equations, and numerical approximations are computed using state-of-the-art...

A commodity-type graphics card w/its graphics processing unit (GPU) is used to detect, compute and visualize the intersection of two spline surfaces, or the self-intersection of a single spline surface.  The parallelism of the GPU facilitates fast and efficient subdivision and bounding box testing...

Ed.: Mecjavic IB, Kolunalakis SN, Taylor NAS....

Safety and security are traditionally treated separately, particular with respect to software. The increasing demand for remote access to computer controlled industrial systems requires merging the two fields. Some possible methods are described and possibilities for improving both safety and...

Carbon capture and storage (CCS) is critical for climate-change policies and strategies targeting global warming within the Paris Agreement. The overarching technological requirements are well described in the strategic plans, yet several barriers exist to the technology's wide-spread deployment...

A benchmarking facility for snake robot locomotion is presented, including the design of a snake-like robot extended with a sensor setup combining three-dimensional vision and an array of force sensors to register friction and impulse forces. A surrounding, modular environment consisting of a...

The VRP is a key to efficient transportation logistics. It is a computationally very hard problem. Whereas classical OR models are static and deterministic, these assumptions are rarely warranted in an industrial setting. Lately, there has been an increased focus on dynamic and stochastic vehicle...