Adaptive automated construction of hybrid heuristics for exam timetabling and graph colouring problems

In this paper, we present a random iterative graph based hyper-heuristic to produce a collection of heuristic sequences to construct solutions of different quality. These heuristic sequences can be seen as dynamic hybridisations of different graph colouring heuristics that construct solutions step by step. Based on these sequences, we statistically analyse the way in which graph colouring heuristics are automatically hybridised. This, to our knowledge, represents a new direction in hyper-heuristic research. It is observed that spending the search effort on hybridising Largest Weighted Degree with Saturation Degree at the early stage of solution construction tends to generate high quality solutions. Based on these observations, an iterative hybrid approach is developed to adaptively hybridise these two graph colouring heuristics at different stages of solution construction. The overall aim here is to automate the heuristic design process, which draws upon an emerging research theme on developing computer methods to design and adapt heuristics automatically. Experimental results on benchmark exam timetabling and graph colouring problems demonstrate the effectiveness and generality of this adaptive hybrid approach compared with previous methods on automatically generating and adapting heuristics. Indeed, we also show that the approach is competitive with the state of the art human produced methods.

A Hybrid Evolutionary Approach to the Nurse Rostering Problem

Nurse rostering is a difficult search problem with many constraints. In the literature, a number of approaches have been investigated including penalty function methods to tackle these constraints within genetic algorithm frameworks. In this paper, we investigate an extension of a previously proposed stochastic ranking method, which has demonstrated superior performance to other constraint handling techniques when tested against a set of constrained optimisation benchmark problems. An initial experiment on nurse rostering problems demonstrates that the stochastic ranking method is better in finding feasible solutions but fails to obtain good results with regard to the objective function. To improve the performance of the algorithm, we hybridise it with a recently proposed simulated annealing hyper-heuristic within a local search and genetic algorithm framework. The hybrid algorithm shows significant improvement over both the genetic algorithm with stochastic ranking and the simulated annealing hyper-heuristic alone. The hybrid algorithm also considerably outperforms the methods in the literature which have the previously best known results.

Characterisation of the Thermal, Spectroscopic and Drug Dissolution Properties of Mefenamic Acid and Polyoxyethylene–Polyoxypropylene Solid Dispersions

The aim of this study was to investigate the solubility of mefenamic acid (MA), a highly cohesive, poorly water-soluble drug in a copolymer of polyoxyethylene–polyoxypropylene (Lutrol F681), and to understand the effect drug polymer solubility has on in vitro dissolution of MA. Solid dispersions (SD) of MA were prepared by a hot melt method, using Lutrol F681 as a thermoplastic polymeric platform. High-speed differential scanning calorimetry (Hyper-DSC), Raman spectroscopy, powder X-ray diffractometry (PXRD) and hot-stage/?uorescence microscopy were used to assess the solubility of the drug in molten and solid polymer. Drug dissolution studies were subsequently conducted on single-phase solid solutions and biphasic SD using phosphate buffer pH 6.8 as dissolution media. Solubility investigations using Hyper-DSC, Raman spectroscopy and hot-stage microscopy suggested MA was soluble in molten Lutrol F681 up to a concentration of 35% (w/w). Conversely, the solubility in the solidstate matrix was limited to<15% (w/w); determined by Raman spectroscopy, PXRD and ?uorescence microscopy. As expected the dissolution properties of MA were signi?cantly in?uenced by the solubility of the drug in the polymer matrix. At a concentration of 10% (w/w) MA (a single phase solid solution) dissolution of MA in phosphate buffer 6.8 was rapid, whereas at a concentration of 50% (w/w) MA (biphasic SD) dissolution was signi?cantly slower. This study has clearly demonstrated the complexity of drug– polymer binary blends and in particular de?ning the solubility of a drug within a polymeric platform. Moreover, this investigation has demonstrated the signi?cant effect drug solubility within a polymeric matrix has upon the in vitro dissolution properties of solid polymer/drug binary blends.

On the derived category of a regular toric scheme

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes U s = Spec A s . A quasi-coherent sheaf on X gives rise, by taking sections over the U s , to a diagram of modules over the coordinate rings A s , indexed by the intersection poset S of the covering. If X is a regular toric scheme over an arbitrary commutative ring, we prove that the unbounded derived category of quasi-coherent sheaves on X can be obtained from a category of Sop-diagrams of chain complexes of modules by inverting maps which induce homology isomorphisms on hyper-derived inverse limits. Moreover, we show that there is a finite set of weak generators, one for each cone in the fan S. The approach taken uses the machinery of Bousfield–Hirschhorn colocalisation of model categories. The first step is to characterise colocal objects; these turn out to be homotopy sheaves in the sense that chain complexes over different open sets U s agree on intersections up to quasi-isomorphism. In a second step it is shown that the homotopy category of homotopy sheaves is equivalent to the derived category of X.

