Search results for "Solar"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Valentina V. Zharkova, Vitaly Schetinin	A Neural-Network Technique for Recognition of Filaments in Solar Images.	KES	2003	DBLP DOI BibTeX RDF
30	Michael Clifford	Networking in The Solar Trust Model: Determining Optimal Trust Paths in a Decentralized Trust Network.	ACSAC	2002	DBLP DOI BibTeX RDF
30	S. A. Dolenko, Yu. V. Orlov, I. G. Persiantsev, Ju. S. Shugai, A. V. Dmitriev, A. V. Suvorova, I. S. Veselovsky	Solar Wind Data Analysis Using Self-Organizing Hierarchical Neural Network Classifiers.	Multiple Classifier Systems	2001	DBLP DOI BibTeX RDF
30	Pedro J. Zufiria, A. Vázquez-López, J. Riesco-Prieto, Jorge Aguilera 0001, Leocadio Hontoria	A Neural Network Approach for Generating Solar Irradiation Artificial Series.	IWANN (2)	1999	DBLP DOI BibTeX RDF
30	Tohru Araki, Toshihiko Iyemori, Masahito Nose, Takaaki Wada, Yoshifumi Futaana, Genta Ueno, Toyohisa Kamei, Akiniro Saito	Application of Discovery Science to Solar-Terrestrial Physics.	Discovery Science	1998	DBLP DOI BibTeX RDF
30	Joseph G. Finegold, F. Ann Herlevich	BALDR-1: a solar thermal system simulation.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
29	Jeremy Gummeson, Shane S. Clark, Kevin Fu, Deepak Ganesan	On the limits of effective hybrid micro-energy harvesting on mobile CRFID sensors.	MobiSys	2010	DBLP DOI BibTeX RDF	solar, sensing, rfid, energy harvesting
29	Le Ha Chi, Nguyen Nang Dinh, Pham Duy Long, Dang Tran Chien, Tran Thi Chung Thuy	Study on Electrical and Optical Properties of the Hybrid Nanocrystalline TiO2 and Conjugated Polymer Thin Films.	NanoNet	2009	DBLP DOI BibTeX RDF	Nanocomposite, photoluminescence, titanium dioxide, polymeric solar cell
29	Clemens Moser, Jian-Jia Chen, Lothar Thiele	Power management in energy harvesting embedded systems with discrete service levels.	ISLPED	2009	DBLP DOI BibTeX RDF	energy harvesting systems, embedded systems, power management, reward maximization, solar cells
29	Stelios G. Ioannou, Konstantinos Dalamagkidis, Kimon P. Valavanis, Elias K. Stefanakos	Improving Endurance and Range of a UGV with Gimballed Landing Platform for Launching Small Unmanned Helicopters.	J. Intell. Robotic Syst.	2008	DBLP DOI BibTeX RDF	Endurance improvement, Lithium batteries, Landing platform UGV, VTOL vehicle, Solar power, Fuel cells
29	Mary V. Schorn	A unique insight into department of energy research accomplishments: a special collection.	JCDL	2008	DBLP DOI BibTeX RDF	accomplishments, achievements, aec, archaea, atomic energy commission, bubble chamber, buckyball, cancer therapy, computerized axial tomography, cosmic microwave background radiation, cyclotron, department of energy, energy research and development administration, erda, feynman diagrams, government documents, human genome, manhattan project, mri, neutron scattering, nobel prize, nuclear shell model, radioisotope thermoelectric generators, rtg, special collection, success stories, superconductivity, top quark, magnetic resonance imaging, atom, video game, research, history, discoveries, dna, science, positron emission tomography, results, cat, outcomes, solar energy, pet, economic impacts, doe
29	Feng Zhang, Terence D. Todd, Dongmei Zhao, Vytas Kezys	Power Saving Access Points for IEEE 802.11 Wireless Network Infrastructure.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	ESS mesh, Wireless LANs, IEEE 802.11, power saving, access point, solar power, multihop communications
29	Cao Dayong	Consciousness changing the photoelectric principle by slow wave.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	(human)consciousness, photoelectric signals, slow potential, slow fluctuation, slow wave, mass wave, energy fluctuation Cconsciousness field, consciousness inherit and evolve, solar cell
29	Walter Oberschelp, Alexander Hornung, Horst Samulowitz	Visualization of eclipses and planetary conjunction events. The interplay between model coherence, scaling and animation.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Animation of celestial conjunctions, Object oriented motion simulation, Illumination by bright sources, Weber-Fechner-perception, Solar eclipse
29	Walter Oberschelp, Alexander Hornung, Horst Samulowitz	Visualization of Eclipses and Planetary Conjunction Events: The Interplay between Model Coherence, Scaling and Animation.	Computer Graphics International	2000	DBLP DOI BibTeX RDF	solar eclipse, astronomic animation, cinematics, Weber-Fechner, model coherence, illumination
29	Nelson D. A. Mascarenhas, Ilana A. Souza, Paulo Estevão Cruvinel, Clovis I. Biscegli, Reinaldo R. Rosa	An Estimation Theoretic Approach to 3D Image Interpolation.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	3D image interpolation, Bayesian estimation theory, X-ray image interpolation, solar atmosphere, RMN tomographic images, tomato, interpolation, a priori information
28	Rushi Vyas, Vasileios Lakafosis, Manos M. Tentzeris	Enabling Localization in WSNs with Solar-Powered End Devices.	SUTC/UMC	2010	DBLP DOI BibTeX RDF	Solar, Power Scavenging, Ambient power, WSN, localization, RFID, microcontroller, RF, wireless sensor node
28	Kris Lin, Jennifer Yu, Jason Hsu, Sadaf Zahedi, David Lee, Jonathan Friedman, Aman Kansal, Vijay Raghunathan, Mani B. Srivastava	Heliomote: enabling long-lived sensor networks through solar energy harvesting.	SenSys	2005	DBLP DOI BibTeX RDF	solar energy harvesting, dynamic power management
27	Junqiang Sun, Mike Chu, Menghua Wang	New On-Orbit Calibration Approach of SNPP VIIRS Reflective Solar Bands Using the Full Profile of Direct Solar Illumination of Solar Diffuser.	IEEE Trans. Geosci. Remote. Sens.	2019	DBLP DOI BibTeX RDF
27	Junqiang Sun, Menghua Wang	NOAA-20 VIIRS reflective solar bands on-orbit calibration using solar diffuser and solar diffuser stability monitor.	Earth Observing Systems	2018	DBLP DOI BibTeX RDF
27	Junqiang Sun, Menghua Wang	VIIRS reflective solar bands on-orbit calibration using solar diffuser and solar diffuser stability monitor.	IGARSS	2015	DBLP DOI BibTeX RDF
27	Philip David Reusswig	Sensitized energy transfer for organic solar cells, optical solar concentrators, and solar pumped lasers.		2014	RDF
21	Genoveva Vargas-Solar, Jérôme Darmont, Alejandro Adorjan, Javier A. Espinosa-Oviedo, Carmem S. Hara, Sabine Loudcher, Regina Motz, Martin A. Musicante, José-Luis Zechinelli-Martini	Dataversifying Natural Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life \& Earth Sciences.	CoRR	2024	DBLP DOI BibTeX RDF
21	Alex Gu, Baptiste Rozière, Hugh Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida I. Wang	CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution.	CoRR	2024	DBLP DOI BibTeX RDF
21	Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang 0001, Armando Solar-Lezama, Koushik Sen, Ion Stoica	LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.	CoRR	2024	DBLP DOI BibTeX RDF
21	Alex Gu, Wen-Ding Li, Naman Jain, Theo X. Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama	The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?	CoRR	2024	DBLP DOI BibTeX RDF
21	James Psota, Armando Solar-Lezama	Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes.	PPoPP	2024	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Jérôme Darmont, Alejandro Adorjan, Javier-Alfonso Espinosa-Oviedo, Carmem S. Hara, Sabine Loudcher, Regina Motz, Martin A. Musicante, José-Luis Zechinelli-Martini	Dataversifying Earth Sciences: Pioneering a Data Lake Architecture for Curated Data-Centric Experiments in Life and Earth Sciences.	EDBT/ICDT Workshops	2024	DBLP BibTeX RDF
21	Genoveva Vargas-Solar, Khalid Belhajjame, Javier-Alfonso Espinosa-Oviedo, Santiago Negrete-Yankelevich, José-Luis Zechinelli-Martini	MATILDA: Inclusive Data Science Pipelines Design through Computational Creativity.	EDBT/ICDT Workshops	2024	DBLP BibTeX RDF
21	Ria Das, Joshua B. Tenenbaum, Armando Solar-Lezama, Zenna Tavares	Combining Functional and Automata Synthesis to Discover Causal Reactive Programs.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama	Top-Down Synthesis for Library Learning.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	John K. Feser, Isil Dillig, Armando Solar-Lezama	Inductive Program Synthesis Guided by Observational Program Similarity.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Javier Smith, Patricio Loncomilla, Javier Ruiz-del-Solar	Human Pose Estimation Using Thermal Images.	IEEE Access	2023	DBLP DOI BibTeX RDF
21	Héctor Solar, Andoni Beriain, Roc Berenguer, Javier Sosa, Juan A. Montiel-Nelson	Semi-Passive UHF RFID Sensor Tags: A Comprehensive Review.	IEEE Access	2023	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Javier A. Espinosa-Oviedo, Luis Manuel Vilches Blázquez	Multi-perspective approach for curating and exploring the history of climate change in Latin America within digital newspapers.	Comput. Sci. Inf. Syst.	2023	DBLP DOI BibTeX RDF
21	Sergio-Daniel Sanchez-Solar, Gustavo Rodríguez Gómez, José Martínez-Carranza	Control of a Spherical Robot Rolling Over Irregular Surfaces.	J. Univers. Comput. Sci.	2023	DBLP DOI BibTeX RDF
21	Pavan Samtani, Francisco Leiva, Javier Ruiz-del-Solar	Learning to Break Rocks With Deep Reinforcement Learning.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
21	Daniel Cardenas, Patricio Loncomilla, Felipe Inostroza, Isao Parra-Tsunekawa, Javier Ruiz-del-Solar	Autonomous detection and loading of ore piles with load-haul-dump machines in Room & Pillar mines.	J. Field Robotics	2023	DBLP DOI BibTeX RDF
21	Sihem Amer-Yahia, Divyakant Agrawal, Yael Amsterdamer, Sourav S. Bhowmick, Angela Bonifati, Renata Borovica-Gajic, Jesús Camacho-Rodríguez, Barbara Catania, Panos K. Chrysanthis, Carlo Curino, Jérôme Darmont, Gillian Dobbie, Amr El Abbadi, Avrilia Floratou, Juliana Freire, Alekh Jindal, Vana Kalogeraki, Sujaya Maiyya, Alexandra Meliou, Madhulika Mohanty, Behrooz Omidvar-Tehrani, Fatma Özcan, Liat Peterfreund, Wenny Rahayu, Shazia Sadiq 0001, Sana Sellami, Utku Sirin, Wang-Chiew Tan, Bhavani Thuraisingham, Yuanyuan Tian, Pinar Tözün, Genoveva Vargas-Solar, Neeraja J. Yadwadkar, Victor Zakhary, Meihui Zhang 0001	Diversity, Equity and Inclusion Activities in Database Conferences: A 2022 Report.	SIGMOD Rec.	2023	DBLP DOI BibTeX RDF
21	Leonardo Hernandez Cano, Yewen Pu, Robert D. Hawkins, Joshua B. Tenenbaum, Armando Solar-Lezama	Learning a Hierarchical Planner from Humans in Multiple Generations.	CoRR	2023	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Santiago Negrete-Yankelevich, Javier A. Espinosa-Oviedo, Khalid Belhajjame, José-Luis Zechinelli-Martini	MATILDA: Inclusive Data Science Pipelines Design through Computational Creativity.	CoRR	2023	DBLP DOI BibTeX RDF
21	Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao 0001, Armando Solar-Lezama	Demystifying GPT Self-Repair for Code Generation.	CoRR	2023	DBLP DOI BibTeX RDF
21	Kavi Gupta, Osbert Bastani, Armando Solar-Lezama	SPARLING: Learning Latent Representations with Extremely Sparse Activations.	CoRR	2023	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Tania Cerquitelli, Javier A. Espinosa-Oviedo, François Cheval, Anthelme Buchaille, Luca Polgar	Conversational Data Exploration: A Game-Changer for Designing Data Science Pipelines.	CoRR	2023	DBLP DOI BibTeX RDF
21	Alejandro Adorjan, Genoveva Vargas-Solar, Regina Motz	A Novel Method for Curating Quanti-Qualitative Content.	CoRR	2023	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Mirian Halfeld Ferrari Alves, Anne-Lyse Minard Forst	From Text to Knowledge with Graphs: modelling, querying and exploiting textual content.	CoRR	2023	DBLP DOI BibTeX RDF
21	Theo X. Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy	LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Carlos Cruz-Montecinos, Xavier García-Massó, Huub Maas, Mauricio Cerda, Javier Ruiz-del-Solar, Claudio Tapia	Detection of intermuscular coordination based on the causality of empirical mode decomposition.	Medical Biol. Eng. Comput.	2023	DBLP DOI BibTeX RDF
21	Viviana Fernández Marcial, Llarina González-Solar, Ana Vale	Is ORCID your ID? A case study at the Faculty of Arts and Humanities of the University of Porto.	Learn. Publ.	2023	DBLP DOI BibTeX RDF
21	Felipe Inostroza, Isao Parra-Tsunekawa, Javier Ruiz-del-Solar	Robust Localization for Underground Mining Vehicles: An Application in a Room and Pillar Mine.	Sensors	2023	DBLP DOI BibTeX RDF
21	Àlex Aduna-Sánchez, Antonio Correcher, David Alfonso-Solar, Carlos Vargas-Salgado	Measuring Heat Stress for Human Health in Cities: A Low-Cost Prototype Tested in a District of Valencia, Spain.	Sensors	2023	DBLP DOI BibTeX RDF
21	Alonso Inostrosa-Psijas, Roberto Solar, Mauricio Marín, Veronica Gil-Costa, Gabriel A. Wainer	Modeling and Simulating Stream Processing Platforms.	WSC	2023	DBLP DOI BibTeX RDF
21	Iddo Drori, Sarah J. Zhang, Zad Chin, Reece Shuttleworth, Albert Lu, Linda Chen, Bereket Birbo, Michele He, Pedro Lantigua, Sunny Tran, Gregory Hunter, Bo Feng, Newman Cheng, Roman Wang, Yann Hicke, Saisamrit Surbehera, Arvind Raghavan, Alexander E. Siemenn, Nikhil Singh 0003, Jayson Lynch, Avi Shporer, Nakul Verma, Tonio Buonassisi, Armando Solar-Lezama	A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level.	AAAI	2023	DBLP DOI BibTeX RDF
21	Theo Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy	LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.	EMNLP	2023	DBLP DOI BibTeX RDF
21	Alberto Abelló, Panos Vassiliadis, Oscar Romero 0001, Robert Wrembel, Francesca Bugiotti, Johann Gamper, Genoveva Vargas-Solar, Ester Zumpano (eds.)	New Trends in Database and Information Systems - ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings	ADBIS (Short Papers)	2023	DBLP DOI BibTeX RDF
21	Adam Przybylek, Aleksandra Karpus, Allel Hadjali, Anton Dignös, Carmem S. Hara, Danae Pla Karidi, Ester Zumpano, Fabio Persia, Genoveva Vargas-Solar, George Papastefanatos, Giancarlo Sperlì, Giorgos Giannopoulos, Ivan Lukovic, Julien Aligon, Manolis Terrovitis, Marek Grzegorowski, Mariella Bonomo, Mirian Halfeld Ferrari Alves, Nicolas Labroche, Paul Monsarrat, Richard Chbeir, Sana Sellami, Seshu Tirupathi, Simona E. Rombo, Slavica Kordic, Sonja Ristic, Tommaso Di Noia, Torben Bach Pedersen, Vincenzo Moscato	Databases and Information Systems: Contributions from ADBIS 2023 Workshops and Doctoral Consortium.	ADBIS (Short Papers)	2023	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Chirine Ghedira Guegan, Javier A. Espinosa-Oviedo, José-Luis Zechinelli-Martini	Embracing Diversity and Inclusion: A Decolonial Approach to Urban Computing.	AICCSA	2023	DBLP DOI BibTeX RDF
21	Louann Coste, Flora Helmers, Hamamache Kheddouci, Léo Le Nestour, Mahsa Niazi, Genoveva Vargas-Solar	Strategies for creating knowledge graphs to depict a multi-perspective Queer communities representation.	EDBT/ICDT Workshops	2023	DBLP BibTeX RDF
21	Genoveva Vargas-Solar, Karim Dao, Javier A. Espinosa-Oviedo	Translating data science queries from natural language into graph analytics queries using NLDS-QL.	EDBT/ICDT Workshops	2023	DBLP BibTeX RDF
21	James Koppel, Zheng Guo 0003, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova	Searching entangled program spaces.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
21	James Koppel, Jackson Kearl, Armando Solar-Lezama	Automatically deriving control-flow graph generators from operational semantics.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
21	Patricio Loncomilla, Pavan Samtani, Javier Ruiz-del-Solar	Detecting rocks in challenging mining environments using convolutional neural networks and ellipses as an alternative to bounding boxes.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
21	Sihem Amer-Yahia, Yael Amsterdamer, Sourav S. Bhowmick, Angela Bonifati, Philippe Bonnet, Renata Borovica-Gajic, Barbara Catania, Tania Cerquitelli, Silvia Chiusano, Panos K. Chrysanthis, Carlo Curino, Jérôme Darmont, Amr El Abbadi, Avrilia Floratou, Juliana Freire, Alekh Jindal, Vana Kalogeraki, Georgia Koutrika, Arun Kumar, Sujaya Maiyya, Alexandra Meliou, Madhulika Mohanty, Felix Naumann, Nele Sina Noack, Fatma Özcan, Liat Peterfreund, Wenny Rahayu, Wang-Chiew Tan, Yuanyuan Tian, Pinar Tözün, Genoveva Vargas-Solar, Neeraja J. Yadwadkar, Meihui Zhang 0001	Diversity and Inclusion Activities in Database Conferences: A 2021 Report.	SIGMOD Rec.	2022	DBLP DOI BibTeX RDF
21	María-José Escobar, Nicolás Navarro-Guerrero, Javier Ruiz-del-Solar, Giulio Sandini	Special Issue on Emerging Topics on Development and Learning.	IEEE Trans. Cogn. Dev. Syst.	2022	DBLP DOI BibTeX RDF
21	Aderson Farias do Nascimento, Martin A. Musicante, Umberto Souza da Costa, Bruno M. Carvalho 0001, Marcus Alexandre Nunes, Genoveva Vargas-Solar	Data Centred Intelligent Geosciences: Research Agenda and Opportunities, Position Paper.	CoRR	2022	DBLP DOI BibTeX RDF
21	Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes	Neurosymbolic Programming for Science.	CoRR	2022	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Karim Dao, Mirian Halfeld Ferrari Alves	NLDS-QL: From natural language data science questions to queries on graphs: analysing patients conditions & treatments.	CoRR	2022	DBLP DOI BibTeX RDF
21	Vitali Petsiuk, Alexander E. Siemenn, Saisamrit Surbehera, Zad Chin, Keith Tyser, Gregory Hunter, Arvind Raghavan, Yann Hicke, Bryan A. Plummer, Ori Kerret, Tonio Buonassisi, Kate Saenko, Armando Solar-Lezama, Iddo Drori	Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark.	CoRR	2022	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Pierre Marrec, Mirian Halfeld Ferrari Alves	Comparing graph data science libraries for querying and analysing datasets: towards data science queries on graphs.	CoRR	2022	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar	Calling for a feminist revolt to decolonise data and algorithms in the age of Datification.	CoRR	2022	DBLP DOI BibTeX RDF
21	Alex Gu, Tamara Mitrovska, Daniela Velez, Jacob Andreas, Armando Solar-Lezama	ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications.	CoRR	2022	DBLP DOI BibTeX RDF
21	James Koppel, Zheng Guo 0003, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova	Searching Entangled Program Spaces.	CoRR	2022	DBLP DOI BibTeX RDF
21	Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah D. Goodman, Armando Solar-Lezama	LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions.	CoRR	2022	DBLP DOI BibTeX RDF
21	John K. Feser, Isil Dillig, Armando Solar-Lezama	Metric Program Synthesis for Inverse CSG.	CoRR	2022	DBLP DOI BibTeX RDF
21	Ali Akoglu, José-Luis Zechinelli-Martini, Hamamache Kheddouci, Genoveva Vargas-Solar	Graph analytics workflows enactment on just in time data centres, Position Paper.	CoRR	2022	DBLP DOI BibTeX RDF
21	Matthew Bowers, Theo X. Olausson, Catherine Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama	Top-Down Synthesis for Library Learning.	CoRR	2022	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Md Sahil Hassan, Ali Akoglu	JITA4DS: Disaggregated Execution of Data Science Pipelines Between the Edge and the Data Centre.	J. Web Eng.	2022	DBLP DOI BibTeX RDF
21	Patricio Loncomilla, Pavan Samtani, Javier Ruiz-del-Solar	Rocky-CenterNet: Detecting rocks using convolutional neural networks and ellipses.	Softw. Impacts	2022	DBLP DOI BibTeX RDF
21	João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante	A two-level formal model for Big Data processing programs.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Maysaa Khalil, Javier A. Espinosa-Oviedo, José-Luis Zechinelli-Martini	GREENHOME: A Household Energy Consumption and CO2 Footprint Metering Environment.	ACM Trans. Internet Techn.	2022	DBLP DOI BibTeX RDF
21	João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante	TRANSMUT-Spark: Transformation mutation for Apache Spark.	Softw. Test. Verification Reliab.	2022	DBLP DOI BibTeX RDF
21	Karl D. D. Willis, Pradeep Kumar Jayaraman, Hang Chu, Yunsheng Tian, Yifei Li 0002, Daniele Grandi, Aditya Sanghi, Linh Tran, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik	JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints.	CVPR	2022	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Tania Cerquitelli, Arianna Montorsi, Stefania Salvai, Maria Teresa Sangineti, Jérôme Darmont, Cécile Favre	Promoting equity, diversity and inclusion: policies, strategies and future directions in higher education, research communities and business.	IEEE Big Data	2022	DBLP DOI BibTeX RDF
21	Alejandro Jesus Capella Del Solar, Joan Miquel Solé, Felix Freitag	Towards a Monitoring System for a LoRa Mesh Network.	ICDCS	2022	DBLP DOI BibTeX RDF
21	Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini	Using Provenance in Data Analytics for Seismology: Challenges and Directions.	ADBIS (Short Papers)	2022	DBLP DOI BibTeX RDF
21	Silvia Chiusano, Tania Cerquitelli, Robert Wrembel, Kjetil Nørvåg, Barbara Catania, Genoveva Vargas-Solar, Ester Zumpano (eds.)	New Trends in Database and Information Systems - ADBIS 2022 Short Papers, Doctoral Consortium and Workshops: DOING, K-GALS, MADEISD, MegaData, SWODCH, Turin, Italy, September 5-8, 2022, Proceedings	ADBIS (Short Papers)	2022	DBLP DOI BibTeX RDF
21	Alejandro Adorjan, Genoveva Vargas-Solar, Regina Motz	Towards a human-in-the-loop curation: A qualitative perspective.	AICCSA	2022	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Zakaria Maamar	Message from AICCSA'2022 General Chairs.	AICCSA	2022	DBLP DOI BibTeX RDF
21	Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova	Optimizing consistency for partially replicated data stores.	PPoPP	2022	DBLP DOI BibTeX RDF
21	Roxana Trujillo, Mauricio Hidalgo, Ignacio Pérez, Mauricio Solar	Batch Generation of a Satellite Big Data Database and Comparison of LSTM Network Performance on Local Workstations.	SCCC	2022	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, Chirine Ghedira Guegan, Nadia Bennani	Intelligent integration of heterogeneous data for answering analytics queries in multi-cloud environments.	EDBT/ICDT Workshops	2022	DBLP BibTeX RDF
21	Nicolás Cruz, Francisco Leiva, Javier Ruiz-del-Solar	Deep learning applied to humanoid soccer robotics: playing without using any color information.	Auton. Robots	2021	DBLP DOI BibTeX RDF
21	Dana Fisman, Rishabh Singh, Armando Solar-Lezama	Special Issue on Syntax-Guided Synthesis Preface.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
21	Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue	Neurosymbolic Programming.	Found. Trends Program. Lang.	2021	DBLP DOI BibTeX RDF
21	Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Javier-Alfonso Espinosa-Oviedo, Luis Manuel Vilches Blázquez	LACLICHEV: Exploring the History of Climate Change in Latin America within Newspapers Digital Collections.	CoRR	2021	DBLP BibTeX RDF
21	Yichen Yang 0008, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard	Program Synthesis Guided Reinforcement Learning.	CoRR	2021	DBLP BibTeX RDF
21	Belén Vela, José María Cavero, Genoveva Vargas-Solar, Javier A. Espinosa-Oviedo, Paloma Cáceres	A Geo-Gender Study of Indexed Computer Science Research Publications.	CoRR	2021	DBLP BibTeX RDF
21	Jeevana Priya Inala, Yichen Yang 0008, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar 0001, Martin C. Rinard, Armando Solar-Lezama	Neurosymbolic Transformers for Multi-Agent Communication.	CoRR	2021	DBLP BibTeX RDF
21	João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante	TRANSMUT-SPARK: Transformation Mutation for Apache Spark.	CoRR	2021	DBLP BibTeX RDF
21	Raj Ratn Pranesh, Mehrdad Farokhnejad, Ambesh Shekhar, Genoveva Vargas-Solar	Looking for COVID-19 misinformation in multilingual social media texts.	CoRR	2021	DBLP BibTeX RDF