Skip to main content

Showing 1–17 of 17 results for author: Varela, C

.
  1. Skills in computational thinking of engineering students of the first school year

    Authors: Concepcion Varela, Carolina Rebollar, Olatz Garcia, Eugenio Bravo, Javier Bilbao

    Abstract: In this world of the digital era, in which we are living, one of the fundamental competences that students must acquire is the competence in Computational Thinking (CT). Although there is no general consensus on a formal definition, there is a general understanding of it as a set of skills and attitudes necessary for the resolution, with or without a computer, of problems that may arise in any are… ▽ More

    Submitted 6 February, 2024; originally announced February 2024.

  2. arXiv:2401.17330  [pdf

    cond-mat.mtrl-sci physics.optics

    Charge delocalization and hyperpolarizability in ionic liquids

    Authors: C. D. Rodriguez-Fernandez L. M. Varela, C. Schroder, E. Lopez Lago

    Abstract: In this work the role that charge delocalization plays in the non-linear optical response of ionic liquids is evaluated. The first hyperpolarizability for the non-linear process of second harmonic generation (SHG) and second hyperpolarizability for the non-linear process of electro-optical Kerr-Effect (EOKE) of a large number of ionic liquid forming ions were estimated by means of density function… ▽ More

    Submitted 29 January, 2024; originally announced January 2024.

    Comments: 12 pages, 6 figures, 4 tables, supplementary data associated with this article can be found, in the online version, at https://doi.org/10.1016/j.molliq.2021.118153

    Journal ref: Journal of Molecular Liquids 349 (2022) 118153

  3. arXiv:2210.07934  [pdf, ps, other

    cs.CL cs.IR cs.LG

    Codes, Patterns and Shapes of Contemporary Online Antisemitism and Conspiracy Narratives -- an Annotation Guide and Labeled German-Language Dataset in the Context of COVID-19

    Authors: Elisabeth Steffen, Helena Mihaljević, Milena Pustet, Nyco Bischoff, María do Mar Castro Varela, Yener Bayramoğlu, Bahar Oghalai

    Abstract: Over the course of the COVID-19 pandemic, existing conspiracy theories were refreshed and new ones were created, often interwoven with antisemitic narratives, stereotypes and codes. The sheer volume of antisemitic and conspiracy theory content on the Internet makes data-driven algorithmic approaches essential for anti-discrimination organizations and researchers alike. However, the manifestation a… ▽ More

    Submitted 13 October, 2022; originally announced October 2022.

    Comments: Link to the data sheet of the dataset: https://doi.org/10.5281/zenodo.6412114

  4. arXiv:2206.02950  [pdf, other

    cs.NI

    A Continuum Approach for Collaborative Task Processing in UAV MEC Networks

    Authors: Lorson Blair, Carlos A. Varela, Stacy Patterson

    Abstract: Unmanned aerial vehicles (UAVs) are becoming a viable platform for sensing and estimation in a wide variety of applications including disaster response, search and rescue, and security monitoring. These sensing UAVs have limited battery and computational capabilities, and thus must offload their data so it can be processed to provide actionable intelligence. We consider a compute platform consisti… ▽ More

    Submitted 6 June, 2022; originally announced June 2022.

  5. arXiv:2110.12587  [pdf, other

    cs.DC cs.LO cs.MA cs.SE

    Formal Guarantees of Timely Progress for Distributed Knowledge Propagation

    Authors: Saswata Paul, Stacy Patterson, Carlos Varela

    Abstract: Autonomous air traffic management (ATM) operations for urban air mobility (UAM) will necessitate the use of distributed protocols for decentralized coordination between aircraft. As UAM operations are time-critical, it will be imperative to have formal guarantees of progress for the distributed protocols used in ATM. Under asynchronous settings, message transmission and processing delays are unbou… ▽ More

    Submitted 24 October, 2021; originally announced October 2021.

    Comments: In Proceedings FMAS 2021, arXiv:2110.11527

    Journal ref: EPTCS 348, 2021, pp. 73-91

  6. arXiv:2103.14576  [pdf, ps, other

    cs.DC

    Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

    Authors: Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela

    Abstract: Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze progress in the Synod consensus protocol -- which does not assume a unique leader -- under the assumptions of asynchronous communication and potential agent failures. We identify a set of sufficient conditions under which it is possible to guarantee t… ▽ More

    Submitted 26 March, 2021; originally announced March 2021.

    Comments: This technical report is an extended version of the NASA Formal Methods Symposium 2021 proceedings paper with the same name

  7. arXiv:2102.07257  [pdf, other

    astro-ph.GA

    An Algorithm for Reconstructing the Orphan Stream Progenitor with MilkyWay@home Volunteer Computing

    Authors: Siddhartha Shelton, Heidi Jo Newberg, Jake Weiss, Jacob S. Bauer, Matthew Arsenault, Larry Widrow, Clayton Rayment, Travis Desell, Roland Judd, Malik Magdon-Ismail, Eric Mendelsohn, Matthew Newby, Colin Rice, Boleslaw K. Szymanski, Jeffery M. Thompson, Carlos Varela, Benjamin Willett, Steve Ulin, Lee Newberg

    Abstract: We have developed a method for estimating the properties of the progenitor dwarf galaxy from the tidal stream of stars that were ripped from it as it fell into the Milky Way. In particular, we show that the mass and radial profile of a progenitor dwarf galaxy evolved along the orbit of the Orphan Stream, including the stellar and dark matter components, can be reconstructed from the distribution o… ▽ More

    Submitted 14 February, 2021; originally announced February 2021.

    Comments: 25 pages, 5 figures, to be submitted to ApJS

  8. arXiv:2101.11747  [pdf, other

    astro-ph.IM astro-ph.HE

    Design and implementation of the AMIGA embedded system for data acquisition

    Authors: The Pierre Auger Collaboration, A. Aab, P. Abreu, M. Aglietta, J. M. Albury, I. Allekotte, A. Almela, J. Alvarez-Muñiz, R. Alves Batista, G. A. Anastasi, L. Anchordoqui, B. Andrada, S. Andringa, C. Aramo, P. R. Araújo Ferreira, J. C. Arteaga Velázquez, H. Asorey, P. Assis, G. Avila, A. M. Badescu, A. Bakalova, A. Balaceanu, F. Barbato, R. J. Barreira Luz, K. H. Becker , et al. (361 additional authors not shown)

    Abstract: The Auger Muon Infill Ground Array (AMIGA) is part of the AugerPrime upgrade of the Pierre Auger Observatory. It consists of particle counters buried 2.3 m underground next to the water-Cherenkov stations that form the 23.5 km$^2$ large infilled array. The reduced distance between detectors in this denser area allows the lowering of the energy threshold for primary cosmic ray reconstruction down t… ▽ More

    Submitted 20 July, 2021; v1 submitted 27 January, 2021; originally announced January 2021.

    Comments: Accepted for publication at JINST. Published version, 34 pages, 15 figures, 4 tables

    Report number: FERMILAB-PUB-21-032-AD-AE-E-TD

    Journal ref: JINST 16 T07008 (2021)

  9. arXiv:2011.08268  [pdf, other

    cs.SE

    ACCORDANT: A Domain Specific Model and DevOpsApproach for Big Data Analytics Architectures

    Authors: Camilo Castellanos, Carlos A. Varela, Dario Correal

    Abstract: Big data analytics (BDA) applications use machine learning algorithms to extract valuable insights from large, fast, and heterogeneous data sources. New software engineering challenges for BDA applications include ensuring performance levels of data-driven algorithms even in the presence of large data volume, velocity, and variety (3Vs). BDA software complexity frequently leads to delayed deployme… ▽ More

    Submitted 16 November, 2020; originally announced November 2020.

  10. arXiv:2006.03720  [pdf, other

    cs.DC cs.NI

    Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications

    Authors: Anirban Das, Andrew Leaf, Carlos A. Varela, Stacy Patterson

    Abstract: We present a framework for scheduling multifunction serverless applications over a hybrid public-private cloud. A set of serverless jobs is input as a batch, and the objective is to schedule function executions over the hybrid platform to minimize the cost of public cloud use, while completing all jobs by a specified deadline. As this scheduling problem is NP-Hard, we propose a greedy algorithm th… ▽ More

    Submitted 5 June, 2020; originally announced June 2020.

    Comments: 10 pages, 5 figures, 2020 IEEE 13th International Conference on Cloud Computing (CLOUD)

  11. arXiv:2006.03165  [pdf, other

    physics.ins-det physics.geo-ph

    Study of Spatial Resolution of Muon Hodoscopes for Muography Applications in Geophysics

    Authors: R. Calderón-Ardila, A. Almela, M. Gómez-Berisso, A. Sedoski, C. Varela, A. Vesga-Ramírez, H. Asorey

    Abstract: Muon radiography, also known as muography, is a non-destructive geophysical technique for the study of the internal structure of large objects such as volcanoes. This is possible by constructing an image based on the differential absorption of the directional flux of high-energy atmospheric muons produced during the interaction of cosmic rays with the atmosphere. So this no other source of radiati… ▽ More

    Submitted 10 June, 2021; v1 submitted 4 June, 2020; originally announced June 2020.

  12. arXiv:1711.09123  [pdf, other

    cs.DC

    A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade

    Authors: Rajkumar Buyya, Satish Narayana Srirama, Giuliano Casale, Rodrigo Calheiros, Yogesh Simmhan, Blesson Varghese, Erol Gelenbe, Bahman Javadi, Luis Miguel Vaquero, Marco A. S. Netto, Adel Nadjaran Toosi, Maria Alejandra Rodriguez, Ignacio M. Llorente, Sabrina De Capitani di Vimercati, Pierangela Samarati, Dejan Milojicic, Carlos Varela, Rami Bahsoon, Marcos Dias de Assuncao, Omer Rana, Wanlei Zhou, Hai **, Wolfgang Gentzsch, Albert Y. Zomaya, Haiying Shen

    Abstract: The Cloud computing paradigm has revolutionised the computer science horizon during the past decade and has enabled the emergence of computing as the fifth utility. It has captured significant attention of academia, industries, and government bodies. Now, it has emerged as the backbone of modern economy by offering subscription-based services anytime, anywhere following a pay-as-you-go model. This… ▽ More

    Submitted 24 August, 2018; v1 submitted 24 November, 2017; originally announced November 2017.

    Comments: 51 pages, 3 figures

  13. arXiv:1711.00716  [pdf, other

    eess.SY

    Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies

    Authors: Saswata Paul, Frederick Hole, Alexandra Zytek, Carlos A. Varela

    Abstract: Loss of thrust emergencies-e.g., induced by bird/drone strikes or fuel exhaustion-create the need for dynamic data-driven flight trajectory planning to advise pilots or control UAVs. While total loss of thrust trajectories to nearby airports can be pre-computed for all initial points in a 3D flight plan, dynamic aspects such as partial power and airplane surface damage must be considered for accur… ▽ More

    Submitted 31 October, 2017; originally announced November 2017.

    Comments: This work was accepted as a full paper and presented in the Second International Conference on InfoSymbiotics / DDDAS (Dynamic Data Driven Applications Systems) held at MIT, Cambridge, Massachusetts in August, 2017

  14. arXiv:1702.02204  [pdf

    cs.DC

    A Robust Asynchronous Newton Method for Massive Scale Computing Systems

    Authors: Travis Desell, Malik Magdon-Ismail, Heidi Newberg, Lee A. Newberg, Boleslaw K. Szymanski, Carlos A. Varela

    Abstract: Volunteer computing grids offer super-computing levels of computing power at the relatively low cost of operating a server. In previous work, the authors have shown that it is possible to take traditionally iterative evolutionary algorithms and execute them on volunteer computing grids by performing them asynchronously. The asynchronous implementations dramatically increase scalability and decreas… ▽ More

    Submitted 30 December, 2016; originally announced February 2017.

  15. MilkyWay@home: Harnessing volunteer computers to constrain dark matter in the Milky Way

    Authors: Heidi Jo Newberg, Matthew Newby, Travis Desell, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos Varela

    Abstract: MilkyWay@home is a volunteer computing project that allows people from every country in the world to volunteer their otherwise idle processors to Milky Way research. Currently, more than 25,000 people (150,000 since November 9, 2007) contribute about half a PetaFLOPS of computing power to our project. We currently run two types of applications: one application fits the spatial density profile of t… ▽ More

    Submitted 21 November, 2014; originally announced November 2014.

    Comments: 6 pages, 1 figure; Setting the scene for Gaia and LAMOST, Proceedings of the International Astronomical Union, IAU Symposium, Volume 298, pp. 98-104, 2014

    Journal ref: 2014, IAU Symposium, 298, 98

  16. A Spatial Characterization of the Sagittarius Dwarf Galaxy Tidal Tails

    Authors: Matthew Newby, Nathan Cole, Heidi Jo Newberg, Travis Desell, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos Varela, Benjamin Willett, Brian Yanny

    Abstract: We measure the spatial density of F turnoff stars in the Sagittarius dwarf tidal stream, from Sloan Digital Sky Survey (SDSS) data, using statistical photometric parallax. We find a set of continuous, consistent parameters that describe the leading Sgr stream's position, direction, and width for 15 stripes in the North Galactic Cap, and 3 stripes in the South Galactic Cap. We produce a catalog of… ▽ More

    Submitted 8 April, 2013; v1 submitted 4 April, 2013; originally announced April 2013.

    Comments: 35 pages, 8 figures, 9 tables. Accepted for publication in The Astrophysical Journal

    Journal ref: The Astronomical Journal 145(6), 163, June, 2013

  17. Maximum Likelihood Fitting of Tidal Streams With Application to the Sagittarius Dwarf Tidal Tails

    Authors: Nathan Cole, Heidi Jo Newberg, Malik Magdon-Ismail, Travis Desell, Kristopher Dawsey, Warren Hayashi, Xinyang, Liu, Jonathan Purnell, Boleslaw Szymanski, Carlos Varela, Benjamin Willett, James Wisniewski

    Abstract: We present a maximum likelihood method for determining the spatial properties of tidal debris and of the Galactic spheroid. With this method we characterize Sagittarius debris using stars with the colors of blue F turnoff stars in SDSS stripe 82. The debris is located at (alpha, delta, R) = (31.37 deg +/- 0.26 deg, 0.0 deg, 29.22 +/- 0.20 kpc), with a (spatial) direction given by the unit vector… ▽ More

    Submitted 17 September, 2008; v1 submitted 14 May, 2008; originally announced May 2008.

    Comments: 50 pages, 8 figures, 5 tables. Accepted for publication into the Astrophysical Journal

    Journal ref: Astrophys.J. 683 (2008) 750