Search Results - "ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency"

  • Showing 1 - 6 results of 6
Refine Results
  1. 1

    Algorithm 932: PANG: Software for nonmatching grid projections in 2D and 3D with linear complexity

    Authors: Gander, Martin, J. Japhet, Caroline Section de mathématiques Genève et al.

    Contributors: Gander, Martin, J. Japhet, Caroline Section de mathématiques Genève et al.

    Source: ACM Transactions on Mathematical Software (TOMS)
    ACM Trans. Math. Soft.
    ACM Transactions on Mathematical Software

    Subject Terms: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], [MATH.MATH-NA] Mathematics [math]/Numerical Analysis [math.NA], non-matching grid projections, 01 natural sciences, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.0: Domain decomposition methods, 0101 mathematics, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, linear complexity, Advancing front algorithm, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

    File Description: application/pdf

    Access URL: https://inria.hal.science/hal-00933643v1
    https://doi.org/10.1145/2513109.2513115
    https://hal.inria.fr/hal-00933643
    https://doi.acm.org/10.1145/2513109.2513115
    https://dl.acm.org/doi/10.1145/2513109.2513115
    https://doi.org/10.1145/2513109.2513115
    https://dblp.uni-trier.de/db/journals/toms/toms40.html#GanderJ13
    https://archive-ouverte.unige.ch/unige:171212
    https://doi.org/10.1145/2513109.2513115
    https://www.unige.ch/~gander/preprints.php
    http://www.unige.ch/~gander/preprints.php

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Conversion by Evaluation

    Authors: Boespflug, Mathieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

    Contributors: Boespflug, Mathieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

    Source: Twelfth International Symposium on Practical Aspects of Declarative Languages ; https://inria.hal.science/inria-00434282 ; Twelfth International Symposium on Practical Aspects of Declarative Languages, Jan 2010, Madrid, Spain

    Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Subject Geographic: Spain

    Time: Madrid, Spain

    Availability: https://inria.hal.science/inria-00434282
    https://inria.hal.science/inria-00434282v1/document
    https://inria.hal.science/inria-00434282v1/file/derivesn.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    From Self-Interpreters to Normalization by Evaluation

    Authors: Boespflug, Mathieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

    Contributors: Boespflug, Mathieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

    Source: 2009 Workshop on Normalization by Evaluation
    https://inria.hal.science/inria-00434284
    2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States
    http://www.brics.dk/~danvy/NBE09/informal-proceedings/

    Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Subject Geographic: Los Angeles, United States

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

    Availability: https://inria.hal.science/inria-00434284
    https://inria.hal.science/inria-00434284v1/document
    https://inria.hal.science/inria-00434284v1/file/selfnbe.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Efficient normalization by evaluation

    Authors: Boespflug, Mathieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

    Contributors: Boespflug, Mathieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

    Source: 2009 Workshop on Normalization by Evaluation
    https://inria.hal.science/inria-00434283
    2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States
    http://www.brics.dk/~danvy/NBE09/informal-proceedings/

    Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

    Subject Geographic: Los Angeles, United States

    Availability: https://inria.hal.science/inria-00434283
    https://inria.hal.science/inria-00434283v1/document
    https://inria.hal.science/inria-00434283v1/file/NBE09-Boespflug-fastnbe.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    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
    Save to List
  6. 6

    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.

    Subject Terms: Probabilistic Domain Decomposition, Probabilistic representation of solution of partial differential equations, Quasi-Monte carlo, 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: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.1: Interpolation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.0: Domain decomposition methods, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.5: Hyperbolic equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.1: Interpolation/G.1.1.4: Spline and piecewise polynomial interpolation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.7: Statistical methods, ACM: J.: Computer Applications, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING/J.2.8: Physics, 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.6: Reliability and robustness, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.7: Probabilistic algorithms (including Monte Carlo), ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.15: Stochastic processes, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SPI.PLASMA]Engineering Sciences [physics]/Plasmas, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel

    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
    Save to List

Search Tools: