Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth

Record details

Read More Add to Saved list

Book

Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education

Authors : Narboux, Julien; Durand-Guerrier, Viviane;

Subjects: formal proof; mathematics education; Coq

Source: Mathematics Education in the Age of Artificial Intelligence: How Intelligence can serve mathematical human learning ; https://hal.science/hal-03254579 ; Richard P.R.;

Record details

Read More Add to Saved list

Book

Mathematics and Mathematicians in Nancy during World War I

Authors : Rollet, Laurent; Nabonnand, Philippe;

Subjects: 1ère guerre mondiale; Faculté des sciences; histoire de l'aéronautique

Source: A War of Guns and mathematics, Mathematics and Mathematicians around WW1 ; https://hal.science/hal-01086883 ; Catherine Goldstein & David

Record details

Read More Add to Saved list

Academic Journal

Advancing wavefront shaping with resonant nonlocal metasurfaces: beyond the limitations of lookup tables

Authors : Isnard, Enzo; Héron, Sébastien; Lanteri, Stéphane ...

Subjects: [SCCO.COMP]Cognitive science/Computer science; [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]; [PHYS]Physics [physics]

Source: ISSN: 2045-2322.

Record details

Read More Add to Saved list

Academic Journal

Quasi-local and frequency robust preconditioners for the Helmholtz first-kind integral equations on the disk

Authors : Alouges, François; Averseng, Martin;

Subjects: Boundary element methods; preconditioning; singularities in PDEs

Source: ISSN: 2822-7840 ; EISSN: 2804-7214.

Record details

Read More Add to Saved list

Academic Journal

Micromagnetic simulations of the size dependence of the Curie temperature in ferromagnetic nanowires and nanolayers

Authors : Courtès, Clémentine; Boileau, Matthieu; Côte, Raphaël ...

Subjects: Micromagnetism; Landau-Lifshitz-Gilbert equation; Curie temperature

Source: ISSN: 0304-8853 ; Journal of Magnetism and Magnetic Materials ; https://hal.science/hal-04364178 ; Journal of Magnetism and Magnetic Materials, 2024, 598, pp.172040.

Record details

Read More Add to Saved list

Academic Journal

Structural Brain Connectivity and Treatment Improvement in Mood Disorder

Authors : Dam, Sébastien; Batail, Jean-Marie; Robert, Gabriel ...

Subjects: connectome; depression; diffusion-weighted imaging

Source: ISSN: 2158-0014.

Record details

Read More Add to Saved list

Report

Local time-stepping for adaptive multiresolution using natural extension of Runge–Kutta methods

Authors : Moreira Lopes, Muller; Domingues, Margarete Oliveira; Schneider, Kai ...

