Abstract
We consider a wireless network scenario in which the communicating nodes are assisted by a number of jammers. The goal of the jammers is to obstruct potential eavesdroppers while restricting the harmful interference experienced by the legitimate receiver. Based on a stochastic network model, we are able to show that packet collisions caused by jamming nodes can be used effectively to increase the level of secrecy. Various jammer selection policies are investigated depending on the position of source, destination and jamming nodes. Our results shed some light on the trade-off between secure throughput and energy efficiency. © 2011 IEEE.

Abstract
In this paper, a digital image correlation (DIC) method coupling cross-correlation with spatio-temporal differential techniques was proposed for assessing discontinuous displacement fields. The accuracy and robustness of the algorithm was assessed on a set of numerical tests by processing computer generated speckled-pattern images. Fracture mechanical tests in mode I were considered, in which both in-plane and out-of-plane rigid-body movements were taken into account. The ability for recovering the analytical asymptotic displacement field in mode I was analysed, and stress intensity factor, crack opening displacement and crack tip location were used as quantitative parameters for validation purposes. Throughout these tests, the results obtained with the proposed method were systematically compared to the ones from Aramis DIC-2D commercial code. Globally, the results computed from both methods are in good agreement with reference values. However, due to the high spatial resolution (point-wise characteristic), a better matching of the displacements in the neighbour of discontinuities could be obtained by the proposed method.

Abstract
This paper describes the embedding of ClassSheet models in spreadsheet systems. ClassSheet models are well-known and describe the business logic of spreadsheet data. We embed this domain specific model representation on the (general purpose) spreadsheet system. By defining such an embedding, we provide end users a model-driven engineering spreadsheet developing environment. End users can interact with both the model and the spreadsheet data in the same environment. Moreover, we use advanced techniques to evolve spreadsheets and models and to have them synchronized. In this paper we present our work on extending a widely used spreadsheet system with such a model-driven spreadsheet engineering environment.

Abstract
Tabled evaluation is an implementation technique that solves some problems of traditional Prolog systems in dealing with recursion and redundant computations. Most tabling engines determine if a tabled subgoal will produce or consume answers by using variant checks. A more refined method, named call subsumption, considers that a subgoal A will consume from a subgoal B if A is subsumed by (an instance of) B, thus allowing greater answer reuse. We recently developed an extension, called Retroactive Call Subsumption, that improves upon call subsumption by supporting bidirectional sharing of answers between subsumed/subsuming subgoals. In this paper, we present both an algorithm and an extension to the table space data structures to efficiently implement instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. Experiments results using the YapTab tabling system show that our implementation performs quite well on some complex benchmarks and is robust enough to handle a large number of subgoals without performance degradation.

Abstract
We describe an all-fiber Mach-Zehnder interferometric configuration based on a suspended twin-core fiber. Because of the birefringence of the fiber cores, two interferometers are obtained by illuminating the fiber with polarized light. Applying strain, curvature, and temperature to the sensing head, different sensitivities are observed that permit the use of the matrix method to discriminate these three measurands. (C) 2011 Society of Photo-Optical Instrumentation Engineers (SPIE). [DOI: 10.1117/1.3553482]

Abstract