Cliquewidth and knowledge compilation

In this paper we study the role of cliquewidth in succinct representation of Boolean functions. Our main statement is the following: Let Z be a Boolean circuit having cliquewidth k. Then there is another circuit Z * computing the same function as Z having treewidth at most 18k + 2 and which has at most 4|Z| gates where |Z| is the number of gates of Z. In this sense, cliquewidth is not more ‘powerful’ than treewidth for the purpose of representation of Boolean functions. We believe this is quite a surprising fact because it contrasts the situation with graphs where an upper bound on the treewidth implies an upper bound on the cliquewidth but not vice versa. We demonstrate the usefulness of the new theorem for knowledge compilation. In particular, we show that a circuit Z of cliquewidth k can be compiled into a Decomposable Negation Normal Form (dnnf) of size O(918k k 2|Z|) and the same runtime. To the best of our knowledge, this is the first result on efficient knowledge compilation parameterized by cliquewidth of a Boolean circuit

Prenatal coparenting alliance and marital satisfaction when pregnancy occurs after assisted reproductive technologies or spontaneously

Although the coparenting relationship has been described as key in family dynamics, very few studies have assessed its development during pregnancy after assisted reproductive technology (ART). In this study, the authors compared the prenatal coparenting relationship in 33 couples who conceived through ART with that of 49 couples who conceived spontaneously, and assessed the association between marital satisfaction and the prenatal coparenting alliance. The first-time parents were met during the second trimester of pregnancy. A validated observational task (the Prenatal Lausanne Trilogue Play) was used to assess their prenatal coparenting relationship, and the Dyadic Adjustment Scale was used to evaluate marital satisfaction. No differences were observed in the two groups\u2019 global prenatal coparenting scores, but the ART couples showed less coparental playfulness than those who conceived spontaneously. Marital satisfaction was higher in women who conceived through ART. These data suggest that infertility and its treatment affect the prenatal coparenting and marital relationships in different ways

The role of the agent's outside options in principal-agent relationships

We consider a principal-agent model of adverse selection where, in order to trade with the principal, the agent must undertake a relationship-specific investment which affects his outside option to trade, i.e. the payoff that he can obtain by trading with an alternative principal. This creates a distinction between the agent’s ex ante (before investment) and ex post (after investment) outside options to trade. We investigate the consequences of this distinction, and show that whenever an agent’s ex ante and ex post outside options differ, this may equip the principal with an additional tool for screening among different agent types, by randomizing over the probability with which trade occurs once the agent has undertaken the investment. In turn, this may enhance the efficiency of the optimal second-best contract

Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach

Knowledge compilation is an approach to tackle the computational intractability of general reasoning problems. According to this approach, knowledge bases are converted off-line into a target compilation language which is tractable for on-line querying. Reduced ordered binary decision diagram (ROBDD) is one of the most influential target languages. We generalize ROBDD by associating some implied literals in each node and the new language is called reduced ordered binary decision diagram with implied literals (ROBDD-L). Then we discuss a kind of subsets of ROBDD-L called ROBDD-i with precisely i implied literals (0 \leq i \leq \infty). In particular, ROBDD-0 is isomorphic to ROBDD; ROBDD-\infty requires that each node should be associated by the implied literals as many as possible. We show that ROBDD-i has uniqueness over some specific variables order, and ROBDD-\infty is the most succinct subset in ROBDD-L and can meet most of the querying requirements involved in the knowledge compilation map. Finally, we propose an ROBDD-i compilation algorithm for any i and a ROBDD-\infty compilation algorithm. Based on them, we implement a ROBDD-L package called BDDjLu and then get some conclusions from preliminary experimental results: ROBDD-\infty is obviously smaller than ROBDD for all benchmarks; ROBDD-\infty is smaller than the d-DNNF the benchmarks whose compilation results are relatively small; it seems that it is better to transform ROBDDs-\infty into FBDDs and ROBDDs rather than straight compile the benchmarks.Comment: 18 pages, 13 figure

Chemical laboratories 4.0: A two-stage machine learning system for predicting the arrival of samples

