6,151 research outputs found
Learning the Designer's Preferences to Drive Evolution
This paper presents the Designer Preference Model, a data-driven solution
that pursues to learn from user generated data in a Quality-Diversity
Mixed-Initiative Co-Creativity (QD MI-CC) tool, with the aims of modelling the
user's design style to better assess the tool's procedurally generated content
with respect to that user's preferences. Through this approach, we aim for
increasing the user's agency over the generated content in a way that neither
stalls the user-tool reciprocal stimuli loop nor fatigues the user with
periodical suggestion handpicking. We describe the details of this novel
solution, as well as its implementation in the MI-CC tool the Evolutionary
Dungeon Designer. We present and discuss our findings out of the initial tests
carried out, spotting the open challenges for this combined line of research
that integrates MI-CC with Procedural Content Generation through Machine
Learning.Comment: 16 pages, Accepted and to appear in proceedings of the 23rd European
Conference on the Applications of Evolutionary and bio-inspired Computation,
EvoApplications 202
Maintaining security requirements of software systems using evolving crosscutting dependencies
Security requirements are concerned with protecting assets of a system from harm. Implemented as code aspects to weave protection mechanisms into the system, security requirements need to be validated when changes are made to the programs during system evolution. However, it was not clear for developers whether existing validation procedures such as test cases are sufficient for security and when the implemented aspects need to adapt. In this chapter, we propose an approach for detecting any change to the satisfaction of security requirements in three steps: (1) identify the asset variables in the systems that are only accessed by a join-point method; (2) trace these asset variables to identify both control and data dependencies between the non-aspect and aspect functions; and (3) update the test cases ac-cording to implementation of these dependencies to strengthen the protection when a change happens. These steps are illustrated by a case study of a meeting scheduling system where security is a critical concern
Automated verification of shape and size properties via separation logic.
Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associated size properties. To support automatic verification, we design a new entailment checking procedure that can handle well-founded inductive predicates using unfold/fold reasoning. We have proven the soundness and termination of our verification system, and have built a prototype system
An Efficient Algorithm for Optimizing Adaptive Quantum Metrology Processes
Quantum-enhanced metrology infers an unknown quantity with accuracy beyond
the standard quantum limit (SQL). Feedback-based metrological techniques are
promising for beating the SQL but devising the feedback procedures is difficult
and inefficient. Here we introduce an efficient self-learning
swarm-intelligence algorithm for devising feedback-based quantum metrological
procedures. Our algorithm can be trained with simulated or real-world trials
and accommodates experimental imperfections, losses, and decoherence
Global consequences of afforestation and bioenergy cultivation on ecosystem service indicators
Land management for carbon storage is discussed as being indispensable for climate change mitigation because of its large potential to remove carbon dioxide from the atmosphere, and to avoid further emissions from deforestation. However, the acceptance and feasibility of land-based mitigation projects depends on potential side effects on other important ecosystem functions and their services. Here, we use projections of future land use and land cover for different land-based mitigation options from two land-use models (IMAGE and MAgPIE) and evaluate their effects with a global dynamic vegetation model (LPJ-GUESS). In the land-use models, carbon removal was achieved either via growth of bioenergy crops combined with carbon capture and storage, via avoided deforestation and afforestation, or via a combination of both. We compare these scenarios to a reference scenario without land-based mitigation and analyse the LPJ-GUESS simulations with the aim of assessing synergies and trade-offs across a range of ecosystem service indicators: carbon storage, surface albedo, evapotranspiration, water runoff, crop production, nitrogen loss, and emissions of biogenic volatile organic compounds.
In our mitigation simulations cumulative carbon storage by year 2099 ranged between 55 and 89 GtC. Other ecosystem service indicators were influenced heterogeneously both positively and negatively, with large variability across regions and land-use scenarios. Avoided deforestation and afforestation led to an increase in evapotranspiration and enhanced emissions of biogenic volatile organic compounds, and to a decrease in albedo, runoff, and nitrogen loss. Crop production could also decrease in the afforestation scenarios as a result of reduced crop area, especially for MAgPIE land-use patterns, if assumed increases in crop yields cannot be realized. Bioenergy-based climate change mitigation was projected to affect less area globally than in the forest expansion scenarios, and resulted in less pronounced changes in most ecosystem service indicators than forest-based mitigation, but included a possible decrease in nitrogen loss, crop production, and biogenic volatile organic compounds emissions
The impact of starchy food structure on postprandial glycemic response and appetite: a systematic review with meta-analysis of randomized crossover trials
Background Starchy foods can have a profound effect on metabolism. The structural properties of starchy foods can affect their digestibility and postprandial metabolic responses, which in the long term may be associated with the risk of type 2 diabetes and obesity. Objectives This systematic review sought to evaluate the clinical evidence regarding the impact of the microstructures within starchy foods on postprandial glucose and insulin responses alongside appetite regulation. Methods A systematic search was performed in the PUBMED, Ovid Medicine, EMBASE, and Google Scholar databases for data published up to 18 January 2021. Data were extracted by 3 independent reviewers from randomized crossover trials (RCTs) that investigated the effect of microstructural factors on postprandial glucose, insulin, appetite-regulating hormone responses, and subjective satiety scores in healthy participants. Results We identified 745 potential articles, and 25 RCTs (n = 369 participants) met our inclusion criteria: 6 evaluated the amylose-to-amylopectin ratio, 6 evaluated the degree of starch gelatinization, 2 evaluated the degree of starch retrogradation, 1 studied starch–protein interactions, and 12 investigated cell and tissue structures. Meta-analyses showed that significant reductions in postprandial glucose and insulin levels was caused by starch with a high amylose content [standardized mean difference (SMD) = −0.64 mmol/L*min (95% CI: −0.83 to −0.46) and SMD = −0.81 pmol/L*min (95% CI: −1.07 to −0.55), respectively], less-gelatinized starch [SMD = −0.54 mmol/L*min (95% CI: −0.75 to −0.34) and SMD = −0.48 pmol/L*min (95% CI: −0.75 to −0.21), respectively], retrograded starch (for glucose incremental AUC; SMD = −0.46 pmol/L*min; 95% CI: −0.80 to −0.12), and intact and large particles [SMD = −0.43 mmol/L*min (95% CI: −0.58 to −0.28) and SMD = −0.63 pmol/L*min (95% CI: −0.86 to −0.40), respectively]. All analyses showed minor or moderate heterogeneity (I2 < 50%). Sufficient evidence was not found to suggest how these structural factors influence appetite. Conclusions The manipulation of microstructures in starchy food may be an effective way to improve postprandial glycemia and insulinemia in the healthy population. The protocol for this systematic review and meta-analysis was registered in the international prospective register of systematic reviews (PROSPERO) as CRD42020190873
Contributed Review: A review of the investigation of rare-earth dopant profiles in optical fibers
Trekstock RENEW: evaluation of a 12-week exercise referral programme for young adult cancer survivors delivered by a cancer charity.
PURPOSE: To evaluate the uptake and effect of RENEW, a 12-week exercise referral programme for young adult cancer survivors delivered by Trekstock, a UK-based cancer charity. METHODS: The RENEW programme provides one-to-one individually tailored support from a level-4 cancer-rehabilitation-qualified gym instructor, free gym membership and access to information resources online. Objective and self-report data on cardiorespiratory function, strength, body composition, fatigue, sleep quality and general health-related quality of life (HRQoL) was collected from participants before the programme (week 0), immediately after (week 12) and 1 month later (week 16). RESULTS: Forty-eight young adults (83% female; mean age, 29 years) with a history of cancer took part within the 12-week programme and completed the evaluation measures. Physical activity (PA) levels significantly increased following the programme and remained raised at follow-up. Improvements in physical function were significant: peak expiratory flow (mean change, 30.96, p = 0.003), sit-and-reach test (mean change, 6.55 ± 4.54, p < 0.0001), and 6-mine-walk test (mean change, 0.12 ± 0.04, p < 0.0001). No significant changes in BMI, weight or muscle mass were observed. Improvements in fatigue, sleep and HRQoL were observed across the programme and at follow-up (mean change, weeks 0-16; 8.04 ± 1.49 p < 0.01; 1.05 ± 0.49 p < 0.05; and - 0.9 ± 0.46 p = 0.051, respectively). Changes in self-efficacy to exercise and motivations to exercise were not observed at 12 weeks or at follow-up. CONCLUSIONS: Results suggest that the RENEW exercise referral programme has a positive impact upon some domains of physical function and well-being among young adult cancer survivors. IMPLICATION FOR CANCER SURVIVORS: Exercise referral programmes delivered by charity organisations are one means by which PA behaviour change support may be widely disseminated to young adult cancer survivors. Health professionals and charitable bodies specialising in the care of young adults with cancer should look to address factors which prevent engagement and uptake of 'real-world' PA interventions such as the RENEW programme
- …