A Semantic Approach to Decidability in Epistemic Planning

The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely adopted action formalism that can handle nondeterminism, partial observability and arbitrary knowledge nesting. As such expressive power comes at the cost of undecidability, several decidable fragments have been isolated, mainly based on syntactic restrictions of the action formalism. In this paper, we pursue a novel semantic approach to achieve decidability. Namely, rather than imposing syntactical constraints, the semantic approach focuses on the axioms of the logic for epistemic planning. Specifically, we augment the logic of knowledge S5n and with an interaction axiom called (knowledge) commutativity, which controls the ability of agents to unboundedly reason on the knowledge of other agents. We then provide a threefold contribution. First, we show that the resulting epistemic planning problem is decidable. In doing so, we prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest. Second, we study different generalizations of the commutativity axiom, with the goal of obtaining decidability for more expressive fragments of DEL. Finally, we show that two well-known epistemic planning systems based on action templates, when interpreted under the setting of knowledge, conform to the commutativity axiom, hence proving their decidability

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To enable operational support for business processes, the latter are usually specified in an imperative way. The resulting process models, however, tend to be too rigid to meet the flexibility demands of the actors involved. Declarative process modeling languages, in turn, provide a promising alternative in scenarios in which a high level of flexibility is demanded. In the scientific literature, declarative languages have been used for modeling rather simple processes or synthetic examples. However, to the best of our knowledge, they have not been used to model complex, real-world scenarios that comprise constraints going beyond control-flow. In this paper, we propose the use of a declarative language for modeling a sophisticated healthcare process scenario from the real world. The scenario is subject to complex temporal constraints and entails the need for coordinating the constraint-based interactions among the processes related to a patient treatment process. As demonstrated in this work, the selected real process scenario can be suitably modeled through a declarative approach.Ministerio de Economía y Competitividad TIN2016-76956-C3-2-RMinisterio de Economía y Competitividad TIN2015-71938-RED

Genetic Evidence for a Tacaribe Serocomplex Virus, Mexico

We isolated arenavirus RNA from white-toothed woodrats (Neotoma leucodon) captured in a region of Mexico in which woodrats are food for humans. Analyses of nucleotide and amino acid sequence data indicated that the woodrats were infected with a novel Tacaribe serocomplex virus, proposed name Real de Catorce virus

Compound double ileoileal and ileocecocolic intussusception caused by lipoma of the ileum in an adult patient: A case report

<p>Abstract</p> <p>Introduction</p> <p>The initial diagnosis of intussusception in adults very often can be missed and cause delayed treatment and possible serious complications. We report the case of an adult patient with complicated double ileoileal and ileocecocolic intussusception.</p> <p>Case presentation</p> <p>A 46-year-old Caucasian man was transferred from the gastroenterology service to the abdominal surgery service with severe abdominal pain, nausea, and vomiting. An abdominal ultrasound, barium enema, and abdominal computed tomography scan revealed an intraluminal obstruction of his ascending colon. Plain abdominal X-rays showed diffuse air-fluid levels in his small intestine. A double ileoileal and ileocecocolic intussusception was found during an emergent laparotomy. A right hemicolectomy, including resection of a long segment of his ileum, was performed. The postoperative period was complicated by acute renal failure, shock liver, and pulmonary thromboembolism. Our patient was discharged from the hospital after 30 days. An anatomical pathology examination revealed a lipoma of his ileum.</p> <p>Conclusions</p> <p>Intussusception in adults requires early surgical resection regardless of the nature of the initial cause. Delayed treatment can cause very serious complications.</p

Phase 2 study of canfosfamide in combination with pegylated liposomal doxorubicin in platinum and paclitaxel refractory or resistant epithelial ovarian cancer

