Showing 1–47 of 47 results for author: Manna, M

Wind-wave interaction in finite depth: linear and nonlinear approaches, blow-up and soliton breaking in finite time, integrability perspectives

Authors: A. Latifi, M. A. Manna, R. A. Kraenkel

Abstract: This work is an analytical investigation of the evolution of surface water waves in Miles and Jeffreys theories of wind wave interaction in water of finite depth. The present review is divided into two major parts. The first corresponds to the surface water waves in a linear regime and its nonlinear extensions. In this part, Miles theory of wave amplification by wind is extended to the case of fin… ▽ More This work is an analytical investigation of the evolution of surface water waves in Miles and Jeffreys theories of wind wave interaction in water of finite depth. The present review is divided into two major parts. The first corresponds to the surface water waves in a linear regime and its nonlinear extensions. In this part, Miles theory of wave amplification by wind is extended to the case of finite depth. The dispersion relation provides a wave growth rate depending on depth. Our theoretical results are in good agreement with the data from the Australian Shallow Water Experiment and the data from the Lake George experiment. In the second part of this study, Jeffreys theory of wave amplification by wind is extended to the case of finite depth, where the Serre-Green-Naghdi is derived. We find the solitary wave solution of the system, with an increasing amplitude under the action of the wind. This continuous increase in amplitude leads to the soliton breaking and blow-up of the surface wave in finite time. The theoretical blow-up time is calculated based on actual experimental data. By applying an appropriate perturbation method, the SGN equation yields Korteweg de Vries Burger equation (KdVB). We show that the continuous transfer of energy from wind to water results in the growth of the KdVB soliton amplitude, velocity, acceleration, and energy over time while its effective wavelength decreases. This phenomenon differs from the classical results of Jeffreys approach due to finite depth. Again, blow-up and breaking occur in finite time. These times are calculated and expressed for soliton- and wind-appropriate parameters and values. These values are measurable in usual experimental facilities. The kinematics of the breaking is studied, and a detailed analysis of the breaking time is conducted using various criteria. Finally, some integrability perspectives are presented. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Dyadic Existential Rules

Authors: Georg Gottlob, Marco Manna, Cinzia Marte

Abstract: Existential rules form an expressive Datalog-based language to specify ontological knowledge. The presence of existential quantification in rule-heads, however, makes the main reasoning tasks undecidable. To overcome this limitation, in the last two decades, a number of classes of existential rules guaranteeing the decidability of query answering have been proposed. Unfortunately, only some of the… ▽ More Existential rules form an expressive Datalog-based language to specify ontological knowledge. The presence of existential quantification in rule-heads, however, makes the main reasoning tasks undecidable. To overcome this limitation, in the last two decades, a number of classes of existential rules guaranteeing the decidability of query answering have been proposed. Unfortunately, only some of these classes fully encompass Datalog and, often, this comes at the price of higher computational complexity. Moreover, expressive classes are typically unable to exploit tools developed for classes exhibiting lower expressiveness. To mitigate these shortcomings, this paper introduces a novel general syntactic condition that allows us to define, systematically and in a uniform way, from any decidable class $\mathcal{C}$ of existential rules, a new class called Dyadic-$\mathcal{C}$ enjoying the following properties: $(i)$ it is decidable; $(ii)$ it generalises Datalog; $(iii)$ it generalises $\mathcal{C}$; $(iv)$ it can effectively exploit any reasoner for query answering over $\mathcal{C}$; and $(v)$ its computational complexity does not exceed the highest between the one of $\mathcal{C}$ and the one of Datalog. Under consideration in Theory and Practice of Logic Programming (TPLP). △ Less

Submitted 22 July, 2023; originally announced July 2023.

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects

Authors: Giovanni Amendola, Marco Manna, Aldo Ricioppo

Abstract: Similarities between entities occur frequently in many real-world scenarios. For over a century, researchers in different fields have proposed a range of approaches to measure the similarity between entities. More recently, inspired by "Google Sets", significant academic and commercial efforts have been devoted to expanding a given set of entities with similar ones. As a result, existing approache… ▽ More Similarities between entities occur frequently in many real-world scenarios. For over a century, researchers in different fields have proposed a range of approaches to measure the similarity between entities. More recently, inspired by "Google Sets", significant academic and commercial efforts have been devoted to expanding a given set of entities with similar ones. As a result, existing approaches nowadays are able to take into account properties shared by entities, hereinafter called nexus of similarity. Accordingly, machines are largely able to deal with both similarity measures and set expansions. To the best of our knowledge, however, there is no way to characterize nexus of similarity between entities, namely identifying such nexus in a formal and comprehensive way so that they are both machine- and human-readable; moreover, there is a lack of consensus on evaluating existing approaches for weakly similar entities. As a first step towards filling these gaps, we aim to complement existing literature by develo** a novel logic-based framework to formally and automatically characterize nexus of similarity between tuples of entities within a knowledge base. Furthermore, we analyze computational complexity aspects of this framework. △ Less

Submitted 19 March, 2023; originally announced March 2023.

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

Authors: Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri

Abstract: The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for Analytic Reasoning over Streams called LARS -- and LDSR -- the language of the recent extension of the I-DLV system for stream reasoning called I-DLV-sr. Although these two languages build over Datalog, they do differ both… ▽ More The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for Analytic Reasoning over Streams called LARS -- and LDSR -- the language of the recent extension of the I-DLV system for stream reasoning called I-DLV-sr. Although these two languages build over Datalog, they do differ both in syntax and semantics. To reconcile their expressive capabilities for stream reasoning, we define a comparison framework that allows us to show that, without any restrictions, the two languages are incomparable and to identify fragments of each language that can be expressed via the other one. △ Less

Submitted 26 August, 2022; originally announced August 2022.

I-DLV-sr: A Stream Reasoning System based on I-DLV

Authors: Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari

Abstract: We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV system. The architecture allows to take advantage from both the powerful distributed stream processing capabilities of Flink and the incremental reasoning capabilities of I^2-DLV based on overgrounding techniques. Besides… ▽ More We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV system. The architecture allows to take advantage from both the powerful distributed stream processing capabilities of Flink and the incremental reasoning capabilities of I^2-DLV based on overgrounding techniques. Besides the system architecture, we illustrate the supported input language and its modeling capabilities, and discuss the results of an experimental activity aimed at assessing the viability of the approach. This paper is under consideration in Theory and Practice of Logic Programming (TPLP). △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages

Miles' mechanism for generating surface water waves by wind, in finite water depth and subject to constant vorticity flow

Authors: Norbert Kern, Christophe Chaubet, Roberto Kraenkel, Miguel Manna

Abstract: The Miles theory of wave amplification by wind is extended to the case of finite depth h and a shear flow with (constant) vorticity Ω. Vorticity is characterised through the non-dimensional parameter ν = Ω U_1 /g, where g the gravitational acceleration, U_1 a characteristic wind velocity and k the wavenumber. The notion of 'wave age' is generalised to account for the effect of vorticity. Several w… ▽ More The Miles theory of wave amplification by wind is extended to the case of finite depth h and a shear flow with (constant) vorticity Ω. Vorticity is characterised through the non-dimensional parameter ν = Ω U_1 /g, where g the gravitational acceleration, U_1 a characteristic wind velocity and k the wavenumber. The notion of 'wave age' is generalised to account for the effect of vorticity. Several widely used growth rates are derived analytically from the dispersion relation of the wind/water interface, and their dependence on both water depth and vorticity is derived and discussed. Vorticity is seen to shift the maximum wave age, similar to what was previously known to be the effect of water depth. At the same time, a novel effect arises and the growth coefficients, at identical wave age and depth, are shown to experience a net increase or decrease according to the shear gradient in the water flow. △ Less

