Alexandre Muzy
60
Documents
Publications
|
Reconstruction de la connectivité fonctionnelle en Neurosciences: une amélioration des algorithmes actuels52èmes Journées de Statistique de la Société Française de Statistique (SFdS), Jun 2021, Nice, France
Communication dans un congrès
hal-03413777v1
|
Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models8th International Conference on Pattern Recognition Applications and Methods, Feb 2019, Prague, Czech Republic. pp.605-612, ⟨10.5220/0007391906050612⟩
Communication dans un congrès
hal-02412723v1
|
|
Computer-Aided Formal Proofs about Dendritic Integration within a NeuronBIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal. pp.12
Communication dans un congrès
hal-01663555v1
|
|
|
Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation resultsThe 2016 International Conference on High Performance Computing & Simulation (HPCS 2016), International Workshop on Parallel Computations for Neural Networks (PCNN 2016), Jul 2016, Innsbruck, Austria
Communication dans un congrès
hal-01316924v1
|
|
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive SystemsHSB 2016 - 5th International Workshop Hybrid Systems Biology, Oct 2016, Grenoble, France. pp.15, ⟨10.1007/978-3-319-47151-8_7⟩
Communication dans un congrès
hal-01377288v1
|
Modeling organization of spiking neural nets in DEVS for high performance parallel simulationLes journées DEVS francophones : Théorie et Applications / Workshop, Apr 2016, Cargese, France
Communication dans un congrès
hal-01315204v1
|
|
|
Some Modeling & Simulation Perspectives on Emergence in System-of-SystemsSpring Simulation Multi-conference (SpringSim'16), Apr 2016, Pasadena, CA, United States
Communication dans un congrès
hal-01315199v1
|
|
Organisms modeling: The question of radial basis function networksWorkshop Activity-Based Modeling & Simulation (ACTIMS 2014), Centre National de la Recherche Scientifique (CNRS). FRA., Jan 2014, Zürich, Switzerland. pp.03002, ⟨10.1051/itmconf/20140303002⟩
Communication dans un congrès
hal-01315184v1
|
|
A CONJECTURE FROM LEARNING SIMULATIONS OF SERIES AND PARALLEL CONNECTIONS OF COMPONENTSTHE 26TH EUROPEAN MODELING & SIMULATION SYMPOSIUM, Sep 2014, Bordeaux, France. pp.550-557
Communication dans un congrès
hal-01316922v1
|
|
Using Activity Metrics for DEVS Simulation ProfilingACTIMS 2014, Jan 2014, Zurich, Switzerland. ⟨10.1051/itmconf/20140301001⟩
Communication dans un congrès
hal-01090706v1
|
|
Using Activity Metrics for DEVS Simulation ProfilingACTIMS 2014 – Activity-Based Modeling & Simulation 2014 , Jan 2014, Zurich, Switzerland. ⟨10.1051/itmconf/20140301001⟩
Communication dans un congrès
hal-01315176v1
|
|
Activity-based Credit Assignment (ACA) in Hierarchical SimulationIEEE/ACM/SCS: SpringSim Multi-conference, Symposium On Theory of Modeling and Simulation, Mar 2012, Orlando, United States
Communication dans un congrès
hal-00674306v1
|
|
Activity Regions for the Specication of Discrete Event SystemsSymposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Apr 2010, United States. pp.176-182
Communication dans un congrès
hal-00465463v1
|
|
Activatability for simulation tractability of NP problems: Application to EcologyComplex Systems: Activity-Based Modeling and Simulation, Cargese Interdisciplinary Seminar, Corsica, France., Apr 2009, France
Communication dans un congrès
hal-00398181v1
|
A simulation-based tool for the creation of marine reserves. IEEE International Symposium on Environment Identities and Mediterranean areaIEEE International Symposium on Environment Identities and Mediterranean area (ISEIM 2006)., Jul 2006, France. pp. 296-301
Communication dans un congrès
hal-00916786v1
|
|
Specification languages as front-ends towards the DEVS formalismfirst international Symposium onEnvironment Identities and Mediterranean Area, 2006. ISEIMA '06., 2006, Corte, France. pp. 104-109, ⟨10.1109/ISEIMA.2006.345038⟩
Communication dans un congrès
hal-00178356v1
|
|
Distributed fire spreading simulation using OpenMOSIX1st Open International Conference on Modeling and Simulation, 2005, Clermont-Ferrand, France
Communication dans un congrès
hal-00179165v1
|
|
Distributed Fire Spreading Simulation using OpenMOSIXfirst Open International Conference on Modeling and Simulation (OICMS05), Apr 2005, Clermont-Ferrand, France. pp.6
Communication dans un congrès
hal-00588334v1
|
|
Simulation of a quantized model of fire spread : toward a new numerical method4ème EIM (Environnement Identités en Méditerranée) 2004, 2004, Corte, France
Communication dans un congrès
hal-00184238v1
|
|
Active-DEVS: a computational model for the simulation of forest fire propagation2004 IEEE International Conference on Systems, Man & Cybernetics, Oct 2004, La Hague, Netherlands. pp.1857- 1863, ⟨10.1109/ICSMC.2004.1399932⟩
Communication dans un congrès
hal-00177347v1
|
|
Dynamic Structure Cellular Automata in a Fire Spreading ApplicationFirst International Conference on Informatics in Control, Automation and Robotics, Aug 2004, Setubal, Portugal. pp. 143-151
Communication dans un congrès
hal-00177344v1
|
|
Parallel simulation of complex propagation phenomena : parallel interfaces and cellular environments4ème EIM (Environnement, Identités en Méditerranée) 2004, 2004, Corte, France
Communication dans un congrès
hal-00184240v1
|
|
Design of a Multithreaded Parallel Model for Fire Spread15th European Simulation Symposium SCS ESS 03, 2003, Delft, Netherlands
Communication dans un congrès
hal-00179173v1
|
|
Efficient Simulation of Large Scale Dynamic Structure Cell Spaces2003 Summer Computer Simulation Conference, 2003, Montreal, Canada. pp.378-384
Communication dans un congrès
hal-00177673v1
|
|
Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading36th IEEE Annual Simulation Symposium, Apr 2003, Orlando, United States. pp. 289- 296
Communication dans un congrès
hal-00177350v1
|
|
Comparing simulation methods for fire spreading across a fuel bedAIS 2002 - Artificial Intelligence, Simulation and planning, 2002, Lisbon, Portugal. pp. 219-224
Communication dans un congrès
hal-00179178v1
|
|
Methods for special applications: Cell-DEVS quantization techniques in a fire spreading application34th Winter Simulation Conference, 2002, San Diego, United States. pp. 542 - 549, ⟨10.1145/1030453.1030529⟩
Communication dans un congrès
hal-00177997v1
|
|
An object oriented environment applied to a semi-physical model of fire spread across a fuel bed13th European Simulation Symposium - ESS 2001, 2001, Marseille, France. pp. 641-643
Communication dans un congrès
hal-00184248v1
|
Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for FreeSPRINGER. Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018), , pp.167-191, 2019, ⟨10.1007/978-3-030-29196-9_10⟩
Chapitre d'ouvrage
hal-02412722v1
|
|
SIMULATION of fire spread: Physics-inspired and chemistry-based mathematical analoguesSven Erik Jørgensen. Handbook of Ecological Models used in Ecosystem and Environmental Management, CRC Press, pp.477-497, 2011
Chapitre d'ouvrage
hal-00606231v1
|
|
The empathon: Towards a computational agent mimicking empathyActivity-Based Modeling and Simulation, Presses Universitaires Blaise Pascal, pp.37-51, 2010
Chapitre d'ouvrage
hal-02594313v1
|
|
Les apports d'un Système Multi-Agents d'utilisation de l'espace et d'aménagement du territoire corse à travers une approche interdisciplinaireLa Corse et le Développement Durable, Editions Albiana, pp. 261-268, 2010
Chapitre d'ouvrage
hal-00916664v1
|
|
DYNAMIC STRUCTURE CELLULAR AUTOMATA IN A FIRE SPREADING APPLICATIONBraz, J.; Araújo, H.; Vieira, A.; Encarnação, B. Informatics in Control, Automation and Robotics I, Springer-Verlag New York (Kluwer Academic Publishers), pp. 247-254, 2006
Chapitre d'ouvrage
hal-00179130v1
|
|
Coupling and Lumping Finite-Size Linear System Realizations of Componentized Neural Networks2021
Pré-publication, Document de travail
hal-02429240v5
|
Do rats learn by paths or by turns when exploring a maze? Determining and predicting automatically the actions involved in the learning process2021
Pré-publication, Document de travail
hal-03093527v1
|
|
Reinforcement learning dynamics2021
Pré-publication, Document de travail
hal-03093522v1
|
ACTIMS 2014 – Activity-Based Modeling & Simulation 2014Castro, Rodrigo and Muzy, Alexandre and Capocchi, Laurent. ACTIMS 2014 – Activity-Based Modeling & Simulation 2014, Jan 2014, Zurich, Switzerland. , 2014
Proceedings/Recueil des communications
hal-01315134v1
|
|
Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models[Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21
Rapport
hal-01349019v1
|