This paper presents a two-stage Machine Learning (ML) model to predict the arrival time of In-Process Control (IPC) samples at the quality testing laboratories of a chemical company. The model was developed using three iterations of the CRoss-Industry Standard Process for Data Mining (CRISP-DM) methodology, each focusing on a different regression approach. To reduce the ML analyst effort, an Automated Machine Learning (AutoML) was adopted during the modeling stage of CRISP-DM. The AutoML was set to select the best among six distinct state-of-the-art regression algorithms. Using recent real-world data, the three main regression approaches were compared, showing that the proposed two-stage ML model is competitive and provides interesting predictions to support the laboratory management decisions (e.g., preparation of testing instruments). In particular, the proposed method can accurately predict 70% of the examples under a tolerance of 4 time units.This work has been supported by FCT – Funda ̧c ̃ao para a Ciˆencia e Tecnologiawithin the R&D Units Project Scope: UIDB/00319/2020. The authors also wishto thank the chemical company staff involved with this project for providing thedata and also the valuable domain feedback

Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains

The tension between deduction and induction is perhaps the most fundamental issue in areas such as philosophy, cognition and artificial intelligence (AI). The deduction camp concerns itself with questions about the expressiveness of formal languages for capturing knowledge about the world, together with proof systems for reasoning from such knowledge bases. The learning camp attempts to generalize from examples about partial descriptions about the world. In AI, historically, these camps have loosely divided the development of the field, but advances in cross-over areas such as statistical relational learning, neuro-symbolic systems, and high-level control have illustrated that the dichotomy is not very constructive, and perhaps even ill-formed. In this article, we survey work that provides further evidence for the connections between logic and learning. Our narrative is structured in terms of three strands: logic versus learning, machine learning for logic, and logic for machine learning, but naturally, there is considerable overlap. We place an emphasis on the following "sore" point: there is a common misconception that logic is for discrete properties, whereas probability theory and machine learning, more generally, is for continuous properties. We report on results that challenge this view on the limitations of logic, and expose the role that logic can play for learning in infinite domains

The botanical integrity of wheat products influences the gastric distention and satiety in healthy subjects

<p>Abstract</p> <p>Background</p> <p>Maintenance of the botanical integrity of cereal kernels and the addition of acetic acid (as vinegar) in the product or meal has been shown to lower the postprandial blood glucose and insulin response and to increase satiety. However, the mechanism behind the benefits of acetic acid on blood glucose and satiety is not clear. We hypothesized that the gastric emptying rate could be involved. Thus, the aim of this study was to evaluate the possible influence of maintained botanical integrity of cereals and the presence of acetic acid (vinegar) on gastric emptying rate (GER), postprandial blood glucose and satiety.</p> <p>Methods</p> <p>Fifteen healthy subjects were included in a blinded crossover trial, and thirteen of the subjects completed the study. Equicarbohydrate amounts of the following wheat-based meals were studied: white wheat bread, whole-kernel wheat bread or wholemeal wheat bread served with white wine vinegar. The results were compared with a reference meal consisting of white wheat bread without vinegar. The GER was measured with standardized real-time ultrasonography using normal fasting blood glucose <6.1 mmol/l or plasma glucose <7.0 mmol/l as an inclusion criterion. The GER was calculated as the percentage change in the antral cross-sectional area 15 and 90 minutes after ingestion of the various meals. Satiety scores were estimated and blood glucose was measured before and 15, 30, 45, 60, 90 and 120 min after the start of the meal.</p> <p>Results</p> <p>The whole-kernel wheat bread with vinegar resulted in significantly higher (<0.05) satiety than the wholemeal wheat bread and white wheat bread with vinegar and the reference bread. Wheat fiber present in the wholemeal wheat bread, or the presence of wheat kernels per se, did not affect the postprandial blood glucose or GER significantly compared with white wheat bread, neither did the addition of vinegar to white bread affect these variables. There was no correlation found between the satiety with antral areas or GER</p> <p>Conclusion</p> <p>The present study shows higher satiety after a whole-kernel wheat bread meal with vinegar. This may be explained by increased antral distension after ingestion of intact cereal kernels but, in this study, not by a lower gastric emptying rate or higher postprandial blood glucose response.</p> <p>Trial registration</p> <p>NTR1116</p

Effect of commercial breakfast fibre cereals compared with corn flakes on postprandial blood glucose, gastric emptying and satiety in healthy subjects: a randomized blinded crossover trial

