Showing 1–50 of 183 results for author: Roosa, M

Certification Grade Quantum Dot Luminescent Solar Concentrator Glazing with Optical Communication Capability for Connected Sustainable Architecture

Authors: Francesco Meinardi, Francesco Bruni, Claudio Castellan, Marco Meucci, Ali Muhammad Umair, Marcello La Rosa, Jacopo Catani, Sergio Brovelli

Abstract: Energy sustainability and interconnectivity are the two main pillars on which cutting-edge architecture is based and require the realisation of energy and intelligent devices that can be fully integrated into buildings, capable of meeting stringent regulatory requirements and operating in real-world conditions. Luminescent solar concentrators, particularly those based on near-infrared emitting rea… ▽ More Energy sustainability and interconnectivity are the two main pillars on which cutting-edge architecture is based and require the realisation of energy and intelligent devices that can be fully integrated into buildings, capable of meeting stringent regulatory requirements and operating in real-world conditions. Luminescent solar concentrators, particularly those based on near-infrared emitting reabsorption-free quantum dots, are considered good candidates for the realisation of semi-transparent photovoltaic glazing, but despite important advances in optical property engineering strategies, studies of finished devices suitable for real-world operation are still lacking. In this paper, we demonstrate the first example of a fully assembled quantum dot luminescent solar concentrator-based photovoltaic glazing that meets all international standards for photovoltaic and building elements. We also show that these devices are capable of functioning as efficient Visible Light Communication (VLC) receivers even under full sunlight, thus combining energy and wireless connectivity functions in a realistic solution for smart, sustainable buildings. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Journal ref: Advanced Energy Materials 2024, 14, 2304006

LLMs in HCI Data Work: Bridging the Gap Between Information Retrieval and Responsible Research Practices

Authors: Neda Taghizadeh Serajeh, Iman Mohammadi, Vittorio Fuccella, Mattia De Rosa

Abstract: Efficient and accurate information extraction from scientific papers is significant in the rapidly develo** human-computer interaction research in the literature review process. Our paper introduces and analyses a new information retrieval system using state-of-the-art Large Language Models (LLMs) in combination with structured text analysis techniques to extract experimental data from HCI liter… ▽ More Efficient and accurate information extraction from scientific papers is significant in the rapidly develo** human-computer interaction research in the literature review process. Our paper introduces and analyses a new information retrieval system using state-of-the-art Large Language Models (LLMs) in combination with structured text analysis techniques to extract experimental data from HCI literature, emphasizing key elements. Then We analyze the challenges and risks of using LLMs in the world of research. We performed a comprehensive analysis on our conducted dataset, which contained the specified information of 300 CHI 2020-2022 papers, to evaluate the performance of the two large language models, GPT-3.5 (text-davinci-003) and Llama-2-70b, paired with structured text analysis techniques. The GPT-3.5 model gains an accuracy of 58\% and a mean absolute error of 7.00. In contrast, the Llama2 model indicates an accuracy of 56\% with a mean absolute error of 7.63. The ability to answer questions was also included in the system in order to work with streamlined data. By evaluating the risks and opportunities presented by LLMs, our work contributes to the ongoing dialogue on establishing methodological validity and ethical guidelines for LLM use in HCI data work. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: 5 pages, CHI2024 Workshop on LLMs as Research Tools: Applications and Evaluations in HCI Data Work

Cluster structure of 3$α$+p states in $^{13}$N

Authors: J. Bishop, G. V. Rogachev, S. Ahn, M. Barbui, S. M. Cha, E. Harris, C. Hunt, C. H. Kim, D. Kim, S. H. Kim, E. Koshchiy, Z. Luo, C. Park, C. E. Parker, E. C. Pollacco, B. T. Roeder, M. Roosa, A. Saastamoinen, D. P. Scriven

Abstract: Background: Cluster states in $^{13}$N are extremely difficult to measure due to the unavailability of $^{9}$B+$α$ elastic scattering data. Purpose: Using $β$-delayed charged-particle spectroscopy of $^{13}$O, clustered states in $^{13}$N can be populated and measured in the 3$α$+p decay channel. Method: One-at-a-time implantation/decay of $^{13}$O was performed with the Texas Active Target Time P… ▽ More Background: Cluster states in $^{13}$N are extremely difficult to measure due to the unavailability of $^{9}$B+$α$ elastic scattering data. Purpose: Using $β$-delayed charged-particle spectroscopy of $^{13}$O, clustered states in $^{13}$N can be populated and measured in the 3$α$+p decay channel. Method: One-at-a-time implantation/decay of $^{13}$O was performed with the Texas Active Target Time Projection Chamber (TexAT TPC). 149 $β3αp$ decay events were observed and the excitation function in $^{13}$N reconstructed. Results: Four previously unknown $α$-decaying excited states were observed in $^{13}$N at an excitation energy of 11.3 MeV, 12.4 MeV, 13.1 MeV and 13.7 MeV decaying via the 3$α$+p channel. Conclusion: These states are seen to have a [$^{9}\mathrm{B}(\mathrm{g.s}) \bigotimes α$/ $p+^{12}\mathrm{C}(0_{2}^{+})$], [$^{9}\mathrm{B}(\frac{1}{2}^{+}) \bigotimes α$], [$^{9}\mathrm{B}(\frac{5}{2}^{+}) \bigotimes α$] and [$^{9}\mathrm{B}(\frac{5}{2}^{+}) \bigotimes α$] structure respectively. A previously-seen state at 11.8 MeV was also determined to have a [$p+^{12}\mathrm{C}(\mathrm{g.s.})$/ $p+^{12}\mathrm{C}(0_{2}^{+})$] structure. The overall magnitude of the clustering is not able to be extracted however due to the lack of a total width measurement. Clustered states in $^{13}$N (with unknown magnitude) seem to persist from the addition of a proton to the highly $α$-clustered $^{12}$C. Evidence of the $\frac{1}{2}^{+}$ state in $^{9}$B was also seen to be populated by decays from $^{13}$N$^{\star}$. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2302.14111

Fast-forwarding molecular ground state preparation with optimal control on analog quantum simulators

Authors: Davide Castaldo, Marta Rosa, Stefano Corni

Abstract: We show that optimal control of the electron dynamics is able to prepare molecular ground states, within chemical accuracy, with evolution times approaching the bounds imposed by quantum mechanics. We propose a specific parameterization of the molecular evolution only in terms of interaction already present in the molecular Hamiltonian. Thus, the proposed method solely utilizes quantum simulation… ▽ More We show that optimal control of the electron dynamics is able to prepare molecular ground states, within chemical accuracy, with evolution times approaching the bounds imposed by quantum mechanics. We propose a specific parameterization of the molecular evolution only in terms of interaction already present in the molecular Hamiltonian. Thus, the proposed method solely utilizes quantum simulation routines, retaining their favourable scalings. Due to the intimate relationships between variational quantum algorithms and optimal control we compare, when possible, our results with state-of-the-art methods in literature. We found that the number of parameters needed to reach chemical accuracy and algorithmic scaling are in line with compact adaptive strategies to build variational ansatze. The algorithm, which is also suitable for quantum simulators, is implemented emulating a digital quantum processor (up to 16 qubits) and tested on different molecules and geometries spanning different degrees of electron correlation. △ Less

Submitted 18 February, 2024; originally announced February 2024.

Radiative decay branching ratio of the Hoyle state

Authors: Zifeng Luo, M. Barbui, J. Bishop, G. Chubarian, V. Z. Goldberg, E. Harris, E. Koshchiy, C. E. Parker, M. Roosa, A. Saastamoinen, D. P. Scriven, G. V. Rogachev