Vetting Sexual Offenders: State Over-extension, the Punishment Deficit and the Failure to Manage Risk

This article examines the state regulation of sexual offenders in the particular context of pre-employment vetting. A successive range of statutory frameworks have been put in place, culminating in the Safeguarding Vulnerable Groups Act 2006, to prevent unsuitable individuals from working with the vulnerable, and children in particular. Contemporary legislative and policy developments are set against a backdrop of broader concerns in the area of crime and justice, namely risk regulation, preventative governance and ‘precautionary logic.’ Proponents of these approaches have largely ignored concerns over their feasibility. This article specifically addresses this fissure within the specific field of vetting. It is argued that ‘hyper innovation’ and state over-extension in this area are particularly problematic and have resulted in exceptionally uncertain and unsafe policies. These difficulties relate principally to unrealistic public expectations about the state’s ability to control crime; unintended and ambiguous policy effects; and ultimately the failure of the state to deliver on its self-imposed regulatory mandate to effectively manage risk.

Long-term bone marrow culture profiles in patients with myelodysplastic syndromes are not explicable by defective apoptosis

It has been suggested that increased intramedullary apoptosis may explain the paradox between peripheral blood cytopenias and the hyper- or normo-cellular bone marrow observed in the myelodysplastic syndromes (MDS). We wished to see if culture performance could be related to the presence of apoptotic cells in a group of patients with MDS (12 patients) and other patients with peripheral blood cytopenias (six patients) which caused diagnostic difficulty. There was no correlation between LTBMC or adherent cell growth and the presence of apoptotic cells in the original marrow sample. A variable degree of apoptosis was observed in both groups of patients. LTBMC profiles correlated well with diagnosis but were unrelated to the extent of intramedullary apoptosis. This suggests that apoptosis is a much more ubiquitous process in disease than previously thought. (C) 1998 Elsevier Science Ltd. All rights reserved.

Construction of Drug–Polymer Thermodynamic Phase Diagrams Using Flory–Huggins Interaction Theory: Identifying the Relevance of Temperature and Drug Weight Fraction to Phase Separation within Solid Dispersions

Amorphous drug-polymer solid dispersions have the potential to enhance the dissolution performance and thus bioavailability of BCS class II drug compounds. The principle drawback of this approach is the limited physical stability of amorphous drug within the dispersion. Accurate determination of the solubility and miscibility of drug in the polymer matrix is the key to the successful design and development of such systems. In this paper, we propose a novel method, based on Flory-Huggins theory, to predict and compare the solubility and miscibility of drug in polymeric systems. The systems chosen for this study are (1) hydroxypropyl methylcellulose acetate succinate HF grade (HPMCAS-HF)-felodipine (FD) and (2) Soluplus (a graft copolymer of polyvinyl caprolactam-polyvinyl acetate-polyethylene glycol)-FD. Samples containing different drug compositions were mixed, ball milled, and then analyzed by differential scanning calorimetry (DSC). The value of the drug-polymer interaction parameter ? was calculated from the crystalline drug melting depression data and extrapolated to lower temperatures. The interaction parameter ? was also calculated at 25 °C for both systems using the van Krevelen solubility parameter method. The rank order of interaction parameters of the two systems obtained at this temperature was comparable. Diagrams of drug-polymer temperature-composition and free energy of mixing (?G mix) were constructed for both systems. The maximum crystalline drug solubility and amorphous drug miscibility may be predicted based on the phase diagrams. Hyper-DSC was used to assess the validity of constructed phase diagrams by annealing solid dispersions at specific drug loadings. Three different samples for each polymer were selected to represent different regions within the phase diagram

Targeting EGFR Induced Oxidative Stress by PARP1 Inhibition in Glioblastoma Therapy

