Skip to main content

Showing 1–25 of 25 results for author: Lisi, F

.
  1. arXiv:2403.09425  [pdf, ps, other

    math.GR math.CO math.RT

    Fixing two points in primitive solvable groups

    Authors: Francesca Lisi, Luca Sabatini

    Abstract: Consider a finite primitive solvable group. We observe that a result of Y. Yang implies that there exist two points whose pointwise stabilizer has derived length at most $9$. We show that, if the group has odd cardinality, then there exist two points whose pointwise stabilizer is abelian.

    Submitted 31 March, 2024; v1 submitted 14 March, 2024; originally announced March 2024.

    Comments: 6 pages, Added reference to Yang's paper

    MSC Class: Primary 20B15

  2. arXiv:2212.01240  [pdf, other

    cond-mat.soft

    Circumferential buckling of a hydrogel tube emptying upon dehydration

    Authors: Michele Curatolo, Federico Lisi, Gaetano Napoli, Paola Nardinocchi

    Abstract: A cylindrical hydrogel tube, completely submerged in water, hydrates by swelling and filling its internal cavity. When it comes back into contact with air, it dehydrates: the tube thus expels the solvent through the walls, shrinking. This dehydration process causes a depression in the tube cavity, which can lead to circumferential buckling. Here we study the occurrence of such buckling using a con… ▽ More

    Submitted 2 December, 2022; originally announced December 2022.

  3. Synthesis of Near-Field Arrays based on Electromagnetic Inner Products

    Authors: Francesco Lisi, Andrea Michel, Paolo Nepa

    Abstract: Near-field antennas have been successfully adopted in several wireless applications. To exploit the high reconfigurability of array antennas, multiple synthesis techniques for arrays operating in the near-field region have been proposed. Building upon previous works on eigenmode expansions of the radiated fields, two synthesis methods for the excitations of near-field arrays based on the definitio… ▽ More

    Submitted 12 October, 2022; originally announced October 2022.

  4. On groups with large verbal quotients

    Authors: Francesca Lisi, Luca Sabatini

    Abstract: Let $w=w(x_1,...,x_n)$ be a word, i.e. an element of the free group $F = \langle x_1,...,x_n \rangle$. The verbal subgroup $w(G)$ of a group $G$ is the subgroup generated by the set $\{ w(x_1,...,x_n) : x_1,...,x_n \in G \}$ of all $w$-values in $G$. Following J. González-Sánchez and B. Klopsch, a group $G$ is $w$-maximal if $|H:w(H)| < |G:w(G)|$ for every $H<G$. In this paper we give new results… ▽ More

    Submitted 13 March, 2024; v1 submitted 22 March, 2022; originally announced March 2022.

    Comments: 12 pages, to appear in J. Group Theory

    MSC Class: Primary 20F99

  5. Enhancement of a state-of-the-art RL-based detection algorithm for Massive MIMO radars

    Authors: Francesco Lisi, Stefano Fortunati, Maria Sabrina Greco, Fulvio Gini

    Abstract: In the present work, a reinforcement learning (RL) based adaptive algorithm to optimise the transmit beampattern for a colocated massive MIMO radar is presented. Under the massive MIMO regime, a robust Wald type detector, able to guarantee certain detection performances under a wide range of practical disturbance models, has been recently proposed. Furthermore, an RL/cognitive methodology has been… ▽ More

    Submitted 17 March, 2022; v1 submitted 5 December, 2021; originally announced December 2021.

  6. arXiv:2109.08294  [pdf, other

    cs.AI cs.LG cs.MA

    A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues

    Authors: Abeer Dyoub, Stefania Costantini, Ivan Letteri, Francesca A. Lisi

    Abstract: Dialogue Systems are tools designed for various practical purposes concerning human-machine interaction. These systems should be built on ethical foundations because their behavior may heavily influence a user (think especially about children). The primary objective of this paper is to present the architecture and prototype implementation of a Multi Agent System (MAS) designed for ethical monitori… ▽ More

    Submitted 16 September, 2021; originally announced September 2021.

    Comments: In Proceedings ICLP 2021, arXiv:2109.07914

    ACM Class: I.2; I.2.11; I.2.6; I.3.8

    Journal ref: EPTCS 345, 2021, pp. 182-188

  7. arXiv:2009.11186  [pdf, other

    cs.CY cs.AI cs.HC cs.LG cs.LO

    Logic Programming and Machine Ethics

    Authors: Abeer Dyoub, Stefania Costantini, Francesca A. Lisi

    Abstract: Transparency is a key requirement for ethical machines. Verified ethical behavior is not enough to establish justified trust in autonomous intelligent agents: it needs to be supported by the ability to explain decisions. Logic Programming (LP) has a great potential for develo** such perspective ethical systems, as in fact logic rules are easily comprehensible by humans. Furthermore, LP is able t… ▽ More

    Submitted 21 September, 2020; originally announced September 2020.

    Comments: In Proceedings ICLP 2020, arXiv:2009.09158. Invited paper for the ICLP2020 Panel on "Machine Ethics". arXiv admin note: text overlap with arXiv:1909.08255

    ACM Class: D.1.6; K.4

    Journal ref: EPTCS 325, 2020, pp. 6-17

  8. arXiv:2009.09158   

    cs.LO cs.AI cs.PL

    Proceedings 36th International Conference on Logic Programming (Technical Communications)

    Authors: Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi

    Abstract: Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. - Declarative Programm… ▽ More

    Submitted 19 September, 2020; originally announced September 2020.

    Journal ref: EPTCS 325, 2020

  9. arXiv:2004.00368  [pdf

    cs.NI

    Multi-Connectivity in 5G terrestrial-Satellite Networks: the 5G-ALLSTAR Solution

    Authors: F. Lisi, G. Losquadro, A. Tortorelli, A. Ornatelli, M. Donsante

    Abstract: The 5G-ALLSTAR project is aimed at integrating Terrestrial and Satellite Networks for satisfying the highly challenging and demanding requirements of the 5G use cases. The integration of the two networks is a key feature to assure the service continuity in challenging communication situations (e.g., emergency cases, marine, railway, etc.) by avoiding service interruptions. The 5G-ALLSTAR project p… ▽ More

    Submitted 11 March, 2020; originally announced April 2020.

    Comments: Published in the "Ka and Broadband Communications (Ka conference)", Sorrento (Italy), September 30 - October 2, 2019 (Session IX, Part 2)

  10. arXiv:2001.09472  [pdf

    eess.SY

    Operations Management of Satellite Launch Centers

    Authors: Andrea Tortorelli, Alessandro Giuseppi, Federico Lisi, Emanuele De Santis, Francesco Liberati

    Abstract: Driven by the business potentialities of the satellite industry, the last years witnessed a massive increase of attention in the space industry. This sector has been always considered critical by national entities and international organizations worldwide due to economic, cultural, scientific, military and civil implications. The need of cutting down satellite launch costs has become even more imp… ▽ More

    Submitted 26 January, 2020; originally announced January 2020.

    Comments: Published in the "Ka and Broadband Communications (Ka conference)", Sorrento (Italy), September 30 - October 2, 2019 (Session IX, Part 2)

  11. arXiv:1909.08255  [pdf, other

    cs.AI cs.LG cs.LO

    Towards Ethical Machines Via Logic Programming

    Authors: Abeer Dyoub, Stefania Costantini, Francesca A. Lisi

    Abstract: Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves. Chatbots are an example of such agents that need to engage in a complex conversations with humans. Thus, we need to ensure that they behave ethically. In this work we propose a hybrid logic-based approach for ethical chatbots.

    Submitted 18 September, 2019; originally announced September 2019.

    Comments: In Proceedings ICLP 2019, arXiv:1909.07646

    ACM Class: I.2; I.2.3; I.2.6

    Journal ref: EPTCS 306, 2019, pp. 333-339

  12. SHARK-NIR, the coronagraphic camera for LBT, moving toward construction

    Authors: Jacopo Farinato, Francesca Bacciotti, Carlo Baffa, Andrea Baruffolo, Maria Bergomi, Andrea Bianco, Angela Bongiorno, Luca Carbonaro, Elena Carolo, Alexis Carlotti, Simonetta Chinellato, Laird Close, Marco De Pascale, Marco Dima, Valentina D'Orazi, Simone Esposito, Daniela Fantinel, Giancarlo Farisato, Wolgang Gaessler, Emanuele Giallongo, Davide Greggio, Olivier Guyon, Philip Hinz, Luigi Lessio, Franco Lisi , et al. (15 additional authors not shown)

    Abstract: SHARK-NIR is one of the two coronagraphic instruments proposed for the Large Binocular Telescope. Together with SHARK-VIS (performing coronagraphic imaging in the visible domain), it will offer the possibility to do binocular observations combining direct imaging, coronagraphic imaging and coronagraphic low resolution spectroscopy in a wide wavelength domain, going from 0.5μm to 1.7μm. Additionall… ▽ More

    Submitted 1 August, 2018; originally announced August 2018.

    Comments: 8 pages, 6 figures, AO4ELT5 conference proceedings

  13. arXiv:1210.2984  [pdf, ps, other

    cs.AI cs.DB cs.LG cs.LO

    Learning Onto-Relational Rules with Inductive Logic Programming

    Authors: Francesca A. Lisi

    Abstract: Rules complement and extend ontologies on the Semantic Web. We refer to these rules as onto-relational since they combine DL-based ontology languages and Knowledge Representation formalisms supporting the relational data model within the tradition of Logic Programming and Deductive Databases. Rule authoring is a very demanding Knowledge Engineering task which can be automated though partially by a… ▽ More

    Submitted 29 October, 2012; v1 submitted 10 October, 2012; originally announced October 2012.

    Comments: 18 pages. arXiv admin note: text overlap with arXiv:1003.2586

  14. arXiv:1003.2586  [pdf, ps, other

    cs.LO cs.AI cs.DB cs.LG

    Inductive Logic Programming in Databases: from Datalog to DL+log

    Authors: Francesca A. Lisi

    Abstract: In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through a better understanding of KR aspects related to databases. In particular, we investigate this issue from the ILP perspective by considering two da… ▽ More

    Submitted 12 March, 2010; originally announced March 2010.

    Comments: 30 pages, 3 figures, 2 tables.

  15. Optical configuration and analysis of the AMBER/VLTI instrument

    Authors: S. Robbe-Dubois, S. Lagarde, R. G. Petrov, F. Lisi, U. Beckmann, P. Antonelli, Y. Bresson, G. Martinot-Lagarde, A. Roussel, P. Salinari, M. Vannier, A. Chelli, M. Dugue, G. Duvert, S. Gennari, L. Gluck, P. Kern, E. LeCoarer, F. Malbet, F. Millour, K. Perraut, P. Puget, F. Rantakyro, E. Tatulli, G. Weigelt , et al. (1 additional authors not shown)

    Abstract: This paper describes the design goals and engineering efforts that led to the realization of AMBER (Astronomical Multi BEam combineR) and to the achievement of its present performance. On the basis of the general instrumental concept, AMBER was decomposed into modules whose functions and detailed characteristics are given. Emphasis is put on the spatial filtering system, a key element of the i… ▽ More

    Submitted 23 July, 2008; originally announced July 2008.

    Comments: 14 pages

    Journal ref: Astron.Astrophys.464:13-27,2007

  16. arXiv:0711.1814  [pdf, other

    cs.AI cs.LG

    Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming

    Authors: Francesca A. Lisi

    Abstract: Building rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim an ad-hoc mark-up language for this layer is currently under discussion. It is intended to follow the tradition of hybrid knowledge representation and reasoning systems such as $\mathcal{AL}$-log that integrates the description logic $\mathcal{ALC}$ and the function-free Horn clausal la… ▽ More

    Submitted 12 November, 2007; originally announced November 2007.

    Comments: 30 pages, 6 figures

  17. Direct constraint on the distance of y2 Velorum from AMBER/VLTI observations

    Authors: F. Millour, R. G. Petrov, O. Chesneau, D. Bonneau, L. Dessart, C. Bechet, I. Tallon-Bosc, M. Tallon, E. Thiébaut, F. Vakili, F. Malbet, D. Mourard, G. Zins, A. Roussel, S. Robbe-Dubois, P. Puget, K. Perraut, F. Lisi, E. Le Coarer, S. Lagarde, P. Kern, L. Glück, G. Duvert, A. Chelli, Y. Bresson , et al. (73 additional authors not shown)

    Abstract: In this work, we present the first AMBER observations, of the Wolf-Rayet and O (WR+O) star binary system y2 Velorum. The AMBER instrument was used with the telescopes UT2, UT3, and UT4 on baselines ranging from 46m to 85m. It delivered spectrally dispersed visibilities, as well as differential and closure phases, with a resolution R = 1500 in the spectral band 1.95-2.17 micron. We interpret thes… ▽ More

    Submitted 31 October, 2006; originally announced October 2006.

  18. VLTI/AMBER and VLTI/MIDI spectro-interferometric observations of the B[e] supergiant CPD-57 2874

    Authors: A. Domiciano de Souza, T. Driebe, O. Chesneau, K. -H. Hofmann, S. Kraus, A. S. Miroshnichenko, K. Ohnaka, R. G. Petrov, Th. Preibisch, P. Stee, G. Weigelt, F. Lisi, F. Malbet, A. Richichi

    Abstract: We present the first high spatial and spectral observations of the circumstellar envelope (CSE) of a B[e] supergiant (CPD$-57 2874$), performed with the Very Large Telescope Interferometer (VLTI). Spectra, visibilities, and closure phase, were obtained using the beam-combiner instruments AMBER (near-IR interferometry with three 8.3 m Unit Telescopes or UTs) and MIDI (mid-IR interferometry with t… ▽ More

    Submitted 26 October, 2005; originally announced October 2005.

    Comments: Accepted by A&A

  19. First AMBER/VLTI observations of hot massive stars

    Authors: R. G. Petrov, F. Millour, O. Chesneau, G. Weigelt, D. Bonneau, Ph. Stee, S. Kraus, D. Mourard, A. Meilland, F. Malbet, F. Lisi, P. Kern, U. Beckmann, S. Lagarde, S. Gennari, E. Lecoarer, Th. Driebe, M. Accardo, S. Robbe-Dubois, K. Ohnaka, S. Busoni, A. Roussel, G. Zins, J. Behrend, D. Ferruzi , et al. (23 additional authors not shown)

    Abstract: AMBER is the first near infrared focal instrument of the VLTI. It combines three telescopes and produces spectrally resolved interferometric measures. This paper discusses some preliminary results of the first scientific observations of AMBER with three Unit Telescopes at medium (1500) and high (12000) spectral resolution. We derive a first set of constraints on the structure of the circumstella… ▽ More

    Submitted 8 September, 2005; originally announced September 2005.

  20. The relative abundances of ellipticals and starbursts among the Extremely Red Galaxies

    Authors: F. Mannucci, L. Pozzetti, D. Thompson, E. Oliva, C. Baffa, G. Comoretto, S. Gennari, F. Lisi

    Abstract: We present J band observations of a complete sample of 57 red galaxies selected to have K<20 and R-K>5.3. We use the Pozzetti and Mannucci (2000) prescriptions, based on the R-K and J-K colours, to separate the two dominant populations, old ellipticals and dusty starbursts. We find that both populations are present in the current sample and have similar abundances, and discuss the uncertainties… ▽ More

    Submitted 30 October, 2001; originally announced October 2001.

    Comments: 5 pages, MNRAS, in press

    Journal ref: Mon.Not.Roy.Astron.Soc. 329 (2002) L57

  21. The TNG Near Infrared Camera Spectrometer

    Authors: C. Baffa, G. Comoretto, S. Gennari, F. Lisi, E. Oliva, V. Biliotti, A. Checcucci, V. Gavrioussev, E. Giani, F. Ghinassi, L. K. Hunt, R. Maiolino, F. Mannuci, G. Marcucci, M. Sozzi, P. Stefanini, L. Testi

    Abstract: NICS (acronym for Near Infrared Camera Spectrometer) is the near-infrared cooled camera-spectrometer that has been developed by the Arcetri Infrared Group at the Arcetri Astrophysical Observatory, in collaboration with the CAISMI-CNR for the TNG (the Italian National Telescope Galileo at La Palma, Canary Islands, Spain). As NICS is in its scientific commissioning phase, we report its observing… ▽ More

    Submitted 13 September, 2001; originally announced September 2001.

    Comments: 7 pages, 5 figures, compiled with A&A macros. A&A in press

    Report number: OAA 7/2001

  22. NICS-TNG infrared spectroscopy of NGC1068: the first extragalactic measurement of [PII] and a new tool to constrain the origin of [FeII] line emission in galaxies

    Authors: E. Oliva, A. Marconi, R. Maiolino, L. Testi, F. Mannucci, F. Ghinassi, J. Licandro, L. Origlia, C. Baffa, A. Checcucci, G. Comoretto, V. Gavryussev, S. Gennari, E. Giani, L. K. Hunt, F. Lisi, D. Lorenzetti, G. Marcucci, L. Miglietta, M. Sozzi, P. Stefanini, F. Vitali

    Abstract: We report 0.9-1.4 micron spectroscopic observations of NGC1068 collected during the commissioning phase of the near infrared camera spectrometer (NICS) of the Telescopio Nazionale Galileo (TNG). These yielded the first extragalactic measurement of [PII] (1.188 micron) line emission. In the central 0.75"x2" the [FeII]/[PII] line-intensity ratio is close to unity, similar to that measured in the O… ▽ More

    Submitted 9 February, 2001; originally announced February 2001.

    Comments: 4 pages, accepted for publication in A&A

  23. 1.65 micrometers (H-band) surface photometry of galaxies. III: observations of 558 galaxies with the TIRGO 1.5m telescope

    Authors: G. Gavazzi, P. Franzetti, M. Scodeggio, A. Boselli, D. Pierini, C. Baffa, F. Lisi, L. K. Hunt

    Abstract: We present near-infrared H-band (1.65 micron) surface photometry of 558 galaxies in the Coma Supercluster and in the Virgo cluster. This data set, obtained with the Arcetri NICMOS3 camera ARNICA mounted on the Gornergrat Infrared Telescope, is aimed at complementing, with observations of mostly early-type objects, our NIR survey of spiral galaxies in these regions, presented in previous papers o… ▽ More

    Submitted 22 November, 1999; originally announced November 1999.

    Comments: 12 pages, 6 figures. Accepted for publication in A&AS

  24. Northern JHK Standard Stars for Array Detectors

    Authors: L. K. Hunt, F. Mannucci, L. Testi, S. Migliorini, R. M. Stanga, C. Baffa, F. Lisi, L. Vanzi

    Abstract: We report J, H and K photometry of 86 stars in 40 fields in the northern hemisphere. The fields are smaller than or comparable to a 4x4 arcmin field-of-view, and are roughly uniformly distributed over the sky, making them suitable for a homogeneous broadband calibration network for near-infrared panoramic detectors. K magnitudes range from 8.5 to 14, and J-K colors from -0.1 to 1.2. The photomet… ▽ More

    Submitted 22 October, 1999; v1 submitted 13 March, 1998; originally announced March 1998.

    Comments: 10 pages including 3 figures, one separate figure on four pages. The finding chart of the AS-30 field and a few coordinates have been corrected. GIF finding charts can also be found at http://www.arcetri.astro.it/~hunt/std.html

    Journal ref: AJ 115, 2594 (June 1998)

  25. LonGSp: the Gornergrat Longslit Infrared Spectrometer

    Authors: L. Vanzi, M. Sozzi, G. Marcucci, A. Marconi, F. Mannucci, F. Lisi, L. Hunt, E. Giani, S. Gennari, V. Biliotti, C. Baffa

    Abstract: We present a near-infrared cooled grating spectrometer that has been developed at the Arcetri Astrophysical Observatory for the 1.5 m Infrared Telescope at Gornergrat (TIRGO). The spectrometer is equipped with cooled reflective optics and a grating in Littrow configuration. The detector is an engineering grade Rockwell NICMOS3 array (256x256 pixels of 40 $μ$m). The scale on the focal plane is 1.… ▽ More

    Submitted 28 March, 1997; originally announced March 1997.

    Comments: 5 pages LaTeX with 5 eps figures (included). To appear in Astronomy and Astrophysics, Supp. Require LaTeX style l-aa (from A&A)

    Report number: OAA 2/97