Abstract: Background: The triple-alpha process is a vital reaction in nuclear astrophysics, characterized by two consecutive reactions [$2α\leftrightarrows{^{8}\rm{Be}}(α,γ){^{12}\rm{C}}$] that drive carbon formation. The second reaction occurs through the Hoyle state, a 7.65 MeV excited state in ${^{12}\rm{C}}$ with $J^π=0^{+}$. The rate of the process depends on the radiative width, which can be determine… ▽ More Background: The triple-alpha process is a vital reaction in nuclear astrophysics, characterized by two consecutive reactions [$2α\leftrightarrows{^{8}\rm{Be}}(α,γ){^{12}\rm{C}}$] that drive carbon formation. The second reaction occurs through the Hoyle state, a 7.65 MeV excited state in ${^{12}\rm{C}}$ with $J^π=0^{+}$. The rate of the process depends on the radiative width, which can be determined by measuring the branching ratio for electromagnetic decay. Recent measurements by Kibédi et al. conflicted with the adopted value and resulted in a significant increase of nearly 50\% in this branching ratio, directly affecting the triple-alpha reaction. Purpose: This work aims to utilize charged-particle spectroscopy with magnetic selection as a means to accurately measure the total radiative branching ratio ($Γ_{\rm{rad}}/Γ$) of the Hoyle state in $^{12}{\rm C}$. Methods: The Hoyle state in $^{12}{\rm C}$ was populated via $^{12}\rm{C}(α, α')^{12}\rm{C^{*}}$ inelastic scattering. The scattered $α$ particles were detected using a $Δ$E-E telescope, while the recoiled $^{12}{\rm C}$ ions were identified in a magnetic spectrometer. Results: A radiative branching ratio value of $Γ_{\rm{rad}}/Γ\times10^{4}=4.0\pm0.3({\rm stat.})\pm0.16({\rm syst.})$ was obtained. Conclusions: The radiative branching ratio for the Hoyle state obtained in this work is in agreement with the original adopted value. Our result suggests that the proton-$γ$-$γ$ spectroscopy result reported by Kibédi et al. may be excluded. △ Less

Submitted 13 February, 2024; v1 submitted 27 October, 2023; originally announced October 2023.

Journal ref: Phys. Rev. C 109, 025801 (2024)

A Control-Bounded Quadrature Leapfrog ADC

Authors: Hampus Malmberg, Fredrik Feyling, Jose M. de la Rosa

Abstract: In this paper, the design flexibility of the control-bounded analog-to-digital converter principle is demonstrated. A band-pass analog-to-digital converter is considered as an application and case study. We show how a low-pass control-bounded analog-to-digital converter can be translated into a band-pass version where the guaranteed stability, converter bandwidth, and signal-to-noise ratio are pre… ▽ More In this paper, the design flexibility of the control-bounded analog-to-digital converter principle is demonstrated. A band-pass analog-to-digital converter is considered as an application and case study. We show how a low-pass control-bounded analog-to-digital converter can be translated into a band-pass version where the guaranteed stability, converter bandwidth, and signal-to-noise ratio are preserved while the center frequency for conversion can be positioned freely. The proposed converter is validated with behavioral simulations on several filter orders, center frequencies, and oversampling ratios. Additionally, we consider an op-amp circuit realization where the effects of first-order op-amp non-idealities are shown. Finally, robustness against component variations is demonstrated by Monte Carlo simulations. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Comments: 13 pages and 16 figures

A physics-informed deep learning approach for solving strongly degenerate parabolic problems

Authors: Pasquale Ambrosio, Salvatore Cuomo, Mariapia De Rosa

Abstract: In recent years, Scientific Machine Learning (SciML) methods for solving partial differential equations (PDEs) have gained increasing popularity. Within such a paradigm, Physics-Informed Neural Networks (PINNs) are novel deep learning frameworks for solving initial-boundary value problems involving nonlinear PDEs. Recently, PINNs have shown promising results in several application fields. Motivate… ▽ More In recent years, Scientific Machine Learning (SciML) methods for solving partial differential equations (PDEs) have gained increasing popularity. Within such a paradigm, Physics-Informed Neural Networks (PINNs) are novel deep learning frameworks for solving initial-boundary value problems involving nonlinear PDEs. Recently, PINNs have shown promising results in several application fields. Motivated by applications to gas filtration problems, here we present and evaluate a PINN-based approach to predict solutions to strongly degenerate parabolic problems with asymptotic structure of Laplacian type. To the best of our knowledge, this is one of the first papers demonstrating the efficacy of the PINN framework for solving such kind of problems. In particular, we estimate an appropriate approximation error for some test problems whose analytical solutions are fortunately known. The numerical experiments discussed include two and three-dimensional spatial domains, emphasizing the effectiveness of this approach in predicting accurate solutions. △ Less

Submitted 15 February, 2024; v1 submitted 29 September, 2023; originally announced October 2023.

Comments: This version improves the previous one

Journal ref: Engineering with Computers (2024)

BlueSTEAl: A pair of silicon arrays and a zero-degree phoswich detector for studies of scattering and reactions in inverse kinematics

Authors: Shuya Ota, Greg Christian, Ben J. Reed, Wilton N. Catford, Stefania Dede, Daniel T. Doherty, Gavin Lotay, Michael Roosa, Antti Saastamoinen, Dustin P. Scriven

Abstract: BlueSTEAl, the Blue (aluminum chamber of) Silicon TElescope Arrays for light nuclei,has been developed to study direct reactions in inverse kinematics, as well as scattering and breakup reactions using radioactive ion beams. It is a detector system consisting of a pair of annular silicon detector arrays and a zero-degree phoswich plastic scintillator. For typical binary reaction studies in inverse… ▽ More BlueSTEAl, the Blue (aluminum chamber of) Silicon TElescope Arrays for light nuclei,has been developed to study direct reactions in inverse kinematics, as well as scattering and breakup reactions using radioactive ion beams. It is a detector system consisting of a pair of annular silicon detector arrays and a zero-degree phoswich plastic scintillator. For typical binary reaction studies in inverse kinematics, light ions are detected by the Si array in coincidence with heavy recoils detected by the phoswich placed at the focal-plane of a zero-degree magnetic spectrometer. The Si array can also be used to detect light nuclei such as berylium and carbon with clear isotope separation, while the phoswich can also be placed at zero degrees without a spectrometer and used as a high-efficiency beam counting monitor with particle identification capability at the rate of up to 5*10^4 particles per second. This paper reports on the capabilities of BlueSTEAl as determined by recent experiments performed at the Texas A&M Cyclotron Institute. The device is also anticipated to be used in future experiments at other radioactive ion beam facilities. △ Less

Submitted 27 July, 2023; originally announced July 2023.

The Hitchhiker's Guide to Malicious Third-Party Dependencies

Authors: Piergiorgio Ladisa, Merve Sahin, Serena Elisa Ponta, Marco Rosa, Matias Martinez, Olivier Barais

Abstract: The increasing popularity of certain programming languages has spurred the creation of ecosystem-specific package repositories and package managers. Such repositories (e.g., npm, PyPI) serve as public databases that users can query to retrieve packages for various functionalities, whereas package managers automatically handle dependency resolution and package installation on the client side. These… ▽ More The increasing popularity of certain programming languages has spurred the creation of ecosystem-specific package repositories and package managers. Such repositories (e.g., npm, PyPI) serve as public databases that users can query to retrieve packages for various functionalities, whereas package managers automatically handle dependency resolution and package installation on the client side. These mechanisms enhance software modularization and accelerate implementation. However, they have become a target for malicious actors seeking to propagate malware on a large scale. In this work, we show how attackers can leverage capabilities of popular package managers and languages to achieve arbitrary code execution on victim machines, thereby realizing open-source software supply chain attacks. Based on the analysis of 7 ecosystems, we identify 3 install-time and 4 runtime techniques, and we provide recommendations describing how to reduce the risk when consuming third-party dependencies. We will provide proof-of-concepts that demonstrate the identified techniques. Furthermore, we describe evasion strategies employed by attackers to circumvent detection mechanisms. △ Less

Submitted 6 October, 2023; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses (SCORED '23), November 30, 2023, Copenhagen, Denmark

Korovkin-type approximation results through summability methods in the Applied Science

Authors: M. del Carmen Listán-García, María Pilar Romero de la Rosa

Abstract: We present Korovkin approximation theorems that incorporate summability methods. These result allows us to obtain a unified treatment of several previous results, focusing on the underlying structure and the properties that a summability method should satisfy in order to establish a Korovkin-type approximation result. As a by-product we obtain new Korovkin-type results incorporating summability me… ▽ More We present Korovkin approximation theorems that incorporate summability methods. These result allows us to obtain a unified treatment of several previous results, focusing on the underlying structure and the properties that a summability method should satisfy in order to establish a Korovkin-type approximation result. As a by-product we obtain new Korovkin-type results incorporating summability methods, for example for regular matrix convergence methods, convergence through ideals of natural numbers, etc, and we provide further directions and a preparation for questions which remain open. △ Less

Submitted 5 July, 2023; originally announced July 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2307.02237

MSC Class: 40H05; 40A35

Hypercyclicity of operators that $λ$-commute with the Hardy backward shift

Authors: Mohamed Amouch, Fernando León-Saavedra, M. P. Romero de la Rosa

Abstract: An operator $T$ acting on a separable complex Hilbert space $H$ is said to be hypercyclic if there exists $f\in H$ such that the orbit $\{T^n f:\ n\in \mathbb{N}\}$ is dense in $H$. Godefroy and Shapiro \cite{GoSha} characterized those elements in the commutant of the Hardy backward shift which are hypercyclic. In this paper we study some dynamics properties of operators $X$ that $λ$-commute with… ▽ More An operator $T$ acting on a separable complex Hilbert space $H$ is said to be hypercyclic if there exists $f\in H$ such that the orbit $\{T^n f:\ n\in \mathbb{N}\}$ is dense in $H$. Godefroy and Shapiro \cite{GoSha} characterized those elements in the commutant of the Hardy backward shift which are hypercyclic. In this paper we study some dynamics properties of operators $X$ that $λ$-commute with the Hardy backward shift $B$, that is, $BX=λXB$. △ Less

Submitted 5 July, 2023; originally announced July 2023.

MSC Class: 47A16; 37B20

Classical theorems through convergence methods

Authors: Fernando León-Saavedra, M. del Carmen Listán-García, María Pilar Romero de la Rosa

Abstract: We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods. Sometimes very sharp conditions are obtained, giving a focused view of the subject and from which new problems emerge. We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods. Sometimes very sharp conditions are obtained, giving a focused view of the subject and from which new problems emerge. △ Less

Submitted 5 July, 2023; originally announced July 2023.

MSC Class: 40H05 40A35

On set-convergence statistically modulated

Authors: Maria del Pilar Romero de la Rosa

Abstract: We explore some convergence notions for set-convergence coming from modern summability methods. Specifically we will see the connections between Wijsman $f$-statistical convergence and Wijsman $f$-strong Cesàro convergence, when $f$ is a modulus function that induces a density in $\mathbb{N}$. We explore some convergence notions for set-convergence coming from modern summability methods. Specifically we will see the connections between Wijsman $f$-statistical convergence and Wijsman $f$-strong Cesàro convergence, when $f$ is a modulus function that induces a density in $\mathbb{N}$. △ Less

Submitted 5 July, 2023; originally announced July 2023.

MSC Class: 40H05 40A35

Improved error estimates for the order of convergence of the Euler method for random ordinary differential equations driven by semi-martingale noises

Authors: Peter E. Kloeden, Ricardo M. S. Rosa

Abstract: It is well known that the Euler method for approximating the solutions of a random ordinary differential equation (RODE) $\mathrm{d}X_t/\mathrm{d}t = f(t, X_t, Y_t)$ driven by a stochastic process $\{Y_t\}_t$ with $θ$-Hölder sample paths is estimated to be of strong order $θ$ with respect to the time step, provided $f=f(t, x, y)$ is sufficiently regular and with suitable bounds. This order was kno… ▽ More It is well known that the Euler method for approximating the solutions of a random ordinary differential equation (RODE) $\mathrm{d}X_t/\mathrm{d}t = f(t, X_t, Y_t)$ driven by a stochastic process $\{Y_t\}_t$ with $θ$-Hölder sample paths is estimated to be of strong order $θ$ with respect to the time step, provided $f=f(t, x, y)$ is sufficiently regular and with suitable bounds. This order was known to increase to $1$ in some special cases, such as that of an Itô diffusion noise, in which case the Euler for RODE can be seen as a particular case of the Milstein method for an associated augmented system of stochastic differential equations. Here, it is proved that, in many more typical cases, further structures on the noise can be exploited so that the strong convergence is of order 1. More precisely, we prove so for any semi-martingale noise. This includes Itô diffusion processes, point-process noises, transport-type processes with sample paths of bounded variation, and time-changed Brownian motion. This also yields a direct proof of order 1 convergence for Itô process noises. The result follows from estimating the global error as an iterated integral over both large and small mesh scales, and then by switching the order of integration to move the critical regularity to the large scale. The work is complemented with numerical simulations illustrating the strong order 1 convergence in those cases, and with an example with fractional Brownian motion noise with Hurst parameter $0 < H < 1/2$ for which the order of convergence is $H + 1/2$, hence lower than the attained order 1 in the semi-martingale examples above, but still higher than the order $H$ of convergence expected from previous works. △ Less

Submitted 18 May, 2024; v1 submitted 27 June, 2023; originally announced June 2023.

Comments: 16 figures; v2) fixed stability condition in the Fisher-KPP example; v3) adjust mesh points to N+1 and add references; v4) add missing jumps for FV process; v5) generalize to any semi-martingale noise

