Modelling, validating, and ranking of secure service compositions

This is the author accepted manuscript. The final version is available from the publisher via the DOI in this recordIn the world of large-scale applications, software as a service (SaaS) in general and use of microservices, in particular, is bringing service-oriented architectures to a new level: Systems in general and systems that interact with human users (eg, sociotechnical systems) in particular are built by composing microservices that are developed independently and operated by different parties. At the same time, SaaS applications are used more and more widely by enterprises as well as public services for providing critical services, including those processing security or privacy of relevant data. Therefore, providing secure and reliable service compositions is increasingly needed to ensure the success of SaaS solutions. Building such service compositions securely is still an unsolved problem. In this paper, we present a framework for modelling, validating, and ranking secure service compositions that integrate both automated services as well as services that interact with humans. As a unique feature, our approach for ranking services integrates validated properties (eg, based on the result of formally analysing the source code of a service implementation) as well as contractual properties that are part of the service level agreement and, thus, not necessarily ensured on a technical level

Multiclass Semi-Supervised Learning on Graphs using Ginzburg-Landau Functional Minimization

We present a graph-based variational algorithm for classification of high-dimensional data, generalizing the binary diffuse interface model to the case of multiple classes. Motivated by total variation techniques, the method involves minimizing an energy functional made up of three terms. The first two terms promote a stepwise continuous classification function with sharp transitions between classes, while preserving symmetry among the class labels. The third term is a data fidelity term, allowing us to incorporate prior information into the model in a semi-supervised framework. The performance of the algorithm on synthetic data, as well as on the COIL and MNIST benchmark datasets, is competitive with state-of-the-art graph-based multiclass segmentation methods.Comment: 16 pages, to appear in Springer's Lecture Notes in Computer Science volume "Pattern Recognition Applications and Methods 2013", part of series on Advances in Intelligent and Soft Computin

Tracking nitrogen losses in a greenhouse crop rotation experiment in North China using the EU-Rotate_N simulation model

Vegetable production in China is associated with high inputs of nitrogen, posing a risk of losses to the environment. Organic matter mineralisation is a considerable source of nitrogen (N) which is hard to quantify. In a two-year greenhouse cucumber experiment with different N treatments in North China, non-observed pathways of the N cycle were estimated using the EU-Rotate_N simulation model. EU-Rotate_N was calibrated against crop dry matter and soil moisture data to predict crop N uptake, soil mineral N contents, N mineralisation and N loss. Crop N uptake (Modelling Efficiencies (ME) between 0.80 and 0.92) and soil mineral N contents in different soil layers (ME between 0.24 and 0.74) were satisfactorily simulated by the model for all N treatments except for the traditional N management. The model predicted high N mineralisation rates and N leaching losses, suggesting that previously published estimates of N leaching for these production systems strongly underestimated the mineralisation of N from organic matter

Комбинированная кинезотерапия в лечении больных коксартрозом

Вивчені результати лікування 54 пацієнтів з коксартрозом. Включення комплексного лікування даного контингенту пацієнтів комбінованої кінезотерапії методикою Євмінова дозволяє підвищити ефективність проведеної терапії.This article studied results of treatment of 54 patients with coxarthrosis. Upon inclusion of the combined kinesitherapy under Evminov method into the complex treatment of the mentioned group of patients it became possible to increase the effectiveness of the whole therapy

CD20 and CD19 targeted vectors induce minimal activation of resting B lymphocytes

B lymphocytes are an important cell population of the immune system. However, until recently it was not possible to transduce resting B lymphocytes with retro- or lentiviral vectors, making them unsusceptible for genetic manipulations by these vectors. Lately, we demonstrated that lentiviral vectors pseudotyped with modified measles virus (MV) glycoproteins hemagglutinin, responsible for receptor recognition, and fusion protein were able to overcome this transduction block. They use either the natural MV receptors, CD46 and signaling lymphocyte activation molecule (SLAM), for cell entry (MV-LV) or the vector particles were further modified to selectively enter via the CD20 molecule, which is exclusively expressed on B lymphocytes (CD20-LV). It has been shown previously that transduction by MV-LV does not induce B lymphocyte activation. However, if this is also true for CD20-LV is still unknown. Here, we generated a vector specific for another B lymphocyte marker, CD19, and compared its ability to transduce resting B lymphocytes with CD20-LV. The vector (CD19ds-LV) was able to stably transduce unstimulated B lymphocytes, albeit with a reduced efficiency of about 10% compared to CD20-LV, which transduced about 30% of the cells. Since CD20 as well as CD19 are closely linked to the B lymphocyte activation pathway, we investigated if engagement of CD20 or CD19 molecules by the vector particles induces activating stimuli in resting B lymphocytes. Although, activation of B lymphocytes often involves calcium influx, we did not detect elevated calcium levels. However, the activation marker CD71 was substantially up-regulated upon CD20-LV transduction and most importantly, B lymphocytes transduced with CD20-LV or CD19ds-LV entered the G1b phase of cell cycle, whereas untransduced or MV-LV transduced B lymphocytes remained in G0. Hence, CD20 and CD19 targeting vectors induce activating stimuli in resting B lymphocytes, which most likely renders them susceptible for lentiviral vector transduction

Design, synthesis and pharmacological evaluation of tricyclic derivatives as selective RXFP4 agonists