Submitted 25 February, 2021; originally announced February 2021.

SEA-BREW: A Scalable Attribute-Based Encryption Scheme for Low-Bitrate IoT Wireless Networks

Authors: Michele La Manna, Pericle Perazzo, Gianluca Dini

Abstract: Attribute-Based Encryption (ABE) is an emerging cryptographic technique that allows one to embed a fine-grained access control mechanism into encrypted data. In this paper we propose a novel ABE scheme called SEA-BREW (Scalable and Efficient Abe with Broadcast REvocation for Wireless networks), which is suited for Internet of Things (IoT) and Industrial IoT (IIoT) applications. In contrast to stat… ▽ More Attribute-Based Encryption (ABE) is an emerging cryptographic technique that allows one to embed a fine-grained access control mechanism into encrypted data. In this paper we propose a novel ABE scheme called SEA-BREW (Scalable and Efficient Abe with Broadcast REvocation for Wireless networks), which is suited for Internet of Things (IoT) and Industrial IoT (IIoT) applications. In contrast to state-of-the-art ABE schemes, ours is capable of securely performing key revocations with a single short broadcast message, instead of a number of unicast messages that is linear with the number of nodes. This is desirable for low-bitrate Wireless Sensor and Actuator Networks (WSANs) which often are the heart of (I)IoT systems. In SEA-BREW, sensors, actuators, and users can exchange encrypted data via a cloud server, or directly via wireless if they belong to the same WSAN. We formally prove that our scheme is secure also in case of an untrusted cloud server that colludes with a set of users, under the generic bilinear group model. We show by simulations that our scheme requires a constant computational overhead on the cloud server with respect to the complexity of the access control policies. This is in contrast to state-of-the-art solutions, which require instead a linear computational overhead. △ Less

Submitted 25 January, 2021; originally announced January 2021.

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

Authors: Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna

Abstract: Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders, however, existing approaches and tools are still not optimal. On the one hand, to support the diagnosis of this complex and vast spectrum of disorders, the International Headache Soc… ▽ More Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders, however, existing approaches and tools are still not optimal. On the one hand, to support the diagnosis of this complex and vast spectrum of disorders, the International Headache Society released in 1988 the International Classification of Headache Disorders (ICHD), now in its 3rd edition: a 200 pages document classifying more than 300 different kinds of headaches, where each is identified via a collection of specific nontrivial diagnostic criteria. On the other hand, the high number of headache disorders and their complex criteria make the medical history process inaccurate and not exhaustive both for clinicians and existing automatic tools. To fill this gap, we present HEAD-ASP, a novel decision support system for the diagnosis of headache disorders. Through a REST Web Service, HEAD-ASP implements a dynamic questionnaire that complies with ICHD-3 by exploiting two logical modules to reach a complete diagnosis while trying to minimize the total number of questions being posed to patients. Finally, HEAD-ASP is freely available on-line and it is receiving very positive feedback from the group of neurologists that is testing it. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

Authors: Alessio Fiorentino, Jessica Zangari, Marco Manna

Abstract: The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks, expressive yet decidable fragments have been identified. Among them, we focus on OWL 2 RL, which offers a rich variety of semantic constructors, apart from supporting a… ▽ More The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks, expressive yet decidable fragments have been identified. Among them, we focus on OWL 2 RL, which offers a rich variety of semantic constructors, apart from supporting all RDFS datatypes. Although popular Web resources - such as DBpedia - fall in OWL 2 RL, only a few systems have been designed and implemented for this fragment. None of them, however, fully satisfy all the following desiderata: (i) being freely available and regularly maintained; (ii) supporting query answering and SPARQL queries; (iii) properly applying the sameAs property without adopting the unique name assumption; (iv) dealing with concrete datatypes. To fill the gap, we present DaRLing, a freely available Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. In particular, we describe its architecture, the rewriting strategies it implements, and the result of an experimental evaluation that demonstrates its practical applicability. This paper is under consideration in Theory and Practice of Logic Programming (TPLP). △ Less

Submitted 5 August, 2020; originally announced August 2020.

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

Large-scale Ontological Reasoning via Datalog

Authors: Mario Alviano, Marco Manna

Abstract: Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for many fragments of OWL 2 can be reduced to the evaluation of Datalog queries. This paper surveys some of these compilations, and in particular the one addressing queries over Horn-$\mathcal{SHIQ}$ knowledge bases and its im… ▽ More Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for many fragments of OWL 2 can be reduced to the evaluation of Datalog queries. This paper surveys some of these compilations, and in particular the one addressing queries over Horn-$\mathcal{SHIQ}$ knowledge bases and its implementation in DLV2 enanched by a new version of the Magic Sets algorithm. △ Less

Submitted 21 March, 2020; originally announced March 2020.

Comments: 15 pages, 2 tables, 1 figure, 2 algorithms, under review for the book Studies on the Semantic Web Series

Precomputing Datalog evaluation plans in large-scale scenarios

Authors: Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari

Abstract: With the more and more growing demand for semantic Web services over large databases, an efficient evaluation of Datalog queries is arousing a renewed interest among researchers and industry experts. In this scenario, to reduce memory consumption and possibly optimize execution times, the paper proposes novel techniques to determine an optimal indexing schema for the underlying database together w… ▽ More With the more and more growing demand for semantic Web services over large databases, an efficient evaluation of Datalog queries is arousing a renewed interest among researchers and industry experts. In this scenario, to reduce memory consumption and possibly optimize execution times, the paper proposes novel techniques to determine an optimal indexing schema for the underlying database together with suitable body-orderings for the Datalog rules. The new approach is compared with the standard execution plans implemented in DLV over widely used ontological benchmarks. The results confirm that the memory usage can be significantly reduced without paying any cost in efficiency. This paper is under consideration in Theory and Practice of Logic Programming (TPLP). △ Less

Submitted 29 July, 2019; originally announced July 2019.

Comments: Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages

Journal ref: Theory and Practice of Logic Programming 19 (2019) 1073-1089

Wave-like Properties of Phasor Fields: Experimental Demonstrations

Authors: Syed Azer Reza, Marco La Manna, Sebastian Bauer, Andreas Velten

Abstract: Recently, an optical meta concept called the Phasor Field (P-Field) was proposed that yields great quality in the reconstruction of hidden objects imaged by non-line-of-sight (NLOS) imaging. It is based on virtual sinusoidal modulation of the light with frequencies in the MHz range. Phasor Field propagation was shown to be described by the Rayleigh-Sommerfeld diffraction integral. We extend this c… ▽ More Recently, an optical meta concept called the Phasor Field (P-Field) was proposed that yields great quality in the reconstruction of hidden objects imaged by non-line-of-sight (NLOS) imaging. It is based on virtual sinusoidal modulation of the light with frequencies in the MHz range. Phasor Field propagation was shown to be described by the Rayleigh-Sommerfeld diffraction integral. We extend this concept and stress the analogy between electric field and Phasor Field. We introduce Phasor Field optical elements and present experiments demonstrating the validity of the approach. Straightforward use of the Phasor Field concept in real-world applications is also discussed. △ Less

Submitted 2 April, 2019; originally announced April 2019.

Comments: 17 pages, 10 figures

Performance of Irradiated RD53A 3D Pixel Sensors

Authors: S. Terzo, M. Chmeissani, G. Giannini, S. Grinstein, M. Manna, G. Pellegrini, D. Quirion, D. Vazquez Furelos

