-
Almost Orthogonal Arrays: Theory and Search Three Ways
Authors:
Luis Martínez,
María Merino,
Juan Manuel Montoya,
Josué Tonelli-Cueto
Abstract:
Orthogonal arrays play a fundamental role in many applications. However, constructing orthogonal arrays with the required parameters for an application usually is extremely difficult and, sometimes, even impossible. Hence there is an increasing need for a relaxation of orthogonal arrays to allow a wider flexibility. The latter has lead to various types of arrays under the name of ``nearly-orthogon…
▽ More
Orthogonal arrays play a fundamental role in many applications. However, constructing orthogonal arrays with the required parameters for an application usually is extremely difficult and, sometimes, even impossible. Hence there is an increasing need for a relaxation of orthogonal arrays to allow a wider flexibility. The latter has lead to various types of arrays under the name of ``nearly-orthogonal arrays'', and less often ``almost orthogonal arrays''. The aim of this paper is twofold. On the one hand, we review all the existing relaxations, comparing and discussing them in depth. On the other hand, we explore how to find almost orthogonal arrays three ways: using integer programming, local search meta-heuristics and algebraic methods. We compare all our search results with the ones existing in the literature, and we show that they are competitive, improving some of the existing arrays for many non-orthogonality measures. All our found almost orthogonal arrays are available at a public repository.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Data-driven sparse modeling of oscillations in plasma space propulsion
Authors:
B. Bayón-Buján,
M. Merino
Abstract:
An algorithm to obtain data-driven models of oscillatory phenomena in plasma space propulsion systems is presented, based on sparse regression (SINDy) and Pareto front analysis. The algorithm can incorporate physical constraints, use data bootstrapping for additional robustness, and fine-tuning to different metrics. Standard, weak and integral SINDy formulations are discussed and compared. The sch…
▽ More
An algorithm to obtain data-driven models of oscillatory phenomena in plasma space propulsion systems is presented, based on sparse regression (SINDy) and Pareto front analysis. The algorithm can incorporate physical constraints, use data bootstrapping for additional robustness, and fine-tuning to different metrics. Standard, weak and integral SINDy formulations are discussed and compared. The scheme is benchmarked in the case of breathing-mode oscillations in Hall effect thrusters, using PIC/fluid simulation data. Models of varying complexity are obtained for the average plasma properties, and shown to have a clear physical interpretability and agreement with existing 0D models in the literature. Lastly, the algorithm applied is also shown to enable the identification of physical subdomains with qualitatively different plasma dynamics, providing valuable information for more advanced modeling approaches.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Using YOLO v7 to Detect Kidney in Magnetic Resonance Imaging
Authors:
Pouria Yazdian Anari,
Fiona Obiezu,
Nathan Lay,
Fatemeh Dehghani Firouzabadi,
Aditi Chaurasia,
Mahshid Golagha,
Shiva Singh,
Fatemeh Homayounieh,
Aryan Zahergivar,
Stephanie Harmon,
Evrim Turkbey,
Rabindra Gautam,
Kevin Ma,
Maria Merino,
Elizabeth C. Jones,
Mark W. Ball,
W. Marston Linehan,
Baris Turkbey,
Ashkan A. Malayeri
Abstract:
Introduction This study explores the use of the latest You Only Look Once (YOLO V7) object detection method to enhance kidney detection in medical imaging by training and testing a modified YOLO V7 on medical image formats. Methods Study includes 878 patients with various subtypes of renal cell carcinoma (RCC) and 206 patients with normal kidneys. A total of 5657 MRI scans for 1084 patients were r…
▽ More
Introduction This study explores the use of the latest You Only Look Once (YOLO V7) object detection method to enhance kidney detection in medical imaging by training and testing a modified YOLO V7 on medical image formats. Methods Study includes 878 patients with various subtypes of renal cell carcinoma (RCC) and 206 patients with normal kidneys. A total of 5657 MRI scans for 1084 patients were retrieved. 326 patients with 1034 tumors recruited from a retrospective maintained database, and bounding boxes were drawn around their tumors. A primary model was trained on 80% of annotated cases, with 20% saved for testing (primary test set). The best primary model was then used to identify tumors in the remaining 861 patients and bounding box coordinates were generated on their scans using the model. Ten benchmark training sets were created with generated coordinates on not-segmented patients. The final model used to predict the kidney in the primary test set. We reported the positive predictive value (PPV), sensitivity, and mean average precision (mAP). Results The primary training set showed an average PPV of 0.94 +/- 0.01, sensitivity of 0.87 +/- 0.04, and mAP of 0.91 +/- 0.02. The best primary model yielded a PPV of 0.97, sensitivity of 0.92, and mAP of 0.95. The final model demonstrated an average PPV of 0.95 +/- 0.03, sensitivity of 0.98 +/- 0.004, and mAP of 0.95 +/- 0.01. Conclusion Using a semi-supervised approach with a medical image library, we developed a high-performing model for kidney detection. Further external validation is required to assess the model's generalizability.
△ Less
Submitted 12 February, 2024; v1 submitted 8 February, 2024;
originally announced February 2024.
-
Anti-Sexism Alert System: Identification of Sexist Comments on Social Media Using AI Techniques
Authors:
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Mateo Ramos Merino,
Sonia Valladares,
Soledad Torres Guijarro,
Manar Mohamed Hafez
Abstract:
Social relationships in the digital sphere are becoming more usual and frequent, and they constitute a very important aspect for all of us. {Violent interactions in this sphere are very frequent, and have serious effects on the victims}. Within this global scenario, there is one kind of digital violence that is becoming really worrying: sexism against women. Sexist comments that are publicly poste…
▽ More
Social relationships in the digital sphere are becoming more usual and frequent, and they constitute a very important aspect for all of us. {Violent interactions in this sphere are very frequent, and have serious effects on the victims}. Within this global scenario, there is one kind of digital violence that is becoming really worrying: sexism against women. Sexist comments that are publicly posted in social media (newspaper comments, social networks, etc.), usually obtain a lot of attention and become viral, with consequent damage to the persons involved. In this paper, we introduce an anti-sexism alert system, based on natural language processing (NLP) and artificial intelligence (AI), that analyzes any public post, and decides if it could be considered a sexist comment or not. Additionally, this system also works on analyzing all the public comments linked to any multimedia content (piece of news, video, tweet, etc.) and decides, using a color-based system similar to traffic lights, if there is sexism in the global set of posts. We have created a labeled data set in Spanish, since the majority of studies focus on English, to train our system, which offers a very good performance after the validation experiments.
△ Less
Submitted 28 November, 2023;
originally announced December 2023.
-
Analysis of a cusped helicon plasma thruster discharge
Authors:
Pedro Jimenez,
Jiewei Zhou,
Jaume Navarro,
Pablo Fajardo,
Mario Merino,
Eduardo Ahedo
Abstract:
A compact helicon plasma thruster that features a cusp in its internal magnetic field is analyzed with experiments and simulations. A compensated Langmuir probe and a Faraday cup are used in the former, while a hybrid PIC/fluid transport model combined with a frequency-domain electromagnetic field model are used in the latter. Measurements serve to tune the anomalous transport parameters of the mo…
▽ More
A compact helicon plasma thruster that features a cusp in its internal magnetic field is analyzed with experiments and simulations. A compensated Langmuir probe and a Faraday cup are used in the former, while a hybrid PIC/fluid transport model combined with a frequency-domain electromagnetic field model are used in the latter. Measurements serve to tune the anomalous transport parameters of the model and overall show the same trends as the numerical results, including a secondary peak of electron temperature downstream in the magnetic nozzle, where electron cyclotron resonance conditions for the 13.56 MHz excitation frequency are met. The cusp plays a central role in determining the plasma losses to the walls and the profile of electron temperature, which in turn defines the excitation and ionization losses. While losses to the rear wall are reduced, losses to the lateral wall are increased, which, together with the low production efficiency, limit the performance of the device. Shorter chamber lengths and optimization of antenna and cusp location are suggested as potential ways to improve performance.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
An implicit, conservative electrostatic particle-in-cell algorithm for paraxial magnetic nozzles
Authors:
Pedro Jimenez,
Luis Chacon,
Mario Merino
Abstract:
An electrostatic, implicit particle-in-cell (PIC) model for collisionless, fully magnetized, paraxial plasma expansions in a magnetic nozzle is introduced with exact charge, energy, and magnetic moment conservation properties. The approach is adaptive in configuration space by the use of mapped meshes, and exploits the strict conservation of the magnetic moment to reduce the dimensionality of velo…
▽ More
An electrostatic, implicit particle-in-cell (PIC) model for collisionless, fully magnetized, paraxial plasma expansions in a magnetic nozzle is introduced with exact charge, energy, and magnetic moment conservation properties. The approach is adaptive in configuration space by the use of mapped meshes, and exploits the strict conservation of the magnetic moment to reduce the dimensionality of velocity space. A new particle integrator is implemented, which allows for particle substepping without the need to stop particle motion at every cell for charge conservation. Particle suborbits are determined from accuracy considerations, and are allowed to span multiple cells. Novel particle injection and expansion-to-infinity boundary conditions are developed, including a control loop to prevent the formation of spurious sheaths at the edges of the domain. The algorithm is verified in a periodic magnetic mirror configuration, a uniform plasma test case (to test particle injection), and a propulsive magnetic nozzle. The algorithm's computational complexity is shown to scale favorably with timestep, and linearly with the number of particles and mesh cells (unlike earlier implicit PIC implementations, which scaled quadratically with the number of mesh cells in one dimension). Numerical experiments demonstrate that the proposed algorithm outperforms both explicit PIC and semi-Lagrangian Vlasov codes by more than an order of magnitude.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Automatic segmentation of clear cell renal cell tumors, kidney, and cysts in patients with von Hippel-Lindau syndrome using U-net architecture on magnetic resonance images
Authors:
Pouria Yazdian Anari,
Nathan Lay,
Aditi Chaurasia,
Nikhil Gopal,
Safa Samimi,
Stephanie Harmon,
Rabindra Gautam,
Kevin Ma,
Fatemeh Dehghani Firouzabadi,
Evrim Turkbey,
Maria Merino,
Elizabeth C. Jones,
Mark W. Ball,
W. Marston Linehan,
Baris Turkbey,
Ashkan A. Malayeri
Abstract:
We demonstrate automated segmentation of clear cell renal cell carcinomas (ccRCC), cysts, and surrounding normal kidney parenchyma in patients with von Hippel-Lindau (VHL) syndrome using convolutional neural networks (CNN) on Magnetic Resonance Imaging (MRI). We queried 115 VHL patients and 117 scans (3 patients have two separate scans) with 504 ccRCCs and 1171 cysts from 2015 to 2021. Lesions wer…
▽ More
We demonstrate automated segmentation of clear cell renal cell carcinomas (ccRCC), cysts, and surrounding normal kidney parenchyma in patients with von Hippel-Lindau (VHL) syndrome using convolutional neural networks (CNN) on Magnetic Resonance Imaging (MRI). We queried 115 VHL patients and 117 scans (3 patients have two separate scans) with 504 ccRCCs and 1171 cysts from 2015 to 2021. Lesions were manually segmented on T1 excretory phase, co-registered on all contrast-enhanced T1 sequences and used to train 2D and 3D U-Net. The U-Net performance was evaluated on 10 randomized splits of the cohort. The models were evaluated using the dice similarity coefficient (DSC). Our 2D U-Net achieved an average ccRCC lesion detection Area under the curve (AUC) of 0.88 and DSC scores of 0.78, 0.40, and 0.46 for segmentation of the kidney, cysts, and tumors, respectively. Our 3D U-Net achieved an average ccRCC lesion detection AUC of 0.79 and DSC scores of 0.67, 0.32, and 0.34 for kidney, cysts, and tumors, respectively. We demonstrated good detection and moderate segmentation results using U-Net for ccRCC on MRI. Automatic detection and segmentation of normal renal parenchyma, cysts, and masses may assist radiologists in quantifying the burden of disease in patients with VHL.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
Kinetic Electron Cooling in Magnetic Nozzles: Experiments and Modeling
Authors:
June Young Kim,
Kyoung-Jae Chung,
Kazunori Takahashi,
Mario Merino,
Eduardo Ahedo
Abstract:
As long-distance space travel requires propulsion systems with greater operational flexibility and lifetimes, there is a growing interest in electrodeless plasma thrusters that offer the opportunity of improved scalability, larger throttleability, running on different propellants, and limit device erosion. The majority of electrodeless designs rely on a magnetic nozzle (MN) for the acceleration of…
▽ More
As long-distance space travel requires propulsion systems with greater operational flexibility and lifetimes, there is a growing interest in electrodeless plasma thrusters that offer the opportunity of improved scalability, larger throttleability, running on different propellants, and limit device erosion. The majority of electrodeless designs rely on a magnetic nozzle (MN) for the acceleration of the plasma, which has the advantage of utilizing the expanding electrons to neutralize the ion beam without the additional installation of a cathode. The plasma expansion in the MN is nearly collisionless, and a fluid description of electrons requires a non-trivial closure relation. Kinetic electron effects, and in particular electron cooling, play a crucial role in various physical phenomena such as energy balance, ion acceleration, and particle detachment. Based on the experimental and theoretical studies conducted in recognition of this importance, the fundamental physics of the electron cooling mechanism revealed in MNs and magnetically expanding plasma are reviewed. Especially, recent approaches from the kinetic point of view are discussed, and our perspective on the future challenges of electron cooling and the relevant physical subject of MN is presented.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
DRAFT-What you always wanted to know but could not find about block-based environments
Authors:
Mauricio Verano Merino,
Jurgen Vinju,
Mark van den Brand
Abstract:
Block-based environments are visual programming environments, which are becoming more and more popular because of their ease of use. The ease of use comes thanks to their intuitive graphical representation and structural metaphors (jigsaw-like puzzles) to display valid combinations of language constructs to the users. Part of the current popularity of block-based environments is thanks to Scratch.…
▽ More
Block-based environments are visual programming environments, which are becoming more and more popular because of their ease of use. The ease of use comes thanks to their intuitive graphical representation and structural metaphors (jigsaw-like puzzles) to display valid combinations of language constructs to the users. Part of the current popularity of block-based environments is thanks to Scratch. As a result they are often associated with tools for children or young learners. However, it is unclear how these types of programming environments are developed and used in general. So we conducted a systematic literature review on block-based environments by studying 152 papers published between 2014 and 2020, and a non-systematic tool review of 32 block-based environments. In particular, we provide a helpful inventory of block-based editors for end-users on different topics and domains. Likewise, we focused on identifying the main components of block-based environments, how they are engineered, and how they are used. This survey should be equally helpful for language engineering researchers and language engineers alike.
△ Less
Submitted 6 October, 2021;
originally announced October 2021.
-
Lattice decomposition of modules
Authors:
Josefa M. García,
Pascual Jara,
Luis M. Merino
Abstract:
The first aim of this work is to characterize when the lattice of all submodules of a module is a direct product of two lattices. In particular, which decompositions of a module $M$ produce these decompositions: the \emph{lattice decompositions}. In a first \textit{étage} this can be done using endomorphisms of $M$, which produce a decomposition of the ring $\textrm{End}_R(M)$ as a product of ring…
▽ More
The first aim of this work is to characterize when the lattice of all submodules of a module is a direct product of two lattices. In particular, which decompositions of a module $M$ produce these decompositions: the \emph{lattice decompositions}. In a first \textit{étage} this can be done using endomorphisms of $M$, which produce a decomposition of the ring $\textrm{End}_R(M)$ as a product of rings, i.e., they are central idempotent endomorphisms. But since not every central idempotent endomorphism produces a lattice decomposition, the classical theory is not of application. In a second step we characterize when a particular module $M$ has a lattice decomposition; this can be done, in the commutative case in a simple way using the support, $\textrm{Supp}(M)$, of $M$; but, in general, it is not so easy. Once we know when a module decomposes, we look for characterizing its decompositions. We show that a good framework for this study, and its generalizations, could be provided by the category $σ[M]$, the smallest Grothendieck subcategory of $\textbf{Mod}-{R}$ containing $M$.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
A revisited branch-and-cut algorithm for large-scale orienteering problems
Authors:
Gorka Kobeaga,
María Merino,
Jose A. Lozano
Abstract:
The orienteering problem is a route optimization problem which consists in finding a simple cycle that maximizes the total collected profit subject to a maximum distance limitation. In the last few decades, the occurrence of this problem in real-life applications has boosted the development of many heuristic algorithms to solve it. However, during the same period, not much research has been devote…
▽ More
The orienteering problem is a route optimization problem which consists in finding a simple cycle that maximizes the total collected profit subject to a maximum distance limitation. In the last few decades, the occurrence of this problem in real-life applications has boosted the development of many heuristic algorithms to solve it. However, during the same period, not much research has been devoted to the field of exact algorithms for the orienteering problem. The aim of this work is to develop an exact method which is able to obtain optimality certification in a wider set of instances than with previous methods, or to improve the lower and upper bounds in its disability.
We propose a revisited version of the branch-and-cut algorithm for the orienteering problem which includes new contributions in the separation algorithms of inequalities stemming from the cycle problem, in the separation loop, in the variables pricing, and in the calculation of the lower and upper bounds of the problem. Our proposal is compared to three state-of-the-art algorithms on 258 benchmark instances with up to 7397 nodes. The computational experiments show the relevance of the designed components where 18 new optima, 76 new best-known solutions and 85 new upper-bound values were obtained.
△ Less
Submitted 13 January, 2021; v1 submitted 5 November, 2020;
originally announced November 2020.
-
Sensitivity of the Cherenkov Telescope Array for probing cosmology and fundamental physics with gamma-ray propagation
Authors:
The Cherenkov Telescope Array Consortium,
:,
H. Abdalla,
H. Abe,
F. Acero,
A. Acharyya,
R. Adam,
I. Agudo,
A. Aguirre-Santaella,
R. Alfaro,
J. Alfaro,
C. Alispach,
R. Aloisio,
R. Alves B,
L. Amati,
E. Amato,
G. Ambrosi,
E. O. Angüner,
A. Araudo,
T. Armstrong,
F. Arqueros,
L. Arrabito,
K. Asano,
Y. Ascasíbar,
M. Ashley
, et al. (474 additional authors not shown)
Abstract:
The Cherenkov Telescope Array (CTA), the new-generation ground-based observatory for $γ$-ray astronomy, provides unique capabilities to address significant open questions in astrophysics, cosmology, and fundamental physics. We study some of the salient areas of $γ$-ray cosmology that can be explored as part of the Key Science Projects of CTA, through simulated observations of active galactic nucle…
▽ More
The Cherenkov Telescope Array (CTA), the new-generation ground-based observatory for $γ$-ray astronomy, provides unique capabilities to address significant open questions in astrophysics, cosmology, and fundamental physics. We study some of the salient areas of $γ$-ray cosmology that can be explored as part of the Key Science Projects of CTA, through simulated observations of active galactic nuclei (AGN) and of their relativistic jets. Observations of AGN with CTA will enable a measurement of $γ$-ray absorption on the extragalactic background light with a statistical uncertainty below 15% up to a redshift $z=2$ and to constrain or detect $γ$-ray halos up to intergalactic-magnetic-field strengths of at least 0.3pG. Extragalactic observations with CTA also show promising potential to probe physics beyond the Standard Model. The best limits on Lorentz invariance violation from $γ$-ray astronomy will be improved by a factor of at least two to three. CTA will also probe the parameter space in which axion-like particles could constitute a significant fraction, if not all, of dark matter. We conclude on the synergies between CTA and other upcoming facilities that will foster the growth of $γ$-ray cosmology.
△ Less
Submitted 26 February, 2021; v1 submitted 3 October, 2020;
originally announced October 2020.
-
Perspectives on Physics of ExB Discharges Relevant to Plasma Propulsion and Similar Technologies
Authors:
Igor D. Kaganovich,
Andrei Smolyakov,
Yevgeny Raitses,
Eduardo Ahedo,
Ioannis G. Mikellides,
Benjamin Jorns,
Francesco Taccogna,
Renaud Gueroult,
Sedina Tsikata,
Anne Bourdon,
Jean-Pierre Boeuf,
Michael Keidar,
Andrew Tasman Powis,
Mario Merino,
Mark Cappelli,
Kentaro Hara,
Johan A. Carlsson,
Nathaniel J. Fisch,
Pascal Chabert,
Irina Schweigert,
Trevor Lafleur,
Konstantin Matyash,
Alexander V. Khrabrov,
Rod W. Boswell,
Amnon Fruchtman
Abstract:
This paper provides perspectives on recent progress in the understanding of the physics of devices where the external magnetic field is applied perpendicularly to the discharge current. This configuration generates a strong electric field, which acts to accelerates ions. The many applications of this set up include generation of thrust for spacecraft propulsion and the separation of species in pla…
▽ More
This paper provides perspectives on recent progress in the understanding of the physics of devices where the external magnetic field is applied perpendicularly to the discharge current. This configuration generates a strong electric field, which acts to accelerates ions. The many applications of this set up include generation of thrust for spacecraft propulsion and the separation of species in plasma mass separation devices. These ExB plasmas are subject to plasma-wall interaction effects as well as various micro and macro instabilities, and in many devices, we observe the emergence of anomalous transport. This perspective presents the current understanding of the physics of these phenomena, state-of-the-art computational results, identifies critical questions, and suggests directions for future research
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
On Solving Cycle Problems with Branch-and-Cut: Extending Shrinking and Exact Subcycle Elimination Separation Algorithms
Authors:
Gorka Kobeaga,
María Merino,
Jose A. Lozano
Abstract:
In this paper, we extend techniques developed in the context of the Travelling Salesperson Problem for cycle problems. Particularly, we study the shrinking of support graphs and the exact algorithms for subcycle elimination separation problems. The efficient application of the considered techniques has proved to be essential in the Travelling Salesperson Problem when solving large size problems by…
▽ More
In this paper, we extend techniques developed in the context of the Travelling Salesperson Problem for cycle problems. Particularly, we study the shrinking of support graphs and the exact algorithms for subcycle elimination separation problems. The efficient application of the considered techniques has proved to be essential in the Travelling Salesperson Problem when solving large size problems by Branch-and-Cut, and this has been the motivation behind this work. Regarding the shrinking of support graphs, we prove the validity of the Padberg-Rinaldi general shrinking rules and the Crowder-Padberg subcycle-safe shrinking rules. Concerning the subcycle separation problems, we extend two exact separation algorithms, the Dynamic Hong and the Extended Padberg-Grötschel algorithms, which are shown to be superior to the ones used so far in the literature of cycle problems.
The proposed techniques are empirically tested in 24 subcycle elimination problem instances generated by solving the Orienteering Problem (involving up to 15112 vertices) with Branch-and-Cut. The experiments suggest the relevance of the proposed techniques for cycle problems. The obtained average speedup for the subcycle separation problems in the Orienteering Problem when the proposed techniques are used together is around 50 times in medium-sized instances and around 250 times in large-sized instances.
△ Less
Submitted 6 September, 2021; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Bacatá: Notebooks for DSLs, Almost for Free
Authors:
Mauricio Verano Merino,
Jurgen Vinju,
Tijs van der Storm
Abstract:
Context: Computational notebooks are a contemporary style of literate programming, in which users can communicate and transfer knowledge by interleaving executable code, output, and prose in a single rich document. A Domain-Specific Language (DSL) is an artificial software language tailored for a particular application domain. Usually, DSL users are domain experts that may not have a software engi…
▽ More
Context: Computational notebooks are a contemporary style of literate programming, in which users can communicate and transfer knowledge by interleaving executable code, output, and prose in a single rich document. A Domain-Specific Language (DSL) is an artificial software language tailored for a particular application domain. Usually, DSL users are domain experts that may not have a software engineering background. As a consequence, they might not be familiar with Integrated Development Environments (IDEs). Thus, the development of tools that offer different interfaces for interacting with a DSL is relevant.
Inquiry: However, resources available to DSL designers are limited. We would like to leverage tools used to interact with general purpose languages in the context of DSLs. Computational notebooks are an example of such tools. Then, our main question is: What is an efficient and effective method of designing and implementing notebook interfaces for DSLs? By addressing this question we might be able to speed up the development of DSL tools, and ease the interaction between end-users and DSLs.
Approach: In this paper, we present Bacatá, a mechanism for generating notebook interfaces for DSLs in a language parametric fashion. We designed this mechanism in a way in which language engineers can reuse as many language components (e.g., language processors, type checkers, code generators) as possible.
Knowledge: Our results show that notebook interfaces generated by Bacatá can be automatically generated with little manual configuration. There are few considerations and caveats that should be addressed by language engineers that rely on language design aspects. The creation of a notebook for a DSL with Bacatá becomes a matter of writing the code that wires existing language components in the Rascal language workbench with the Jupyter platform.
Grounding: We evaluate Bacatá by generating functional computational notebook interfaces for three different non-trivial DSLs, namely: a small subset of Halide (a DSL for digital image processing), SweeterJS (an extended version of JavaScript), and QL (a DSL for questionnaires). Additionally, it is relevant to generate notebook implementations rather than implementing them manually. We measured and compared the number of Source Lines of Code (SLOCs) that we reused from existing implementations of those languages.
Importance: The adoption of notebooks by novice-programmers and end-users has made them very popular in several domains such as exploratory programming, data science, data journalism, and machine learning. Why are they popular? In (data) science, it is essential to make results reproducible as well as understandable. However, notebooks are only available for GPLs. This paper opens up the notebook metaphor for DSLs to improve the end-user experience when interacting with code and to increase DSLs adoption.
△ Less
Submitted 14 February, 2020;
originally announced February 2020.
-
The stratified p-center problem
Authors:
Maria Albareda-Sambola,
Luisa I. Martínez Merino,
Antonio M. Rodríguez-Chía
Abstract:
This work presents an extension of the p-center problem. In this new model, called Stratified p-Center Problem (SpCP), the demand is concentrated in a set of sites and the population of these sites is divided into different strata depending on the kind of service that they require. The aim is to locate p centers to cover the different types of services demanded minimizing the weighted average of t…
▽ More
This work presents an extension of the p-center problem. In this new model, called Stratified p-Center Problem (SpCP), the demand is concentrated in a set of sites and the population of these sites is divided into different strata depending on the kind of service that they require. The aim is to locate p centers to cover the different types of services demanded minimizing the weighted average of the largest distances associated with each of the different strata. In addition, it is considered that more than one stratum can be present at each site. Different formulations, valid inequalities and preprocessings are developed and compared for this problem. An application of this model is presented in order to implement a heuristic approach based on the Sample Average Approximation method (SAA) for solving the probabilistic p-center problem in an efficient way.
△ Less
Submitted 3 August, 2018;
originally announced August 2018.
-
Telescope Fabra ROA Montsec: a new robotic wide-field Baker-Nunn facility
Authors:
O. Fors,
J. Núñez,
J. L. Muiños,
F. J. Montojo,
R. Baena-Gallé,
J. Boloix,
R. Morcillo,
M. T. Merino,
E. C. Downey,
M. J. Mazur
Abstract:
A Baker-Nunn Camera (BNC), originally installed at the Real Instituto y Observatorio de la Armada (ROA) in 1958, was refurbished and robotized. The new facility, called Telescope Fabra ROA Montsec (TFRM), was installed at the Observatori Astronòmic del Montsec (OAdM).
The process of refurbishment is described in detail. Most of the steps of the refurbishment project were accomplished by purchasi…
▽ More
A Baker-Nunn Camera (BNC), originally installed at the Real Instituto y Observatorio de la Armada (ROA) in 1958, was refurbished and robotized. The new facility, called Telescope Fabra ROA Montsec (TFRM), was installed at the Observatori Astronòmic del Montsec (OAdM).
The process of refurbishment is described in detail. Most of the steps of the refurbishment project were accomplished by purchasing commercial components, which involve little posterior engineering assembling work. The TFRM is a 0.5m aperture f/0.96 optically modified BNC, which offers a unique combination of instrumental specifications: fully robotic and remote operation, wide-field of view (4.4 deg x 4.4 deg), moderate limiting magnitude (V~19.5mag), ability of tracking at arbitrary right ascension and declination rates, as well as opening and closing CCD shutter at will during an exposure.
Nearly all kind of image survey programs can benefit from those specifications. Apart from other less time consuming programs, since the beginning of science TFRM operations we have been conducting two specific and distinct surveys: super-Earths transiting around M-type dwarfs stars, and geostationary debris in the context of Space Situational Awareness / Space Surveillance and Tracking (SSA/SST) programs. Preliminary results for both cases will be shown.
△ Less
Submitted 9 April, 2013; v1 submitted 23 November, 2012;
originally announced November 2012.
-
The Fabra-ROA Telescope at Montsec (TFRM): A Fully Robotic Wide-field Telescope for Space Surveillance and Tracking
Authors:
F. J. Montojo,
O. Fors,
J. L. Muinos,
J. Nunez,
R. Lopez-Morcillo,
R. Baena,
J. Boloix,
T. Lopez-Moratalla,
M. Merino
Abstract:
Since the beginning of the Space Age optical sensors have been one of the main instruments for positioning and tracking known space objects. Nowadays, the unrelenting growth of man-made objects together with the overcrowding of the useful satellite orbits, and the real space debris and NEO hazards, has made necessary to carry out surveys of the space looking for uncatalogued objects. Optical teles…
▽ More
Since the beginning of the Space Age optical sensors have been one of the main instruments for positioning and tracking known space objects. Nowadays, the unrelenting growth of man-made objects together with the overcrowding of the useful satellite orbits, and the real space debris and NEO hazards, has made necessary to carry out surveys of the space looking for uncatalogued objects. Optical telescopes play a key role in the Space Surveillance and Tracking (SST) as a primary Space Situational Awareness element and, it is known, that the best instrument for this task is a fully robotic wide-field telescope with a minimum aperture of 40cm.
The Baker-Nunn Cameras (BNCs) were produced by the Smithsonian Institution during the late 50s as an optical tracking system for artificial satellites. These wide-field telescopes of 50cm of aperture were manufactured by Perkin- Elmer (optics) and Boller & Chivens (mechanics) with the highest quality specifications. The TFRM is a fully robotic refurbished BNC that exploits the excellent mechanical and optical original design to obtain an equatorial telescope with a useful 4.4°x4.4° CCD field of view. TFRM is therefore a European asset very well suited for SST (satellites and space debris) and NEO observations. Moreover, its control system allows tracking of all kinds of orbits, including LEOs.
△ Less
Submitted 27 September, 2011;
originally announced September 2011.
-
Status of Telescope Fabra ROA at Montsec: Optical Observations for Space Surveillance & Tracking
Authors:
O. Fors,
F. J. Montojo,
J. Nunez,
J. L. Muinos,
J. Boloix,
R. Baena,
R. Morcillo,
M. Merino
Abstract:
The telescope Fabra ROA at Montsec (TFRM) is a 0.5m f/1 refurbished Baker-Nunn Camera (BNC) operated by a collaboration between the Fabra Observatory - Royal Academy of Arts and Sciences of Barcelona and the Spanish Navy Observatory (ROA), and installed at Montsec Astronomical Observatory (Spain).
Among other capabilities, its CCD FoV (4.4°x4.4°), the telescope tracking at arbitrary RA and DEC r…
▽ More
The telescope Fabra ROA at Montsec (TFRM) is a 0.5m f/1 refurbished Baker-Nunn Camera (BNC) operated by a collaboration between the Fabra Observatory - Royal Academy of Arts and Sciences of Barcelona and the Spanish Navy Observatory (ROA), and installed at Montsec Astronomical Observatory (Spain).
Among other capabilities, its CCD FoV (4.4°x4.4°), the telescope tracking at arbitrary RA and DEC rates, and the CCD shutter commanding at will during the exposure are specially remarkable for Space Surveillance and Tracking (SST) observational programs.
On Feb 2011, the TFRM participated, in the CO-VI third run satellite tracking campaign of the ESA SST/Space Surveillance Awareness Preparatory Program (SST/SSA-PP). During this multi-asset 7-day campaign the TFRM conducted systematic observations of artificial satellites which yielded to the determination of 1137 accurate position measurements. Since Feb 2011, the TFRM is observing in remote and fully unattended robotic modes under commissioning status.
A summary of the results of the ESA CO-VI SST optical observational campaign and insights of other SST-like observations in process will be presented.
△ Less
Submitted 27 September, 2011;
originally announced September 2011.
-
The Fabra-ROA Baker-Nunn Camera at Observatori Astronòmic del Montsec: a wide-field imaging facility for exoplanet transit detection
Authors:
O. Fors,
J. Núñez,
J. L. Muiños,
F. J. Montojo,
R. Baena,
M. Merino,
R. Morcillo,
V. Blanco
Abstract:
A number of Baker-Nunn Camera (BNC) were manufactured by Smithsonian Institution during the 60s as optical tracking systems for artificial satellites with optimal optical and mechanical specifications. One of them was installed at the Real Instituto y Observatorio de la Armada (ROA).
We have conducted a profound refurbishment project of the telescope to be installed at Observatori Astronòmic d…
▽ More
A number of Baker-Nunn Camera (BNC) were manufactured by Smithsonian Institution during the 60s as optical tracking systems for artificial satellites with optimal optical and mechanical specifications. One of them was installed at the Real Instituto y Observatorio de la Armada (ROA).
We have conducted a profound refurbishment project of the telescope to be installed at Observatori Astronòmic del Montsec (OAdM). As a result, the BNC offers the largest combination of a huge FOV (4.4$°$x4.4$°$) and aperture (leading to a limiting magnitude of V$\sim$20).
These specifications, together with their remote and robotic natures, allows this instrument to face an observational program of exoplanets detection by means of transit technique with high signal-to-noise ratio in the appropiate magnitude range.
△ Less
Submitted 4 December, 2009;
originally announced December 2009.
-
Localization in tame and wild coalgebras
Authors:
Pascual Jara,
Luis M. Merino,
Gabriel Navarro
Abstract:
We apply the theory of localization for tame and wild coalgebras in order to prove the following theorem: "Let Q be an acyclic quiver. Then any tame admissible subcoalgebra of KQ is the path coalgebra of a quiver with relations".
We apply the theory of localization for tame and wild coalgebras in order to prove the following theorem: "Let Q be an acyclic quiver. Then any tame admissible subcoalgebra of KQ is the path coalgebra of a quiver with relations".
△ Less
Submitted 12 January, 2007;
originally announced January 2007.
-
The Calar Alto lunar occultation program: update and new results
Authors:
A. Richichi,
O. Fors,
M. Merino,
X. Otazu,
J. Nunez,
A. Prades,
U. Thiele,
D. Perez-Ramirez,
F. J. Montojo
Abstract:
We present an update of the lunar occultation program which is routinely carried out in the near-IR at the Calar Alto Observatory. A total of 350 events were recorded since our last report (Fors et al. 2004). In the course of eight runs we have observed, among others, late-type giants, T-Tauri stars, and infrared sources. Noteworthy was a passage of the Moon close to the galactic center, which p…
▽ More
We present an update of the lunar occultation program which is routinely carried out in the near-IR at the Calar Alto Observatory. A total of 350 events were recorded since our last report (Fors et al. 2004). In the course of eight runs we have observed, among others, late-type giants, T-Tauri stars, and infrared sources. Noteworthy was a passage of the Moon close to the galactic center, which produced a large number of events during just a few hours in July 2004. Results include the determinations of the angular diameter of RZ Ari, and the projected separations and brightness ratios for one triple and 13 binary stars, almost all of which representing first time detections. Projected separations range from 0.09arcsec to 0.007arcsec. We provide a quantitative analysis of the performance achieved in our observations in terms of angular resolution and sensitivity, which reach about 0.003arcsec and K~8.5mag, respectively. We also present a statistical discussion of our sample, and in particular of the frequency of detection of binaries among field stars.
△ Less
Submitted 5 October, 2005; v1 submitted 5 September, 2005;
originally announced September 2005.