On the Complexity of Case-Based Planning

We analyze the computational complexity of problems related to case-based planning: planning when a plan for a similar instance is known, and planning from a library of plans. We prove that planning from a single case has the same complexity than generative planning (i.e., planning "from scratch"); using an extended definition of cases, complexity is reduced if the domain stored in the case is similar to the one to search plans for. Planning from a library of cases is shown to have the same complexity. In both cases, the complexity of planning remains, in the worst case, PSPACE-complete

Alkenones as a promising green alternative for waxes in cosmetics and personal care products

© The Author(s), 2018. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Cosmetics 5 (2018): 34, doi:10.3390/cosmetics5020034.The move toward green, sustainable, natural products has been growing in the cosmetic and personal care industry. Ingredients derived from marine organisms and algae are present in many cosmetic products. In this study, a new green ingredient, a wax (i.e., long-chain alkenones) derived from Isochyrsis sp., was evaluated as an alternative for cosmetic waxes. First, the melting point was determined (71.1–77.4 °C), then the alkenones’ thickening capability in five emollients was evaluated and compared to microcrystalline wax and ozokerite. Alkenones were compatible with three emollients and thickened the emollients similarly to the other waxes. Then, lipsticks and lip balms were formulated with and without alkenones. All products remained stable at room temperature for 10 weeks. Lipstick formulated with alkenones was the most resistant to high temperature. Finally, alkenones were compared to three cosmetic thickening waxes in creams. Viscosity, rheology, and stability of the creams were evaluated. All creams had a gel-like behavior. Both viscosity and storage modulus increased in the same order: cream with alkenones < cetyl alcohol < stearic acid < glyceryl monostearate. Overall, alkenones’ performance was comparable to the other three waxes. Alkenones can thus offer a potential green choice as a new cosmetic structuring agent.This research was funded by the Washington Research Foundation and a private donor from friends of the Woods Hole Oceanographic Institution, grant number N-126478

Probing the Formation of Reactive Oxygen Species by a Porous Self- Assembled Benzophenone Bis-Urea Host

Herein, we examine the photochemical formation of reactive oxygen species (ROS) by a porous benzophenone-containing bis-urea host (1) to investigate the mechanism of photooxidations that occur within the confines of its nanochannels. UV irradiation of the self-assembled host in the presence of molecular oxygen generates both singlet oxygen and superoxide when suspended in solution. The efficiency of ROS generation by the host is lower than that of benzophenone (BP), which could be beneficial for reactions carried out catalytically, as ROS species react quickly and often unselectively. Superoxide formation was detected through reaction with 5,5- dimethyl-1-pyrroline N-oxide in the presence of methanol. However, it is not detected in CHCl3, as it reacts rapidly with the solvent to generate methaneperoxy and chloride anions, similar to BP. The lifetime of airborne singlet oxygen (τΔairborne) was examined at the air−solid outer surface of the host and host·quencher complexes and suggests that quenching is a surface phenomenon. The efficiency of the host and BP as catalysts was compared for the photooxidation of 1-methyl-1-cyclohexene in solution. Both the host and BP mediate the photooxidation in CHCl3, benzene, and benzene-d6, producing primarily epoxide-derived products with low selectivity likely by both type I and type II photooxidation processes. Interestingly, in CHCl3, two chlorohydrins were also formed, reflecting the formation of chloride in this solvent. In contrast, UV irradiation of the host·guest crystals in an oxygen atmosphere produced no epoxide and appeared to favor mainly the type II processes. Photolysis afforded high conversion to only three products: an enone, a tertiary allylic alcohol, and a diol, which demonstrates the accessibility of the encapsulated reactants to oxygen and the influence of confinement on the reaction pathway

Performance and science reach of the Probe of Extreme Multimessenger Astrophysics for ultrahigh-energy particles