Abstract: The ATLAS experiment at the LHC will replace its current inner tracker system for the HL-LHC era. 3D silicon pixel sensors are being considered as radiation-hard candidates for the innermost layers of the new fully silicon-based tracking detector. 3D sensors with a small pixel size of $\mathrm{50 \times 50~μm^{2}}$ and $\mathrm{25 \times 100~μm^{2}}$ compatible with the first prototype ASIC for th… ▽ More The ATLAS experiment at the LHC will replace its current inner tracker system for the HL-LHC era. 3D silicon pixel sensors are being considered as radiation-hard candidates for the innermost layers of the new fully silicon-based tracking detector. 3D sensors with a small pixel size of $\mathrm{50 \times 50~μm^{2}}$ and $\mathrm{25 \times 100~μm^{2}}$ compatible with the first prototype ASIC for the HL-LHC, the RD53A chip, have been studied in beam tests after uniform irradiation to $\mathrm{5 \times 10^{15}~n_{eq}/cm^{2}}$. An operation voltage of only 50 V is needed to achieve a 97% hit efficiency after this fluence. △ Less

Submitted 22 March, 2019; v1 submitted 12 March, 2019; originally announced March 2019.

Timing performance of small cell 3D silicon detectors

Authors: G. Kramberger, V. Cindro, D. Flores, S. Hidalgo, B. Hiti, M. Manna, I. Mandić, M. Mikuž, D. Quirion, G. Pellegrini, M. Zavrtanik

Abstract: A silicon 3D detector with a single cell of 50x50 um2 was produced and evaluated for timing applications. The measurements of time resolution were performed for 90Sr electrons with dedicated electronics used also for determining time resolution of Low Gain Avalanche Detectors (LGADs). The measurements were compared to those with LGADs and also simulations. The studies showed that the dominant cont… ▽ More A silicon 3D detector with a single cell of 50x50 um2 was produced and evaluated for timing applications. The measurements of time resolution were performed for 90Sr electrons with dedicated electronics used also for determining time resolution of Low Gain Avalanche Detectors (LGADs). The measurements were compared to those with LGADs and also simulations. The studies showed that the dominant contribution to the timing resolution comes from the time walk originating from different induced current shapes for hits over the cell area. This contribution decreases with higher bias voltages, lower temperatures and smaller cell sizes. It is around 30 ps for a 3D detector of 50x50 um2 cell at 150 V and -20C, which is comparable to the time walk due to Landau fluctuations in LGADs. It even improves for inclined tracks and larger pads composed of multiple cells. A good agreement between measurements and simulations was obtained, thus validating the simulation results. △ Less

Submitted 15 January, 2019; v1 submitted 8 January, 2019; originally announced January 2019.

Virtual Wave Optics for Non-Line-of-Sight Imaging

Authors: Xiaochun Liu, Ibón Guillén, Marco La Manna, Ji Hyun Nam, Syed Azer Reza, Toan Huu Le, Diego Gutierrez, Adrian Jarabo, Andreas Velten

Abstract: Non-Line-of-Sight (NLOS) imaging allows to observe objects partially or fully occluded from direct view, by analyzing indirect diffuse reflections off a secondary, relay surface. Despite its many potential applications, existing methods lack practical usability due to several shared limitations, including the assumption of single scattering only, lack of occlusions, and Lambertian reflectance. We… ▽ More Non-Line-of-Sight (NLOS) imaging allows to observe objects partially or fully occluded from direct view, by analyzing indirect diffuse reflections off a secondary, relay surface. Despite its many potential applications, existing methods lack practical usability due to several shared limitations, including the assumption of single scattering only, lack of occlusions, and Lambertian reflectance. We lift these limitations by transforming the NLOS problem into a virtual Line-Of-Sight (LOS) one. Since imaging information cannot be recovered from the irradiance arriving at the relay surface, we introduce the concept of the phasor field, a mathematical construct representing a fast variation in irradiance. We show that NLOS light transport can be modeled as the propagation of a phasor field wave, which can be solved accurately by the Rayleigh-Sommerfeld diffraction integral. We demonstrate for the first time NLOS reconstruction of complex scenes with strong multiply scattered and ambient light, arbitrary materials, large depth range, and occlusions. Our method handles these challenging cases without explicitly develo** a light transport model. By leveraging existing fast algorithms, we outperform existing methods in terms of execution speed, computational complexity, and memory use. We believe that our approach will help unlock the potential of NLOS imaging, and the development of novel applications not restricted to lab conditions. For example, we demonstrate both refocusing and transient NLOS videos of real-world, complex scenes with large depth. △ Less

Submitted 6 August, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: 19 pages, 6 figures

First study of small-cell 3D Silicon Pixel Detectors for the High Luminosity LHC

Authors: E. Currás, J. Duarte-Campderrós, M. Fernández, A. García, G. Gómez, J. González, R. Jaramillo, D. Moya, I. Vila, S. Hidalgo, M. Manna, G. Pellegrini, D. Quirion, D. Pitzl, A. Ebrahimi, T. Rohe, S. Wiederkehr

Abstract: A study of 3D pixel sensors of cell size 50 μm x 50 μm fabricated at IMB-CNM using double-sided n-on-p 3D technology is presented. Sensors were bump-bonded to the ROC4SENS readout chip. For the first time in such a small-pitch hybrid assembly, the sensor response to ionizing radiation in a test beam of 5.6 GeV electrons was studied. Results for non-irradiated sensors are presented, including effic… ▽ More A study of 3D pixel sensors of cell size 50 μm x 50 μm fabricated at IMB-CNM using double-sided n-on-p 3D technology is presented. Sensors were bump-bonded to the ROC4SENS readout chip. For the first time in such a small-pitch hybrid assembly, the sensor response to ionizing radiation in a test beam of 5.6 GeV electrons was studied. Results for non-irradiated sensors are presented, including efficiency, charge sharing, signal-to-noise, and resolution for different incidence angles. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 20 pages, 19 figures

Radiation hardness of small-pitch 3D pixel sensors up to a fluence of $3\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$

Authors: J. Lange, G. Giannini, S. Grinstein, M. Manna, G. Pellegrini, D. Quirion, S. Terzo, D. Vázquez Furelos

Abstract: Small-pitch 3D silicon pixel detectors have been investigated as radiation-hard candidates for the innermost layers of the HL-LHC pixel detector upgrades. Prototype 3D sensors with pixel sizes of 50$\times$50 and 25$\times$100 $μ$m$^{2}$ connected to the existing ATLAS FE-I4 readout chip have been produced by CNM Barcelona. Irradiations up to particle fluences of $3\times10^{16}$ n… ▽ More Small-pitch 3D silicon pixel detectors have been investigated as radiation-hard candidates for the innermost layers of the HL-LHC pixel detector upgrades. Prototype 3D sensors with pixel sizes of 50$\times$50 and 25$\times$100 $μ$m$^{2}$ connected to the existing ATLAS FE-I4 readout chip have been produced by CNM Barcelona. Irradiations up to particle fluences of $3\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$, beyond the full expected HL-LHC fluences at the end of lifetime, have been carried out at Karlsruhe and CERN. The performance of the 50$\times$50 $μ$m$^{2}$ devices has been measured in the laboratory and beam tests at CERN SPS. A high charge collected and a high hit efficiency of 98% were found up to the highest fluence. The bias voltage to reach the target efficiency of 97% at perpendicular beam incidence was found to be about 100 V at $1.4\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$ and 150 V at $2.8\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$, significantly lower than for the previous IBL 3D generation with larger inter-electrode distance and than for planar sensors. The power dissipation at -25$^{\circ}$C and $1.4\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$ was found to be 13 mW/cm$^2$. Hence, 3D pixel detectors demonstrated superior radiation hardness and were chosen as the baseline for the inner layer of the ATLAS HL-LHC pixel detector upgrade. △ Less