Relaxin family peptide receptors (RXFPs) are the potential therapeutic targets for neurological, cardiovascular, and metabolic indications. Among them, RXFP3 and RXFP4 (formerly known as GPR100 or GPCR142) are homologous class A G protein-coupled receptors with short N-terminal domain. Ligands of RXFP3 or RXFP4 are only limited to endogenous peptides and their analogues, and no natural product or synthetic agonists have been reported to date except for a scaffold of indole-containing derivatives as dual agonists of RXFP3 and RXFP4. In this study, a new scaffold of tricyclic derivatives represented by compound 7a was disclosed as a selective RXFP4 agonist after a high-throughput screening campaign against a diverse library of 52,000 synthetic and natural compounds. Two rounds of structural modification around this scaffold were performed focusing on three parts: 2-chlorophenyl group, 4-hydroxylphenyl group and its skeleton including cyclohexane-1,3-dione and 1,2,4-triazole group. Compound 14b with a new skeleton of 7,9-dihydro-4H-thiopyrano[3,4-d][1,2,4]triazolo[1,5-a]pyrimidin-8(5H)-one was thus obtained. The enantiomers of 7a and 14b were also resolved with their 9-(S)-conformer favoring RXFP4 agonism. Compared with 7a, compound 9-(S)-14b exhibited 2.3-fold higher efficacy and better selectivity for RXFP4 (selective ratio of RXFP4 vs. RXFP3 for 9-(S)-14b and 7a were 26.9 and 13.9, respectively)

Проблемы формирования механизма мотивации персонала промышленного предприятия

Цель данной работы — углубление теоретических положений проблемы мотивации и разработка механизмов мотивации, стимулирования труда персонала промышленных предприятий в условиях формирования рыночных отношений.Исследованы теоретические и практические аспекты мотивации персонала, её структура и содержание. Разработаны критерии оценки эффективности систем мотивации персонала, модель формирования и мониторинга системы мотивации на основе уточненных факторов РичиМартина, трудовой концепции работника, построения «мотивационного профиля бюллетеня работника».Досліджені теоретичні і практичні аспекти мотивації персоналу, її структура і зміст. Розроблені критерії оцінки ефективності систем мотивації персоналу, модель формування і моніторингу системи мотивації на основі уточнених чинників Ричи-Мартіна, трудової концепції працівника, побудови «мотиваційного профілю бюлетеня працівника».The theoretical and practical aspects of motivation, its structure and content. Develop criteria for evaluating the effectiveness of staff motivation, a model of monitoring and incentive system based on the corrected factors Richie Martin, working the concept of worker, building a «motivational profile employee newsletter

Profile Prediction and Fabrication of Wet-Etched Gold Nanostructures for Localized Surface Plasmon Resonance

Dispersed nanosphere lithography can be employed to fabricate gold nanostructures for localized surface plasmon resonance, in which the gold film evaporated on the nanospheres is anisotropically dry etched to obtain gold nanostructures. This paper reports that by wet etching of the gold film, various kinds of gold nanostructures can be fabricated in a cost-effective way. The shape of the nanostructures is predicted by profile simulation, and the localized surface plasmon resonance spectrum is observed to be shifting its extinction peak with the etching time

An ASKAP Search for a Radio Counterpart to the First High-significance Neutron Star-Black Hole Merger LIGO/Virgo S190814bv

We present results from a search for a radio transient associated with the LIGO/Virgo source S190814bv, a likely neutron star-black hole (NSBH) merger, with the Australian Square Kilometre Array Pathfinder. We imaged a 30 deg2 field at ΔT = 2, 9, and 33 days post-merger at a frequency of 944 MHz, comparing them to reference images from the Rapid ASKAP Continuum Survey observed 110 days prior to the event. Each epoch of our observations covers 89% of the LIGO/Virgo localization region. We conducted an untargeted search for radio transients in this field, resulting in 21 candidates. For one of these, AT2019osy, we performed multiwavelength follow-up and ultimately ruled out the association with S190814bv. All other candidates are likely unrelated variables, but we cannot conclusively rule them out. We discuss our results in the context of model predictions for radio emission from NSBH mergers and place constrains on the circum-merger density and inclination angle of the merger. This survey is simultaneously the first large-scale radio follow-up of an NSBH merger, and the most sensitive widefield radio transients search to-date

Seeing Tree Structure from Vibration

Humans recognize object structure from both their appearance and motion; often, motion helps to resolve ambiguities in object structure that arise when we observe object appearance only. There are particular scenarios, however, where neither appearance nor spatial-temporal motion signals are informative: occluding twigs may look connected and have almost identical movements, though they belong to different, possibly disconnected branches. We propose to tackle this problem through spectrum analysis of motion signals, because vibrations of disconnected branches, though visually similar, often have distinctive natural frequencies. We propose a novel formulation of tree structure based on a physics-based link model, and validate its effectiveness by theoretical analysis, numerical simulation, and empirical experiments. With this formulation, we use nonparametric Bayesian inference to reconstruct tree structure from both spectral vibration signals and appearance cues. Our model performs well in recognizing hierarchical tree structure from real-world videos of trees and vessels.Comment: ECCV 2018. The first two authors contributed equally to this work. Project page: http://tree.csail.mit.edu