9 citations · 14 across the 8 of their papers we have counts for
13 papers
MIMO and Multi-Group Comparison Problem in Process Control: A Multivariate Statistical Framework for Systems Represented with Frequency Response Functions
Vittorio Lippi, Leonard Johard, Gabriele Landucci
Characterizing complex Multi-Input Multi-Output (MIMO) systems presents two issues: feedback controllers mask fault variance, rendering single-variable monitoring ineffective, and…
LogNEO: A GPT-Neo Reinforcement Learning Framework for Accurate Real-Time Log Anomaly Detection
David Eje, Tanmay Sharma, Khush Patel +2
Detecting anomalies in large-scale system logs is critical for the reliability and security of modern computing infrastructure. We present LogNEO, a log anomaly detector built on E…
Pseudorehearsal in actor-critic agents with neural network function approximation
Vladimir Marochko, Leonard Johard, Manuel Mazzara +1
Catastrophic forgetting has a significant negative impact in reinforcement learning. The purpose of this study is to investigate how pseudorehearsal can change performance of an ac…
Self-adaptive node-based PCA encodings
Leonard Johard, Victor Rivera, Manuel Mazzara +1
In this paper we propose an algorithm, Simple Hebbian PCA, and prove that it is able to calculate the principal component analysis (PCA) in a distributed fashion across nodes. It s…
Translating Event-B machines to Eiffel programs
Victor Rivera, JooYoung Lee, Manuel Mazzara +1
Formal modelling languages play a key role in the development of software since they enable users to prove correctness of system properties. However, there is still not a clear und…
Pseudorehearsal in actor-critic agents
Marochko Vladimir, Leonard Johard, Manuel Mazzara
Catastrophic forgetting has a serious impact in reinforcement learning, as the data distribution is generally sparse and non-stationary over time. The purpose of this study is to i…
Initial steps towards assessing the usability of a verification tool
Mansur Khazeev, Victor Rivera, Manuel Mazzara +1
In this paper we report the experience of using AutoProof to statically verify a small object oriented program. We identified the problems that emerged by this activity and we clas…
Pseudorehearsal in value function approximation
Vladimir Marochko, Leonard Johard, Manuel Mazzara
Catastrophic forgetting is of special importance in reinforcement learning, as the data distribution is generally non-stationary over time. We study and compare several pseudorehea…
MOMOS-MT: Mobile Monophonic System for Music Transcription
Munir Makhmutov, Joseph Alexander Brown, Manuel Mazzara +1
Music holds a significant cultural role in social identity and in the encouragement of socialization. Technology, by the destruction of physical and cultural distance, has lead to…
Evaluation of spatial trees for simulation of biological tissue
Ilya Dmitrenok, Viktor Drobnyy, Leonard Johard +1
Spatial organization is a core challenge for all large agent-based models with local interactions. In biological tissue models, spatial search and reinsertion are frequently report…
The BioDynaMo Project: Creating a Platform for Large-Scale Reproducible Biological Simulations
Lukas Breitwieser, Roman Bauer, Alberto Di Meglio +6
Computer simulations have become a very powerful tool for scientific research. In order to facilitate research in computational biology, the BioDynaMo project aims at a general pla…
The BioDynaMo Project: a platform for computer simulations of biological dynamics
Leonard Johard, Lukas Breitwieser, Alberto Di Meglio +3
This paper is a brief update on developments in the BioDynaMo project, a new platform for computer simulations for biological research. We will discuss the new capabilities of the…
The BioDynaMo Project
Roman Bauer, Lukas Breitwieser, Alberto Di Meglio +5
Computer simulations have become a very powerful tool for scientific research. Given the vast complexity that comes with many open scientific questions, a purely analytical or expe…