arXiv:2601.04273v1 Announce Type: new Abstract: The deployment of knowledge representation and reasoning technologies in aeronautics applications presents two main challenges: achieving sufficient expressivity to capture complex domain knowledge, and executing reasoning tasks efficiently while minimizing memory usage and computational overhead. An effective strategy for attaining necessary expressivity involves integrating two fundamental KR concepts: rules and ontologies. This study adopts the well-established KR language Hybrid MKNF owing to its seamless integration of rules and ontologies through its semantics and […]

Ver mais

arXiv:2403.03007v3 Announce Type: replace-cross Abstract: The generalized linear mixed model (GLMM) is widely used for analyzing correlated data, particularly in large-scale biomedical and social science applications. Scalable Bayesian inference for GLMMs is challenging because the marginal likelihood is intractable and conventional Markov chain Monte Carlo (MCMC) methods become computationally prohibitive as the number of subjects grows. We develop a stochastic gradient MCMC (SGMCMC) algorithm tailored to GLMMs that enables accurate posterior inference in the large-sample regime. Our approach […]

Ver mais

At Serokell, we have been working hard for some time now to help add dependent types to Haskell. It is the primary goal of our dedicated GHC team, currently consisting of Vladislav Zavialov and Andrei Borzenkov. We have occasionally shared our progress on Discourse in the past, though in an irregular manner, which has left some wondering if we are still actively working on it. Yes, we are! However, retrofitting ergonomic dependent types is a very complex task. […]

Ver mais

The deployment of secure design patterns in enterprise applications is a critical strategy for mitigating common vulnerabilities while enforcing a comprehensive defence-in-depth security framework. These patterns provide a reusable, systematic approach to incorporating security into software architecture, addressing typical weaknesses such as injection flaws, authentication bypasses, and data exposure. By adopting modular architectural principles, enterprises can create layered, isolated security boundaries that limit the impact of potential breaches and simplify maintenance and scalability. This paper explores the role […]

Ver mais

arXiv:2601.02397v1 Announce Type: new Abstract: Dynamic nonzero sum games are widely used to model multi agent decision making in control, economics, and related fields. Classical methods for computing Nash equilibria, especially in linear quadratic settings, rely on strong structural assumptions and become impractical for nonlinear dynamics, many players, or long horizons, where multiple local equilibria may exist. We show through examples that such methods can fail to reach the true global Nash equilibrium even in relatively small games. […]

Ver mais

arXiv:2601.00120v1 Announce Type: new Abstract: A distributed storage system stores data across multiple nodes, with the primary objective of enabling efficient data recovery even in the event of node failures. The main goal of an exact repair scheme is to recover the data from a failed node by accessing and downloading information from the rest of the nodes. In a groundbreaking paper, ~cite{GW} developed an exact repair scheme for a distributed storage system that is based on Reed-Solomon […]

Ver mais