-
1
المساهمون: EL OUAFA, Simon
مصطلحات موضوعية: [SPI] Engineering Sciences [physics], 3D paralléle, fort ratios, Solveur tout-couplé, [PHYS.MECA.MEFL] Physics [physics]/Mechanics [physics]/Fluid mechanics [physics.class-ph], écoulements di-phasiques, point-selle
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_____10692::c540cd5776349a925a197e18d6462431
https://hal.science/hal-04079918 -
2
المؤلفون: Toufaili, Ali
المساهمون: EDF R&D (EDF R&D), EDF (EDF), Institut de Mathématiques de Marseille (I2M), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), CIFRE EDF / I2M-AMU, Aix-Marseille Université, Jean-Marc Hérard, Sergey Gavrilyuk
المصدر: Mathematical Physics [math-ph]. Aix-Marseille Université, 2023. English. ⟨NNT : ⟩
مصطلحات موضوعية: solveur de Riemann approché, écoulements compressibles, approximate Riemann solver, volumes finis, [SPI.FLUID]Engineering Sciences [physics]/Reactive fluid environment, shock waves, Riemann problem, [SPI.MECA.MEFL]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph], Turbulence, hyperbolic system, ondes de choc, compressible flows, [MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph], systèmes hyperboliques, problème de Riemann, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], explosion, finite volumes
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dae1eb24398174f1262bcd35f41e20eb
-
3
المؤلفون: Dorra Ben Khalifa
المساهمون: LAboratoire de Mathématiques et PhySique (LAMPS), Université de Perpignan Via Domitia (UPVD), Université de Perpignan, Matthieu Martel, Assalé Adje
المصدر: Computer Arithmetic. Université de Perpignan, 2021. English. ⟨NNT : 2021PERP0026⟩
Dorra Ben Khalifa
HALمصطلحات موضوعية: Arithmétique des ordinateurs, Policy iteration, Analyse statique, Solveur LP, Itération sur les politiques, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Constraint generation, Computer arithmetic, Static analysis, LP solver, SMT solver, Numerical accuracy, Précision numérique, Génération des contraintes, Solveur SMT
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a0701d91b022431921c82e9f4c3d319
https://tel.archives-ouvertes.fr/tel-03509266 -
4
المؤلفون: Gelebart, Lionel, Nkoumbou Kaptchouang, Noé-Brice
المساهمون: Service des Recherches Métallurgiques Appliquées (SRMA), Département des Matériaux pour le Nucléaire (DMN), CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Polytechnique Hauts-de-France [UPHF], Laboratoire d'Etude du Comportement Mécanique des Matériaux (LC2M), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Département des Matériaux pour le Nucléaire (DMN)
المصدر: 15ème colloque national en calcul des structures
15ème colloque national en calcul des structures, Université Polytechnique Hauts-de-France [UPHF], May 2022, 83400 Hyères-les-Palmiers, France
CSMA 2022
CSMA 2022, May 2022, Giens, Franceمصطلحات موضوعية: solveur FFT, Local Defect Correction, échelle, [SPI.MECA.STRU]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Structural mechanics [physics.class-ph], multi, [SPI.MECA.MEMA]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanics of materials [physics.class-ph], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Conditions aux Limites Dirichlet et Neumann, [CHIM.MATE]Chemical Sciences/Material chemistry, raffinement local, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55f1c4515a4ffc104791a3f031fc2409
https://hal.science/hal-03718085/document -
5
المؤلفون: Blaise, Léa
المساهمون: Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, INSA Toulouse, Christian Artigues(artigues@laas.fr)
المصدر: Automatique. INSA Toulouse, 2022. Français
مصطلحات موضوعية: solveur, propagation de contraintes, local search, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, ordonnancement disjonctif, packing, constraint propagation, disjunctive scheduling, recherche locale, solver
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______4074::13c4159c2a49bca591c59766e5e4390b
https://hal.laas.fr/tel-03662149 -
6
المؤلفون: Tenaud, Emeline
المساهمون: Sciencesconf.org, CCSD
مصطلحات موضوعية: boîte noire, [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], solveur, [INFO.INFO-RO] Computer Science [cs]/Operations Research [cs.RO], fonction de base radiale, modèle de substitution
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______166::4160b6150d907f2aa825c6beae7a3945
https://hal.archives-ouvertes.fr/hal-03596207 -
7
المؤلفون: Crognier, Guillaume
المساهمون: Sciencesconf.org, CCSD
مصطلحات موضوعية: [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], solveur, [INFO.INFO-RO] Computer Science [cs]/Operations Research [cs.RO], variables mixtes, inventory routing problem
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______166::97317ca7dc11da6937f98b04fb8a7e87
https://hal.archives-ouvertes.fr/hal-03596170 -
8
المؤلفون: Benmaghnia, Hanane
المساهمون: STAR, ABES
مصطلحات موضوعية: Arithmétique à virgule fixe, Analyse statique, Code synthesis, [INFO.INFO-NE] Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], Génération de contraintes, Static analysis, Constraints generation, SMT solver, Réseaux de neurones, Précision numérique, Fixed-Point arithmetic, Solveur SMT, Numerical acuracy, Neural networks, Synthèse de code
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______166::42bf6b39456bed23c80bb5d305a99b74
https://theses.hal.science/tel-03935609 -
9
المؤلفون: Blaise, Léa, Benoist, Thierry, Artigues, Christian
المساهمون: Sciencesconf.org, CCSD, Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), LocalSolver, INSA Lyon
المصدر: 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne-Lyon, Franceمصطلحات موضوعية: [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], solveur, [INFO.INFO-RO] Computer Science [cs]/Operations Research [cs.RO], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], packing, recherche locale, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], ordonnancement
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::755faca2d4093681c8593e6ba64af74f
https://hal.science/hal-03595405 -
10
المؤلفون: Gava, Francesco
المساهمون: STAR, ABES
مصطلحات موضوعية: Optimization, Solveur CFD, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Hybride, Parallelism, Message Passing Interface, OpenMP, Computational Fluid Dynamics, Performances parallèles, [PHYS.PHYS.PHYS-FLU-DYN] Physics [physics]/Physics [physics]/Fluid Dynamics [physics.flu-dyn], Hybrid, CDF solver, Parallélisme, Parallel performances, Optimisation, [PHYS.MECA.MEFL] Physics [physics]/Mechanics [physics]/Fluid mechanics [physics.class-ph], High performance computing
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______166::5db744c5fcc0dd3d5d47f1883b8d31c2
https://theses.hal.science/tel-03670638