How to Complete an Interactive Configuration Process?

When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool help the user to complete it? We formalize this problem and relate it to concepts from non-monotonic reasoning well researched in Artificial Intelligence. The results are interesting for both practitioners and theoreticians. Practitioners will find a technique facilitating an interactive configuration process and experiments supporting feasibility of the approach. Theoreticians will find links between well-known formal concepts and a concrete practical application.Comment: to appear in SOFSEM 201

Dealing with the nucleus during cell migration

© 2018 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).The position of the nucleus within cells is a key event during cell migration. The movement and positioning of the nucleus strongly impacts cell migration. Notably, the last two years largely contributed to emphasise the dynamicity of the nucleus-cytoskeleton interactions that occur during cell migration. Nuclei are under continuous tension from opposing intracellular forces and its tether to the cytoskeleton can be regulated at different levels. Interestingly, it was showed how nuclear positioning is highly related to cell function. In most migrating cells, including cancer cells, the nucleus can be the rate limiting step of cell migration and is placed away from the leading edge. By contrast, leukocytes position their nucleus close to the lamellipodia at the leading edge, and the nucleus contributes to drilling through the endothelium. Differences in cell migration in 2D versus 3D environments are also evident. The mechanisms and forces at play during nuclear positioning and translocation are clearly affected by the nature of the substrate. As such nuclear positioning during cell migration can vary between cell types and environments. In this review we aim to give an overview of the latest discoveries in the field revealing how nuclear positioning is tightly regulated, not only by intrinsic nuclear properties, such as deformability, nuclear envelope content or nucleus-cytoskeleton connectivity, but also by the microenvironment.This work was supported by the European Research Council, EMBO installation, LISBOA-01-0145-FEDER-007391, project cofunded by FEDER, through POR Lisboa 2020 — Programa Operacional Regional de Lisboa, Portugal 2020 and Fundação para a Ciência e a Tecnologia.info:eu-repo/semantics/publishedVersio

Learning Instantiation in First-Order Logic

Contains fulltext : 286055.pdf (Publisher’s version ) (Open Access)AITP 202

The Effect of Calcining Temperature on Photocatalytic Activity of Porous ZnO Architecture

Zinc oxide (ZnO) nano crystals assembled porous architecture was prepared by thermal decomposition of zinc oxalate precursor at various temperatures ranging from 400-900°C. The effect of calcining temperature on structure and morphology was examined by scanning electron microscopy (SEM), X-ray diffractometry, thermogravimetry, and BET adsorption analysis. The porous nano crystalline ZnO morphology was developed due to the release of volatile precursor products, while the overall shape of ZnO micro crystals was retained as a legacy of the precursor. The average crystallite size increased with increasing temperature of calcination from approximately 21 nm to 79 nm, while the specific surface area decreased from 30 to 1.7 m2g-1. The photo catalytic performance of prepared ZnO powders was evaluated by degradation of methyl violet 2B, a model compound. The significantly highest photo catalytic activity was achieved with powder calcined at 500°C. This may be attributed to the sufficiently well-developed crystalline arrangement, while the specific surface area is still high enough

The Effect of Calcining Temperature on Photocatalytic Activity of Porous ZnO Architecture

Zinc oxide (ZnO) nano crystals assembled porous architecture was prepared by thermal decomposition of zinc oxalate precursor at various temperatures ranging from 400-900°C. The effect of calcining temperature on structure and morphology was examined by scanning electron microscopy (SEM), X-ray diffractometry, thermogravimetry, and BET adsorption analysis. The porous nano crystalline ZnO morphology was developed due to the release of volatile precursor products, while the overall shape of ZnO micro crystals was retained as a legacy of the precursor. The average crystallite size increased with increasing temperature of calcination from approximately 21 nm to 79 nm, while the specific surface area decreased from 30 to 1.7 m2g-1. The photo catalytic performance of prepared ZnO powders was evaluated by degradation of methyl violet 2B, a model compound. The significantly highest photo catalytic activity was achieved with powder calcined at 500°C. This may be attributed to the sufficiently well-developed crystalline arrangement, while the specific surface area is still high enough

Learning Search Algorithms: An Educational View

