Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Xiaoyan Qin, Yang Xu 0001, Yi Liu 0005 |
The validity degree vectors of formulae in two-valued predicate logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 8(5), pp. 829-840, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Stéphane Caron, Quang-Cuong Pham, Yoshihiko Nakamura |
Stability of surface contacts for humanoid robots: Closed-form formulae of the Contact Wrench Cone for rectangular support areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015, pp. 5107-5112, 2015, IEEE, 978-1-4799-6923-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Shizuka Shirai, Tetsuo Fukui |
Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MACIS ![In: Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers, pp. 421-425, 2015, Springer, 978-3-319-32858-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yuehan Wang, Liangcai Gao, Simeng Wang, Zhi Tang 0001, Xiaozhong Liu, Ke Yuan |
WikiMirs 3.0: A Hybrid MIR System Based on the Context, Structure and Importance of Formulae in a Document. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: Proceedings of the 15th ACM/IEEE-CE Joint Conference on Digital Libraries, Knoxville, TN, USA, June 21-25, 2015, pp. 173-182, 2015, ACM, 978-1-4503-3594-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Lai-Xiang Shan, Zheng Qin 0003, Kaiping Xu, Xu Chen, Zhipeng Li |
From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015, pp. 64-71, 2015, IEEE Computer Society, 978-1-4673-9644-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Gill Barequet, Mira Shalah |
Automatic Proofs for Formulae Enumerating Proper Polycubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands, pp. 19-22, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-83-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret |
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings, pp. 385-398, 2015, Springer, 978-3-319-23539-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir |
When Are Prime Formulae Characteristic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS (1) ![In: Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, pp. 76-88, 2015, Springer, 978-3-662-48056-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens |
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, pp. 425-438, 2015, Springer, 978-3-319-23263-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sylvain Hallé, Raphaël Khoury |
Runtime Monitoring of Stream Logic Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS ![In: Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers, pp. 251-258, 2015, Springer, 978-3-319-30302-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Lubomír Brancík, N. Smith |
Two approaches to derive approximate formulae of NILT method with generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 38th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2015, Opatija, Croatia, May 25-29, 2015, pp. 155-160, 2015, IEEE, 978-9-5323-3082-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Dusan Guller |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and , \prec , \Delta Are Recursively Enumerable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSI (3) ![In: Advances in Swarm and Computational Intelligence - 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III, pp. 242-250, 2015, Springer, 978-3-319-20468-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Duangkamol Pakdeesattayapong, Verayuth Lertnattee |
Correcting and Standardizing Crude Drug Names in Traditional Medicine Formulae by Ensemble of String Matching Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Intelligent Computing Theories and Methodologies - 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II, pp. 237-247, 2015, Springer, 978-3-319-22185-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | M. Fareed Arif, Carlos Mencía, João Marques-Silva 0001 |
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, pp. 324-342, 2015, Springer, 978-3-319-24317-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Martin P. Calasan, Rada Dragovic-Ivanovic, Slavica M. Perovich |
Determining the STFT exact formulae to the transistor thermal sensitivity estimations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 4th Mediterranean Conference on Embedded Computing, MECO 2015, Budva, Montenegro, June 14-18, 2015, pp. 443-447, 2015, IEEE, 978-1-4799-8999-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Srinivasa Rao Subramanya Rao |
Interesting Results Arising from Karatsuba Multiplication - Montgomery family of formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCT ![In: Proceedings of the Sixth International Conference on Computer and Communication Technology 2015, ICCCT 2015, Allahabad, India, September 25-27, 2015, pp. 317-322, 2015, ACM, 978-1-4503-3552-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Previti, Alexey Ignatiev, António Morgado 0001, João Marques-Silva 0001 |
Prime Compilation of Non-Clausal Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 1980-1988, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Howard S. Cohl, Moritz Schubotz, Marjorie A. McClain, Bonita V. Saunders, Cherry Y. Zou, Azeem S. Mohammed, Alex A. Danoff |
Growing the Digital Repository of Mathematical Formulae with Generic Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 280-287, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel A. Barragán-Ramírez, Carlos García Gómez, Juan Alberto Rodríguez-Velázquez |
Closed formulae for the local metric dimension of corona product graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 46, pp. 27-34, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Wim van Ackooij, René Henrion |
Gradient Formulae for Nonlinear Probabilistic Constraints with Gaussian and Gaussian-Like Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 24(4), pp. 1864-1889, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Miodrag M. Spalevic |
Error Bounds and Estimates for Gauss-Turán Quadrature Formulae of Analytic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 52(1), pp. 443-467, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Marco B. Caminati, Artur Kornilowicz |
Pseudo-Canonical Formulae are Classical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 22(2), pp. 99-103, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Endre Boros, Aritanan Gruber |
Hardness results for approximate pure Horn CNF formulae minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 71(4), pp. 327-363, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Steven Diot, Marianne M. François, Edward D. Dendy |
An interface reconstruction method based on analytical formulae for 2D planar and axisymmetric arbitrary convex cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 275, pp. 53-64, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang |
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 523, pp. 86-100, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Serkan Araci, Mehmet Açikgöz, Erdogan Sen |
Some New Formulae for Genocchi Numbers and Polynomials Involving Bernoulli and Euler Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2014, pp. 760613:1-760613:7, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Avishay Tal |
Shrinkage of De Morgan Formulae from Quantum Query Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR14, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams |
Digital Repository of Mathematical Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.6519, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Ilya Volkovich |
Characterizing Arithmetic Read-Once Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.1995, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | João Marques-Silva 0001, Mikolás Janota |
Computing Minimal Sets on Propositional Formulae I: Problems & Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.3011, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Lorenzo Ntogramatzidis, Roberto Zanasi, Stefania Cuoghi |
A Novel Instructional Approach to the Design of Standard Controllers: Using Inversion Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Educ. ![In: IEEE Trans. Educ. 57(1), pp. 54-60, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Bai-Ni Guo, Feng Qi 0001 |
Explicit formulae for computing Euler polynomials in terms of Stirling numbers of the second kind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 272, pp. 251-257, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Aysegül Iscanoglu Çekiç, Ömür Ugur |
Pricing formulae for constant proportion debt obligation notes: The Laplace transform technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 259, pp. 362-370, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Luca Alberucci, Jürg Krähenbühl, Thomas Studer |
Justifying induction on modal μ-formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 22(6), pp. 805-817, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Shuichi Moritsugu |
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 94-107, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Shuichi Moritsugu |
Integrating Circumradius and Area Formulae for Cyclic Pentagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 214-221, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Shizuka Shirai, Tetsuo Fukui |
Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 621-628, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Avishay Tal |
Shrinkage of De Morgan Formulae by Spectral Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, October 18-21, 2014, pp. 551-560, 2014, IEEE Computer Society, 978-1-4799-6517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ephraim Nissan |
Tale Variants and Analysis in Episodic Formulae: Early Ottoman, Elizabethan, and "Solomonic" Versions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language, Culture, Computation (2) ![In: Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II, pp. 138-192, 2014, Springer, 978-3-642-45323-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Dusan Guller |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and \varDelta Are Recursively Enumerable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI (Selected Papers) ![In: Computational Intelligence - International Joint Conference, IJCCI 2014 Rome, Italy, October 22-24, 2014 Revised Selected Papers, pp. 213-234, 2014, Springer, 978-3-319-26391-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet |
Formulae for Polyominoes on Twisted Cylinders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 76-87, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Debasattam Pal, Harish K. Pillai |
Novel representation formulae for discrete 2D autonomous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014, pp. 1307-1312, 2014, IEEE, 978-1-4799-7746-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Bin Gu 0005, Tiecheng Song, Dafei Sun, Lei Zhang 0050, Ming Wu, Jie Guo |
A set of closed form approximate formulae for optimal sensing duration of cognitive radio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCSP ![In: Sixth International Conference on Wireless Communications and Signal Processing, WCSP 2014, Hefei, China, October 23-25, 2014, pp. 1-5, 2014, IEEE, 978-1-4799-7339-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Jian Wang, Xiaoping Zhang, Biyan Liang, Xuezhong Zhou, Jiaming Lu, Liran Xu, Xin Deng, Xiuhui Li, Li Wang, Xinghua Tan, Yuxiang Mao, Guoliang Zhang, Junwen Wang, Xiaodong Li, Yuguang Wang |
Regularity of herbal formulae for HIV/AIDS patients with syndromes based on complex networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBD ![In: 2014 IEEE Symposium on Computational Intelligence in Big Data, CIBD 2014, Orlando, FL, USA, December 9-12, 2014, pp. 77-83, 2014, IEEE, 978-1-4799-4541-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Stefania Cuoghi, Lorenzo Ntogramatzidis |
Inversion formulae for the design of PIDF controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AuCC ![In: 4th Australian Control Conference, AuCC 2014, Canberra, Australia, November 17-18, 2014, pp. 140-145, 2014, IEEE, 978-1-9221-0739-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Saïd Jabbour, João Marques-Silva 0001, Lakhdar Sais, Yakoub Salhi |
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 152-165, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoyan Lin, Liangcai Gao, Xuan Hu, Zhi Tang 0001, Yingnan Xiao, Xiaozhong Liu |
A mathematics retrieval system for formulae in layout presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: The 37th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR '14, Gold Coast , QLD, Australia - July 06 - 11, 2014, pp. 697-706, 2014, ACM, 978-1-4503-2257-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Pauline Traynard, François Fages, Sylvain Soliman |
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings, pp. 114-128, 2014, Springer, 978-3-319-12981-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Moritz Schubotz, Abdou Youssef, Volker Markl, Howard S. Cohl, Jimmy J. Li |
Evaluation of Similarity-Measure Factors for Formulae Based on the NTCIR-11 Math Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, NTCIR-11, National Center of Sciences, Tokyo, Japan, December 9-12, 2014, 2014, National Institute of Informatics (NII), 978-4-86049-065-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Trung-Kien Le 0002, Nobutaka Ono |
Numerical formulae for TOA-based microphone and source localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAENC ![In: 14th International Workshop on Acoustic Signal Enhancement, IWAENC 2014, Juan-les-Pins, France, September 8-11, 2014, pp. 178-182, 2014, IEEE, 978-1-4799-6808-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Guillaume Munch-Maccagnoni |
Formulae-as-types for an involutive negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 70:1-70:10, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Christophe Tran |
Formulae for Computation of Tate Pairing on Hyperelliptic Curve Using Hyperelliptic Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICACRYPT ![In: Progress in Cryptology - AFRICACRYPT 2014 - 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings, pp. 199-214, 2014, Springer, 978-3-319-06733-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara |
Cellular Automata and Formulae on Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata - 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings, pp. 55-64, 2014, Springer, 978-3-319-11519-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams |
Digital Repository of Mathematical Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 419-422, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Roxanne Leitão, Chris Roast |
Developing Visualisations For Spreadsheet Formulae: Towards Increasing the Accessibility of Science, Technology, Engineering and Maths Subjects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Andrea Kohlhase, Alexandru Toader |
FEncy: Spreadsheet Formulae Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Christophe Tran |
Addition formulae on hyperelliptic curves : applications to cryptography. (Formules d'addition sur les jacobiennes de courbes hyperelliptiques : applications à la cryptographie). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
14 | Quentin L. Burrell |
Formulae for the h-index: A lack of robustness in Lotkaian informetrics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Sci. Technol. ![In: J. Assoc. Inf. Sci. Technol. 64(7), pp. 1504-1514, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Emanuel Pimentel Barbosa, Mario Antonio Gneri, Ariane Meneguetti |
Range Control Charts Revisited: Simpler Tippett-like Formulae, Its Practical Implementation, and the Study of False Alarm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 42(2), pp. 247-262, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | David G. Glynn |
Permanent formulae from the Veronesean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 68(1-3), pp. 39-47, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ming Yang, Josiah Poon, Shaomo Wang, Li-Jing Jiao, Simon K. Poon, Lizhi Cui, Peiqi Chen, Daniel Man-yuen Sze, Ling Xu |
Application of Genetic Algorithm for Discovery of Core Effective Formulae in TCM Clinical Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2013, pp. 971272:1-971272:16, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Liang Song, Jianmin Wang 0001, Lijie Wen, Hui Kong 0004 |
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2013, pp. 962765:1-962765:24, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Gil Cohen, Ivan Bjerre Damgård, Yuval Ishai, Jonas Kölker, Peter Bro Miltersen, Ran Raz, Ron Rothblum |
Efficient Multiparty Protocols via Log-Depth Threshold Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR13, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Seyed Hamed Hassani, Nicolas Macris, Rüdiger L. Urbanke |
The Space of Solutions of Coupled XORSAT Formulae ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.0540, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Saïd Jabbour, Lakhdar Sais, Yakoub Salhi |
Mining to Compact CNF Propositional Formulae ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.4415, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Abdelmejid Bayad, Jamel Chikhi |
Möbius inversion formulae for Apostol-Bernoulli type polynomials and numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 82(284), pp. 2327-2332, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Miodrag M. Spalevic |
Error bounds of Gaussian quadrature formulae for one class of Bernstein-Szegő weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 82(282), pp. 1037-1056, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Hing-Cheung So, Yiu Tong Chan, K. C. Ho 0001, Yuan Chen 0003 |
Simple Formulae for Bias and Mean Square Error Computation [DSP Tips and Tricks]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Mag. ![In: IEEE Signal Process. Mag. 30(4), pp. 162-165, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | A. Karimi Dizicheh, Soheil Salahshour, Fudziah Bt. Ismail |
A note on "Numerical solutions of fuzzy differential equations by extended Runge-Kutta-like formulae of order 4". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 233, pp. 96-100, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | N. Q. Huy, Jen-Chih Yao |
Exact Formulae for Coderivatives of Normal Cone Mappings to Perturbed Polyhedral Convex Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 157(1), pp. 25-43, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Gil Cohen, Ivan Bjerre Damgård, Yuval Ishai, Jonas Kölker, Peter Bro Miltersen, Ran Raz, Ron D. Rothblum |
Efficient Multiparty Protocols via Log-Depth Threshold Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2013, pp. 480, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Debasattam Pal, Harish K. Pillai |
Representation Formulae for Discrete 2D Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 51(3), pp. 2406-2441, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Chuanan Wei, Dianxuan Gong, Jianbo Li |
Summation formulae for qq-Watson type 4ϕ34ϕ3-series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 313(15), pp. 1589-1593, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Omer Landry Nguena-Timo, Pierre-Alain Reynier |
On characteristic formulae for Event-Recording Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 47(1), pp. 69-96, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Zhaoliang Meng, Zhongxuan Luo |
Constructing cubature formulae of degree 5 with few points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 237(1), pp. 354-362, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Aglic Aljinovic, S. Kovac, Josip Pecaric |
General weighted two-point Radau and Gauss and three-point Lobatto quadrature formulae for functions in L p spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 66(1), pp. 23-44, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jussi Behrndt, Matthias Langer, Vladimir Lotoreichik |
Trace formulae and singular values of resolvent power differences of self-adjoint elliptic operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 88(2), pp. 319-337, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alex Bartel, Bart de Smit |
Index formulae for integral Galois modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 88(3), pp. 845-859, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | James G. Wan |
Some Notes on Weighted Sum Formulae for Double Zeta Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Number Theory and Related Fields ![In: Number Theory and Related Fields, In Memory of Alf van der Poorten, pp. 361-379, 2013, Springer, 978-1-4614-6641-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Zach Weber |
Figures, Formulae, and Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 153-170, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno |
Mining-based compression approach of propositional formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: 22nd ACM International Conference on Information and Knowledge Management, CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013, pp. 289-298, 2013, ACM, 978-1-4503-2263-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | João Marques-Silva 0001, Mikolás Janota, Anton Belov |
Minimal Sets over Monotone Predicates in Boolean Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pp. 592-607, 2013, Springer, 978-3-642-39798-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Seyed Hamed Hassani, Nicolas Macris, Rüdiger L. Urbanke |
The space of solutions of coupled XORSAT formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: Proceedings of the 2013 IEEE International Symposium on Information Theory, Istanbul, Turkey, July 7-12, 2013, pp. 2453-2457, 2013, IEEE, 978-1-4799-0446-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Verayuth Lertnattee, Sinthop Chomya, Virach Sornlertlamvanich |
Using a Normalized Score Centroid-Based Classifier to Classify Multi-label Herbal Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIWAI ![In: Multi-disciplinary Trends in Artificial Intelligence - 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings, pp. 119-130, 2013, Springer, 978-3-642-44948-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Stefania Cuoghi, Lorenzo Ntogramatzidis |
On the use of inversion formulae for the synthesis of discrete PID controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 21st Mediterranean Conference on Control and Automation, Platanias, Chania, Crete, Greece, June 25-28, 2013, pp. 671-676, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Kohlhase, Alexandru Toader |
Exploration of Spreadsheet Formulae with Fency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWA ![In: LWA 2013. Lernen, Wissen & Adaptivität, Workshop Proceedings Bamberg, 7.-9. October 2013, pp. 265, 2013, Universitätsbibliothek Bamberg. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Verayuth Lertnattee, Sinthop Chomya, Chanisara Lueviphan |
Using a Normalized Score Multi-Label KNN to Classify Multi-label Herbal Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIKE ![In: Mining Intelligence and Knowledge Exploration, First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013, pp. 50-61, 2013, Springer, 978-3-319-03843-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer 0001, Christoph Scholl 0001, Bernd Becker 0001 |
Equivalence checking of partial designs using dependency quantified Boolean formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013, pp. 396-403, 2013, IEEE Computer Society, 978-1-4799-2987-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Hongmei Zhou, Jing Yang, Jinrui Guo, Yahong Wang, Guang Zheng, Hongtao Guo, Yong Tan, Xiaoxia Ren, Rongfen Dong, Jinrong Zhang, Zhaoli Cui, Aiping Lu, Miao Jiang 0001, Yaoxian Wang |
Rule-based text mining of traditional Chinese medicine patterns with Chinese herbal medicines and formulae on hypertension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2013 IEEE International Conference on Bioinformatics and Biomedicine, Shanghai, China, December 18-21, 2013, pp. 332-335, 2013, IEEE Computer Society, 978-1-4799-1309-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Dania Bilal |
Comparing google's readability of search results to the flesch readability formulae: A preliminary analysis on children's search queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIST ![In: Beyond the Cloud: Rethinking Information Boundaries - Proceedings of the 76th ASIS&T Annual Meeting, ASIST 2013, Montreal, Canada, November 1-5, 2013, pp. 1-9, 2013, Wiley. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Gil Cohen, Ivan Bjerre Damgård, Yuval Ishai, Jonas Kölker, Peter Bro Miltersen, Ran Raz, Ron D. Rothblum |
Efficient Multiparty Protocols via Log-Depth Threshold Formulae - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (2) ![In: Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II, pp. 185-202, 2013, Springer, 978-3-642-40083-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Michael Cashmore |
Planning as quantified Boolean formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
14 | Haining Fan, Ming Gu 0001, Jiaguang Sun 0001, Kwok-Yan Lam |
Obtaining more Karatsuba-like formulae over the binary field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Inf. Secur. ![In: IET Inf. Secur. 6(1), pp. 14-19, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Luigi Brugnano, Felice Iavernaro, Donato Trigiante |
Energy- and Quadratic Invariants-Preserving Integrators Based upon Gauss Collocation Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 50(6), pp. 2897-2916, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Dae Hyun Yum, Pil Joong Lee |
Exact Formulae for Resilience in Random Key Predistribution Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 11(5), pp. 1638-1642, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Sun-Mi Park |
Explicit formulae of polynomial basis squarer for pentanomials using weakly dual basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 45(2), pp. 205-210, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack |
Characteristic formulae for fixed-point semantics: a general framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 22(2), pp. 125-173, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Dianjun Lu, Keh-Shin Lii, Yu Wang |
The formulae and algorithms for Lagrange-power basis transformation and Lagrange-Newton transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(10), pp. 5861-5866, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Gradimir V. Milovanovic |
Generalized quadrature formulae for analytic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(17), pp. 8537-8551, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Miodrag M. Spalevic, Miroslav S. Pranic, Aleksandar V. Pejcev |
Maximum of the modulus of kernels of Gaussian quadrature formulae for one class of Bernstein-Szegő weight functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(9), pp. 5746-5756, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|