Resultats de la cerca - finite model theory
Matèries dins de la cerca
Matèries dins de la cerca
- History of engineering & technology 47
- Technology: general issues 30
- Research & information: general 25
- Mathematics & science 14
- Computer science 8
- Mechanical engineering & materials 6
- Mathematical physics 5
- Physics 5
- Information technology industries 4
- Mathematics 4
- Nuclear physics 4
- Algebraic geometry 3
- Educational psychology 3
- Theory of Computation 3
- Acoustic & sound engineering 2
- Artificial Intelligence 2
- Artificial intelligence 2
- Bayesian inference 2
- Child & developmental psychology 2
- Clinical psychology 2
- Computer Science Logic and Foundations of Programming 2
- Cybernetics & systems theory 2
- Formal Languages and Automata Theory 2
- Machine theory 2
- Mathematical Physics 2
- Medicine 2
- Philosophical Foundations of Physics and Astronomy 2
- Philosophy 2
- Probability & statistics 2
- Production engineering 2
-
141
-
142
-
143
-
144
-
145
-
146
-
147
-
148
-
149
-
150
Acoustic Waves
Publicat 2010DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
151
Passive Microwave Components and Antennas
Publicat 2010DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
152
Recent Advances in Vibrations Analysis
Publicat 2011DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
153
Bayesian Methods for Statistical Analysis
Publicat 2015DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
154
Bayesian Methods for Statistical Analysis
Publicat 2015OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrònic Capítol de llibre -
155
Nuclear Reactors
Publicat 2012DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
156
-
157
Application of Nonlinear Analysis to the Study of Complex Systems in Neuroscience and Behavioral Research
Publicat 2016DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
158
-
159
-
160
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /
Publicat 2020Taula de continguts: “…Stability of wall boundary condition procedures for discontinuous Galerkin spectral element approximations of the compressible Euler equations -- On the order reduction of entropy stable DGSEMfor the compressible Euler equations -- A review of regular decompositions of vector fields - continuous, discrete, and structure-preserving -- Model reduction by separation of variables: a comparison between hierarchical model reduction and proper generalized decomposition -- Recurrence relations for a family of orthogonal polynomials on a triangle -- Greedy kernel methods for center manifold approximation -- An improved error inhibiting block one-step method with radial basis function approximation for ODEs -- Hermite methods in time -- HPS accelerated spectral solvers for time dependent problems: algorithms -- On the use of hermite functions for the Vlasov-Poisson system -- HPS accelerated spectral solvers for time dependent problems: numerical experiments -- High-order finite element methods for interface problems: theory and implementations -- Stabilised hybrid discontinuous galerkin methods for the Stokes problem with non-standard boundary conditions -- RBF based CWENO method -- discrete equivalence of adjoint Neumann-Dirichlet div-grad and grad-div equations in curvilinear 3D domains -- A conservative hybrid method for Darcy flow -- High-order mesh generation based on optimal affine combinations of nodal positions -- Sparse spectral-element methods for the helically reduced Einstein equations -- Spectral analysis of isogeometric discretizations of 2D curl-div Problems with general geometry -- Performance of preconditioners for large-scale simulations using Nek5000 -- Two decades old entropy stable method for the Euler equations revisited -- A mimetic spectral element method for free surface flows -- Spectral/hp methodology study for iLES-SVV on an Ahmed body -- A high-order discontinuous Galerkin solver for multiphase flows -- High-Order propagation of jet noise on a tetrahedral mesh using large eddy simulation sources -- Dynamical degree adaptivity for DG-LES models -- A novel eight-order diffusive scheme for unstructured polyhedral grids using the weighted least-squares method -- An explicit mapped tent pitching scheme for Maxwell equations -- Viscous diffusion effects in the eigenanalysis of (hybridisable) DG methods -- Spectral Galerkin method for solving Helmholtz and Laplace Dirichlet problems on multiple open arcs -- Explicit polynomial Trefftz-DG method for space-time elasto-acoustics -- An hp-adaptive iterative linearization discontinuous-Galerkin FEM for quasilinear elliptic boundary value problems -- Erosion Wear evaluation using Nektar++ -- An inexact Petrov-Galerkin approximation for gas transport in pipeline networks -- New preconditioners for semi-linear PDE-constrained optimal control in annular geometries -- DIRK schemes with high weak stage order -- Scheme for evolutionary Navier-Stokes-Fourier system with temperature dependent material properties based on spectral/hp elements -- Implicit large eddy simulations for NACA0012 airfoils using compressible and incompressible discontinuous Galerkin solvers -- SAV method applied to fractional Allen-Cahn equation -- A first meshless approach to simulation of the elastic behaviour of the diaphragm -- An explicit hybridizable discontinuous Galerkin method for the 3D timedomain Maxwell equations -- Entropy conserving and kinetic energy preserving numerical methods for the Euler equations using summation-by-parts operators -- Multiwavelet troubled-cell indication: a comparison of utilizing theory versus outlier detection -- An anisotropic p-adaptation multigrid scheme for discontinuous Galerkin methods -- A spectral element reduced basis method for Navier-Stokes equations with geometric variations -- Iterative spectral mollification and conjugation for successive edge detection -- Small trees for high order Whitney elements -- Non-conforming elements inNek5000: pressure preconditioning and parallel performance -- Sparse approximation of multivariate functions from small datasets via weighted orthogonal matching pursuit -- On the convergence rate of Hermite-Fejer interpolation.…”
Link to Metadata
Electrònic eBook