<p>Abstract</p> <p>Background</p> <p>Canfosfamide is a novel glutathione analog activated by glutathione S-transferase P1-1. This study evaluated the safety and efficacy of canfosfamide in combination with pegylated liposomal doxorubicin (PLD) in patients with platinum resistant ovarian cancer. Patients with platinum resistant ovarian carcinoma and measurable disease received canfosfamide at 960 mg/m²in combination with PLD at 50 mg/m², intravenously day 1 in every 28 day cycles until tumor progression or unacceptable toxicities. The primary endpoints were objective response rate (ORR) and progression-free survival (PFS).</p> <p>Results</p> <p>Canfosfamide plus PLD combination therapy was administered at 960/50 mg/m², respectively. Thirty-nine patients received a median number of 4 cycles (range 1.0-18.0). The ORR was 27.8% (95% CI, 14.2-45.2) with a disease stabilization rate of 80.6% (95% CI, 64.0-91.8) in the evaluable population. The CA-125 marker responses correlated with the radiological findings of complete response or partial response. The median PFS was 6.0 months (95% CI, 4.2-7.9) and median survival was 17.8 months. The combination was well tolerated. Myelosuppression was managed with dose reductions and growth factor support. Grade 3 febrile neutropenia was observed in 2 patients (5.1%). Non-hematologic adverse events occurred at the expected frequency and grade for each drug alone, with no unexpected or cumulative toxicities.</p> <p>Conclusions</p> <p>Canfosfamide in combination with PLD is well tolerated and active in platinum and paclitaxel refractory or resistant ovarian cancer. A randomized phase 3 study was conducted based on this supportive phase 2 study.</p> <p>Trial Registration</p> <p>This study was registered at www.clinicaltrials.gov: NCT00052065.</p

The upgrade of the ALICE TPC with GEMs and continuous readout

The upgrade of the ALICE TPC will allow the experiment to cope with the high interaction rates foreseen for the forthcoming Run 3 and Run 4 at the CERN LHC. In this article, we describe the design of new readout chambers and front-end electronics, which are driven by the goals of the experiment. Gas Electron Multiplier (GEM) detectors arranged in stacks containing four GEMs each, and continuous readout electronics based on the SAMPA chip, an ALICE development, are replacing the previous elements. The construction of these new elements, together with their associated quality control procedures, is explained in detail. Finally, the readout chamber and front-end electronics cards replacement, together with the commissioning of the detector prior to installation in the experimental cavern, are presented. After a nine-year period of R&D, construction, and assembly, the upgrade of the TPC was completed in 2020.publishedVersio

Il teatro romano di Althiburos (El Medeina, El Kef, Tunisia)

Il contributo presenta le attivit\ue0 della missione archeologica dell'Universit\ue0 di Macerata ad Althiburos per lo studio, lo scavo e la valorizzazione del teatro romano della citt\ue0. Una missione svolta in collaborazione con l'Institut National du Patrimoine de Tunis ed il Politecnico di Bari a partire dal 2006. Le tre campagne di scavo (2007, 2009 e 2010, alle quali va aggiunta una campagna di ricognizione e ricerca di confronti nel 2014, con il cofinanziamento del MAE) hanno permesso di indagare le fasi pi\uf9 recenti della vita dell'edificio e di redigere un primo rilievo del monumento

Foreign exchange trading: A risk-averse batch reinforcement learning approach

Automated Trading Systems' impact on financial markets is ever growing, particularly on the intraday Foreign Exchange market. Historically, the FX trading systems are based on advanced statistical methods and technical analysis able to extract trading signals from financial data. In this work, we explore how to find a trading strategy via Reinforcement Learning by means of a state-of-the-art batch algorithm, Fitted Q-Iteration. Furthermore, we include a Multi-Objective formulation of the problem to keep the risk of noisy profits under control. We show that the algorithm is able to detect favorable temporal patterns, which are used by the agent to maximize the return. Finally, we show that as risk aversion increases, the resulting policies become smoother, as the portfolio positions are held for longer periods

Pressure calibration of a digital microelectromechanical system microphone by comparison

In the field of noise control and monitoring, a new generation of small and low-cost microelectro-mechanical system (MEMS) microphones is nowadays widely adopted. MEMS microphones, after recognition as traceable measurement instruments, could open up promising measurements based on wireless sensor networks. Current standards do not apply specifically to digital microphones. In this work, a pressure calibration procedure by comparison is carried out for a digital MEMS microphone and a sensitivity parameter suitable for metrological purposes is proposed. Measurement procedure and results between 20 Hz and 20 kHz are presented along with uncertainty contributions