2 citations · 4 across the 3 of their papers we have counts for
4 papers
Simplifying deflation for non-convex optimization with applications in Bayesian inference and topology optimization
Mohamed Tarek, Yijiang Huang
Non-convex optimization problems have multiple local optimal solutions. Non-convex optimization problems are commonly found in numerous applications. One of the methods recently pr…
Robust and stochastic compliance-based topology optimization with finitely many loading scenarios
Mohamed Tarek, Tapabrata Ray
In this paper, the problem of load uncertainty in compliance problems is addressed where the uncertainty is described in the form of a set of finitely many loading scenarios. Compu…
DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models
Mohamed Tarek, Kai Xu, Martin Trapp +2
We present the preliminary high-level design and features of DynamicPPL.jl, a modular library providing a lightning-fast infrastructure for probabilistic programming. Besides a com…
Practical Byte-Granular Memory Blacklisting using Califorms
Hiroshi Sasaki, Miguel A. Arroyo, M. Tarek Ibn Ziad +3
Recent rapid strides in memory safety tools and hardware have improved software quality and security. While coarse-grained memory safety has improved, achieving memory safety at th…