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

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

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

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

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

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

Книга содержит описание конструкций однополозных тракторных саней, расчет основных деталей саней, краткие технические условия проектирования одноколейных тракторно-ледяных дорог, правила постройки и эксплуатации ледяных дорог и основы организации тракторного хозяйства на базе одноколейных ледяных дорог. Книга предназначена в качестве учебного пособия для лесотехнических вузов, но может также служить практическим пособием и для высшего технического персонала лесозаготовительных предприятий Наркомлеса СССР.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