Bonded and Sealed External Insulations for Liquid-Hydrogen-Fueled Rocket Tanks During Atmospheric Flight

Several currently available nonmetallic insulation materials that may be bonded onto liquid-hydrogen tanks and sealed against air penetration into the insulation have been investigated for application to rockets and spacecraft. Experimental data were obtained on the thermal conductivities of various materials in the cryogenic temperature range, as well as on the structural integrity and ablation characteristics of these materials at high temperatures occasioned by aerodynamic heating during atmospheric escape. Of the materials tested, commercial corkboard has the best overall properties for the specific requirements imposed during atmospheric flight of a high-acceleration rocket vehicle

DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL

We present the latest major release version 6.0 of the quantified Boolean formula (QBF) solver DepQBF, which is based on QCDCL. QCDCL is an extension of the conflict-driven clause learning (CDCL) paradigm implemented in state of the art propositional satisfiability (SAT) solvers. The Q-resolution calculus (QRES) is a QBF proof system which underlies QCDCL. QCDCL solvers can produce QRES proofs of QBFs in prenex conjunctive normal form (PCNF) as a byproduct of the solving process. In contrast to traditional QCDCL based on QRES, DepQBF 6.0 implements a variant of QCDCL which is based on a generalization of QRES. This generalization is due to a set of additional axioms and leaves the original Q-resolution rules unchanged. The generalization of QRES enables QCDCL to potentially produce exponentially shorter proofs than the traditional variant. We present an overview of the features implemented in DepQBF and report on experimental results which demonstrate the effectiveness of generalized QRES in QCDCL.Comment: 12 pages + appendix; to appear in the proceedings of CADE-26, LNCS, Springer, 201

QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property

The QRAT (quantified resolution asymmetric tautology) proof system simulates virtually all inference rules applied in state of the art quantified Boolean formula (QBF) reasoning tools. It consists of rules to rewrite a QBF by adding and deleting clauses and universal literals that have a certain redundancy property. To check for this redundancy property in QRAT, propositional unit propagation (UP) is applied to the quantifier free, i.e., propositional part of the QBF. We generalize the redundancy property in the QRAT system by QBF specific UP (QUP). QUP extends UP by the universal reduction operation to eliminate universal literals from clauses. We apply QUP to an abstraction of the QBF where certain universal quantifiers are converted into existential ones. This way, we obtain a generalization of QRAT we call QRAT+. The redundancy property in QRAT+ based on QUP is more powerful than the one in QRAT based on UP. We report on proof theoretical improvements and experimental results to illustrate the benefits of QRAT+ for QBF preprocessing.Comment: preprint of a paper to be published at IJCAR 2018, LNCS, Springer, including appendi

Extended RDF: Computability and Complexity Issues

ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics. Based on the undecidability result of ERDF stable model semantics, decidability under this semantics cannot be achieved, unless ERDF ontologies of restricted syntax are considered. Therefore, we propose a slightly modified semantics for ERDF ontologies, called ERDF #n- stable model semantics. We show that entailment under this semantics is, in general, decidable and also extends RDFS entailment. Equivalence statements between the two semantics are provided. Additionally, we provide algorithms that compute the ERDF #n-stable models of syntax-restricted and general ERDF ontologies. Further, we provide complexity results for the ERDF #nstable model semantics on syntax-restricted and general ERDF ontologies. Finally, we provide complexity results for the ERDF stable model semantics on syntax-restricted ERDF ontologies

Factors influencing pharmacists' clinical decision making in pharmacy practice