Artificial intelligence methods find their practical usage in many applications including maritime industry. The paper concentrates on the methods of uninformed and informed search, potentially usable in solving of complex problems based on the state space representation. The problem of introducing the search algorithms to newcomers has its technical and psychological dimensions. The authors show how it is possible to cope with both of them through design and use of specialized authoring systems. A typical example of searching a path through the maze is used to demonstrate how to test, observe and compare properties of various search strategies. Performance of search methods is evaluated based on the common criteria

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the SAT solver on such formula is sensitive to the manner in which the given pseudo-Boolean constraints are encoded. In this paper, we propose generalized Totalizer encoding (GTE), which is an arc-consistency preserving extension of the Totalizer encoding to pseudo-Boolean constraints. Unlike some other encodings, the number of auxiliary variables required for GTE does not depend on the magnitudes of the coefficients. Instead, it depends on the number of distinct combinations of these coefficients. We show the superiority of GTE with respect to other encodings when large pseudo-Boolean constraints have low number of distinct coefficients. Our experimental results also show that GTE remains competitive even when the pseudo-Boolean constraints do not have this characteristic.Comment: 10 pages, 2 figures, 2 tables. To be published in 21st International Conference on Principles and Practice of Constraint Programming 201

Evaluation of the impact of oximeter averaging times on automated FiO2 control in routine NICU care: a randomized cross-over study

ObjectiveChanges in oximeter averaging times have been noted to affect alarm settings. Automated algorithms (A-FiO2) assess FiO2 faster than oximeter averaging, potentially impacting their effectiveness.MethodsIn a single NICU routinely using 15 fabian-PRICO A-FiO2 systems, neonates were randomly exposed to SpO2 averaging time settings switched every 12 h among short (2–4 s), medium (10 s), and long (16 s) oximeter averaging times for the entire duration of their A-FiO2 exposure. Primary endpoints were the percent time in the set SpO2 target range (dependent on PMA), SpO2 < 80%, and SpO2 > 98%, excluding FiO2 = 0.21.ResultsTen VLBW neonates were enrolled over 11 months. At entry, they were 17 days old (IQR: 14–19), with an adjusted gestational age of 29 weeks (IQR: 27–30). The study included data from 272 days of A-FiO2 control (34% short, 32% medium, and 34% long). Respiratory support was predominantly non-invasive (53% NCPAP, 40% HFNC, and 6% NIPPV). The aggregate SpO2 exposure levels were 67% (IQR: 55–82) in the target range, 5.4% (IQR: 2.0–10) with SpO2 < 80%, and 1.2% (IQR: 0.4–3.1) with SpO2 > 98%. There were no differences in the target range time between the SpO2 averaging time settings. There were differences at the SpO2 extremes (p ≤ 0.001). The medium and long averaging were both lower than the short, with the difference larger than predicted. Multivariate analysis revealed that these findings were independent of subject, ventilation mode, target range, and overall stability.ConclusionsThis A-FiO2 algorithm is effective regardless of the SpO2 averaging time setting. There is an advantage to the longer settings, which suggest an interaction with the controller

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

We present the Linux package configuration tool aspcud based on Answer Set Programming. In particular, we detail aspcud's preprocessor turning a CUDF specification into a set of logical facts.Comment: In Proceedings LoCoCo 2011, arXiv:1108.609

Building Strategies into QBF Proofs

Strategy extraction is of great importance for quantified Boolean formulas (QBF), both in solving and proof complexity. So far in the QBF literature, strategy extraction has been algorithmically performed from proofs. Here we devise the first QBF system where (partial) strategies are built into the proof and are piecewise constructed by simple operations along with the derivation. This has several advantages: (1) lines of our calculus have a clear semantic meaning as they are accompanied by semantic objects; (2) partial strategies are represented succinctly (in contrast to some previous approaches); (3) our calculus has strategy extraction by design; and (4) the partial strategies allow new sound inference steps which are disallowed in previous central QBF calculi such as Q-Resolution and long-distance Q-Resolution. The last item (4) allows us to show an exponential separation between our new system and the previously studied reductionless long-distance resolution calculus. Our approach also naturally lifts to dependency QBFs (DQBF), where it yields the first sound and complete CDCL-style calculus for DQBF, thus opening future avenues into CDCL-based DQBF solving