Despite the critical role of Epidermal Growth Factor Receptor (EGFR) in glioblastoma pathogenesis [1,2], EGFR targeted therapies have achieved limited clinical efficacy [3]. Here we propose an alternate therapeutic strategy based on the conceptual framework of non-oncogene addiction [4,5]. A directed RNAi screen revealed that glioblastoma cells overexpressing EGFRvIII [6], an oncogenic variant of EGFR, become hyper-dependent on a variety of DNA repair genes. Among these, there was an enrichment of Base Excision Repair (BER) genes required for the repair of Reactive Oxygen Species (ROS)-induced DNA damage, including poly-ADP ribose polymerase 1 (PARP1). Subsequent studies revealed that EGFRvIII overexpression in glioblastoma cells caused increased levels of ROS, DNA strand break accumulation, and genome instability. In a panel of primary glioblastoma lines, sensitivity to PARP1 inhibition correlated with the levels of EGFR activation and oxidative stress. Gene expression analysis indicated that reduced expression of BER genes in glioblastomas with high EGFR expression correlated with improved patient survival. These observations suggest that oxidative stress secondary to EGFR hyperactivation necessitates increased cellular reliance on PARP1 mediated BER, and offer critical insights into clinical trial design.

A Unified Scheduler for Recursive and Task Dataflow Parallelism

Task dataflow languages simplify the specification of parallel programs by dynamically detecting and enforcing dependencies between tasks. These languages are, however, often restricted to a single level of parallelism. This language design is reflected in the runtime system, where a master thread explicitly generates a task graph and worker threads execute ready tasks and wake-up their dependents. Such an approach is incompatible with state-of-the-art schedulers such as the Cilk scheduler, that minimize the creation of idle tasks (work-first principle) and place all task creation and scheduling off the critical path. This paper proposes an extension to the Cilk scheduler in order to reconcile task dependencies with the work-first principle. We discuss the impact of task dependencies on the properties of the Cilk scheduler. Furthermore, we propose a low-overhead ticket-based technique for dependency tracking and enforcement at the object level. Our scheduler also supports renaming of objects in order to increase task-level parallelism. Renaming is implemented using versioned objects, a new type of hyper object. Experimental evaluation shows that the unified scheduler is as efficient as the Cilk scheduler when tasks have no dependencies. Moreover, the unified scheduler is more efficient than SMPSS, a particular implementation of a task dataflow language.

Tomographic characterisation of correlations in a photonic tripartite state

Starting from a four-partite photonic hyper-entangled Dicke resource, we report the full tomographic characterization of three-, two-, and one-qubit states obtained by projecting out part of the computational register. The reduced states thus obtained correspond to fidelities with the expected states larger than 87%, therefore certifying the faithfulness of the entanglement-sharing structure within the original four-qubit resource. The high quality of the reduced three-qubit state allows for the experimental verification of the Koashi-Winter relation for the monogamy of correlations within a tripartite state. We show that, by exploiting the symmetries of the three-qubit state obtained upon projection over the four-qubit Dicke resource, such relation can be experimentally fully characterized using only 5 measurement settings. We highlight the limitations of such approach and sketch an experimentally-oriented way to overcome them.

K-Contagion: Sound, Space and Speed in Psy's 'Gangnam Style'

Park Jae-Sang’s (otherwise known as PSY) bewilderingly successful pop contagion ‘Gangnam Style’ needs no introduction. As of January 2013, it has become the most watched video in YouTube’s history and has garnered over 1.23 billion hits since. ‘Gangnam Style’ has also become a rapid global pop phenomenon with multiple parodic reproductions, imitations and adaptations; Rapper PSY himself has become an international name and styled as the ‘anti-hero’ of the glamour-driven K-pop scene. His fame has transcended the social sphere and permeated the political stratosphere with politicians such as Barrack Obama and David Cameron being among the many whom PSY has exchanged pleasantries with. Apart from breaking ground and creating social and media history in many ways, ‘Gangnam Style’ has even been purported by UN Secretary-General Ban Ki Moon to be a “force for world peace” – cultural barriers are demolished as the world dances. Underlying this sentiment is the video’s almost universal appeal that assumes a supracultural yet equally paradoxical translatability: Korea’s neoteric ‘K-Wave’ phenomenon is at once local yet global, and where the latter is predicated on the former quality. The paper’s concern is thus two-fold. It will consider the dromological aspects of this musical contagion as it exemplifies and performs quite literally Paul Virilio’s thesis that the modern condition is driven by speed yet arrested to a dictatorship of movement. While many theories have been put forward for this astounding pop peculiarity, this paper would also examine the intercultural currents that advocate such a global (pop) cultural response. Through an analysis of sonic qualities – digital techno-beat rhythms, synth-based musicality, cyclical lyrics, horse-galloping movements – and acoustic receptions, it will consider the simultaneous and dichotomous currents of glocalisation and globalisation as it relates to the ways in which sonic ‘hyper-links’ establish new concepts of global-cultural identities even as these seem to be interrogated in the borderless worlds of hyper-mediatised realities and cultural technologies.