MSC Class: 60H35 (Primary) 65C30; 34F05 (Secondary)

Interface states in two-dimensional quasicrystals with broken inversion symmetry

Authors: Danilo Beli, Matheus I. N. Rosa, Luca Lomazzi, Carlos De Marqui Jr, Massimo Ruzzene

Abstract: We investigate the existence of interface states induced by broken inversion symmetries in two-dimensional quasicrystal lattices. We introduce a 10-fold rotationally symmetric quasicrystal lattice whose inversion symmetry is broken through a mass dimerization that produces two 5-fold symmetric sub-lattices. By considering resonator scatterers attached to an elastic plate, we illustrate the emergen… ▽ More We investigate the existence of interface states induced by broken inversion symmetries in two-dimensional quasicrystal lattices. We introduce a 10-fold rotationally symmetric quasicrystal lattice whose inversion symmetry is broken through a mass dimerization that produces two 5-fold symmetric sub-lattices. By considering resonator scatterers attached to an elastic plate, we illustrate the emergence of bands of interface states that accompany a band inversion of the quasicrystal spectrum as a function of the dimerization parameter. These bands are filled by modes which are localized along domain-wall interfaces separating regions of opposite inversion symmetry. These features draw parallels to the dynamic behavior of topological interface states in the context of the valley Hall effect, which has been so far limited to periodic lattices. We numerically and experimentally demonstrate wave-guiding in a quasicrystal lattice featuring a zig-zag interface with sharp turns of 36 degrees, which goes beyond the limitation of 60 degrees associated with 6-fold symmetric (i.e., honeycomb) periodic lattices. Our results provide new opportunities for symmetry-based quasicrystalline topological waveguides that do not require time-reversal symmetry breaking, and that allow for higher freedom in the design of their waveguiding trajectories by leveraging higher-order rotational symmetries. △ Less

Submitted 19 April, 2023; originally announced April 2023.

Five guidelines to improve context-aware process selection: an Australian banking perspective

Authors: Nigel Adams, Adriano Augusto, Michael Davern, Marcello La Rosa

Abstract: As the first phase in the Business Process Management (BPM) lifecycle, process identification addresses the problem of identifying which processes to prioritize for improvement. Process selection plays a critical role in this phase, but it is a step with known pitfalls. Decision makers rely frequently on subjective criteria, and their knowledge of the alternative processes put forward for selectio… ▽ More As the first phase in the Business Process Management (BPM) lifecycle, process identification addresses the problem of identifying which processes to prioritize for improvement. Process selection plays a critical role in this phase, but it is a step with known pitfalls. Decision makers rely frequently on subjective criteria, and their knowledge of the alternative processes put forward for selection is often inconsistent. This leads to poor quality decision-making and wastes resources. In recent years, a rejection of a one-size-fits-all approach to BPM in favor of a more context-aware approach has gained significant academic attention. In this study, the role of context in the process selection step is considered. The context is qualitative, subjective, sensitive to decision-making bias and politically charged. We applied a design-science approach and engaged industry decision makers through a combination of research methods to assess how different configurations of process inputs influence and ultimately improve the quality of the process selection step. The study highlights the impact of framing effects on context and provides five guidelines to improve effectiveness. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Comments: 16 pages, 5 figures, 3 tables

Learning When to Treat Business Processes: Prescriptive Process Monitoring with Causal Inference and Reinforcement Learning

Authors: Zahra Dasht Bozorgi, Marlon Dumas, Marcello La Rosa, Artem Polyvyanyy, Mahmoud Shoush, Irene Teinemaa

Abstract: Increasing the success rate of a process, i.e. the percentage of cases that end in a positive outcome, is a recurrent process improvement goal. At runtime, there are often certain actions (a.k.a. treatments) that workers may execute to lift the probability that a case ends in a positive outcome. For example, in a loan origination process, a possible treatment is to issue multiple loan offers to in… ▽ More Increasing the success rate of a process, i.e. the percentage of cases that end in a positive outcome, is a recurrent process improvement goal. At runtime, there are often certain actions (a.k.a. treatments) that workers may execute to lift the probability that a case ends in a positive outcome. For example, in a loan origination process, a possible treatment is to issue multiple loan offers to increase the probability that the customer takes a loan. Each treatment has a cost. Thus, when defining policies for prescribing treatments to cases, managers need to consider the net gain of the treatments. Also, the effect of a treatment varies over time: treating a case earlier may be more effective than later in a case. This paper presents a prescriptive monitoring method that automates this decision-making task. The method combines causal inference and reinforcement learning to learn treatment policies that maximize the net gain. The method leverages a conformal prediction technique to speed up the convergence of the reinforcement learning mechanism by separating cases that are likely to end up in a positive or negative outcome, from uncertain cases. An evaluation on two real-life datasets shows that the proposed method outperforms a state-of-the-art baseline. △ Less

Submitted 6 March, 2023; originally announced March 2023.

First observation of the $β$3$α$p decay of $^{13}\mathrm{O}$ via $β$-delayed charged-particle spectroscopy

Authors: Jack Bishop, G. V. Rogachev, S. Ahn, M. Barbui, S. M. Cha, E. Harris, C. Hunt, C. H. Kim, D. Kim, S. H. Kim, E. Koshchiy, Z. Luo, C. Park, C. E. Parker, E. C. Pollacco, B. T. Roeder, M. Roosa, A. Saastamoinen, D. P. Scriven

Abstract: Background: The $β$-delayed proton-decay of $^{13}\mathrm{O}$ has previously been studied, but the direct observation of $β$-delayed $α$+$α$+$α$+p decay has not been reported. Purpose: Observing rare 3$α$+p events from the decay of excited states in $^{13}\mathrm{N}^{\star}$ allows for a sensitive probe of exotic highly-clustered configurations in $^{13}$N. Method: To measure the low-energy produc… ▽ More Background: The $β$-delayed proton-decay of $^{13}\mathrm{O}$ has previously been studied, but the direct observation of $β$-delayed $α$+$α$+$α$+p decay has not been reported. Purpose: Observing rare 3$α$+p events from the decay of excited states in $^{13}\mathrm{N}^{\star}$ allows for a sensitive probe of exotic highly-clustered configurations in $^{13}$N. Method: To measure the low-energy products following $β$-delayed 3$α$p-decay, the TexAT Time Projection Chamber was employed using the one-at-a-time $β$-delayed charged-particle spectroscopy technique at the Cyclotron Institute, Texas A&M University. Results: A total of $1.9 \times 10^{5}$ $^{13}\mathrm{O}$ implantations were made inside the TexAT Time Projection Chamber. 149 3$α$+p events were observed yielding a $β$-delayed 3$α+p$ branching ratio of 0.078(6)%. Conclusion: Four previously unknown $α$-decaying states were observed, one with a strong $^{9}\mathrm{B(g.s)}+α$ characteristic at 11.3 MeV, one with a $^{9}\mathrm{B}(\frac{1}{2}^{+})+α$ nature at 12.4 MeV, and another two that are dominated by $^{9}\mathrm{B}({\frac{5}{2}}^{+})+α$ at 13.1 and 13.7 MeV. Population of the $\frac{1}{2}^{+}$ state in $^{9}\mathrm{B}$ has been unambiguously seen, cementing the predicted existence of the mirror-state based on the states observed in $^{9}\mathrm{Be}$. △ Less

Submitted 12 May, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

On lacunary statistical convergence and lacunary stron Cesàro convergence by moduli

Authors: María del Pilar Romero de la Rosa

