Výsledky vyhledávání - ACM: G.: Mathematics of Computing/G.0: GENERAL

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

Autoři: Zhiming, Gao Jiming, Wu Laboratory of Computational Physics a další

Přispěvatelé: Zhiming, Gao Jiming, Wu Laboratory of Computational Physics a další

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

Témata: 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

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

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

Autoři: Altarovici, Albert Bokanowski, Olivier Zidani, Hasnaa a další

Přispěvatelé: Altarovici, Albert Bokanowski, Olivier Zidani, Hasnaa a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

A Composite Mixed Finite Elements for General Hexahedral Grids

Autoři: Sboui, Amel Jaffré, Jérôme E. Roberts, Jean a další

Přispěvatelé: Sboui, Amel Jaffré, Jérôme E. Roberts, Jean a další

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

Témata: 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]

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

Object-Oriented Techniques for Sparse Matrix Computations in Fortran 2003

Autoři: Filippone, Salvatore Buttari, Alfredo University of Rome "Tor Vergeta" a další

Přispěvatelé: Filippone, Salvatore Buttari, Alfredo University of Rome "Tor Vergeta" a další

Zdroj: 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⟩.

Témata: 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

Dostupnost: 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

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

Autoři: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René a další

Přispěvatelé: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René a další

Zdroj: 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

Témata: 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

Geografické téma: Djerba, Tunisia

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

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

Autoři: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René a další

Přispěvatelé: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René a další

Zdroj: 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

Témata: 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

Geografické téma: Timisoara, Romania

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

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

Autoři: Lerman, Israël-César Biological systems and models, bioinformatics and sequences (SYMBIOSE) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) a další

Přispěvatelé: Lerman, Israël-César Biological systems and models, bioinformatics and sequences (SYMBIOSE) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) a další

Zdroj: 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

Témata: 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]

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

FAST COMPUTATION OF ALL PAIRS OF GEODESIC DISTANCES

Autoři: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique a další

Přispěvatelé: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique a další

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

Témata: 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

Popis souboru: application/html; application/pdf; text/plain

Přístupová URL adresa: 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

A Generic Algebraic Kernel for Non-linear Geometric Applications

Autoři: Berberich, Eric Hemmer, Michael Kerber, Michael a další

Přispěvatelé: Berberich, Eric Hemmer, Michael Kerber, Michael a další

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

Témata: 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]

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

Packaging Mathematical Structures

Autoři: Garillot, François Gonthier, Georges Mahboubi, Assia a další

Přispěvatelé: Garillot, François Gonthier, Georges Mahboubi, Assia a další

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

Témata: 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]

Geografické téma: Munich, Germany

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

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

Autoři: Kacef, Mohamed Amine Département de Probabilités et Statistique Université des Sciences et de la Technologie Houari Boumediene Alger (USTHB) a další

Přispěvatelé: Kacef, Mohamed Amine Département de Probabilités et Statistique Université des Sciences et de la Technologie Houari Boumediene Alger (USTHB) a další

Zdroj: 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.

Témata: 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

Dostupnost: 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

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

Autoři: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique a další

Přispěvatelé: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique a další

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

Témata: 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

Popis souboru: application/pdf; text/plain

Přístupová URL adresa: 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

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

Autoři: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René a další

Přispěvatelé: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René a další

Zdroj: 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

Témata: 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

Geografické téma: Wuhan, China

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

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

Autoři: Laniau, Julie Dynamics, Logics and Inference for biological Systems and Sequences (Dyliss) Inria Rennes – Bretagne Atlantique a další

Přispěvatelé: Laniau, Julie Dynamics, Logics and Inference for biological Systems and Sequences (Dyliss) Inria Rennes – Bretagne Atlantique a další

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

Témata: 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]

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

Conservative cross diffusions and pattern formation through relaxation

Autoři: Bendahmane, Mostafa Lepoutre, Thomas Marrocco, Americo a další

Přispěvatelé: Bendahmane, Mostafa Lepoutre, Thomas Marrocco, Americo a další

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

Témata: 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]

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

Towards understanding the robustness against evasion attack on categorical inputs

Autoři: Bao, Hongyan Han, Yufei Zhou, Yujun a další

Přispěvatelé: Bao, Hongyan Han, Yufei Zhou, Yujun a další

Zdroj: 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

Témata: 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]

Geografické téma: Virtual Event, France

Dostupnost: 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

Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems

Autoři: Idrissi Aouad, Maha Schott, René Zendra, Olivier a další

Přispěvatelé: Idrissi Aouad, Maha Schott, René Zendra, Olivier a další

Zdroj: 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

Témata: 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

Geografické téma: Athens, Greece

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

Hybrid Heuristics for Optimizing Energy Consumption in Embedded Systems

Autoři: Idrissi Aouad, Maha Schott, René Zendra, Olivier a další

Přispěvatelé: Idrissi Aouad, Maha Schott, René Zendra, Olivier a další

Zdroj: 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

Témata: 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

Geografické téma: Londres, United Kingdom

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

Constructing the Exact Voronoi Diagram of Arbitrary Lines in Space

Autoři: Hemmer, Michael Setter, Ophir Halperin, Dan a další

Přispěvatelé: Hemmer, Michael Setter, Ophir Halperin, Dan a další

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

Témata: 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]

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

Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms

Autoři: Revol, Nathalie Théveny, Philippe Arithmetic and Computing (ARIC) a další

Přispěvatelé: Revol, Nathalie Théveny, Philippe Arithmetic and Computing (ARIC) a další

Zdroj: 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⟩.

Témata: 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

Dostupnost: 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