These algorithms have a disadvantage that they can not keep fluid structures together due to the discontinuity in the interface from cell to cell; diffusion of the interface results in unphysical disconnecting droplets. The Piecewise Line Interface Calculation (PLIC) method was an improvement over ...
Almost all of the devices and applications mentioned above have some operations in common. For example, binary Galois field (GF(2m)) arithmetic is present in different cryptography algorithms and error-correction codes. This arithmetic is generally used to encode and decode information within a commu...
More recently, message passing algorithms for optimal decycling in statistical physics further pushed the critical point toward its optimal value20,21. For susceptible-infected-recovered (SIR) model, the prob- lem of finding influential spreaders is also explored using the percolation theory in recent...
While many variants exist [40, 49], all algorithms iteratively es- tablish correspondences and minimize a respective error function. For tracking, projective data association [4] and the point-to-plane error metric [9] are very common [25, 37, 39...
specific model and the difficulty of accounting for model uncertainty with these classes of methods. The present work focuses on improving parameter fitting methods in terms of potential experimental techniques to which one can fit models and parameter inference algorithms that can be applied for the ...
For Isabelle/HOL, the Isabelle Refinement Framework [24, 26, 27, 32] provides a powerful stepwise refinement tool chain, featuring a nondeterministic shallowly embedded programming language [32], a library of efficient collection data structures and generic algorithms [26, 27, 30], and convenience...
The multiple knapsack problem (0/1-mKP) is a valuable NP-hard problem involved in many science-and-engineering applications. In current research, there exist two main approaches: 1. the exact algorithms for the optimal solutions (i.e., branch-and-bound, dynamic programming (DP), etc.) and...
Analyzing complex correlated data has received considerable attention in the current statistical literature. Among many approaches to modeling correlation structures, copula based models offer a powerful and flexible toolbox to characterize dependence profiles among variables, which have been studied extensively...
Software and Algorithms FoCo Lapytsko et al., 2015 https://sourceforge.net/projects/focicount FCS Express 6 De Novo Software www.denovosoftware.com sgRNA Scorer 2.0 N/A https://crispr.med.harvard.edu Genetic Perturbation Platform Broad Institute https://portals.broadinstitute.org/gpp/public BLO...
This involves deriving important key properties of the Tukey g-and-h transformation and resulting family of spatial warped GP (Section 2 and Section 3); and using those results to develop new estimation algorithms for efficient spatial field reconstructions (Section 4). Our contributions may be ...