Search results for "AMES"

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