The Probe Of Extreme Multi-Messenger Astrophysics (POEMMA) is a potential NASA Astrophysics Probe-class mission designed to observe ultra-high energy cosmic rays (UHECRs) and cosmic neutrinos from space. POEMMA will monitor colossal volumes of the Earth's atmosphere to detect extensive air showers (EASs) produced by extremely energetic cosmic messengers: UHECRs above 20 EeV over the full sky and cosmic neutrinos above 20 PeV. We focus most of this study on the impact of POEMMA for UHECR science by simulating the detector response and mission performance for EAS from UHECRs. We show that POEMMA will provide a significant increase in the statistics of observed UHECRs at the highest energies over the entire sky. POEMMA will be the first UHECR fluorescence detector deployed in space that will provide high-quality stereoscopic observations of the longitudinal development of air showers. Therefore, it will be able to provide event-by-event estimates of the calorimetric energy and nuclear mass of UHECRs. The particle physics in the interactions limits the interpretation of the shower maximum on an event by event basis. In contrast, the calorimetric energy measurement is significantly less sensitive to the different possible final states in the early interactions. We study the prospects to discover the origin and nature of UHECRs using expectations for measurements of the energy spectrum, the distribution of arrival direction, and the atmospheric column depth at which the EAS longitudinal development reaches maximum. We also explore supplementary science capabilities of POEMMA through its sensitivity to particle interactions at extreme energies and its ability to detect ultra-high energy neutrinos and photons produced by top-down models including cosmic strings and super-heavy dark matter particle decay in the halo of the Milky Way.Comment: 40 pages revtex, with 42 figure

Acoustic and oceanographic observations and configuration information for the WHOI moorings from the SW06 experiment

This document describes data, sensors, and other useful information pertaining to the moorings that were deployed from the R/V Knorr from July 24th to August 4th, 2006 in support of the SW06 experiment. The SW06 experiment was a large, multi-disciplinary effort performed 100 miles east of the New Jersey coast. A total of 62 acoustic and oceanographic moorings were deployed and recovered. The moorings were deployed in a “T” geometry to create an along-shelf path along the 80 meter isobath and an across-shelf path starting at 600 meters depth and going shoreward to a depth of 60 meters. A cluster of moorings was placed at the intersection of the two paths to create a dense sensor-populated area to measure a 3-dimensional physical oceanography. Environmental moorings were deployed along both along-shelf and across-shelf paths to measure the physical oceanography along those paths. Moorings with acoustic sources were placed at the outer ends of the “T” to propagate various signals along these paths. Five single hydrophone receivers were positioned on the across shelf path and a vertical and horizontal hydrophone array was positioned at the intersection of the “T” to get receptions from all the acoustics assets that were used during SW06.Funding was provided by the Office of Naval Research under Contract No. N00014-04-1014

Propositional update operators based on formula/literal dependence

International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators

User needs elicitation via analytic hierarchy process (AHP). A case study on a Computed Tomography (CT) scanner

Background: The rigorous elicitation of user needs is a crucial step for both medical device design and purchasing. However, user needs elicitation is often based on qualitative methods whose findings can be difficult to integrate into medical decision-making. This paper describes the application of AHP to elicit user needs for a new CT scanner for use in a public hospital. Methods: AHP was used to design a hierarchy of 12 needs for a new CT scanner, grouped into 4 homogenous categories, and to prepare a paper questionnaire to investigate the relative priorities of these. The questionnaire was completed by 5 senior clinicians working in a variety of clinical specialisations and departments in the same Italian public hospital. Results: Although safety and performance were considered the most important issues, user needs changed according to clinical scenario. For elective surgery, the five most important needs were: spatial resolution, processing software, radiation dose, patient monitoring, and contrast medium. For emergency, the top five most important needs were: patient monitoring, radiation dose, contrast medium control, speed run, spatial resolution. Conclusions: AHP effectively supported user need elicitation, helping to develop an analytic and intelligible framework of decision-making. User needs varied according to working scenario (elective versus emergency medicine) more than clinical specialization. This method should be considered by practitioners involved in decisions about new medical technology, whether that be during device design or before deciding whether to allocate budgets for new medical devices according to clinical functions or according to hospital department

