Programming with structural subtypes & Data-Driven incipient anomaly detection
Details
Hello all,
I would like to invite you all to the next meetup of KW Intersections on August 8th. This venue of this Meetup will be Sortable's New Office. We will have two talks.
The first talk will be presented by Jinane J Harmouche (https://www.linkedin.com/in/jinane-j-harmouche-609090135/) and is titled "Data-driven incipient anomaly detection: advances and challenges"
Frauds, defects, abnormalities, network intrusions and all events that cause a long-term deviation of a system from its normal/healthy behavior are urgent to be detected as soon as possible and be responded to proactively. Complex systems are monitored through their data, where incipient faults express their earliest symptoms. That is how anomaly detection becomes at the intersection of signal processing, machine learning, statistics and information theory. Advanced data-driven approches have been proposed to tackle with two categories of challenges: (1) challenges related to the data, which can be multi-channel, high-dimensional, non-linear, non-stationary, multi-components, noisy, missing, and (2) challenges related to the fault signature, which can be chaotic, intermittent, hidden in background noise, multiple, unknown or system-dependent.
The second talk will be presented by Ifaz Kabir (https://www.linkedin.com/in/ifazk/) and is titled "Programming with Structural Subtypes".
Often the programs we write depend on data having a shape. For example, we could write functions that only rely on our inputs having a name and a school field and these patterns are often used in scripting languages. Unfortunately many typed systems will actively get in your way when writing such programs complaining that the declared types are different. This talk will discuss type systems that allows for some of these patterns. We will briefly look at subtyping as it relates to records and then move on to a more detailed discussion of subtyping as it relates to unions and it's implementation in OCaml.
Kind regards,
Mary