Multi-agent based beam search for intelligent production planning and scheduling

Production planning and scheduling is a long standing research area of great practical value, while industrial demand for production planning and scheduling systems is acute. Regretfully, most research results are seldom applied in industry because existing planning and scheduling methods can barely meet the requirements for practical applications. This paper identifies four major requirements, namely generality, solution quality, computation efficiency, and implementation difficulty, for practical production planning and scheduling methods. Based on these requirements, method, a multi-agent based beam search (MABBS), is developed. It seamlessly integrates the multi-agent system (MAS) method and beam search (BS) method into a generic multi-stage multi-level decision making (MSMLDM) model to systematically address all the four requirements within a unified framework. A script language, called EXASL, and an open software platform are developed to simplify the implementation of the MABBS method. For solving complex real-world problems, an MABBS-based prototype production planning, scheduling and execution system is developed. The feasibility and effectiveness of this study is demonstrated with the prototype system and computation experiments. © 2010 Taylor & Francis.postprin

Revocation in Publicly Verifiable Outsourced Computation

The combination of software-as-a-service and the increasing use of mobile devices gives rise to a considerable difference in computational power between servers and clients. Thus, there is a desire for clients to outsource the evaluation of complex functions to an external server. Servers providing such a service may be rewarded per computation, and as such have an incentive to cheat by returning garbage rather than devoting resources and time to compute a valid result. In this work, we introduce the notion of Revocable Publicly Verifiable Computation (RPVC), where a cheating server is revoked and may not perform future computations (thus incurring a financial penalty). We introduce a Key Distribution Center (KDC) to efficiently handle the generation and distribution of the keys required to support RPVC. The KDC is an authority over entities in the system and enables revocation. We also introduce a notion of blind verification such that results are verifiable (and hence servers can be rewarded or punished) without learning the value. We present a rigorous definitional framework, define a number of new security models and present a construction of such a scheme built upon Key-Policy Attribute-based Encryption.

Model Adaptation with Synthetic and Real Data for Semantic Dense Foggy Scene Understanding

This work addresses the problem of semantic scene understanding under dense fog. Although considerable progress has been made in semantic scene understanding, it is mainly related to clear-weather scenes. Extending recognition methods to adverse weather conditions such as fog is crucial for outdoor applications. In this paper, we propose a novel method, named Curriculum Model Adaptation (CMAda), which gradually adapts a semantic segmentation model from light synthetic fog to dense real fog in multiple steps, using both synthetic and real foggy data. In addition, we present three other main stand-alone contributions: 1) a novel method to add synthetic fog to real, clear-weather scenes using semantic input; 2) a new fog density estimator; 3) the Foggy Zurich dataset comprising $3808$ real foggy images, with pixel-level semantic annotations for $16$ images with dense fog. Our experiments show that 1) our fog simulation slightly outperforms a state-of-the-art competing simulation with respect to the task of semantic foggy scene understanding (SFSU); 2) CMAda improves the performance of state-of-the-art models for SFSU significantly by leveraging unlabeled real foggy data. The datasets and code are publicly available.Comment: final version, ECCV 201

Structure-activity relationships for analogs of the tuberculosis drug bedaquiline with the naphthalene unit replaced by bicyclic heterocycles

Replacing the naphthalene C-unit of the anti-tuberculosis drug bedaquiline with a range of bicyclic heterocycles of widely differing lipophilicity gave analogs with a 4.5-fold range in clogP values. The biological results for these compounds indicate on average a lower clogP limit of about 5.0 in this series for retention of potent inhibitory activity (MIC90s) against M.tb in culture. Some of the compounds also showed a significant reduction in inhibition of hERG channel potassium current compared with bedaquiline, but there was no common structural feature that distinguished these

Interface modification of clay and graphene platelets reinforced epoxy nanocomposites: a comparative study

The interface between the matrix phase and dispersed phase of a composite plays a critical role in influencing its properties. However, the intricate mecha-nisms of interface are not fully understood, and polymer nanocomposites are no exception. This study compares the fabrication, morphology, and mechanical and thermal properties of epoxy nanocomposites tuned by clay layers (denoted as m-clay) and graphene platelets (denoted as m-GP). It was found that a chemical modification, layer expansion and dispersion of filler within the epoxy matrix resulted in an improved interface between the filler mate-rial and epoxy matrix. This was confirmed by Fourier transform infrared spectroscopy and transmission electron microscope. The enhanced interface led to improved mechanical properties (i.e. stiffness modulus, fracture toughness) and higher glass transition temperatures (Tg) compared with neat epoxy. At 4 wt% m-GP, the critical strain energy release rate G1c of neat epoxy improved by 240 % from 179.1 to 608.6 J/m2 and Tg increased from 93.7 to 106.4 �C. In contrast to m-clay, which at 4 wt%, only improved the G1c by 45 % and Tg by 7.1 %. The higher level of improvement offered by m-GP is attributed to the strong interaction of graphene sheets with epoxy because the covalent bonds between the carbon atoms of graphene sheets are much stronger than silicon-based clay

