Showing 1–12 of 12 results for author: Mondal, N

A Formal Analysis of Iterated TDD

Authors: Hemil Ruparel, Nabarun Mondal

Abstract: In this paper we formally analyze the software methodology called (iterated) Test Driven Development (TDD). We formally define Specification, Software, Testing, Equivalence Partitions, Coupling, to argue about the nature of the software development in terms of TDD. We formalize Iterative TDD and find a context in which iterated TDD ``provably produce'' ``provably correct code'' from ``specificatio… ▽ More In this paper we formally analyze the software methodology called (iterated) Test Driven Development (TDD). We formally define Specification, Software, Testing, Equivalence Partitions, Coupling, to argue about the nature of the software development in terms of TDD. We formalize Iterative TDD and find a context in which iterated TDD ``provably produce'' ``provably correct code'' from ``specifications'' while being stable in terms of iterated code churns. We demonstrate that outside this context iterated TDD will exhibit chaotic behavior, implying unpredictable messy amount of code churn. We argue that the research finding of ``ineffective'' iterated TDD found by earlier researches are due to missing this context, while the findings of ``effective'' iterated TDD is due to accidentally falling into the context or simply placebo. △ Less

Submitted 4 July, 2024; originally announced July 2024.

Comments: To be submitted to IEEE Transactions on Software Engineering

MSC Class: Primary 68N30; Secondary 37B99; 68Q99; 93C99; 93D99; 68Q30.93D99; 68Q30

A class of few-Lee weight $\mathbb{Z}_2[u]$-linear codes using simplicial complexes and minimal codes via Gray map

Authors: Pramod Kumar Kewat, Nilay Kumar Mondal

Abstract: Recently some mixed alphabet rings are involved in constructing few-Lee weight additive codes with optimal or minimal Gray images using suitable defining sets or down-sets. Inspired by these works, we choose the mixed alphabet ring $\mathbb{Z}_2\mathbb{Z}_2[u]$ to construct a special class of linear code $C_L$ over $\mathbb{Z}_2[u]$ with $u^2=0$ by employing simplicial complexes generated by a sin… ▽ More Recently some mixed alphabet rings are involved in constructing few-Lee weight additive codes with optimal or minimal Gray images using suitable defining sets or down-sets. Inspired by these works, we choose the mixed alphabet ring $\mathbb{Z}_2\mathbb{Z}_2[u]$ to construct a special class of linear code $C_L$ over $\mathbb{Z}_2[u]$ with $u^2=0$ by employing simplicial complexes generated by a single maximal element. We show that $C_L$ has few-Lee weights by determining the Lee weight distribution of $C_L$. Theoretically, this shows that we may employ simplicial complexes to obatin few-weight codes even in the case of mixed alphabet rings. We show that the Gray image of $C_L$ is self-orthogonal and we have an infinite family of minimal codes over $\mathbb{Z}_2$ via Gray map, which can be used to secret sharing schemes. △ Less

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

Comments: 12 pages, size of code is changed in Theorem 3.2, proposition 4.1 is added, some examples are added in both section 3 and 4

MSC Class: 94B05; 94A62

Supervised Text Classification using Text Search

Authors: Nabarun Mondal, Mrunal Lohia

Abstract: Supervised text classification is a classical and active area of ML research. In large enterprise, solutions to this problem has significant importance. This is specifically true in ticketing systems where prediction of the type and subtype of tickets given new incoming ticket text to find out optimal routing is a multi billion dollar industry. In this paper authors describe a class of industria… ▽ More Supervised text classification is a classical and active area of ML research. In large enterprise, solutions to this problem has significant importance. This is specifically true in ticketing systems where prediction of the type and subtype of tickets given new incoming ticket text to find out optimal routing is a multi billion dollar industry. In this paper authors describe a class of industrial standard algorithms which can accurately ( 86\% and above ) predict classification of any text given prior labelled text data - by novel use of any text search engine. These algorithms were used to automate routing of issue tickets to the appropriate team. This class of algorithms has far reaching consequences for a wide variety of industrial applications, IT support, RPA script triggering, even legal domain where massive set of pre labelled data are already available. △ Less

Submitted 30 November, 2020; v1 submitted 14 November, 2020; originally announced November 2020.

ACM Class: H.3.1; I.7.m

A declarative Language for Rapid Business Development

Authors: Nabarun Mondal, Jatin Puri, Mrunal Lohia

Abstract: The motivation for ZoomBA are domain specific languages (DSL) like VERILOG, VHDL, Spice. DSL for Software testing is not a new idea, many commercial tools like Silk Suite use them, while Selenese, the DSL for Selenium IDE [6] is open source. ZoomBA is a functionally motivated, embeddable, Turing Complete language. It's philosophy is to expose the existing Java echo system in a declarative fashion… ▽ More The motivation for ZoomBA are domain specific languages (DSL) like VERILOG, VHDL, Spice. DSL for Software testing is not a new idea, many commercial tools like Silk Suite use them, while Selenese, the DSL for Selenium IDE [6] is open source. ZoomBA is a functionally motivated, embeddable, Turing Complete language. It's philosophy is to expose the existing Java echo system in a declarative fashion for the purpose of System Integration and software validation. By design ZoomBA script size is meagre compared to Python or even to Scala for business automation problems. Bayestree uses ZoomBA for system integration/adapter/data manipulation purposes. △ Less

