Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Feixiang Chen, Xuefei Liu |
Refinements on the Hermite-Hadamard Inequalities for r-Convex Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2013, pp. 978493:1-978493:5, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jingfeng Tian, Shu-Yan Wang |
Refinements of Generalized Aczél's Inequality and Bellman's Inequality and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2013, pp. 645263:1-645263:6, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Scott N. Gerard, Munindar P. Singh |
Formalizing and verifying protocol refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Intell. Syst. Technol. ![In: ACM Trans. Intell. Syst. Technol. 4(2), pp. 21:1-21:27, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Marco Castellani 0002, Massimiliano Giuli |
Refinements of existence results for relaxed quasimonotone equilibrium problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 57(4), pp. 1213-1227, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Youssef Mroueh, Lorenzo Rosasco |
Quantization and Greed are Good: One bit Phase Retrieval, Robustness and Greedy Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.1830, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Duc-Phong Le |
Further Refinements of Miller Algorithm on Edwards curves ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.2694, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Jan Kretínský, Salomon Sickert |
On Refinements of Boolean and Parametric Modal Transition Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.5278, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Jonathan Scarlett, Li Peng 0001, Neri Merhav, Alfonso Martinez, Albert Guillen i Fabregas |
Expurgated Random-Coding Ensembles: Exponents, Refinements and Connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.6679, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Kazuhiko Minematsu, Stefan Lucks, Tetsu Iwata |
Improved Authenticity Bound of EAX, and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2013, pp. 792, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Sandip Ray, Rob Sumners |
Specification and Verification of Concurrent Programs Through Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 51(3), pp. 241-280, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Bryson Brown |
Consequence as Preservation: Some Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 123-139, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mads Frost, Afsaneh Doryab, Maria Faurholt-Jepsen, Lars Vedel Kessing, Jakob E. Bardram |
Supporting disease insight through data analysis: refinements of the monarca self-assessment system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp ![In: The 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '13, Zurich, Switzerland, September 8-12, 2013, pp. 133-142, 2013, ACM, 978-1-4503-1770-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Christine Choppy, Laure Petrucci, Alfred Sanogo |
Coloured Petri Nets Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE+ModPE ![In: Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013, pp. 187-201, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Jan Kretínský, Salomon Sickert |
On Refinements of Boolean and Parametric Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 213-230, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ivo Krka, Nenad Medvidovic |
Distributing refinements of a system-level partial behavior model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013, pp. 72-81, 2013, IEEE Computer Society, 978-1-4673-5765-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini |
On requirements verification for model refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013, pp. 62-71, 2013, IEEE Computer Society, 978-1-4673-5765-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Anton Wijs, Luc Engelen |
Efficient Property Preservation Checking of Model Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 565-579, 2013, Springer, 978-3-642-36741-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Cyril Cohen, Maxime Dénès, Anders Mörtberg |
Refinements for Free! ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings, pp. 147-162, 2013, Springer, 978-3-319-03544-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hongjin Liang 0001, Jan Hoffmann 0002, Xinyu Feng 0001, Zhong Shao |
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 227-241, 2013, Springer, 978-3-642-40183-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Kazuhiko Minematsu, Stefan Lucks, Tetsu Iwata |
Improved Authenticity Bound of EAX, and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProvSec ![In: Provable Security - 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings, pp. 184-201, 2013, Springer, 978-3-642-41226-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Victor Guana, Eleni Stroulia |
Backward propagation of code refinements on transformational code generation environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEFSE@ICSE ![In: 7th International Workshop on Traceability in Emerging Forms of Software Engineering, TEFSE 2013, 19 May, 2013, San Francisco, CA, USA, pp. 55-60, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Andrey Lizyayev |
Stochastic dominance efficiency analysis of diversified portfolios: classification, comparison and refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 196(1), pp. 391-410, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Keisuke Otaki, Akihiro Yamamoto |
Estimation of Generating Processes of Strings Represented with Patterns and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Proceedings of the Eleventh International Conference on Grammatical Inference, ICGI 2012, University of Maryland, College Park, USA, September 5-8, 2012, pp. 177-182, 2012, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Bo Zhang 0044, Johan van Leeuwaarden, Bert Zwart |
Staffing Call Centers with Impatient Customers: Refinements to Many-Server Asymptotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 60(2), pp. 461-474, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Julia Schaumburg |
Predicting extreme value at risk: Nonparametric quantile regression with refinements from extreme value theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 56(12), pp. 4081-4096, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | John H. Nixon |
Investigations into refinements of Storey's method of multiple hypothesis testing minimising the FDR, and its application to test binomial data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 56(12), pp. 4381-4398, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ljiljana Cvetkovic, Maja Nedovic |
Eigenvalue localization refinements for the Schur complement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(17), pp. 8341-8346, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Huan-Nan Shi, Da-Mao Li, Jian Zhang |
Refinements of Inequalities among Difference of Means. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2012, pp. 315697:1-315697:15, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Feixiang Chen |
Refinements of Kantorovich Inequality for Hermitian Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2012, pp. 483624:1-483624:11, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ali Barani, Saeed Barani, Sever Silvestru Dragomir |
Refinements of Hermite-Hadamard Inequalities for Functions When a Power of the Absolute Value of the Second Derivative Is P-Convex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2012, pp. 615737:1-615737:10, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ye Liang 0001 |
Real root refinements for univariate polynomial equations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.4332, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Yong-In Kim, Xiaojing Yang |
Generalizations and refinements of Hölder's inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 25(7), pp. 1094-1097, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | John Capper, Henrik Nilsson |
Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 25(2-4), pp. 275-310, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Luiz F. S. Coletta, Lucas Vendramin, Eduardo R. Hruschka, Ricardo J. G. B. Campello, Witold Pedrycz |
Collaborative Fuzzy Clustering Algorithms: Some Refinements and Design Guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 20(3), pp. 444-462, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Kuei-Lin Tseng, Shiow-Ru Hwang, Sever Silvestru Dragomir |
Refinements of Fejér's inequality for convex functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 65(1), pp. 17-28, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Nicola Gatti 0001, Fabio Panozzo |
New results on the verification of Nash refinements for extensive-form games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), pp. 813-820, 2012, IFAAMAS. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala |
Nested refinements: a logic for duck typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 231-244, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Sergio Giro, Markus N. Rabe |
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 333-348, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rick Salay, Marsha Chechik, Jan Gorzny |
Towards a Methodology for Verifying Partial Model Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012, pp. 938-945, 2012, IEEE Computer Society, 978-1-4577-1906-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Carla Manni, Francesca Pelosi, Hendrik Speleers |
Local Hierarchical h-Refinements in IgA Based on Generalized B-Splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMCS ![In: Mathematical Methods for Curves and Surfaces - 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers, pp. 341-363, 2012, Springer, 978-3-642-54381-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Luis A. Leiva |
Automatic web design refinements based on collective user behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: CHI Conference on Human Factors in Computing Systems, CHI '12, Extended Abstracts Volume, Austin, TX, USA, May 5-10, 2012, pp. 1607-1612, 2012, ACM, 978-1-4503-1016-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mark A. Livingston, Jonathan W. Decker |
Evaluation of multivariate visualizations: a case study of refinements and user experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visualization and Data Analysis ![In: Visualization and Data Analysis 2012, Burlingame, CA, USA, January 23-25, 2012, pp. 82940G, 2012, SPIE, 978-0-8194-8941-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jie Geng, Zhenjiang Miao, Hai Chi |
Temporal-Spatial Refinements for Video Concept Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (3) ![In: Computer Vision - ACCV 2012 - 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III, pp. 547-559, 2012, Springer, 978-3-642-37430-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Klaus-Dieter Schewe, Qing Wang 0002 |
Preferential Refinements of Abstract State Machines for Service Mediators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012, pp. 158-166, 2012, IEEE, 978-1-4673-2857-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Nathaniel Oco, Rachel E. O. Roxas |
Pattern Matching Refinements to Dictionary-Based Code-Switching Point Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 26th Pacific Asia Conference on Language, Information and Computation, PACLIC 26, Bali, Indonesia, December 16-18, 2012, pp. 229-236, 2012, PACLIC 26 Organizing Committee and PACLIC Steering Committee / ACL / Faculty of Computer Science, Universitas Indonesia, 978-979-1421-17-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Gregory Druck, Bo Pang |
Spice it up? Mining Refinements to Online Instructions from User Generated Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: The 50th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, July 8-14, 2012, Jeju Island, Korea - Volume 1: Long Papers, pp. 545-553, 2012, The Association for Computer Linguistics, 978-1-937284-24-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Joseph E. Cavanaugh, Andrew A. Neath |
Akaike's Information Criterion: Background, Derivation, Properties, and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Encyclopedia of Statistical Science ![In: International Encyclopedia of Statistical Science, pp. 26-29, 2011, Springer, 978-3-642-04897-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Harry Buhrman, Peter T. S. van der Gulik, Steven Kelk, Wouter M. Koolen, Leen Stougie |
Some Mathematical Refinements Concerning Error Minimization in the Genetic Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 8(5), pp. 1358-1372, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Cristinel Mortici |
Refinements of Gurland's formula for pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 62(6), pp. 2616-2620, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jun Ma 0017, Yeong-Nan Yeh |
Refinements of (n, m)-Dyck paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 32(1), pp. 92-99, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Petr Buryan, Jirí Kubalík |
Context-sensitive refinements for stochastic optimisation algorithms in inductive logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 35(1), pp. 19-36, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Rajesh Kumar Aggarwal, Mayank Dave |
Acoustic modeling problem for automatic speech recognition system: advances and refinements (Part II). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Speech Technol. ![In: Int. J. Speech Technol. 14(4), pp. 309, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Zhengjie Sun, Ling Zhu |
Some Refinements of Inequalities for Circular Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2011, pp. 869261:1-869261:9, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Guido Montúfar, Nihat Ay |
Refinements of Universal Approximation Results for Deep Belief Networks and Restricted Boltzmann Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. ![In: Neural Comput. 23(5), pp. 1306-1319, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ljiljana Cvetkovic, Vladimir Kostic, Juan Manuel Peña 0001 |
Eigenvalue Localization Refinements for Matrices Related to Positivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 32(3), pp. 771-784, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Duc-Phong Le, Chao-Liang Liu |
Refinements of Miller's Algorithm over Weierstrass Curves Revisited ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.0337, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Sergey Korotov, Michal Krízek |
Nonobtuse local tetrahedral refinements towards a polygonal face/interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 24(6), pp. 817-821, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | H. M. Srivastava 0001, Zhi-Hua Zhang, Yu-Dong Wu |
Some further refinements and extensions of the Hermite-Hadamard and Jensen inequalities in several variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 54(11-12), pp. 2709-2717, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Duc-Phong Le, Chao-Liang Liu |
Refinements of Miller's Algorithm over Weierstrass Curves Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 54(10), pp. 1582-1591, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Zhicheng Zheng, Xiance Si, Edward Y. Chang, Xiaoyan Zhu |
K2Q: Generating Natural Language Questions from Keywords with User Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Fifth International Joint Conference on Natural Language Processing, IJCNLP 2011, Chiang Mai, Thailand, November 8-13, 2011, pp. 947-955, 2011, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer 0001 |
Verification of microarchitectural refinements in rule-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 61-71, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Bryan Temprado-Battad, Antonio Sarasa Cabezuelo, José Luis Sierra-Rodríguez |
Checking the Conformance of Grammar Refinements with Respect to Initial Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Federated Conference on Computer Science and Information Systems, FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings, pp. 887-890, 2011, 978-83-60810-22-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Thierry-Marie Guerra, Abdelhafidh Jaadari, Juntao Pan, Antonio Sala 0001 |
Some refinements for non quadratic stabilization of continuous TS models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2011, IEEE International Conference on Fuzzy Systems, Taipei, Taiwan, 27-30 June, 2011, Proceedings, pp. 329-333, 2011, IEEE, 978-1-4244-7315-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Martin Schmidt 0002, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack |
Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings, pp. 289-300, 2011, Springer, 978-3-642-24454-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino |
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers, pp. 268-283, 2011, Springer, 978-3-642-29319-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Vijay Kumar, Somnath Sengupta |
Decoder driven multi resolution side information refinements and mode decisions for improved rate-distortion performance in distributed video coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2011 IEEE International Conference on Multimedia and Expo, ICME 2011, 11-15 July, 2011, Barcelona, Catalonia, Spain, pp. 1-6, 2011, IEEE Computer Society, 978-1-61284-348-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ilenia Tinnirello, Giuseppe Bianchi 0001, Yang Xiao 0001 |
Refinements on IEEE 802.11 Distributed Coordination Function Modeling Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 59(3), pp. 1055-1067, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ángel García-Crespo, Alejandro Rodríguez González, Myriam Mencke, Juan Miguel Gómez-Berbís, Ricardo Colomo Palacios |
ODDIN: Ontology-driven differential diagnosis based on logical inference and probabilistic refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 37(3), pp. 2621-2628, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Joan Daemen, Vincent Rijmen |
Refinements of the ALRED construction and MAC security claims. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Inf. Secur. ![In: IET Inf. Secur. 4(3), pp. 149-157, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Wajeeh Alomari, Maslina Darus, Ugur S. Kirmaci |
Refinements of Hadamard-type inequalities for quasi-convex functions with applications to trapezoidal formula and to special means. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 59(1), pp. 225-232, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Wengui Yang |
Refinements of generalized Aczél-Popoviciu's inequality and Bellman's inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 59(11), pp. 3570-3577, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Zhicheng Hu, Aimin Xu |
Refinements of Aczél and Bellman's inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 59(9), pp. 3078-3083, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | |
The Gene Ontology in 2010: extensions and refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 38(Database-Issue), pp. 331-335, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Florian Roemer, Martin Haardt |
Tensor-based channel estimation and iterative refinements for two-way relaying with multiple antennas and spatial reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 58(11), pp. 5720-5735, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Zhen-Gang Xiao, H. M. Srivastava 0001, Zhi-Hua Zhang |
Further refinements of the Jensen inequalities based upon samples with repetitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 51(5-6), pp. 592-600, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Richard P. Anstee, Balin Fleming |
Two refinements of the bound of Sauer, Perles and Shelah, and of Vapnik and Chervonenkis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 310(23), pp. 3318-3323, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Richard Banach, Gerhard Schellhorn |
Atomic actions, and their refinements to isolated protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 22(1), pp. 33-61, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Antti Hannukainen, Sergey Korotov, Michal Krízek |
On global and local mesh refinements by a generalized conforming bisection algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 235(2), pp. 419-436, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Afredo Alzaga, Rodrigo Iglesias, Ricardo Pignol |
Spectra of symmetric powers of graphs and the Weisfeiler-Lehman refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 100(6), pp. 671-682, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen |
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGT ![In: Algorithmic Game Theory - Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings, pp. 198-209, 2010, Springer, 978-3-642-16169-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Dominik Domis, Kai Höfig, Mario Trapp |
A Consistency Check Algorithm for Component-Based Refinements of Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, pp. 171-180, 2010, IEEE Computer Society, 978-0-7695-4255-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Patrik Lundh, Britte Haugan Cheng, William R. Penuel, Aasha Joshi |
Using design personas to inform refinements to software for science learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Learning in the Disciplines: Proceedings of the 9th International Conference of the Learning Sciences, ICLS 2010, Chicago, IL, USA, June 29 - July 2, 2010, Volume 2, pp. 320-321, 2010, International Society of the Learning Sciences / ACM DL. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Laura Moss, Derek H. Sleeman, Malcolm Sim |
Reasoning by Analogy in the Generation of Domain Acceptable Ontology Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings, pp. 534-543, 2010, Springer, 978-3-642-16437-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Elhadi, Amjad Al-Tobi |
Refinements of Longest Common Subsequence algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 8th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, Hammamet, Tunisia, May 16-19, 2010, pp. 1-5, 2010, IEEE Computer Society, 978-1-4244-7716-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf |
Soundness-Preserving Refinements of Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers, pp. 131-145, 2010, Springer, 978-3-642-19588-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Huan-Wen Liu, Le-Le Fan |
Lagrange interpolations using bivariate C2 quintic supersplines on double Clough-Tocher refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 58(8), pp. 1636-1644, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Marie Jacquet, Isabelle Linden |
Fully abstract models and refinements as tools to compare agents in timed coordination languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 410(2-3), pp. 221-253, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jan Mikác, Paul Caspi |
Flush: an example of development by refinements in SCADE/Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(5), pp. 409-418, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Tongsuo Wu, Qiong Liu, Li Chen |
Zero-divisor semigroups and refinements of a star graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 309(8), pp. 2510-2518, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Lionel C. Briand, Yvan Labiche, Tao Yue 0002 |
Automated traceability analysis for UML model refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(2), pp. 512-527, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Qaisar A. Malik, Johan Lilius, Linas Laibinis |
Model-Based Testing Using Scenarios and Event-B Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 177-195, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alexandre Hanft, Norman Ihle, Régis Newo |
Refinements for Retrieval and Adaptation of the CookIIS Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissensmanagement ![In: Fifth Conference Professional Knowledge Management: Experiences and Visions, March 25-27, 2009 in Solothurn, Switzerland, pp. 139-148, 2009, GI, 978-3-88579-239-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | John Impagliazzo |
Graduate attributes and performance measures: refinements in assessing programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009, pp. 370, 2009, ACM, 978-1-60558-381-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
graduate attributes, assessment, performance measures, quality assurance, accreditation, computing programs |
17 | Rachid Rahmoune, Andrea Della Vecchia, Paolo Ferrazzoli, Leila Guerriero, Fernando Martín-Porqueras |
Refinements and Tests of a Microwave Emission Model for Forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS (2) ![In: IEEE International Geoscience & Remote Sensing Symposium, IGARSS 2009, July 12-17, 2009, University of Cape Town, Cape Town, South Africa, Proceedings, pp. 278-281, 2009, IEEE, 978-1-4244-3395-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Teck-Kuen Chua, David C. Pheanis |
Quantifying Improvements from Refinements in a VoIP Teleconference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT ![In: The Fifth Advanced International Conference on Telecommunications, AICT 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 52-57, 2009, IEEE Computer Society, 978-0-7695-3611-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Christine Choppy, Micaela Mayero, Laure Petrucci |
Experimenting Formal Proofs of Petri Nets Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 231-254, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Claudia Pons, Diego García |
A Lightweight Approach for the Semantic Validation of Model Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 43-61, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | André Didier, Adalberto Farias, Alexandre Mota 0001 |
Checking Z Data Refinements Using Traces Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008, pp. 129-148, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Feng Qi 0001, Bai-Ni Guo |
Wendel's and Gautschi's inequalities: Refinements, extensions, and a class of logarithmically completely monotonic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 205(1), pp. 281-290, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | José Luis Díaz-Barrero, Miquel Grau-Sánchez, Pantelimon George Popescu |
Refinements of Aczél, Popoviciu and Bellman's inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 56(9), pp. 2356-2359, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|