Neolithic settlement at the woodland’s edge: palynological data and timber architecture in Orkney, Scotland

It has often been assumed that the islands of Orkney were essentially treeless throughout much of the Holocene, with any ‘scrub’ woodland having been destroyed by Neolithic farming communities by around 3500 cal. BC. This apparently open, hyper-oceanic environment would presumably have provided quite marginal conditions for human settlement, yet Neolithic communities flourished and the islands contain some of the most spectacular remains of this period in north-west Europe. The study of new Orcadian pollen sequences, in conjunction with the synthesis of existing data, indicates that the timing of woodland decline was not synchronous across the archipelago, beginning in the Mesolithic, and that in some areas woodland persisted into the Bronze Age. There is also evidence to suggest that woodland communities in Orkney were more diverse, and therefore that a wider range of resources was available to Neolithic people, than has previously been assumed. Recent archaeological investigations have revealed evidence for timber buildings at early Neolithic settlement sites, suggesting that the predominance of stone architecture in Neolithic Orkney may not have been due to a lack of timber as has been supposed. Rather than simply reflecting adaptation to resource constraints, the reasons behind the shift from timber to stone construction are more complex and encompass social, cultural and environmental factors.

Productive Synergies in the City

The chapter focuses on the development of sustainable growing infrastructure in the city at two scales. Firstly the development of a large-scale city wide fuel productive landscape through the development of algae arrays in Liverpool and their connection through urban agriculture systems to develop a closed-cycle food and energy system where waste is food and secondly a hyper-localised neighbourhood food production system in Salford UK that utilises a closed cycle aquaponic system to re-invigorate an urban food desert.

The author develops a three-part model for the implementation of urban agriculture based on hardware (the technological system), software (the biological components) and interface (the links to food and other social networks). The conclusion being that it is possible to develop urban agriculture in cities if their implementation is seen as a process, rather than a static design. Also that as the benefits of such systems are wider than purely the physical outputs of the system in terms of energy and food, and thus we should re-evaluate the purely economic model of appraisal to include these.

Secure Virtualised Environment

Cloud computing is a technological advancementthat provide resources through internet on pay-as-you-go basis.Cloud computing uses virtualisation technology to enhance theefficiency and effectiveness of its advantages. Virtualisation isthe key to consolidate the computing resources to run multiple instances on each hardware, increasing the utilization rate of every resource, thus reduces the number of resources needed to buy, rack, power, cool, and manage. Cloud computing has very appealing features, however, lots of enterprises and users are still reluctant to move into cloud due to serious security concerns related to virtualisation layer. Thus, it is foremost important to secure the virtual environment.In this paper, we present an elastic framework to secure virtualised environment for trusted cloud computing called Server Virtualisation Security System (SVSS). SVSS provide security solutions located on hyper visor for Virtual Machines by deploying malicious activity detection techniques, network traffic analysis techniques, and system resource utilization analysis techniques.SVSS consists of four modules: Anti-Virus Control Module,Traffic Behavior Monitoring Module, Malicious Activity Detection Module and Virtualisation Security Management Module.A SVSS prototype has been deployed to validate its feasibility,efficiency and accuracy on Xen virtualised environment.

Secure Communications in Smart Grid: Networking and Protocols

The key attributes of a smarter power grid include: pervasive interconnection of smart devices; extensive data generation and collection; and rapid reaction to events across a widely dispersed physical infrastructure. Modern telecommunications technologies are being deployed across power systems to support these monitoring and control capabilities. To enable interoperability, several new communications protocols and standards have been developed over the past 10 to 20 years. These continue to be refined, even as new systems are rolled out.

This new hyper-connected communications infrastructure provides an environment rich in sub-systems and physical devices that are attractive to cyber-attackers. Indeed, as smarter grid operations become dependent on interconnectivity, the communications network itself becomes a target. Consequently, we examine cyber-attacks that specifically target communications, particularly state-of-the-art standards and protocols. We further explore approaches and technologies that aim to protect critical communications networks against intrusions, and to monitor for, and detect, intrusions that infiltrate Smart Grid systems.