Portuguese validation of the Internet Addiction Test: An empirical study

Abstract Background and aims Research into Internet addiction (IA) has increased greatly over the last decade. Despite its various definitions and general lack of consensus regarding its conceptualisation amongst researchers, instruments for measuring this phenomenon have proliferated in a number of countries. There has been little research on IA in Portugal and this may be partly due to the absence of standardised measurement tools for assessing IA. Methods This study attempted to address this issue by adapting a Portuguese version of the Internet Addiction Test (IAT) via a translation-back translation process and Confirmatory Factor Analysis in a sample of 593 Portuguese students that completed a Portuguese version of the IAT along with questions related to socio-demographic variables. Results The findings suggested that the IAT appears to be a valid and reliable instrument for measuring IA among Portuguese young adults as demonstrated by its satisfactory psychometric properties. However, the present findings also suggest the need to reword and update some of the IAT's items. Prevalence of IA found in the sample was 1.2% and is discussed alongside findings relating to socio-demographic correlates. Limitations and implications of the present study are also discussed. Conclusions The present study calls for a reflection of the IAT while also contributing to a better understanding of the basic aspects of IA in the Portuguese community since many health practitioners are starting to realise that Internet use may pose a risk for some individuals

Revisiting the relevance of economic theory to hotel revenue management education and practice in the era of Big Data

Abstract This paper explores the role of economics in hospitality education and industry practice, with a particular focus on revenue management, and puts forward an argument for a return to the inclusion of economic theory in UK hospitality education, not seen since the 1990s. Given the increasing amounts of pricing data available to both managers and customers and the consequent market complexities now seen, developing economic literacy is demonstrated to be a crucial skill required for future hospitality graduates, allowing them to make successful revenue decisions and sense-check with confidence the decisions made by automated revenue systems. Economic literacy is defined as a balanced understanding of economic theory that can be applied in real-life business scenarios, extending beyond simple consideration of supply and demand to a mixture of neoclassical and behavioural approaches to economics

Shake-table testing of a stone masonry building aggregate: overview of blind prediction study

City centres of Europe are often composed of unreinforced masonry structural aggregates, whose seismic response is challenging to predict. To advance the state of the art on the seismic response of these aggregates, the Adjacent Interacting Masonry Structures (AIMS) subproject from Horizon 2020 project Seismology and Earthquake Engineering Research Infrastructure Alliance for Europe (SERA) provides shake-table test data of a two-unit, double-leaf stone masonry aggregate subjected to two horizontal components of dynamic excitation. A blind prediction was organized with participants from academia and industry to test modelling approaches and assumptions and to learn about the extent of uncertainty in modelling for such masonry aggregates. The participants were provided with the full set of material and geometrical data, construction details and original seismic input and asked to predict prior to the test the expected seismic response in terms of damage mechanisms, base-shear forces, and roof displacements. The modelling approaches used differ significantly in the level of detail and the modelling assumptions. This paper provides an overview of the adopted modelling approaches and their subsequent predictions. It further discusses the range of assumptions made when modelling masonry walls, floors and connections, and aims at discovering how the common solutions regarding modelling masonry in general, and masonry aggregates in particular, affect the results. The results are evaluated both in terms of damage mechanisms, base shear forces, displacements and interface openings in both directions, and then compared with the experimental results. The modelling approaches featuring Discrete Element Method (DEM) led to the best predictions in terms of displacements, while a submission using rigid block limit analysis led to the best prediction in terms of damage mechanisms. Large coefficients of variation of predicted displacements and general underestimation of displacements in comparison with experimental results, except for DEM models, highlight the need for further consensus building on suitable modelling assumptions for such masonry aggregates