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

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

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

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

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

Adherence to physical activity guidelines in older adults, using objectively measured physical activity in a population-based study.

BACKGROUND: Physical activity (PA) levels in older adults decline with age. The prevalence and correlates of adherence to current UK PA guidelines in older adults has not been studied using objectively measured PA, which can examine precisely whether PA is carried out in bouts of specified length and intensity. METHODS: Free living men and women aged 70-93 years from 25 towns in the United Kingdom, participating in parallel on-going population based cohort studies were invited (by post) to wear a GT3x accelerometer over the hip for one week in 2010-12. Adherence to UK PA guidelines was defined as ≥150 minutes/week of moderate or vigorous PA (MVPA) in bouts of ≥10 minutes; the effect of different intensities and durations were examined. RESULTS: 1593 men and 857 women participated (responses 51% and 29% respectively). 15% men and 10% women achieved ≥150 minutes/week of MVPA (defined as >1040 cpm) in bouts lasting ≥10 minutes. With MVPA defined as >1952 cpm, prevalences were 7% and 3% respectively. Those adhering to guidelines were younger, had fewer chronic health conditions, less depression, less severe mobility limitations, but higher exercise self-efficacy and exercise outcomes expectations. They rated their local environment more highly for social activities and leisure facilities, having somewhere nice to go for a walk and feeling safe after dark, They left the house on more days per week, were more likely to use active transport (cycle or walk) and to walk a dog regularly. CONCLUSIONS: Few older adults attain current PA guidelines. Health promotion to extend the duration of moderate-intensity activity episodes to 10 minutes or more could yield important health gains among older adults. However future studies will need to clarify whether attaining guideline amounts of PA in spells lasting 10 minutes or more is critical for reducing chronic disease risks as well as improving cardiometabolic risk factors

Non-malleable encryption: simpler, shorter, stronger

In a seminal paper, Dolev et al. [15] introduced the notion of non-malleable encryption (NM-CPA). This notion is very intriguing since it suffices for many applications of chosen-ciphertext secure encryption (IND-CCA), and, yet, can be generically built from semantically secure (IND-CPA) encryption, as was shown in the seminal works by Pass et al. [29] and by Choi et al. [9], the latter of which provided a black-box construction. In this paper we investigate three questions related to NM-CPA security: 1. Can the rate of the construction by Choi et al. of NM-CPA from IND-CPA be improved? 2. Is it possible to achieve multi-bit NM-CPA security more efficiently from a single-bit NM-CPA scheme than from IND-CPA? 3. Is there a notion stronger than NM-CPA that has natural applications and can be achieved from IND-CPA security? We answer all three questions in the positive. First, we improve the rate in the scheme of Choi et al. by a factor O(λ), where λ is the security parameter. Still, encrypting a message of size O(λ) would require ciphertext and keys of size O(λ2) times that of the IND-CPA scheme, even in our improved scheme. Therefore, we show a more efficient domain extension technique for building a λ-bit NM-CPA scheme from a single-bit NM-CPA scheme with keys and ciphertext of size O(λ) times that of the NM-CPA one-bit scheme. To achieve our goal, we define and construct a novel type of continuous non-malleable code (NMC), called secret-state NMC, as we show that standard continuous NMCs are not enough for the natural “encode-then-encrypt-bit-by-bit” approach to work. Finally, we introduce a new security notion for public-key encryption that we dub non-malleability under (chosen-ciphertext) self-destruct attacks (NM-SDA). After showing that NM-SDA is a strict strengthening of NM-CPA and allows for more applications, we nevertheless show that both of our results—(faster) construction from IND-CPA and domain extension from one-bit scheme—also hold for our stronger NM-SDA security. In particular, the notions of IND-CPA, NM-CPA, and NM-SDA security are all equivalent, lying (plausibly, strictly?) below IND-CCA securit

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