<p>Abstract</p> <p>Background</p> <p>Dietary fibre food intake is related to a reduced risk of developing diabetes mellitus. However, the mechanism of this effect is still not clear. The aim of this study was to evaluate the effect of commercial fibre cereals on the rate of gastric emptying, postprandial glucose response and satiety in healthy subjects.</p> <p>Methods</p> <p>Gastric emptying rate (GER) was measured by standardized real time ultrasonography. Twelve healthy subjects were assessed using a randomized crossover blinded trial. The subjects were examined after an 8 hour fast and after assessment of normal fasting blood glucose level. Satiety scores were estimated and blood glucose measurements were taken before and at 0, 20, 30, 40, 60, 80, 100 and 120 min after the end of the meal. GER was calculated as the percentage change in the antral cross-sectional area 15 and 90 min after ingestion of sour milk with corn flakes (GER1), cereal bran flakes (GER2) or wholemeal oat flakes (GER3).</p> <p>Results</p> <p>The median value was, respectively, 42% for GER1, 33 % for GER2 and 51% for GER3. The difference between the GER after ingestion of bran flakes compared to wholemeal oat flakes was statistically significant (p = 0.023). The postprandial delta blood glucose level was statistically significantly lower at 40 min (p = 0.045) and 120 min (p = 0.023) after the cereal bran flakes meal. There was no statistical significance between the areas under the curve (AUCs) of the cereals as far as blood glucose and satiety were concerned.</p> <p>Conclusion</p> <p>The result of this study demonstrates that the intake of either bran flakes or wholemeal oat flakes has no effect on the total postprandial blood glucose response or satiety when compared to corn flakes. However, the study does show that the intake of cereal bran flakes slows the GER when compared to oat flakes and corn flakes, probably due to a higher fibre content. Since these products do not differ in terms of glucose response and satiety on healthy subjects, they should be considered equivalent in this respect.</p> <p>Trial registration</p> <p>ISRCTN90535566</p

Bronchial Thermoplasty Global Registry (BTGR) : 2-year results

Funding This study was sponsored by Boston Scientific Corporation, Marlborough, MA, USA.Objectives Bronchial thermoplasty (BT) is a device-based treatment for subjects ≥18 years with severe asthma not well controlled with inhaled corticosteroids and long-acting beta-agonists. The Bronchial Thermoplasty Global Registry (BTGR) collected real-world data on subjects undergoing this procedure. Design The BTGR is an all-comer, prospective, open-label, multicentre study enrolling adult subjects indicated for and treated with BT. Setting Eighteen centres in Spain, Italy, Germany, the UK, the Netherlands, the Czech Republic, South Africa and Australia Participants One hundred fifty-seven subjects aged 18 years and older who were scheduled to undergo BT treatment for asthma. Subjects diagnosed with other medical conditions which, in the investigator's opinion, made them inappropriate for BT treatment were excluded. Primary and secondary outcome measures Baseline characteristics collected included demographics, Asthma Quality of Life Questionnaire (AQLQ), Asthma Control Test (ACT), medication usage, forced expiratory volume in one second and forced vital capacity, medical history, comorbidities and 12-month baseline recall data (severe exacerbations (SE) and healthcare utilisation). SE incidence and healthcare utilisation were summarised at 1 and 2 years post-BT. Results Subjects' baseline characteristics were representative of persons with severe asthma. A comparison of the proportion of subjects experiencing events during the 12 months prior to BT to the 2-year follow-up showed a reduction in SE (90.3% vs 56.1%, p<0.0001), emergency room visits (53.8% vs 25.5%, p<0.0001) and hospitalisations (42.9% vs 23.5 %, p=0.0019). Reductions in asthma maintenance medication dosage were also observed. AQLQ and ACT scores improved from 3.26 and 11.18 at baseline to 4.39 and 15.54 at 2 years, respectively (p<0.0001 for both AQLQ and ACT). Conclusions The BTGR demonstrates sustained improvement in clinical outcomes and reduction in asthma medication usage 2 years after BT in a real-world population. This is consistent with results from other BT randomised controlled trials and registries and further supports improvement in asthma control after BT. Trial registration number NCT02104856