Knowing Values and Public Inspection

We present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "public inspection", a new dynamic operator which updates the agents' knowledge about the values of constants. We provide a sound and strongly complete axiomatization for the single and multi-agent case, making use of the well-known Armstrong axioms for dependencies in databases

Continuous Team Semantics

We study logics with team semantics in computable metric spaces. We show how to define approximate versions of the usual independence/dependence atoms. For restricted classes of formulae, we show that we can assume w.l.o.g.~that teams are closed sets. This then allows us to import techniques from computable analysis to study the complexity of formula satisfaction and model checking

Continuous Team Semantics

Peer reviewe

Role of fibroblast growth factor receptors (FGFR) and FGFR like-1 (FGFRL1) in mesenchymal stromal cell differentiation to osteoblasts and adipocytes

Fibroblast growth factors (FGF) and their receptors (FGFRs) regulate many developmental processes including differentiation of mesenchymal stromal cells (MSC). We developed two MSC lines capable of differentiating to osteoblasts and adipocytes and studied the role of FGFRs in this process. We identified FGFR2 and fibroblast growth factor receptor like-1 (FGFRL1) as possible actors in MSC differentiation with gene microarray and qRT-PCR. FGFR2 and FGFRL1 mRNA expression strongly increased during MSC differentiation to osteoblasts. FGF2 treatment, resulting in downregulation of FGFR2, or silencing FGFR2 expression with siRNAs inhibited osteoblast differentiation. During adipocyte differentiation expression of FGFR1 and FGFRL1 increased and was down-regulated by FGF2. FGFR1 knockdown inhibited adipocyte differentiation. Silencing FGFR2 and FGFR1 in MSCs was associated with decreased FGFRL1 expression in osteoblasts and adipocytes, respectively. Our results suggest that FGFR1 and FGFR2 regulate FGFRL1 expression. FGFRL1 may mediate or modulate FGFR regulation of MSC differentiation together with FGFR2 in osteoblastic and FGFR1 in adipocytic lineage.</div

Exome sequencing reveals candidate mutations implicated in sinonasal carcinoma and malignant transformation of sinonasal inverted papilloma

We explored somatic mutations in dysplastic sinonasal inverted papilloma (SNIP), SNIP with concomitant sinonasal squamous cell carcinoma (SNSCC), and SNSCC without preceding SNIP. Ten SNIP and SNSCC samples were analyzed with exome sequencing and tested for human papillomavirus. The identified mutations were compared to the most frequently mutated genes in head and neck squamous cell carcinoma (HNSCC) in the COSMIC database. Exome sequencing data were also analyzed for mutations not previously linked to SNSCC. Seven of the most commonly mutated genes in HNSCC and SNSCC in COSMIC harbored mutations in our data. In addition, we identified mutations in 23 genes that are likely to contribute to SNIP and SNSCC oncogenesis.Peer reviewe

Removal of proteinase K resistant alpha Syn species does not correlate with cell survival in a virus vector-based Parkinson's disease mouse model

Parkinson's disease (PD) is characterized by degeneration of nigrostriatal dopaminergic neurons and accumu-lation of alpha-synuclein (alpha Syn) as Lewy bodies. Currently, there is no disease-modifying therapy available for PD. We have shown that a small molecular inhibitor for prolyl oligopeptidase (PREP), KYP-2047, relieves alpha Syn-induced toxicity in various PD models by inducing autophagy and preventing alpha Syn aggregation. In this study, we wanted to study the effects of PREP inhibition on different alpha Syn species by using cell culture and in vivo models.We used Neuro2A cells with transient alpha Syn overexpression and oxidative stress or proteasomal inhibition -induced alpha Syn aggregation to assess the effect of KYP-2047 on soluble alpha Syn oligomers and on cell viability. Here, the levels of soluble alpha Syn were measured by using ELISA, and the impact of KYP-2047 was compared to anle138b, nilotinib and deferiprone. To evaluate the effect of KYP-2047 on alpha Syn fibrillization in vivo, we used unilateral nigral AAV1/2-A53T-alpha Syn mouse model, where the KYP-2047 treatment was initiated two-or four -weeks post injection.KYP-2047 and anle138b protected cells from alpha Syn toxicity but interestingly, KYP-2047 did not reduce soluble alpha Syn oligomers. In AAV-A53T-alpha Syn mouse model, KYP-2047 reduced significantly proteinase K-resistant alpha Syn oligomers and oxidative damage related to alpha Syn aggregation. However, the KYP-2047 treatment that was initiated at the time of symptom onset, failed to protect the nigrostriatal dopaminergic neurons. Our results emphasize the importance of whole alpha Syn aggregation process in the pathology of PD and raise an important question about the forms of alpha Syn that are reasonable targets for PD drug therapy.Peer reviewe

