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

Process Oriented Dependency Modelling for Service Identification

Part 3: Finance and Service ScienceInternational audienceService-Oriented Architecture (SOA) is important for organisations to achieve dynamic business process and build business agility. One of the first step for service oriented applications implementation is to properly identify a set of fine-grained services. A right service granularity is necessary to satisfy lower coupling and higher cohesion principles for reusable software services. To meet this challenge, a lot of efforts have been attached to support service identification. In this paper, by considering the dependency combined with the idea of graph partition, a service identification method is proposed from the business process’s perspective. The illustration example has shown its promising and it is expected that the proposed service identification method can offer researchers further insight into service granularity analysis

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

The relationship between sensory sensitivity and autistic traits in the general population.

Individuals with Autism Spectrum Disorders (ASDs) tend to have sensory processing difficulties (Baranek et al. in J Child Psychol Psychiatry 47:591–601, 2006). These difficulties include over- and under-responsiveness to sensory stimuli, and problems modulating sensory input (Ben-Sasson et al. in J Autism Dev Disorders 39:1–11, 2009). As those with ASD exist at the extreme end of a continuum of autistic traits that is also evident in the general population, we investigated the link between ASD and sensory sensitivity in the general population by administering two questionnaires online to 212 adult participants. Results showed a highly significant positive correlation (r = .775, p < .001) between number of autistic traits and the frequency of sensory processing problems. These data suggest a strong link between sensory processing and autistic traits in the general population, which in turn potentially implicates sensory processing problems in social interaction difficulties

Global maps of soil temperature

Research in global change ecology relies heavily on global climatic grids derived from estimates of air temperature in open areas at around 2 m above the ground. These climatic grids do not reflect conditions below vegetation canopies and near the ground surface, where critical ecosystem functions occur and most terrestrial species reside. Here, we provide global maps of soil temperature and bioclimatic variables at a 1-km(2) resolution for 0-5 and 5-15 cm soil depth. These maps were created by calculating the difference (i.e. offset) between in situ soil temperature measurements, based on time series from over 1200 1-km(2) pixels (summarized from 8519 unique temperature sensors) across all the world's major terrestrial biomes, and coarse-grained air temperature estimates from ERA5-Land (an atmospheric reanalysis by the European Centre for Medium-Range Weather Forecasts). We show that mean annual soil temperature differs markedly from the corresponding gridded air temperature, by up to 10 degrees C (mean = 3.0 +/- 2.1 degrees C), with substantial variation across biomes and seasons. Over the year, soils in cold and/or dry biomes are substantially warmer (+3.6 +/- 2.3 degrees C) than gridded air temperature, whereas soils in warm and humid environments are on average slightly cooler (-0.7 +/- 2.3 degrees C). The observed substantial and biome-specific offsets emphasize that the projected impacts of climate and climate change on near-surface biodiversity and ecosystem functioning are inaccurately assessed when air rather than soil temperature is used, especially in cold environments. The global soil-related bioclimatic variables provided here are an important step forward for any application in ecology and related disciplines. Nevertheless, we highlight the need to fill remaining geographic gaps by collecting more in situ measurements of microclimate conditions to further enhance the spatiotemporal resolution of global soil temperature products for ecological applications.Peer reviewe