Submitted 17 September, 2018; v1 submitted 25 May, 2018; originally announced May 2018.

Comments: 21 pages

Journal ref: 2018 JINST 13 P09009

A Physical Light Transport Model for Non-Line-of-Sight Imaging Applications

Authors: Syed Azer Reza, Marco La Manna, Andreas Velten

Abstract: Non-line-of-sight (NLOS) imaging has recently attracted a lot of interest from the scientific community. The goal of this paper is to provide the basis for a comprehensive mathematical framework for NLOS imaging that is directly derived from physical concepts. We introduce the irradiance phasor field (P-field) as an abstract quantity for irradiance fluctuations, akin to the complex envelope of the… ▽ More Non-line-of-sight (NLOS) imaging has recently attracted a lot of interest from the scientific community. The goal of this paper is to provide the basis for a comprehensive mathematical framework for NLOS imaging that is directly derived from physical concepts. We introduce the irradiance phasor field (P-field) as an abstract quantity for irradiance fluctuations, akin to the complex envelope of the Electrical field (E-field) that is used to describe propagation of electromagnetic energy. We demonstrate that the P-field propagator is analogous to the Huygens-Fresnel propagator that describes the propagation of other waves and show that NLOS light transport can be described with the processing methods that are available for LOS imaging. We perform simulations to demonstrate the accuracy and validity of the P-field formulation and provide experimental results to demonstrate a Huygens-like P-field summation behavior. △ Less

Submitted 1 June, 2020; v1 submitted 6 February, 2018; originally announced February 2018.

Journal ref: Optics express 27, no. 20 (2019): 29380-29400

Finite model reasoning over existential rules

Authors: Giovanni Amendola, Nicola Leone, Marco Manna

Abstract: Ontology-based query answering (OBQA) asks whether a Boolean conjunctive query is satisfied by all models of a logical theory consisting of a relational database paired with an ontology. The introduction of existential rules (i.e., Datalog rules extended with existential quantifiers in rule-heads) as a means to specify the ontology gave birth to Datalog+/-, a framework that has received increasing… ▽ More Ontology-based query answering (OBQA) asks whether a Boolean conjunctive query is satisfied by all models of a logical theory consisting of a relational database paired with an ontology. The introduction of existential rules (i.e., Datalog rules extended with existential quantifiers in rule-heads) as a means to specify the ontology gave birth to Datalog+/-, a framework that has received increasing attention in the last decade, with focus also on decidability and finite controllability to support effective reasoning. Five basic decidable fragments have been singled out: linear, weakly-acyclic, guarded, sticky, and shy. Moreover, for all these fragments, except shy, the important property of finite controllability has been proved, ensuring that a query is satisfied by all models of the theory iff it is satisfied by all its finite models. In this paper we complete the picture by demonstrating that finite controllability of OBQA holds also for shy ontologies, and it therefore applies to all basic decidable Datalog+/- classes. To make the demonstration, we devise a general technique to facilitate the process of (dis)proving finite controllability of an arbitrary ontological fragment. This paper is under consideration for acceptance in TPLP. △ Less

Submitted 6 July, 2017; originally announced July 2017.

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures

Radiation hardness of small-pitch 3D pixel sensors up to HL-LHC fluences

Authors: J. Lange, S. Grinstein, M. Manna, G. Pellegrini, D. Quirion, S. Terzo, D. Vázquez Furelos

Abstract: A new generation of 3D silicon pixel detectors with a small pixel size of 50$\times$50 and 25$\times$100 $μ$m$^{2}$ is being developed for the HL-LHC tracker upgrades. The radiation hardness of such detectors was studied in beam tests after irradiation to HL-LHC fluences up to $1.4\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$. At this fluence, an operation voltage of only 100 V is needed to achieve 97%… ▽ More A new generation of 3D silicon pixel detectors with a small pixel size of 50$\times$50 and 25$\times$100 $μ$m$^{2}$ is being developed for the HL-LHC tracker upgrades. The radiation hardness of such detectors was studied in beam tests after irradiation to HL-LHC fluences up to $1.4\times10^{16}$ n$_{\mathrm{eq}}$/cm$^2$. At this fluence, an operation voltage of only 100 V is needed to achieve 97% hit efficiency, with a power dissipation of 13 mW/cm$^2$ at -25$^{\circ}$C, considerably lower than for previous 3D sensor generations and planar sensors. △ Less

Submitted 4 July, 2017; originally announced July 2017.

Comments: 5 pages, 2 figures, Proceedings of TIPP 2017, Bei**g (International Conference on The Technology and Instrumentation in Particle Physics 2017)

Module production of the one-arm AFP 3D pixel tracker

Authors: S. Grinstein, E. Cavallaro, M. Chmeissani, O. Dorholt, F. Foerster, J. Lange, I. Lopez Paz, M. Manna, G. Pellegrini, D. Quirion, M. Rijssenbeek, O. Rohne, B. Stugu

Abstract: The ATLAS Forward Proton (AFP) detector is designed to identify events in which one or two protons emerge intact from the LHC collisions. AFP will consist of a tracking detector, to measure the momentum of the protons, and a time of flight system to reduce the background from multiple proton-proton interactions. Following an extensive qualification period, 3D silicon pixel sensors were selected fo… ▽ More The ATLAS Forward Proton (AFP) detector is designed to identify events in which one or two protons emerge intact from the LHC collisions. AFP will consist of a tracking detector, to measure the momentum of the protons, and a time of flight system to reduce the background from multiple proton-proton interactions. Following an extensive qualification period, 3D silicon pixel sensors were selected for the AFP tracker. The sensors were produced at CNM (Barcelona) during 2014. The tracker module assembly and quality control was performed at IFAE during 2015. The assembly of the first AFP arm and the following installation in the LHC tunnel took place in February 2016. This paper reviews the fabrication process of the AFP tracker focusing on the pixel modules. △ Less

Submitted 19 December, 2016; v1 submitted 3 November, 2016; originally announced November 2016.

Comments: PIXEL 2016 proceedings; Submitted to JINST

3D sensors for the HL-LHC

Authors: D. Vázquez Furelos, M. Carulla, E. Cavallaro, F. Förster, S. Grinstein, J. Lange, I. López Paz, M. Manna, G. Pellegrini, D. Quirion, S. Terzo

Abstract: In order to increase its discovery potential, the Large Hadron Collider (LHC) accelerator will be upgraded in the next decade. The high luminosity LHC (HL-LHC) period demands new sensor technologies to cope with increasing radiation fluences and particle rates. The ATLAS experiment will replace the entire inner tracking detector with a completely new silicon-only system. 3D pixel sensors are promi… ▽ More In order to increase its discovery potential, the Large Hadron Collider (LHC) accelerator will be upgraded in the next decade. The high luminosity LHC (HL-LHC) period demands new sensor technologies to cope with increasing radiation fluences and particle rates. The ATLAS experiment will replace the entire inner tracking detector with a completely new silicon-only system. 3D pixel sensors are promising candidates for the innermost layers of the Pixel detector due to their excellent radiation hardness at low operation voltages and low power dissipation at moderate temperatures. Recent developments of 3D sensors for the HL-LHC are presented. △ Less

Submitted 27 October, 2016; originally announced October 2016.

Comments: 8 pages, 5 figures, International Workshops on Radiation Imaging Detectors 2016

3D silicon pixel detectors for the High-Luminosity LHC

Authors: J. Lange, M. Carulla Areste, E. Cavallaro, F. Förster, S. Grinstein, I. López Paz, M. Manna, G. Pellegrini, D. Quirion, S. Terzo, D. Vázquez Furelos

