Results 51 to 60 of about 93,551 (286)

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

, 2015
We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown ...
A Chakarov, A Dolzmann, A Dolzmann, A Gupta, A Gupta, A McIver, C Boor De, CAR Hoare, D Kozen, EW Dijkstra, F Gretz, F Gretz, J Hartog Den, J-P Katoen, JW Eaton, L Moura de, M Uslar, MA Colón, MO Rabin, P Cousot, PJ Olver, RW Floyd, S Sankaranarayanan, T Sauer   +23 more
core   +1 more source

Guaranteed passive parameterized model order reduction of the partial element equivalent circuit (PEEC) method [PDF]

, 2010
The decrease of IC feature size and the increase of operating frequencies require 3-D electromagnetic methods, such as the partial element equivalent circuit (PEEC) method, for the analysis and design of high-speed circuits.
Antonini, Giulio, Dhaene, Tom, Ferranti, Francesco, Knockaert, Luc   +3 more
core   +2 more sources

Solvability of multivariate interpolation

Journal für die reine und angewandte Mathematik (Crelles Journal), 1989
An ordinary polynomial interpolation scheme is described by the admissible polynomials \(P(x)=\sum_{i\in S}a_ ix^ i\), \(x=(x_ 1,...,x_ s)\), \(i=(i_ 1,...,i_ s)\), \(s\geq 2\), where S is a lower set of lattice points i, and by the knot sets \(A_ q\subset S\), \(q=1,...,m\), which give the orders \(\alpha \in A_ q\) of the derivatives \(\partial P ...
openaire   +2 more sources

Multivariate interpolation [PDF]

Interactive science, 2017
The paper deals with iterative interpolation methods in forms of similar recursive procedures defined by a sort of simple functions (interpolation basis) not necessarily real valued. These basic functions are kind of arbitrary type being defined just by wish and considerations of user.
openaire   +1 more source

Exon 7 splicing of ERα predicts poor prognosis and increases phenotypic heterogeneity in luminal a subtype breast cancer

FEBS Open Bio, EarlyView.
ERα splice variant ERα∆7 lacks the C‐terminus, and its expression may change phenotypes of breast cancers. Our results showed that ERα∆7 is found in the luminal A subtype, and elevated ERα∆7 levels are linked to improved cell survival with lower proliferation and migration.
Long Wai Tsui, Taobo Hu, Thomson Christian Husein, Wai Hei Shek, Bingrong Chen, Depeng Wang, Shu Wang, Weichuan Yu, Xiaodan Fan, Mengping Long, Toyotaka Ishibashi   +10 more
wiley   +1 more source

A Boolean sum interpolation for multivariate functions of bounded variation

Frontiers in Applied Mathematics and Statistics
This paper deals with the approximation error of trigonometric interpolation for multivariate functions of bounded variation in the sense of Hardy-Krause.
Jürgen Prestin, Yevgeniya V. Semenova
doaj   +1 more source

SPG4 and Dementia: Expanding the Clinical Spectrum

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Hereditary spastic paraplegia (HSP) is a group of disorders characterized by progressive spasticity and lower limb weakness, with mutations in SPG4/SPAST being the most common cause. Detailed studies and clinical and molecular comparisons across different populations are missing.
Emanuele Panza, Arun Meyyazhagan, Eliseo Picchi, Gustavo Ribas, Ingrid Faber, Ryosuke Miyamoto, Preethi Basavaraju, Paolo Eusebi, Haripriya Kuchi Bhotla, Mario Stasi, Fabrizio Gaudiello, Francesco Patti, Filippo Maria Santorelli, Marcondes Cavalcante França Jr, José Luiz Pedroso, Orlando Graziani Povoas Barsottini, Hélio Afonso Ghizoni Teive, Peter Henry St George‐Hyslop, Toshitaka Kawarai, Antonio Orlacchio   +19 more
wiley   +1 more source

Estimating multivariate ecological variables at high spatial resolution using a cost‐effective matching algorithm

Ecosphere
Simulation models are valuable tools for estimating ecosystem response to environmental conditions and are particularly relevant for investigating climate change impacts.
Rachel R. Renne, Daniel R. Schlaepfer, Kyle A. Palmquist, William K. Lauenroth, John B. Bradford   +4 more
doaj   +1 more source

The Representation of D-Invariant Polynomial Subspaces Based on Symmetric Cartesian Tensors

Axioms, 2021
Multivariate polynomial interpolation plays a crucial role both in scientific computation and engineering application. Exploring the structure of the D-invariant (closed under differentiation) polynomial subspaces has significant meaning for multivariate
Xue Jiang, Kai Cui
doaj   +1 more source

Nodal bases for the serendipity family of finite elements

, 2016
Using the notion of multivariate lower set interpolation, we construct nodal basis functions for the serendipity family of finite elements, of any order and any dimension.
Floater, Michael S., Gillette, Andrew
core   +1 more source