Filtrer vos résultats
- 20
- 12
- 18
- 10
- 1
- 1
- 1
- 1
- 30
- 11
- 7
- 4
- 3
- 2
- 1
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 3
- 4
- 1
- 3
- 5
- 3
- 22
- 10
- 24
- 11
- 8
- 8
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 8
- 8
- 7
- 7
- 6
- 6
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
32 résultats
|
|
|
triés par
|
|
|
Formules booléennes quantifiées : transformations formelles et calculs parallèlesInformatique [cs]. Université d'Angers, 2010. Français. ⟨NNT : ⟩
Thèse
tel-00578083v1
|
||
Prédire une géométrie moléculaire convergée par des modèles d’apprentissage automatiqueWorkshop « L’intelligence artificielle pour la chimie des matériaux », Sep 2018, Thiais, France
Communication dans un congrès
hal-02889017v1
|
|||
|
|
Voxelwise genome-wide association study on gray matter volume reveals a SLC39A8 variant associated with subcortical structuresJournées RITS 2015, Mar 2015, Dourdan, France. p32-32 Section imagerie génétique
Communication dans un congrès
inserm-01145592v1
|
||
|
|
A Unified Framework for Certificate and Compilation for QBFThird Indian Conference, ICLA 2009, 2009, Chennai, India. pp.210 - 223, ⟨10.1007/978-3-540-92701-3_15⟩
Communication dans un congrès
istex
hal-03255579v1
|
||
|
|
Equivalences et forme prénexe pour les formules booléennes quantifiéesRencontre des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2009, 2009, Hammamet, Tunisie
Communication dans un congrès
hal-03350665v1
|
||
|
|
Équivalences et forme prénexe pour les formules booléennes quantifiées.Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2011, 25 (6), pp.717 - 742
Article dans une revue
hal-03350579v1
|
||
|
|
Base littérale et certificat pour les formules booléennes quantifiéesJFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.307-316
Communication dans un congrès
inria-00292680v1
|
||
|
|
Des formules booléennes (quantifiées) à la programmation par ensembles réponsesReconnaissance des Formes et Intelligence Artificielle, 2008, Amiens, France. 10 p
Communication dans un congrès
hal-03350657v1
|
||
Machine learning in prediction of DFT-derived geometries and energies.Journées Scientifiques SCF-BPL 2019, Apr 2019, Trégastel, France
Poster de conférence
hal-02889045v1
|
|||
Predicting Interatomic Distances of Molecular Quantum Chemistry Calculations1004, pp.159-174, 2022, Studies in Computational Intelligence, ⟨10.1007/978-3-030-90287-2_8⟩
N°spécial de revue/special issue
hal-04034052v1
|
|||
|
|
EvoMol: a flexible and interpretable evolutionary algorithm for unbiased de novo molecular generationJournal of Cheminformatics, 2020, 12 (1), ⟨10.1186/s13321-020-00458-z⟩
Article dans une revue
hal-02946012v1
|
||
Goal-directed generation of new molecules by AI methodsComputational and Data-Driven Chemistry Using Artificial Intelligence, Elsevier, pp.39-67, 2022, ⟨10.1016/B978-0-12-822249-2.00004-9⟩
Chapitre d'ouvrage
hal-04033911v1
|
|||
A-Brain: Using the Cloud to Understand the Impact of Genetic Variability on the BrainERCIM News, 2012, pp.21-22
Article dans une revue
hal-00684384v1
|
|||
|
|
A new parallel architecture for QBF tools2010 International Conference on High Performance Computing and Simulation, HPCS 2010, 2010, Caen, France. pp.324 - 330, ⟨10.1109/HPCS.2010.5547114⟩
Communication dans un congrès
hal-03255427v1
|
||
Génération d'explications contre-factuelles pour la chimie moléculaireWorkshop EXPLAIN'AI hosted at EGC 2022, Jan 2022, Blois, France
Communication dans un congrès
hal-04034150v1
|
|||
|
|
Robust Group-Level Inference in Neuroimaging Genetic StudiesPattern Recognition in Neuroimaging, Jun 2013, Philadelphie, United States
Communication dans un congrès
hal-00833953v1
|
||
|
|
Randomized parcellation based inference.NeuroImage, 2013, epub ahead of print. ⟨10.1016/j.neuroimage.2013.11.012⟩
Article dans une revue
hal-00915243v1
|
||
|
|
Surrogate-Based Black-Box Optimization Method for Costly Molecular Properties2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.780-785, ⟨10.1109/ICTAI52525.2021.00124⟩
Communication dans un congrès
hal-04033877v1
|
||
|
|
A New Prenexing Strategy for Quantified Boolean Formulae with Bi-ImplicationsSixth International Workshop on Constraints in Formal Verification, CFV 2009, 2009, Grenoble, France
Communication dans un congrès
hal-03350660v1
|
||
|
|
Machine Learning Patterns for Neuroimaging-Genetic Studies in the CloudFrontiers in Neuroinformatics, 2014, Recent advances and the future generation of neuroinformatics infrastructure, 8, ⟨10.3389/fninf.2014.00031⟩
Article dans une revue
hal-01057325v1
|
||
|
|
A fast computational framework for genome-wide association studies with neuroimaging data20th International Conference on Computational Statistics (COMPSTAT 2012), Aug 2012, Limassol, Cyprus
Communication dans un congrès
hal-00720265v1
|
||
|
|
Une nouvelle architecture parallèle pour le problème de validité des QBFJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.113-122
Communication dans un congrès
inria-00520314v1
|
||
|
|
Une nouvelle stratégie de mise sous forme prénexe pour des formules booléennes quantifiées avec bi-implicationsRevue I3 - Information Interaction Intelligence, 2009, 9 (2), Non spécifié
Article dans une revue
hal-03350575v1
|
||
|
|
A MapReduce Approach for Ridge Regression in Neuroimaging-Genetic StudiesDCICTIA-MICCAI - Data- and Compute-Intensive Clinical and Translational Imaging Applications in conjonction with the 15th International Conference on Medical Image Computing and Computer Assisted Intervention - 2012, Oct 2012, Nice, France
Communication dans un congrès
hal-00730385v1
|
||
Des réseaux de neurones pour prédire des distances interatomiques extraites d'une base de données ouverte de calculs en chimie quantiqueExtraction et Gestion des connaissances, EGC 2019, Jan 2019, Metz, France
Communication dans un congrès
hal-02889078v1
|
|||
|
|
Definition and exploration of realistic chemical spaces using the connectivity and cyclic features of ChEMBL and ZINCDigital Discovery, 2023, 2 (3), pp.736-747. ⟨10.1039/D2DD00092J⟩
Article dans une revue
hal-04241464v2
|
||
|
|
Une mise sous forme prénexe préservant les résultats intermédiaires pour les formules booléennes quantifiéesJournées Nationales de l’IA Fondamentale, 2008, Paris, France
Communication dans un congrès
hal-03350656v1
|
||
|
|
A-Brain: Using the Cloud to Understand the Impact of Genetic Variability on the BrainCloudFutures 2012, May 2012, Berkeley, United States
Communication dans un congrès
hal-00781571v1
|
||
|
|
Scalable estimator of the diversity for de novo molecular generation resulting in a more robust QM dataset (OD9) and a more efficient molecular optimizationJournal of Cheminformatics, 2021, 13 (1), pp.76. ⟨10.1186/s13321-021-00554-8⟩
Article dans une revue
hal-04033836v1
|
||
|
|
Dataset’s chemical diversity limits the generalizability of machine learning predictionsJournal of Cheminformatics, 2019, 11 (1), ⟨10.1186/s13321-019-0391-2⟩
Article dans une revue
hal-02644756v1
|
- 1
- 2