Search Results - ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis

Source: IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS) ; https://inria.hal.science/hal-01059602 ; IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS), Aug 2013, Krakow, Poland

Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]

Subject Geographic: Krakow, Poland

Availability: https://inria.hal.science/hal-01059602
https://inria.hal.science/hal-01059602v1/document
https://inria.hal.science/hal-01059602v1/file/rimAVSS2013.pdf

View record from BASE

Nájsť tento článok vo Web of Science

9

Generating Shorter Bases for Hard Random Lattices

Authors: Alwen, Joël Peikert, Chris New York University et al.

Contributors: Alwen, Joël Peikert, Chris New York University et al.

Source: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
https://hal.inria.fr/inria-00359718
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.75-86

Subject Terms: lattices, random, short basis, average-case hardness, Hermite normal form, cryptography, ACM: E.: Data/E.3: DATA ENCRYPTION/E.3.2: Public key cryptosystems, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.1: Computations on discrete structures, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Freiburg, Germany

Relation: inria-00359718; https://hal.inria.fr/inria-00359718; https://hal.inria.fr/inria-00359718/document; https://hal.inria.fr/inria-00359718/file/06-alwen.pdf

Availability: https://hal.inria.fr/inria-00359718
https://hal.inria.fr/inria-00359718/document
https://hal.inria.fr/inria-00359718/file/06-alwen.pdf

View record from BASE

Nájsť tento článok vo Web of Science

10

The complexity of class polynomial computation via floating point approximations

Authors: Enge, Andreas Algorithmic number theory for cryptology (TANC) Inria Saclay - Ile de France et al.

Contributors: Enge, Andreas Algorithmic number theory for cryptology (TANC) Inria Saclay - Ile de France et al.

Source: ISSN: 0025-5718 ; Mathematics of Computation ; https://hal.inria.fr/inria-00001040 ; Mathematics of Computation, American Mathematical Society, 2009, 78 (266), pp.1089-1107.

Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.1: Numerical Algorithms and Problems/F.2.1.4: Number-theoretic computations (e.g., factoring, primality testing), [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs/0601104; inria-00001040; https://hal.inria.fr/inria-00001040; https://hal.inria.fr/inria-00001040v3/document; https://hal.inria.fr/inria-00001040v3/file/class.pdf; ARXIV: cs/0601104

Availability: https://hal.inria.fr/inria-00001040
https://hal.inria.fr/inria-00001040v3/document
https://hal.inria.fr/inria-00001040v3/file/class.pdf

View record from BASE

Nájsť tento článok vo Web of Science

11

Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries

Authors: Sedoglavic, Alexandre Algebra for Digital Identification and Estimation (ALIEN) Inria Lille - Nord Europe et al.

Contributors: Sedoglavic, Alexandre Algebra for Digital Identification and Estimation (ALIEN) Inria Lille - Nord Europe et al.

Source: Second International Conference Algebraic Biology 2007 ; Algebraic Biology 2007 ; https://inria.hal.science/inria-00120991 ; Algebraic Biology 2007, Jul 2007, RISC, Castle of Hagenberg, Austria, Austria. pp.277-291, ⟨10.1007/978-3-540-73433-8_20⟩

Subject Terms: Algebraic system simplification, Lie symmetries, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Subject Geographic: RISC, Castle of Hagenberg, Austria

Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.SC/0612094; ARXIV: cs.SC/0612094

Availability: https://inria.hal.science/inria-00120991
https://inria.hal.science/inria-00120991/document
https://inria.hal.science/inria-00120991/file/Sedoglavic2006.pdf
https://doi.org/10.1007/978-3-540-73433-8_20

View record from BASE

Nájsť tento článok vo Web of Science

12

Column Generation for Extended Formulations

Authors: Sadykov, Ruslan Vanderbeck, François Reformulations based algorithms for Combinatorial Optimization (Realopt) et al.

Contributors: Sadykov, Ruslan Vanderbeck, François Reformulations based algorithms for Combinatorial Optimization (Realopt) et al.

Source: ISSN: 2192-4406.

Subject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.0: General, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]

Relation: hal-00661758; https://hal.inria.fr/hal-00661758; https://hal.inria.fr/hal-00661758v2/document; https://hal.inria.fr/hal-00661758v2/file/cgefHall.pdf

Availability: https://hal.inria.fr/hal-00661758
https://hal.inria.fr/hal-00661758v2/document
https://hal.inria.fr/hal-00661758v2/file/cgefHall.pdf
https://doi.org/10.1007/s13675-013-0009-9

View record from BASE

Nájsť tento článok vo Web of Science

13

Division-Free Binary-to-Decimal Conversion

Authors: Bouvier, Cyril Zimmermann, Paul Cryptology, Arithmetic: Hardware and Software (CARAMEL) et al.

Contributors: Bouvier, Cyril Zimmermann, Paul Cryptology, Arithmetic: Hardware and Software (CARAMEL) et al.

Source: ISSN: 0018-9340 ; IEEE Transactions on Computers ; https://inria.hal.science/hal-00864293 ; IEEE Transactions on Computers, 2014, 63 (8), pp.1895-1901. ⟨10.1109/TC.2014.2315621⟩.

Subject Terms: binary-to-decimal conversion, scaled remainder tree, GMP, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Availability: https://inria.hal.science/hal-00864293
https://inria.hal.science/hal-00864293v2/document
https://inria.hal.science/hal-00864293v2/file/get_str.pdf
https://doi.org/10.1109/TC.2014.2315621

View record from BASE

Nájsť tento článok vo Web of Science

14

Fast algorithms for computing isogenies between elliptic curves

Authors: Bostan, Alin Salvy, Bruno Morain, Francois et al.