Abstract: 3D silicon pixel detectors have been investigated as radiation-hard candidates for the innermost layers of the HL-LHC upgrade of the ATLAS pixel detector. 3D detectors are already in use today in the ATLAS IBL and AFP experiments. These are based on 50x250 um2 large pixels connected to the FE-I4 readout chip. Detectors of this generation were irradiated to HL-LHC fluences and demonstrated excellen… ▽ More 3D silicon pixel detectors have been investigated as radiation-hard candidates for the innermost layers of the HL-LHC upgrade of the ATLAS pixel detector. 3D detectors are already in use today in the ATLAS IBL and AFP experiments. These are based on 50x250 um2 large pixels connected to the FE-I4 readout chip. Detectors of this generation were irradiated to HL-LHC fluences and demonstrated excellent radiation hardness with operational voltages as low as 180 V and power dissipation of 12--15 mW/cm2 at a fluence of about 1e16 neq/cm2, measured at -25 degree C. Moreover, to cope with the higher occupancies expected at the HL-LHC, a first run of a new generation of 3D detectors designed for the HL-LHC was produced at CNM with small pixel sizes of 50x50 and 25x100 um2, matched to the FE-I4 chip. They demonstrated a good performance in the laboratory and in beam tests with hit efficiencies of about 97% at already 1--2V before irradiation. △ Less

Submitted 16 November, 2016; v1 submitted 24 October, 2016; originally announced October 2016.

Comments: Accepted by JINST

Journal ref: JINST 11 (2016) C11024

Ontology-driven Information Extraction

Authors: Weronika T. Adrian, Nicola Leone, Marco Manna

Abstract: Homogeneous unstructured data (HUD) are collections of unstructured documents that share common properties, such as similar layout, common file format, or common domain of values. Building on such properties, it would be desirable to automatically process HUD to access the main information through a semantic layer -- typically an ontology -- called semantic view. Hence, we propose an ontology-base… ▽ More Homogeneous unstructured data (HUD) are collections of unstructured documents that share common properties, such as similar layout, common file format, or common domain of values. Building on such properties, it would be desirable to automatically process HUD to access the main information through a semantic layer -- typically an ontology -- called semantic view. Hence, we propose an ontology-based approach for extracting semantically rich information from HUD, by integrating and extending recent technologies and results from the fields of classical information extraction, table recognition, ontologies, text annotation, and logic programming. Moreover, we design and implement a system, named KnowRex, that has been successfully applied to curriculum vitae in the Europass style to offer a semantic view of them, and be able, for example, to select those which exhibit required skills. △ Less

Submitted 18 December, 2015; originally announced December 2015.

Taming Primary Key Violations to Query Large Inconsistent Data

Authors: Marco Manna, Francesco Ricca, Giorgio Terracina

Abstract: Consistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic programming. However, the applicability of existing logic-based solutions is restricted to data sets of moderate size. This paper presents a novel decomposition and pruning strategy that reduces, in polynomial time, the probl… ▽ More Consistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic programming. However, the applicability of existing logic-based solutions is restricted to data sets of moderate size. This paper presents a novel decomposition and pruning strategy that reduces, in polynomial time, the problem of computing the consistent answer to a conjunctive query over a database subject to primary key constraints to a collection of smaller problems of the same sort that can be solved independently. The new strategy is naturally modeled and implemented using Answer Set Programming (ASP). An experiment run on benchmarks from the database world prove the effectiveness and efficiency of our ASP-based approach also on large data sets. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015. △ Less

Submitted 22 July, 2015; originally announced July 2015.

Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues

Authors: Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna

