Search results for "summation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Raymond T. Boute	Functional declarative language design and predicate calculus: a practical approach.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
19	Carsten Schneider	Finding telescopers with minimal depth for indefinite nested sum and product expressions.	ISSAC	2005	DBLP DOI BibTeX RDF	difference fields, symbolic summation
19	Chun-Yin Li, Alexander Ping-Kong Wai, Victor O. K. Li	The decomposition of a blocking model for connection-oriented networks.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	Monte Carlo summation, blocking probability, decomposition methods, circuit-switched networks, connection-oriented networks
19	Mohammad M. Ahmadi, Reza Lotfi	A new architecture for rail-to-rail input constant-gm CMOS operational transconductance amplifiers.	ISLPED	2003	DBLP DOI BibTeX RDF	current summation, floating current source, input stage, rail-to-rail, transconductance, operational transconductance amplifier
19	Bernhard Müller, H. C. Yee 0001	Entropy Splitting for High Order Numerical Simulation of Vortex Sound at Low Mach Numbers.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	entropy splitting, low Mach number aeroacoustics, high order difference method, summation by parts, Euler equations
19	Serge N. Demidenko, Vincenzo Piuri	On-Line Testing In Digital Neural Networks.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	digital neural networks, concurrent fault-tolerance policy, error localisation, system survival, concurrent diagnosis, data coding, neuron level error detection, on-line localisation, faulty neuron, multilayer feedforward networks, synaptic errors, summation errors, architecture regularity, automatic reconfiguration, fault tolerant computing, fault model, on-line testing, signature analysis, arithmetic codes, residue codes, hardware reconfiguration
19	Torben Hagerup, Rajeev Raman	Waste Makes Haste: Tight Bounds for Loose Parallel Sorting	FOCS	1992	DBLP DOI BibTeX RDF	approximate prefix summation problems, loose parallel sorting, input keys, padded sorting, fast randomised CRCW PRAM algorithms, nonstandard OR PRAM, time complexity, random numbers, integer sorting
15	Debika Banerjee, Khyati Khurana	Character analogues of Cohen-type identities and related Voronoï summation formulas.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
15	Belakavadi Radhakrishna Srivatsa Kumar, Arjun K. Rathie, Junesang Choi	Four Families of Summation Formulas for 4F3(1) with Application.	Axioms	2024	DBLP DOI BibTeX RDF
15	Nusrat Raza, Mohammed Fadel, Wei-Shih Du	New Summation and Integral Representations for 2-Variable (p,q)-Hermite Polynomials.	Axioms	2024	DBLP DOI BibTeX RDF
15	Jinkai Wang, Zhengkun Gu, Bojun Zhang, Youxiang Chen, Zekun Wang, Kun Zhang 0030, Youguang Zhang, Yue Zhang 0010	RSACIM: Resistance Summation Analog Computing in Memory With Accuracy Optimization Scheme Based on MRAM.	IEEE Trans. Circuits Syst. I Regul. Pap.	2024	DBLP DOI BibTeX RDF
15	Andrés M. Rueda-Ramírez, Gregor J. Gassner	A flux-differencing formula for split-form summation by parts discretizations of non-conservative systems: Applications to subcell limiting for magneto-hydrodynamics.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
15	Tomas Lundquist, Andrew R. Winters, Jan Nordström	Encapsulated generalized summation-by-parts formulations for curvilinear and non-conforming meshes.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
15	Yizhou Zhao, Hua Sun 0001	Secure Summation: Capacity Region, Groupwise Key, and Feasibility.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
15	Johannes Hertrich	Fast Kernel Summation in High Dimensions via Slicing and Fourier Transforms.	CoRR	2024	DBLP DOI BibTeX RDF
15	Wei Dong 0007, Qiyao Luo, Giulia Fanti, Elaine Shi, Ke Yi 0001	Instance-optimal Clipping for Summation Problems in the Shuffle Model of Differential Privacy.	CoRR	2024	DBLP DOI BibTeX RDF
15	Anthony Chen, Christiane Jablonowski	Fast Summation on the Sphere with Applications to the Barotropic Vorticity Equation.	CoRR	2024	DBLP DOI BibTeX RDF
15	Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li	Towards a Parallel Summation Algorithm.	CoRR	2024	DBLP DOI BibTeX RDF
15	Jan Glaubitz, Jan Nordström, Philipp Öffner	Energy-Stable Global Radial Basis Function Methods on Summation-By-Parts Form.	J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
15	Do Wan Kim, Donghwan Lee	Relaxed Conditions for Parameterized Linear Matrix Inequality in the Form of Double Fuzzy Summation.	IEEE Trans. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
15	Fan Zhang 0102, Long Jin 0001, Xin Luo 0001	Error-Summation Enhanced Newton Algorithm for Model Predictive Control of Redundant Manipulators.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
15	Ying Sun, Yuefeng Lu, Ziqi Ding, Qiao Wen, Jing Li, Yanru Liu, Kaizhong Yao	Multi-Scale Road Matching Based on the Summation Product of Orientation and Distance and Shape Descriptors.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
15	Mira Kaissar Abboud, Ali Khenchaf, Philippe Pouliguen, Thomas Bonnafont	Computing the Radar Cross-Section of Dielectric Targets Using the Gaussian Beam Summation Method.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
15	Beata Dmitruk, Przemyslaw Stpiczynski	Improving accuracy of summation using parallel vectorized Kahan's and Gill-Møller algorithms.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
15	Jan Glaubitz, Jan Nordström, Philipp Öffner	Summation-by-Parts Operators for General Function Spaces.	SIAM J. Numer. Anal.	2023	DBLP DOI BibTeX RDF
15	Marina Blanton, Michael T. Goodrich, Chen Yuan 0002	Secure and Accurate Summation of Many Floating-Point Numbers.	Proc. Priv. Enhancing Technol.	2023	DBLP DOI BibTeX RDF
15	David Ginat	Colorful Challenges: Summation Construction.	Inroads	2023	DBLP DOI BibTeX RDF
15	Yushen Fu, Chengyu Huang, Limeng Sun, Weiguang Meng, Xueqing Li, Huazhong Yang	A 6.0-GS/s Time-Interleaved DAC Using an Asymmetric Current-Tree Summation Network and Differential Clock Timing Calibration.	IEEE Trans. Very Large Scale Integr. Syst.	2023	DBLP DOI BibTeX RDF
15	John P. Boyd 0001	Using parity to accelerate Hermite function computations: Zeros of truncated Hermite series, Gaussian quadrature and Clenshaw summation.	Math. Comput. Simul.	2023	DBLP DOI BibTeX RDF
15	Cong Pan	A formula and numerical study on Ewald 1D summation.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
15	Yang Cao 0003, K. Maheswari, S. Dharani	Improved Summation Inequality Based State Estimation for Stochastic Semi-Markovian Jumping Discrete-Time Neural Networks with Mixed Delays and Quantization.	Neural Process. Lett.	2023	DBLP DOI BibTeX RDF
15	JunMin Park, Nam Kyu Kwon, Seok Young Lee	Extended affine bessel summation inequalities: Applications to stability analysis of linear discrete-time systems with time-varying delays.	Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
15	Simon Gluzman, Vyacheslav I. Yukalov	Optimized Self-Similar Borel Summation.	Axioms	2023	DBLP DOI BibTeX RDF
15	Simon Gluzman	Modified Padé-Borel Summation.	Axioms	2023	DBLP DOI BibTeX RDF
15	Yurii Kharkevych, Inna Kal'chuk	Approximation of Functions of the Classes CβψHα by Linear Methods Summation of Their Fourier Series.	Axioms	2023	DBLP DOI BibTeX RDF
15	Vladimir N. Khmelev, Andrey V. Shalunov, Viktor A. Nesterov, Alexander S. Bochenkov	High-Frequency Ultrasonic Radiator Power Increase by Means of Summation of Vibrations of Symmetrically Arranged Langevin Transducers.	Symmetry	2023	DBLP DOI BibTeX RDF
15	Joar Bagge, Anna-Karin Tornberg	Fast Ewald summation for Stokes flow with arbitrary periodicity.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
15	Ken Mattsson, Ylva Ljungberg Rydin	Implicit summation by parts operators for finite difference approximations of first and second derivatives.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
15	Hendrik Ranocha	A discontinuous Galerkin discretization of elliptic problems with improved convergence properties using summation by parts operators.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
15	Jan Glaubitz, Simon-Christian Klein, Jan Nordström, Philipp Öffner	Multi-dimensional summation-by-parts operators for general function spaces: Theory and construction.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
15	Vladimir V. Shashkin, Gordey Goyman, Mikhail A. Tolstykh	Summation-by-parts finite-difference shallow water model on the cubed-sphere grid. Part I: Non-staggered grid.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
15	Vidar Stiernström, Martin Almquist, Ken Mattsson	Boundary-optimized summation-by-parts operators for finite difference approximations of second derivatives with variable coefficients.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
15	Kuan Li, Kang He, Stef Graillat, Hao Jiang 0001, Tongxiang Gu, Jie Liu 0002	Multi-level parallel multi-layer block reproducible summation algorithm.	Parallel Comput.	2023	DBLP DOI BibTeX RDF
15	Chuanan Wei	A q-supercongruence from a q-analogue of Whipple's F23 summation formula.	J. Comb. Theory, Ser. A	2023	DBLP DOI BibTeX RDF
15	Xinyue Huang, Zhongfu Ye, Wangjie Li, Xu Xu 0003	Super-resolution DOA estimation methods based on element multiplication and summation.	Digit. Signal Process.	2023	DBLP DOI BibTeX RDF
15	Eric Hallman, Ilse C. F. Ipsen	Precision-aware deterministic and probabilistic error bounds for floating point summation.	Numerische Mathematik	2023	DBLP DOI BibTeX RDF
15	Fengrui Zhang, Yulia T. Peet	Discontinuous Galerkin spectral element method for shock capturing with summation by parts properties.	J. Comput. Phys. X	2023	DBLP DOI BibTeX RDF
15	David Nocar, George Grossman, Jirí Vasko, Tomás Zdráhal	The Accuracy of Computational Results from Wolfram Mathematica in the Context of Summation in Trigonometry.	Comput.	2023	DBLP DOI BibTeX RDF
15	Hendrik Ranocha, Andrew R. Winters, Michael Schlottke-Lakemper, Philipp Öffner, Jan Glaubitz, Gregor J. Gassner	High-order upwind summation-by-parts methods for nonlinear conservation laws.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jan Glaubitz, Simon-Christian Klein, Jan Nordström, Philipp Öffner	Multi-dimensional summation-by-parts operators for general function spaces: Theory and construction.	CoRR	2023	DBLP DOI BibTeX RDF
15	Tristan Montoya, David W. Zingg	Efficient Tensor-Product Spectral-Element Operators with the Summation-by-Parts Property on Curved Triangles and Tetrahedra.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yan Jiang, Siyang Wang 0003	Upwind summation-by-parts finite differences: error estimates and WENO methodology.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zelalem Arega Worku, David W. Zingg	Entropy-split multidimensional summation-by-parts discretization of the Euler and Navier-Stokes equations.	CoRR	2023	DBLP DOI BibTeX RDF
15	Tristan Montoya, David W. Zingg	Efficient Entropy-Stable Discontinuous Spectral-Element Methods Using Tensor-Product Summation-by-Parts Operators on Triangles and Tetrahedra.	CoRR	2023	DBLP DOI BibTeX RDF
15	Hadrien Brochet, Bruno Salvy	Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yuhang Yao, Syed Ali Jafar	The Capacity of Classical Summation over a Quantum MAC with Arbitrarily Distributed Inputs and Entanglements.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zelalem Arega Worku, Jason E. Hicken, David W. Zingg	Quadrature Rules on Triangles and Tetrahedra for Multidimensional Summation-By-Parts Operators.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jan Glaubitz, Simon-Christian Klein, Jan Nordström, Philipp Öffner	Summation-by-parts operators for general function spaces: The second derivative.	CoRR	2023	DBLP DOI BibTeX RDF
15	Justin Kin Jun Hew, Kenneth Duru, Stephen Roberts, Christopher Zoppou	Strongly stable dual-pairing summation by parts finite difference schemes for the vector invariant nonlinear shallow water equations - I: numerical scheme and validation.	CoRR	2023	DBLP DOI BibTeX RDF
15	Tomas Lundquist, Andrew R. Winters, Jan Nordström	Encapsulated generalized summation-by-parts formulations for curvilinear and non-conforming meshes.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yuhang Yao, Syed Ali Jafar	Communication Efficiency of Summation over a Quantum Erasure MAC with Replicated Inputs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Marina Blanton, Michael T. Goodrich, Chen Yuan 0002	Secure and Accurate Summation of Many Floating-Point Numbers.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zhou Li 0003, Yizhou Zhao, Hua Sun 0001	Weakly Secure Summation with Colluding Users.	CoRR	2023	DBLP DOI BibTeX RDF
15	Hendrik Ranocha	A discontinuous Galerkin discretization of elliptic problems with improved convergence properties using summation by parts operators.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yufeng Tian, Yue Yang, Xiaoyu Ma, Xiaojie Su	Stability of discrete-time delayed systems via convex function-based summation inequality.	Appl. Math. Lett.	2023	DBLP DOI BibTeX RDF
15	J. J. P. Veerman, Logan S. Fox, P. J. Oberly	A Remarkable Summation Formula, Lattice Tilings, and Fluctuations.	Am. Math. Mon.	2023	DBLP DOI BibTeX RDF
15	Wan-Qing Wu, Ming-Zhe Xie	Quantum Secure Multi-Party Summation Using Single Photons.	Entropy	2023	DBLP DOI BibTeX RDF
15	Mark Blacher, Julien Klaus, Christoph Staudt, Sören Laue, Viktor Leis, Joachim Giesen	Efficient and Portable Einstein Summation in SQL.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
15	Mehmet Yamaç, Ugur Akpinar, Erdem Sahin, Serkan Kiranyaz, Moncef Gabbouj	Generalized Tensor Summation Compressive Sensing Network (GTSNET): An Easy to Learn Compressive Sensing Operation.	IEEE Trans. Image Process.	2023	DBLP DOI BibTeX RDF
15	Zhou Li 0003, Yizhou Zhao, Hua Sun 0001	Weakly Secure Summation with Colluding Users.	ISIT	2023	DBLP DOI BibTeX RDF
15	Yongbeom Park, PooGyeon Park	A Novel Free-Matrix-Based Summation Inequality for Stability Analysis of Discrete-Time Delayed System.	CDC	2023	DBLP DOI BibTeX RDF
15	Yuhang Yao, Syed Ali Jafar	The Capacity of Classical Summation over a Quantum MAC with Arbitrarily Replicated Inputs.	GLOBECOM	2023	DBLP DOI BibTeX RDF
15	Thalita E. Nazaré, Samir A. M. Martins, Erivelton Geraldo Nepomuceno	Efficiency and Sustainability in Simulation: Enhancing Accuracy of Chaotic Maps Using Kahan Summation.	NEWCAS	2023	DBLP DOI BibTeX RDF
15	Jianguang Han, Qingtian Lü, Hao Zhang, Bingluo Gu, Zhiwei Liu	PS-Wave Angle-Domain Imaging With Gaussian Beam Summation in 2-D TTI Media.	IEEE Geosci. Remote. Sens. Lett.	2022	DBLP DOI BibTeX RDF
15	Jianguang Han, Qingtian Lü, Bingluo Gu, Zhantao Xing	Gaussian Beam Summation Migration of Deep Reflection Seismic Data: Numerical Examples.	IEEE Geosci. Remote. Sens. Lett.	2022	DBLP DOI BibTeX RDF
15	Marko Lange	Toward Accurate and Fast Summation.	ACM Trans. Math. Softw.	2022	DBLP DOI BibTeX RDF
15	Chandrashekhar Meshram, Rabha W. Ibrahim, Sarita Gajbhiye Meshram, Sajjad Shaukat Jamal, Agbotiname Lucky Imoize	An efficient authentication with key agreement procedure using Mittag-Leffler-Chebyshev summation chaotic map under the multi-server architecture.	J. Supercomput.	2022	DBLP DOI BibTeX RDF
15	Leighton Wilson, Robert Krasny, Tyler Luchko	Accelerating the 3D reference interaction site model theory of molecular solvation with treecode summation and cut-offs.	J. Comput. Chem.	2022	DBLP DOI BibTeX RDF
15	Chuanan Wei	q-Supercongruences from Gasper and Rahman's summation formula.	Adv. Appl. Math.	2022	DBLP DOI BibTeX RDF
15	Simon Gluzman	Optimal Mittag-Leffler Summation.	Axioms	2022	DBLP DOI BibTeX RDF
15	Simon Gluzman	Iterative Borel Summation with Self-Similar Iterated Roots.	Symmetry	2022	DBLP DOI BibTeX RDF
15	Simon Gluzman	Asymptotics and Summation of the Effective Properties of Suspensions, Simple Liquids and Composites.	Symmetry	2022	DBLP DOI BibTeX RDF
15	Tomas Lundquist, Fredrik Laurén, Jan Nordström	A multi-domain summation-by-parts formulation for complex geometries.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
15	Jesse Chan, Christina G. Taylor	Efficient computation of Jacobian matrices for entropy stable summation-by-parts schemes.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
15	Kenneth Duru, Frederick Fung, Christopher Williams	Dual-pairing summation by parts finite difference methods for large scale elastic wave simulations in 3D complex geometries.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
15	Irving Reyna Nolasco, Aimad Er-Raiy, Radouan Boukharfane, Anwar A. Aldhafeeri, Lisandro Dalcín, Matteo Parsani	Eigenanalysis and non-modal analysis of collocated discontinuous Galerkin discretizations with the summation-by-parts property.	Comput. Math. Appl.	2022	DBLP DOI BibTeX RDF
15	Zhibao Qin, Yinjia Wang, Junzhen Du, Yonghang Tai, Junsheng Shi	Development and Validation for Extended Reality-Based MIS Simulator Using Cumulative Summation.	Int. J. Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
15	Kunal Talwar	Differential Secrecy for Distributed Data and Applications to Robust Differentially Secure Vector Summation.	CoRR	2022	DBLP BibTeX RDF
15	Viktor Linders	On an eigenvalue property of Summation-By-Parts operators.	CoRR	2022	DBLP BibTeX RDF
15	Joar Bagge, Anna-Karin Tornberg	Fast Ewald summation for Stokes flow with arbitrary periodicity.	CoRR	2022	DBLP DOI BibTeX RDF
15	Eric Hallman, Ilse C. F. Ipsen	Precision-aware Deterministic and Probabilistic Error Bounds for Floating Point Summation.	CoRR	2022	DBLP DOI BibTeX RDF
15	Yizhou Zhao, Hua Sun 0001	Secure Summation: Capacity Region, Groupwise Key, and Feasibility.	CoRR	2022	DBLP DOI BibTeX RDF
15	Yizhou Zhao, Hua Sun 0001	MDS Variable Generation and Secure Summation with User Selection.	CoRR	2022	DBLP DOI BibTeX RDF
15	Andrés M. Rueda-Ramírez, Gregor J. Gassner	A Flux-Differencing Formula for Split-Form Summation By Parts Discretizations of Non-Conservative Systems: Applications to Subcell Limiting for magneto-hydrodynamics.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jan Glaubitz, Jan Nordström, Philipp Öffner	Summation-by-parts operators for general function spaces.	CoRR	2022	DBLP DOI BibTeX RDF
15	Mehran Raisi, Amirhossein Noohian, Luc McCutcheon, Saber Fallah	Value Summation: A Novel Scoring Function for MPC-based Model-based Reinforcement Learning.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jan Glaubitz, Jan Nordström, Philipp Öffner	Energy-stable global radial basis function methods on summation-by-parts form.	CoRR	2022	DBLP DOI BibTeX RDF
15	Shaoshi Chen, Lixin Du, Hanqian Fang	Shift Equivalence Testing of Polynomials and Symbolic Summation of Multivariate Rational Functions.	CoRR	2022	DBLP DOI BibTeX RDF
15	Derek Colley, Md. Asaduzzaman	An improved method of delta summation for faster current value selection across filtered subsets of interval and temporal relational data.	CoRR	2022	DBLP DOI BibTeX RDF
15	Václav Skala	Summation Problem Revisited - More Robust Computation.	CoRR	2022	DBLP DOI BibTeX RDF