Abstract: Here we fully complete the studies initiated by Vinod K. Bhardwaj and Shweta Dhawan in \cite{hindawi} which relate different convergence methods which involves the classical statistical and the classical strong Cesàro convergences by means of lacunary sequences and measures of density in $\mathbb{N}$ modulated by a modulus function $f$. Here we fully complete the studies initiated by Vinod K. Bhardwaj and Shweta Dhawan in \cite{hindawi} which relate different convergence methods which involves the classical statistical and the classical strong Cesàro convergences by means of lacunary sequences and measures of density in $\mathbb{N}$ modulated by a modulus function $f$. △ Less

Submitted 17 February, 2023; originally announced February 2023.

MSC Class: 40H05; 40A35

Material vs. structure: Topological origins of band-gap truncation resonances in periodic structures

Authors: Matheus I. N. Rosa, Bruce L. Davis, Liao Liu, Massimo Ruzzene, Mahmoud I. Hussein

Abstract: While resonant modes do not exist within band gaps in infinite periodic materials, they may appear as in-gap localized edge modes once the material is truncated to form a finite periodic structure. Here, we provide an analysis framework that reveals the topological origins of truncation resonances, elucidating formally the conditions that influence their existence and properties. Elastic beams wit… ▽ More While resonant modes do not exist within band gaps in infinite periodic materials, they may appear as in-gap localized edge modes once the material is truncated to form a finite periodic structure. Here, we provide an analysis framework that reveals the topological origins of truncation resonances, elucidating formally the conditions that influence their existence and properties. Elastic beams with sinusoidal and step-wise property modulations are considered as classical examples of periodic structures. Their non-trivial topological characteristics stem from the consideration of a phason parameter that produces spatial shifts of the property modulation while continuously varying how the boundaries are truncated. In this context, non-trivial band gaps are characterized by an integer topological invariant, the Chern number, which is equal to the number of truncation resonances that traverse a band gap as the phason is varied. We highlight the existence of multiple chiral edge states that may be localized at opposite boundaries, and illustrate how these can be independently tuned by modified boundary-specific phason parameters. Furthermore, we show that the frequency location of a truncation resonance is influenced by the modulation volume fraction, boundary conditions, and number of cells comprising the finite structure, thus quantifying its robustness to these factors. Non-topological in-gap resonances induced by a defect are also demonstrated, showing that these can be coupled with topological modes when the defect is located at an edge. Finally, experimental investigations on bi-material phononic-crystal beams are conducted to support these findings. The tunability of truncation resonances by material-property modulation may be exploited in applications ranging from vibration attenuation and thermal conductivity reduction to filtering and flow control by phononic subsurfaces. △ Less

Submitted 30 December, 2022; originally announced January 2023.

Journal ref: Physical Review Materials 7, 124201 (2023)

Web-based Database Courses E-Learning Application

Authors: Aaron Paul M. Dela Rosa, Luigi Miguel M. Villanueva, John Mardy R. San Miguel, John Emmanuel B. Quinto

Abstract: This study was focused on the development of a web e-learning application for the database courses taken by Information Technology (IT) students at the College of Information and Communications Technology (CICT) of Bulacan State University (BulSU). The research methodology used in this project was the cross-sectional developmental approach. The Agile Software Development methodology was followed p… ▽ More This study was focused on the development of a web e-learning application for the database courses taken by Information Technology (IT) students at the College of Information and Communications Technology (CICT) of Bulacan State University (BulSU). The research methodology used in this project was the cross-sectional developmental approach. The Agile Software Development methodology was followed phase by phase, up to the development phase, to develop the system. It was used to produce the desired output rapidly while allowing users to go back through phases without finishing the whole cycle. The goal of this study was to create a web application that teaches Structured Query Language (SQL) in both the MySQL and SQL Server approaches. The application contains quizzes and examinations to allow self-assessment of learning. Additionally, an Entity Relationship Diagram (ERD) simulation was included to provide ERD creations in a drag-and-drop fashion. This study was evaluated using ISO/IEC 25010 software quality evaluation criteria. The study's overall mean was 4.24, 4.41, and 4.33, all with the descriptive meaning of "Very Good," which showed that the system performed its necessary functions as perceived by students, faculty members, and experts, respectively. In summary, the e-learning web application for database courses was fully developed. Moreover, the entity-relationship diagram was integrated well within the system and is accessible to the users. Lastly, respondents evaluated the developed web application using the ISO/IEC 25010 with an overall descriptive interpretation of "Very Good." For future developments of the study, an administrator panel may be developed to manage users and do other administrative tasks. Lastly, higher-order thinking skills questions on assessments and quizzes may be included. △ Less

Submitted 23 November, 2022; originally announced December 2022.

Journal ref: International Journal of Computing Sciences Research (ISSN print: 2546-0552; ISSN online: 2546-115X) Vol. 6, August 20, 2022

Web-based Management Information System of Cases Filed with the National Labor Relations Commission

Authors: Aaron Paul M. Dela Rosa

Abstract: This study was developed to describe the daily operations and encountered problems of the National Labor Relations Commission Regional Arbitration Branch No. IV (NLRC RAB IV) through conducted observations and interviews. These problems were addressed and analyzed to be the features of the developed web-based management information system (MIS) for cases. The research methodology utilized in this… ▽ More This study was developed to describe the daily operations and encountered problems of the National Labor Relations Commission Regional Arbitration Branch No. IV (NLRC RAB IV) through conducted observations and interviews. These problems were addressed and analyzed to be the features of the developed web-based management information system (MIS) for cases. The research methodology utilized in this project was the descriptive developmental approach. The Agile Software Development methodology was followed to develop the system. It was used to quickly produce the desired output while allowing the user to go back through phases without finishing the whole cycle. The system covered managing filed complaints, Single-Entry Approach (SEnA), labor cases, and report generation. The findings, through the interview, of handling records were inconsistent and inaccurate. This study also focused on ensuring the Data Privacy Act of 2012, protecting the database's information using the XOR Cipher Algorithm. This study was evaluated using standard web evaluation criteria. Using the criteria, the study's overall mean was 4.27 and 4.43, with the descriptive meaning of Very Good, which showed that the system was accepted as perceived by experts and end-users, respectively. Management of filed cases is a vital process for the Commission. With that said, develo** a web-based management information system could ease the internal operations of handling and managing filed labor cases. Moreover, respondents and complainants can easily determine their filed cases' status using the case status tracking system. For further improvements to the system, additional printable documents may be added that could be found needed by the Commission. Lastly, further research about the effectiveness of the web-based system may be conducted for further enhancements of the system. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Journal ref: International Journal of Computing Sciences Research (ISSN print: 2546-0552; ISSN online: 2546-115X), Vol. 6, August 13, 2022

Effectiveness of an Online Course in Programming in a State University in the Philippines

Authors: Aaron Paul M. Dela Rosa

Abstract: Online courses, as a pedagogical approach to teaching, boomed during this Coronavirus Disease 2019 pandemic era. Universities shifted from traditional face to face classes to online distance learning due to the cause of the pandemic. This study aimed to determine how effective an online course is in learning a programming course. The study utilized mixed method research applied through a validated… ▽ More Online courses, as a pedagogical approach to teaching, boomed during this Coronavirus Disease 2019 pandemic era. Universities shifted from traditional face to face classes to online distance learning due to the cause of the pandemic. This study aimed to determine how effective an online course is in learning a programming course. The study utilized mixed method research applied through a validated survey questionnaire consisting of closed and open ended questions. Python programming was the course selected to undergo the study and underwent an evaluation to determine the students' responses. Student respondents are from Bulacan State University, a state university in the Philippines, under the Bachelor of Science in Information Technology program. Based on their responses, the students found that the online Python programming was Very Effective, with an overall mean of 4.49. This result shows that students found the online course effective, provided the proper course design and content, allowed them to spend enough time finishing tasks, and provided communication and interaction with their instructor and fellow students. Additionally, students gave overwhelmingly positive responses when asked what their instructors had done well on the course delivery and provided insightful and constructive comments for further enhancement and delivery of the course. This study found that most students strongly agreed and believed in the effectiveness of delivering the Python Programming course asynchronously. With such positive results from the student's perspective and evaluation, the course can be enhanced to continue providing quality education at Bulacan State University. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Journal ref: International Journal of Computing Sciences Research (ISSN print: 2546-0552; ISSN online: 2546-115X) Vol. 6, November 23, 2022

Mathematical Modeling of Leukemia Chemotherapy in Bone Marrow

Authors: Ana Niño-López, Salvador Chulián, Álvaro Martínez-Rubio, Cristina Blázquez-Goñi, María Rosa

Abstract: Acute Lymphoblastic Leukemia (ALL) accounts for the 80% of leukemias when coming down to pediatric ages. Survival of these patients has increased by a considerable amount in recent years. However, around 15-20% of treatments are unsuccessful. For this reason, it is definitely required to come up with new strategies to study and select which patients are at higher risk of relapse. Thus the importan… ▽ More Acute Lymphoblastic Leukemia (ALL) accounts for the 80% of leukemias when coming down to pediatric ages. Survival of these patients has increased by a considerable amount in recent years. However, around 15-20% of treatments are unsuccessful. For this reason, it is definitely required to come up with new strategies to study and select which patients are at higher risk of relapse. Thus the importance to monitor the amount of leukemic cells to predict relapses in the first treatment phase. In this work we develop a mathematical model describing the behavior of ALL, examining the evolution of a leukemic clone when treatment is applied. In the study of this model it can be observed how the risk of relapse is connected with the response in the first treatment phase. This model is able to simulate cell dynamics without treatment, representing a virtual patient bone marrow behavior. Furthermore, several parameters are related to treatment dynamics, therefore proposing a basis for future works regarding childhood ALL survival improvement. △ Less

