GitHub
From MaRDI portal
Software:34954
swMATH23170WikidataQ364MaRDI QIDQ34954
No author found.
Source code repository: https://github.com/
Related Items (only showing first 100 items - show all)
Fast computation of multinomial coefficients ⋮ On the \(t\)-adic Littlewood conjecture ⋮ Stochastic semidiscretization method: second moment stability analysis of linear stochastic periodic dynamical systems with delays ⋮ Probabilistic multiple cracking model of brittle-matrix composite based on a one-by-one crack tracing algorithm ⋮ Formalization of camera pose estimation algorithm based on Rodrigues formula ⋮ Laplacian growth and sandpiles on the Sierpiński gasket: limit shape universality and exact solutions ⋮ Higher-order central moments of matrix Fisher distribution on \(\mathrm{SO}(3)\) ⋮ Beating the average forecast: regularization based on forecaster attributes ⋮ A computational study of density-dependent individual movement and the formation of population clusters in two-dimensional spatial domains ⋮ Predicting the second wave of COVID-19 in Washtenaw County, MI ⋮ Detecting and modeling critical dependence structures between random inputs of computer models ⋮ A modified descent method-based heuristic for binary quadratic knapsack problems with conflict graphs ⋮ Renewal reward perspective on linear switching diffusion systems in models of intracellular transport ⋮ The Mahler measure of a genus 3 family ⋮ MM algorithms for distance covariance based sufficient dimension reduction and sufficient variable selection ⋮ Robust variable selection with exponential squared loss for the spatial autoregressive model ⋮ Sobolev orthogonal polynomials on the Sierpinski gasket ⋮ Natural graph wavelet packet dictionaries ⋮ Embedding and learning with signatures ⋮ Efficient inference for stochastic differential equation mixed-effects models using correlated particle pseudo-marginal algorithms ⋮ Faster Monte Carlo estimation of joint models for time-to-event and multivariate longitudinal data ⋮ Understanding hormonal crosstalk in \textit{Arabidopsis} root development via emulation and history matching ⋮ Combining dependent \(p\)-values by gamma distributions ⋮ Measuring evolutionary cancer dynamics from genome sequencing, one patient at a time ⋮ Locally conservative immersed finite element method for elliptic interface problems ⋮ Efficient implementation of SHA-3 hash function on 8-bit AVR-based sensor nodes ⋮ Optimization modulo non-linear arithmetic via incremental linearization ⋮ Formal verification of a Java component using the RESOLVE framework ⋮ Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra ⋮ Stubborn set reduction for timed reachability and safety games ⋮ Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems ⋮ Quantifying software reliability via model-counting ⋮ Compositional safe approximation of response time distribution of complex workflows ⋮ Active and sparse methods in smoothed model checking ⋮ Safe learning for near-optimal scheduling ⋮ Programmable program synthesis ⋮ Scalable polyhedral verification of recurrent neural networks ⋮ An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation ⋮ \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability ⋮ Fast zone-based algorithms for reachability in pushdown timed automata ⋮ Verified cryptographic code for everybody ⋮ Counterexample-guided partial bounding for recursive function synthesis ⋮ Learning probabilistic termination proofs ⋮ Ghost signals: verifying termination of busy waiting ⋮ Decision tree learning in CEGIS-based termination analysis ⋮ CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver ⋮ An SMT solver for regular expressions and linear arithmetic over string length ⋮ Model-checking structured context-free languages ⋮ Towards a trustworthy semantics-based language framework via proof generation ⋮ Rigorous roundoff error analysis of probabilistic floating-point computations ⋮ FROST: Flexible round-optimized Schnorr threshold signatures ⋮ Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath ⋮ Unintended features of APIs: cryptanalysis of incremental HMAC ⋮ WARP: revisiting GFN for lightweight 128-bit block cipher ⋮ Subsampling and knowledge distillation on adversarial examples: new techniques for deep learning based side channel evaluations ⋮ Deep transfer learning for biology cross-domain image classification ⋮ HalftimeHash: modern hashing without 64-bit multipliers or finite fields ⋮ Lyndon words formalized in Isabelle/HOL ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ The spectrum for 3-way \(k\)-homogeneous Latin trades ⋮ Solution methods for classification problems with categorical attributes ⋮ A well-posedness framework for inpainting based on coherence transport ⋮ Positive semidefinite propagation time ⋮ Cubic surfaces over small finite fields ⋮ A computational approach to extinction events in chemical reaction networks with discrete state spaces ⋮ Weakly supervised classification in high energy physics ⋮ Fully scalable implementation of a volume coupling scheme for the modeling of multiscale materials ⋮ Numerical integration of discontinuous functions: moment fitting and smart octree ⋮ Time series classification by class-specific Mahalanobis distance measures ⋮ Efficient multiobjective optimization employing Gaussian processes, spectral sampling and a genetic algorithm ⋮ \texttt{FEMPAR}: an object-oriented parallel finite element framework ⋮ Multi-objective minmax robust combinatorial optimization with cardinality-constrained uncertainty ⋮ LZ77 computation based on the run-length encoded BWT ⋮ Efficient document-image super-resolution using convolutional neural network ⋮ Using a Bayesian hierarchical linear mixing model to estimate botanical mixtures ⋮ Improvements on the minimax algorithm for the Laplace transformation of orbital energy denominators ⋮ Estimation of fractal dimension and fractal curvatures from digital images ⋮ A logical characterization of timed regular languages ⋮ Monte Carlo studies of the spontaneous rotational symmetry breaking in dimensionally reduced super Yang-Mills models ⋮ Parity binomial edge ideals ⋮ Security and privacy aspects in MapReduce on clouds: a survey ⋮ iLM-2L: a two-level predictor for identifying protein lysine methylation sites and their methylation degrees by incorporating K-gap amino acid pairs into Chou's general PseAAC ⋮ Isomorphism is equality ⋮ Proving mutual termination ⋮ Relaxation Runge-Kutta methods for Hamiltonian problems ⋮ Proof search algorithm in pure logical framework ⋮ On the elliptic Calabi-Yau fourfold with maximal \(h^{1,1}\) ⋮ DeepRT: predictable deep learning inference for cyber-physical systems ⋮ A parallel branch-and-bound algorithm to compute a tighter tardiness bound for preemptive global EDF ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers ⋮ On the robustness and scalability of semidefinite relaxation for optimal power flow problems ⋮ A nonexistence certificate for projective planes of order ten with weight 15 codewords ⋮ Computation of energy eigenvalues of the anharmonic Coulombic potential with irregular singularities ⋮ Scalable Bayesian preference learning for crowds ⋮ Using formal verification to evaluate the execution time of Spark applications ⋮ Ascent with quadratic assistance for the construction of exact experimental designs ⋮ The implementation of Hori-Deprit method to the construction averaged planetary motion theory by means of computer algebra system Piranha ⋮ On the classification of duality webs for graded quivers ⋮ Fundamental tensor operations for large-scale data analysis using tensor network formats ⋮ Pointwise and uniform convergence of Fourier extensions
This page was built for software: GitHub