Search Results - ACM: G.: Mathematics of Computing/G.0: GENERAL*

Refine Results
  1. 1

    A LINEARITY PRESERVING CELL-CENTERED SCHEME FOR THE HETEROGENEOUS AND ANISOTROPIC DIFFUSION EQUATIONS ON GENERAL MESHES

    Authors: Zhiming, Gao Jiming, Wu Laboratory of Computational Physics et al.

    Contributors: Zhiming, Gao Jiming, Wu Laboratory of Computational Physics et al.

    Source: https://hal.inria.fr/inria-00481112 ; [Research Report] 2011.

    Subject Terms: Diffusion equation, Anisotropic diffusion tensor, Cell-centered scheme, Linearity preserving criterion, Nonconforming mesh, ACM: G.: Mathematics of Computing, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.4: Finite volume methods, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

    Relation: inria-00481112; https://hal.inria.fr/inria-00481112; https://hal.inria.fr/inria-00481112v2/document; https://hal.inria.fr/inria-00481112v2/file/fld2011.pdf

    Availability: https://hal.inria.fr/inria-00481112
    https://hal.inria.fr/inria-00481112v2/document
    https://hal.inria.fr/inria-00481112v2/file/fld2011.pdf

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

    A general Hamilton-Jacobi framework for non-linear state-constrained control problems

    Authors: Altarovici, Albert Bokanowski, Olivier Zidani, Hasnaa et al.

    Contributors: Altarovici, Albert Bokanowski, Olivier Zidani, Hasnaa et al.

    Source: ESAIM: Control, Optimisation and Calculus of Variations. 19:337-357

    Subject Terms: nonlinear controlled systems, 90C39, State constraints, viscosity solutions, 49J15, sadco, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], 01 natural sciences, 35B37, ACM: G.: Mathematics of Computing, optimal control problems, 49Lxx, 49J45, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], 0101 mathematics, Hamilton-Jacobi equations

    File Description: application/pdf

    Access URL: https://www.esaim-cocv.org/articles/cocv/pdf/2013/02/cocv120011.pdf
    https://inria.hal.science/hal-00653337v3
    https://doi.org/10.1051/cocv/2012011
    https://inria.hal.science/hal-00653337v3/document

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

    A Composite Mixed Finite Elements for General Hexahedral Grids

    Authors: Sboui, Amel Jaffré, Jérôme E. Roberts, Jean et al.

    Contributors: Sboui, Amel Jaffré, Jérôme E. Roberts, Jean et al.

    Source: https://inria.hal.science/inria-00173453 ; [Research Report] RR-6300, INRIA. 2007, pp.27.

    Subject Terms: mixed finite element, hexahedral grids, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

    Availability: https://inria.hal.science/inria-00173453
    https://inria.hal.science/inria-00173453v2/document
    https://inria.hal.science/inria-00173453v2/file/rapInriaSbouiJaffreRoberts.pdf

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

    Object-Oriented Techniques for Sparse Matrix Computations in Fortran 2003

    Authors: Filippone, Salvatore Buttari, Alfredo University of Rome "Tor Vergeta" et al.

    Contributors: Filippone, Salvatore Buttari, Alfredo University of Rome "Tor Vergeta" et al.

    Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.archives-ouvertes.fr/hal-02419121 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, 2012, 38 (4), pp.1-20. ⟨10.1145/2331130.2331131⟩.

    Subject Terms: Mathematics of computing, sparse matrices, Algorithms, Design Additional Key Words and Phrases: Sparse Matrices, Object-Oriented Design, D211 [Software Engineering]: Software Architectures-Data abstrac- tion, information hiding, structured, G13 [Numerical Analysis]: Numerical Linear Algebra-Sparse, G4 [Mathematical Software]: Algorithm design and analysis General Terms: Mathematics of computing, and very large systems (direct and iterative methods), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

    Relation: hal-02419121; https://hal.archives-ouvertes.fr/hal-02419121; https://hal.archives-ouvertes.fr/hal-02419121/document; https://hal.archives-ouvertes.fr/hal-02419121/file/psblas3.pdf

    Availability: https://hal.archives-ouvertes.fr/hal-02419121
    https://hal.archives-ouvertes.fr/hal-02419121/document
    https://hal.archives-ouvertes.fr/hal-02419121/file/psblas3.pdf
    https://doi.org/10.1145/2331130.2331131

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

    Reduction of Energy Consumption in Embedded Systems: A Hybrid Evolutionary Algorithm

    Authors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Contributors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Source: META'10 - 3rd International Conference on Metaheuristics and Nature Inspired Computing ; https://inria.hal.science/inria-00524975 ; META'10 - 3rd International Conference on Metaheuristics and Nature Inspired Computing, Oct 2010, Djerba, Tunisia

    Subject Terms: optimization, simulated annealing, particle swarm optimization, memory management, Embedded systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Djerba, Tunisia

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

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

    Sequential and Distributed Hybrid GA-SA Algorithms for Energy Optimization in Embedded Systems

    Authors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Contributors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Source: the IADIS International Conference Applied Computing 2010 ; https://inria.hal.science/inria-00524974 ; the IADIS International Conference Applied Computing 2010, Oct 2010, Timisoara, Romania. pp.167-174

    Subject Terms: genetic algorithms, simulated annealing, memory management, optimization, embedded systems, Distributed systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Timisoara, Romania

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

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

    Coefficient numérique général de discrimination de classes d'objets par des variables de types quelconques. Application à des données génotypiques

    Authors: Lerman, Israël-César Biological systems and models, bioinformatics and sequences (SYMBIOSE) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) et al.

    Contributors: Lerman, Israël-César Biological systems and models, bioinformatics and sequences (SYMBIOSE) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) et al.

    Source: EISSN: 2400-4812 ; Revue de Statistique Appliquée ; https://inria.hal.science/inria-00180080 ; Revue de Statistique Appliquée, 2006, Revue de Statistique Appliquée, 54 (2), pp.33-63

    Subject Terms: ACM: G.: Mathematics of Computing, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH]

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

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

    FAST COMPUTATION OF ALL PAIRS OF GEODESIC DISTANCES

    Authors: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique et al.

    Contributors: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique et al.

    Source: Image Analysis and Stereology, Vol 30, Iss 2, Pp 101-109 (2011)
    Image analysis and stereology

    Subject Terms: FOS: Computer and information sciences, Medicine (General), Discrete Mathematics (cs.DM), ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, fast marching, 02 engineering and technology, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], R5-920, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.1: Numerical Algorithms and Problems, QA1-939, FOS: Electrical engineering, electronic engineering, information engineering, 0202 electrical engineering, electronic engineering, information engineering, [MATH.TR-IMG]Mathematics [math]/domain_math.tr-img, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION, Image and Video Processing (eess.IV), Electrical Engineering and Systems Science - Image and Video Processing, geodesic propagation, all pairs of geodesic distances, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], Mathematical Morphology, All pairs of geodesic distances, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.5: Numerical algorithms, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, Mathematics, Computer Science - Discrete Mathematics

    File Description: application/html; application/pdf; text/plain

    Access URL: https://www.ias-iss.org/ojs/IAS/article/download/891/789
    http://arxiv.org/abs/2007.16076
    https://doaj.org/article/c94b9c43b6fe431f9ee7436183e9b22b
    http://ui.adsabs.harvard.edu/abs/2020arXiv200716076N/abstract
    http://export.arxiv.org/pdf/2007.16076
    https://arxiv.org/pdf/2007.16076.pdf
    https://arxiv.org/abs/2007.16076
    https://www.ias-iss.org/ojs/IAS/article/viewFile/891/789
    https://hal.archives-ouvertes.fr/hal-00658907
    https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-16076
    https://hal-mines-paristech.archives-ouvertes.fr/hal-00658907v2
    https://hal-mines-paristech.archives-ouvertes.fr/hal-00658907/document
    http://www.dlib.si/details/URN:NBN:SI:doc-PGMTUGR6

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

    A Generic Algebraic Kernel for Non-linear Geometric Applications

    Authors: Berberich, Eric Hemmer, Michael Kerber, Michael et al.

    Contributors: Berberich, Eric Hemmer, Michael Kerber, Michael et al.

    Source: https://inria.hal.science/inria-00480031 ; [Research Report] RR-7274, INRIA. 2010, pp.20.

    Subject Terms: Algebraic Kernel, Algebraic Curves, Arrangements, Boolean Set Operations, Robust Geometric Computing, Experiments, CGAL, Generic Programming, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: D.: Software/D.0: GENERAL, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

    Availability: https://inria.hal.science/inria-00480031
    https://inria.hal.science/inria-00480031v1/document
    https://inria.hal.science/inria-00480031v1/file/RR-7274.pdf

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

    Packaging Mathematical Structures

    Authors: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

    Contributors: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

    Source: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany

    Subject Terms: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]

    Subject Geographic: Munich, Germany

    Availability: https://inria.hal.science/inria-00368403
    https://inria.hal.science/inria-00368403v2/document
    https://inria.hal.science/inria-00368403v2/file/main.pdf

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

    ON THE FIRST PASSAGE TIME IN THE DYNAMIC ACTUARIAL RISKS ; SUR L'INSTANT DE PREMIER PASSAGE DANS LES RISQUES DYNAMIQUES ACTUARIELS

    Authors: Kacef, Mohamed Amine Département de Probabilités et Statistique Université des Sciences et de la Technologie Houari Boumediene Alger (USTHB) et al.

    Contributors: Kacef, Mohamed Amine Département de Probabilités et Statistique Université des Sciences et de la Technologie Houari Boumediene Alger (USTHB) et al.

    Source: https://tel.archives-ouvertes.fr/tel-03279247 ; Pricing [q-fin.PR]. Université des Sciences et de la Technologie Houari Boumediène (Algérie), 2021. Français.

    Subject Terms: Quantitative Finance, First passage time, Option Pricing, Monte-Carlo Simulation, Stochastic process, instant de premier passage, Simulations Monte-Carlo, Mouvement brownien, Tarification d'option, Actuariat, JEL: G - Financial Economics/G.G1 - General Financial Markets/G.G1.G12 - Asset Pricing • Trading Volume • Bond Interest Rates, JEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C63 - Computational Techniques • Simulation Modeling, JEL: G - Financial Economics/G.G2 - Financial Institutions and Services/G.G2.G22 - Insurance • Insurance Companies • Actuarial Studies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, [QFIN.PR]Quantitative Finance [q-fin]/Pricing of Securities [q-fin.PR], [QFIN.PM]Quantitative Finance [q-fin]/Portfolio Management [q-fin.PM], [QFIN.RM]Quantitative Finance [q-fin]/Risk Management [q-fin.RM], [QFIN.CP]Quantitative Finance [q-fin]/Computational Finance [q-fin.CP], [QFIN.GN]Quantitative Finance [q-fin]/General Finance [q-fin.GN], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

    Relation: tel-03279247; https://tel.archives-ouvertes.fr/tel-03279247; https://tel.archives-ouvertes.fr/tel-03279247/document; https://tel.archives-ouvertes.fr/tel-03279247/file/SUR%20L%27INSTANT%20DE%20PREMIER%20PASSAGE%20DANS%20LESRISQUES%20DYNAMIQUES%20ACTUARIELS.pdf

    Availability: https://tel.archives-ouvertes.fr/tel-03279247
    https://tel.archives-ouvertes.fr/tel-03279247/document
    https://tel.archives-ouvertes.fr/tel-03279247/file/SUR%20L%27INSTANT%20DE%20PREMIER%20PASSAGE%20DANS%20LESRISQUES%20DYNAMIQUES%20ACTUARIELS.pdf

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

    MULTIVARIATE MATHEMATICAL MORPHOLOGY FOR DCE-MRI IMAGE ANALYSIS IN ANGIOGENESIS STUDIES

    Authors: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique et al.

    Contributors: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique et al.

    Source: Image Analysis and Stereology, Vol 34, Iss 1, Pp 1-25 (2014)
    Image analysis and stereology

    Subject Terms: FOS: Computer and information sciences, Medicine (General), [SDV.IB.IMA]Life Sciences [q-bio]/Bioengineering/Imaging, Stochastic Watershed, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.4: Applications/I.5.4.1: Signal processing, Computer Vision and Pattern Recognition (cs.CV), [INFO.INFO-IM] Computer Science [cs]/Medical Imaging, Computer Science - Computer Vision and Pattern Recognition, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], tumours, 7. Clean energy, Segmentation, [INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], 0302 clinical medicine, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION, Image and Video Processing (eess.IV), Classification, [INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV], classification, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], [PHYS.PHYS.PHYS-MED-PH]Physics [physics]/Physics [physics]/Medical Physics [physics.med-ph], hyperspectral Mathematical Morphology, stochastic watershed, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.5: Numerical algorithms, Factor Analysis, DCE-MRI series, Multivariate Mathematical Morphology, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], medical imaging, [SDV.CAN]Life Sciences [q-bio]/Cancer, 03 medical and health sciences, Tumours, R5-920, [SDV.CAN] Life Sciences [q-bio]/Cancer, Machine learning, [INFO.INFO-IM]Computer Science [cs]/Medical Imaging, QA1-939, FOS: Electrical engineering, electronic engineering, information engineering, cancer, [PHYS.PHYS.PHYS-MED-PH] Physics [physics]/Physics [physics]/Medical Physics [physics.med-ph], segmentation, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], multivariate mathematical morphology, Electrical Engineering and Systems Science - Image and Video Processing, [SDV.IB.IMA] Life Sciences [q-bio]/Bioengineering/Imaging, 13. Climate action, Mathematical Morphology, Mathematics

    File Description: application/pdf; text/plain

    Access URL: https://www.ias-iss.org/ojs/IAS/article/download/1109/956
    http://arxiv.org/abs/1910.12704
    https://doaj.org/article/602842fe637a41f2a283f202dd1adcd5
    https://hal.archives-ouvertes.fr/hal-01152401
    https://hal-mines-paristech.archives-ouvertes.fr/hal-01152401v2
    https://www.ias-iss.org/ojs/IAS/article/download/1109/956
    https://hal-mines-paristech.archives-ouvertes.fr/hal-01152401/document
    https://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-12704
    http://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-12704
    https://arxiv.org/abs/1910.12704
    https://arxiv.org/pdf/1910.12704
    http://export.arxiv.org/pdf/1910.12704
    https://ui.adsabs.harvard.edu/abs/2019arXiv191012704N/abstract
    https://minesparis-psl.hal.science/hal-01152401v2
    https://doi.org/10.5566/ias.1109
    https://minesparis-psl.hal.science/hal-01152401v2/document
    http://www.dlib.si/details/URN:NBN:SI:doc-TSPVG34W

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

    Sequential and Distributed SA-Type Algorithms for Energy Optimization in Embedded Systems

    Authors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Contributors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Source: IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering) ; https://inria.hal.science/inria-00541375 ; IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering), Dec 2010, Wuhan, China

    Subject Terms: memory management, optimization, simulated annealing, embedded systems, Distributed systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Wuhan, China

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

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

    Biological networks structure : role of internal nodes regarding production of target elements ; Structure de réseaux biologiques : rôle des nœuds internes vis-à-vis de la production de composés

    Authors: Laniau, Julie Dynamics, Logics and Inference for biological Systems and Sequences (Dyliss) Inria Rennes – Bretagne Atlantique et al.

    Contributors: Laniau, Julie Dynamics, Logics and Inference for biological Systems and Sequences (Dyliss) Inria Rennes – Bretagne Atlantique et al.

    Source: https://hal.science/tel-01656474 ; Recherche opérationnelle [math.OC]. Inria Rennes - Bretagne Atlantique, 2017. Français. ⟨NNT : ⟩.

    Subject Terms: Informatic, Constraints Programming, Modeling & Simulation, Recherche opérationnelle, Modélisation, Contraintes, Bio-informatique théorique, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory/G.2.2.3: Network problems, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN]

    Availability: https://hal.science/tel-01656474
    https://hal.science/tel-01656474v1/document
    https://hal.science/tel-01656474v1/file/manuscrit_these.pdf

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

    Conservative cross diffusions and pattern formation through relaxation

    Authors: Bendahmane, Mostafa Lepoutre, Thomas Marrocco, Americo et al.

    Contributors: Bendahmane, Mostafa Lepoutre, Thomas Marrocco, Americo et al.

    Source: https://inria.hal.science/inria-00368595 ; 2009.

    Subject Terms: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, 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.0: General, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.3: Finite element methods, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.4: Model Validation and Analysis, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

    Availability: https://inria.hal.science/inria-00368595
    https://inria.hal.science/inria-00368595/document
    https://inria.hal.science/inria-00368595/file/cross_ps.pdf

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

    Towards understanding the robustness against evasion attack on categorical inputs

    Authors: Bao, Hongyan Han, Yufei Zhou, Yujun et al.

    Contributors: Bao, Hongyan Han, Yufei Zhou, Yujun et al.

    Source: ICLR 2022 - 10th International Conference on Learning Representations ; https://inria.hal.science/hal-03893480 ; ICLR 2022 - 10th International Conference on Learning Representations, Apr 2022, Virtual Event, France

    Subject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]

    Subject Geographic: Virtual Event, France

    Availability: https://inria.hal.science/hal-03893480
    https://inria.hal.science/hal-03893480v1/document
    https://inria.hal.science/hal-03893480v1/file/3912_towards_understanding_the_robu.pdf

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

    Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems

    Authors: Idrissi Aouad, Maha Schott, René Zendra, Olivier et al.

    Contributors: Idrissi Aouad, Maha Schott, René Zendra, Olivier et al.

    Source: ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies ; https://inria.hal.science/inria-00516396 ; ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies, Jul 2010, Athens, Greece. pp.394-402

    Subject Terms: optimizations, memory allocation management, Genetic heuristics, Energy consumption reduction, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Athens, Greece

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

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

    Hybrid Heuristics for Optimizing Energy Consumption in Embedded Systems

    Authors: Idrissi Aouad, Maha Schott, René Zendra, Olivier et al.

    Contributors: Idrissi Aouad, Maha Schott, René Zendra, Olivier et al.

    Source: ISCIS 2010 - 25th International Symposium on Computer and Information Sciences ; https://inria.hal.science/inria-00524320 ; ISCIS 2010 - 25th International Symposium on Computer and Information Sciences, Sep 2010, Londres, United Kingdom. pp.409 - 414

    Subject Terms: memory allocation management, Tabu Search, hybrid heuristics, optimizations, Genetic heuristics, Energy consumption reduction, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Londres, United Kingdom

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

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

    Constructing the Exact Voronoi Diagram of Arbitrary Lines in Space

    Authors: Hemmer, Michael Setter, Ophir Halperin, Dan et al.

    Contributors: Hemmer, Michael Setter, Ophir Halperin, Dan et al.

    Source: https://inria.hal.science/inria-00480045 ; [Research Report] RR-7273, INRIA. 2010, pp.19.

    Subject Terms: Voronoi Diagram, Point Location, Lower Envelope, Exact Geometric Computing, CGAL, ACM: D.: Software/D.0: GENERAL, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]

    Availability: https://inria.hal.science/inria-00480045
    https://inria.hal.science/inria-00480045v1/document
    https://inria.hal.science/inria-00480045v1/file/RR-7273.pdf

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

    Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms

    Authors: Revol, Nathalie Théveny, Philippe Arithmetic and Computing (ARIC) et al.

    Contributors: Revol, Nathalie Théveny, Philippe Arithmetic and Computing (ARIC) et al.

    Source: ISSN: 0018-9340 ; IEEE Transactions on Computers ; https://inria.hal.science/hal-00916931 ; IEEE Transactions on Computers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩.

    Subject Terms: interval arithmetic, numerical reproducibility, parallel implementation, floating-point arithmetic, rounding mode, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

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

    Availability: https://inria.hal.science/hal-00916931
    https://inria.hal.science/hal-00916931v2/document
    https://inria.hal.science/hal-00916931v2/file/Revol-Theveny-long-version.pdf
    https://doi.org/10.1109/TC.2014.2322593

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

Search Tools: