Armaghan W. Naik
Armaghan W. Naik
Director (Innovation and External Networks), Sanofi Pasteur
Adresse e-mail validée de sanofi.com
TitreCitée parAnnée
Replacing Testing with Formal Verification in Intel $^{\scriptsize\circledR} $ CoreTM i7 Processor Execution Engine Validation
R Kaivola, R Ghughal, N Narasimhan, A Telfer, J Whittemore, S Pandav, ...
International Conference on Computer Aided Verification, 414-429, 2009
1512009
Determining the subcellular location of new proteins from microscope images using local features
LP Coelho, JD Kangas, AW Naik, E Osuna-Highley, E Glory-Afshar, ...
Bioinformatics 29 (18), 2343-2349, 2013
472013
Conserved non-AUG uORFs revealed by a novel regression analysis of ribosome profiling data
P Spealman, AW Naik, GE May, S Kuersten, L Freeberg, RF Murphy, ...
Genome research 28 (2), 214-222, 2018
242018
Active machine learning-driven experimentation to determine compound effects on protein patterns
AW Naik, JD Kangas, DP Sullivan, RF Murphy
Elife 5, e10047, 2016
202016
Efficient discovery of responses of proteins to compounds using active learning
JD Kangas, AW Naik, RF Murphy
BMC bioinformatics 15 (1), 143, 2014
172014
Efficient modeling and active learning discovery of biological responses
AW Naik, JD Kangas, CJ Langmead, RF Murphy
PLoS One 8 (12), 2013
172013
Point process models for localization and interdependence of punctate cellular structures
Y Li, TD Majarian, AW Naik, GR Johnson, RF Murphy
Cytometry Part A 89 (7), 633-643, 2016
92016
Deciding when to stop: efficient experimentation to learn to predict drug-target interactions
M Temerinac-Ott, AW Naik, RF Murphy
BMC bioinformatics 16 (1), 213, 2015
42015
Formal verification of high-level conformance with symbolic simulation
R Kaivola, A Naik
Tenth IEEE International High-Level Design Validation and Test Workshop …, 2005
32005
Formal verification of high-level conformance with symbolic simulation
R Kaivola, A Naik
Tenth IEEE International High-Level Design Validation and Test Workshop …, 2005
32005
Electronic system with a data engine for processing retrieved data in displaying graphical data for a graphical user interface on an external input/output device
AW Naik, JD Kangas, CJ Langmead, RF Murphy
US Patent App. 16/296,088, 2020
2020
Deciding when to stop: Efficient stopping of active learning guided drug-target prediction
M Temerinac-Ott, AW Naik, RF Murphy
arXiv preprint arXiv:1504.02406, 2015
2015
Learning to predict effects of compounds on targets
AW Naik, JD Kangas, CJ Langmead, RF Murphy
US Patent App. 13/985,247, 2014
2014
Formal Verification of High-Level Conformance
R Kaivola, A Naik
Tenth Annual IEEE International High-Level Design Validation and Test …, 2005
2005
Active Learning to Improve Efficiency of Drug Discovery and Development
JD Kangas, RF Murphy, AW Naik
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–15