GitHub
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Verified Decision Procedures for Modal Logics.
- GenoExp
- MultiXcan
- Optimal monotonicity-preserving perturbations of a given Runge-Kutta method
- Nonlinear multiscale modeling of thin composite shells at finite deformations
- The LBPM software package for simulating multiphase flow on digital images of porous rocks
- A finite element method for two-phase flow with material viscous interface
- Higher homotopies in a hierarchy of univalent universes
- iPHLoc-ES: identification of bacteriophage protein locations using evolutionary and structural features
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
- Graphs with equal chromatic symmetric functions
- Nonlinear solver for three-phase transport problems based on approximate trust regions
- Exploring the sources of uncertainty: why does bagging for time series forecasting work?
- Data science applications to string theory
- Stability of the cascading gauge theory de Sitter DFPs
- An Uncertainty-Weighted Asynchronous ADMM Method for Parallel PDE Parameter Estimation
- Bacterial phylogeny in the Cayley graph
- Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
- Dynamic Bayesian influenza forecasting in the United States with hierarchical discrepancy (with discussion)
- A partial least squares algorithm handling ordinal variables
- Simulation of the drawdown and its duration in Lévy models via stick-breaking Gaussian approximation
- SYCL
- Computation of Hyperspherical Bessel Functions
- Parallelization of a branch-and-bound algorithm for the maximum weight clique problem
- A branch-and-cut algorithm for mixed integer bilevel linear optimization problems and its implementation
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Fast computation of multinomial coefficients
- Parameterization method for unstable manifolds of standing waves on the line
- Stochastic semidiscretization method: second moment stability analysis of linear stochastic periodic dynamical systems with delays
- The signature kernel is the solution of a Goursat PDE
- Probabilistic multiple cracking model of brittle-matrix composite based on a one-by-one crack tracing algorithm
- An optimal-storage approach to semidefinite programming using approximate complementarity
- Piecewise-constant optimal control strategies for controlling the outbreak of COVID-19 in the Irish population
- Formalization of camera pose estimation algorithm based on Rodrigues formula
- Higher-order central moments of matrix Fisher distribution on \(\mathrm{SO}(3)\)
- Beating the average forecast: regularization based on forecaster attributes
- Segre Classes and Invariants of Singular Varieties
- PySAM
- Explicit and implicit error inhibiting schemes with post-processing
- Mathematical model of tumour spheroid experiments with real-time cell cycle imaging
- Sobolev orthogonal polynomials on the Sierpinski gasket
- Numerical study of extreme mechanical force exerted by a turbulent flow on a bluff body by direct and rare-event sampling techniques
- Explainer: compactness, by the numbers
- Fully anisotropic hyperelasto-plasticity with exponential approximation by power series and scaling/squaring
- Comparing the dynamics of COVID-19 infection and mortality in the United States, India, and Brazil
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Extended pairwise local alignment of wild card DNA/RNA sequences using dynamic programming
- Runtime and memory consumption analyses for machine learning R programs
- Wirtinger numbers for virtual links
- Reactive programming for interactive graphics
- Natural projection as partial model checking
- Synthesizing precise and useful commutativity conditions
- Mac Lane's comparison theorem for the Kleisli construction formalized in Coq
- Interpolation-based GR(1) assumptions refinement
- A library for formalization of linear error-correcting codes
- Formal reasoning under cached address translation
- Simulating small neural circuits with a discrete computational model
- An efficient statistical adaptive order-switching methodology for Kalman filters
- Semimeander crossing number of knots and related invariants
- Scalable attack on graph data by injecting vicious nodes
- Absence of a resolution limit in in-block nestedness
- Equivalence checking of Petri net models of programs using static and dynamic cut-points
- The critical \(O(N)\) CFT: methods and conformal data
- A graph-based modeling abstraction for optimization: concepts and implementation in Plasmo.jl
- Implicit multirate GARK methods
- Collider physics at the precision frontier
- An open-source ABAQUS implementation of the scaled boundary finite element method to study interfacial problems using polyhedral meshes
- Edgeworth expansions for slow-fast systems with finite time-scale separation
- Algebraic properties of quandle extensions and values of cocycle knot invariants
- Interpolation-based immersed finite element and isogeometric analysis
- Max-plus operators applied to filter selection and model pruning in neural networks
- Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description)
- An empirically adjusted approach to reproductive number estimation for stochastic compartmental models: a case study of two ebola outbreaks
- Modeling granular material dynamics and its two-way coupling with moving solid bodies using a continuum representation and the SPH method
- Lockdown measures and their impact on single- and two-age-structured epidemic model for the COVID-19 outbreak in Mexico
- From P systems to morphogenetic systems: an overview and open problems
- Examples of abelian surfaces failing the local-global principle for isogenies
- Pseudospectral roaming contour integral methods for convection-diffusion equations
- A reduced order model for a stable embedded boundary parametrized Cahn-Hilliard phase-field system based on cut finite elements
- Spiking neural P systems: matrix representation and formal verification
- Structure preserving discretization of time-reparametrized Hamiltonian systems with application to nonholonomic mechanics
- Defect detection in code characters with complex backgrounds based on BBE
- FESTUNG 1.0: overview, usage, and example applications of the MATLAB/GNU Octave toolbox for discontinuous Galerkin methods
- MFEM: a modular finite element methods library
- \textsc{tIGAr}: automating isogeometric analysis with \textsc{FEniCS}
- Unconditionally stable, second-order schemes for gradient-regularized, non-convex, finite-strain elasticity modeling martensitic phase transformations
- Model-based exception mining for object-relational data
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- ptype: probabilistic type inference
- Physics-informed generative adversarial networks for stochastic differential equations
- Residual-based shock capturing in solids
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Psychological contract model for knowledge collaboration in virtual community of practice: an analysis based on the game theory
- Correction to: ``Statistical modeling and analysis of trace element concentrations in forensic Glass evidence
- On binomial coefficients modulo squares of primes
- Numerical upscaling of perturbed diffusion problems
- Blockchain technology: issues of analysis and synthesis
- Distributed Bayesian machine learning procedures
- Development and evaluation of geostatistical methods for non-Euclidean-based spatial covariance matrices
- PLS for Big Data: a unified parallel algorithm for regularised group PLS
This page was built for software: GitHub