BACKGROUND: Pharmacists' clinical decision-making is considered a core process of pharmaceutical care in pharmacy practice, but little is known about the factors influencing this process. OBJECTIVE: To identify factors influencing clinical decision-making among pharmacists working in pharmacy practice. METHODS: Semi-structured interviews were conducted with pharmacists working in primary, secondary, and tertiary care settings in the Netherlands between August and December 2021. A thematic analysis was conducted using an inductive approach. The emerged themes were categorized into the Capability-Opportunity-Motivation-Behaviour (COM-B) model domains. RESULTS: In total, 16 pharmacists working in primary care (n = 7), secondary care (n = 4) or tertiary care (n = 5) were interviewed. Factors influencing pharmacists' capability to make clinical decisions are a broad theoretical knowledge base, clinical experience, and skills, including contextualizing data, clinical reasoning, and clinical judgment. The pharmacy setting, data availability, rules and regulations, intra- and interprofessional collaboration, education, patient perspectives, and time are mentioned as factors influencing their opportunity. Factors influencing pharmacists' motivation are confidence, curiosity, critical thinking, and responsibility. CONCLUSIONS: The reported factors covered all domains of the COM-B model, implying that clinical decision-making is influenced by a combination of pharmacists' capability, opportunity, and motivation. Addressing these different factors in pharmacy practice and education may improve pharmacists' clinical decision-making, thereby improving patient outcomes

QuickSel: Quick Selectivity Learning with Mixture Models

Estimating the selectivity of a query is a key step in almost any cost-based query optimizer. Most of today's databases rely on histograms or samples that are periodically refreshed by re-scanning the data as the underlying data changes. Since frequent scans are costly, these statistics are often stale and lead to poor selectivity estimates. As an alternative to scans, query-driven histograms have been proposed, which refine the histograms based on the actual selectivities of the observed queries. Unfortunately, these approaches are either too costly to use in practice---i.e., require an exponential number of buckets---or quickly lose their advantage as they observe more queries. In this paper, we propose a selectivity learning framework, called QuickSel, which falls into the query-driven paradigm but does not use histograms. Instead, it builds an internal model of the underlying data, which can be refined significantly faster (e.g., only 1.9 milliseconds for 300 queries). This fast refinement allows QuickSel to continuously learn from each query and yield increasingly more accurate selectivity estimates over time. Unlike query-driven histograms, QuickSel relies on a mixture model and a new optimization algorithm for training its model. Our extensive experiments on two real-world datasets confirm that, given the same target accuracy, QuickSel is 34.0x-179.4x faster than state-of-the-art query-driven histograms, including ISOMER and STHoles. Further, given the same space budget, QuickSel is 26.8%-91.8% more accurate than periodically-updated histograms and samples, respectively

Three obstructions: forms of causation, chronotopoids, and levels of reality

The thesis is defended that the theories of causation, time and space, and levels of reality are mutually interrelated in such a way that the difficulties internal to theories of causation and to theories of space and time can be understood better, and perhaps dealt with, in the categorial context furnished by the theory of the levels of reality. The structural condition for this development to be possible is that the first two theories be opportunely generalized

Complex organic molecules in low-mass protostars on Solar System scales -- II. Nitrogen-bearing species

The chemical inventory of planets is determined by the physical and chemical processes that govern the early phases of star formation. The aim is to investigate N-bearing complex organic molecules towards two Class 0 protostars (B1-c and S68N) at millimetre wavelengths with ALMA. Next, the results of the detected N-bearing species are compared with those of O-bearing species for the same and other sources. ALMA observations in Band 6 ($\sim$ 1 mm) and Band 5 ($\sim$ 2 mm) are studied at $\sim$ 0.5" resolution, complemented by Band 3 ($\sim$ 3 mm) data in a $\sim$ 2.5" beam. NH2CHO, C2H5CN, HNCO, HN13CO, DNCO, CH3CN, CH2DCN, and CHD2CN are identified towards the investigated sources. Their abundances relative to CH3OH and HNCO are similar for the two sources, with column densities that are typically an order of magnitude lower than those of O-bearing species. The largest variations, of an order of magnitude, are seen for NH2CHO abundance ratios with respect to HNCO and CH3OH and do not correlate with the protostellar luminosity. In addition, within uncertainties, the N-bearing species have similar excitation temperatures to those of O-bearing species ($\sim$ 100 $\sim$ 300 K). The similarity of most abundances with respect to HNCO, including those of CH2DCN and CHD2CN, hints at a shared chemical history, especially the high D/H ratio in cold regions prior to star formation. However, some of the variations in abundances may reflect the sensitivity of the chemistry to local conditions such as temperature (e.g. NH2CHO), while others may arise from differences in the emitting areas of the molecules linked to their different binding energies in the ice. The two sources discussed here add to the small number of sources with such a detailed chemical analysis on Solar System scales. Future JWST data will allow a direct comparison between the ice and gas abundances of N-bearing species.Comment: Accepted to A&A, 41 pages, 37 figure

