Automatic service categorisation through machine learning in emergent middleware

The modern environment of mobile, pervasive, evolving services presents a great challenge to traditional solutions for enabling interoperability. Automated solutions appear to be the only way to achieve interoperability with the needed level of flexibility and scalability. While necessary, the techniques used to determine compatibility, as a precursor to interaction, come at a substantial computational cost, especially when checks are performed between systems in unrelated domains. To overcome this, we apply machine learning to extract high-level functionality information through text categorisation of a system's interface description. This categorisation allows us to restrict the scope of compatibility checks, giving an overall performance gain when conducting matchmaking between systems. We have evaluated our approach on a corpus of web service descriptions, where even with moderate categorisation accuracy, a substantial performance benefit can be found. This in turn improves the applicability of our overall approach for achieving interoperability in the Connect project

Safe and complete contig assembly via omnitigs

Contig assembly is the first stage that most assemblers solve when reconstructing a genome from a set of reads. Its output consists of contigs -- a set of strings that are promised to appear in any genome that could have generated the reads. From the introduction of contigs 20 years ago, assemblers have tried to obtain longer and longer contigs, but the following question was never solved: given a genome graph $G$ (e.g. a de Bruijn, or a string graph), what are all the strings that can be safely reported from $G$ as contigs? In this paper we finally answer this question, and also give a polynomial time algorithm to find them. Our experiments show that these strings, which we call omnitigs, are 66% to 82% longer on average than the popular unitigs, and 29% of dbSNP locations have more neighbors in omnitigs than in unitigs.Comment: Full version of the paper in the proceedings of RECOMB 201

Diagnosing and measuring incompatibilities between pairs of services

International audienceThis text presents a tool, from its design to its implementation, which detects all behavioural incompatibilities between two service interfaces. Unlike prior work, the proposed solution does not simply check whether two services are incompatible or not, it rather provides detailed diagnosis, including the incompatibilities and for each one the location in the service interfaces where these incompatibilities occur. A measure of similarity between interfaces which considers outputs from the detection algorithm is proposed too. A visual report of the comparison analysis is also provided which pinpoints a set of incompatibilities that cause a behavioural interface not to simulate another one

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

Study protocol: differential effects of diet and physical activity based interventions in pregnancy on maternal and fetal outcomes--individual patient data (IPD) meta-analysis and health economic evaluation.

© 2014 Ruifrok et al.; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.BACKGROUND: Pregnant women who gain excess weight are at risk of complications during pregnancy and in the long term. Interventions based on diet and physical activity minimise gestational weight gain with varied effect on clinical outcomes. The effect of interventions on varied groups of women based on body mass index, age, ethnicity, socioeconomic status, parity, and underlying medical conditions is not clear. Our individual patient data (IPD) meta-analysis of randomised trials will assess the differential effect of diet- and physical activity-based interventions on maternal weight gain and pregnancy outcomes in clinically relevant subgroups of women. METHODS/DESIGN: Randomised trials on diet and physical activity in pregnancy will be identified by searching the following databases: MEDLINE, EMBASE, BIOSIS, LILACS, Pascal, Science Citation Index, Cochrane Database of Systematic Reviews, Cochrane Central Register of Controlled Trials, Database of Abstracts of Reviews of Effects, and Health Technology Assessment Database. Primary researchers of the identified trials are invited to join the International Weight Management in Pregnancy Collaborative Network and share their individual patient data. We will reanalyse each study separately and confirm the findings with the original authors. Then, for each intervention type and outcome, we will perform as appropriate either a one-step or a two-step IPD meta-analysis to obtain summary estimates of effects and 95% confidence intervals, for all women combined and for each subgroup of interest. The primary outcomes are gestational weight gain and composite adverse maternal and fetal outcomes. The difference in effects between subgroups will be estimated and between-study heterogeneity suitably quantified and explored. The potential for publication bias and availability bias in the IPD obtained will be investigated. We will conduct a model-based economic evaluation to assess the cost effectiveness of the interventions to manage weight gain in pregnancy and undertake a value of information analysis to inform future research. SYSTEMATIC REVIEW REGISTRATION: PROSPERO 2013: CRD42013003804.This study was funded by the National Institute for Health Research (NIHR) HTA (Health Technology Assessment) UK programme 12/01

Erratum to: Study protocol: differential effects of diet and physical activity based interventions in pregnancy on maternal and fetal outcomes: individual patient data (IPD) meta-analysis and health economic evaluation.

Erratum to: Study protocol: differential effects of diet and physical activity based interventions in pregnancy on maternal and fetal outcomes: individual patient data (IPD) meta-analysis and health economic evaluatio

Одноколейные тракторно-ледяные дороги: учебное пособие для лесотехнических вузов