The neutrino signal at HALO: learning about the primary supernova neutrino fluxes and neutrino properties

Core-collapse supernova neutrinos undergo a variety of phenomena when they travel from the high neutrino density region and large matter densities to the Earth. We perform analytical calculations of the supernova neutrino fluxes including collective effects due to the neutrino-neutrino interactions, the Mikheev-Smirnov-Wolfenstein (MSW) effect due to the neutrino interactions with the background matter and decoherence of the wave packets as they propagate in space. We predict the numbers of one- and two-neutron charged and neutral-current electron-neutrino scattering on lead events. We show that, due to the energy thresholds, the ratios of one- to two-neutron events are sensitive to the pinching parameters of neutrino fluxes at the neutrinosphere, almost independently of the presently unknown neutrino properties. Besides, such events have an interesting sensitivity to the spectral split features that depend upon the presence/absence of energy equipartition among neutrino flavors. Our calculations show that a lead-based observatory like the Helium And Lead Observatory (HALO) has the potential to pin down important characteristics of the neutrino fluxes at the neutrinosphere, and provide us with information on the neutrino transport in the supernova core.Comment: 30 pages, 12 figures, 6 tables, minor correction

How Could an Intranet be Like a Friend to Me?: Why Standardized UX Scales Don't Always Fit

"I hope that this survey is a joke because it made me laugh so much". This quote is just one example of many negative respondents' reactions gathered during a large-scale user experience (UX) study. Unfortunately, the survey was no joke, rather a well-constructed and validated standardized UX scale. This paper critically reflects on the use and relevance of standardized UX scales for the evaluation of UX in business contexts. We report on a real-world use case where the meCUE questionnaire has been used to assess employees' experience (N=263) with their organization's intranet. Strong users' reactions to the survey's items and statistical analyses both suggest that the scale is unsuitable for the evaluation of business-oriented systems. Drawing on the description of this inadequacy, we discuss the quality of academic UX tools, calling into question the relevance for practice of academic methods

Model-Driven Chatbot Development

Esta versión del artículo ha sido aceptada para su publicación, después de la revisión por pares (cuando corresponda) y está sujeta a los términos de uso de AM de Springer Nature, pero no es la Versión de Registro y no refleja mejoras posteriores a la aceptación, ni ninguna corrección. La versión del registro está disponible en línea en: https://doi.org/10.1007/978-3-030-62522-1_15Chatbots are software services accessed via conversation in natural language. They are increasingly used to help in all kinds of procedures like booking flights, querying visa information or assigning tasks to developers. They can be embedded in webs and social networks, and be used from mobile devices without installing dedicated apps. While many frameworks and platforms have emerged for their development, identifying the most appropriate one for building a particular chatbot requires a high investment of time. Moreover, some of them are closed – resulting in customer lock-in – or require deep technical knowledge. To tackle these issues, we propose a model-driven engineering approach to chatbot development. It comprises a neutral meta-model and a domainspecific language (DSL) for chatbot description; code generators and parsers for several chatbot platforms; and a platform recommender. Our approach supports forward and reverse engineering, and model-based analysis. We demonstrate its feasibility presenting a prototype tool and an evaluation based on migrating third party Dialogflow bots to RasaWork funded by the Spanish Ministry of Science (RTI2018095255-B-I00) and the R&D programme of Madrid (P2018/TCS-4314

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201