-
Deep Learning-Based Brain Image Segmentation for Automated Tumour Detection
Authors:
Suman Sourabh,
Murugappan Valliappan,
Narayana Darapaneni,
Anwesh R P
Abstract:
Introduction: The present study on the development and evaluation of an automated brain tumor segmentation technique based on deep learning using the 3D U-Net model. Objectives: The objective is to leverage state-of-the-art convolutional neural networks (CNNs) on a large dataset of brain MRI scans for segmentation. Methods: The proposed methodology applies pre-processing techniques for enhanced pe…
▽ More
Introduction: The present study on the development and evaluation of an automated brain tumor segmentation technique based on deep learning using the 3D U-Net model. Objectives: The objective is to leverage state-of-the-art convolutional neural networks (CNNs) on a large dataset of brain MRI scans for segmentation. Methods: The proposed methodology applies pre-processing techniques for enhanced performance and generalizability. Results: Extensive validation on an independent dataset confirms the model's robustness and potential for integration into clinical workflows. The study emphasizes the importance of data pre-processing and explores various hyperparameters to optimize the model's performance. The 3D U-Net, has given IoUs for training and validation dataset have been 0.8181 and 0.66 respectively. Conclusion: Ultimately, this comprehensive framework showcases the efficacy of deep learning in automating brain tumour detection, offering valuable support in clinical practice.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
Network characteristics of financial networks
Authors:
M. Boersma,
S. Sourabh,
L. A. Hoogduin,
D. Kandhai
Abstract:
We embrace a fresh perspective to auditing by analyzing a large set of companies as complex financial networks rather than static aggregates of balance sheet data. Preliminary analyses show that network centrality measures within these networks could significantly enhance auditors' insights into financial structures. Utilizing data from over 300 diverse companies, we examine the structure of finan…
▽ More
We embrace a fresh perspective to auditing by analyzing a large set of companies as complex financial networks rather than static aggregates of balance sheet data. Preliminary analyses show that network centrality measures within these networks could significantly enhance auditors' insights into financial structures. Utilizing data from over 300 diverse companies, we examine the structure of financial statement networks through bipartite graph analysis, exploring their scale-freeness by comparing degree distributions to power-law and exponential models. Our findings indicate heavy-tailed degree distribution for financial account nodes, networks that grow with the same diameter, and the presence of influential hubs. This study lays the groundwork for future auditing methodologies where baseline network statistics could serve as indicators for anomaly detection, marking a substantial advancement in audit research and network science.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Evidence of Hot Carrier Extraction in Metal Halide Perovskite Solar Cells
Authors:
S. Sourabh,
H. Afshari,
V. R. Whiteside,
G. E. Eperon,
R. A. Scheidt,
T. D. Creason,
M. Furis,
A. Kirmani,
B. Saparov,
J. M. Luther,
M. C. Beard,
I. R. Sellers
Abstract:
The presence of hot carriers is presented in the operational properties of an (FA,Cs)Pb(I, Br, Cl)3 solar cell at ambient temperatures and under practical solar concentration. At 100 K, clear evidence of hot carriers is observed in both the high energy tail of the photoluminescence spectra and from the appearance of a non-equilibrium photocurrent at higher fluence in light J-V measurements. At roo…
▽ More
The presence of hot carriers is presented in the operational properties of an (FA,Cs)Pb(I, Br, Cl)3 solar cell at ambient temperatures and under practical solar concentration. At 100 K, clear evidence of hot carriers is observed in both the high energy tail of the photoluminescence spectra and from the appearance of a non-equilibrium photocurrent at higher fluence in light J-V measurements. At room temperature, however, the presence of hot carriers in the emission at elevated laser fluence are shown to compete with a gradual red shift in the PL peak energy as photo induced halide segregation begins to occur at higher lattice temperature. The effects of thermionic emission of hot carriers and the presence of a non-equilibrium carrier distribution are also shown to be distinct from simple lattice heating. This results in large unsaturated photocurrents at high powers as the Fermi distribution exceeds that of the heterointerface controlling carrier transport and rectification.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Hot carrier redistribution, electron-phonon interaction, and their role in carrier relaxation in thin film halide perovskites
Authors:
S. Sourabh,
V. R. Whiteside,
Y. Zhai,
K. Wang,
V. Yeddu,
M. T. Bamidele,
D. Y. Kim,
M. C. Beard,
I. R. Sellers
Abstract:
Temperature dependent (4K-300K) photoluminescence and transmission spectra are analyzed to study the effect of changing the different components of a perovskite compound, be it A, B, or X. Four different films are compared: FAMAPbSnI3, FAPbI3, FAMAPbI3, and FAPbBr3. The low temperature results highlight the changes that occur especially, underlying ones that are easily masked at room temperature.…
▽ More
Temperature dependent (4K-300K) photoluminescence and transmission spectra are analyzed to study the effect of changing the different components of a perovskite compound, be it A, B, or X. Four different films are compared: FAMAPbSnI3, FAPbI3, FAMAPbI3, and FAPbBr3. The low temperature results highlight the changes that occur especially, underlying ones that are easily masked at room temperature. The overall Stokes shift is of similar magnitude at room temperature for the 3 Pb only based samples. This is governed by the interaction strength GammaLO, phonon energy ELO, and the exciton binding energy Eex. One exception to this behavior is the Sn-based FAMAPbSnI3 film which shows a lack of Stokes shift between the absorption and photoluminescence. However,the strong absorption (more than 100 meV) below the band gap is indicative of an excitonic feature that has a large density of states. Transient absorption measurements confirm the trends observed in continuous wave (CW) measurements, the 3 Pb only films all show the convolution of an excitonic feature within 20 meV of the band gap as a contributing factor to the photobleach along with a region of high energy PIA. However, the behavior for the Sn-based film is notably different (just as in the CW measurements) with an unusual low energy PIA and a lack of high energy PIA. The large low energy PIA is attributed to the large sub band gap absorption observed in the CW transmission/absorption measurements. Notably regardless of interchanging components, the slow cooling of carriers in metal-halide perovsites shows little effect of GammaLO, ELO, and Eex. As such, here it is proposed: while the initial cooling of carriers is attributed to LO phonons, the overall cooling of carriers is dominated by the intrinsic low thermal conductivity of all metal-halide perovskites which limits the dissipation of acoustic phonons in these systems.
△ Less
Submitted 3 March, 2021; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Algebraic modal correspondence: Sahlqvist and beyond
Authors:
Willem Conradie,
Alessandra Palmigiano,
Sumit Sourabh
Abstract:
The present paper proposes a new introductory treatment of the very well known Sahlqvist correspondence theory for classical modal logic. The first motivation for the present treatment is {\em pedagogical}: classical Sahlqvist correspondence is presented in a uniform and modular way, and, unlike the existing textbook accounts, extends itself to a class of formulas laying outside the Sahlqvist clas…
▽ More
The present paper proposes a new introductory treatment of the very well known Sahlqvist correspondence theory for classical modal logic. The first motivation for the present treatment is {\em pedagogical}: classical Sahlqvist correspondence is presented in a uniform and modular way, and, unlike the existing textbook accounts, extends itself to a class of formulas laying outside the Sahlqvist class proper. The second motivation is {\em methodological}: the present treatment aims at highlighting the {\em algebraic} and {\em order-theoretic} nature of the correspondence mechanism. The exposition remains elementary and does not presuppose any previous knowledge or familiarity with the algebraic approach to logic. However, it provides the underlying motivation and basic intuitions for the recent developments in the Sahlqvist theory of nonclassical logics, which compose the so-called unified correspondence theory.
△ Less
Submitted 22 June, 2016;
originally announced June 2016.
-
Sahlqvist theory for impossible worlds
Authors:
Alessandra Palmigiano,
Sumit Sourabh,
Zhiguang Zhao
Abstract:
We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not required to be normal: only the weaker properties of additivity and multiplicativity are required. Conceptually, it has been argued that their lacking necessitation makes regular modal logics better suited than normal mod…
▽ More
We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not required to be normal: only the weaker properties of additivity and multiplicativity are required. Conceptually, it has been argued that their lacking necessitation makes regular modal logics better suited than normal modal logics at the formalization of epistemic and deontic settings. From a technical viewpoint, regularity proves to be very natural and adequate for the treatment of algebraic canonicity Jónsson-style. Indeed, additivity and multiplicativity turn out to be key to extend Jónsson's original proof of canonicity to the full Sahlqvist class of certain regular distributive modal logics naturally generalizing Distributive Modal Logic. Most interestingly, additivity and multiplicativity are key to Jónsson-style canonicity also in the original (i.e. normal) DML. Our contributions include: the definition of Sahlqvist inequalities for regular modal logics on a distributive lattice propositional base; the proof of their canonicity following Jónsson's strategy; the adaptation of the algorithm ALBA to the setting of regular modal logics on two non-classical (distributive lattice and intuitionistic) bases; the proof that the adapted ALBA is guaranteed to succeed on a syntactically defined class which properly includes the Sahlqvist one; finally, the application of the previous results so as to obtain proofs, alternative to Kripke's, of the strong completeness of Lemmon's epistemic logics E2-E5 with respect to elementary classes of Kripke frames with impossible worlds.
△ Less
Submitted 27 March, 2016;
originally announced March 2016.
-
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA
Authors:
Willem Conradie,
Alessandra Palmigiano,
Sumit Sourabh,
Zhiguang Zhao
Abstract:
We generalize Venema's result on the canonicity of the additivity of positive terms, from classical modal logic to a vast class of logics the algebraic semantics of which is given by varieties of normal distributive lattice expansions (normal DLEs), aka `distributive lattices with operators'. We provide two contrasting proofs for this result: the first is along the lines of Venema's pseudo-corresp…
▽ More
We generalize Venema's result on the canonicity of the additivity of positive terms, from classical modal logic to a vast class of logics the algebraic semantics of which is given by varieties of normal distributive lattice expansions (normal DLEs), aka `distributive lattices with operators'. We provide two contrasting proofs for this result: the first is along the lines of Venema's pseudo-correspondence argument but using the insights and tools of unified correspondence theory, and in particular the algorithm ALBA; the second closer to the style of Jónsson. Using insights gleaned from the second proof, we define a suitable enhancement of the algorithm ALBA, which we use prove the canonicity of certain syntactically defined classes of DLE-inequalities (called the meta-inductive inequalities), relative to the structures in which the formulas asserting the additivity of some given terms are valid.
△ Less
Submitted 18 December, 2016; v1 submitted 13 November, 2015;
originally announced November 2015.
-
Generalized Vietoris Bisimulations
Authors:
Sebastian Enqvist,
Sumit Sourabh
Abstract:
We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bisimulations [4]. The main result of our paper is that bisimulation for a $\mathbf{Stone}$ coalgebra is the topological closure of bisimulation for the underlying $\mathbf{Set}$ coalgebra.
We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bisimulations [4]. The main result of our paper is that bisimulation for a $\mathbf{Stone}$ coalgebra is the topological closure of bisimulation for the underlying $\mathbf{Set}$ coalgebra.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Characterizing Successful Formulas: the Multi-agent Case
Authors:
Sanchit Saraf,
Sumit Sourabh
Abstract:
Characterization of successful formulas in Public Announcement Logic (PAL) is a well known open problem in Dynamic Epistemic Logic. Recently, Holliday and ICard have given a complete characterization for the single agent case. However, the problem for the multi-agent case is open. This paper gives a partial solution to the problem, characterizing the subclass of the language consisting of unary op…
▽ More
Characterization of successful formulas in Public Announcement Logic (PAL) is a well known open problem in Dynamic Epistemic Logic. Recently, Holliday and ICard have given a complete characterization for the single agent case. However, the problem for the multi-agent case is open. This paper gives a partial solution to the problem, characterizing the subclass of the language consisting of unary operators, and discusses methods to give a complete solution.
△ Less
Submitted 5 September, 2012;
originally announced September 2012.
-
How robust is quicksort average complexity?
Authors:
Suman Kumar Sourabh,
Soubhik Chakraborty
Abstract:
The paper questions the robustness of average case time complexity of the fast and popular quicksort algorithm. Among the six standard probability distributions examined in the paper, only continuous uniform, exponential and standard normal are supporting it whereas the others are supporting the worst case complexity measure. To the question -why are we getting the worst case complexity measure…
▽ More
The paper questions the robustness of average case time complexity of the fast and popular quicksort algorithm. Among the six standard probability distributions examined in the paper, only continuous uniform, exponential and standard normal are supporting it whereas the others are supporting the worst case complexity measure. To the question -why are we getting the worst case complexity measure each time the average case measure is discredited? -- one logical answer is average case complexity under the universal distribution equals worst case complexity. This answer, which is hard to challenge, however gives no idea as to which of the standard probability distributions come under the umbrella of universality. The morale is that average case complexity measures, in cases where they are different from those in worst case, should be deemed as robust provided only they get the support from at least the standard probability distributions, both discrete and continuous. Regretfully, this is not the case with quicksort.
△ Less
Submitted 26 November, 2008;
originally announced November 2008.