Search Results - [INFO:INFO_MO] Computer Science/Modeling and Simulation

Computer Based Interactive Medical Simulation 

Authors: Cotin, Stéphane

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, simulation, real-time, medicine, training, planning, physics-based modeling, biomechanics, haptics, interaction, physiology

Availability: http://tel.archives-ouvertes.fr/tel-00839511
http://tel.archives-ouvertes.fr/docs/00/83/95/11/PDF/HDR_-_Final.pdf

Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

Authors: Aït-Ameur, Yamine Aït-Sadoune, Idir Baron, Mickael et al.

Contributors: Aït-Ameur, Yamine Aït-Sadoune, Idir Baron, Mickael et al.

Source: Journal d'Interaction Personne-Système. 1

Subject Terms: validation, [INFO:INFO_MO] Informatique/Modélisation et simulation, technique formelle fondée sur la preuve, [INFO:INFO_HC] Computer Science/Human-Computer Interaction, 02 engineering and technology, vérification, IHM multi-modales, [INFO:INFO_HC] Informatique/Interface homme-machine, [INFO:INFO_MO] Computer Science/Modeling and Simulation, modèle de tâches, propriétés CARE, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]

File Description: application/pdf

Access URL: https://jips.episciences.org/59/pdf
https://jips.episciences.org/59
https://doi.org/10.46298/jips.59
https://hal.science/hal-00634186v1
https://hal.science/hal-00634186v1/document
https://doi.org/10.46298/jips.59
https://hal.archives-ouvertes.fr/hal-00634186/document
https://hal.archives-ouvertes.fr/hal-00634186
https://jips.episciences.org/59
https://jips.episciences.org/59/pdf

Simulation crédible des déplacements de piétons en temps réel : modèle microscopique à influence macroscopique

Authors: Simo Kanmeugne, Patrick

Subject Terms: [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_MA] Computer Science/Multiagent Systems, [INFO:INFO_MA] Informatique/Système multi-agents, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_RO] Computer Science/Operations Research, [INFO:INFO_RO] Informatique/Recherche opérationnelle, simulation comportementale, temps réel, passage à l'échelle, systèmes multi-agents, jeux de congestion, planification dynamique, interactions, crédibilité

Availability: http://tel.archives-ouvertes.fr/tel-01066477
http://tel.archives-ouvertes.fr/docs/01/06/64/77/PDF/main.pdf

De la simulation multi-agents à la simulation multi-niveaux. Pour une réification des interactions.

Authors: Picault, Sébastien

Subject Terms: [INFO:INFO_MA] Computer Science/Multiagent Systems, [INFO:INFO_MA] Informatique/Système multi-agents, [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, approche orientée interactions, simulation multi-agents, simulation multi-niveaux, modélisation, méthodologie de conception

Availability: http://tel.archives-ouvertes.fr/tel-00968661
http://tel.archives-ouvertes.fr/docs/00/96/86/61/PDF/HDR-final.pdf

Contributions to parallel stochastic simulation: Application of good software engineering practices to the distribution of pseudorandom streams in hybrid Monte-Carlo simulations

Authors: Passerat-Palmbach, Jonathan

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Pseudorandom Number Generation (PRNG), High Performance Computing (HPC), Software Engineering, Stochastic Simulation, Graphics Processing Units (GPUs), GPU Programming, Automatic Parallelization

Availability: http://tel.archives-ouvertes.fr/tel-00858735
http://tel.archives-ouvertes.fr/docs/00/86/49/58/PDF/phd_thesis_jonathan_passerat-palmbach.pdf

Un environnement de simulation pour la validation de spécifications B événementiel

Authors: Yang, Faqing

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, Spécification, Vérification, Validation, Méthodes formelles, B événementiel, Simulation, JavaScript

Availability: http://tel.archives-ouvertes.fr/tel-00951922
http://tel.archives-ouvertes.fr/docs/00/95/19/22/PDF/DDOC_T_2013_0158_YANG.pdf

Couplage de modèles population et individu-centrés pour la simulation parallélisée des systèmes biologiques : application à la coagulation du sang

Authors: Crépin, Laurent

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_BI] Computer Science/Bioinformatics, [INFO:INFO_BI] Informatique/Bio-informatique, [SDV:BIBS] Life Sciences/Quantitative Methods, [SDV:BIBS] Sciences du Vivant/Bio-Informatique, Biologie Systémique, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, Simulation des systèmes biologiques, Parallélisation, Couplage multi-modèles, Coagulation du sang