Subjects: [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

Source: https://hal.science/hal-02616166 ; 2024.

Record details

Read More Add to Saved list

Report

Time-Scale Hybrid Continuous-Discrete Sliding Frank-Wolfe Method

Authors : Lage, Clara; Pustelnik, Nelly; Arbona, Jean-Michel ...

Subjects: NanoForkSpeed; Sparse Coding; Sliding Frank-Wolfe

Source: https://hal.science/hal-04146737 ; 2024.

Record details

Read More Add to Saved list

Report

Generalizing the SINDy approach with nested neural networks

Authors : Fiorini, Camilla; Flint, Clément; Fostier, Louis ...

Subjects: Symbolic regression; Sparse Identification of Non-linear Dynamics (SINDy); Function approximation

Source: https://hal.science/hal-04557263 ; 2024.

Record details

Read More Add to Saved list

Conference

Riemannian Locally Linear Embedding with Application to Kendall Shape Spaces

Authors : Maignant, Elodie; Trouvé, Alain; Pennec, Xavier ...

Subjects: Locally Linear Embedding; Optimisation on Quotient Manifolds; Shape SpacesSaint-Malo; FranceSaint-Malo, (France), France

Source: Lecture Notes in Computer Science ; GSI 2023: Geometric Science of Information ; https://inria.hal.science/hal-04122754 ; GSI 2023: Geometric Science of Information, Aug 2023, Saint-Malo, (France),

Record details

Read More Add to Saved list

Conference

Electrocardiology Modeling After Catheter Ablations for Atrial Fibrillation

Authors : Nati Poltri, Simone; Caluori, Guido; Jaïs, Pierre ...

Subjects: Electrocardiology modeling; Radiofrequency ablation; Pulsed electric field ablationLyon; France

Source: Lecture Notes in Computer Science ; FIMH 2023 - 12th International Conference Functional Imaging and Modeling of the Heart ; https://hal.science/hal-04155159 ; FIMH 2023 - 12th International

Record details

Read More Add to Saved list

Academic Journal

Respondent-driven sampling on sparse Erdös-Rényi graphs

Authors : Cousien, Anthony; Dhersin, Jean-Stéphane; Tran, Viet Chi ...

Subjects: random graph; random walk exploration; respondent driven sampling

Source: ISSN: 0251-4184.

Record details

Read More Add to Saved list

Academic Journal

On Maximum-a-Posteriori estimation with Plug & Play priors and stochastic gradient descent

Authors : Laumont, Rémi; de Bortoli, Valentin; Almansa, Andrés ...

Subjects: Plug & Play; Bayesian imaging; Stochastic Gradient Descent

Source: ISSN: 0924-9907.

Record details

Read More Add to Saved list

Academic Journal

phi-FEM for the heat equation: optimal convergence on unfitted meshes in space

Authors : Duprez, Michel; Lleras, Vanessa; Lozinski, Alexei ...

Subjects: finite element method; heat equation; fictitious domain

Source: ISSN: 1631-073X.

Record details

Read More Add to Saved list

Academic Journal

Remarks on the controllability of parabolic systems with non-diagonalizable diffusion matrix

Authors : Duprez, Michel; González-Burgos, Manuel; Souza, Diego ...

Subjects: [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]; [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

Source: ISSN: 1937-1632.

Record details

Read More Add to Saved list

Academic Journal

Multiblock data analysis with the RGCCA package

Authors : Girka, Fabien; Camenen, Etienne; Peltier, Caroline ...

Subjects: Multiblock component methods; RGCCA; data integration

Source: ISSN: 1548-7660 ; Journal of Statistical Software ; https://hal.inrae.fr/hal-04094025 ; Journal of Statistical Software, 2023, pp.1-36. ⟨10.18637/jss.v000.i00⟩ ;

Record details

Read More Add to Saved list

Academic Journal

Estimation for dynamical systems using a population-based Kalman filter – Applications in computational biology

Authors : Collin, Annabelle; Prague, Mélanie; Moireau, Philippe ...

Subjects: Data Assimilation; Kalman Filters; Epidemiology

Source: EISSN: 2102-5754 ; MathematicS In Action ; https://inria.hal.science/hal-02869347 ; MathematicS In Action, 2022, ⟨10.5802/msia.25⟩

Record details

Read More Add to Saved list

Academic Journal

Multicriteria optimization of 3D printed wing using PLA reinforced with carbon fiber

Authors : Bassir, David; Yue, Hao; Abouzaid, Khaoula ...

Subjects: [MATH]Mathematics [math]; [SPI]Engineering Sciences [physics]

Source: ISSN: 0094-243X.

Record details

Read More Add to Saved list

Academic Journal

Probabilistic Cellular Automata modeling of intercellular interactions in airways : complex pattern formation in patients with Chronic Obstructive Pulmonary Disease

Authors : Dupin, Isabelle; Eyraud, Edmée; Maurat, Élise ...

Subjects: fibrocytes; lymphocytes; chronic respiratory disease

Source: ISSN: 0022-5193.

Record details

Read More Add to Saved list

Academic Journal

Nodal statistics-based equivalence relation for graph collections

Authors : Carboni, Lucrezia; Dojat, Michel; Achard, Sophie ...

Subjects: graph comparison; node roles detection; human brain functional connectivity

Source: ISSN: 2470-0045.

Record details

Read More Add to Saved list

Academic Journal

Reading frame retrieval of genes: a new parameter of codon usage based on the circular code theory

Authors : Michel, Christian, J; Sereni, Jean-Sébastien;

Subjects: [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]; [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]

Source: ISSN: 0092-8240.

Record details

Read More Add to Saved list

Academic Journal

Fluorescence image deconvolution microscopy via generative adversarial learning (FluoGAN)

Authors : Cachia, Mayeul; Stergiopoulou, Vasiliki; Calatroni, Luca ...

Subjects: [SCCO.COMP]Cognitive science/Computer science; [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]; [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]

Source: ISSN: 0266-5611.

Record details

Read More Add to Saved list

Academic Journal

Delayed closed-loop neurostimulation for the treatment of pathological brain rhythms in mental disorders: a computational study

Authors : Wahl, Thomas; Riedinger, Joséphine; Duprez, Michel ...

Subjects: neurostimulation; closed-loop; control

Source: ISSN: 1662-4548.

Record details

Read More Add to Saved list

Academic Journal

On the culture of open access: the Sci-hub paradox

Authors : Maddi, Abdelghani; Sapinho, David;

Subjects: open access; Shadow libraries; open science

Source: ISSN: 0138-9130.

Record details

Read More Add to Saved list

Academic Journal

Different parameter solutions of a conductance-based model that behave identically are not necessarily degenerate

Authors : Naudin, Loïs;

Subjects: Bifurcation structure; Conductance-based models; Degeneracy

Source: ISSN: 0929-5313.

Record details

Read More Add to Saved list

Academic Journal

Delayed closed-loop neurostimulation for the treatment of pathological brain rhythms in mental disorders: a computational study

Authors : Wahl, Thomas; Riedinger, Joséphine; Duprez, Michel ...

Subjects: neurostimulation; closed-loop; control

Source: ISSN: 1662-4548.

Record details

Read More Add to Saved list

Conference

Quasi-LPV Modeling of Guided Projectile Pitch Dynamics through State Transformation Technique

Authors : Vinco, Gian Marco; Theodoulis, Spilios; Sename, Olivier ...

Subjects: Linear parameter varying systems; Flight dynamics modeling; Model validationMontrealMontreal, Canada

Source: IFAC-PapersOnLine ; Joint 8th IFAC Symposium on System Structure and Control, 17th IFAC Workshop on Time Delay Systems, 5th IFAC Workshop on Linear Parameter Varying Systems ;

Record details

Read More Add to Saved list

Conference

Searching for an MR Fingerprinting sequence to measure brain oxygenation without contrast agent ; Recherche d'une séquence MR Fingerprinting pour mesurer l'oxygénation du cerveau sans agent de contraste

Authors : Coudert, Thomas; Delphin, Aurelien; Warnking, Jan, M. ...

Subjects: [SDV.IB.IMA]Life Sciences [q-bio]/Bioengineering/Imaging; [MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph]; [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]London; United Kingdom

Source: ISMRM 31st Annual Meeting & Exhibition ; https://hal.science/hal-03670697 ; ISMRM 31st Annual Meeting & Exhibition, May 2022, London, United Kingdom

Record details

Read More Add to Saved list

Academic Journal

Parallel kinetic scheme in complex toroidal geometry

Authors : Boileau, Matthieu; Bramas, Bérenger; Franck, Emmanuel ...

Subjects: plasma physics; kinetic scheme; discontinuous Galerkin

Source: ISSN: 2426-8399 ; SMAI Journal of Computational Mathematics ; https://hal.science/hal-02404082 ; SMAI Journal of Computational

Record details

Read More Add to Saved list

Academic Journal

Construction and Update of an Online Ensemble Score Involving Linear Discriminant Analysis and Logistic Regression

Authors : Lalloué, Benoît; Monnez, Jean-Marie; Albuisson, Eliane ...

Subjects: Learning for big data; stochastic approximation; medicine

Source: ISSN: 2152-7385 ; Applied Mathematics ; https://hal.science/hal-03134248 ; Applied Mathematics, 2022, 13 (2), pp.228-242.

Record details

Read More Add to Saved list

Academic Journal

Modular-proximal gradient algorithms in variable exponent Lebesgue spaces

Authors : Lazzaretti, Marta; Calatroni, Luca; Estatico, Claudio ...

Subjects: [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]; [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]; [MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA]

Source: ISSN: 1064-8275 ; SIAM Journal on Scientific Computing ; https://hal.science/hal-03476299 ; SIAM Journal on Scientific Computing, 2022.

Record details

Read More Add to Saved list

Conference

Self-supervision versus synthetic datasets: which is the lesser evil in the context of video denoising? ; Auto-supervision versus base de données synthétiques : quel est le moindre mal dans le cadre du débruitage vidéo ?

Authors : Dewil, Valéry; Barral, Arnaud; Facciolo, Gabriele ...

Subjects: [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]; [STAT.AP]Statistics [stat]/Applications [stat.AP]; [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]New Orleans (Louisiana); United States

Source: The 1st Workshop on Vision Datasets Understanding (CVPR 2022) ; https://hal.science/hal-03650624 ; The 1st Workshop on Vision Datasets Understanding (CVPR 2022), Jun 2022, New Orleans (Louisiana),

Record details

Read More Add to Saved list

Conference

Region-free Safe Screening Tests for l1-penalized Convex Problems

Authors : Herzet, Cédric; Elvira, Clément; Dang, Hong-Phuong ...

Subjects: sparsity; convex problem; safe screeningSerbiaBelgrade, Serbia

Source: Eusipco 2022 - 30th European Signal Processing Conference ; https://centralesupelec.hal.science/hal-03806099 ; Eusipco 2022 - 30th European Signal Processing Conference, Aug 2022, Belgrade, Serbia.

Record details

Read More Add to Saved list

Book

φ-FEM: an efficient simulation tool using simple meshes for problems in structure mechanics and heat transfer

Authors : Cotin, Stéphane; Duprez, Michel; Lleras, Vanessa ...

Subjects: [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]; [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation; [PHYS.MECA.BIOM]Physics [physics]/Mechanics [physics]/Biomechanics [physics.med-ph]

Source: Partition of Unity Methods ; https://hal.science/hal-03372733 ; Stéphane Bordas; Alexander Menk; Sundararajan Natarajan. Partition of Unity Methods, Wiley, pp.191-216, 2022, Wiley Series in

Record details

Read More Add to Saved list

Conference

Multi-Scale Evaluation of Uncertainty Quantification Techniques for Deep Learning based MRI Segmentation

Authors : Lambert, Benjamin; Forbes, Florence; Tucholka, Alan ...

Subjects: [SDV]Life Sciences [q-bio]; [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST]London; United Kingdom

Source: ISMRM-ESMRMB & ISMRT 2022 - 31st Joint Annual Meeting International Society for Magnetic Resonance in Medecine ; https://hal.science/hal-03578023 ; ISMRM-ESMRMB & ISMRT 2022 - 31st Joint Annual

Record details

Read More Add to Saved list

Conference

Riemannian metric learning for progression modeling of longitudinal datasets

Authors : Sauty, Benoît; Durrleman, Stanley;

Subjects: Disease Modeling; Riemannian manifolds; Mixed-effects modelsKolkata; India

Source: ISBI 2022 - International Symposium on Biomedical Imaging ; https://inria.hal.science/hal-03549061 ; ISBI 2022 - International Symposium on Biomedical Imaging, Mar 2022, Kolkata, India

Record details

Read More Add to Saved list

Conference

A mechanistic model for prediction of metastatic relapse in early-stage breast cancer using routine clinical features

Authors : Bigarré, Célestin; Finetti, Pascal; Bertucci, François ...

Subjects: mechanistic modelling; breast cancer; mathematical modelNew Orléans; United States

Source: Cancer Research ; AACR ; https://inria.hal.science/hal-03752407 ; AACR, Apr 2022, New Orléans, United States. pp.2737, ⟨10.1158/1538-7445.AM2022-2737⟩

Record details

Read More Add to Saved list

Conference

Organisational learning strategies of introductory statistics courses in an online MPH: slow and steady wins the race ; Stratégies organisationnelles d'apprentissage des cours d'introduction à la statistique dans une formation de master de sante publique en ligne : rien ne sert de courir, il faut partir à point

Authors : Avalos, Marta; Mehouachi, Samia;

Subjects: [SDV.SPEE]Life Sciences [q-bio]/Santé publique et épidémiologie; [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST]; [STAT]Statistics [stat]Rosario; Argentina

Source: ICOTS 2022 - 11th International Conference on Teaching Statistics ; https://inria.hal.science/hal-03872624 ; ICOTS 2022 - 11th International Conference on Teaching Statistics, IASE (International

Record details

Read More Add to Saved list

Book

Time Series Classification: A review of Algorithms and Implementations ; Classification de séries temporelles : une revue d'algorithmes et d'implémentations

Authors : Faouzi, Johann;

Subjects: Open-source software; Data sets; Machine learning

Source: Machine Learning (Emerging Trends and Applications) ; https://inria.hal.science/hal-03558165 ; Ketan Kotecha‬. Machine Learning (Emerging Trends and Applications), Proud Pen, In press,

Record details

Read More Add to Saved list

Conference

Mathematical model for the maintenance activities scheduling in the case of railway remanufacturing systems

Authors : Tighazoui, Ayoub; Schlecht, Michael; de Guio, Roland ...

Subjects: maintenance scheduling; flexible job shop; railway systemParis; France

Source: International Conference on Information Technology & Smart Industrial Systems ; https://hal.science/hal-03813860 ; International Conference on Information Technology & Smart Industrial Systems, Jul

Record details

Read More Add to Saved list

Conference

M/EEG networks integration to elicit patterns of motor imagery-based BCI training

Authors : Corsi, Marie-Constance; Chavez, Mario; Schwartz, Denis P ...

Subjects: [MATH]Mathematics [math]; [INFO]Computer Science [cs]; [SCCO]Cognitive scienceParis; France

Source: FENS Forum 2022 ; https://inria.hal.science/hal-03695420 ; FENS Forum 2022, Jul 2022, Paris, France

Record details

Read More Add to Saved list

Conference

Exploiting brain critical dynamics to inform Brain-Computer Interfaces

Authors : Sorrentino, Pierpaolo; Corsi, Marie-Constance; Schwartz, Denis P ...

Subjects: [MATH]Mathematics [math]; [INFO]Computer Science [cs]; [SCCO]Cognitive scienceBirmingham; United Kingdom

Source: BIOMAG 2022 - 22nd International Conference on Biomagnetism ; https://inria.hal.science/hal-03695441 ; BIOMAG 2022 - 22nd International Conference on Biomagnetism, Aug 2022, Birmingham, United Kingdom

Record details

Read More Add to Saved list

Conference

M/EEG networks integration to elicit patters of motor imagery-based Brain-Computer Interface (BCI) training

Authors : Corsi, Marie-Constance; Chavez, Mario; Schwartz, Denis P ...

Subjects: [MATH]Mathematics [math]; [INFO]Computer Science [cs]; [SCCO]Cognitive scienceBirmingham; United Kingdom

Source: BIOMAG 2022 - 22nd International Conference on Biomagnetism ; https://inria.hal.science/hal-03773296 ; BIOMAG 2022 - 22nd International Conference on Biomagnetism, Aug 2022, Birmingham, United Kingdom

Record details

Read More Add to Saved list

Conference

Functional connectivity predicts MI-based BCI learning

Authors : Corsi, Marie-Constance; Chavez, Mario; Schwartz, Denis ...

Subjects: [SDV]Life Sciences [q-bio]; [MATH]Mathematics [math]; [SPI]Engineering Sciences [physics]Birmingham; United Kingdom

Source: BIOMAG 2022 - 22nd International Conference on Biomagnetism ; https://inria.hal.science/hal-03773303 ; BIOMAG 2022 - 22nd International Conference on Biomagnetism, Aug 2022, Birmingham, United Kingdom

Record details

Read More Add to Saved list

Conference

Towards efficient fmri data re-use: can we run between-group analyses with datasets processed differently with spm ?

Authors : Rolland, Xavier; Maurel, Pierre; Maumet, Camille ...

Subjects: Brain Imaging; Analytical Variability; ReproducibilityCalcutta; India

Source: ISBI 2022 - IEEE International Symposium on Biomedical Imaging ; https://hal.science/hal-03607384 ; ISBI 2022 - IEEE International Symposium on Biomedical Imaging, Mar 2022, Calcutta, India. pp.1-4

Record details

Read More Add to Saved list

Conference

Shape-based features of white matter fiber-tracts associated with outcome in Major Depression Disorder

Authors : Cury, Claire; Batail, Jean-Marie; Coloigner, Julie ...

Subjects: Computational Anatomy; Depression; Fibre bundlesSingapour; Singapore

Source: MICCAI 2022 - International Conference on Medical Image Computing and Computer-Assisted Intervention ; https://inria.hal.science/hal-03798593 ; MICCAI 2022 - International Conference on Medical Image

Record details

Read More Add to Saved list