Submitted 11 May, 2018; v1 submitted 20 April, 2016; originally announced April 2016.

Comments: 6 pages

ACM Class: D.3.2; D.3.3; F.3.2; F.4

On The Dynamical Nature Of Computation

Authors: Nabarun Mondal, Partha P. Ghosh

Abstract: Dynamical Systems theory generally deals with fixed point iterations of continuous functions. Computation by Turing machine although is a fixed point iteration but is not continuous. This specific category of fixed point iterations can only be studied using their orbits. Therefore the standard notion of chaos is not immediately applicable. However, when a suitable definition is used, it is found t… ▽ More Dynamical Systems theory generally deals with fixed point iterations of continuous functions. Computation by Turing machine although is a fixed point iteration but is not continuous. This specific category of fixed point iterations can only be studied using their orbits. Therefore the standard notion of chaos is not immediately applicable. However, when a suitable definition is used, it is found that the notion of chaos and fractal sets exists even in computation. It is found that a non terminating Computation will be almost surely chaotic, and autonomous learning will almost surely identify fractal only sets. △ Less

Submitted 30 October, 2014; originally announced October 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1407.7417, arXiv:1111.4949

MSC Class: 03D10; 65P20; 68Q05; 68Q87; 68T05

'Almost Sure' Chaotic Properties of Machine Learning Methods

Authors: Nabarun Mondal, Partha P. Ghosh

Abstract: It has been demonstrated earlier that universal computation is 'almost surely' chaotic. Machine learning is a form of computational fixed point iteration, iterating over the computable function space. We showcase some properties of this iteration, and establish in general that the iteration is 'almost surely' of chaotic nature. This theory explains the observation in the counter intuitive properti… ▽ More It has been demonstrated earlier that universal computation is 'almost surely' chaotic. Machine learning is a form of computational fixed point iteration, iterating over the computable function space. We showcase some properties of this iteration, and establish in general that the iteration is 'almost surely' of chaotic nature. This theory explains the observation in the counter intuitive properties of deep learning methods. This paper demonstrates that these properties are going to be universal to any learning method. △ Less

Submitted 28 July, 2014; originally announced July 2014.

Comments: 10 pages : to be submitted to Theoretical Computer Science. arXiv admin note: text overlap with arXiv:1111.4949

MSC Class: Primary 03D10; Secondary 65P20; 68Q05; 68Q87; 68T05

Another Asymptotic Notation : "Almost"

Authors: Nabarun Mondal, Partha P. Ghosh

Abstract: Asymptotic notations are heavily used while analysing runtimes of algorithms. Present paper argues that some of these usages are non trivial, therefore incurring errors in communication of ideas. After careful reconsidera- tion of the various existing notations a new notation is proposed. This notation has similarities with the other heavily used notations like Big-Oh, Big Theta, while being more… ▽ More Asymptotic notations are heavily used while analysing runtimes of algorithms. Present paper argues that some of these usages are non trivial, therefore incurring errors in communication of ideas. After careful reconsidera- tion of the various existing notations a new notation is proposed. This notation has similarities with the other heavily used notations like Big-Oh, Big Theta, while being more accurate when describing the order relationship. It has been argued that this notation is more suitable for describing algorithm runtime than Big-Oh. △ Less

Submitted 19 October, 2015; v1 submitted 20 April, 2013; originally announced April 2013.

Comments: Was sent as mail to Robert Sidgewick, now submitted to SOP Transactions on Applied Mathematics(AM)

Parallel Computation Is ESS

Authors: Nabarun Mondal, Partha P. Ghosh

Abstract: There are enormous amount of examples of Computation in nature, exemplified across multiple species in biology. One crucial aim for these computations across all life forms their ability to learn and thereby increase the chance of their survival. In the current paper a formal definition of autonomous learning is proposed. From that definition we establish a Turing Machine model for learning, where… ▽ More There are enormous amount of examples of Computation in nature, exemplified across multiple species in biology. One crucial aim for these computations across all life forms their ability to learn and thereby increase the chance of their survival. In the current paper a formal definition of autonomous learning is proposed. From that definition we establish a Turing Machine model for learning, where rule tables can be added or deleted, but can not be modified. Sequential and parallel implementations of this model are discussed. It is found that for general purpose learning based on this model, the implementations capable of parallel execution would be evolutionarily stable. This is proposed to be of the reasons why in Nature parallelism in computation is found in abundance. △ Less

Submitted 25 December, 2013; v1 submitted 31 March, 2013; originally announced April 2013.

Comments: Submitted to Theoretical Computer Science - Elsevier

MSC Class: 68Q32; 68Q05; 68T05; 68Q10; 62P10; 97M60; 92D15; 91A80

Invariance And Inner Fractals In Polynomial And Transcendental Fractals

Authors: Nabarun Mondal, Partha P. Ghosh

