The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for AMES with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1963-1980 (15) 1981-1988 (32) 1989-1995 (18) 1996 (57) 1997-1998 (37) 1999-2002 (20) 2003-2005 (31) 2006 (21) 2007 (18) 2008 (144) 2009 (18) 2010-2011 (37) 2012 (30) 2013 (17) 2014 (35) 2015 (37) 2016 (41) 2017 (38) 2018 (30) 2019 (59) 2020 (88) 2021 (99) 2022 (83) 2023 (116) 2024 (13)
Publication types (Num. hits)
article(432) incollection(11) inproceedings(680) phdthesis(1) proceedings(10)
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
85Huanhuan Chen, Xin Yao 0001 Evolutionary Ensemble for In Silico Prediction of Ames Test Mutagenicity. Search on Bibsonomy ICIC (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ames Test Mutagenicity, In silico models, Evolutionary Ensemble, Negative Correlation Learning
69Cornelia Boldyreff, Elizabeth Burd, R. M. Hather, Richard Eric Mortimer, Malcolm Munro, E. J. Younger The AMES approach to application understanding: a case study. Search on Bibsonomy ICSM The full citation details ... 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
47R. Srinivasan 0001, Arun K. Somani On achieving fairness and efficiency in high-speed shared medium access. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF tree splitting, multiple access, collision resolution, broadcast networks
47Cornelia Boldyreff, Marc Drost, David S. Hinley, Mike Morrell, Andy Symons A basis for process improvement in application management. Search on Bibsonomy Softw. Qual. J. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF facilities management, trial assessment, process improvement, application management
43Michael R. Adamson Biographies. Search on Bibsonomy IEEE Ann. Hist. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF William F. Ballhaus Jr., NASA Ames Research Center, Illiac IV, Numerical Aerodynamic Simulation facility, computational fluid dynamics
43Michael R. Adamson Biographies. Search on Bibsonomy IEEE Ann. Hist. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Harvard Lomax, NASA Ames Research Center, numeric wind tunnel, Numerical Aerodynamic Simulation Facility, computational fluid dynamics, supercomputing
43Rod Fatoohi Performance evaluation of communication networks for distributed computing. Search on Bibsonomy ICCCN The full citation details ... 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
42Daniel E. Cooke, Scott Hamilton New Directions at NASA Ames Research Center. Search on Bibsonomy Computer The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Nicolaus 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. Search on Bibsonomy J. Field Robotics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Hayes Raffle, Rafael Ballagas, Glenda Revelle, Koichi Mori, Hiroshi Horii, Christopher Paretti, Mirjana Spasojevic Pop goes the cell phone: asynchronous messaging for preschoolers. Search on Bibsonomy IDC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
31J. Richards, T. Kummell, D. G. Zarlengo A mass storage system for supercomputers based on Unix. Search on Bibsonomy SC The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
27Uko Maran, Sulev Sild QSAR Modeling of Genotoxicity on Non-congeneric Sets of Organic Compounds. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Ames test, forward selection, molecular descriptors, mutagenicity, multi-linear regression, quantum chemical descriptors, neural network, QSAR
26Monica Palaseanu-Lovejoy, Oleg Alexandrov, Jeffrey Danielson, Curt Storlazzi SaTSeaD: Satellite Triangulated Sea Depth Open-Source Bathymetry Module for NASA Ames Stereo Pipeline. Search on Bibsonomy Remote. Sens. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Yuan Lu, Haitz Sáez de Ocáriz Borde, Pietro Liò AMES: A Differentiable Embedding Space Selection Framework for Latent Graph Inference. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Alexander Nadel, Kristin Yvonne Rozier (eds.) Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023 Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  BibTeX  RDF
26Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides Datapath Verification via Word-Level E-Graph Rewriting. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Abdalrhman Mohamed, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps Modular System Synthesis. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang Fortis: A Tool for Analysis and Repair of Robust Software Systems. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Shaowei Cai 0001 Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Bettina Könighofer Formal Methods for Trused AI. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Peter J. Stuckey MiniZinc for Formal Methods. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Manasvi Saxena, Shuang Song, Lui Sha MediK: Towards Safe Guideline-based Clinical Decision Support. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule Verified Encodings for SAT Solvers. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Bohan Li 0002, Shaowei Cai 0001 Local Search For SMT On Linear and Multi-linear Real Arithmetic. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Kuldeep S. Meel Distribution Testing: The New Frontier for Formal Methods. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia Modelling and Verification of Security-Oriented Resource Partitioning Schemes. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko Towards Compositional Hardware Model Checking Certification. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Iason Marmanis, Viktor Vafeiadis Optimal Bounded Partial Order Reduction. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Mikolas Janota, Nina Narodytska The FMCAD 2023 Student Forum. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Nils Froleyks, Emily Yu, Armin Biere BIG Backbones. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Haoze Wu 0001, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Samuel Pastva, Thomas A. Henzinger Binary Decision Diagrams on Modern Hardware. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Amalee Wilson, Andres Nötzli, Andrew Reynolds 0001, Byron Cook, Cesare Tinelli, Clark W. Barrett Partitioning Strategies for Distributed SMT Solving. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Katalin Fazekas, Aman Goel, Karem A. Sakallah SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Landon Taylor, Bryant Israelsen, Zhen Zhang 0006 Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Kaki Ryan, Cynthia Sturton Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26David Swartwout NASA's core Flight System Framework Overview. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Baoluo 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. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel BTOR2MLIR: A Format and Toolchain for Hardware Verification. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Maria Paola Bonacina Reasoning about Quantifiers in SMT: The QSMA algorithm. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli CRV: Automated Cyber-Resiliency Reasoning for System Design Models. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh Conformance Testing for Stochastic Cyber-Physical Systems. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz Formally Explaining Neural Networks within Reactive Systems. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Raya Elsaleh, Guy Katz DelBugV: Delta-Debugging Neural Network Verifiers. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Yi Zhou 0025, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno Mariposa: Measuring SMT Instability in Automated Program Verification. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Shreesha G. Bhat, Kartik Nagar Automating Cutoff-based Verification of Distributed Protocols. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Kait Lam, Nicholas Coughlin Lift-off: Trustworthy ARMv8 semantics from formal specifications. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Kristin 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. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Arkesh Thakkar, Deepak D'Souza Data-Driven Learning of Strong Conjunctive Invariants. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Benjamin Kiesl-Reiter, Michael W. Whalen Proofs for Incremental SAT with Inprocessing. Search on Bibsonomy FMCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Marí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. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Bo 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 Search on Bibsonomy CRiSIS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Aakash Sharma, Thomas Bye Nilsen, Sivert Johansen, Dag Johansen, Håvard D. Johansen Designing a Service for Compliant Sharing of Sensitive Research Data. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Hannes Salin, Dennis Fokin, Alexander Johansson Authenticated Multi-proxy Accumulation Schemes for Delegated Membership Proofs. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Ameerah-Muhsinah Jamil, Lotfi Ben Othmane, Altaz Valani Threat Modeling of Cyber-Physical Systems in Practice. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Nathan Daniel Schiele, Olga Gadyatskaya A Novel Approach for Attack Tree to Attack Graph Transformation. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Fadi Mohsen, Adel Shtayyeh, Riham Naser, Lena Mohammad, Marten Struijk Extending the Exposure Score of Web Browsers by Incorporating CVSS. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Anirban Sengupta A Stakeholder-Centric Approach for Defining Metrics for Information Security Management Systems. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Xiaozhe Shao, Hossein Pishro-Nik, Lixin Gao 0001 Path-Preserving Anonymization for Inter-domain Routing Policies. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Mohammad Sina Karvandi, Saleh Khalaj Monfared, Mohammad Sina Kiarostami, Dara Rahmati, Saeid Gorgin 0001 A TSX-Based KASLR Break: Bypassing UMIP and Descriptor-Table Exiting. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Lama Moukahal, Mohammad Zulkernine, Martin Soukup AVSDA: Autonomous Vehicle Security Decay Assessment. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Maryam Davari, Mohammad Zulkernine Policy Modeling and Anomaly Detection in ABAC Policies. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Lotfi Ben Othmane, Noor Ahmed 0001 Using Garbled Circuit for Secure Brokering. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Camilo Correa, Jacques Robin, Raúl Mazo, Salvador Abreu Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search. Search on Bibsonomy CRiSIS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Marianna Ruggieri, Maria Paola Speciale Optimal System and New Approximate Solutions of a Generalized Ames's Equation. Search on Bibsonomy Symmetry The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Piers A. Townsend, Matthew N. Grayson Density Functional Theory Transition-State Modeling for the Prediction of Ames Mutagenicity in 1, 4 Michael Acceptors. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Lara Kuhnke, Antonius ter Laak, Andreas H. Göller Mechanistic Reactivity Descriptors for the Prediction of Ames Mutagenicity of Primary Aromatic Amines. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Matthew J. Shannon, Christiaan Boersma Organic Molecules in Space: Insights from the NASA Ames Molecular Database in the era of the James Webb Space Telescope. Search on Bibsonomy SciPy The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Scott S. Fisher The NASA Ames VIEWlab Project - A Brief History. Search on Bibsonomy Presence Teleoperators Virtual Environ. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Jianping Shi, Xin Tao 0001, Li Xu 0001, Jiaya Jia Break Ames room illusion: depth from general single images. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Samuel 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. Search on Bibsonomy J. Cheminformatics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Chun-Wei Tung Acquiring Decision Rules for Predicting Ames-Negative Hepatocarcinogens Using Chemical-Chemical Interactions. Search on Bibsonomy PRIB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Chaitanya Poolla, Abe Ishihara, Steven Rosenberg, Rodney Martin, Alex Fong, Sreejita Ray, Chandrayee Basu Neural network forecasting of solar power for NASA Ames sustainability base. Search on Bibsonomy CIASG The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Xiaofei 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. Search on Bibsonomy IEEE Trans. Multim. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Michael G. Shafto, David J. Korsmeyer Contributions to IT: A View from Ames Research Center. Search on Bibsonomy IT Prof. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Sandeep 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. Search on Bibsonomy J. Comput. Aided Mol. Des. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Congying 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. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Gustaf Juell-Skielse, Anders G. Nilsson, Andreas Nordqvist, Mattias Westergren AMES: Towards an Agile Method for ERP Selection. Search on Bibsonomy CAiSE Forum The full citation details ... 2012 DBLP  BibTeX  RDF
26Patrick McCarren, Clayton Springer, Lewis Whitehead An investigation into pharmaceutically relevant mutagenicity data and the influence on Ames predictive potential. Search on Bibsonomy J. Cheminformatics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Jö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. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Iurii 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. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Roustem D. Saiakhov, Gilles Klopman Benchmark Performance of MultiCASE Inc. Software in Ames Mutagenicity Set. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Taemin Kim, Zachary Moratto, Ara V. Nefian Robust Mosaicking of Stereo Digital Elevation Models from the Ames Stereo Pipeline. Search on Bibsonomy ISVC (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Lars Carlsson, Ernst Ahlberg Helgee, Scott Boyer Interpretation of Nonlinear QSAR Models Applied to Ames Mutagenicity Data. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Katja 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. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Ernst Ahlberg Helgee, Lars Carlsson, Scott Boyer A Method for Automated Molecular Optimization Applied to Ames Mutagenicity Data. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 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 Search on Bibsonomy EIT The full citation details ... 2008 DBLP  BibTeX  RDF
26Sumi 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 Search on Bibsonomy ICOST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Gaurav Saxena, Subramaniam Ganesan, Manohar Das Real time implementation of adaptive noise cancellation. Search on Bibsonomy EIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Hassan Farhat Integrating electronics in computer science under curricula constraints, a comparative study. Search on Bibsonomy EIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Tamkeen M. Bhatti Designing a 5th order median filter with systolic array implementation. Search on Bibsonomy EIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Vaibhav Kumar, Degang Chen 0001 An overview and behavioral modeling of higher order multi-bit SigmaDelta A/D converters. Search on Bibsonomy EIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Jin-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. Search on Bibsonomy EIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Carlos Gallardo, Pablo Ledesma Modification of power system linearization at the operating point to improve the stability in power systems including wind parks. Search on Bibsonomy EIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Kito Berg-Taylor, Keehong Seo, Soon-Jo Chung Development of a car-like online navigation testbed. Search on Bibsonomy EIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Dimo Stoilov, Luben Stoilov, Georgi Stoilov Momentary power market. Search on Bibsonomy EIT The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license