Submitted 24 November, 2022; originally announced November 2022.

Comments: 20 pages and a supplementary information document

MSC Class: 92-10; 34A12 ACM Class: I.6.3; G.1.7

Quadrature Control-Bounded ADCs

Authors: Hampus Malmberg, Fredrik Feyling, Jose M de la Rosa

Abstract: In this paper, the design flexibility of the control-bounded analog-to-digital converter principle is demonstrated by considering band-pass analog-to-digital conversion. We show how a low-pass control-bounded analog-to-digital converter can be translated into a band-pass version where the guaranteed stability, converter bandwidth, and signal-to-noise ratio are preserved while the center frequency… ▽ More In this paper, the design flexibility of the control-bounded analog-to-digital converter principle is demonstrated by considering band-pass analog-to-digital conversion. We show how a low-pass control-bounded analog-to-digital converter can be translated into a band-pass version where the guaranteed stability, converter bandwidth, and signal-to-noise ratio are preserved while the center frequency for conversion can be positioned freely. The proposed converter is validated with behavioral simulations for a variety of filter orders, notch-filter frequencies, and oversampling ratios. Finally, robustness against component variations is demonstrated by Monte Carlo simulations. △ Less

Submitted 19 February, 2024; v1 submitted 12 November, 2022; originally announced November 2022.

Comments: 5 pages, 6 figures, submitted to ISCAS 2023

Journal ref: 2023 IEEE 66th International Midwest Symposium on Circuits and Systems (MWSCAS), Tempe, AZ, USA, 2023, pp. 380-384

Quantification of CO2 generation in sedimentary basins through Carbonate Clays Reactions with uncertain thermodynamic parameters

Authors: Giulia Ceriotti, Giovanni M Porta, Claudio Geloni, Matilde Dalla Rosa, Alberto Guadagnini

Abstract: We develop a methodological framework and mathematical formulation which yields estimates of the uncertainty associated with the amounts of CO2 generated by carbonate-clays reactions (CCR) in large-scale subsurface systems to assist characterization of the main features of this geochemical process. Our approach couples a one-dimensional compaction model, providing the dynamics of the evolution of… ▽ More We develop a methodological framework and mathematical formulation which yields estimates of the uncertainty associated with the amounts of CO2 generated by carbonate-clays reactions (CCR) in large-scale subsurface systems to assist characterization of the main features of this geochemical process. Our approach couples a one-dimensional compaction model, providing the dynamics of the evolution of porosity, temperature and pressure along the vertical direction, with a chemical model able to quantify the partial pressure of CO2 resulting from minerals and pore water interaction. The modeling framework we propose allows (i) estimating the depth at which the source of gases is located and (ii) quantifying the amount of CO2 generated, based on the mineralogy of the sediments involved in the basin formation process. A distinctive objective of the study is the quantification of the way the uncertainty affecting chemical equilibrium constants propagates to model outputs, i.e., the flux of CO2. These parameters are considered as key sources of uncertainty in our modeling approach because temperature and pressure distributions associated with deep burial depths typically fall outside the range of validity of commonly employed geochemical databases and typically used geochemical software. We also analyze the impact of the relative abundancy of primary phases in the sediments on the activation of CCR processes. As a test bed, we consider a computational study where pressure and temperature conditions are representative of those observed in real sedimentary formation. Our results are conducive to the probabilistic assessment of (i) the characteristic pressure and temperature at which CCR leads to generation of CO2 in sedimentary systems, (ii) the order of magnitude of the CO2 generation rate that can be associated with CCR processes. △ Less

Submitted 28 October, 2022; originally announced October 2022.

Journal ref: Geochimica et Cosmochimica Acta 213, 198-215 (2017)

Non-Hermitian acoustic waveguides with periodic electroacoustic feedback

Authors: Danilo Braghini, Vinicius D. de Lima, Danilo Beli, Matheus I. N. Rosa, José R. de F. Arruda

Abstract: In this work, we investigate non-Hermitian acoustic waveguides designed with periodically applied feedback efforts using electrodynamic actuators. One-dimensional spectral (infinite-dimensional) and finite element (finite-dimensional) models for plane acoustic waves in ducts are used. It is shown that dispersion diagrams of this family of metamaterials exhibit non-reciprocal imaginary frequency co… ▽ More In this work, we investigate non-Hermitian acoustic waveguides designed with periodically applied feedback efforts using electrodynamic actuators. One-dimensional spectral (infinite-dimensional) and finite element (finite-dimensional) models for plane acoustic waves in ducts are used. It is shown that dispersion diagrams of this family of metamaterials exhibit non-reciprocal imaginary frequency components, manifesting as wave attenuation or amplification along opposite directions for all pass bands. The effects of different feedback laws are investigated. Furthermore, the non-Hermitian skin effect manifesting as topological modes localized at the boundaries of finite domains is investigated and successfully predicted by the topology of the reciprocal space. This work extends previous numerical results obtained for a piezoelectric rod system and contributes to recent efforts in designing active metamaterials with novel properties associated with the physics of non-Hermitian systems, which may find fruitful technological applications related to noise control, wave localization, filtering and multiplexing. △ Less

Submitted 14 October, 2022; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: 40 pages, 22 figures

Supercyclic properties of extended eigenoperators of the differentiation operator on the space of entire functions

Authors: Manuel González, Fernando León-Saavedra, María Pilar Romero de la Rosa

Abstract: A continuous linear operator L defined on the space of entire functions H(C) is said to be an extended $lambda$-eigenoperator of the differentiation operator D provided DL = $lambda$LD. Here we fully characterize when an extended $lambda$-eigenoperator of D is supercyclic, it has a hypercyclic subspace or it has a supercyclic subspace. A continuous linear operator L defined on the space of entire functions H(C) is said to be an extended $lambda$-eigenoperator of the differentiation operator D provided DL = $lambda$LD. Here we fully characterize when an extended $lambda$-eigenoperator of D is supercyclic, it has a hypercyclic subspace or it has a supercyclic subspace. △ Less

Submitted 27 July, 2022; originally announced July 2022.

MSC Class: 47A16; 47B91

Spin-Orbit Proximity Effect in Bi/Co Multilayer: The Role of Interface Scattering

Authors: Arthur Casa Nova Nonnig, Alexandre da Cas Viegas, Fabiano Mesquita da Rosa, Paulo Pureur, Milton Andre Tumelero

Abstract: The Spin-Orbit Proximity Effect is the raise of Spin-Orbit Coupling at a layer near to the interface with a strong spin-orbit material. It has been seen in several system such as graphene and ferromagnetic layers. The control of the Spin-Orbit Coupling can be a pathway to discover novel and exotic phases in superconductor and semimetallic systems. Here, we study the magnetoelectrical transport, i.… ▽ More The Spin-Orbit Proximity Effect is the raise of Spin-Orbit Coupling at a layer near to the interface with a strong spin-orbit material. It has been seen in several system such as graphene and ferromagnetic layers. The control of the Spin-Orbit Coupling can be a pathway to discover novel and exotic phases in superconductor and semimetallic systems. Here, we study the magnetoelectrical transport, i.e., magnetoresistance and anomalous Hall effect, in Cobalt/Bismuth multilayers looking for traces of spin-orbit proximity effect and evaluate the origin of such effect. Our results point for an increase of Spontaneous Magnetic Anisotropy of Resistivity and Anomalous Hall Resistivity at very low thicknesses of Cobalt. The analysis of the Anomalous Hall Resisitivity indicate that the Bismuth layers change the scattering mechanism of Hall effect to the extrinsic skew-scattering type, indicating that the spin-orbit proximity effect could be related to the elastic scattering of cobalt free carriers by bismuth sites at the interface. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Comments: 6 pages, 4 figures

Monitoring Fog Computing: a Review, Taxonomy and Open Challenges

Authors: Breno Costa, Joao Bachiega Jr, Leonardo Reboucas de Carvalho, Michel Rosa, Aleteia Araujo

Abstract: Fog computing is a distributed paradigm that provides computational resources in the users' vicinity. Fog orchestration is a set of functionalities that coordinate the dynamic infrastructure and manage the services to guarantee the Service Level Agreements. Monitoring is an orchestration functionality of prime importance. It is the basis for resource management actions, collecting status of resour… ▽ More Fog computing is a distributed paradigm that provides computational resources in the users' vicinity. Fog orchestration is a set of functionalities that coordinate the dynamic infrastructure and manage the services to guarantee the Service Level Agreements. Monitoring is an orchestration functionality of prime importance. It is the basis for resource management actions, collecting status of resource and service and delivering updated data to the orchestrator. There are several cloud monitoring solutions and tools, but none of them comply with fog characteristics and challenges. Fog monitoring solutions are scarce, and they may not be prepared to compose an orchestration service. This paper updates the knowledge base about fog monitoring, assessing recent subjects in this context like observability, data standardization and instrumentation domains. We propose a novel taxonomy of fog monitoring solutions, supported by a systematic review of the literature. Fog monitoring proposals are analyzed and categorized by this new taxonomy, offering researchers a comprehensive overview. This work also highlights the main challenges and open research questions. △ Less

Submitted 16 June, 2022; v1 submitted 13 May, 2022; originally announced June 2022.

No Parameter Left Behind: How Distillation and Model Size Affect Zero-Shot Retrieval

Authors: Guilherme Moraes Rosa, Luiz Bonifacio, Vitor Jeronymo, Hugo Abonizio, Marzieh Fadaee, Roberto Lotufo, Rodrigo Nogueira

