-
Assisted Debate Builder with Large Language Models
Authors:
Elliot Faugier,
Frédéric Armetta,
Angela Bonifati,
Bruno Yun
Abstract:
We introduce ADBL2, an assisted debate builder tool. It is based on the capability of large language models to generalise and perform relation-based argument mining in a wide-variety of domains. It is the first open-source tool that leverages relation-based mining for (1) the verification of pre-established relations in a debate and (2) the assisted creation of new arguments by means of large lang…
▽ More
We introduce ADBL2, an assisted debate builder tool. It is based on the capability of large language models to generalise and perform relation-based argument mining in a wide-variety of domains. It is the first open-source tool that leverages relation-based mining for (1) the verification of pre-established relations in a debate and (2) the assisted creation of new arguments by means of large language models. ADBL2 is highly modular and can work with any open-source large language models that are used as plugins. As a by-product, we also provide the first fine-tuned Mistral-7B large language model for relation-based argument mining, usable by ADBL2, which outperforms existing approaches for this task with an overall F1-score of 90.59% across all domains.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Edge-Enabled Real-time Railway Track Segmentation
Authors:
Chen Chenglin,
Wang Fei,
Yang Min,
Qin Yong,
Bai Yun
Abstract:
Accurate and rapid railway track segmentation can assist automatic train driving and is a key step in early warning to fixed or moving obstacles on the railway track. However, certain existing algorithms tailored for track segmentation often struggle to meet the requirements of real-time and efficiency on resource-constrained edge devices. Considering this challenge, we propose an edge-enabled rea…
▽ More
Accurate and rapid railway track segmentation can assist automatic train driving and is a key step in early warning to fixed or moving obstacles on the railway track. However, certain existing algorithms tailored for track segmentation often struggle to meet the requirements of real-time and efficiency on resource-constrained edge devices. Considering this challenge, we propose an edge-enabled real-time railway track segmentation algorithm, which is optimized to be suitable for edge applications by optimizing the network structure and quantizing the model after training. Initially, Ghost convolution is introduced to reduce the complexity of the backbone, thereby achieving the extraction of key information of the interested region at a lower cost. To further reduce the model complexity and calculation, a new lightweight detection head is proposed to achieve the best balance between accuracy and efficiency. Subsequently, we introduce quantization techniques to map the model's floating-point weights and activation values into lower bit-width fixed-point representations, reducing computational demands and memory footprint, ultimately accelerating the model's inference. Finally, we draw inspiration from GPU parallel programming principles to expedite the pre-processing and post-processing stages of the algorithm by doing parallel processing. The approach is evaluated with public and challenging dataset RailSem19 and tested on Jetson Nano. Experimental results demonstrate that our enhanced algorithm achieves an accuracy level of 83.3% while achieving a real-time inference rate of 25 frames per second when the input size is 480x480, thereby effectively meeting the requirements for real-time and high-efficiency operation.
△ Less
Submitted 21 January, 2024;
originally announced January 2024.
-
Abstract Weighted Based Gradual Semantics in Argumentation Theory
Authors:
Assaf Libman,
Nir Oren,
Bruno Yun
Abstract:
Weighted gradual semantics provide an acceptability degree to each argument representing the strength of the argument, computed based on factors including background evidence for the argument, and taking into account interactions between this argument and others. We introduce four important problems linking gradual semantics and acceptability degrees. First, we reexamine the inverse problem, seeki…
▽ More
Weighted gradual semantics provide an acceptability degree to each argument representing the strength of the argument, computed based on factors including background evidence for the argument, and taking into account interactions between this argument and others. We introduce four important problems linking gradual semantics and acceptability degrees. First, we reexamine the inverse problem, seeking to identify the argument weights of the argumentation framework which lead to a specific final acceptability degree. Second, we ask whether the function map** between argument weights and acceptability degrees is injective or a homeomorphism onto its image. Third, we ask whether argument weights can be found when preferences, rather than acceptability degrees for arguments are considered. Fourth, we consider the topology of the space of valid acceptability degrees, asking whether "gaps" exist in this space. While different gradual semantics have been proposed in the literature, in this paper, we identify a large family of weighted gradual semantics, called abstract weighted based gradual semantics. These generalise many of the existing semantics while maintaining desirable properties such as convergence to a unique fixed point. We also show that a sub-family of the weighted gradual semantics, called abstract weighted (L^p,λ,μ)-based gradual semantics and which include well-known semantics, solve all four of the aforementioned problems.
△ Less
Submitted 30 May, 2024; v1 submitted 21 January, 2024;
originally announced January 2024.
-
Revealing the spectral state transition of the Clocked Burster, GS 1826-238 with NuSTAR StrayCats
Authors:
S. B. Yun,
B. W. Grefenstette,
R. M. Ludlam,
M. C. Brumback,
D. J. K. Buisson,
G. Mastroserio,
S. N. Pike
Abstract:
We present the long term analysis of GS 1826-238, a neutron star X-ray binary known as the "Clocked Burster", using data from NuSTAR StrayCats. StrayCats, a catalogue of NuSTAR stray light data, contains data from bright, off-axis X-ray sources that have not been focused by the NuSTAR optics. We obtained stray light observations of the source from 2014-2021, reduced and analyzed the data using nus…
▽ More
We present the long term analysis of GS 1826-238, a neutron star X-ray binary known as the "Clocked Burster", using data from NuSTAR StrayCats. StrayCats, a catalogue of NuSTAR stray light data, contains data from bright, off-axis X-ray sources that have not been focused by the NuSTAR optics. We obtained stray light observations of the source from 2014-2021, reduced and analyzed the data using nustar-gen-utils Python tools, demonstrating the transition of source from the "island" atoll state to a "banana" branch. We also present the lightcurve analysis of Type I X-Ray bursts from the Clocked Burster and show that the bursts from the banana/soft state are systematically shorter in durations than those from the island/hard state and have a higher burst fluence. From our analysis, we note an increase in mass accretion rate of the source, and a decrease in burst frequency with the transition.
△ Less
Submitted 27 January, 2023; v1 submitted 10 December, 2022;
originally announced December 2022.
-
Inferring Attack Relations for Gradual Semantics
Authors:
Nir Oren,
Bruno Yun
Abstract:
A gradual semantics takes a weighted argumentation framework as input and outputs a final acceptability degree for each argument, with different semantics performing the computation in different manners. In this work, we consider the problem of attack inference. That is, given a gradual semantics, a set of arguments with associated initial weights, and the final desirable acceptability degrees ass…
▽ More
A gradual semantics takes a weighted argumentation framework as input and outputs a final acceptability degree for each argument, with different semantics performing the computation in different manners. In this work, we consider the problem of attack inference. That is, given a gradual semantics, a set of arguments with associated initial weights, and the final desirable acceptability degrees associated with each argument, we seek to determine whether there is a set of attacks on those arguments such that we can obtain these acceptability degrees. The main contribution of our work is to demonstrate that the associated decision problem, i.e., whether a set of attacks can exist which allows the final acceptability degrees to occur for given initial weights, is NP-complete for the weighted h-categoriser and cardinality-based semantics, and is polynomial for the weighted max-based semantics, even for the complete version of the problem (where all initial weights and final acceptability degrees are known). We then briefly discuss how this decision problem can be modified to find the attacks themselves and conclude by examining the partial problem where not all initial weights or final acceptability degrees may be known.
△ Less
Submitted 8 February, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Extreme X-ray Reflection in the Nucleus of the Seyfert Galaxy NGC 5033
Authors:
S. B. Yun,
J. M. Miller,
D. Barret,
D. Stern,
W. N. Brandt,
L. Brenneman,
P. Draghis,
A. C. Fabian,
J. Raymond,
A. Zoghbi
Abstract:
NGC 5033 is an intriguing Seyfert galaxy because its sub-classification may change with time, and because optical and sub-mm observations find that the massive black hole does not sit at the dynamical center of the galaxy, pointing to a past merger. We obtained a new optical spectrum of NGC 5033 using the 200'' Hale telescope at Palomar that clearly reveals a broad H$β$ line (FWHM…
▽ More
NGC 5033 is an intriguing Seyfert galaxy because its sub-classification may change with time, and because optical and sub-mm observations find that the massive black hole does not sit at the dynamical center of the galaxy, pointing to a past merger. We obtained a new optical spectrum of NGC 5033 using the 200'' Hale telescope at Palomar that clearly reveals a broad H$β$ line (FWHM$=5400\pm 300~{\rm km}~{\rm s}^{-1}$). This signals a clear view of the optical broad line region (BLR) and requires Seyfert-1.5 designation. Some spectra obtained in the past suggest a Seyfert-1.9 classification, potentially signaling a variable or "changing-look" geometry. Our analysis of a 2019 Chandra spectrum of the massive black hole reveals very little obscuration, also suggesting a clean view of the central engine. However, the narrow Fe~K$α$ emission line is measured to have an equivalent with of EW$=460^{+100}_{-90}$~eV. This value is extremely high compared to typical values in unobscured AGN. Indeed, the line is persistently strong in NGC 5033: the line equivalent width in a 2002 XMM-Newton snapshot is EW$=250^{+40}_{-40}$~eV, similar to the EW$=290^{+100}_{-100}$~eV equivalent width measured using ASCA in 1999. These results can likely be explained through a combination of an unusually high covering factor for reflection, and fluxes that are seen out of phase owing to light travel times. We examine the possibility that NGC 5033 may strengthen evidence for the X-ray Baldwin effect.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Utility Functions for Human/Robot Interaction
Authors:
Bruno Yun,
Nir Oren,
Madalina Croitoru
Abstract:
In this paper, we place ourselves in the context of human robot interaction and address the problem of cognitive robot modelling. More precisely we are investigating properties of a utility-based model that will govern a robot's actions. The novelty of this approach lies in embedding the responsibility of the robot over the state of affairs into the utility model via a utility aggregation function…
▽ More
In this paper, we place ourselves in the context of human robot interaction and address the problem of cognitive robot modelling. More precisely we are investigating properties of a utility-based model that will govern a robot's actions. The novelty of this approach lies in embedding the responsibility of the robot over the state of affairs into the utility model via a utility aggregation function. We describe desiderata for such a function and consider related properties.
△ Less
Submitted 8 April, 2022;
originally announced April 2022.
-
Analytical Solutions for the Inverse Problem within Gradual Semantics
Authors:
Nir Oren,
Bruno Yun,
Assaf Libman,
Murilo S. Baptista
Abstract:
Gradual semantics within abstract argumentation associate a numeric score with every argument in a system, which represents the level of acceptability of this argument, and from which a preference ordering over arguments can be derived. While some semantics operate over standard argumentation frameworks, many utilise a weighted framework, where a numeric initial weight is associated with each argu…
▽ More
Gradual semantics within abstract argumentation associate a numeric score with every argument in a system, which represents the level of acceptability of this argument, and from which a preference ordering over arguments can be derived. While some semantics operate over standard argumentation frameworks, many utilise a weighted framework, where a numeric initial weight is associated with each argument. Recent work has examined the inverse problem within gradual semantics. Rather than determining a preference ordering given an argumentation framework and a semantics, the inverse problem takes an argumentation framework, a gradual semantics, and a preference ordering as inputs, and identifies what weights are needed to over arguments in the framework to obtain the desired preference ordering. Existing work has attacked the inverse problem numerically, using a root finding algorithm (the bisection method) to identify appropriate initial weights. In this paper we demonstrate that for a class of gradual semantics, an analytical approach can be used to solve the inverse problem. Unlike the current state-of-the-art, such an analytic approach can rapidly find a solution, and is guaranteed to do so. In obtaining this result, we are able to prove several important properties which previous work had posed as conjectures.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
The Inverse Problem for Argumentation Gradual Semantics
Authors:
Nir Oren,
Bruno Yun,
Srdjan Vesic,
Murilo Baptista
Abstract:
Gradual semantics with abstract argumentation provide each argument with a score reflecting its acceptability, i.e. how "much" it is attacked by other arguments. Many different gradual semantics have been proposed in the literature, each following different principles and producing different argument rankings. A sub-class of such semantics, the so-called weighted semantics, takes, in addition to t…
▽ More
Gradual semantics with abstract argumentation provide each argument with a score reflecting its acceptability, i.e. how "much" it is attacked by other arguments. Many different gradual semantics have been proposed in the literature, each following different principles and producing different argument rankings. A sub-class of such semantics, the so-called weighted semantics, takes, in addition to the graph structure, an initial set of weights over the arguments as input, with these weights affecting the resultant argument ranking. In this work, we consider the inverse problem over such weighted semantics. That is, given an argumentation framework and a desired argument ranking, we ask whether there exist initial weights such that a particular semantics produces the given ranking. The contribution of this paper are: (1) an algorithm to answer this problem, (2) a characterisation of the properties that a gradual semantics must satisfy for the algorithm to operate, and (3) an empirical evaluation of the proposed algorithm.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
SpecTr: Spectral Transformer for Hyperspectral Pathology Image Segmentation
Authors:
Boxiang Yun,
Yan Wang,
Jieneng Chen,
Huiyu Wang,
Wei Shen,
Qingli Li
Abstract:
Hyperspectral imaging (HSI) unlocks the huge potential to a wide variety of applications relied on high-precision pathology image segmentation, such as computational pathology and precision medicine. Since hyperspectral pathology images benefit from the rich and detailed spectral information even beyond the visible spectrum, the key to achieve high-precision hyperspectral pathology image segmentat…
▽ More
Hyperspectral imaging (HSI) unlocks the huge potential to a wide variety of applications relied on high-precision pathology image segmentation, such as computational pathology and precision medicine. Since hyperspectral pathology images benefit from the rich and detailed spectral information even beyond the visible spectrum, the key to achieve high-precision hyperspectral pathology image segmentation is to felicitously model the context along high-dimensional spectral bands. Inspired by the strong context modeling ability of transformers, we hereby, for the first time, formulate the contextual feature learning across spectral bands for hyperspectral pathology image segmentation as a sequence-to-sequence prediction procedure by transformers. To assist spectral context learning procedure, we introduce two important strategies: (1) a sparsity scheme enforces the learned contextual relationship to be sparse, so as to eliminates the distraction from the redundant bands; (2) a spectral normalization, a separate group normalization for each spectral band, mitigates the nuisance caused by heterogeneous underlying distributions of bands. We name our method Spectral Transformer (SpecTr), which enjoys two benefits: (1) it has a strong ability to model long-range dependency among spectral bands, and (2) it jointly explores the spatial-spectral features of HSI. Experiments show that SpecTr outperforms other competing methods in a hyperspectral pathology image segmentation benchmark without the need of pre-training. Code is available at https://github.com/hfut-xc-yun/SpecTr.
△ Less
Submitted 5 March, 2021;
originally announced March 2021.
-
Federated Learning for Breast Density Classification: A Real-World Implementation
Authors:
Holger R. Roth,
Ken Chang,
Praveer Singh,
Nir Neumark,
Wenqi Li,
Vikash Gupta,
Sharut Gupta,
Liangqiong Qu,
Alvin Ihsani,
Bernardo C. Bizzo,
Yuhong Wen,
Varun Buch,
Meesam Shah,
Felipe Kitamura,
Matheus Mendonça,
Vitor Lavor,
Ahmed Harouni,
Colin Compas,
Jesse Tetreault,
Prerna Dogra,
Yan Cheng,
Selnur Erdal,
Richard White,
Behrooz Hashemian,
Thomas Schultz
, et al. (18 additional authors not shown)
Abstract:
Building robust deep learning-based models requires large quantities of diverse training data. In this study, we investigate the use of federated learning (FL) to build medical imaging classification models in a real-world collaborative setting. Seven clinical institutions from across the world joined this FL effort to train a model for breast density classification based on Breast Imaging, Report…
▽ More
Building robust deep learning-based models requires large quantities of diverse training data. In this study, we investigate the use of federated learning (FL) to build medical imaging classification models in a real-world collaborative setting. Seven clinical institutions from across the world joined this FL effort to train a model for breast density classification based on Breast Imaging, Reporting & Data System (BI-RADS). We show that despite substantial differences among the datasets from all sites (mammography system, class distribution, and data set size) and without centralizing data, we can successfully train AI models in federation. The results show that models trained using FL perform 6.3% on average better than their counterparts trained on an institute's local data alone. Furthermore, we show a 45.8% relative improvement in the models' generalizability when evaluated on the other participating sites' testing data.
△ Less
Submitted 20 October, 2020; v1 submitted 3 September, 2020;
originally announced September 2020.
-
Representing Pure Nash Equilibria in Argumentation
Authors:
Bruno Yun,
Srdjan Vesic,
Nir Oren
Abstract:
In this paper we describe an argumentation-based representation of normal form games, and demonstrate how argumentation can be used to compute pure strategy Nash equilibria. Our approach builds on Modgil's Extended Argumentation Frameworks. We demonstrate its correctness, prove several theoretical properties it satisfies, and outline how it can be used to explain why certain strategies are Nash eq…
▽ More
In this paper we describe an argumentation-based representation of normal form games, and demonstrate how argumentation can be used to compute pure strategy Nash equilibria. Our approach builds on Modgil's Extended Argumentation Frameworks. We demonstrate its correctness, prove several theoretical properties it satisfies, and outline how it can be used to explain why certain strategies are Nash equilibria to a non-expert human user.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Trust-based Multiagent Consensus or Weightings Aggregation
Authors:
Bruno Yun,
Madalina Croitoru
Abstract:
We introduce a framework for reaching a consensus amongst several agents communicating via a trust network on conflicting information about their environment. We formalise our approach and provide an empirical and theoretical analysis of its properties.
We introduce a framework for reaching a consensus amongst several agents communicating via a trust network on conflicting information about their environment. We formalise our approach and provide an empirical and theoretical analysis of its properties.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Distance-Based Approaches to Repair Semantics in Ontology-based Data Access
Authors:
César Prouté,
Bruno Yun,
Madalina Croitoru
Abstract:
In the presence of inconsistencies, repair techniques thrive to restore consistency by reasoning with several repairs. However, since the number of repairs can be large, standard inconsistent tolerant semantics usually yield few answers. In this paper, we use the notion of syntactic distance between repairs following the intuition that it can allow us to cluster some repairs "close" to each other.…
▽ More
In the presence of inconsistencies, repair techniques thrive to restore consistency by reasoning with several repairs. However, since the number of repairs can be large, standard inconsistent tolerant semantics usually yield few answers. In this paper, we use the notion of syntactic distance between repairs following the intuition that it can allow us to cluster some repairs "close" to each other. In this way, we propose a generic framework to answer queries in a more personalise fashion.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Numerical simulation of blood with fluid-structure interactions using the lattice-Boltzmann method
Authors:
Daniel A. Reasor Jr.,
Jonathan R. Clausen,
Brian M. Yun,
Cyrus K. Aidun
Abstract:
The fluid dynamics video presented here outlines recent advances in the simulation of multiphase cellular blood flow through the direct numerical simulations of deformable red blood cells (RBCs) demonstrated through several numerical experiments. Videos show RBC deformations in variety of numerical simulations, relative viscosity of a suspension of RBCs in shear, and the cell-depleted wall layer f…
▽ More
The fluid dynamics video presented here outlines recent advances in the simulation of multiphase cellular blood flow through the direct numerical simulations of deformable red blood cells (RBCs) demonstrated through several numerical experiments. Videos show RBC deformations in variety of numerical simulations, relative viscosity of a suspension of RBCs in shear, and the cell-depleted wall layer for blood Hagen--Poiseuille flow.
△ Less
Submitted 15 October, 2010;
originally announced October 2010.