Showing 1–2 of 2 results for author: Foley, J D

Generalized partitioned local depth

Authors: Kenneth S. Berenhaut, John D. Foley, Liangdongsheng Lyu

Abstract: In this paper we provide a generalization of the concept of cohesion as introduced recently by Berenhaut, Moore and Melvin [Proceedings of the National Academy of Sciences, 119 (4) (2022)]. The formulation presented builds on the technique of partitioned local depth by distilling two key probabilistic concepts: local relevance and support division. Earlier results are extended within the new conte… ▽ More In this paper we provide a generalization of the concept of cohesion as introduced recently by Berenhaut, Moore and Melvin [Proceedings of the National Academy of Sciences, 119 (4) (2022)]. The formulation presented builds on the technique of partitioned local depth by distilling two key probabilistic concepts: local relevance and support division. Earlier results are extended within the new context, and examples of applications to revealing communities in data with uncertainty are included. The work sheds light on the foundations of partitioned local depth, and extends the original ideas to enable probabilistic consideration of uncertain, variable and potentially conflicting information. △ Less

Submitted 14 November, 2023; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: Typos correct & clarifying comments, 19 pages, 6 figures

Journal ref: Journal of Statistical Theory and Practice, Vol. 18, No. 10, 2024

Operads for complex system design specification, analysis and synthesis

Authors: John D. Foley, Spencer Breiner, Eswaran Subrahmanian, John M. Dusel

Abstract: As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at various levels of granularity so that the system is maintainable and adaptable over its life cycle. In this paper, we argue that operads provide an e… ▽ More As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at various levels of granularity so that the system is maintainable and adaptable over its life cycle. In this paper, we argue that operads provide an effective knowledge representation to address these challenges. Formal documentation of a syntactically correct design is built up during design synthesis, guided by semantic reasoning about design effectiveness. Throughout, the ability to decompose the system into parts and reconstitute the whole is maintained. We describe recent progress in effective modeling under this paradigm and directions for future work to systematically address scalability challenges for complex system design. △ Less

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

Comments: 33 pages; 14 figures; revised presentation, esp. first three sections and removal of appendix; new style file

Report number: G2021-0140

Journal ref: Proc. Royal Soc. A , Vol. 477, No. 2250, 2021, 20210099