Abstract: Recent work has shown that small distilled language models are strong competitors to models that are orders of magnitude larger and slower in a wide range of information retrieval tasks. This has made distilled and dense models, due to latency constraints, the go-to choice for deployment in real-world retrieval applications. In this work, we question this practice by showing that the number of par… ▽ More Recent work has shown that small distilled language models are strong competitors to models that are orders of magnitude larger and slower in a wide range of information retrieval tasks. This has made distilled and dense models, due to latency constraints, the go-to choice for deployment in real-world retrieval applications. In this work, we question this practice by showing that the number of parameters and early query-document interaction play a significant role in the generalization ability of retrieval models. Our experiments show that increasing model size results in marginal gains on in-domain test sets, but much larger gains in new domains never seen during fine-tuning. Furthermore, we show that rerankers largely outperform dense ones of similar size in several tasks. Our largest reranker reaches the state of the art in 12 of the 18 datasets of the Benchmark-IR (BEIR) and surpasses the previous state of the art by 3 average points. Finally, we confirm that in-domain effectiveness is not a good indicator of zero-shot effectiveness. Code is available at https://github.com/guilhermemr04/scaling-zero-shot-retrieval.git △ Less

Submitted 12 December, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Billions of Parameters Are Worth More Than In-domain Training Data: A case study in the Legal Case Entailment Task

Authors: Guilherme Moraes Rosa, Luiz Bonifacio, Vitor Jeronymo, Hugo Abonizio, Roberto Lotufo, Rodrigo Nogueira

Abstract: Recent work has shown that language models scaled to billions of parameters, such as GPT-3, perform remarkably well in zero-shot and few-shot scenarios. In this work, we experiment with zero-shot models in the legal case entailment task of the COLIEE 2022 competition. Our experiments show that scaling the number of parameters in a language model improves the F1 score of our previous zero-shot resu… ▽ More Recent work has shown that language models scaled to billions of parameters, such as GPT-3, perform remarkably well in zero-shot and few-shot scenarios. In this work, we experiment with zero-shot models in the legal case entailment task of the COLIEE 2022 competition. Our experiments show that scaling the number of parameters in a language model improves the F1 score of our previous zero-shot result by more than 6 points, suggesting that stronger zero-shot capability may be a characteristic of larger models, at least for this task. Our 3B-parameter zero-shot model outperforms all models, including ensembles, in the COLIEE 2021 test set and also achieves the best performance of a single model in the COLIEE 2022 competition, second only to the ensemble composed of the 3B model itself and a smaller version of the same model. Despite the challenges posed by large language models, mainly due to latency constraints in real-time applications, we provide a demonstration of our zero-shot monoT5-3b model being used in production as a search engine, including for legal documents. The code for our submission and the demo of our system are available at https://github.com/neuralmind-ai/coliee and https://neuralsearchx.neuralmind.ai, respectively. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Why Do Banks Find Business Process Compliance So Challenging? An Australian Case Study

Authors: Nigel Adams, Adriano Augusto, Michael Davern, Marcello La Rosa

Abstract: Banks play an intrinsic role in any modern economy, recycling capital from savers to borrowers. They are heavily regulated and there have been a significant number of well publicized compliance failings in recent years. This is despite Business Process Compliance (BPC) being both a well researched domain in academia and one where significant progress has been made. This study seeks to determine wh… ▽ More Banks play an intrinsic role in any modern economy, recycling capital from savers to borrowers. They are heavily regulated and there have been a significant number of well publicized compliance failings in recent years. This is despite Business Process Compliance (BPC) being both a well researched domain in academia and one where significant progress has been made. This study seeks to determine why Australian banks find BPC so challenging. We interviewed 22 senior managers from a range of functions within the four major Australian banks to identify the key challenges. Not every process in every bank is facing the same issues, but in processes where a bank is particularly challenged to meet its compliance requirements, the same themes emerge. The compliance requirement load they bear is excessive, dynamic and complex. Fulfilling these requirements relies on impenetrable spaghetti processes, and the case for sustainable change remains elusive, locking banks into a fail-fix cycle that increases the underlying complexity. This paper proposes a conceptual framework that identifies and aggregates the challenges, and a circuit-breaker approach as an "off ramp" to the fail-fix cycle. △ Less

Submitted 24 March, 2022; originally announced March 2022.

Generalization in Automated Process Discovery: A Framework based on Event Log Patterns

Authors: Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa

Abstract: The importance of quality measures in process mining has increased. One of the key quality aspects, generalization, is concerned with measuring the degree of overfitting of a process model w.r.t. an event log, since the recorded behavior is just an example of the true behavior of the underlying business process. Existing generalization measures exhibit several shortcomings that severely hinder the… ▽ More The importance of quality measures in process mining has increased. One of the key quality aspects, generalization, is concerned with measuring the degree of overfitting of a process model w.r.t. an event log, since the recorded behavior is just an example of the true behavior of the underlying business process. Existing generalization measures exhibit several shortcomings that severely hinder their applicability in practice. For example, they assume the event log fully fits the discovered process model, and cannot deal with large real-life event logs and complex process models. More significantly, current measures neglect generalizations for clear patterns that demand a certain construct in the model. For example, a repeating sequence in an event log should be generalized with a loop structure in the model. We address these shortcomings by proposing a framework of measures that generalize a set of patterns discovered from an event log with representative traces and check the corresponding control-flow structures in the process model via their trace alignment. We instantiate the framework with a generalization measure that uses tandem repeats to identify repetitive patterns that are compared to the loop structures and a concurrency oracle to identify concurrent patterns that are compared to the parallel structures of the process model. In an extensive qualitative and quantitative evaluation using 74 log-model pairs using against two baseline generalization measures, we show that the proposed generalization measure consistently ranks process models that fulfil the observed patterns with generalizing control-flow structures higher than those which do not, while the baseline measures disregard those patterns. Further, we show that our measure can be efficiently computed for datasets two orders of magnitude larger than the largest dataset the baseline generalization measures can handle. △ Less

Submitted 26 March, 2022; originally announced March 2022.

Small-World Disordered Lattices: Spectral Gaps and Diffusive Transport

Authors: Matheus I. N. Rosa, Massimo Ruzzene

Abstract: We investigate the dynamic behavior of lattices with disorder introduced through non-local network connections. Inspired by the Watts-Strogatz small-world model, we employ a single parameter to determine the probability of local connections being re-wired, and to induce transitions between regular and disordered lattices. These connections are added as non-local springs to underlying periodic one-… ▽ More We investigate the dynamic behavior of lattices with disorder introduced through non-local network connections. Inspired by the Watts-Strogatz small-world model, we employ a single parameter to determine the probability of local connections being re-wired, and to induce transitions between regular and disordered lattices. These connections are added as non-local springs to underlying periodic one-dimensional (1D) and two-dimensional (2D) square, triangular and hexagonal lattices. Eigenmode computations illustrate the emergence of spectral gaps in various representative lattices for increasing degrees of disorder. These gaps manifest themselves as frequency ranges where the modal density goes to zero, or that are populated only by localized modes. In both cases, we observe low transmission levels of vibrations across the lattice. Overall, we find that these gaps are more pronounced for lattice topologies with lower connectivity, such as the 1D lattice or the 2D hexagonal lattice. We then illustrate that the disordered lattices undergo transitions from ballistic to super-diffusive or diffusive transport for increasing levels of disorder. These properties, illustrated through numerical simulations, unveil the potential for disorder in the form of non-local connections to enable additional functionalities for metamaterials. These include the occurrence of disorder-induced spectral gaps, which is relevant to frequency filtering devices, as well as the possibility to induce diffusive-type transport which does not occur in regular periodic materials, and that may find applications in dynamic stress mitigation. △ Less

Submitted 29 March, 2022; v1 submitted 19 March, 2022; originally announced March 2022.

A local boundedness result for a class of obstacle problems with non-standard growth conditions

Authors: Mariapia De Rosa, Antonio Giuseppe Grimaldi

Abstract: We prove the local boundedness for solutions to a class of obstacle problems with non-standard growth conditions. The novelty here is that we are able to establish the local boundedness under a sharp bound on the gap between the growth exponents. We prove the local boundedness for solutions to a class of obstacle problems with non-standard growth conditions. The novelty here is that we are able to establish the local boundedness under a sharp bound on the gap between the growth exponents. △ Less

Submitted 26 February, 2022; originally announced February 2022.

To Tune or Not To Tune? Zero-shot Models for Legal Case Entailment

Authors: Guilherme Moraes Rosa, Ruan Chaves Rodrigues, Roberto de Alencar Lotufo, Rodrigo Nogueira

Abstract: There has been mounting evidence that pretrained language models fine-tuned on large and diverse supervised datasets can transfer well to a variety of out-of-domain tasks. In this work, we investigate this transfer ability to the legal domain. For that, we participated in the legal case entailment task of COLIEE 2021, in which we use such models with no adaptations to the target domain. Our submis… ▽ More There has been mounting evidence that pretrained language models fine-tuned on large and diverse supervised datasets can transfer well to a variety of out-of-domain tasks. In this work, we investigate this transfer ability to the legal domain. For that, we participated in the legal case entailment task of COLIEE 2021, in which we use such models with no adaptations to the target domain. Our submissions achieved the highest scores, surpassing the second-best team by more than six percentage points. Our experiments confirm a counter-intuitive result in the new paradigm of pretrained language models: given limited labeled data, models with little or no adaptation to the target task can be more robust to changes in the data distribution than models fine-tuned on it. Code is available at https://github.com/neuralmind-ai/coliee. △ Less

Submitted 7 February, 2022; originally announced February 2022.