Abstract: A lot of formal and informal recreational study took place in the fields of Meromorphic Maps, since Mandelbrot popularized the map z <- z^2 + c. An immediate generalization of the Mandelbrot z <-z^n + c also known as the Multibrot family were also studied. In the current paper, general truncated polynomial maps of the form z <- \sum_{p>=2} a_px^p +c are studied. Two fundamental properties of these… ▽ More A lot of formal and informal recreational study took place in the fields of Meromorphic Maps, since Mandelbrot popularized the map z <- z^2 + c. An immediate generalization of the Mandelbrot z <-z^n + c also known as the Multibrot family were also studied. In the current paper, general truncated polynomial maps of the form z <- \sum_{p>=2} a_px^p +c are studied. Two fundamental properties of these polynomial maps are hereby presented. One of them is the existence of shape preserving transformations on fractal images, and another one is the existence of embedded Multibrot fractals inside a polynomial fractal. Any transform expression with transcendental terms also shows embedded Multibrot fractals, due to Taylor series expansion possible on the transcendental functions. We present a method by which existence of embedded fractals can be predicted. A gallery of images is presented alongside to showcase the findings. △ Less

Submitted 30 September, 2012; originally announced October 2012.

Comments: 22 pages, 22 figures

A Pseudo Random Number Generator from Chaos

Authors: Nabarun Mondal, Partha P. Ghosh

Abstract: A random number generator is proposed based on a theorem about existence of chaos in fixed point iteration of x= cot2(x). Digital computer simulation of this function iteration exhibits random behavior. A method is proposed to extract random bytes from this simulation. Diehard and NIST test suite for randomness detection is run on this bytes, and it is found to pass all the tests in the suite. Thu… ▽ More A random number generator is proposed based on a theorem about existence of chaos in fixed point iteration of x= cot2(x). Digital computer simulation of this function iteration exhibits random behavior. A method is proposed to extract random bytes from this simulation. Diehard and NIST test suite for randomness detection is run on this bytes, and it is found to pass all the tests in the suite. Thus, this method qualifies even for cryptographic quality random number generation. △ Less

Submitted 22 January, 2013; v1 submitted 26 March, 2012; originally announced March 2012.

MSC Class: 11K45; 03D10; 65P20

Universal Computation Is 'Almost Surely' Chaotic

Authors: Nabarun Mondal, Partha P. Ghosh

Abstract: Fixed point iterations are known to generate chaos, for some values in their parameter range. It is an established fact that Turing Machines are fixed point iterations. However, as these Machines operate in integer space, the standard notions of a chaotic system is not readily applicable for them. Changing the state space of Turing Machines from integer to rational space, the condition for chaotic… ▽ More Fixed point iterations are known to generate chaos, for some values in their parameter range. It is an established fact that Turing Machines are fixed point iterations. However, as these Machines operate in integer space, the standard notions of a chaotic system is not readily applicable for them. Changing the state space of Turing Machines from integer to rational space, the condition for chaotic dynamics can be suitably established, as presented in the current paper. Further it is deduced that, given random input, computation performed by a Universal Turing Machine would be 'almost surely' chaotic. △ Less

Submitted 3 July, 2015; v1 submitted 21 November, 2011; originally announced November 2011.

Comments: 24 pages, 0 figures, paper accepted at "Scientific Online" : http://www.scipublish.com/journals/AM/papers/1506

MSC Class: 03D10; 65P20; 68Q05; 68Q87

Performance of an Operating High Energy Physics Data Grid: D0SAR-Grid

Authors: B. Abbott, P. Baringer, T. Bolton, Z. Greenwood, E. Gregores, H. Kim, C. Leangsuksun, D. Meyer, N. Mondal, S. Novaes, B. Quinn, H. Severini, P. Skubic, J. Snow, M. Sosebee, J. Yu

Abstract: The D0 experiment at Fermilab's Tevatron will record several petabytes of data over the next five years in pursuing the goals of understanding nature and searching for the origin of mass. Computing resources required to analyze these data far exceed capabilities of any one institution. Moreover, the widely scattered geographical distribution of D0 collaborators poses further serious difficulties… ▽ More The D0 experiment at Fermilab's Tevatron will record several petabytes of data over the next five years in pursuing the goals of understanding nature and searching for the origin of mass. Computing resources required to analyze these data far exceed capabilities of any one institution. Moreover, the widely scattered geographical distribution of D0 collaborators poses further serious difficulties for optimal use of human and computing resources. These difficulties will exacerbate in future high energy physics experiments, like the LHC. The computing grid has long been recognized as a solution to these problems. This technology is being made a more immediate reality to end users in D0 by developing a grid in the D0 Southern Analysis Region (D0SAR), D0SAR-Grid, using all available resources within it and a home-grown local task manager, McFarm. We will present the architecture in which the D0SAR-Grid is implemented, the use of technology and the functionality of the grid, and the experience from operating the grid in simulation, reprocessing and data analyses for a currently running HEP experiment. △ Less

Submitted 31 January, 2005; originally announced January 2005.

Comments: 3 pages, no figures, conference proceedings of DPF04 talk

Journal ref: Int.J.Mod.Phys.A20:3874-3876,2005