Works Published in 2016
Displaying works 181 - 200 of 201 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2016 journal article
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)
JOURNAL OF SYMBOLIC COMPUTATION, 75, 110–126.
author keywords: Synthesis; Optimal quadratically convergent algorithm; Square root; Real quantifier elimination
TL;DR:
This work overcame the difficulty of carefully reducing a complicated quantified formula into several simpler ones and automatically eliminating the quantifiers from the resulting ones using the state-of-the-art quantifier elimination software to synthesize semi-automatically an optimal quadratically1 convergent map, which is better than the well known hand-crafted Secant-Newton map.
(via Semantic Scholar)
manuscript.elsevier.com (publisher PDF)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2016 journal article
Periodic behaviour of nonlinear, second-order discrete dynamical systems
JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, 22(2), 280–294.
author keywords: Periodic difference equations; resonance; Lyapunov-Schmidt procedure; Schauder's fixed point theorem; topological degree
Source: Web Of Science
Added: August 6, 2018
2016 journal article
On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
JOURNAL OF SYMBOLIC COMPUTATION, 75, 25–55.
author keywords: Parameterized differential equation; Parameterized Picard-Vessiot theory; Linear differential algebraic group; Unipotent radical; Creative telescoping
TL;DR:
Algorithms to compute the differential Galois group G associated via the parameterized Picard-Vessiot theory to a parameterized second-order linear differential equation are presented and a complete set of criteria to decide whether any of the solutions to a parameters-based differential equation is ?
(via Semantic Scholar)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
9. Industry, Innovation and Infrastructure
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
On finite-dimensional representations of two-parameter quantum affine algebras
JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 15(3).
author keywords: Two-parameter quantum affine algebra; Drinfeld realization; evaluation representation; finite-dimensional representation
UN Sustainable Development Goal Categories
10. Reduced Inequalities
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
Augmented immersed finite element methods for some elliptic partial differential equations
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 93(3), 540–558.
author keywords: level set function; singularity removal technique; irregular domain; interface problem; non-homogeneous jump condition; 35J60; 65N30; 65N15
TL;DR:
Augmented immersed finite element methods are proposed to solve elliptic interface problems with non-homogeneous jump conditions using the singularity removal technique to solve Poisson equations on irregular domains.
(via Semantic Scholar)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2016 journal article
A Generally Applicable Calibration Algorithm for Digitally Reconfigurable Self-Healing RFICs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 24(3), 1151–1164.
author keywords: Calibration; digitally reconfigurable radio frequency integrated circuits (RFICs); Hooke-Jeeves algorithm; Nelder-Mead algorithm; self-healing
TL;DR:
It is shown that the proposed hybrid Nelder-Mead and Hooke-Jeeves calibration algorithm is capable of reducing the gain error and phase error of the phase rotator output to less than a maximum of 0.5 dB and 2° relative to the chosen gain and phase targets.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
7. Affordable and Clean Energy
(OpenAlex)
Sources: Web Of Science, Crossref, ORCID
Added: August 6, 2018
2016 journal article
A Fast and Scalable Method for A-Optimal Design of Experiments for Infinite-dimensional Bayesian Nonlinear Inverse Problems
SIAM Journal on Scientific Computing, 38(1), A243–A272.
author keywords: optimal experimental design; A-optimal design; Bayesian inference; sensor placement; nonlinear inverse problems; randomized trace estimator; sparsified designs
TL;DR:
This work constructs a Gaussian approximation to the posterior at the maximum a posteriori probability (MAP) point, and uses the resulting covariance operator to define the OED objective function, which is derived by generalizing the classical A-optimal experimental design criterion.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Sources: Web Of Science, Crossref
Added: August 6, 2018
2016 journal article
WONDER OF SINE-GORDON Y-SYSTEMS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 368(10), 6835–6886.
UN Sustainable Development Goal Categories
15. Life on Land
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
Quality of positive root bounds
JOURNAL OF SYMBOLIC COMPUTATION, 74, 592–602.
author keywords: Polynomial roots; Positive root bounds; Absolute positiveness
TL;DR:
The quality of positive root bounds is studied to find out whether the relative over-estimation of a positive root bound due to Hong is at most linear in the degree, no matter what the coefficient size is.
(via Semantic Scholar)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2016 journal article
Modelling immune response to BK virus infection and donor kidney in renal transplant recipients
INVERSE PROBLEMS IN SCIENCE AND ENGINEERING, 24(1), 127–152.
author keywords: renal transplant; human polyomavirus type 1 (BKV); mathematical model; inverse problem; sensitivity analysis; 62F12; 65L09; 92B05
TL;DR:
A mechanistic mathematical model of immune response to both BK virus infection and a donor kidney based on known and hypothesized mechanisms in the literature is developed and validated with bootstrapping techniques.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science; OpenAlex)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
Desingularization of Ore operators
JOURNAL OF SYMBOLIC COMPUTATION, 74, 617–626.
author keywords: D-finite functions; Apparent singularities; Computer algebra; Ore operators
TL;DR:
It is shown that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order, thereby turning a heuristic used for many years in several computer algebra systems into an algorithm.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
An assessment of coupling algorithms for nuclear reactor core physics simulations
JOURNAL OF COMPUTATIONAL PHYSICS, 311, 241–257.
author keywords: Multiphysics; Jacobian-free Newton-Krylov; Anderson acceleration; Nuclear reactor analysis
TL;DR:
This paper evaluates the performance of multiphysics coupling algorithms applied to a light water nuclear reactor core simulation and compares Picard iteration to Anderson acceleration and multiple variants of preconditioned Jacobian-free Newton-Krylov (JFNK).
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2016 journal article
Additional symmetries of the extended bigraded Toda hierarchy
JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 49(5).
author keywords: extended bigraded Toda hierarchy; Lax operator; tau-function; Virasoro algebra; wave function; wave operator Mathematics Subject Classification: Primary 37K35; Secondary 37K10; 53D45
UN Sustainable Development Goal Categories
14. Life Below Water
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
A new augmented immersed finite element method without using SVD interpolations
NUMERICAL ALGORITHMS, 71(2), 395–416.
author keywords: Interface problem; Piecewise constant coefficient; Immersed finite element; Augmented immersed finite element method; Poisson equation on irregular domain; Fast poisson solver; Least squares interpolation using SVD
TL;DR:
A new augmented immersed finite element method (IFEM) that does not need the interpolations is proposed for elliptic interface problems that have a piecewise constant coefficient and is extended to Poisson equations on irregular domains with a Dirichlet boundary condition.
(via Semantic Scholar)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2016 journal article
On using Lazard's projection in CAD construction
JOURNAL OF SYMBOLIC COMPUTATION, 72, 65–81.
author keywords: Cylindrical algebraic decomposition; Projection operation; Theorem of Abhyankar and Jung
TL;DR:
It is shown that Lazard's projection is valid for CAD construction for so-called well-oriented polynomial sets, however his notion of valuation does not make use of it.
(via Semantic Scholar)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2016 journal article
Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme
JOURNAL OF SYMBOLIC COMPUTATION, 72, 128–146.
author keywords: Numerical algebraic geometry; Witness set; Arithmetically Cohen-Macaulay; Castelnuovo-Mumford regularity; Arithmetic genus
TL;DR:
A new numerical algebraic geometric test for deciding if X is arithmetically Cohen-Macaulay using points which lie on a general curve section C of X, which compute other information such as the arithmetic genus and index of regularity.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
Numerical methods for fourth-order elliptic equations with nonlocal boundary conditions
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 292, 447–468.
author keywords: Fourth-order elliptic equation; Nonlocal boundary condition; Finite difference system; Method of upper and lower solutions; Monotone iterations; Convergence
TL;DR:
The monotone convergence property of the maximal and minimal sequences is used to show the convergence of themaximal and minimal finite difference solutions to the corresponding maximal and minimum solutions of the original continuous system as the mesh size tends to zero.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
Dynamics of food-chain models with density-dependent diffusion and ratio-dependent reaction function
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 433(1), 355–374.
author keywords: Food-chain reaction diffusion system; Degenerate diffusion; Ratio-dependent reaction; Dynamical behavior; Global attractor; Stability
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
Complete branching rules for Specht modules
JOURNAL OF ALGEBRA, 446, 77–102.
author keywords: Symmetric group; Specht modules; Branching rule
UN Sustainable Development Goal Categories
15. Life on Land
(OpenAlex)
Source: Web Of Science
Added: August 6, 2018
2016 journal article
Central-upwind scheme for shallow water equations with discontinuous bottom topography
BULLETIN OF THE BRAZILIAN MATHEMATICAL SOCIETY, 47(1), 91–103.
author keywords: hyperbolic system of conservation and balance laws; semi-discrete central-upwind scheme; Saint Venant system of shallow water equations
Sources: Web Of Science, ORCID
Added: August 6, 2018
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
