Boost invariant marginally trapped surfaces in Minkowski 4-space

The extremal and partly marginally trapped surfaces in Minkowski 4-space, which are invariant under the group of boost isometries, are classified. Moreover, it is shown that there do not exist extremal surfaces of this kind with constant Gaussian curvature. A procedure is given in order to construct a partly marginally trapped surface by gluing two marginally trapped surfaces which are invariant under the group of boost isometries. As an application, a proper star-surface is constructed.Comment: 13 pages, comment added in section

Note on (conformally) semi-symmetric spacetimes

We provide a simple proof that conformally semi-symmetric spacetimes are actually semi-symmetric. We also present a complete refined classification of the semi-symmetric spacetimes.Comment: 5 pages, no figure

Ideally embedded space-times

Due to the growing interest in embeddings of space-time in higher-dimensional spaces we consider a specific type of embedding. After proving an inequality between intrinsically defined curvature invariants and the squared mean curvature, we extend the notion of ideal embeddings from Riemannian geometry to the indefinite case. Ideal embeddings are such that the embedded manifold receives the least amount of tension from the surrounding space. Then it is shown that the de Sitter spaces, a Robertson-Walker space-time and some anisotropic perfect fluid metrics can be ideally embedded in a five-dimensional pseudo-Euclidean space.Comment: layout changed and typos corrected; uses revtex

Sustained data access and tools as key ingredients to strengthening EO capacities : examples from land application perspective + powerpoint

Sustainably managing agriculture and forests is key for development, in particular in Africa, and for facing global challenges such as climate change or food security, but requires reliable information. As Earth Observation (EO) satellite data can contribute to these information needs, more and more institutes integrate this technology into their daily work. Facing ever-growing and evolving EO data sources (e.g. new satellites and sensors) and access technology (both online and via EUMETCast satellite broadcast), their applications require software tools to particularly facilitate (i) the exchange of data between the analysis tools, so users can take advantage of each tool’s strengths, and (ii) the processing and analysis of time series. A first example is the Land Surface Analysis Satellite Application Facility (LSA-SAF), that entered the second part of the Continuous Development and Operations Phase (CDOP-2), under the lead of the Portuguese Institute for Sea and Atmosphere (IPMA), in 2011. VITO, joining the LSA-SAF network for the first time and building on previous experiences (e.g. http://www.metops10.vito.be), aims to contribute by producing and delivering operational, 10-daily vegetation indicators based on MetOp-AVHRR. Furthermore, a software tool is developed to aid exploitation of LSA-SAF products, provisionally called “MSG Toolbox”. A second example is the AGRICAB project, that receives funding from the European Union’s 7th Framework Programme for Research (FP7) and aims to build a comprehensive framework for strengthening capacities in the use of EO for agriculture and forestry management in Africa. This framework starts from sustained access to relevant satellite data (e.g. CBERS-3, DEIMOS) and derived products, such as those from the European Copernicus Global Land service, the 15 year time series of SPOT-VEGETATION (and its transition to PROBA-V) and Meteosat Second Generation (e.g. rainfall estimates). It combines local and EO data with tools and training into applications on crop monitoring, area statistics and yield forecasting, livestock insurance and modelling, forest and fire management, all fitted to the needs of stakeholders in the African focus countries

Formal modelling as a component of user centred design

User centred design approaches typically focus understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The sketch design of a device is enhanced into a specification that is then analysed using formal techniques, thus providing a systematic approach to checking plausibility and consistency during early design stages. Once analysed, a further prototype is constructed using an executable form of the specification, providing the next candidate for evaluation with potential users. The technique is illustrated through an example based on a pill dispenser.We are grateful to Nuno Rodrigues, João Vilaça and Nuno Dias from IPCA (Polytechnic Institute of Cavado and Ave) who developed the first prototypeof the pill dispenser. José C. Campos, Paolo Masci and Michael Harrison werefunded by project NORTE-01-0145-FEDER-000016, financed by the North Por-tugal Regional Operational Programme (NORTE 2020), under the PORTUGAL2020 Partnership Agreement, and through the European Regional DevelopmentFund (ERDF)

Modified Brans-Dicke theory of gravity from five-dimensional vacuum

We investigate, in the context of five-dimensional (5D) Brans-Dicke theory of gravity, the idea that macroscopic matter configurations can be generated from pure vacuum in five dimensions, an approach first proposed in the framework of general relativity. We show that the 5D Brans-Dicke vacuum equations when reduced to four dimensions lead to a modified version of Brans-Dicke theory in four dimensions (4D). As an application of the formalism, we obtain two five-dimensional extensions of four-dimensional O'Hanlon and Tupper vacuum solution and show that they lead two different cosmological scenarios in 4D.Comment: 9 page

Visual Methods for the Design of Shape-Changing Interfaces

Shape-changing interfaces use physical change in shape as input and/or output. As the field matures, it will move from technology-driven design toward more formal processes. However, this is challenging: end-users are not aware of the capabilities of shape-change, devices are difficult to demonstrate, and presenting single systems can ‘trap’ user-thinking into particular forms. It is crucial to ensure this technology is developed with requirements in mind to ensure successful end-user experiences. To address this challenge, we developed and tested (n = 50) an approach that combines low-fidelity white-box prototypes and high-fidelity video footage with end-user diagram and scenario sketching to design context dependent devices. We analysed the outputs of our test process and identified themes in device design requirements, and from this constructed a shape-change stack model to support practitioners in developing, classifying, and synthesising end-user requirements for this novel technology