Search results for "ANDROMEDA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
137	Víctor Cuevas-Vicenttín, José-Luis Zechinelli-Martini, Genoveva Vargas-Solar	Andromeda : Building e-Science Data Integration Tools.	DEXA	2006	DBLP DOI BibTeX RDF	data and information integration, distributed databases, XML query processing, data mediation
94	Bruce Elson, Patricia A. Reynolds, Ardavan Amini, Ezra Burke, Craig Chapman	Advanced Networks in Dental Rich Online MEDiA (ANDROMEDA).	WCCE	2009	DBLP DOI BibTeX RDF	ANDROMEDA, Knowledge-Based Engineering (KBE), Semantic Web, Service-Oriented Architecture (SOA)
84	Aristotelis A. Chatziioannou, Panagiotis Moulos	ANDROMEDA: A MATLAB Automated cDNA Microarray Data Analysis Platform.	AIAI	2007	DBLP DOI BibTeX RDF
45	Changqing Lin, Alexis Kai-Hon Lau, Jimmy C. H. Fung, Qianshan He, Jun Ma, Xingcheng Lu, Zhiyuan Li, Chengcai Li, Renguang Zuo, Andromeda H. S. Wong	Decomposing the Long-term Variation in Population Exposure to Outdoor PM2.5 in the Greater Bay Area of China Using Satellite Observations.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
45	Andromeda Cristina Sonea	HX-groups Associated with the Dihedral Group Dn.	J. Multiple Valued Log. Soft Comput.	2019	DBLP BibTeX RDF
45	Changqing Lin, Alexis Kai-Hon Lau, Xingcheng Lu, Jimmy C. H. Fung, Zhiyuan Li, Chengcai Li, Andromeda H. S. Wong	Assessing Effect of Targeting Reduction of PM2.5 Concentration on Human Exposure and Health Burden in Hong Kong Using Satellite Observation.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
31	Farhad Merchant, Dominik Sisejkovic, Lennart M. Reimann, Kirthihan Yasotharan, Thomas Grass, Rainer Leupers	ANDROMEDA: An FPGA Based RISC-V MPSoC Exploration Framework.	CoRR	2021	DBLP BibTeX RDF
31	Pablo Villanueva-Domingo, Francisco Villaescusa-Navarro, Shy Genel, Daniel Anglés-Alcázar, Lars Hernquist, Federico Marinacci, David N. Spergel, Mark Vogelsberger, Desika Narayanan	Weighing the Milky Way and Andromeda with Artificial Intelligence.	CoRR	2021	DBLP BibTeX RDF
31	Dimitris Deyannis, Dimitris Karnikis, Giorgos Vasiliadis, Sotiris Ioannidis	Andromeda: Enabling Secure Enclaves for the Android Ecosystem.	ISC	2021	DBLP DOI BibTeX RDF
31	Farhad Merchant, Dominik Sisejkovic, Lennart M. Reimann, Kirthihan Yasotharan, Thomas Grass, Rainer Leupers	ANDROMEDA: An FPGA Based RISC-V MPSoC Exploration Framework.	VLSID	2021	DBLP DOI BibTeX RDF
31	Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover	Andromeda: A Dataset of Ansible Galaxy Roles and Their Evolution.	MSR	2021	DBLP DOI BibTeX RDF
31	Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic	Equality Checking for General Type Theories in Andromeda 2.	ICMS	2020	DBLP DOI BibTeX RDF
31	Paris Mavromoustakos Blom, Sander Bakkes, Pieter Spronck	Andromeda: A Personalised Crisis Management Training Toolkit.	GALA	2019	DBLP DOI BibTeX RDF
31	Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone	Design and Implementation of the Andromeda Proof Assistant.	CoRR	2018	DBLP BibTeX RDF
31	Michael Dalton, David Schultz, Jacob Adriaens, Ahsan Arefin, Anshuman Gupta, Brian Fahs, Dima Rubinstein, Enrique Cauich Zermeno, Erik Rubow, James Alexander Docauer, Jesse Alpert, Jing Ai, Jon Olson, Kevin DeCabooter, Marc de Kruijf, Nan Hua, Nathan Lewis, Nikhil Kasinadhuni, Riccardo Crepaldi, Srinivas Krishnan, Subbaiah Venkata, Yossi Richter, Uday Naik, Amin Vahdat	Andromeda: Performance, Isolation, and Velocity at Scale in Cloud Network Virtualization.	NSDI	2018	DBLP BibTeX RDF
31	Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone	Design and Implementation of the Andromeda Proof Assistant.	TYPES	2016	DBLP DOI BibTeX RDF
31	Cameron Boutin	Mass effect andromeda trailer.	SIGGRAPH Computer Animation Festival	2016	DBLP BibTeX RDF
31	Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana	Andromeda: A System for Processing Queries and Updates on Big XML Documents.	ADBIS (Short Papers and Workshops)	2015	DBLP DOI BibTeX RDF
31	Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri	Andromeda: Accurate and Scalable Security Analysis of Web Applications.	FASE	2013	DBLP DOI BibTeX RDF
26	Maria Funaro, Maria Marinaro, Alfredo Petrosino, Silvia Scarpetta	Finding Hidden Events in Astrophysical Data using PCA and Mixture of Gaussians Clustering.	Pattern Anal. Appl.	2002	DBLP DOI BibTeX RDF	Astrophysical data, Pixel lensing, Classification, Principal Component Analysis, Data analysis, Mixture of Gaussians