Relational transducers for declarative networking

Motivated by a recent conjecture concerning the expressiveness of declarative networking, we propose a formal computation model for "eventually consistent" distributed querying, based on relational transducers. A tight link has been conjectured between coordination-freeness of computations, and monotonicity of the queries expressed by such computations. Indeed, we propose a formal definition of coordination-freeness and confirm that the class of monotone queries is captured by coordination-free transducer networks. Coordination-freeness is a semantic property, but the syntactic class that we define of "oblivious" transducers also captures the same class of monotone queries. Transducer networks that are not coordination-free are much more powerful

Datalog Queries Distributing over Components

We investigate the class D of queries that distribute over components. These are the queries that can be evaluated by taking the union of the query results over the connected components of the database instance. We show that it is undecidable whether a (positive) Datalog program distributes over components. Additionally, we show that connected Datalog ¬ (the fragment of Datalog ¬ where all rules are connected) provides an effective syntax for Datalog ¬ programs that distribute over components under the stratified as well as under the well-founded semantics. As a corollary, we obtain a simple proof for one of the main results in previous work [19], namely, that the classic win-move query is in F2 (a particular class of coordination-free queries)

Koinonia

The ProfessionFaculty and Student Development Staff as Partners in Education, Barry Loy Is it Okay to Struggle as Student Development Professionals?, Terry Williams Conference SpotlightLeading Ladies: Transformative Biblical Images for Women\u27s Leadership, Jeanne Porter Mi Abuelito, Tom Neven Campus EventsQuestions Without Answers, JR Kerr Book ReviewsLet Your Life Speak, reviewed by Dana Forbes Mountains and Passes, reviewed by Jeff Doyle FeaturesThe President\u27s Corner Editor\u27s Diskhttps://pillars.taylor.edu/acsd_koinonia/1009/thumbnail.jp

Multinucleon emission following the pion absorption in N, Ar and Xe

Positive pion absorption was studied in an almost 4p geometry allowing simultaneous measurements of various charge and neutral multiplicities. Total absorption cross sections and its decomposition into the most important channels is determined. The results are presented for N, Ar and Xe nuclei at incident pion energies of 118,162 and 239 MeV. The role of multinucleon emission in the absorption process is emphasized

Pion absorption in ^4He

This paper presents a large solid angle measurement of the positive pion absorption cross section on ^4He and its decomposition into partial channels. A large fraction of the absorption cross section at incident pion kinetic energies of T_π+ =70, 118, 162, 239, and 330 MeV is due to multinucleon channels

The Electron Capture in 163^{163} Ho Experiment - a Short Update

The definition of the absolute neutrino mass scale is one of the main goals of the Particle Physics today. The study of the end-point regions of the β- and electron capture (EC) spectrum offers a possibility to determine the effective electron (anti-)neutrino mass in a completely model independent way, as it only relies on the energy and momentum conservation. The ECHo (Electron Capture in 163Ho) experiment has been designed in the attempt to measure the effective mass of the electron neutrino by performing high statistics and high energy resolution measurements of the 163 Ho electron capture spectrum. To achieve this goal, large arrays of low temperature metallic magnetic calorimeters (MMCs) implanted with with 163Ho are used. Here we report on the structure and the status of the experiment

BRCA2 polymorphic stop codon K3326X and the risk of breast, prostate, and ovarian cancers

Background: The K3326X variant in BRCA2 (BRCA2*c.9976A>T; p.Lys3326*; rs11571833) has been found to be associated with small increased risks of breast cancer. However, it is not clear to what extent linkage disequilibrium with fully pathogenic mutations might account for this association. There is scant information about the effect of K3326X in other hormone-related cancers. Methods: Using weighted logistic regression, we analyzed data from the large iCOGS study including 76 637 cancer case patients and 83 796 control patients to estimate odds ratios (ORw) and 95% confidence intervals (CIs) for K3326X variant carriers in relation to breast, ovarian, and prostate cancer risks, with weights defined as probability of not having a pathogenic BRCA2 variant. Using Cox proportional hazards modeling, we also examined the associations of K3326X with breast and ovarian cancer risks among 7183 BRCA1 variant carriers. All statistical tests were two-sided. Results: The K3326X variant was associated with breast (ORw = 1.28, 95% CI = 1.17 to 1.40, P = 5.9x10- 6) and invasive ovarian cancer (ORw = 1.26, 95% CI = 1.10 to 1.43, P = 3.8x10-3). These associations were stronger for serous ovarian cancer and for estrogen receptor–negative breast cancer (ORw = 1.46, 95% CI = 1.2 to 1.70, P = 3.4x10-5 and ORw = 1.50, 95% CI = 1.28 to 1.76, P = 4.1x10-5, respectively). For BRCA1 mutation carriers, there was a statistically significant inverse association of the K3326X variant with risk of ovarian cancer (HR = 0.43, 95% CI = 0.22 to 0.84, P = .013) but no association with breast cancer. No association with prostate cancer was observed. Conclusions: Our study provides evidence that the K3326X variant is associated with risk of developing breast and ovarian cancers independent of other pathogenic variants in BRCA2. Further studies are needed to determine the biological mechanism of action responsible for these associations

