|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 282 occurrences of 252 keywords
|
|
|
Results
Found 1196 publication records. Showing 1134 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | Huanhuan Chen, Xin Yao 0001 |
Evolutionary Ensemble for In Silico Prediction of Ames Test Mutagenicity. |
ICIC (2) |
2007 |
DBLP DOI BibTeX RDF |
Ames Test Mutagenicity, In silico models, Evolutionary Ensemble, Negative Correlation Learning |
69 | Cornelia Boldyreff, Elizabeth Burd, R. M. Hather, Richard Eric Mortimer, Malcolm Munro, E. J. Younger |
The AMES approach to application understanding: a case study. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
AMES, Application Management Environments Support, application understanding, ESPRIT Project no. 8156, application documentation, united graph, reverse engineering, software maintenance, software maintenance, software tools, software tools, case study, program comprehension, computer aided software engineering, learning theory, learning process, system documentation, project support environments, research initiatives |
47 | R. Srinivasan 0001, Arun K. Somani |
On achieving fairness and efficiency in high-speed shared medium access. |
IEEE/ACM Trans. Netw. |
2003 |
DBLP DOI BibTeX RDF |
tree splitting, multiple access, collision resolution, broadcast networks |
47 | Cornelia Boldyreff, Marc Drost, David S. Hinley, Mike Morrell, Andy Symons |
A basis for process improvement in application management. |
Softw. Qual. J. |
1997 |
DBLP DOI BibTeX RDF |
facilities management, trial assessment, process improvement, application management |
43 | Michael R. Adamson |
Biographies. |
IEEE Ann. Hist. Comput. |
2006 |
DBLP DOI BibTeX RDF |
William F. Ballhaus Jr., NASA Ames Research Center, Illiac IV, Numerical Aerodynamic Simulation facility, computational fluid dynamics |
43 | Michael R. Adamson |
Biographies. |
IEEE Ann. Hist. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Harvard Lomax, NASA Ames Research Center, numeric wind tunnel, Numerical Aerodynamic Simulation Facility, computational fluid dynamics, supercomputing |
43 | Rod Fatoohi |
Performance evaluation of communication networks for distributed computing. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
HiPPI, IBM Allnode switch, DaVinci, SGI R8000 workstations, NASA Ames, LACE, IBM RS6000 workstations, NASA Lewis, IBM SP2 machine, communication tests, programming levels, ttcp program, peak rates, BSD socket programming interface, PVM message passing library, performance evaluation, performance evaluation, distributed computing, ATM, communication networks, Ethernet, testbeds, high speed networks, FDDI, performance results, Fibre Channel |
42 | Daniel E. Cooke, Scott Hamilton |
New Directions at NASA Ames Research Center. |
Computer |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Nicolaus A. Radford, Philip Strawser, Kimberly A. Hambuchen, Joshua S. Mehling, William K. Verdeyen, A. Stuart Donnan, James Holley, Jairo Sanchez, Vienny Nguyen, Lyndon B. Bridgwater, Reginald Berka, Robert O. Ambrose, Mason Myles Markee, N. J. Fraser-Chanpong, Christopher McQuin, John D. Yamokoski, Stephen Hart, Raymond Guo, Adam Parsons, Brian Wightman, Paul Dinh, Barrett Ames, Charles Blakely, Courtney Edmondson, Brett Sommers, Rochelle Rea, Chad Tobler, Heather Bibby, Brice Howard, Lei Niu, Andrew Lee, Michael Conover, Lily Truong, Ryan Reed, David Chesney, Robert Platt Jr. 0001, Gwendolyn Johnson, Chien-Liang Fok, Nicholas Paine, Luis Sentis, Eric A. Cousineau, Ryan W. Sinnet, Jordan Lack, Matthew J. Powell, Benjamin Morris 0001, Aaron D. Ames, Jide Akinyode |
Valkyrie: NASA's First Bipedal Humanoid Robot. |
J. Field Robotics |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Hayes Raffle, Rafael Ballagas, Glenda Revelle, Koichi Mori, Hiroshi Horii, Christopher Paretti, Mirjana Spasojevic |
Pop goes the cell phone: asynchronous messaging for preschoolers. |
IDC |
2011 |
DBLP DOI BibTeX RDF |
|
31 | J. Richards, T. Kummell, D. G. Zarlengo |
A mass storage system for supercomputers based on Unix. |
SC |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Uko Maran, Sulev Sild |
QSAR Modeling of Genotoxicity on Non-congeneric Sets of Organic Compounds. |
Artif. Intell. Rev. |
2003 |
DBLP DOI BibTeX RDF |
Ames test, forward selection, molecular descriptors, mutagenicity, multi-linear regression, quantum chemical descriptors, neural network, QSAR |
26 | Monica Palaseanu-Lovejoy, Oleg Alexandrov, Jeffrey Danielson, Curt Storlazzi |
SaTSeaD: Satellite Triangulated Sea Depth Open-Source Bathymetry Module for NASA Ames Stereo Pipeline. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Yuan Lu, Haitz Sáez de Ocáriz Borde, Pietro Liò |
AMES: A Differentiable Embedding Space Selection Framework for Latent Graph Inference. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Nadel, Kristin Yvonne Rozier (eds.) |
Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023 |
FMCAD |
2023 |
DBLP BibTeX RDF |
|
26 | Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides |
Datapath Verification via Word-Level E-Graph Rewriting. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Abdalrhman Mohamed, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli |
A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
Modular System Synthesis. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang |
Fortis: A Tool for Analysis and Repair of Robust Software Systems. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Shaowei Cai 0001 |
Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Bettina Könighofer |
Formal Methods for Trused AI. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Peter J. Stuckey |
MiniZinc for Formal Methods. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan |
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Manasvi Saxena, Shuang Song, Lui Sha |
MediK: Towards Safe Guideline-based Clinical Decision Support. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
Verified Encodings for SAT Solvers. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón |
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Bohan Li 0002, Shaowei Cai 0001 |
Local Search For SMT On Linear and Multi-linear Real Arithmetic. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kuldeep S. Meel |
Distribution Testing: The New Frontier for Formal Methods. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia |
Modelling and Verification of Security-Oriented Resource Partitioning Schemes. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
Towards Compositional Hardware Model Checking Certification. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Iason Marmanis, Viktor Vafeiadis |
Optimal Bounded Partial Order Reduction. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Mikolas Janota, Nina Narodytska |
The FMCAD 2023 Student Forum. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Nils Froleyks, Emily Yu, Armin Biere |
BIG Backbones. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Haoze Wu 0001, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett |
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Samuel Pastva, Thomas A. Henzinger |
Binary Decision Diagrams on Modern Hardware. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Amalee Wilson, Andres Nötzli, Andrew Reynolds 0001, Byron Cook, Cesare Tinelli, Clark W. Barrett |
Partitioning Strategies for Distributed SMT Solving. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw |
Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Katalin Fazekas, Aman Goel, Karem A. Sakallah |
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Landon Taylor, Bryant Israelsen, Zhen Zhang 0006 |
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kaki Ryan, Cynthia Sturton |
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | David Swartwout |
NASA's core Flight System Framework Overview. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates 0001 |
Towards a Correct-by-Construction Design of Integrated Modular Avionics. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel |
BTOR2MLIR: A Format and Toolchain for Hardware Verification. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Maria Paola Bonacina |
Reasoning about Quantifiers in SMT: The QSMA algorithm. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli |
CRV: Automated Cyber-Resiliency Reasoning for System Design Models. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
Conformance Testing for Stochastic Cyber-Physical Systems. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz |
Formally Explaining Neural Networks within Reactive Systems. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Raya Elsaleh, Guy Katz |
DelBugV: Delta-Debugging Neural Network Verifiers. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Yi Zhou 0025, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno |
Mariposa: Measuring SMT Instability in Automated Program Verification. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Shreesha G. Bhat, Kartik Nagar |
Automating Cutoff-based Verification of Distributed Protocols. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kait Lam, Nicholas Coughlin |
Lift-off: Trustworthy ARMv8 semantics from formal specifications. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi |
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Arkesh Thakkar, Deepak D'Souza |
Data-Driven Learning of Strong Conjunctive Invariants. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin Kiesl-Reiter, Michael W. Whalen |
Proofs for Incremental SAT with Inprocessing. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
26 | María Jimena Martínez, María Virginia Sabando, Axel J. Soto, Carlos Roca, Carlos Requena-Triguero, Nuria E. Campillo, Juan A. Páez, Ignacio Ponzoni |
Multitask Deep Neural Networks for Ames Mutagenicity Prediction. |
J. Chem. Inf. Model. |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Bo Luo, Mohamed Mosbah 0001, Frédéric Cuppens, Lotfi Ben Othmane, Nora Cuppens, Slim Kallel (eds.) |
Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers |
CRiSIS |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Aakash Sharma, Thomas Bye Nilsen, Sivert Johansen, Dag Johansen, Håvard D. Johansen |
Designing a Service for Compliant Sharing of Sensitive Research Data. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Hannes Salin, Dennis Fokin, Alexander Johansson |
Authenticated Multi-proxy Accumulation Schemes for Delegated Membership Proofs. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Ameerah-Muhsinah Jamil, Lotfi Ben Othmane, Altaz Valani |
Threat Modeling of Cyber-Physical Systems in Practice. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Nathan Daniel Schiele, Olga Gadyatskaya |
A Novel Approach for Attack Tree to Attack Graph Transformation. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Fadi Mohsen, Adel Shtayyeh, Riham Naser, Lena Mohammad, Marten Struijk |
Extending the Exposure Score of Web Browsers by Incorporating CVSS. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Anirban Sengupta |
A Stakeholder-Centric Approach for Defining Metrics for Information Security Management Systems. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Xiaozhe Shao, Hossein Pishro-Nik, Lixin Gao 0001 |
Path-Preserving Anonymization for Inter-domain Routing Policies. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Mohammad Sina Karvandi, Saleh Khalaj Monfared, Mohammad Sina Kiarostami, Dara Rahmati, Saeid Gorgin 0001 |
A TSX-Based KASLR Break: Bypassing UMIP and Descriptor-Table Exiting. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Lama Moukahal, Mohammad Zulkernine, Martin Soukup |
AVSDA: Autonomous Vehicle Security Decay Assessment. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Maryam Davari, Mohammad Zulkernine |
Policy Modeling and Anomaly Detection in ABAC Policies. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Lotfi Ben Othmane, Noor Ahmed 0001 |
Using Garbled Circuit for Secure Brokering. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Camilo Correa, Jacques Robin, Raúl Mazo, Salvador Abreu |
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search. |
CRiSIS |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Marianna Ruggieri, Maria Paola Speciale |
Optimal System and New Approximate Solutions of a Generalized Ames's Equation. |
Symmetry |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Piers A. Townsend, Matthew N. Grayson |
Density Functional Theory Transition-State Modeling for the Prediction of Ames Mutagenicity in 1, 4 Michael Acceptors. |
J. Chem. Inf. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Lara Kuhnke, Antonius ter Laak, Andreas H. Göller |
Mechanistic Reactivity Descriptors for the Prediction of Ames Mutagenicity of Primary Aromatic Amines. |
J. Chem. Inf. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Matthew J. Shannon, Christiaan Boersma |
Organic Molecules in Space: Insights from the NASA Ames Molecular Database in the era of the James Webb Space Telescope. |
SciPy |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Scott S. Fisher |
The NASA Ames VIEWlab Project - A Brief History. |
Presence Teleoperators Virtual Environ. |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Jianping Shi, Xin Tao 0001, Li Xu 0001, Jiaya Jia |
Break Ames room illusion: depth from general single images. |
ACM Trans. Graph. |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Samuel J. Webb, Thierry Hanser, Brendan J. Howlin, Paul Krause, Jonathan D. Vessey |
Feature combination networks for the interpretation of statistical machine learning models: application to Ames mutagenicity. |
J. Cheminformatics |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Chun-Wei Tung |
Acquiring Decision Rules for Predicting Ames-Negative Hepatocarcinogens Using Chemical-Chemical Interactions. |
PRIB |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Chaitanya Poolla, Abe Ishihara, Steven Rosenberg, Rodney Martin, Alex Fong, Sreejita Ray, Chandrayee Basu |
Neural network forecasting of solar power for NASA Ames sustainability base. |
CIASG |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Xiaofei Wang 0001, Min Chen 0003, Ted Taekyoung Kwon, Laurence T. Yang, Victor C. M. Leung |
AMES-Cloud: A Framework of Adaptive Mobile Video Streaming and Efficient Social Video Sharing in the Clouds. |
IEEE Trans. Multim. |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Michael G. Shafto, David J. Korsmeyer |
Contributions to IT: A View from Ames Research Center. |
IT Prof. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Sandeep Modi, Jin Li, Sophie Malcomber, Claire Moore, Andrew D. Scott, Andrew White, Paul L. Carmichael |
Integrated in silico approaches for the prediction of Ames test mutagenicity. |
J. Comput. Aided Mol. Des. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Congying Xu, Feixiong Cheng, Lei Chen 0019, Zheng Du, Weihua Li 0005, Guixia Liu, Philip W. Lee, Yun Tang 0001 |
In silico Prediction of Chemical Ames Mutagenicity. |
J. Chem. Inf. Model. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Gustaf Juell-Skielse, Anders G. Nilsson, Andreas Nordqvist, Mattias Westergren |
AMES: Towards an Agile Method for ERP Selection. |
CAiSE Forum |
2012 |
DBLP BibTeX RDF |
|
26 | Patrick McCarren, Clayton Springer, Lewis Whitehead |
An investigation into pharmaceutically relevant mutagenicity data and the influence on Ames predictive potential. |
J. Cheminformatics |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Jörg Bentzien, Eugene R. Hickey, Raymond A. Kemper, Mark L. Brewer, Jane D. Dyekjær, Stephen P. East, Mark Whittaker |
An in Silico Method for Predicting Ames Activities of Primary Aromatic Amines by Calculating the Stabilities of Nitrenium Ions. |
J. Chem. Inf. Model. |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Iurii Sushko, Sergii Novotarskyi, Robert Körner, Anil Kumar Pandey, Artem Cherkasov, Jiazhong Li, Paola Gramatica, Katja Hansen, Timon Schroeter, Klaus-Robert Müller, Lili Xi, Huanxiang Liu, Xiaojun Yao, Tomas Öberg, Farhad Hormozdiari, Phuong Dao, Süleyman Cenk Sahinalp, Roberto Todeschini, Pavel G. Polishchuk, Anatoly G. Artemenko, Victor Kuzmin, Todd Martin, Douglas M. Young, Denis Fourches, Eugene N. Muratov, Alexander Tropsha, Igor I. Baskin, Dragos Horvath, Gilles Marcou, Christophe Muller, Alexandre Varnek, Volodymyr V. Prokopenko, Igor V. Tetko |
Applicability Domains for Classification Problems: Benchmarking of Distance to Models for Ames Mutagenicity Set. |
J. Chem. Inf. Model. |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Roustem D. Saiakhov, Gilles Klopman |
Benchmark Performance of MultiCASE Inc. Software in Ames Mutagenicity Set. |
J. Chem. Inf. Model. |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Taemin Kim, Zachary Moratto, Ara V. Nefian |
Robust Mosaicking of Stereo Digital Elevation Models from the Ames Stereo Pipeline. |
ISVC (2) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Lars Carlsson, Ernst Ahlberg Helgee, Scott Boyer |
Interpretation of Nonlinear QSAR Models Applied to Ames Mutagenicity Data. |
J. Chem. Inf. Model. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Katja Hansen, Sebastian Mika, Timon Schroeter, Andreas Sutter, Antonius ter Laak, Thomas Steger-Hartmann, Nikolaus Heinrich, Klaus-Robert Müller |
Benchmark Data Set for in Silico Prediction of Ames Mutagenicity. |
J. Chem. Inf. Model. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ernst Ahlberg Helgee, Lars Carlsson, Scott Boyer |
A Method for Automated Molecular Optimization Applied to Ames Mutagenicity Data. |
J. Chem. Inf. Model. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | |
2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008 |
EIT |
2008 |
DBLP BibTeX RDF |
|
26 | Sumi Helal, Simanta Mitra, Johnny S. Wong, Carl K. Chang, Mounir Mokhtari (eds.) |
Smart Homes and Health Telematics, 6th International Conference, ICOST 2008, Ames, IA, USA, June 28-July 2, 2008, Proceedings |
ICOST |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Gaurav Saxena, Subramaniam Ganesan, Manohar Das |
Real time implementation of adaptive noise cancellation. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Hassan Farhat |
Integrating electronics in computer science under curricula constraints, a comparative study. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Tamkeen M. Bhatti |
Designing a 5th order median filter with systolic array implementation. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Vaibhav Kumar, Degang Chen 0001 |
An overview and behavioral modeling of higher order multi-bit SigmaDelta A/D converters. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Jin-Wei Tioh, Rashmi Bahuguna, Nathan A. VanderHorn, Mani Mina, Robert J. Weber, Arun K. Somani |
Reprogrammable high-speed platform : Bridging the gap between research, education and engineering. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Carlos Gallardo, Pablo Ledesma |
Modification of power system linearization at the operating point to improve the stability in power systems including wind parks. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Kito Berg-Taylor, Keehong Seo, Soon-Jo Chung |
Development of a car-like online navigation testbed. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Dimo Stoilov, Luben Stoilov, Georgi Stoilov |
Momentary power market. |
EIT |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1134 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|