3135083 documents found, page 313180 of 313509

A STUDY ON THE COMPUTATIONAL COMPLEXITY OF THE BILEVEL KNAPSACK PROBLEM

We analyze the computational complexity of three fundamental variants of the bilevel knapsack problem. All three variants are shown to be complete for the second level of the polynomial hierarchy. We also discuss the somewhat easier situation where the weight and profit coefficients in the knapsack problem are encoded in unary: two of the considered bilevel variants become solvable in polynomial time, whereas t...

Prototyping and analysing ubiquitous computing environments using multiple layers

If ubiquitous computing (ubicomp) is to enhance physical environments then early and accurate assessment of alternative solutions will be necessary to avoid costly deployment of systems that fail to meet requirements. This paper presents APEX, a prototyping framework that combines a 3D Application Server with a behaviour modeling tool. The contribution of this framework is that it allows exhaustive analysis of ...

Intelligent state changing applied to multi-robot systems

The target searching problem is a situation where a formation of multi-robot systems is set to search for a target and converge towards it when it is found. This problem lies in the fact that the target is initially absent and the formation must search for it in the environment. During the target search, false targets may appear dragging the formation towards it. Therefore, in order to avoid the formation follo...

Exciting the optical response of nanowire metamaterial films on the tip of opti...

This Letter reports on the assembly on the tip of an optical fibre of a metamaterial film fabricated by a self-assembly bottom-up method, composed of silver nanowires embedded in an alumina matrix. By illuminating the film through the fibre in a reflection configuration, we observe experimentally the optical response of the metamaterial in agreement with theoretical predictions and interpreted as the excitation...

Verification of User Interface Software: The Example of Use-Related Safety Requ...

One part of demonstrating that a device is acceptably safe, often required by regulatory standards, is to show that it satisfies a set of requirements known to mitigate hazards. This paper is concerned with how to demonstrate that a user interface software design is compliant with use-related safety requirements. A methodology is presented based on the use of formal methods technologies to provide guidance to d...

Contextualized Ubiquity: A New Opportunity for Rendering Business Information a...

Promoting entrepreneurship among informatics engineering students: insights fro...

Universities seek to promote entrepreneurship through effective education approaches, which need to be in permanent evolution. Nevertheless, the literature in entrepreneurship education lacks empirical evidence. This article discusses relevant issues related to promoting entrepreneurship in the software field, based on the experience of a 15-European Credit Transfer and Accumulation System course. This course s...

Long-range trajectories from global and local motion representations

Motion is a fundamental cue for scene analysis and human activity understanding in videos. It can be encoded in trajectories for tracking objects and for action recognition, or in form of flow to address behavior analysis in crowded scenes. Each approach can only be applied on limited scenarios. We propose a motion-based system that represents the spatial and temporal features of the flow in terms of long-range...

On the enhancement of Er3+ diffusion in LiNbO3 crystals by Er3+/Ti4+ co-diffusion

After carrying out a revision of the literature on the enhancement of Er3+ diffusion in LiNbO3 crystals by Er3+/Ti4+ co-diffusion and analyzing our own experimental results, we conclude that no reproducible results were reported, meaning that further research on this subject is necessary.

Balancing European SME Managers’ Training Contents: Perceived Importance & Trai...