|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 1162-1171, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 182-191, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 11(1), pp. 111-124, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 6(2), pp. 99-111, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
facilities management, trial assessment, process improvement, application management |
43 | Michael R. Adamson |
Biographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 28(1), pp. 99-103, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 27(3), pp. 98-102, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 456, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 33(1), pp. 63-71, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Field Robotics ![In: J. Field Robotics 32(3), pp. 397-419, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 10th International Conference on Interaction Design and Children, IDC 2011, Ann Arbor, MI, USA, June 20-23, 2011, pp. 99-108, 2011, ACM, 978-1-4503-0751-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | J. Richards, T. Kummell, D. G. Zarlengo |
A mass storage system for supercomputers based on Unix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '88, Orlando, FL, USA, November 12-17, 1988, pp. 279-286, 1988, IEEE Computer Society, 0-8186-0882-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Uko Maran, Sulev Sild |
QSAR Modeling of Genotoxicity on Non-congeneric Sets of Organic Compounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 20(1-2), pp. 13-38, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(16), pp. 3950, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.11891, 2023. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-3-85448-060-0 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
26 | Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides |
Datapath Verification via Word-Level E-Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 92-100, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 189-198, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
Modular System Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 257-267, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-9, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Shaowei Cai 0001 |
Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Bettina Könighofer |
Formal Methods for Trused AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Peter J. Stuckey |
MiniZinc for Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 101-109, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Manasvi Saxena, Shuang Song, Lui Sha |
MediK: Towards Safe Guideline-based Clinical Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 306-317, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
Verified Encodings for SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 141-151, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 237-246, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Bohan Li 0002, Shaowei Cai 0001 |
Local Search For SMT On Linear and Multi-linear Real Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-10, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kuldeep S. Meel |
Distribution Testing: The New Frontier for Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 2, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 268-273, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
Towards Compositional Hardware Model Checking Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-11, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Iason Marmanis, Viktor Vafeiadis |
Optimal Bounded Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 86-91, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Mikolas Janota, Nina Narodytska |
The FMCAD 2023 Student Forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-2, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Nils Froleyks, Emily Yu, Armin Biere |
BIG Backbones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 162-167, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-11, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Samuel Pastva, Thomas A. Henzinger |
Binary Decision Diagrams on Modern Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 122-131, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 199-208, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 247-256, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 152-161, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Landon Taylor, Bryant Israelsen, Zhen Zhang 0006 |
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 284-293, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kaki Ryan, Cynthia Sturton |
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 110-121, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | David Swartwout |
NASA's core Flight System Framework Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 221-227, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel |
BTOR2MLIR: A Format and Toolchain for Hardware Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 55-63, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Maria Paola Bonacina |
Reasoning about Quantifiers in SMT: The QSMA algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 209-220, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
Conformance Testing for Stochastic Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 294-305, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz |
Formally Explaining Neural Networks within Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-13, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Raya Elsaleh, Guy Katz |
DelBugV: Delta-Debugging Neural Network Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 34-43, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 178-188, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Shreesha G. Bhat, Kartik Nagar |
Automating Cutoff-based Verification of Distributed Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 75-85, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kait Lam, Nicholas Coughlin |
Lift-off: Trustworthy ARMv8 semantics from formal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 274-283, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Arkesh Thakkar, Deepak D'Souza |
Data-Driven Learning of Strong Conjunctive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-11, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin Kiesl-Reiter, Michael W. Whalen |
Proofs for Incremental SAT with Inprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 132-140, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 62(24), pp. 6342-6351, 2022. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![Springer, 978-3-031-02066-7 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 155-161, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Hannes Salin, Dennis Fokin, Alexander Johansson |
Authenticated Multi-proxy Accumulation Schemes for Delegated Membership Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 162-171, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Ameerah-Muhsinah Jamil, Lotfi Ben Othmane, Altaz Valani |
Threat Modeling of Cyber-Physical Systems in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 3-19, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Nathan Daniel Schiele, Olga Gadyatskaya |
A Novel Approach for Attack Tree to Attack Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 74-90, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 172-182, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Anirban Sengupta |
A Stakeholder-Centric Approach for Defining Metrics for Information Security Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 57-73, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Xiaozhe Shao, Hossein Pishro-Nik, Lixin Gao 0001 |
Path-Preserving Anonymization for Inter-domain Routing Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 121-136, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 38-54, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Lama Moukahal, Mohammad Zulkernine, Martin Soukup |
AVSDA: Autonomous Vehicle Security Decay Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 20-37, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Maryam Davari, Mohammad Zulkernine |
Policy Modeling and Anomaly Detection in ABAC Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 137-152, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Lotfi Ben Othmane, Noor Ahmed 0001 |
Using Garbled Circuit for Secure Brokering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 108-117, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, pp. 91-107, 2021, Springer, 978-3-031-02066-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Marianna Ruggieri, Maria Paola Speciale |
Optimal System and New Approximate Solutions of a Generalized Ames's Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(10), pp. 1230, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 59(12), pp. 5099-5103, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 59(2), pp. 668-672, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SciPy ![In: Proceedings of the 17th Python in Science Conference 2018 (SciPy 2018), Austin, Texas, July 9 - July 15, 2018, pp. 99-105, 2018, scipy.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Scott S. Fisher |
The NASA Ames VIEWlab Project - A Brief History. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Presence Teleoperators Virtual Environ. ![In: Presence Teleoperators Virtual Environ. 25(4), pp. 339-348, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 34(6), pp. 225:1-225:11, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 6(1), pp. 8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Chun-Wei Tung |
Acquiring Decision Rules for Predicting Ames-Negative Hepatocarcinogens Using Chemical-Chemical Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIB ![In: Pattern Recognition in Bioinformatics - 9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 21-23, 2014. Proceedings, pp. 1-9, 2014, Springer, 978-3-319-09191-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIASG ![In: 2014 IEEE Symposium on Computational Intelligence Applications in Smart Grid, CIASG 2014, Orlando, FL, USA, December 9-12, 2014, pp. 6-13, 2014, IEEE, 978-1-4799-4547-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 15(4), pp. 811-820, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Michael G. Shafto, David J. Korsmeyer |
Contributions to IT: A View from Ames Research Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Prof. ![In: IT Prof. 14(2), pp. 13-19, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 26(9), pp. 1017-1033, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 52(11), pp. 2840-2847, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Gustaf Juell-Skielse, Anders G. Nilsson, Andreas Nordqvist, Mattias Westergren |
AMES: Towards an Agile Method for ERP Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Forum ![In: Proceedings of the CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE), Gdansk, Poland, June 28, 2012, pp. 98-105, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 3, pp. 51, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 50(2), pp. 274-297, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 50(12), pp. 2094-2111, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Roustem D. Saiakhov, Gilles Klopman |
Benchmark Performance of MultiCASE Inc. Software in Ames Mutagenicity Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 50(9), pp. 1521, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing - 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part II, pp. 283-291, 2010, Springer, 978-3-642-17273-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Lars Carlsson, Ernst Ahlberg Helgee, Scott Boyer |
Interpretation of Nonlinear QSAR Models Applied to Ames Mutagenicity Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 49(11), pp. 2551-2558, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 49(9), pp. 2077-2081, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ernst Ahlberg Helgee, Lars Carlsson, Scott Boyer |
A Method for Automated Molecular Optimization Applied to Ames Mutagenicity Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 49(11), pp. 2559-2563, 2009. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
EIT ![IEEE, 978-1-4244-2030-8 The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOST ![Springer, 978-3-540-69914-9 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Gaurav Saxena, Subramaniam Ganesan, Manohar Das |
Real time implementation of adaptive noise cancellation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 431-436, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Hassan Farhat |
Integrating electronics in computer science under curricula constraints, a comparative study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 140-144, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Tamkeen M. Bhatti |
Designing a 5th order median filter with systolic array implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 179-182, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 128-133, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 145-147, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 183-186, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Kito Berg-Taylor, Keehong Seo, Soon-Jo Chung |
Development of a car-like online navigation testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 337-342, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Dimo Stoilov, Luben Stoilov, Georgi Stoilov |
Momentary power market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 419-424, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|