Showing 21 - 40 of 3,807

21

Modeling parsimonious putative regulatory networks: complexity and heuristic approach
Acuña, Vicente ; Aravena, Andrés ; Maass, Alejandro ; et al.
15th conference in Verification. :322-336

San Diego, United States ACM: J.: Computer Applic... J.3: LIFE AND MEDICAL SC... J.3.0: Biology and genet... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Conference
Save to List
22

On the Complexity of Computing Gröbner Bases for Quasi-homogeneous Systems
Faugère, Jean-Charles ; Safey El Din, Mohab ; Verron, Thibaut ; et al.
The 38th International Symposium on Symbolic and Algebraic Computation. :189-196

Boston, Maine, United St... Polynomial system solvin... Quasi-homogeneous polyno... Gröbner bases ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR...
Conference
Save to List
23

Approximating Multidimensional Subset Sum and the Minkowski Decomposition of Polygons
Emiris, Ioannis, Z. ; Karasoulou, Anna ; Tzovas, Charilaos ; et al.
Mathematics in Computer Science. 11:35-48

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... G.2.1: Combinatorics
Journal
Save to List
24

Some mathematical remarks on the polynomial selection in NFS
Barbulescu, Razvan ; Lachand, Armand ; Cryptology, arithmetic : algebraic methods for better algorithms (CARAMBA) ; et al.
Mathematics of Computation. 86:397-418

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... [INFO.INFO-CR]Computer S... Cryptography and Securit... [MATH.MATH-NT]Mathematic...
Journal
Save to List
25

Accurate self-correction of errors in long reads using de Bruijn graphs
Salmela, Leena ; Walve, Riku ; Rivals, Eric ; et al.
Bioinformatics. 33(6):799-806

substitution Sequence analysis PacBio DNA NGS de Bruijn
Journal
Save to List
26

A Penalized Best-Response Algorithm for Non-Linear Single-Path Routing Problems
Brun, Olivier ; Prabhu, Balakrishna ; Vallet, Josselin ; et al.
Networks. 69(1):52-66

Approximation algorithms best response single-path routing game theory non-linear programming Nash equilibrium
Journal
Save to List
27

The membership problem for subsemigroups of [formula omitted] is NP-complete
Bell, Paul C. ; Hirvensalo, Mika ; Potapov, Igor
In Information and Computation January 2024 296

Academic journal
Save to List
28

Impact Of The Energy Model On The Complexity Of RNA Folding With Pseudoknots
Sheikh, Saad ; Backofen, Rolf ; Ponty, Yann ; et al.
CPM - 23rd Annual Symposium on Combinatorial Pattern Matching - 2012. :321-333

Helsinki, Finland RNA folding General pseudoknots Hardness Inapproximability ACM: J.: Computer Applic...
Conference
Save to List
29

Large-girth roots of graphs
Adamaszek, Anna ; Adamaszek, Michal ; Department of Computer Science and DIMAP ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :35-46

Nancy, France Graph roots Graph powers NP-completeness Recognition algorithms ACM: G.: Mathematics of...
Conference
Save to List
30

The Traveling Salesman Problem Under Squared Euclidean Distances
de Berg, Mark ; van Nijnatten, Fred ; Sitters, Rene ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :239-250

Nancy, France APX-hard NP-hard distance-power gradient power-assignment in wire... Geometric traveling sale...
Conference
Save to List
31

Beyond Bidimensionality: Parameterized Subexponential Algorithms on Directed Graphs
Dorn, Frederic ; Fomin, Fedor V. ; Lokshtanov, Daniel ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :251-262

Nancy, France Parameterized Subexponen... Directed Graphs Out-Branching Internal Out-Branching ACM: G.: Mathematics of...
Conference
Save to List
32

Planar Subgraph Isomorphism Revisited
Dorn, Frédéric ; Department of Informatics [Bergen] (UiB) ; University of Bergen (UiB) ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :263-274

Nancy, France Graph algorithms Subgraph Isomorphism NP-hard problems Dynamic programming Topological graph theory
Conference
Save to List
33

Dispersion in unit disks
Dumitrescu, Adrian ; Jiang, Minghui ; Department of Computer Sciences [Madison] (CS) ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :299-310

Nancy, France Dispersion problem linear programming approximation algorithm ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Conference
Save to List
34

Long non-crossing configurations in the plane
Dumitrescu, Adrian ; Tóth, Csaba D. ; Department of Computer Sciences [Madison] (CS) ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :311-322

Nancy, France Longest non-crossing Ham... longest non-crossing Ham... longest non-crossing spa... approximation algorithm ACM: F.: Theory of Compu...
Conference
Save to List
35

Evasiveness and the Distribution of Prime Numbers
Babai, Laszlo ; Banerjee, Anandam ; Kulkarni, Raghav ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :71-82

Nancy, France decision tree complexity evasiveness graph property group action Dirichlet primes
Conference
Save to List
36

The Complexity of Approximating Bounded-Degree Boolean #CSP
Dyer, Martin ; Ann Goldberg, Leslie ; Jalsenius, Markus ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :323-334

Nancy, France Boolean constraint satis... generalized satisfiabili... counting approximation algorithms ACM: F.: Theory of Compu...
Conference
Save to List
37

The k-in-a-path problem for claw-free graphs
Fiala, Jiří ; Kamiński, Marcin ; Lidický, Bernard ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :371-382

Nancy, France induced path claw-free graph polynomial-time algorith... ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC...
Conference
Save to List
38

Exact Covers via Determinants
Björklund, Andreas ; Department of Computer Science [Lund] ; Skane University Hospital [Lund] ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :95-106

Nancy, France moderately exponential t... exact set cover k-dimensional matching ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC...
Conference
Save to List
39

On Iterated Dominance, Matrix Elimination, and Matched Paths
Brandt, Felix ; Fischer, Felix ; Holzer, Markus ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :107-118

Nancy, France Algorithmic Game Theory Computational Complexity Iterated Dominance Matching ACM: F.: Theory of Compu...
Conference
Save to List
40

A 4/3-competitive randomized algorithm for online scheduling of packets with agreeable deadlines
Jeż, Łukasz ; Institute of Computer Science ; University of Wrocław [Poland] (UWr) ; et al.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010. :489-500

Nancy, France online algorithms scheduling buffer management ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Conference
Save to List

Filter