AI-Augmented Business Process Management Systems: A Research Manifesto

Authors: Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber

Abstract: AI-Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology. An ABPMS enhances the execution of business processes with the aim of making these processes more adaptable, proactive, explainable, and context-sensitive. This manifesto presents a vision for ABPMSs and discusses research challenges that nee… ▽ More AI-Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology. An ABPMS enhances the execution of business processes with the aim of making these processes more adaptable, proactive, explainable, and context-sensitive. This manifesto presents a vision for ABPMSs and discusses research challenges that need to be surmounted to realize this vision. To this end, we define the concept of ABPMS, we outline the lifecycle of processes within an ABPMS, we discuss core characteristics of an ABPMS, and we derive a set of challenges to realize systems with these characteristics. △ Less

Submitted 4 November, 2022; v1 submitted 30 January, 2022; originally announced January 2022.

Comments: 19 pages, 1 figure

Journal ref: ACM Transactions on Management Information Systems, 31 January 2023 Volume 14, Issue 1, Article No.: 11, pp 1-19

Wave beaming and diffraction in quasicrystalline elastic metamaterial plates

Authors: Danilo Beli, Matheus Inguaggiato Nora Rosa, Carlos De Marqui Jr., Massimo Ruzzene

Abstract: In this paper, we present numerical and experimental evidence of directional wave behavior, i.e. beaming and diffraction, along high-order rotational symmetries of quasicrystalline elastic metamaterial plates. These structures are obtained by growing pillars on an elastic plate following a particular rotational symmetry arrangement, such as 8-fold and 10-fold rotational symmetries, as enforced by… ▽ More In this paper, we present numerical and experimental evidence of directional wave behavior, i.e. beaming and diffraction, along high-order rotational symmetries of quasicrystalline elastic metamaterial plates. These structures are obtained by growing pillars on an elastic plate following a particular rotational symmetry arrangement, such as 8-fold and 10-fold rotational symmetries, as enforced by a design procedure in reciprocal space. We estimate the dispersion properties of the waves propagating in the plates through Fourier transformation of transient wave-fields. The procedure identifies, both numerically and experimentally, the existence of anisotropic bands characterized by high energy density at isolated regions in reciprocal space that follow their higher order rotational symmetry. Specific directional behavior is showcased at the identified frequency bands, such as wave beaming and diffraction. This work expands the wave directionality phenomena beyond the symmetries of periodic configurations (e.g., 4-fold and 6-fold), and opens new possibilities for applications involving the unusual high-order wave features of the quasicrystals such as superior guiding, focusing, sensing and imaging. △ Less

Submitted 28 January, 2022; originally announced January 2022.

Amplitude-dependent edge states and discrete breathers in nonlinear modulated phononic lattices

Authors: Matheus I. N. Rosa, Michael J. Leamy, Massimo Ruzzene

Abstract: We investigate the spectral properties of one-dimensional spatially modulated nonlinear phononic lattices, and their evolution as a function of amplitude. In the linear regime, the stiffness modulations define a family of periodic and quasiperiodic lattices whose bandgaps host topological edge states localized at the boundaries of finite domains. With cubic nonlinearities, we show that edge states… ▽ More We investigate the spectral properties of one-dimensional spatially modulated nonlinear phononic lattices, and their evolution as a function of amplitude. In the linear regime, the stiffness modulations define a family of periodic and quasiperiodic lattices whose bandgaps host topological edge states localized at the boundaries of finite domains. With cubic nonlinearities, we show that edge states whose eigenvalue branch remains within the gap as amplitude increases remain localized, and therefore appear to be robust with respect to amplitude. In contrast, edge states whose corresponding branch approaches the bulk bands experience de-localization transitions. These transitions are predicted through continuation studies on the linear eigenmodes as a function of amplitude, and are confirmed by direct time domain simulations on finite lattices. Through our predictions, we also observe a series of amplitude-induced localization transitions as the bulk modes detach from the nonlinear bulk bands and become discrete breathers that are localized in one or more regions of the domain. Remarkably, the predicted transitions are independent of the size of the finite lattice, and exist for both periodic and quasiperiodic lattices. These results highlight the co-existence of topological edge states and discrete breathers in nonlinear modulated lattices. Their interplay may be exploited for amplitude-induced eigenstate transitions, for the assessment of the robustness of localized states, and as a strategy to induce discrete breathers through amplitude tuning. △ Less

Submitted 4 May, 2023; v1 submitted 14 January, 2022; originally announced January 2022.

A novel hotspot of gelsolin instability and aggregation propensity triggers a new mechanism of amyloidosis

Authors: Michela Bollati, Luisa Diomede, Toni Giorgino, Carmina Natale, Elisa Fagnani, Irene Boniardi, Alberto Barbiroli, Rebecca Alemani, Marten Beeg, Marco Gobbi, Ana Fakin, Eloise Mastrangelo, Mario Milani, Gianluca Presciuttini, Edi Gabellieri, Patrizia Cioni, Matteo de Rosa

Abstract: The multidomain protein gelsolin (GSN) is composed of six homologous modules, sequentially named G1 to G6. Single point substitutions in this protein are responsible for AGel amyloidosis, a hereditary disease characterized by progressive corneal lattice dystrophy, cutis laxa, and polyneuropathy. Several different amyloidogenic variants of GSN have been identified over the years, but only the most… ▽ More The multidomain protein gelsolin (GSN) is composed of six homologous modules, sequentially named G1 to G6. Single point substitutions in this protein are responsible for AGel amyloidosis, a hereditary disease characterized by progressive corneal lattice dystrophy, cutis laxa, and polyneuropathy. Several different amyloidogenic variants of GSN have been identified over the years, but only the most common D187N/Y mutants, in G2, have been thoroughly characterized, and the underlying functional mechanistic link between mutation, altered protein structure, susceptibility to aberrant furin cleavage and aggregative potential resolved. Little is known about the recently identified mutations A551P, E553K and M517R hosted at the interface between G4 and G5, whose aggregation process likely follows an alternative pathway. We demonstrate that these three substitutions impair temperature and pressure stability of GSN but do not increase its susceptibility to furin cleavage, the first event of the canonical aggregation pathway. The variants are also characterized by a higher tendency to aggregate in the unproteolysed forms and show a higher proteotoxicity in a C. elegans-based assay. Structural studies point to a destabilization of the interface between G4 and G5 due to three different structural determinants: beta-strand breaking, steric hindrance and/or charge repulsion, all implying the impairment of interdomain contacts. All available evidence suggests that the rearrangement of the protein global architecture triggers a furin-independent aggregation of the protein, supporting the existence of a non-canonical pathway of gelsolin amyloidosis pathogenesis. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: main: 28 pages, 7 figures; supplementary: 11 pages, 6 figures

Packaging research artefacts with RO-Crate

Authors: Stian Soiland-Reyes, Peter Sefton, Mercè Crosas, Leyla Jael Castro, Frederik Coppens, José M. Fernández, Daniel Garijo, Björn Grüning, Marco La Rosa, Simone Leo, Eoghan Ó Carragáin, Marc Portier, Ana Trisovic, RO-Crate Community, Paul Groth, Carole Goble

Abstract: An increasing number of researchers support reproducibility by including pointers to and descriptions of datasets, software and methods in their publications. However, scientific articles may be ambiguous, incomplete and difficult to process by automated systems. In this paper we introduce RO-Crate, an open, community-driven, and lightweight approach to packaging research artefacts along with thei… ▽ More An increasing number of researchers support reproducibility by including pointers to and descriptions of datasets, software and methods in their publications. However, scientific articles may be ambiguous, incomplete and difficult to process by automated systems. In this paper we introduce RO-Crate, an open, community-driven, and lightweight approach to packaging research artefacts along with their metadata in a machine readable manner. RO-Crate is based on Schema$.$org annotations in JSON-LD, aiming to establish best practices to formally describe metadata in an accessible and practical way for their use in a wide variety of situations. An RO-Crate is a structured archive of all the items that contributed to a research outcome, including their identifiers, provenance, relations and annotations. As a general purpose packaging approach for data and their metadata, RO-Crate is used across multiple areas, including bioinformatics, digital humanities and regulatory sciences. By applying "just enough" Linked Data standards, RO-Crate simplifies the process of making research outputs FAIR while also enhancing research reproducibility. An RO-Crate for this article is available at https://w3id.org/ro/doi/10.5281/zenodo.5146227 △ Less

Submitted 6 December, 2021; v1 submitted 14 August, 2021; originally announced August 2021.

Comments: 44 pages. Accepted for Data Science

ACM Class: H.1.1; H.3.2

Journal ref: Data Science 2022

The transverse field XY model on the diamond chain

Authors: Sérgio Mikael V. S. Rosa, José Pimentel de Lima, Natanael C. Costa, Lindberg Lima Gonçalves

Abstract: We consider the $s=1/2$ transverse field $XY$ model on the frustrated diamond chain, considering anisotropic exchange parameters between nearest-neighbor spins. To this end, we employ three different methodologies: mean-field approximations, and state-of-the-art exact diagonalizations (ED), and density matrix renormalization group (DMRG) simulations. Within a mean-field theory, the Hamiltonian is… ▽ More We consider the $s=1/2$ transverse field $XY$ model on the frustrated diamond chain, considering anisotropic exchange parameters between nearest-neighbor spins. To this end, we employ three different methodologies: mean-field approximations, and state-of-the-art exact diagonalizations (ED), and density matrix renormalization group (DMRG) simulations. Within a mean-field theory, the Hamiltonian is fermionized by introducing the Jordan-Wigner transformation, and the interacting (many-body) terms are approximated to single-particle ones by a Hartree-Fock approach. We analyze the behavior of the induced and spontaneous magnetization as functions of the external field, investigating the magnetic properties at the ground state, and at finite temperatures. Interestingly, the mean-field results are in reasonable agreement with the ED and DMRG ones, in particular for the distorted chain, or at an intermediate/large spin anisotropy parameter. As our key results, we present phase diagrams anisotropy $\times$ magnetic field at zero temperature, discussing the emergence of phases and their quantum critical points. Finally, our analysis at finite temperature provides a range of parameters in which an unusual behavior of the induced magnetization occurs -- with it increasing as a function of temperature. This work presents a \textit{global} picture of the XY model on the diamond chain, which may be useful to understand features of magnetism in more complex geometries. △ Less

