Search results for "formulae"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Manuel E. Lladser	Uniform Formulae for Coefficients of Meromorphic Functions in Two Variables. Part I.	SIAM J. Discret. Math.	2006	DBLP DOI BibTeX RDF
14	Marta Z. Kwiatkowska, Gethin Norman, António Pacheco 0001	Model checking expected time and expected reward formulae with random time bounds.	Comput. Math. Appl.	2006	DBLP DOI BibTeX RDF
14	Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis	Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages.	J. Satisf. Boolean Model. Comput.	2006	DBLP DOI BibTeX RDF
14	Sotirios E. Notaris	The error norm of Gauss-Kronrod quadrature formulae for weight functions of Bernstein-Szegö type.	Numerische Mathematik	2006	DBLP DOI BibTeX RDF
14	Emmanuel M. Drakakis	Systematic derivation of explicit design formulae for log-domain: A 3rd-order lowpass example.	Microelectron. J.	2006	DBLP DOI BibTeX RDF
14	Andrea Montanari, Devavrat Shah	Counting good truth assignments of random k-SAT formulae	CoRR	2006	DBLP BibTeX RDF
14	Sotirios E. Notaris	Integral formulas for Chebyshev polynomials and the error term of interpolatory quadrature formulae for analytic functions.	Math. Comput.	2006	DBLP DOI BibTeX RDF
14	Valentin Goranko, Dimiter Vakarelov	Elementary canonical formulae: extending Sahlqvist's theorem.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
14	Michael Karow, Diederich Hinrichsen, Anthony J. Pritchard	Interconnected Systems with Uncertain Couplings: Explicit Formulae for mu-Values, Spectral Value Sets, and Stability Radii.	SIAM J. Control. Optim.	2006	DBLP DOI BibTeX RDF
14	Jennie Cochran, Rafael Vázquez, Miroslav Krstic	Backstepping Boundary Control of Navier-Stokes Channel Flow: Explicit Gain Formulae in 3D.	CDC	2006	DBLP DOI BibTeX RDF
14	Daniel Prusa, Václav Hlavác	2D context-free grammars: Mathematical formulae recognition.	Stringology	2006	DBLP BibTeX RDF
14	Hélène Fargier, Pierre Marquis	On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae.	AAAI	2006	DBLP BibTeX RDF
14	Thomas Ågotnes, Natasha Alechina	Knowing Minimum/Maximum n Formulae.	ECAI	2006	DBLP BibTeX RDF
14	Igor Stéphan	Boolean Propagation Based on Literals for Quantified Boolean Formulae.	ECAI	2006	DBLP BibTeX RDF
14	Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis	Representing Policies for Quantified Boolean Formulae.	KR	2006	DBLP BibTeX RDF
14	Qiang Sun, Soon Yim Tan, Kah Chan Teh	Analytical Formulae for Path Loss Prediction in Urban Street Grid Microcellular Environments.	IEEE Trans. Veh. Technol.	2005	DBLP DOI BibTeX RDF
14	Borislav Bojanov, Petar Peynov Petrov	Gaussian Interval Quadrature Formulae for Tchebycheff Systems.	SIAM J. Numer. Anal.	2005	DBLP DOI BibTeX RDF
14	Renato Bruni	On the orthogonalization of arbitrary Boolean formulae.	Adv. Decis. Sci.	2005	DBLP DOI BibTeX RDF
14	John S. Preisser, Daniel I. Garcia	Alternative computational formulae for generalized linear model diagnostics: identifying influential observations with SAS software.	Comput. Stat. Data Anal.	2005	DBLP DOI BibTeX RDF
14	Mamta, Vinay Kanwar, Vijay Kumar Kukreja, Sukhjit Singh	On a class of quadratically convergent iteration formulae.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
14	Paolo Liberatore	Redundancy in logic I: CNF propositional formulae.	Artif. Intell.	2005	DBLP DOI BibTeX RDF
14	Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström	Counting models for 2SAT and 3SAT formulae.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
14	Bernardo de la Calle Ysern	Error bounds for rational quadrature formulae of analytic functions.	Numerische Mathematik	2005	DBLP DOI BibTeX RDF
14	Ilan Degani, Jeremy Schiff, David J. Tannor	Commuting extensions and cubature formulae.	Numerische Mathematik	2005	DBLP DOI BibTeX RDF
14	Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina	Pairs of SAT Assignment in Random Boolean Formulae	CoRR	2005	DBLP BibTeX RDF
14	Paolo Liberatore	Redundancy in Logic II: 2CNF and Horn Propositional Formulae	CoRR	2005	DBLP BibTeX RDF
14	Ondrej Cepek, Petr Kucera	Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing.	Discret. Appl. Math.	2005	DBLP DOI BibTeX RDF
14	Tomohiro Takata	Asymptotic formulae of Mehler-Heine-type for certain classical polyorthogonal polynomials.	J. Approx. Theory	2005	DBLP DOI BibTeX RDF
14	Dong-Guk Han, Tetsuya Izu, Tsuyoshi Takagi	Some Explicit Formulae of NAF and its Left-to-Right Analogue.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
14	Claudio Altafini	Explicit Wei-Norman formulae for matrix Lie groups via Putzer's method.	Syst. Control. Lett.	2005	DBLP DOI BibTeX RDF
14	John A. Vince	Geometry for computer graphics - formulae, examples and proofs.		2005	RDF
14	Chao Wang 0001, Franjo Ivancic, Malay K. Ganai, Aarti Gupta	Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.	LPAR	2005	DBLP DOI BibTeX RDF
14	Magnus Wahlström	An Algorithm for the SAT Problem for Formulae of Linear Length.	ESA	2005	DBLP DOI BibTeX RDF
14	Maurice F. Aburdene, Hoang M. Le, John E. Dorband	Computations of the symmetric cosine transform using Forsythe and Clenshaw's recurrence formulae.	Electronic Imaging: Image and Video Communications and Processing	2005	DBLP DOI BibTeX RDF
14	Eriko Bando, Jon Yngve Hardeberg, David Connah	Can gamut mapping quality be predicted by colour image difference formulae?	Human Vision and Electronic Imaging	2005	DBLP DOI BibTeX RDF
14	Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis	Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.	AAAI	2005	DBLP BibTeX RDF
14	Magnus Wahlström	Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable.	SAT	2005	DBLP DOI BibTeX RDF
14	Marco Brambilla 0001, Alin Deutsch, Liying Sui, Victor Vianu	The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae.	ICWE	2005	DBLP DOI BibTeX RDF
14	Valery A. Liskovets	Enumerative Formulae for Unrooted Planar Maps: a Pattern.	Electron. J. Comb.	2004	DBLP DOI BibTeX RDF
14	Paritosh K. Pandya	Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search.	AVoCS	2004	DBLP DOI BibTeX RDF
14	Nicolas Victoir	Asymmetric Cubature Formulae with Few Points in High Dimension for Symmetric Measures.	SIAM J. Numer. Anal.	2004	DBLP DOI BibTeX RDF
14	Kajal Dihidar, Pabitra Pal Choudhury	Matrix algebraic formulae concerning some exceptional rules of two-dimensional cellular automata.	Inf. Sci.	2004	DBLP DOI BibTeX RDF
14	M. A. Sharaf, M. A. Banajh	Error analysis for stationary one point iteration formulae of arbitrary order of convergence for solving universal Kepler's equation.	Appl. Math. Comput.	2004	DBLP DOI BibTeX RDF
14	Marco Frontini, E. Sormani	Third-order methods from quadrature formulae for solving systems of nonlinear equations.	Appl. Math. Comput.	2004	DBLP DOI BibTeX RDF
14	Valentino Crespi	Exact Formulae for the Lova'sz Theta Function of Sparse Circulant Graphs.	SIAM J. Discret. Math.	2004	DBLP DOI BibTeX RDF
14	Lorenzo Bettini, Rocco De Nicola, Michele Loreti	Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	network aware programming, verification, concurrency, mobile agents, programming languages, modal logics
14	Cungen Cao, Haitao Wang 0009, Yuefei Sui	Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text.	Artif. Intell. Medicine	2004	DBLP DOI BibTeX RDF
14	M. V. Subbarao	Product partitions and recursion formulae.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
14	Tanguy Rivoal	Simultaneous Generation of Koecher and Almkvist-Granville's Apéry-Like Formulae.	Exp. Math.	2004	DBLP DOI BibTeX RDF
14	E. S. Lakshminarayanan, M. Pitchaimani	Existence of Gompertz parameters and its asymptotic formulae for a large population.	Appl. Math. Lett.	2004	DBLP DOI BibTeX RDF
14	Mitsuhiro Haneda, Mitsuru Kawazoe, Tetsuya Takahashi 0001	Suitable Curves for Genus-4 HCC over Prime Fields: Point Counting Formulae for Hyperelliptic Curves of type y2=x2k+1+ax.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
14	George Psihoyios	Some general formulae for the stability function of explicit advanced step-point (EAS) methods.	Math. Comput. Model.	2004	DBLP DOI BibTeX RDF
14	David A. Voss	Fourth-order parallel rosenbrock formulae for stiff systems.	Math. Comput. Model.	2004	DBLP DOI BibTeX RDF
14	Tristan Crolard	A Formulae-as-Types Interpretation of Subtractive Logic.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
14	Jesús M. Carnicer, Mariano Gasca	Classification of Bivariate Configurations with Simple Lagrange Interpolation Formulae.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	Lagrange formula, geometric characterization, bivariate interpolation
14	Dov M. Gabbay, Odinaldo Rodrigues, John Woods 0001	Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
14	José Incera, Gerardo Rubino	Bit-Level and Packet-Level, or Pollaczec-Khintchine Formulae Revisited.	QEST	2004	DBLP DOI BibTeX RDF
14	Wojciech Jamroga	Strategic Planning through Model Checking of ATL Formulae.	ICAISC	2004	DBLP DOI BibTeX RDF	Multi-agent systems, model checking, multi-agent planning
14	Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley	Encoding Quantified CSPs as Quantified Boolean Formulae.	ECAI	2004	DBLP BibTeX RDF
14	Ofer Arieli	Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae.	ECAI	2004	DBLP BibTeX RDF
14	Willem Conradie, Valentin Goranko, Dimiter Vakarelov	Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.	Advances in Modal Logic	2004	DBLP BibTeX RDF
14	R. K. Mohanty 0001, David J. Evans 0001, Dinesh Kumar	High Accuracy Difference Formulae for a Fourth Order Quasi-Linear Parabolic Initial Boundary Value Problem of First Kind.	Int. J. Comput. Math.	2003	DBLP DOI BibTeX RDF
14	Dug Hun Hong, Jang Han Kim	Some Formulae to Calculate the Entropies of the Image Fuzzy Sets.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2003	DBLP DOI BibTeX RDF
14	András Szenes, Michèle Vergne	Residue formulae for vector partitions and Euler-MacLaurin sums.	Adv. Appl. Math.	2003	DBLP DOI BibTeX RDF
14	Moawwad El-Mikkawy	A unified approach to Newton-Cotes quadrature formulae.	Appl. Math. Comput.	2003	DBLP DOI BibTeX RDF
14	Xinyuan Wu	A class of Runge-Kutta formulae of order three and four with reduced evaluations of function.	Appl. Math. Comput.	2003	DBLP DOI BibTeX RDF
14	Peter F. Patel-Schneider, Roberto Sebastiani	A New General Method to Generate Random Modal Formulae for Testing Decision Procedures.	J. Artif. Intell. Res.	2003	DBLP DOI BibTeX RDF
14	Olivier Dubois 0002, Yacine Boufkhad, Jacques Mandler	Typical random 3-SAT formulae and the satisfiability threshold	Electron. Colloquium Comput. Complex.	2003	DBLP BibTeX RDF
14	Lili Ma, Yangquan Chen, Kevin L. Moore 0001	Rational Radial Distortion Models with Analytical Undistortion Formulae	CoRR	2003	DBLP BibTeX RDF
14	Yuan Xu 0005	Lower bound for the number of nodes of cubature formulae on the unit ball.	J. Complex.	2003	DBLP DOI BibTeX RDF
14	M. Kzaz, Marc Prévost	Convergence Acceleration of Gauss-Chebyshev Quadrature Formulae.	Numer. Algorithms	2003	DBLP DOI BibTeX RDF
14	David A. Plaisted, Armin Biere, Yunshan Zhu	A satisfiability procedure for quantified Boolean formulae.	Discret. Appl. Math.	2003	DBLP DOI BibTeX RDF
14	Gradimir V. Milovanovic, Miodrag M. Spalevic	Error bounds for Gauss-Tur'an quadrature formulae of analytic functions.	Math. Comput.	2003	DBLP DOI BibTeX RDF
14	Ephraim Nissan	Identification and Doing Without It, III: Authoritative Opinions, Purposeful Action, Relabeled Goods, and Forensic Examinations. The Case of the Stuffed Birds: Its Narrative Dynamics Set in Formulae.	Cybern. Syst.	2003	DBLP DOI BibTeX RDF
14	Jan Pelzl, Thomas J. Wollinger, Christof Paar	Low Cost Security: Explicit Formulae for Genus 4 Hyperelliptic Curves.	IACR Cryptol. ePrint Arch.	2003	DBLP BibTeX RDF
14	Eli Ben-Sasson, Nicola Galesi	Space complexity of random formulae in resolution.	Random Struct. Algorithms	2003	DBLP DOI BibTeX RDF
14	Alicia Dickenstein, Ioannis Z. Emiris	Multihomogeneous resultant formulae by means of complexes.	J. Symb. Comput.	2003	DBLP DOI BibTeX RDF
14	Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt	Hyperresolution for guarded formulae.	J. Symb. Comput.	2003	DBLP DOI BibTeX RDF
14	Nicolas Peltier	Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae.	Log. J. IGPL	2003	DBLP DOI BibTeX RDF
14	Atsushi Kurokawa, Takashi Sato, Hiroo Masuda	Approximate formulae approach for efficient inductance extraction.	ASP-DAC	2003	DBLP DOI BibTeX RDF
14	Gordon W. Braudaway	Derivation of efficient color-space conversion formulae for n -dimensional interpolation.	Color Imaging: Processing, Hardcopy, and Applications	2003	DBLP DOI BibTeX RDF
14	Renate A. Schmidt, Ullrich Hustadt	A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae.	CADE	2003	DBLP DOI BibTeX RDF
14	Robert H. Sloan, Balázs Szörényi, György Turán	Projective DNF Formulae and Their Revision.	COLT	2003	DBLP DOI BibTeX RDF
14	Moawwad E. A. El-Mikkawy	On the Error Analysis Associated with the Newton-Cotes Formulae.	Int. J. Comput. Math.	2002	DBLP DOI BibTeX RDF
14	Steven B. Bailey, Alan M. Cohen	The Construction of Some Optimal 2D Cubature Formulae.	Int. J. Comput. Math.	2002	DBLP DOI BibTeX RDF
14	Michal Parnas, Dana Ron, Alex Samorodnitsky	Testing Basic Boolean Formulae.	SIAM J. Discret. Math.	2002	DBLP DOI BibTeX RDF
14	Ron Addie, Petteri Mannersalo, Ilkka Norros	Most probable paths and performance formulae for buffers with gaussian input traffic.	Eur. Trans. Telecommun.	2002	DBLP DOI BibTeX RDF
14	Paolo Liberatore	Redundancy in Logic I: CNF Propositional Formulae	CoRR	2002	DBLP BibTeX RDF
14	Olivier Dubois 0002, Yacine Boufkhad, Jacques Mandler	Typical random 3-SAT formulae and the satisfiability threshold	CoRR	2002	DBLP BibTeX RDF
14	Tanja Lange 0001	Efficient Arithmetic on Genus 2 Hyperelliptic Curves over Finite Fields via Explicit Formulae.	IACR Cryptol. ePrint Arch.	2002	DBLP BibTeX RDF
14	Michele Zito 0001	An Upper Bound on the Space Complexity of Random Formulae in Resolution.	RAIRO Theor. Informatics Appl.	2002	DBLP DOI BibTeX RDF
14	Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi	An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation.	J. Autom. Reason.	2002	DBLP DOI BibTeX RDF
14	Dov M. Gabbay, Odinaldo Rodrigues, John Woods 0001	Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.	Log. J. IGPL	2002	DBLP DOI BibTeX RDF
14	Marta Z. Kwiatkowska, Gethin Norman, António Pacheco 0001	Model Checking CSL until Formulae with Random Time Bounds.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
14	Thomas W. Reps, Alexey Loginov, Shmuel Sagiv	Semantic Minimization of 3-Valued Propositional Formulae.	LICS	2002	DBLP DOI BibTeX RDF
14	Claudio Altafini	Explicit Wei-Norman formulae for matrix Lie groups.	CDC	2002	DBLP DOI BibTeX RDF
14	Artur Bykowski, Jouni K. Seppänen, Jaakko Hollmén	Model-independent Bounding of the Supports of Boolean Formulae in Binary Data.	KDID	2002	DBLP BibTeX RDF
14	Paolo Liberatore	The Complexity of Checking Redundancy of CNF Propositional Formulae.	ECAI	2002	DBLP BibTeX RDF
14	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
14	André Pönitz	From Edge Decomposition Formulae to Composition Algorithms.	OR	2002	DBLP DOI BibTeX RDF