Availability: http://tel.archives-ouvertes.fr/tel-00880516
http://tel.archives-ouvertes.fr/docs/01/06/22/56/PDF/These-2013-SICMA-Informatique-CREPIN_Laurent.pdf

Simulation d'événements rares par Monte Carlo dans les réseaux hautement fiables

Authors: Saggadi, Samira

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [MATH:MATH_ST] Mathematics/Statistics, [MATH:MATH_ST] Mathématiques/Statistiques, [STAT:TH] Statistics/Statistics Theory, [STAT:TH] Statistiques/Théorie, [INFO:INFO_RO] Computer Science/Operations Research, [INFO:INFO_RO] Informatique/Recherche opérationnelle, Simulation, événements rares, graphes, Monte Carlo

Availability: http://tel.archives-ouvertes.fr/tel-00940140
http://tel.archives-ouvertes.fr/docs/00/94/01/40/PDF/these-v5-3.pdf

Stratégies numériques avancées pour la simulation de modèles définis sur des géométries de plaques et coques : solutions 3D avec une complexité 2D

Authors: Bognet, Brice

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [SPI:MECA:SOLID] Engineering Sciences/Mechanics/Mechanics of the solides, [SPI:MECA:SOLID] Sciences de l'ingénieur/Mécanique/Mécanique des solides, [PHYS:MECA:SOLID] Physics/Mechanics/Mechanics of the solides, [PHYS:MECA:SOLID] Physique/Mécanique/Mécanique des solides, [INFO:INFO_IA] Computer Science/Computer Aided Engineering, [INFO:INFO_IA] Informatique/Ingénierie assistée par ordinateur, [PHYS:MECA:MSMECA] Physics/Mechanics/Materials and structures in mechanics, [PHYS:MECA:MSMECA] Physique/Mécanique/Matériaux et structures en mécanique, [SPI:MECA:MSMECA] Engineering Sciences/Mechanics/Materials and structures in mechanics, [SPI:MECA:MSMECA] Sciences de l'ingénieur/Mécanique/Matériaux et structures en mécanique, [SPI:MECA:STRU] Engineering Sciences/Mechanics/Mechanics of the structures, [SPI:MECA:STRU] Sciences de l'ingénieur/Mécanique/Mécanique des structures, [PHYS:MECA:STRU] Physics/Mechanics/Mechanics of the structures, [PHYS:MECA:STRU] Physique/Mécanique/Mécanique des structures, [SPI:MECA:MEMA] Engineering Sciences/Mechanics/Mechanics of materials, [SPI:MECA:MEMA] Sciences de l'ingénieur/Mécanique/Mécanique des matériaux, [PHYS:MECA:MEMA] Physics/Mechanics/Mechanics of materials, [PHYS:MECA:MEMA] Physique/Mécanique/Mécanique des matériaux, plaques, coques, matériaux composites, matériaux métalliques, réduction de modèle, PGD (Proper Generalized Decomposition), simulations 3D, éléments finis

Availability: http://tel.archives-ouvertes.fr/tel-01021762
http://tel.archives-ouvertes.fr/docs/01/02/17/62/PDF/These_Bognet.pdf
http://tel.archives-ouvertes.fr/docs/01/02/17/62/ANNEX/presentation_these_Brice_Bognet.pdf

Influence de la forme de la section transversale sur l'écoulement dans un canal: modélisation, simulation et expérience

Authors: Wu, Bo

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [MATH:MATH_MP] Mathematics/Mathematical Physics, [MATH:MATH_MP] Mathématiques/Physique mathématique, écoulement, modèle analytique, simulation numérique, sténose, parole

Availability: http://tel.archives-ouvertes.fr/tel-00938250
http://tel.archives-ouvertes.fr/docs/00/93/82/50/PDF/PhD_final_BoWU.pdf
http://tel.archives-ouvertes.fr/docs/00/93/82/50/ANNEX/PhD_defence_presentation_bo.pdf

Conception d'un Pro Logiciel Interactif sous R pour la Simulation de Processus de Diffusion

Authors: Guidoum, Arsalane

Subject Terms: [MATH:MATH_PR] Mathematics/Probability, [MATH:MATH_PR] Mathématiques/Probabilités, [MATH:MATH_ST] Mathematics/Statistics, [MATH:MATH_ST] Mathématiques/Statistiques, [STAT:TH] Statistics/Statistics Theory, [STAT:TH] Statistiques/Théorie, [STAT:CO] Statistics/Computation, [STAT:CO] Statistiques/Calcul, [STAT:AP] Statistics/Applications, [STAT:AP] Statistiques/Applications, [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_MS] Informatique/Logiciel mathématique, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, modèles attractives, processus de diffusion, simulation, équation différentielle stochastique, modélisation stochastique, langage R

Availability: http://tel.archives-ouvertes.fr/tel-00735806
http://tel.archives-ouvertes.fr/docs/00/73/58/06/PDF/these_PG-MTPS.pdf

Simulations Numériques Instationnaires de la Combustion Turbulente et Transcritique dans les Moteurs Cryotechniques

Authors: Ruiz, Anthony

Subject Terms: [SPI:MECA:MEFL] Engineering Sciences/Mechanics/Fluids mechanics, [SPI:MECA:MEFL] Sciences de l'ingénieur/Mécanique/Mécanique des fluides, [PHYS:MECA:MEFL] Physics/Mechanics/Mechanics of the fluids, [PHYS:MECA:MEFL] Physique/Mécanique/Mécanique des fluides, [PHYS:PHYS:PHYS_FLU-DYN] Physics/Physics/Fluid Dynamics, [PHYS:PHYS:PHYS_FLU-DYN] Physique/Physique/Dynamique des Fluides, [SPI:FLUID] Engineering Sciences/Reactive fluid environment, [SPI:FLUID] Sciences de l'ingénieur/Milieux fluides et réactifs, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, Simulation aux grandes échelles, Simulation numérique directe, Ecoulements transcritiques, Moteurs cryotechniques, Combustion turbulente

Availability: http://tel.archives-ouvertes.fr/tel-00691975
http://tel.archives-ouvertes.fr/docs/00/71/80/11/PDF/main.pdf

Une Méthodologie pour le Développement d'Applications Hautes Performances sur des Architectures GPGPU: Application à la Simulation des Machines Éléctriques

Authors: Antonio Wendell, De Oliveira Rodrigues

Subject Terms: [SPI:ELEC] Engineering Sciences/Electromagnetism, [SPI:ELEC] Sciences de l'ingénieur/Electromagnétisme, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, IDM, UML, MARTE, Transformation de Modéles, Génération Automatique de Code, GPGPU, OpenCL, Simulation Numérique, Machines Électriques

Availability: http://tel.archives-ouvertes.fr/tel-00670221
http://tel.archives-ouvertes.fr/docs/00/67/02/21/PDF/rodriguesFinal.pdf

Investigating the effects of cooperative vehicles on highway traffic flow homogenization: analytical and simulation studies

Authors: Monteil, Julien

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, traffic modeling, connected vehicles, autonomous vehicles, system identification, multi-agent systems, stability analyses, non-linear wave propagation, learning of unreliable sensors

Availability: http://tel.archives-ouvertes.fr/tel-00974818
http://tel.archives-ouvertes.fr/docs/00/98/64/15/PDF/PhDthesis_JM.pdf
http://tel.archives-ouvertes.fr/docs/00/98/64/15/ANNEX/PhDdefense_JM.pdf

Modélisation et simulation de la diffusion

Authors: Li, Jing-Rebecca

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [MATH:MATH_NA] Mathematics/Numerical Analysis, [MATH:MATH_NA] Mathématiques/Analyse numérique, Diffusion, imagerie par resonance magnetic de la diffusion, équations avec memoire, l'équation integral

Availability: http://tel.archives-ouvertes.fr/tel-00925028
http://tel.archives-ouvertes.fr/docs/00/92/50/28/PDF/main_final.pdf

Conception de vues métiers dans les collecticiels orientés service. Vers des multi-vues adaptées pour la simulation collaborative 4D/nD de la construction

Authors: Boton, Conrad

Subject Terms: [SHS:ARCHI] Humanities and Social Sciences/Architecture, space management, [INFO:INFO_HC] Computer Science/Human-Computer Interaction, [INFO:INFO_MO] Computer Science/Modeling and Simulation, Construction, Collaboration, Simulation, CAO 4D, Visualisation, Vues métiers, Science de la conception, IHM

Availability: http://tel.archives-ouvertes.fr/tel-00818022
http://tel.archives-ouvertes.fr/docs/00/81/80/22/PDF/These_CBO.pdf

Simulation temps-réel d'interventions médicales impliquant des déformations et des interactions mécaniques entre les tissus et les outils (Manuscrit en anglais)

Authors: Duriez, Christian

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_RB] Computer Science/Robotics, [SPI:AUTO] Engineering Sciences/Automatic, [INFO:INFO_GR] Computer Science/Computer Graphics and Virtual Reality, simulation médicale, déformations, rendu haptique, temps-réel, Méthode des éléments finis, tissus mous, réponse à la collision, modélisation des contacts, modélisation du frottement, simulation pour l'entrainement, aide à la planification chirurgicale, guidage per-opératoire, framework SOFA

Availability: http://tel.archives-ouvertes.fr/tel-00785118
http://tel.archives-ouvertes.fr/docs/00/79/94/95/PDF/HDR_duriez.pdf
http://tel.archives-ouvertes.fr/docs/00/79/94/95/ANNEX/Rapport_HDR_MingLin.pdf
http://tel.archives-ouvertes.fr/docs/00/79/94/95/ANNEX/Rapport_HDR_YohanPayan.pdf
http://tel.archives-ouvertes.fr/docs/00/79/94/95/ANNEX/Rapport_HDR_CagatayBasdogan.pdf
http://tel.archives-ouvertes.fr/docs/00/79/94/95/ANNEX/RapportSoutenance.pdf
http://tel.archives-ouvertes.fr/docs/00/79/94/95/IMG/NewLiver.png

Une Approche Hybride de Simulation-Optimisation Basée sur la fouille de Données pour les problèmes d'ordonnancement

Authors: Shahzad, Atif

Subject Terms: [SPI:AUTO] Engineering Sciences/Automatic, [SPI:AUTO] Sciences de l'ingénieur/Automatique / Robotique, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_LG] Computer Science/Machine Learning, [INFO:INFO_LG] Informatique/Apprentissage, Simulation, Optimisation, Ordonnancement, Règles de priorité, Fouille de données, Recherche tabou, Job shop

Availability: http://tel.archives-ouvertes.fr/tel-00647353
http://tel.archives-ouvertes.fr/docs/00/64/73/53/PDF/Thesis_Atif_SHAHZAD.pdf

Raffinement de maillage multi-grille local en vue de la simulation 3D du combustible nucléaire des Réacteurs à Eau sous Pression

Authors: Barbié, Lauréline

Subject Terms: [PHYS:MECA:SOLID] Physics/Mechanics/Mechanics of the solides, [PHYS:MECA:SOLID] Physique/Mécanique/Mécanique des solides, [SPI:MECA:SOLID] Engineering Sciences/Mechanics/Mechanics of the solides, [SPI:MECA:SOLID] Sciences de l'ingénieur/Mécanique/Mécanique des solides, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, Raffinement automatique de maillage, Méthode multi-grille locale, Local Defect Correction, Estimateur d'erreur a posteriori, Interaction Pastille-Gaine, Mécanique non linéaire avec effet d'histoire

Availability: http://tel.archives-ouvertes.fr/tel-00926550
http://tel.archives-ouvertes.fr/docs/00/94/55/77/PDF/these_lb.pdf

Une approche basée sur les modèles pour le développement d'applications de simulation numérique haute-performance

Authors: Palyart, Marc

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_MO] Computer Science/Modeling and Simulation, ingénierie dirigée par les modèles, calcul haute-performance, simulation numérique, langage de modélisation dédié, génie logiciel

Availability: http://tel.archives-ouvertes.fr/tel-00865535
http://tel.archives-ouvertes.fr/docs/00/86/55/35/PDF/Marc_Palyart_PhD_Thesis_Complete.pdf