Submitted 9 August, 2021; originally announced August 2021.

Comments: 10 pages, 9 figures

Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory

Authors: Anna Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa

Abstract: State-of-the-art process discovery methods construct free-choice process models from event logs. Consequently, the constructed models do not take into account indirect dependencies between events. Whenever the input behaviour is not free-choice, these methods fail to provide a precise model. In this paper, we propose a novel approach for enhancing free-choice process models by adding non-free-choi… ▽ More State-of-the-art process discovery methods construct free-choice process models from event logs. Consequently, the constructed models do not take into account indirect dependencies between events. Whenever the input behaviour is not free-choice, these methods fail to provide a precise model. In this paper, we propose a novel approach for enhancing free-choice process models by adding non-free-choice constructs discovered a-posteriori via region-based techniques. This allows us to benefit from the performance of existing process discovery methods and the accuracy of the employed fundamental synthesis techniques. We prove that the proposed approach preserves fitness with respect to the event log while improving the precision when indirect dependencies exist. The approach has been implemented and tested on both synthetic and real-life datasets. The results show its effectiveness in repairing models discovered from event logs. △ Less

Submitted 13 December, 2021; v1 submitted 26 June, 2021; originally announced June 2021.

Journal ref: Fundamenta Informaticae, Volume 183, Issues 3-4: Petri Nets 2020 (December 23, 2021) fi:7634

Discovering executable routine specifications from user interaction logs

Authors: Volodymyr Leno, Adriano Augusto, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi, Artem Polyvyanyy

Abstract: Robotic Process Automation (RPA) is a technology to automate routine work such as copying data across applications or filling in document templates using data from multiple applications. RPA tools allow organizations to automate a wide range of routines. However, identifying and sco** routines that can be automated using RPA tools is time consuming. Manual identification of candidate routines vi… ▽ More Robotic Process Automation (RPA) is a technology to automate routine work such as copying data across applications or filling in document templates using data from multiple applications. RPA tools allow organizations to automate a wide range of routines. However, identifying and sco** routines that can be automated using RPA tools is time consuming. Manual identification of candidate routines via interviews, walk-throughs, or job shadowing allow analysts to identify the most visible routines, but these methods are not suitable when it comes to identifying the long tail of routines in an organization. This article proposes an approach to discover automatable routines from logs of user interactions with IT systems and to synthesize executable specifications for such routines. The approach starts by discovering frequent routines at a control-flow level (candidate routines). It then determines which of these candidate routines are automatable and it synthetizes an executable specification for each such routine. Finally, it identifies semantically equivalent routines so as to produce a set of non-redundant automatable routines. The article reports on an evaluation of the approach using a combination of synthetic and real-life logs. The evaluation results show that the approach can discover automatable routines that are known to be present in a UI log, and that it identifies automatable routines that users recognize as such in real-life logs. △ Less

Submitted 25 June, 2021; originally announced June 2021.

Comments: 41 pages, 6 figures, 10 tables. arXiv admin note: text overlap with arXiv:2008.05782

Prescriptive Process Monitoring for Cost-Aware Cycle Time Reduction

Authors: Zahra Dasht Bozorgi, Irene Teinemaa, Marlon Dumas, Marcello La Rosa, Artem Polyvyanyy

Abstract: Reducing cycle time is a recurrent concern in the field of business process management. Depending on the process, various interventions may be triggered to reduce the cycle time of a case, for example, using a faster ship** service in an order-to-delivery process or giving a phone call to a customer to obtain missing information rather than waiting passively. Each of these interventions comes wi… ▽ More Reducing cycle time is a recurrent concern in the field of business process management. Depending on the process, various interventions may be triggered to reduce the cycle time of a case, for example, using a faster ship** service in an order-to-delivery process or giving a phone call to a customer to obtain missing information rather than waiting passively. Each of these interventions comes with a cost. This paper tackles the problem of determining if and when to trigger a time-reducing intervention in a way that maximizes the total net gain. The paper proposes a prescriptive process monitoring method that uses orthogonal random forest models to estimate the causal effect of triggering a time-reducing intervention for each ongoing case of a process. Based on this causal effect estimate, the method triggers interventions according to a user-defined policy. The method is evaluated on two real-life logs. △ Less

Submitted 14 September, 2021; v1 submitted 14 May, 2021; originally announced May 2021.

A cost-benefit analysis of cross-lingual transfer methods

Authors: Guilherme Moraes Rosa, Luiz Henrique Bonifacio, Leandro Rodrigues de Souza, Roberto Lotufo, Rodrigo Nogueira

Abstract: An effective method for cross-lingual transfer is to fine-tune a bilingual or multilingual model on a supervised dataset in one language and evaluating it on another language in a zero-shot manner. Translating examples at training time or inference time are also viable alternatives. However, there are costs associated with these methods that are rarely addressed in the literature. In this work, we… ▽ More An effective method for cross-lingual transfer is to fine-tune a bilingual or multilingual model on a supervised dataset in one language and evaluating it on another language in a zero-shot manner. Translating examples at training time or inference time are also viable alternatives. However, there are costs associated with these methods that are rarely addressed in the literature. In this work, we analyze cross-lingual methods in terms of their effectiveness (e.g., accuracy), development and deployment costs, as well as their latencies at inference time. Our experiments on three tasks indicate that the best cross-lingual method is highly task-dependent. Finally, by combining zero-shot and translation methods, we achieve the state-of-the-art in two of the three datasets used in this work. Based on these results, we question the need for manually labeled training data in a target language. Code and translated datasets are available at https://github.com/unicamp-dl/cross-lingual-analysis △ Less

Submitted 14 December, 2021; v1 submitted 14 May, 2021; originally announced May 2021.

Automated Discovery of Process Models with True Concurrency and Inclusive Choices

Authors: Adriano Augusto, Marlon Dumas, Marcello La Rosa

Abstract: Enterprise information systems allow companies to maintain detailed records of their business process executions. These records can be extracted in the form of event logs, which capture the execution of activities across multiple instances of a business process. Event logs may be used to analyze business processes at a fine level of detail using process mining techniques. Among other things, proce… ▽ More Enterprise information systems allow companies to maintain detailed records of their business process executions. These records can be extracted in the form of event logs, which capture the execution of activities across multiple instances of a business process. Event logs may be used to analyze business processes at a fine level of detail using process mining techniques. Among other things, process mining techniques allow us to discover a process model from an event log -- an operation known as automated process discovery. Despite a rich body of research in the field, existing automated process discovery techniques do not fully capture the concurrency inherent in a business process. Specifically, the bulk of these techniques treat two activities A and B as concurrent if sometimes A completes before B and other times B completes before A. Typically though, activities in a business process are executed in a true concurrency setting, meaning that two or more activity executions overlap temporally. This paper addresses this gap by presenting a refined version of an automated process discovery technique, namely Split Miner, that discovers true concurrency relations from event logs containing start and end timestamps for each activity. The proposed technique is also able to differentiate between exclusive and inclusive choices. We evaluate the proposed technique relative to existing baselines using 11 real-life logs drawn from different industries. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Yes, BM25 is a Strong Baseline for Legal Case Retrieval

Authors: Guilherme Moraes Rosa, Ruan Chaves Rodrigues, Roberto Lotufo, Rodrigo Nogueira

Abstract: We describe our single submission to task 1 of COLIEE 2021. Our vanilla BM25 got second place, well above the median of submissions. Code is available at https://github.com/neuralmind-ai/coliee. We describe our single submission to task 1 of COLIEE 2021. Our vanilla BM25 got second place, well above the median of submissions. Code is available at https://github.com/neuralmind-ai/coliee. △ Less

Submitted 25 October, 2021; v1 submitted 26 April, 2021; originally announced May 2021.

Bootstrap** of memetic from genetic evolution via inter-agent selection pressures

Authors: Nicholas Guttenberg, Marek Rosa

Abstract: We create an artificial system of agents (attention-based neural networks) which selectively exchange messages with each-other in order to study the emergence of memetic evolution and how memetic evolutionary pressures interact with genetic evolution of the network weights. We observe that the ability of agents to exert selection pressures on each-other is essential for memetic evolution to bootst… ▽ More We create an artificial system of agents (attention-based neural networks) which selectively exchange messages with each-other in order to study the emergence of memetic evolution and how memetic evolutionary pressures interact with genetic evolution of the network weights. We observe that the ability of agents to exert selection pressures on each-other is essential for memetic evolution to bootstrap itself into a state which has both high-fidelity replication of memes, as well as continuing production of new memes over time. However, in this system there is very little interaction between this memetic 'ecology' and underlying tasks driving individual fitness - the emergent meme layer appears to be neither helpful nor harmful to agents' ability to learn to solve tasks. Sourcecode for these experiments is available at https://github.com/GoodAI/memes △ Less

Submitted 7 April, 2021; originally announced April 2021.

Comments: 9 pages, 3 figures, submitted to ALife 2021