A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
We obtain a deterministic algorithm that can be seen as a sparse version of an algorithm of Lecerf, with a polynomial complexity in the volume of the Newton polytope. ... We propose a new lifting and recombination scheme for rational bivariate polynomial factorization that takes advantage of the Newton polytope geometry. ... Acknowledgments We thank José Ignacio Burgos and Martin Sombra for their careful reading and helpful comments. We thank the anonymous referees for their useful remarks. ...doi:10.1016/j.jco.2010.06.005 fatcat:4ya4gy4ecjftdljzdkau2t4btm
We describe its implementation in two di erent ways, by means of a computer algebra system and an algorithm in any computer language. ... Warsaw 28 (2002) 17) a new method to compute recursively all the Poincarà e-Liapunov constants as a function of the coe cients of the system for an arbitrary analytic system which has a perturbed linear ... For system (11) the maximum number of small-amplitude limit cycles which can bifurcate from the origin is at least three when f(x; y) = f 1 (x; y) + f 3 (x; y) where f i (x; y) are homogeneous polynomials ...doi:10.1016/j.cam.2003.08.043 fatcat:crrp6ekqnfcu3cuterdvpvr6tm
Lecture Notes in Computer Science
We show that the complexity of this question can range from QCMA-complete to PSPACE-complete, as well as NEXP-complete for an appropriately defined "succinct" version of the problem. ... Roughly, "ground state connectivity" corresponds to the natural question: Given two ground states |ψ> and |ϕ> of a local Hamiltonian H, is there an "energy barrier" (with respect to H) along any sequence ... Research at the Centre for Quantum Technologies at the National University of Singapore is partially funded by the Singapore Ministry of Education and the National Research Foundation, also through the ...doi:10.1007/978-3-662-47672-7_50 fatcat:gkbjune5nbeqlovgmblxp4x2aa
Lecture Notes in Computer Science
This makes reachability analysis challenging for nonlinear systems with a large number of state variables. Our approach works by constructing a dependency graph among the variables of the system. ... Next, we use ideas from message passing developed originally for belief propagation over Bayesian networks to perform reachability analysis over the full state space in an efficient manner. ... Mohamed Amin Ben Sassi and Fabio Somenzi for helpful discussions, and the anonymous reviewers for their comments. ...doi:10.1007/978-3-030-53288-8_30 fatcat:yqmxs65iznce7e4qurcxkejviy
Electronic colloquium on computational complexity
Acknowledgements: I would like to thank Renè for the time he spent reading these notes and for his suggestions, corrections and (above all) teachings, and Filippo Nuccio for his explanations and patience ... For this purpose, we first find an explicit formula for adding two divisors in canonical form, such that the result is still a divisor in canonical form. ... An ideal I R of a ring (R, +, •) is prime, if for each a, b ∈ R a • b ∈ I ⇒ a ∈ I or b ∈ I. which is an element of Z since ∆ ≡ 0 (mod 4). ...dblp:journals/eccc/Venturi09 fatcat:hrsbrkvwqncdjbetgenai635fa
This report documents the talks and discussions of Dagstuhl Seminar 13271 "Theory of Evolutionary Algorithms". ... Topics intensively discussed include a complexity theory for randomized search heuristics, evolutionary computation in noisy settings, the drift analysis technique, and parallel evolutionary computation ... As an example, results were presented for clustering problems based on uniformly random data in the unit square. ...doi:10.4230/dagrep.3.7.1 dblp:journals/dagstuhl-reports/DoerrHSW13 fatcat:bvetvtijcrchzifaxvoliosmly
We characterize the properties of the molecular and ionized gas that is spatially coincident with an extremely bright H ii region in the context of the NGC 628 galactic environment. ... Due to the large mass of the cloud, this phase of the its evolution is long enough for the impact of feedback on the excitation of the gas to be observed. ... We thank the anonymous referee for a prompt and helpful report that strengthened our manuscript. This paper makes use of the following ALMA data: ADS/JAO.ALMA#2012.1.00650.S and 2013.1.00532.S. ...doi:10.1051/0004-6361/201936060 fatcat:tq37s3rouzhafhkyo6zy44dise
Due to the cloud's large mass, this phase of the cloud's evolution is long enough for the impact of feedback on the excitation of the gas to be observed. ... In this paper, we study the brightest cloud traced in CO emission in the disk of NGC628. The cloud is spatially coincident with an extremely bright HII region. ... We thank the anonymous referee for a prompt and helpful report that strengthened our manuscript. This paper makes use of the following ALMA data: ADS/JAO.ALMA#2012.1.00650.S and 2013.1.00532.S. ...arXiv:1910.14311v2 fatcat:r4ljz6nkxnhhljvrvji3gckvqi
Here, we present the IGREPERTOIRECONSTRUCTOR algorithm that performs error-correction of immunosequencing reads and uses mass spectra to validate the constructed antibody repertoires. ... Therefore, the protein database required for the interpretation of spectra from circulating antibodies is custom for each individual. ... Hoffmann-La Roche in Moscow, Russia, for initiating this project as an international academia-industry collaboration and supporting it with a grant to Saint-Petersburg Academic University, Russia. ...doi:10.1093/bioinformatics/btv238 pmid:26072509 pmcid:PMC4542777 fatcat:le4bgc5cxjcdxjiqs2gmvssb5a
Then, a recent metaheuristics called Cuckoo Search Algorithm (CSA) is applied to compute all relevant free variables of this minimization problem (namely, the data parameters and the surface poles). ... In this paper we address the general problem of global-support parametric surface approximation from clouds of data points for reverse engineering applications. ... Acknowledgments: This research work has received funding from the project PDE-GIR (Partial Differential Equations for Geometric modelling, Image processing, and shape Reconstruction) of the European Union's ...doi:10.3390/sym10030058 fatcat:yermdvu3i5hhdnqvvxvozuyc6i
The authors present a canonical simplifier for Lie fields us- ing Grébner bases of left and right ideals in enveloping algebras of Lie algebras. They also present an anti-isomorphism between ... A definition of a canonical representative of a left fraction independent of the algorithm for its computation is given. ...
This paper is a survey on the area of signature-based Gr\"obner basis algorithms that was initiated by Faug\'ere's F5 algorithm in 2002. We explain the general ideas behind the usage of signatures. ... For this we give translations between different notations and show that besides notations many approaches are just the same. ... An F5 variant for SAGBI Gröbner bases Faugère and Rahmany presented in 2009 an adjusted variant of F5 for computing so-called SAGBI Gröbner bases (  ). ...arXiv:1404.1774v1 fatcat:y5zp7jm3gfe7xozltjm3ekcx54
A new construction of a free inverse semigroup was obtained by Poliakova and Schein in 2005. ... Based on their result, we find a Groebner-Shirshov basis of a free inverse semigroup relative to the deg-lex order of words. ... Buchberger, An algorithm for finding a basis for the residue class ring of a zero- dimensional polynomial ideal (in German), Ph. D. thesis, University of Innsbruck, Austria, 1965.  B. ...arXiv:0804.0959v4 fatcat:yveqy7pptfhihlacuvcfz6npyi
We propose an index calculus algorithm for the discrete logarithm problem on general abelian varieties of small dimension. ... We apply this algorithm to the Weil restriction of elliptic curves and hyperelliptic curves over small degree extension fields. ... Thank you also to Andreas Enge who made a careful reading of an early version of this work and toÉric Schost for his help with the complexity of Gröbner basis computations. ...doi:10.1016/j.jsc.2008.08.005 fatcat:gl2zqrto2ncg5ckyca3wyqk6ju
Sutre, An algorithm construct- ing the semilinear post for 2-dim reset/transfer VASS (extended abstract) (353-362); D. A. Fotakis, S. E. Nikoletseas, V. G. Pa- padopoulou and P. G. ... Frangois Lemaire, Computing canonical representatives of regular differential ideals (38-47 (elec- tronic)); Christopher W. ...
« Previous Showing results 1 — 15 out of 301 results