Search results for "General Works"
showing 10 items of 108 documents
Variable time amplitude amplification and quantum algorithms for linear algebra problems
2012
Quantum amplitude amplification is a method of increasing a success probability of an algorithm from a small epsilon>0 to Theta(1) with less repetitions than classically. In this paper, we generalize quantum amplitude amplification to the case when parts of the algorithm that is being amplified stop at different times. We then apply the new variable time amplitude amplification to give two new quantum algorithms for linear algebra problems. Our first algorithm is an improvement of Harrow et al. algorithm for solving systems of linear equations. We improve the running time of the algorithm from O(k^2 log N) to O(k log^3 k log N) where k is the condition number of the system of equations. …
Computer Science Meets Ecology (Dagstuhl Seminar 17091)
2017
This report summarizes the program and main outcomes of the Dagstuhl Seminar 17091 entitled ``Computer Science Meets Ecolog''. Ecology is a discipline that poses many challenging problems involving big data collection, provenance and integration, as well as difficulties in data analysis, prediction and understanding. All these issues are precisely the arena where computer science is concerned. The seminar motivation was rooted in the belief that ecology could largely benefit from modern computer science. The seminar attracted scientists from both fields who discussed important topics in ecology (e.g. botany, animal science, biogeochemistry) and how to approach them with machine learning, co…
FO^2 with one transitive relation is decidable
2013
We show that the satisfiability problem for the two-variable first-order logic, FO^2, over transitive structures when only one relation is required to be transitive, is decidable. The result is optimal, as FO^2 over structures with two transitive relations, or with one transitive and one equivalence relation, are known to be undecidable, so in fact, our result completes the classification of FO^2-logics over transitive structures with respect to decidability. We show that the satisfiability problem is in 2-NExpTime. Decidability of the finite satisfiability problem remains open.
¿Qué formación didáctica recibe el futuro profesorado de clarinete en el grado superior? Reflexiones y propuesta curricular
2017
Successive education reforms of advanced-level music teaching have greatly increased the workload of future professionals. However, these reforms have not brought about curricular changes in the work situation, clearly related to teaching at different levels. This article offers a comparative analysis of the curricula of the different autonomous communities, and concludes with a number of suggestions on how to improve educational training for clarinet graduates.
The cost of open access publication of papers by spanish authors in five areas of the social sciences
2021
[ES] La publicación en abierto de los artículos conlleva unos gastos conocidos como cargos por procesamiento de artículos (APC, en sus siglas en inglés). El objetivo de este trabajo es determinar el coste de los artículos publicados en abierto mediante APC de autoría española en cinco categorías temáticas de las ciencias sociales: Humanities (Multidisciplinary), Sociology, Information Science & Library Science, Education & Educational Research y Communication de la Colección Principal de la Web of Science (WoS) durante el periodo 2012-2019. Se han identificado las revistas, las instituciones financiadoras y los modelos de publicación más frecuentes. El estudio indica que de las 223 revistas…
Bioethics and neuroethics
2019
Neuroethics officially appeared at the start of the 21st century due to the progress made by the neurosciences, as an applied ethics related to bioethics, but also as an independent discipline in its own right. As an applied ethics, it tackles issues bordering on bioethics. As independent neuroethics, it deals with established philosophical problems from a neuroscientific standpoint in the broader sense. It involves two central questions: the design of a framework in which to select, interpret and integrate data from neuroscience on morality and outlining the appropriate method or methods for this new branch of knowledge. In both cases, most neuroethicists curiously claim to take a naturali…
Detecting mutations by eBWT
2018
In this paper we develop a theory describing how the extended Burrows-Wheeler Transform (eBWT) of a collection of DNA fragments tends to cluster together the copies of nucleotides sequenced from a genome G. Our theory accurately predicts how many copies of any nucleotide are expected inside each such cluster, and how an elegant and precise LCP array based procedure can locate these clusters in the eBWT. Our findings are very general and can be applied to a wide range of different problems. In this paper, we consider the case of alignment-free and reference-free SNPs discovery in multiple collections of reads. We note that, in accordance with our theoretical results, SNPs are clustered in th…
Materiality and atmosphere. Two American beat artists painting Europe
2019
The article discusses how European painting heavily influenced two American Beat painters in the post war years. Post-war American painting was often concerned with breaking away from traditional iconography and style, but Jay DeFeo and Joan Brown chose to engage with European traditional painting. Both artists travelled to Europe early in their careers and both declare an intense interest in European painters, paintings, and architecture. In Brown’s case particularly the works of Goya, Velazquez, and Rembrandt become scrutinized and remodeled in her pasty abstract style. De Feo, on her hand, states a particular interest in how the European cities’ distinct colors, lights and textures inspi…
Quine’s Fluted Fragment is Non-elementary
2016
We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, originally identified by W.V. Quine. We show that the satisfiability problem for this fragment has non-elementary complexity, thus refuting an earlier published claim by W.C. Purdy that it is in NExpTime. More precisely, we consider, for all m greater than 1, the intersectionof the fluted fragment and the m-variable fragment of first-order logic. We show that this subfragment forces (m/2)-tuply exponentially large models, and that its satisfiability problem is (m/2)-NExpTime-hard. We round off by using a corrected version of Purdy’s construction to show that the m-variable fluted f…
Primavera del periodismo en Venezuela: cooperación y democracia. Aproximación desde la ética de la razón cordial
2020
El objetivo general de este texto es analizar cómo la noción de la cooperación puede entronizarse en el oficio del periodismo desde la perspectiva de la ética de la razón cordial. Se pondrán en relación dos ejemplos de periodismo colaborativo en Venezuela,que aun no teniendo como base teórica ética, se rigen por ellos. Con este artículo se aspira a generar espacios de reflexión para fortificar el êthos de la comunicación social, de las empresas informativas y del periodista, con el norte de la democracia yla justicia social. Los autores principales de esta investigación son: Patrici Calvo (2012, 2017, 2018), para hablar de la cooperación desde la ética de la razón cordial, corriente filosóf…