Abstract: Datalog is one of the best-known rule-based languages, and extensions of it are used in a wide context of applications. An important Datalog extension is Disjunctive Datalog, which significantly increases the expressivity of the basic language. Disjunctive Datalog is useful in a wide range of applications, ranging from Databases (e.g., Data Integration) to Artificial Intelligence (e.g., diagnosis… ▽ More Datalog is one of the best-known rule-based languages, and extensions of it are used in a wide context of applications. An important Datalog extension is Disjunctive Datalog, which significantly increases the expressivity of the basic language. Disjunctive Datalog is useful in a wide range of applications, ranging from Databases (e.g., Data Integration) to Artificial Intelligence (e.g., diagnosis and planning under incomplete knowledge). However, in recent years an important shortcoming of Datalog-based languages became evident, e.g. in the context of data-integration (consistent query-answering, ontology-based data access) and Semantic Web applications: The language does not permit any generation of and reasoning with unnamed individuals in an obvious way. In general, it is weak in supporting many cases of existential quantification. To overcome this problem, Datalogex has recently been proposed, which extends traditional Datalog by existential quantification in rule heads. In this work, we propose a natural extension of Disjunctive Datalog and Datalogex, called Datalogexor, which allows both disjunctions and existential quantification in rule heads and is therefore an attractive language for knowledge representation and reasoning, especially in domains where ontology-based reasoning is needed. We formally define syntax and semantics of the language Datalogexor, and provide a notion of instantiation, which we prove to be adequate for Datalogexor. A main issue of Datalogex and hence also of Datalogexor is that decidability is no longer guaranteed for typical reasoning tasks. In order to address this issue, we identify many decidable fragments of the language, which extend, in a natural way, analog classes defined in the non-disjunctive case. Moreover, we carry out an in-depth complexity analysis, deriving interesting results which range from Logarithmic Space to Exponential Time. △ Less

Submitted 8 October, 2012; originally announced October 2012.

Comments: 18 pages, 1 figure, 1 table, 1 procedure, presented at ICLP 2012

MSC Class: 68T27 ACM Class: I.2.3; I.2.4

Journal ref: Theory and Practice of Logic Programming 12 (4-5): 701-718, 2012

A nonlinear Schrödinger equation for water waves on finite depth with constant vorticity

Authors: Roland Thomas, Christian Kharif, Miguel Manna

Abstract: A nonlinear Schrödinger equation for the envelope of two dimensional surface water waves on finite depth with non zero constant vorticity is derived, and the influence of this constant vorticity on the well known stability properties of weakly nonlinear wave packets is studied. It is demonstrated that vorticity modifies significantly the modulational instability properties of weakly nonlinear plan… ▽ More A nonlinear Schrödinger equation for the envelope of two dimensional surface water waves on finite depth with non zero constant vorticity is derived, and the influence of this constant vorticity on the well known stability properties of weakly nonlinear wave packets is studied. It is demonstrated that vorticity modifies significantly the modulational instability properties of weakly nonlinear plane waves, namely the growth rate and bandwidth. At third order we have shown the importance of the coupling between the mean flow induced by the modulation and the vorticity. Furthermore, it is shown that these plane wave solutions may be linearly stable to modulational instability for an opposite shear current independently of the dimensionless parameter kh, where k and h are the carrier wavenumber and depth respectively. △ Less

Submitted 10 July, 2012; originally announced July 2012.

The growth of wind-waves in finite depth

Authors: P. Montalvo, J. Dorignac, M. A. Manna, C. Kharif, H. Branger

Abstract: In order to study the growth of wind waves in finite depth we extend Miles' theory to the finite depth domain. A depth-dependent wave growth rate is derived from the dispersion relation of the wind/water interface. A suitable dimensionless finite depth wave age parameter allows us to plot a family of wave growth curves, each family member characterized by the water depth. Two major results are tha… ▽ More In order to study the growth of wind waves in finite depth we extend Miles' theory to the finite depth domain. A depth-dependent wave growth rate is derived from the dispersion relation of the wind/water interface. A suitable dimensionless finite depth wave age parameter allows us to plot a family of wave growth curves, each family member characterized by the water depth. Two major results are that for small wave age, the wave growth rates are comparable to those of deep water and for large wave age, a finite-depth wave-age-limited growth is reached, with wave growth rates going to zero. The corresponding limiting wave length and limiting phase speed are explicitely calculated in the shallow and in the deep water cases. A qualitative agreement with well-known empirical results is established and shows the robust consistency of the linear theoretical approach. △ Less

Submitted 7 June, 2012; originally announced June 2012.

Comments: 10 pages, 3 figures, submitted to the Journal of Fluid Mechanics

Review of syn-flooding attack detection mechanism

Authors: Mehdi Ebady Manna, Angela Amphawan

Abstract: Denial of Service (DoS) is a security threat which compromises the confidentiality of information stored in Local Area Networks (LANs) due to unauthorized access by spoofed IP addresses. SYN Flooding is a type of DoS which is harmful to network as the flooding of packets may delay other users from accessing the server and in severe cases, the server may need to be shut down, wasting valuable resou… ▽ More Denial of Service (DoS) is a security threat which compromises the confidentiality of information stored in Local Area Networks (LANs) due to unauthorized access by spoofed IP addresses. SYN Flooding is a type of DoS which is harmful to network as the flooding of packets may delay other users from accessing the server and in severe cases, the server may need to be shut down, wasting valuable resources, especially in critical real-time services such as in e-commerce and the medical field. The objective of this paper is to review the state-of-the art of detection mechanisms for SYN flooding. The detection schemes for SYN Flooding attacks have been classified broadly into three categories - detection schemes based on the router data structure, detection schemes based on statistical analysis of the packet flow and detection schemes based on artificial intelligence. The advantages and disadvantages for various detection schemes under each category have been critically examined. The performance measures of the categories have also been compared. △ Less

Submitted 8 February, 2012; originally announced February 2012.

Journal ref: International Journal of Distributed and Parallel Systems (IJDPS) Vol.3, No.1, January 2012, 99-117

Consistent Query Answering via ASP from Different Perspectives: Theory and Practice

Authors: Marco Manna, Francesco Ricca, Giorgio Terracina

Abstract: A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global schema. However, source data are generally not under the control of the data integration process, thus integrated data may violate global integrity constraints even in presence of locally-consistent data sources. In this… ▽ More A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global schema. However, source data are generally not under the control of the data integration process, thus integrated data may violate global integrity constraints even in presence of locally-consistent data sources. In this scenario, it may be anyway interesting to retrieve as much consistent information as possible. The process of answering user queries under global constraint violations is called consistent query answering (CQA). Several notions of CQA have been proposed, e.g., depending on whether integrated information is assumed to be sound, complete, exact or a variant of them. This paper provides a contribution in this setting: it uniforms solutions coming from different perspectives under a common ASP-based core, and provides query-driven optimizations designed for isolating and eliminating inefficiencies of the general approach for computing consistent answers. Moreover, the paper introduces some new theoretical results enriching existing knowledge on decidability and complexity of the considered problems. The effectiveness of the approach is evidenced by experimental results. To appear in Theory and Practice of Logic Programming (TPLP). △ Less

Submitted 7 October, 2011; v1 submitted 22 July, 2011; originally announced July 2011.

MSC Class: 68P15 (Primary); 68T27 (Secondary) ACM Class: H.2.4; I.2.3

An integrable evolution equation for surface waves in deep water

Authors: R. Kraenkel, H. Leblond, M. A. Manna

Abstract: In order to describe the dynamics of monochromatic surface waves in deep water, we derive a nonlinear and dispersive system of equations for the free surface elevation and the free surface velocity from the Euler equations in infinite depth. From it, and using a multiscale perturbative methods, an asymptotic model for small-aspect-ratio waves is derived. The model is shown to be completely integra… ▽ More In order to describe the dynamics of monochromatic surface waves in deep water, we derive a nonlinear and dispersive system of equations for the free surface elevation and the free surface velocity from the Euler equations in infinite depth. From it, and using a multiscale perturbative methods, an asymptotic model for small-aspect-ratio waves is derived. The model is shown to be completely integrable. The Lax pair, the first conserved quantities as well as the symmetries are exhibited. Theoretical and numerical studies reveal that it supports periodic progressive Stokes waves which peak and break in finite time. Comparison between the limiting wave solution of the asymptotic model and classical irrotational results is performed. △ Less

Submitted 30 January, 2011; originally announced January 2011.

Team-building with Answer Set Programming in the Gioia-Tauro Seaport

Authors: Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone

Abstract: (To appear in Theory and Practice of Logic Programming (TPLP).) The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management task for the companies operating in the seaport is team building: the problem of properly allocating the available personnel for serving the incoming ships. Teams have to be carefully arranged in order to meet several co… ▽ More (To appear in Theory and Practice of Logic Programming (TPLP).) The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management task for the companies operating in the seaport is team building: the problem of properly allocating the available personnel for serving the incoming ships. Teams have to be carefully arranged in order to meet several constraints, such as allocation of the employees with the appropriate skills, fair distribution of the working load, and turnover of the heavy/dangerous roles. This makes team building a hard and expensive task requiring several hours per day of manual preparation. In this paper we present a system based on Answer Set Programming (ASP) for the automatic generation of the teams of employees in the seaport of Gioia Tauro. The system is currently exploited in the Gioia Tauro seaport by ICO BLG, a company specialized in automobile logistics. △ Less

Submitted 24 January, 2011; originally announced January 2011.

Comments: 21 pages, 2 figures, to appear in Theory and Practice of Logic Programming (TPLP)

MSC Class: 68T27 ACM Class: I.2.1

Distributed XML Design

Authors: S. Abiteboul, G. Gottlob, M. Manna

Abstract: A distributed XML document is an XML document that spans several machines. We assume that a distribution design of the document tree is given, consisting of an XML kernel-document T[f1,...,fn] where some leaves are "docking points" for external resources providing XML subtrees (f1,...,fn, standing, e.g., for Web services or peers at remote locations). The top-down design problem consists in, given… ▽ More A distributed XML document is an XML document that spans several machines. We assume that a distribution design of the document tree is given, consisting of an XML kernel-document T[f1,...,fn] where some leaves are "docking points" for external resources providing XML subtrees (f1,...,fn, standing, e.g., for Web services or peers at remote locations). The top-down design problem consists in, given a type (a schema document that may vary from a DTD to a tree automaton) for the distributed document, "propagating" locally this type into a collection of types, that we call ty**, while preserving desirable properties. We also consider the bottom-up design which consists in, given a type for each external resource, exhibiting a global type that is enforced by the local types, again with natural desirable properties. In the article, we lay out the fundamentals of a theory of distributed XML design, analyze problems concerning ty** issues in this setting, and study their complexity. △ Less

Submitted 13 December, 2010; originally announced December 2010.

Comments: "56 pages, 4 figures"

MSC Class: 68M14 (Primary); 68P15 (Secondary) ACM Class: C.2.4; H.2.1

Journal ref: Proceedings of PODS '09 (2009) 247-258

Theory of small aspect ratio waves in deep water

Authors: A. Kraenkel, J. Leon, M. A. Manna

Abstract: In the limit of small values of the aspect ratio parameter (or wave steepness) which measures the amplitude of a surface wave in units of its wave-length, a model equation is derived from the Euler system in infinite depth (deep water) without potential flow assumption. The resulting equation is shown to sustain periodic waves which on the one side tend to the proper linear limit at small amplit… ▽ More In the limit of small values of the aspect ratio parameter (or wave steepness) which measures the amplitude of a surface wave in units of its wave-length, a model equation is derived from the Euler system in infinite depth (deep water) without potential flow assumption. The resulting equation is shown to sustain periodic waves which on the one side tend to the proper linear limit at small amplitudes, on the other side possess a threshold amplitude where wave crest peaking is achieved. An explicit expression of the crest angle at wave breaking is found in terms of the wave velocity. By numerical simulations, stable soliton-like solutions (experiencing elastic interactions) propagate in a given velocities range on the edge of which they tend to the peakon solution. △ Less

Submitted 20 December, 2005; originally announced December 2005.

Comments: LaTex file, 16 pages, 4 figures

Journal ref: Physica D 211 (2005) 377-390

A singular integrable equation from short capillary-gravity waves

Authors: M. A. Manna, A. Neveu

Abstract: From a columnar approximation of the Euler equations of an incompressible fluid with surface tension, we derive in the short-wave approximation a new integrable classical 1+1 dimensional field theory for the motion of the surface. Together with a Lorentz invariance,this system has the novel feature of solutions which become multiple valued in finite time. From a columnar approximation of the Euler equations of an incompressible fluid with surface tension, we derive in the short-wave approximation a new integrable classical 1+1 dimensional field theory for the motion of the surface. Together with a Lorentz invariance,this system has the novel feature of solutions which become multiple valued in finite time. △ Less

Submitted 20 March, 2003; originally announced March 2003.

Comments: 4 pages, 2 figures

Asymptotic Dynamics of Ripples

Authors: M. A. Manna

Abstract: A new nonlinear equation governing asymptotic dynamics of ripples is derived by using a short wave perturbative expansion on a generalized version of the Green-Naghdi system. It admits peakon solutions with amplitude, velocity and width in interrelation and static compacton solutions with amplitude and width in interrelation. Short wave pattern formation is shown to result from a balance between… ▽ More A new nonlinear equation governing asymptotic dynamics of ripples is derived by using a short wave perturbative expansion on a generalized version of the Green-Naghdi system. It admits peakon solutions with amplitude, velocity and width in interrelation and static compacton solutions with amplitude and width in interrelation. Short wave pattern formation is shown to result from a balance between linear dispersion and nonlinearity. △ Less

Submitted 31 January, 2000; originally announced January 2000.

Comments: LaTex file, no figures

Discrete instability in nonlinear lattices

Authors: J. Leon, M. Manna

Abstract: The discrete multiscale analysis for boundary value problems in nonlinear discrete systems leads to a first order discrete modulational instability above a threshold amplitude for wave numbers beyond the zero of group velocity dispersion. Applied to the electrical lattice [Phys. Rev. E, 51 (1995) 6127 ], this acurately explains the experimental instability at wave numbers beyond 1.25 . The theor… ▽ More The discrete multiscale analysis for boundary value problems in nonlinear discrete systems leads to a first order discrete modulational instability above a threshold amplitude for wave numbers beyond the zero of group velocity dispersion. Applied to the electrical lattice [Phys. Rev. E, 51 (1995) 6127 ], this acurately explains the experimental instability at wave numbers beyond 1.25 . The theory is also briefly discussed for sine-Gordon and Toda lattices. △ Less

Submitted 14 October, 1999; v1 submitted 18 March, 1999; originally announced March 1999.

Comments: 1 figure, revtex, published: Phys. Rev. Lett. 83 (1999) 2324

Multiscale Analysis of Discrete Nonlinear Evolution Equations

Authors: J. Leon, M. Manna

Abstract: The method of multiscale analysis is constructed for dicrete systems of evolution equations for which the problem is that of the far behavior of an input boundary datum. Discrete slow space variables are introduced in a general setting and the related finite differences are constructed. The method is applied to a series of representative examples: the Toda lattice, the nonlinear Klein-Gordon cha… ▽ More The method of multiscale analysis is constructed for dicrete systems of evolution equations for which the problem is that of the far behavior of an input boundary datum. Discrete slow space variables are introduced in a general setting and the related finite differences are constructed. The method is applied to a series of representative examples: the Toda lattice, the nonlinear Klein-Gordon chain, the Takeno system and a discrete version of the Benjamin-Bona-Mahoney equation. Among the resulting limit models we find a discrete nonlinear Schroedinger equation (with reversed space-time), a 3-wave resonant interaction system and a discrete modified Volterra model. △ Less

Submitted 14 October, 1999; v1 submitted 5 February, 1999; originally announced February 1999.

Comments: published in J. Phys. A : Math. Gen. 32 (1999) 927-943

Asymptotic dynamics of short-waves in nonlinear dispersive models

Authors: M. A. Manna, V. Merle

Abstract: The multiple-scale perturbation theory, well known for long-waves, is extended to the study of the far-field behaviour of short-waves, commonly called ripples. It is proved that the Benjamin-Bona-Mahony- Peregrine equation can propagates short-waves. This result contradict the Benjamin hypothesis that short-waves tends not to propagate in this model and close a part of the old controversy betwee… ▽ More The multiple-scale perturbation theory, well known for long-waves, is extended to the study of the far-field behaviour of short-waves, commonly called ripples. It is proved that the Benjamin-Bona-Mahony- Peregrine equation can propagates short-waves. This result contradict the Benjamin hypothesis that short-waves tends not to propagate in this model and close a part of the old controversy between Korteweg-de Vries and Benjamin-Bona-Mahony-Peregrine equations. We shown that a nonlinear (quadratic) Klein-Gordon type equation substitutes in a short-wave analysis the ubiquitous Korteweg-de Vries equation of long-wave approach. Moreover the kink solutions of phi-4 and sine-Gordon equations are understood as an all orders asymptotic behaviour of short-waves. It is proved that the antikink solution of phi-4 model which was never obtained perturbatively can be obtained by perturbation expansion in the wave-number k in the short-wave limit. △ Less

Submitted 20 October, 1997; originally announced October 1997.

Comments: to appears in Physical Review E. 4 pages, revtex files

Modified Korteweg-de Vries Hierachies in Multiple-Times Variables and the Solutions of Modified Boussinesq Equations

Authors: M. A. Manna, V. Merle

Abstract: We study solitary-wave and kink-wave solutions of a modified Boussinesq equation through a multiple-time reductive perturbation method. We use appropriated modified Korteweg-de Vries hierarchies to eliminate secular producing terms in each order of the perturbative scheme. We show that the multiple-time variables needed to obtain a regular perturbative series are completely determined by the ass… ▽ More We study solitary-wave and kink-wave solutions of a modified Boussinesq equation through a multiple-time reductive perturbation method. We use appropriated modified Korteweg-de Vries hierarchies to eliminate secular producing terms in each order of the perturbative scheme. We show that the multiple-time variables needed to obtain a regular perturbative series are completely determined by the associated linear theory in the case of a solitary-wave solution, but requires the knowledge of each order of the perturbative series in the case of a kink-wave solution. These appropriate multiple-time variables allow us to show that the solitary-wave as well as the kink-wave solutions of the modified Botussinesq equation are actually respectively a solitary-wave and a kink-wave satisfying all the equations of suitable modified Korteweg-de Vries hierarchies. △ Less

Submitted 10 March, 1997; originally announced March 1997.

Comments: RevTex file, submitted to Proc. Roy. Soc. London A

Multiple-Time Higher-Order Perturbation Analysis of the Regularized Long-Wavelength Equation

Authors: R. A. Kraenkel, M. A. Manna, V. Merle, J. C. Montero, J. G. Pereira

Abstract: By considering the long-wave limit of the regularized long wave (RLW) equation, we study its multiple-time higher-order evolution equations. As a first result, the equations of the Korteweg-de Vries hierarchy are shown to play a crucial role in providing a secularity-free perturbation theory in the specific case of a solitary-wave solution. Then, as a consequence, we show that the related pertur… ▽ More By considering the long-wave limit of the regularized long wave (RLW) equation, we study its multiple-time higher-order evolution equations. As a first result, the equations of the Korteweg-de Vries hierarchy are shown to play a crucial role in providing a secularity-free perturbation theory in the specific case of a solitary-wave solution. Then, as a consequence, we show that the related perturbative series can be summed and gives exactly the solitary-wave solution of the RLW equation. Finally, some comments and considerations are made on the N-soliton solution, as well as on the limitations of applicability of the multiple scale method in obtaining uniform perturbative series. △ Less

Submitted 27 June, 1996; originally announced June 1996.

Comments: 15 pages, RevTex, no figures (to appear in Phys. Rev. E)

Report number: IFT-P.020/96

Reductive Perturbation Method, Multiple-Time Solutions and the KdV Hierarchy

Authors: R. A. Kraenkel, M. A. Manna, J. C. Montero, J. G. Pereira

Abstract: We apply a multiple-time version of the reductive perturbation method to study long waves as governed by the Boussinesq model equation. By requiring the absence of secular producing terms in each order of the perturbative scheme, we show that the solitary-wave of the Boussinesq equation can be written as a solitary-wave satisfying simultaneously all equations of the KdV hierarchy, each one in a… ▽ More We apply a multiple-time version of the reductive perturbation method to study long waves as governed by the Boussinesq model equation. By requiring the absence of secular producing terms in each order of the perturbative scheme, we show that the solitary-wave of the Boussinesq equation can be written as a solitary-wave satisfying simultaneously all equations of the KdV hierarchy, each one in a different slow time variable. We also show that the conditions for eliminating the secularities are such that they make the perturbation theory compatible with the linear theory coming from the Boussinesq equation. △ Less

Submitted 25 September, 1995; originally announced September 1995.

Comments: 11 pages, RevTex, to appear in the proceedings of the workshop "Nonlinear Physics: Theory and Experiment", Gallipoli, Italy, June 29-July 7, 1995 (World Scientific, 1995)

Report number: IFT-P.0/95

The Role of the Korteweg-de Vries Hierarchy in the N-Soliton Dynamics of the Shallow Water Wave Equation

Authors: R. A. Kraenkel, M. A. Manna, J. C. Montero, J. G. Pereira

Abstract: We apply a multiple-time version of the reductive perturbation method to study long waves as governed by the shallow water wave model equation. As a consequence of the requirement of a secularity-free perturbation theory, we show that the well known N-soliton dynamics of the shallow water wave equation, in the particular case of $α=2 β$, can be reduced to the N-soliton solution that satisfies si… ▽ More We apply a multiple-time version of the reductive perturbation method to study long waves as governed by the shallow water wave model equation. As a consequence of the requirement of a secularity-free perturbation theory, we show that the well known N-soliton dynamics of the shallow water wave equation, in the particular case of $α=2 β$, can be reduced to the N-soliton solution that satisfies simultaneously all equations of the Korteweg-de Vries hierarchy. △ Less

Submitted 19 March, 1997; v1 submitted 25 September, 1995; originally announced September 1995.

Comments: Minor corrections, new discussion added, version to appear in J. Phys. Soc. Japan

Boussinesq Solitary-Wave as a Multiple-Time Solution of the Korteweg-de Vries Hierarchy

Authors: R. A. Kraenkel, M. A. Manna, J. C. Montero, J. G. Pereira

Abstract: We study the Boussinesq equation from the point of view of a multiple-time reductive perturbation method. As a consequence of the elimination of the secular producing terms through the use of the Korteweg--de Vries hierarchy, we show that the solitary--wave of the Boussinesq equation is a solitary--wave satisfying simultaneously all equations of the Korteweg--de Vries hierarchy, each one in an a… ▽ More We study the Boussinesq equation from the point of view of a multiple-time reductive perturbation method. As a consequence of the elimination of the secular producing terms through the use of the Korteweg--de Vries hierarchy, we show that the solitary--wave of the Boussinesq equation is a solitary--wave satisfying simultaneously all equations of the Korteweg--de Vries hierarchy, each one in an appropriate slow time variable. △ Less

Submitted 25 September, 1995; v1 submitted 31 July, 1995; originally announced July 1995.

Comments: 12 pages, RevTex (to appear in J. Math Phys.)

Report number: IFT-P.033/95

The Korteweg-de Vries Hierarchy and Long Water-Waves

Authors: R. A. Kraenkel, M. A. Manna, J. G. Pereira

Abstract: By using the multiple scale method with the simultaneous introduction of multiple times, we study the propagation of long surface-waves in a shallow inviscid fluid. As a consequence of the requirements of scale invariance and absence of secular terms in each order of the perturbative expansion, we show that the Korteweg-de Vries hierarchy equations do appear in the description of such waves. Fin… ▽ More By using the multiple scale method with the simultaneous introduction of multiple times, we study the propagation of long surface-waves in a shallow inviscid fluid. As a consequence of the requirements of scale invariance and absence of secular terms in each order of the perturbative expansion, we show that the Korteweg-de Vries hierarchy equations do appear in the description of such waves. Finally, we show that this procedure of eliminating secularities is closely related to the renormalization technique introduced by Kodama and Taniuti. △ Less

Submitted 17 June, 1994; originally announced June 1994.

Hydrothermal Surface-Wave Instability and the Kuramoto-Sivashinsky Equation

Authors: R. A. Kraenkel, J. G. Pereira, M. A. Manna

Abstract: We consider a system formed by an infinite viscous liquid layer with a constant horizontal temperature gradient, and a basic nonlinear bulk velocity profile. In the limit of long-wavelength and large nondimensional surface tension, we show that hydrothermal surface-wave instabilities may give rise to disturbances governed by the Kuramoto-Sivashinsky equation. A possible connection to hot-wire ex… ▽ More We consider a system formed by an infinite viscous liquid layer with a constant horizontal temperature gradient, and a basic nonlinear bulk velocity profile. In the limit of long-wavelength and large nondimensional surface tension, we show that hydrothermal surface-wave instabilities may give rise to disturbances governed by the Kuramoto-Sivashinsky equation. A possible connection to hot-wire experiments is also discussed. △ Less

Submitted 4 January, 1994; originally announced January 1994.

Comments: 11 pages, RevTex, no figures

Report number: IFT-P.001/94

Dissipative Boussinesq System of Equations in the Bénard-Marangoni Phenomenon

Authors: R. A. Kraenkel, S. M. Kurcbart, J. G. Pereira, M. A. Manna

Abstract: By using the long-wave approximation, a system of coupled evolution equations for the bulk velocity and the surface perturbations of a Bénard-Marangoni system is obtained. It includes nonlinearity, dispersion and dissipation, and it can be interpreted as a dissipative generalization of the usual Boussinesq system of equations. As a particular case, a strictly dissipative version of the Boussines… ▽ More By using the long-wave approximation, a system of coupled evolution equations for the bulk velocity and the surface perturbations of a Bénard-Marangoni system is obtained. It includes nonlinearity, dispersion and dissipation, and it can be interpreted as a dissipative generalization of the usual Boussinesq system of equations. As a particular case, a strictly dissipative version of the Boussinesq system is obtained. Finnaly, some speculations are made on the nature of the physical phenomena described by this system of equations. △ Less

Submitted 28 June, 1993; originally announced June 1993.

Comments: 15 Pages, REVTEX (Version 3.0), no figures