Contributors: Bostan, Alin Salvy, Bruno Morain, Francois et al.

Source: https://inria.hal.science/inria-00091441 ; [Research Report] 2006, pp.28.

Subject Terms: Fast algorithms, elliptic curves, finite fields, isogenies, Schoof-Elkies-Atkin algorithm, Newton iteration, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.CC/0609020; ARXIV: cs.CC/0609020

Availability: https://inria.hal.science/inria-00091441
https://inria.hal.science/inria-00091441/document
https://inria.hal.science/inria-00091441/file/BoMoSaSc06.pdf

View record from BASE

Nájsť tento článok vo Web of Science

15

Implicit Euler numerical simulations of sliding mode systems

Authors: Acary, Vincent Brogliato, Bernard Modelling, Simulation, Control and Optimization of Non-Smooth Dynamical Systems (BIPOP) et al.

Contributors: Acary, Vincent Brogliato, Bernard Modelling, Simulation, Control and Optimization of Non-Smooth Dynamical Systems (BIPOP) et al.

Source: https://inria.hal.science/inria-00374840 ; [Research Report] RR-6886, INRIA. 2009, pp.39.

Subject Terms: Switching systems, Filippov's differential inclusions, complementarity problems, backward Euler algorithm, sliding modes, maximal monotone mappings, mixed linear complementarity problem, ZOH discretization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations/G.1.7.8: One-step (single step) methods, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations/G.1.7.3: Differential-algebraic equations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0904.1682; ARXIV: 0904.1682

Availability: https://inria.hal.science/inria-00374840
https://inria.hal.science/inria-00374840v2/document
https://inria.hal.science/inria-00374840v2/file/RR-6886.pdf

View record from BASE

Nájsť tento článok vo Web of Science

16

Notes sur la régularité Lipschitzienne

Authors: Damerval, Christophe Modélisation Géométrique & Multirésolution pour l'Image (MGMI) Laboratoire Jean Kuntzmann (LJK) et al.

Contributors: Damerval, Christophe Modélisation Géométrique & Multirésolution pour l'Image (MGMI) Laboratoire Jean Kuntzmann (LJK) et al.

Source: https://inria.hal.science/inria-00188421 ; 2007.

Subject Terms: Lispchitz regularity exponent, maxima lines, robustness, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.10: Applications, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing

Availability: https://inria.hal.science/inria-00188421
https://inria.hal.science/inria-00188421v1/document
https://inria.hal.science/inria-00188421v1/file/RapportRegulariteLipschitzienneTofNov2007.pdf

View record from BASE

Nájsť tento článok vo Web of Science

17

An efficient multi-algorithms sparse linear solver for GPUs

Authors: Jost, Thomas Contassot-Vivier, Sylvain Vialle, Stéphane et al.

Contributors: Jost, Thomas Contassot-Vivier, Sylvain Vialle, Stéphane et al.

Source: ParCo2009 ; https://inria.hal.science/inria-00430520 ; ParCo2009, Frédéric Desprez, Sep 2009, Lyon, France

Subject Terms: Parallelism, GPU Computing, Sparse Linear Solver, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.4: Parallel and vector implementations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Lyon, France

Availability: https://inria.hal.science/inria-00430520

View record from BASE

Nájsť tento článok vo Web of Science

18

A near linear algorithm for testing linear separability in two dimensions

Authors: Contassot-Vivier, Sylvain Elizondo, David Algorithms for the Grid (ALGORILLE) et al.

Contributors: Contassot-Vivier, Sylvain Elizondo, David Algorithms for the Grid (ALGORILLE) et al.

Source: EANN 2012 - 13th International Conference on Engineering Applications of Neural Networks ; https://inria.hal.science/hal-00726624 ; EANN 2012 - 13th International Conference on Engineering Applications of Neural Networks, Sep 2012, London, United Kingdom

Subject Terms: Geometry, Linear Separability, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]

Subject Geographic: London, United Kingdom

Availability: https://inria.hal.science/hal-00726624

View record from BASE

Nájsť tento článok vo Web of Science

19

Highly efficient numerical algorithm based on random trees for accelerating parallel Vlasov-Poisson simulations

Authors: Rodriguez Rozas, Angel Juan A., Acebrón Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) et al.

Contributors: Rodriguez Rozas, Angel Juan A., Acebrón Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) et al.

Source: ISSN: 0021-9991.

Availability: https://inria.hal.science/hal-00920998
https://doi.org/10.1016/j.jcp.2013.05.025

View record from BASE

Nájsť tento článok vo Web of Science

20

Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics

Authors: Dupont, Laurent Hemmer, Michael Petitjean, Sylvain et al.

Contributors: Dupont, Laurent Hemmer, Michael Petitjean, Sylvain et al.

Source: 15th Annual European Symposium on Algorithms - ESA 2007
https://inria.hal.science/inria-00165663
15th Annual European Symposium on Algorithms - ESA 2007, Yossi Azar, Tel-Aviv U. and Microsoft Research uy Even, Tel-Aviv U. Amos Fiat, Tel-Aviv U. (Chair) Seffi Naor, Technion and Microsoft Research, Oct 2007, Eilat, Israel, October 8-10, 2007, Israel. pp.633-644, ⟨10.1007/978-3-540-75520-3_56⟩

Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]

Subject Geographic: Eilat, Israel, October 8-10

Availability: https://inria.hal.science/inria-00165663
https://doi.org/10.1007/978-3-540-75520-3_56

View record from BASE

Nájsť tento článok vo Web of Science

Search Results - ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis

Search Tools:

Refine Results

Format

Subject

Publisher

Published in

Source

Geography

Collection

Year of Publication