Male breast cancer

Male breast cancer (MBC) is a rare disease representing less than 1% of all breast cancers (BC) and less than 1% of cancers in men. Age at presentation is mostly in the late 60s. MBC is recognized as an estrogen-driven disease, specifically related to hyperestrogenism. About 20% of MBC patients have family history for BC. Mutations in BRCA1 and, predominantly, BRCA2, account for approximately 10% of MBC cases. Because of its rarity, MBC is often compared with female BC (FBC). Based on age-frequency distribution, age-specific incidence rate patterns and prognostic factors profiles, MBC is considered similar to late-onset, postmenopausal estrogen/progesterone receptor positive (ER+/PR+) FBC. However, clinical and pathological characteristics of MBC do not exactly overlap FBC. Compared with FBC, MBC has been reported to occur later in life, present at a higher stage, and display lower histologic grade, with a higher proportion of ER+ and PR+ tumors. Although rare, MBC remains a substantial cause for morbidity and mortality in men, probably because of its occurrence in advanced age and delayed diagnosis. Diagnosis and treatment of MBC generally is similar to that of FBC. Men tend to be treated with mastectomy rather than breast-conserving surgery. The backbone of adjuvant therapy or palliative treatment for advanced disease is endocrine, mostly tamoxifen. Use of FBC-based therapy led to the observation that treatment outcomes for MBC are worse and that survival rates for MBC do not improve like FBC. These different outcomes may suggest a non-appropriate utilization of treatments and that different underlying pathogenetic mechanisms may exist between male and female BC

Atypical audiovisual speech integration in infants at risk for autism

The language difficulties often seen in individuals with autism might stem from an inability to integrate audiovisual information, a skill important for language development. We investigated whether 9-month-old siblings of older children with autism, who are at an increased risk of developing autism, are able to integrate audiovisual speech cues. We used an eye-tracker to record where infants looked when shown a screen displaying two faces of the same model, where one face is articulating/ba/and the other/ga/, with one face congruent with the syllable sound being presented simultaneously, the other face incongruent. This method was successful in showing that infants at low risk can integrate audiovisual speech: they looked for the same amount of time at the mouths in both the fusible visual/ga/− audio/ba/and the congruent visual/ba/− audio/ba/displays, indicating that the auditory and visual streams fuse into a McGurk-type of syllabic percept in the incongruent condition. It also showed that low-risk infants could perceive a mismatch between auditory and visual cues: they looked longer at the mouth in the mismatched, non-fusible visual/ba/− audio/ga/display compared with the congruent visual/ga/− audio/ga/display, demonstrating that they perceive an uncommon, and therefore interesting, speech-like percept when looking at the incongruent mouth (repeated ANOVA: displays x fusion/mismatch conditions interaction: F(1,16) = 17.153, p = 0.001). The looking behaviour of high-risk infants did not differ according to the type of display, suggesting difficulties in matching auditory and visual information (repeated ANOVA, displays x conditions interaction: F(1,25) = 0.09, p = 0.767), in contrast to low-risk infants (repeated ANOVA: displays x conditions x low/high-risk groups interaction: F(1,41) = 4.466, p = 0.041). In some cases this reduced ability might lead to the poor communication skills characteristic of autism