Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Manuel E. Lladser |
Uniform Formulae for Coefficients of Meromorphic Functions in Two Variables. Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 20(4), pp. 811-828, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 51(2), pp. 305-316, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Satisf. Boolean Model. Comput. ![In: J. Satisf. Boolean Model. Comput. 1(1), pp. 61-88, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Sotirios E. Notaris |
The error norm of Gauss-Kronrod quadrature formulae for weight functions of Bernstein-Szegö type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 103(1), pp. 99-127, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Emmanuel M. Drakakis |
Systematic derivation of explicit design formulae for log-domain: A 3rd-order lowpass example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 37(7), pp. 646-656, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Montanari, Devavrat Shah |
Counting good truth assignments of random k-SAT formulae ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0607073, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Sotirios E. Notaris |
Integral formulas for Chebyshev polynomials and the error term of interpolatory quadrature formulae for analytic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 75(255), pp. 1217-1231, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Valentin Goranko, Dimiter Vakarelov |
Elementary canonical formulae: extending Sahlqvist's theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 141(1-2), pp. 180-217, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 45(3), pp. 856-884, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 5329-5334, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Prusa, Václav Hlavác |
2D context-free grammars: Mathematical formulae recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stringology ![In: Proceedings of the Prague Stringology Conference, Prague, Czech Republic, August 28-30, 2006, pp. 77-89, 2006, Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University, 80-01-03533-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 42-47, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Thomas Ågotnes, Natasha Alechina |
Knowing Minimum/Maximum n Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 317-321, 2006, IOS Press, 1-58603-642-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Igor Stéphan |
Boolean Propagation Based on Literals for Quantified Boolean Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 452-456, 2006, IOS Press, 1-58603-642-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 286-297, 2006, AAAI Press, 978-1-57735-271-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 54(4), pp. 1251-1258, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Borislav Bojanov, Petar Peynov Petrov |
Gaussian Interval Quadrature Formulae for Tchebycheff Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 43(2), pp. 787-795, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Renato Bruni |
On the orthogonalization of arbitrary Boolean formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Decis. Sci. ![In: Adv. Decis. Sci. 9(2), pp. 61-74, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 48(4), pp. 755-764, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Mamta, Vinay Kanwar, Vijay Kumar Kukreja, Sukhjit Singh |
On a class of quadratically convergent iteration formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 166(3), pp. 633-637, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Liberatore |
Redundancy in logic I: CNF propositional formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 163(2), pp. 203-232, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström |
Counting models for 2SAT and 3SAT formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 332(1-3), pp. 265-291, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Bernardo de la Calle Ysern |
Error bounds for rational quadrature formulae of analytic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 101(2), pp. 251-271, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ilan Degani, Jeremy Schiff, David J. Tannor |
Commuting extensions and cubature formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 101(3), pp. 479-500, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina |
Pairs of SAT Assignment in Random Boolean Formulae ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cond-mat/0506053, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Paolo Liberatore |
Redundancy in Logic II: 2CNF and Horn Propositional Formulae ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0506074, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Ondrej Cepek, Petr Kucera |
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 149(1-3), pp. 14-52, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Tomohiro Takata |
Asymptotic formulae of Mehler-Heine-type for certain classical polyorthogonal polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 135(2), pp. 160-175, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Dong-Guk Han, Tetsuya Izu, Tsuyoshi Takagi |
Some Explicit Formulae of NAF and its Left-to-Right Analogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2005, pp. 384, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Claudio Altafini |
Explicit Wei-Norman formulae for matrix Lie groups via Putzer's method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 54(11), pp. 1121-1130, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | John A. Vince |
Geometry for computer graphics - formulae, examples and proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
14 | Chao Wang 0001, Franjo Ivancic, Malay K. Ganai, Aarti Gupta |
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 322-336, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Magnus Wahlström |
An Algorithm for the SAT Problem for Formulae of Linear Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2005, 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings, pp. 107-118, 2005, Springer, 3-540-29118-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electronic Imaging: Image and Video Communications and Processing ![In: Electronic Imaging: Image and Video Communications and Processing 2005, San Jose, California, USA, 16-20 January 2005, 2005, SPIE, 9780819456588. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Eriko Bando, Jon Yngve Hardeberg, David Connah |
Can gamut mapping quality be predicted by colour image difference formulae? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human Vision and Electronic Imaging ![In: Human Vision and Electronic Imaging X, San Jose, CA, USA, January 17, 2005, pp. 180-191, 2005, SPIE, 978-0-8194-5639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pp. 288-293, 2005, AAAI Press / The MIT Press, 1-57735-236-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Magnus Wahlström |
Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 309-323, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings, pp. 557-568, 2005, Springer, 3-540-27996-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Valery A. Liskovets |
Enumerative Formulae for Unrooted Planar Maps: a Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 11(1), 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Paritosh K. Pandya |
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 247-262, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Nicolas Victoir |
Asymmetric Cubature Formulae with Few Points in High Dimension for Symmetric Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 42(1), pp. 209-227, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kajal Dihidar, Pabitra Pal Choudhury |
Matrix algebraic formulae concerning some exceptional rules of two-dimensional cellular automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 165(1-2), pp. 91-101, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 155(3), pp. 699-707, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Marco Frontini, E. Sormani |
Third-order methods from quadrature formulae for solving systems of nonlinear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 149(3), pp. 771-782, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Valentino Crespi |
Exact Formulae for the Lova'sz Theta Function of Sparse Circulant Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 17(4), pp. 670-674, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(3), pp. 245-288, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Medicine ![In: Artif. Intell. Medicine 32(1), pp. 3-13, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | M. V. Subbarao |
Product partitions and recursion formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2004(33), pp. 1725-1735, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Tanguy Rivoal |
Simultaneous Generation of Koecher and Almkvist-Granville's Apéry-Like Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 13(4), pp. 503-508, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | E. S. Lakshminarayanan, M. Pitchaimani |
Existence of Gompertz parameters and its asymptotic formulae for a large population. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 17(2), pp. 173-180, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2004, pp. 151, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | George Psihoyios |
Some general formulae for the stability function of explicit advanced step-point (EAS) methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 40(11-12), pp. 1171-1179, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | David A. Voss |
Fourth-order parallel rosenbrock formulae for stiff systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 40(11-12), pp. 1193-1198, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Tristan Crolard |
A Formulae-as-Types Interpretation of Subtractive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 14(4), pp. 529-570, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jesús M. Carnicer, Mariano Gasca |
Classification of Bivariate Configurations with Simple Lagrange Interpolation Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 20(1-3), pp. 5-16, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Epistemology, and the Unity of Science ![In: Logic, Epistemology, and the Unity of Science, pp. 291-326, 2004, Springer, 978-90-481-2486-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | José Incera, Gerardo Rubino |
Bit-Level and Packet-Level, or Pollaczec-Khintchine Formulae Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 82-89, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Wojciech Jamroga |
Strategic Planning through Model Checking of ATL Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings, pp. 879-884, 2004, Springer, 3-540-22123-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 176-180, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Ofer Arieli |
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 773-777, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 5, papers from the fifth conference on `Advances in Modal logic,` held in Manchester, UK, 9-11 September 2004, pp. 17-51, 2004, King's College Publications, 1-904987-22-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 80(3), pp. 381-398, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Dug Hun Hong, Jang Han Kim |
Some Formulae to Calculate the Entropies of the Image Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 11(5), pp. 615-626, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | András Szenes, Michèle Vergne |
Residue formulae for vector partitions and Euler-MacLaurin sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 30(1-2), pp. 295-342, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Moawwad El-Mikkawy |
A unified approach to Newton-Cotes quadrature formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 138(2-3), pp. 403-413, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Xinyuan Wu |
A class of Runge-Kutta formulae of order three and four with reduced evaluations of function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 146(2-3), pp. 417-432, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 18, pp. 351-389, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Dubois 0002, Yacine Boufkhad, Jacques Mandler |
Typical random 3-SAT formulae and the satisfiability threshold ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR03, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
14 | Lili Ma, Yangquan Chen, Kevin L. Moore 0001 |
Rational Radial Distortion Models with Analytical Undistortion Formulae ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CV/0307047, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
14 | Yuan Xu 0005 |
Lower bound for the number of nodes of cubature formulae on the unit ball. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 19(3), pp. 392-402, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | M. Kzaz, Marc Prévost |
Convergence Acceleration of Gauss-Chebyshev Quadrature Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 34(2-4), pp. 379-391, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | David A. Plaisted, Armin Biere, Yunshan Zhu |
A satisfiability procedure for quantified Boolean formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 130(2), pp. 291-328, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Gradimir V. Milovanovic, Miodrag M. Spalevic |
Error bounds for Gauss-Tur'an quadrature formulae of analytic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 72(244), pp. 1855-1872, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cybern. Syst. ![In: Cybern. Syst. 34(6-7), pp. 467-500, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jan Pelzl, Thomas J. Wollinger, Christof Paar |
Low Cost Security: Explicit Formulae for Genus 4 Hyperelliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2003, pp. 97, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
14 | Eli Ben-Sasson, Nicola Galesi |
Space complexity of random formulae in resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 23(1), pp. 92-109, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Alicia Dickenstein, Ioannis Z. Emiris |
Multihomogeneous resultant formulae by means of complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 36(3-4), pp. 317-342, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
Hyperresolution for guarded formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 36(1-2), pp. 163-192, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Nicolas Peltier |
Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 11(1), pp. 97-129, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Atsushi Kurokawa, Takashi Sato, Hiroo Masuda |
Approximate formulae approach for efficient inductance extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003, pp. 143-148, 2003, ACM, 0-7803-7660-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Gordon W. Braudaway |
Derivation of efficient color-space conversion formulae for n -dimensional interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Color Imaging: Processing, Hardcopy, and Applications ![In: Color Imaging VIII: Processing, Hardcopy, and Applications, Santa Clara, CA, USA, January 20, 2003, pp. 328-340, 2003, SPIE, 978-0-8194-4808-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Renate A. Schmidt, Ullrich Hustadt |
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 412-426, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Robert H. Sloan, Balázs Szörényi, György Turán |
Projective DNF Formulae and Their Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Computational Learning Theory and Kernel Machines, 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings, pp. 625-639, 2003, Springer, 3-540-40720-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Moawwad E. A. El-Mikkawy |
On the Error Analysis Associated with the Newton-Cotes Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 79(9), pp. 1043-1047, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Steven B. Bailey, Alan M. Cohen |
The Construction of Some Optimal 2D Cubature Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 79(11), pp. 1233-1242, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Michal Parnas, Dana Ron, Alex Samorodnitsky |
Testing Basic Boolean Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 16(1), pp. 20-46, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Ron Addie, Petteri Mannersalo, Ilkka Norros |
Most probable paths and performance formulae for buffers with gaussian input traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. Trans. Telecommun. ![In: Eur. Trans. Telecommun. 13(3), pp. 183-196, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Liberatore |
Redundancy in Logic I: CNF Propositional Formulae ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0211031, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
14 | Olivier Dubois 0002, Yacine Boufkhad, Jacques Mandler |
Typical random 3-SAT formulae and the satisfiability threshold ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DM/0211036, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
14 | Tanja Lange 0001 |
Efficient Arithmetic on Genus 2 Hyperelliptic Curves over Finite Fields via Explicit Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2002, pp. 121, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
14 | Michele Zito 0001 |
An Upper Bound on the Space Complexity of Random Formulae in Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 36(4), pp. 329-339, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 28(2), pp. 101-142, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 10(6), pp. 601-652, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Marta Z. Kwiatkowska, Gethin Norman, António Pacheco 0001 |
Model Checking CSL until Formulae with Random Time Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings, pp. 152-168, 2002, Springer, 3-540-43913-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Thomas W. Reps, Alexey Loginov, Shmuel Sagiv |
Semantic Minimization of 3-Valued Propositional Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, pp. 40-, 2002, IEEE Computer Society, 0-7695-1483-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Claudio Altafini |
Explicit Wei-Norman formulae for matrix Lie groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002, pp. 2714-2719, 2002, IEEE, 0-7803-7516-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDID ![In: Proceedings of the First International Workshop on Inductive Databases, 20 August 2002, Helsinki, Finland, pp. 20-31, 2002, Helsinki University Printing House, Helsinki, 952-10-0638-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
14 | Paolo Liberatore |
The Complexity of Checking Redundancy of CNF Propositional Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002, pp. 262-266, 2002, IOS Press. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
14 | Dimitra Giannakopoulou, Flavio Lerda |
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 308-326, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | André Pönitz |
From Edge Decomposition Formulae to Composition Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research Proceedings 2002, Selected Papers of the International Conference on Operations Research (SOR 2002), Klagenfurt, Austria, September 2-5, 2002, pp. 383-388, 2002, Springer, 978-3-540-00387-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|