Jean-Daniel Zucker

Jean-Daniel Zucker

Senior Researcher, UMMISCO, IRD/Sorbonne University, France
在 ird.fr 的电子邮件经过验证
被引用次数：18879
Machine Learning Data Science Abstraction Interpretability Metagenomics
Corina Pasareanu

Corina Pasareanu

CMU/NASA Ames
在 nasa.gov 的电子邮件经过验证
被引用次数：12965
Symbolic execution compositional verification abstraction
Ali Eraslan

Ali Eraslan

Professor of Mathematics Education
在 omu.edu.tr 的电子邮件经过验证
被引用次数：1199
mathematical modeling abstraction compartmentalization teacher education
Marianna M Bolognesi

Marianna M Bolognesi

University of Bologna
在 unibo.it 的电子邮件经过验证
被引用次数：953
semantic representation abstraction metaphor and metonymy creativity multilingualism
Andreas Griesmayer

Andreas Griesmayer

Imperial College London
在 arm.com 的电子邮件经过验证
被引用次数：929
Software Verification Abstraction Repair
Y. Andre Wang

Y. Andre Wang

University of Toronto
在 utoronto.ca 的电子邮件经过验证
被引用次数：457
social cognition attitudes abstraction structural equation modeling empathy
Yan Zhang

Yan Zhang

Samsung - SAIT AI Lab Montreal
在 samsung.com 的电子邮件经过验证
被引用次数：416
Abstraction Reasoning Artificial Intelligence Machine Learning Deep Learning
Farida Nurhasanah

Farida Nurhasanah

Mathematics Education, Sebelas Maret University
在 fkip.uns.ac.id 的电子邮件经过验证
被引用次数：330
Mathematics education manipulatives virtual manipulatives abstraction geometry
Cyril Cecchinel

Cyril Cecchinel

DataThings
在 datathings.com 的电子邮件经过验证
被引用次数：236
IoT code generation abstraction composition variability management
Shaun Azzopardi

Shaun Azzopardi

University of Gothenburg
在 gu.se 的电子邮件经过验证
被引用次数：229
Reactive Synthesis Runtime Verification Abstraction Static Analysis Deontic Logic
1 - 10