Multi-national survey on the methods, efficacy, and safety on the post-approval clinical use of pulsed field ablation (MANIFEST-PF).

AIMS Pulsed field ablation (PFA) is a novel atrial fibrillation (AF) ablation modality that has demonstrated preferential tissue ablation, including no oesophageal damage, in first-in-human clinical trials. In the MANIFEST-PF survey, we investigated the 'real world' performance of the only approved PFA catheter, including acute effectiveness and safety-in particular, rare oesophageal effects and other unforeseen PFA-related complications. METHODS AND RESULTS This retrospective survey included all 24 clinical centres using the pentaspline PFA catheter after regulatory approval. Institution-level data were obtained on patient characteristics, procedure parameters, acute efficacy, and adverse events. With an average of 73 patients treated per centre (range 7-291), full cohort included 1758 patients: mean age 61.6 years (range 19-92), female 34%, first-time ablation 94%, paroxysmal/persistent AF 58/35%. Most procedures employed deep sedation without intubation (82.1%), and 15.1% were discharged same day. Pulmonary vein isolation (PVI) was successful in 99.9% (range 98.9-100%). Procedure time was 65 min (38-215). There were no oesophageal complications or phrenic nerve injuries persisting past hospital discharge. Major complications (1.6%) were pericardial tamponade (0.97%) and stroke (0.4%); one stroke resulted in death (0.06%). Minor complications (3.9%) were primarily vascular (3.3%), but also included transient phrenic nerve paresis (0.46%), and TIA (0.11%). Rare complications included coronary artery spasm, haemoptysis, and dry cough persistent for 6 weeks (0.06% each). CONCLUSION In a large cohort of unselected patients, PFA was efficacious for PVI, and expressed a safety profile consistent with preferential tissue ablation. However, the frequency of 'generic' catheter complications (tamponade, stroke) underscores the need for improvement

A Mathematical Model for Interpretable Clinical Decision Support with Applications in Gynecology

Over time, methods for the development of clinical decision support (CDS) systems have evolved from interpretable and easy-to-use scoring systems to very complex and non-interpretable mathematical models. In order to accomplish effective decision support, CDS systems should provide information on how the model arrives at a certain decision. To address the issue of incompatibility between performance, interpretability and applicability of CDS systems, this paper proposes an innovative model structure, automatically leading to interpretable and easily applicable models. The resulting models can be used to guide clinicians when deciding upon the appropriate treatment, estimating patient-specific risks and to improve communication with patients.We propose the interval coded scoring (ICS) system, which imposes that the effect of each variable on the estimated risk is constant within consecutive intervals. The number and position of the intervals are automatically obtained by solving an optimization problem, which additionally performs variable selection. The resulting model can be visualised by means of appealing scoring tables and color bars. ICS models can be used within software packages, in smartphone applications, or on paper, which is particularly useful for bedside medicine and home-monitoring. The ICS approach is illustrated on two gynecological problems: diagnosis of malignancy of ovarian tumors using a dataset containing 3,511 patients, and prediction of first trimester viability of pregnancies using a dataset of 1,435 women. Comparison of the performance of the ICS approach with a range of prediction models proposed in the literature illustrates the ability of ICS to combine optimal performance with the interpretability of simple scoring systems.The ICS approach can improve patient-clinician communication and will provide additional insights in the importance and influence of available variables. Future challenges include extensions of the proposed methodology towards automated detection of interaction effects, multi-class decision support systems, prognosis and high-dimensional data