Search results for "formulae"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Miodrag M. Spalevic, Miroslav S. Pranic	Error bounds of certain Gaussian quadrature formulae.	J. Comput. Appl. Math.	2010	DBLP DOI BibTeX RDF
14	Gradimir V. Milovanovic, Aleksandar S. Cvetkovic	Nonstandard Gaussian quadrature formulae based on operator values.	Adv. Comput. Math.	2010	DBLP DOI BibTeX RDF
14	Allal Guessab, Gerhard Schmeisser	Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations.	Adv. Comput. Math.	2010	DBLP DOI BibTeX RDF
14	Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
14	Jürgen Christ, Jochen Hoenicke	Instantiation-Based Interpolation for Quantified Formulae.	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
14	Arthur Charguéraud	Program verification through characteristic formulae.	ICFP	2010	DBLP DOI BibTeX RDF
14	Magdalena Ivanovska, Martin Giese	Probabilistic Logic with Conditional Independence Formulae.	ECAI	2010	DBLP DOI BibTeX RDF
14	Angela Wallenburg	Generalisation of Induction Formulae based on Proving by Symbolic Execution.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
14	Jörg Brauer, Andy King	Automatic Abstraction for Intervals Using Boolean Formulae.	SAS	2010	DBLP DOI BibTeX RDF
14	Magdalena Ivanovska, Martin Giese	Probabilistic Logic with Conditional Independence Formulae.	STAIRS	2010	DBLP DOI BibTeX RDF
14	Mingming Zhang, Shoukuai Liu, Jiajun Wang, Huaqing Shen, Zhigeng Pan	The 3D caricature face modeling based on aesthetic formulae.	VRCAI	2010	DBLP DOI BibTeX RDF
14	Theofrastos Mantadelis, Ricardo Rocha 0001, Angelika Kimmig, Gerda Janssens	Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.	JELIA	2010	DBLP DOI BibTeX RDF
14	Dibakar R. Pant, Ivar Farup	Evaluating Color Difference Formulae by Riemannian Metric.	CGIV/MCS	2010	DBLP BibTeX RDF
14	Renzo Shamey, David Hinks, Manuel Melgosa-Latorre, Ronnier Luo, Guihua Cui, Rafael Huertas, Lina Cárdenas, Seung Geol Lee	Evaluation of Performance of Twelve Color-Difference Formulae Using Two NCSU Experimental Datasets.	CGIV/MCS	2010	DBLP BibTeX RDF
14	Benoit Da Mota	Formules booléennes quantifiées : transformations formelles et calculs parallèles. (Quantified boolean formulae : formal processings and parallel computations).		2010	RDF
14	Fernando Zacarías Flores, Dionicio Zacarías Flores, Rosalba Cuapa Canto, Luis Guzmán Muñoz	Signed Formulae as a New Update Process.	Encyclopedia of Artificial Intelligence	2009	DBLP BibTeX RDF
14	Ronnie Barequet, Gill Barequet, Günter Rote	Formulae and Growth Rates of High-Dimensional Polycubes.	Electron. Notes Discret. Math.	2009	DBLP DOI BibTeX RDF
14	Sergio Caracciolo, Alan D. Sokal, Andrea Sportiello	Noncommutative determinants, Cauchy-Binet formulae, and Capelli-type identities I. Generalizations of the Capelli and Turnbull identities.	Electron. J. Comb.	2009	DBLP DOI BibTeX RDF
14	Bing-Zhao Li 0001, Ran Tao 0003, Tian-Zhou Xu, Yue Wang 0001	The Poisson sum formulae associated with the fractional Fourier transform.	Signal Process.	2009	DBLP DOI BibTeX RDF
14	Masatake Hirao, Masanori Sawa	On Minimal Cubature Formulae of Small Degree for Spherically Symmetric Integrals.	SIAM J. Numer. Anal.	2009	DBLP DOI BibTeX RDF
14	Djurdje Cvijovic	Summation formulae for finite cotangent sums.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
14	Djurdje Cvijovic	Derivative polynomials and closed-form higher derivative formulae.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
14	T. E. Simos	High order closed Newton-Cotes trigonometrically-fitted formulae for the numerical solution of the Schrödinger equation.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
14	Philippe Besnard, Anthony Hunter, Stefan Woltran	Encoding deductive argumentation in quantified Boolean formulae.	Artif. Intell.	2009	DBLP DOI BibTeX RDF
14	Andreas Brandelik	CALCMIN - an EXCEL™ Visual Basic application for calculating mineral structural formulae from electron microprobe analyses.	Comput. Geosci.	2009	DBLP DOI BibTeX RDF
14	Gradimir V. Milovanovic, Aleksandar S. Cvetkovic, Marija P. Stanic	Quadrature formulae with multiple nodes and a maximal trigonometric degree of exactness.	Numerische Mathematik	2009	DBLP DOI BibTeX RDF
14	Luca Aceto, Anna Ingólfsdóttir, Joshua Sack	Characteristic Formulae for Fixed-Point Semantics: A General Framework	EXPRESS	2009	DBLP DOI BibTeX RDF
14	Ioannis Z. Emiris, Angelos Mantzaflaris	Multihomogeneous Resultant Formulae for Systems with Scaled Support	CoRR	2009	DBLP BibTeX RDF
14	Xiao Z. Wang, Wei E. I. Sha	Random Sampling Using Shannon Interpolation and Poisson Summation Formulae	CoRR	2009	DBLP BibTeX RDF
14	Guy Jumarie	Table of some basic fractional calculus formulae derived from a modified Riemann-Liouville derivative for non-differentiable functions.	Appl. Math. Lett.	2009	DBLP DOI BibTeX RDF
14	T. E. Simos	Closed Newton-Cotes trigonometrically-fitted formulae of high order for long-time integration of orbital problems.	Appl. Math. Lett.	2009	DBLP DOI BibTeX RDF
14	Djurdje Cvijovic	Closed-form formulae for the derivatives of trigonometric functions at rational multiples of pi.	Appl. Math. Lett.	2009	DBLP DOI BibTeX RDF
14	Haining Fan, Ming Gu 0001, Jiaguang Sun 0001, Kwok-Yan Lam	Obtaining More Karatsuba-Like Formulae over The Binary Field.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
14	Igor Stéphan, Benoit Da Mota, Pascal Nicolas	From (Quantified) Boolean Formulae to Answer Set Programming.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
14	Fernando San Segundo, J. Rafael Sendra	Partial degree formulae for plane offset curves.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
14	Richard M. Slevinsky, Hassan Safouhi	New formulae for higher order derivatives and applications.	J. Comput. Appl. Math.	2009	DBLP DOI BibTeX RDF
14	Hédi Joulak, Bernhard Beckermann	On Gautschi's conjecture for generalized Gauss-Radau and Gauss-Lobatto formulae.	J. Comput. Appl. Math.	2009	DBLP DOI BibTeX RDF
14	Argimiro Arratia, Carlos E. Ortiz	Approximate formulae for a logic that capture classes of computational complexity.	Log. J. IGPL	2009	DBLP DOI BibTeX RDF
14	Gilles Dowek, Ying Jiang	Enumerating Proofs of Positive Formulae.	Comput. J.	2009	DBLP DOI BibTeX RDF
14	Achim Blumensath, Martin Otto 0001, Mark Weyer	Boundedness of Monadic Second-Order Formulae over Finite Words.	ICALP (2)	2009	DBLP DOI BibTeX RDF
14	Stefan Kupferschmid, Tino Teige, Bernd Becker 0001, Martin Fränzle	Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.	MBMV	2009	DBLP BibTeX RDF
14	Xuezhong Zhou, Runsun Zhang, Yinghui Wang, Ping Li 0063, Baoyan Liu	Network Analysis for Core Herbal Combination Knowledge Discovery from Clinical Chinese Medical Formulae.	DBTA	2009	DBLP DOI BibTeX RDF
14	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
14	Éric Grégoire, Bertrand Mazure, Lakhdar Sais	Local Autarkies Searching for the Dynamic Partition of CNF Formulae.	ICTAI	2009	DBLP DOI BibTeX RDF
14	Khaled M. Elbassioni, Kazuhisa Makino, Imran Rauf	On the Readability of Monotone Boolean Formulae.	COCOON	2009	DBLP DOI BibTeX RDF
14	Omer Landry Nguena-Timo, Pierre-Alain Reynier	On Characteristic Formulae for Event-Recording Automata.	FICS	2009	DBLP BibTeX RDF
14	T. S. Jayram, Swastik Kopparty, Prasad Raghavendra	On the Communication Complexity of Read-Once AC^0 Formulae.	CCC	2009	DBLP DOI BibTeX RDF
14	Wei Chen 0018, Wenhui Zhang	Bounded Model Checking of ACTL Formulae.	TASE	2009	DBLP DOI BibTeX RDF
14	Wolfgang Koch 0001	Exact update formulae for distributed Kalman filtering and retrodiction at arbitrary communication rates.	FUSION	2009	DBLP BibTeX RDF
14	T. E. Simos	High-order closed Newton-Cotes trigonometrically-fitted formulae for long-time integration of orbital problems.	Comput. Phys. Commun.	2008	DBLP DOI BibTeX RDF
14	Claudio Sacerdoti Coen	A User Interface for a Mathematical System that Allows Ambiguous Formulae.	UITP@TPHOLs	2008	DBLP DOI BibTeX RDF
14	Anna M. Johnston	Trace formulae for irreducible polynomials over Fp with minimal order roots in Fpq.	Finite Fields Their Appl.	2008	DBLP DOI BibTeX RDF
14	Takakazu Satoh	Closed formulae for the Weil pairing inversion.	Finite Fields Their Appl.	2008	DBLP DOI BibTeX RDF
14	Hany M. Ahmed, S. I. El-Soubhy	Recurrences and explicit formulae for the expansion and connection coefficients in series of ordinary Bessel polynomials.	Appl. Math. Comput.	2008	DBLP DOI BibTeX RDF
14	Bruno D. Welfert	On quadrature formulae based on derivative collocation.	Appl. Math. Comput.	2008	DBLP DOI BibTeX RDF
14	Josip Pecaric, Mihaela Ribicic Penava, Ana Vukelic	Euler's method for weighted integral formulae.	Appl. Math. Comput.	2008	DBLP DOI BibTeX RDF
14	Paolo Liberatore	Redundancy in logic II: 2CNF and Horn propositional formulae.	Artif. Intell.	2008	DBLP DOI BibTeX RDF
14	Gradimir V. Milovanovic, Aleksandar S. Cvetkovic, Marija P. Stanic	Trigonometric orthogonal systems and quadrature formulae.	Comput. Math. Appl.	2008	DBLP DOI BibTeX RDF
14	Frédéric Meunier	Combinatorial Stokes formulae.	Eur. J. Comb.	2008	DBLP DOI BibTeX RDF
14	Meena Mahajan, B. V. Raghavendra Rao	Arithmetic circuits, syntactic multilinearity, and the limitations of skew formulae.	Electron. Colloquium Comput. Complex.	2008	DBLP BibTeX RDF
14	Jeong Han Kim	Finding cores of random 2-SAT formulae via Poisson cloning	CoRR	2008	DBLP BibTeX RDF
14	Simon R. Thorne, David Ball, Zoe Lawson	A Novel Approach to Formulae Production and Overconfidence Measurement to Reduce Risk in Spreadsheet Modelling	CoRR	2008	DBLP BibTeX RDF
14	Robert H. Sloan, Balázs Szörényi, György Turán	Projective DNF formulae and their revision.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
14	Hing-Cheung So, Yiu Tong Chan, Frankie K. W. Chan	Closed-Form Formulae for Time-Difference-of-Arrival Estimation.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
14	Jens Keiner, Daniel Potts	Fast evaluation of quadrature formulae on the sphere.	Math. Comput.	2008	DBLP DOI BibTeX RDF
14	Vladyslav Kovtun, Thomas J. Wollinger	Fast explicit formulae for genus 2 hyperelliptic curves using projective coordinates (Updated).	IACR Cryptol. ePrint Arch.	2008	DBLP BibTeX RDF
14		Fast Point Multiplication Formulae on Elliptic Curves of Weierstrass Form.	IACR Cryptol. ePrint Arch.	2008	DBLP BibTeX RDF
14	Katarzyna Chuchacz, Roger F. Woods, Sile O'Modhrain	Novel percussive Instrument Design - Converting Mathematical Formulae into engaging Musical Instruments.	ICMC	2008	DBLP BibTeX RDF
14	Cédric Piette, Youssef Hamadi, Lakhdar Sais	Vivifying Propositional Clausal Formulae.	ECAI	2008	DBLP DOI BibTeX RDF
14	Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman	On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.	CMSB	2008	DBLP DOI BibTeX RDF
14	Radu Tiberiu Trimbitas, Maria Gabriela Trimbitas	Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical Integration.	SYNASC	2008	DBLP DOI BibTeX RDF
14	Han Wang, Guihua Cui, M. Ronnier Luo, Haisong Xu	Evaluation of Colour-difference Formulae for Different Colour-difference Magnitudes.	CGIV/MCS	2008	DBLP BibTeX RDF
14	Tai-Chen Chen, Guang-Wan Liao, Yao-Wen Chang	Predictive formulae for OPC with applications to lithography-friendly routing.	DAC	2008	DBLP DOI BibTeX RDF	routing, DFM, OPC, lithography, RET
14	Mauricio Guillermo	Realizability Games in Arithmetical Formulae. (Jeux de Réalisabilité en Arithmétique Classique).		2008	RDF
14	Xinxin Fan, Thomas J. Wollinger, Guang Gong	Efficient explicit formulae for genus 3 hyperelliptic curve cryptosystems over binary fields.	IET Inf. Secur.	2007	DBLP DOI BibTeX RDF
14	Bing-Zhao Li 0001, Ran Tao 0003, Yue Wang 0001	New sampling formulae related to linear canonical transform.	Signal Process.	2007	DBLP DOI BibTeX RDF
14	Changbum Chun	A one-parameter family of quadratically convergent iteration formulae.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
14	Emin Kahya	A class of exponential quadratically convergent iterative formulae for unconstrained optimization.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
14	Mohammad Taghi Darvishi, Ali Barati	A fourth-order method from quadrature formulae to solve systems of nonlinear equations.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
14	George A. Anastassiou	Taylor-Widder representation formulae and Ostrowski, Grüss, integral means and Csiszar type inequalities.	Comput. Math. Appl.	2007	DBLP DOI BibTeX RDF
14	Wenchang Chu, Pierluigi Magli	Summation formulae on reciprocal sequences.	Eur. J. Comb.	2007	DBLP DOI BibTeX RDF
14	Gengsheng L. Zeng, Jiangsjemg You, Qiu Huang, Grant T. Gullberg	Two finite inverse Hilbert transform formulae for region-of-interest tomography.	Int. J. Imaging Syst. Technol.	2007	DBLP DOI BibTeX RDF
14	Bernardo de la Calle Ysern, Pablo González-Vera	Rational quadrature formulae on the unit circle with arbitrary poles.	Numerische Mathematik	2007	DBLP DOI BibTeX RDF
14	Luca Aceto, Anna Ingólfsdóttir	Characteristic Formulae: From Automata to Logic.	Bull. EATCS	2007	DBLP BibTeX RDF
14	Vladislav F. Babenko, Dmytro S. Skorokhodov	On the best interval quadrature formulae for classes of differentiable periodic functions.	J. Complex.	2007	DBLP DOI BibTeX RDF
14	Vladislav F. Babenko, Sergiy V. Borodachov	On the construction of optimal cubature formulae which use integrals over hyperspheres.	J. Complex.	2007	DBLP DOI BibTeX RDF
14	V. Sitaramaiah, M. V. Subbarao	Unitary Analogues Of Some Formulae Of Ingham.	Ars Comb.	2007	DBLP BibTeX RDF
14	Vladimir G. Maz'ya, Alexander B. Movchan, Michael J. Nieves	Uniform asymptotic formulae for Green's tensors in elastic singularly perturbed domains.	Asymptot. Anal.	2007	DBLP BibTeX RDF
14	M. Pitchaimani, Tim Eakin	Existence of Gompertz parameters with mortality deceleration rate and their asymptotic formulae for a large population.	Math. Comput. Model.	2007	DBLP DOI BibTeX RDF
14	Iva Franjic, Ivan Peric, Josip Pecaric	Quadrature formulae of Gauss type based on Euler identities.	Math. Comput. Model.	2007	DBLP DOI BibTeX RDF
14	Giuseppe Di Cataldo, Gaetano Palumbo, Melita Pennisi, Salvatore Pennisi	A generalization of Miller formulae for nonlinear feedback networks.	ECCTD	2007	DBLP DOI BibTeX RDF
14	Gilles Audemard, Saïd Jabbour, Lakhdar Sais	Symmetry Breaking in Quantified Boolean Formulae.	IJCAI	2007	DBLP BibTeX RDF
14	Yanfeng Ouyang, Carlos F. Daganzo	Characterization of the Bullwhip Effect in Linear, Time-Invariant Supply Chains: Some Formulae and Tests.	Manag. Sci.	2006	DBLP DOI BibTeX RDF
14	Robert A. van Engelen, Kyle A. Gallivan, Burt Walsh	Parametric timing estimation with Newton-Gregory formulae.	Concurr. Comput. Pract. Exp.	2006	DBLP DOI BibTeX RDF
14	Phailaung Phohomsiri, Byungrin Han	An alternative proof for the recursive formulae for computing the Moore-Penrose M-inverse of a matrix.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
14	R. Thukral	Introduction to the determinantal formulae for the Levin-type algorithms.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
14	Jinhai Chen, Weiguo Li	On new exponential quadratically convergent iterative formulae.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
14	Andrei Irimia	Combinatorial formulae for the derivatives of Lamé functions.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
14	Iva Franjic, Ivan Peric, Josip Pecaric	General Euler-Ostrowski formulae and applications to quadratures.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
14	Samir A. Ashour, Hany M. Ahmed	Derivation of the errors involved in Hermite interpolation and their applications to quadrature formulae.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF