GitHub

From MaRDI portal
Revision as of 20:39, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 coefficientsOn the \(t\)-adic Littlewood conjectureStochastic semidiscretization method: second moment stability analysis of linear stochastic periodic dynamical systems with delaysProbabilistic multiple cracking model of brittle-matrix composite based on a one-by-one crack tracing algorithmFormalization of camera pose estimation algorithm based on Rodrigues formulaLaplacian growth and sandpiles on the Sierpiński gasket: limit shape universality and exact solutionsHigher-order central moments of matrix Fisher distribution on \(\mathrm{SO}(3)\)Beating the average forecast: regularization based on forecaster attributesA computational study of density-dependent individual movement and the formation of population clusters in two-dimensional spatial domainsPredicting the second wave of COVID-19 in Washtenaw County, MIDetecting and modeling critical dependence structures between random inputs of computer modelsA modified descent method-based heuristic for binary quadratic knapsack problems with conflict graphsRenewal reward perspective on linear switching diffusion systems in models of intracellular transportThe Mahler measure of a genus 3 familyMM algorithms for distance covariance based sufficient dimension reduction and sufficient variable selectionRobust variable selection with exponential squared loss for the spatial autoregressive modelSobolev orthogonal polynomials on the Sierpinski gasketNatural graph wavelet packet dictionariesEmbedding and learning with signaturesEfficient inference for stochastic differential equation mixed-effects models using correlated particle pseudo-marginal algorithmsFaster Monte Carlo estimation of joint models for time-to-event and multivariate longitudinal dataUnderstanding hormonal crosstalk in \textit{Arabidopsis} root development via emulation and history matchingCombining dependent \(p\)-values by gamma distributionsMeasuring evolutionary cancer dynamics from genome sequencing, one patient at a timeLocally conservative immersed finite element method for elliptic interface problemsEfficient implementation of SHA-3 hash function on 8-bit AVR-based sensor nodesOptimization modulo non-linear arithmetic via incremental linearizationFormal verification of a Java component using the RESOLVE frameworkAutomatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebraStubborn set reduction for timed reachability and safety gamesAutomatic dynamic parallelotope bundles for reachability analysis of nonlinear systemsQuantifying software reliability via model-countingCompositional safe approximation of response time distribution of complex workflowsActive and sparse methods in smoothed model checkingSafe learning for near-optimal schedulingProgrammable program synthesisScalable polyhedral verification of recurrent neural networksAn iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidabilityFast zone-based algorithms for reachability in pushdown timed automataVerified cryptographic code for everybodyCounterexample-guided partial bounding for recursive function synthesisLearning probabilistic termination proofsGhost signals: verifying termination of busy waitingDecision tree learning in CEGIS-based termination analysisCoqQFBV: a scalable certified SMT quantifier-free bit-vector solverAn SMT solver for regular expressions and linear arithmetic over string lengthModel-checking structured context-free languagesTowards a trustworthy semantics-based language framework via proof generationRigorous roundoff error analysis of probabilistic floating-point computationsFROST: Flexible round-optimized Schnorr threshold signaturesBoolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPathUnintended features of APIs: cryptanalysis of incremental HMACWARP: revisiting GFN for lightweight 128-bit block cipherSubsampling and knowledge distillation on adversarial examples: new techniques for deep learning based side channel evaluationsDeep transfer learning for biology cross-domain image classificationHalftimeHash: modern hashing without 64-bit multipliers or finite fieldsLyndon words formalized in Isabelle/HOLPractical interruptible conversations: distributed dynamic verification with multiparty session types and PythonThe spectrum for 3-way \(k\)-homogeneous Latin tradesSolution methods for classification problems with categorical attributesA well-posedness framework for inpainting based on coherence transportPositive semidefinite propagation timeCubic surfaces over small finite fieldsA computational approach to extinction events in chemical reaction networks with discrete state spacesWeakly supervised classification in high energy physicsFully scalable implementation of a volume coupling scheme for the modeling of multiscale materialsNumerical integration of discontinuous functions: moment fitting and smart octreeTime series classification by class-specific Mahalanobis distance measuresEfficient multiobjective optimization employing Gaussian processes, spectral sampling and a genetic algorithm\texttt{FEMPAR}: an object-oriented parallel finite element frameworkMulti-objective minmax robust combinatorial optimization with cardinality-constrained uncertaintyLZ77 computation based on the run-length encoded BWTEfficient document-image super-resolution using convolutional neural networkUsing a Bayesian hierarchical linear mixing model to estimate botanical mixturesImprovements on the minimax algorithm for the Laplace transformation of orbital energy denominatorsEstimation of fractal dimension and fractal curvatures from digital imagesA logical characterization of timed regular languagesMonte Carlo studies of the spontaneous rotational symmetry breaking in dimensionally reduced super Yang-Mills modelsParity binomial edge idealsSecurity and privacy aspects in MapReduce on clouds: a surveyiLM-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 PseAACIsomorphism is equalityProving mutual terminationRelaxation Runge-Kutta methods for Hamiltonian problemsProof search algorithm in pure logical frameworkOn the elliptic Calabi-Yau fourfold with maximal \(h^{1,1}\)DeepRT: predictable deep learning inference for cyber-physical systemsA parallel branch-and-bound algorithm to compute a tighter tardiness bound for preemptive global EDFFormal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solversOn the robustness and scalability of semidefinite relaxation for optimal power flow problemsA nonexistence certificate for projective planes of order ten with weight 15 codewordsComputation of energy eigenvalues of the anharmonic Coulombic potential with irregular singularitiesScalable Bayesian preference learning for crowdsUsing formal verification to evaluate the execution time of Spark applicationsAscent with quadratic assistance for the construction of exact experimental designsThe implementation of Hori-Deprit method to the construction averaged planetary motion theory by means of computer algebra system PiranhaOn the classification of duality webs for graded quiversFundamental tensor operations for large-scale data analysis using tensor network formatsPointwise and uniform convergence of Fourier extensions


This page was built for software: GitHub