Reinvestigation of aminoacyl-TRNA synthetase core complex by affinity purification-mass spectrometry reveals TARSL2 as a potential member of the complex

10.1371/journal.pone.0081734PLoS ONE812-POLN

Weierstrass meets Enriques

We study in detail the degeneration of K3 to T^4/Z_2. We obtain an explicit embedding of the lattice of collapsed cycles of T^4/Z_2 into the lattice of integral cycles of K3 in two different ways. Our first method exploits the duality to the heterotic string on T^3. This allows us to describe the degeneration in terms of Wilson lines. Our second method is based on the blow-up of T^4/Z_2. From this blow-up, we directly construct the full lattice of integral cycles of K3. Finally, we use our results to describe the action of the Enriques involution on elliptic K3 surfaces, finding that a Weierstrass model description is consistent with the Enriques involution only in the F-theory limit.Comment: 35 pages, 9 figure

Active Immunization with Extracellular Vesicles Derived from Staphylococcus aureus Effectively Protects against Staphylococcal Lung Infections, Mainly via Th1 Cell-Mediated Immunity

Staphylococcus aureus is an important pathogenic bacterium that causes various infectious diseases. Extracellular vesicles (EVs) released from S. aureus contain bacterial proteins, nucleic acids, and lipids. These EVs can induce immune responses leading to similar symptoms as during staphylococcal infection condition and have the potential as vaccination agent. Here, we show that active immunization (vaccination) with S. aureus-derived EVs induce adaptive immunity of antibody and T cell responses. In addition, these EVs have the vaccine adjuvant ability to induce protective immunity such as the up-regulation of co-stimulatory molecules and the expression of T cell polarizing cytokines in antigen-presenting cells. Moreover, vaccination with S. aureus EVs conferred protection against lethality induced by airway challenge with lethal dose of S. aureus and also pneumonia induced by the administration of sub-lethal dose of S. aureus. These protective effects were also found in mice that were adoptively transferred with splenic T cells isolated from S. aureus EV-immunized mice, but not in serum transferred mice. Furthermore, this protective effect of S. aureus EVs was significantly reduced by the absence of interferon-gamma, but not by the absence of interleukin-17. Together, the study herein suggests that S. aureus EVs are a novel vaccine candidate against S. aureus infections, mainly via Th1 cellular response.111814Ysciescopu

Gut microbe-derived extracellular vesicles induce insulin resistance, thereby impairing glucose metabolism in skeletal muscle

Gut microbes might influence host metabolic homeostasis and contribute to the pathogenesis of type 2 diabetes (T2D), which is characterized by insulin resistance. Bacteria-derived extracellular vesicles (EVs) have been suggested to be important in the pathogenesis of diseases once believed to be noninfectious. Here, we hypothesize that gut microbe-derived EVs are important in the pathogenesis of T2D. In vivo administration of stool EVs from high fat diet (HFD)-fed mice induced insulin resistance and glucose intolerance compared to regular diet (RD)-fed mice. Metagenomic profiling of stool EVs by 16S ribosomal DNA sequencing revealed an increased amount of EVs derived from Pseudomonas panacis (phylum Proteobacteria) in HFD mice compared to RD mice. Interestingly, P. panacis EVs blocked the insulin signaling pathway in both skeletal muscle and adipose tissue. Moreover, isolated P. panacis EVs induced typical diabetic phenotypes, such as glucose intolerance after glucose administration or systemic insulin injection. Thus, gut microbe-derived EVs might be key players in the development of insulin resistance and impairment of glucose metabolism promoted by HFD.11148Ysciescopu

CHY representations for gauge theory and gravity amplitudes with up to three massive particles

We show that a wide class of tree-level scattering amplitudes involving scalars, gauge bosons, and gravitons, up to three of which may be massive, can be expressed in terms of a Cachazo-He-Yuan representation as a sum over solutions of the scattering equations. These amplitudes, when expressed in terms of the appropriate kinematic invariants, are independent of the masses and therefore identical to the corresponding massless amplitudes.Comment: 20 pages, 1 figure; v2: minor typos corrected, published versio