Книга содержит описание конструкций однополозных тракторных саней, расчет основных деталей саней, краткие технические условия проектирования одноколейных тракторно-ледяных дорог, правила постройки и эксплуатации ледяных дорог и основы организации тракторного хозяйства на базе одноколейных ледяных дорог. Книга предназначена в качестве учебного пособия для лесотехнических вузов, но может также служить практическим пособием и для высшего технического персонала лесозаготовительных предприятий Наркомлеса СССР.0|7|Предисловие [c. 7]0|8|Введение [c. 8]0|11|Возникновение и развитие конструкции однополозных саней [c. 11]1|11|Первые опыты [c. 11]1|12|Принцип работы одноколейной ледяной дороги и теоретические основания проектирования однополозных саней [c. 12]1|17|Конструкция первых однополозных саней [c. 17]1|17|Однополозные сани Востокостальлеса [c. 17]1|19|Одкополозные сани ЦНИИМЭ, модель Б [c. 19]1|21|Однополозные сани на базе поковок тракторных двухполозных саней модели Д [c. 21]1|22|Однополозные сани Я. И. Гинзбурга модели 1939 г. [c. 22]1|33|Однополозные сани ГЗЯ-2 [c. 33]1|39|Варианты соединения коника с полозом [c. 39]1|39|Модернизированные однополозные сани на базе поковок саней модели Свердлеса и Востокостальлеса [c. 39]1|44|Бескониковые однополозные сани конструкции СибНИИЛХЭ [c. 44]1|46|Буферно-прицепные устройства трактора конструкции УЛТИ, Сотринского мехлесопункта и Стройлеспроекта [c. 46]1|48|Автоматическая сцепка тракторных саней [c. 48]1|49|Рама для перевозки коротья на однополозных санях [c. 49]1|51|Расчет саней [c. 51]1|51|Расчет полоза [c. 51]1|58|О форме подрезов [c. 58]0|61|Постройка одноколейных ледяных дорог [c. 61]1|61|Условия применения, сырьевая база и порядок оформления строительства [c. 61]1|62|Технические условия проектирования одноколейных ледяных дорог [c. 62]1|72|Изыскания трасс одноколейных ледяных дорог [c. 72]1|73|Строительные работы на одноколейных ледяных дорогах [c. 73]1|85|Дорожные орудия для строительства одноколейных ледяных дорог [c. 85]1|91|Цистерны для поливки ледяной дороги [c. 91]1|91|Насосные станции [c. 91]0|95|Эксплуатация ледяных дорог [c. 95]1|95|Техническая характеристика тяговых машин [c. 95]1|107|Эксплуатация газогенераторных тракторов на лесовывозке по ледяным дорогам [c. 107]1|115|Правила вождения поездов [c. 115]1|117|Формирование состава и маневры [c. 117]1|117|Содержание и ремонт пути ледяной дороги [c. 117]1|119|Техника безопасности при вывозке леса по тракторным ледяным дорогам [c. 119]1|121|Основные правила по технике безопасности для тракторного лесотранспорта [c. 121]0|123|Приложения [c. 123]1|123|Детали однополозных саней ГЗЯ-1 [c. 123]1|136|Детали модернизированных однополозных саней на базе поковок саней Свердллеса [c. 136]1|141|Краткая техническая характеристика гусеничных тракторов Челябинского тракторного завода [c. 141]0|143|Оглавление [c. 143

Impact of maternal education on response to lifestyle interventions to reduce gestational weight gain: Individual participant data meta-Analysis

Objectives To identify if maternal educational attainment is a prognostic factor for gestational weight gain (GWG), and to determine the differential effects of lifestyle interventions (diet based, physical activity based or mixed approach) on GWG, stratified by educational attainment. Design Individual participant data meta-Analysis using the previously established International Weight Management in Pregnancy (i-WIP) Collaborative Group database (https://iwipgroup.wixsite.com/collaboration). Preferred Reporting Items for Systematic reviews and Meta-Analysis of Individual Participant Data Statement guidelines were followed. Data sources Major electronic databases, from inception to February 2017. Eligibility criteria Randomised controlled trials on diet and physical activity-based interventions in pregnancy. Maternal educational attainment was required for inclusion and was categorised as higher education ( 65tertiary) or lower education ( 64secondary). Risk of bias Cochrane risk of bias tool was used. Data synthesis Principle measures of effect were OR and regression coefficient. Results Of the 36 randomised controlled trials in the i-WIP database, 21 trials and 5183 pregnant women were included. Women with lower educational attainment had an increased risk of excessive (OR 1.182; 95% CI 1.008 to 1.385, p =0.039) and inadequate weight gain (OR 1.284; 95% CI 1.045 to 1.577, p =0.017). Among women with lower education, diet basedinterventions reduced risk of excessive weight gain (OR 0.515; 95% CI 0.339 to 0.785, p = 0.002) and inadequate weight gain (OR 0.504; 95% CI 0.288 to 0.884, p=0.017), and reduced kg/week gain (B-0.055; 95% CI-0.098 to-0.012, p=0.012). Mixed interventions reduced risk of excessive weight gain for women with lower education (OR 0.735; 95% CI 0.561 to 0.963, p=0.026). Among women with high education, diet based interventions reduced risk of excessive weight gain (OR 0.609; 95% CI 0.437 to 0.849, p=0.003), and mixed interventions reduced kg/week gain (B-0.053; 95% CI-0.069 to-0.037,p<0.001). Physical activity based interventions did not impact GWG when stratified by education. Conclusions Pregnant women with lower education are at an increased risk of excessive and inadequate GWG. Diet based interventions seem the most appropriate choice for these women, and additional support through mixed interventions may also be beneficial