Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
131 | Arno Eigenwillig, Vikram Sharma 0001, Chee-Keng Yap |
Almost tight recursion tree bounds for the Descartes method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, pp. 71-78, 2006, ACM, 1-59593-276-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Davenport-Mahler bound, Descartes method, Descartes rule of signs, polynomial real root isolation, Bernstein basis |
113 | Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, Catherine H. Yan |
Apollonian Circle Packings: Geometry and Group Theory II. Super-Apollonian Group and Integral Packings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 35(1), pp. 1-36, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
113 | Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, Catherine H. Yan |
Apollonian Circle Packings: Geometry and Group Theory I. The Apollonian Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 34(4), pp. 547-585, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
105 | Ramkumar V. Pichai, Joseph E. Urban |
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 40-49, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems |
87 | Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov |
High-performance implementations of the Descartes method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, pp. 154-161, 2006, ACM, 1-59593-276-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Bernstein bases, Descartes, Taylor shift, de Casteljau, polynomial real root isolation, register tiling, high-performance computing, code generation, performance tuning |
80 | Saugata Basu, Nayantara Bhatnagar, Parikshit Gopalan, Richard J. Lipton |
Polynomials That Sign Represent Parity and Descartes Rule of Signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 21-24 June 2004, Amherst, MA, USA, pp. 223-235, 2004, IEEE Computer Society, 0-7695-2120-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
75 | Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, Catherine H. Yan |
Apollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 35(1), pp. 37-72, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
68 | Hiroshi Date, Michinobu Nakao, Kazumi Hatayama |
A parallel sequential test generation system DESCARTES based on real-valued logic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 252-258, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
parallel sequential test generation system, DESCARTES, real-valued logic simulation, redundant fault identification program, algorithmic test generation program, ISCAS '89 benchmark sequential circuits, distributed processing environment oriented system, concurrent accelerative test generation, parallel algorithms, computational complexity, VLSI, fault diagnosis, logic testing, redundancy, design for testability, sequential circuits, logic CAD, VLSI design, stuck-at faults, automatic test generation, synchronous sequential circuits, automatic test software, test quality |
61 | Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert |
A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 138-149, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
61 | Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre |
How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 38-45, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Mathematical-type language, Automated Software Design, Formal Specifications, Formal Methods, Automatic Programming |
51 | Alligator Descartes, Tim Bunce |
Programming the Perl DBI - database programming with Perl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
42 | Saugata Basu, Nayantara Bhatnagar, Parikshit Gopalan, Richard J. Lipton |
Polynomials that Sign Represent Parity and Descartes' Rule of Signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 17(3), pp. 377-406, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
68Q17, Subject classification |
42 | Michael Schmitt 0001 |
RBF Neural Networks and Descartes' Rule of Signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 321-335, 2002, Springer, 3-540-00170-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Gennady L. Andrienko, Natalia V. Andrienko |
Knowledge-Based Visualization to Support Spatial Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, Third International Symposium, IDA-99, Amsterdam, The Netherlands, August 1999, Proceedings, pp. 149-160, 1999, Springer, 3-540-66332-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Vaughan R. Pratt |
Rational Mechanisms and Natural Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 108-122, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Kurt Mehlhorn, Michael Sagraloff |
Isolating real roots of real polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 247-254, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bisection algorithm, bitstream coefficient, descartes' rule of sign, real polynomial, root isolation |
26 | Vikram Sharma 0001 |
Complexity of real root isolation using continued fractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 339-346, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Davenport-Mahler bound, descartes rule of signs, polynomial real root isolation, continued fractions |
26 | Arno Eigenwillig, Michael Kerber, Nicola Wolpert |
Fast and exact geometric analysis of real algebraic plane curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 151-158, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
descartes method, sturm-habicht sequence, topology computation, algebraic curves, exact geometric computation, cylindrical algebraic decomposition |
26 | Yagati N. Lakshman, B. David Saunders |
Sparse shifts for univariate polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 7(5), pp. 351-364, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
BCH decoding, Pochhammer basis, Chebyshev basis, Descartes’ rule of signs, Sparse polynomials, Real roots |
23 | Máté L. Telek |
Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.05466, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Marija Sakota, Maxime Peyrard, Robert West 0001 |
Descartes: Generating Short Descriptions of Wikipedia Articles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, pp. 1446-1456, 2023, ACM, 978-1-4503-9416-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Toby Meadows |
Did Descartes make a Diagonal Argument? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 51(2), pp. 219-247, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Alperen Ali Ergür, Josué Tonelli-Cueto, Elias P. Tsigaridas |
A Near-Optimal Expected Boolean Complexity Bound for Descartes Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.06428, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Marija Sakota, Maxime Peyrard, Robert West 0001 |
Descartes: Generating Short Descriptions of Wikipedia Articles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.10012, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Josué Tonelli-Cueto |
A p-adic Descartes solver: the Strassman solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.07016, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Haifeng Li 0001, Cong Xu, Lin Ma 0003, Hongjian Bo, David Zhang 0001 |
MODENN: A Shallow Broad Neural Network Model Based on Multi-Order Descartes Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 44(12), pp. 9417-9433, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Alexandru Tupan |
On the Complex Descartes Circle Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 129(9), pp. 876-879, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Suhua Li, Jiacheng Xie, Xuewen Wang, Fang Ren, Xin Zhang, Qingbao Bao |
Path Planning of Hydraulic Support Pushing Mechanism Based on Extreme Learning Machine and Descartes Path Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(1), pp. 97, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Elisenda Feliu, Máté L. Telek |
On generalizing Descartes' rule of signs to hypersurfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.10002, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Frédéric Bihan, Alicia Dickenstein, Jens Forsgård |
Optimal Descartes' Rule of Signs for Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.09165, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Richard Evan Schwartz, Serge Tabachnikov |
Descartes Circle Theorem, Steiner Porism, and Spherical Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 127(3), pp. 238-248, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Pietro Milici |
A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 9(1), pp. 51-83, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Mary Domski |
Imagination, metaphysics, mathematics: Descartes's arguments for the Vortex Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 196(9), pp. 3505-3526, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Alan Nelson |
Descartes on the limited usefulness of mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 196(9), pp. 3483-3504, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Peter Brödner |
Coping with Descartes' error in information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 34(2), pp. 203-213, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Ricardo Sousa Silvestre |
A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1439-1472, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry |
Descartes: A PITest Engine to Detect Pseudo-Tested Methods - Tool Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.03045, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Vinitha Hannah Subburaj, Joseph E. Urban |
Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AITM/ISM@FedCSIS ![In: Information Technology for Management: Emerging Research and Applications - 15th Conference, AITM 2018, and 13th Conference, ISM 2018, Held as Part of FedCSIS, Poznan, Poland, September 9-12, 2018, Revised and Extended Selected Papers, pp. 93-111, 2018, Springer, 978-3-030-15153-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry |
Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pp. 908-911, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Vinitha Hannah Subburaj, Joseph E. Urban |
Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRC ![In: Second IEEE International Conference on Robotic Computing, IRC 2018, Laguna Hills, CA, USA, January 31 - February 2, 2018, pp. 392-398, 2018, IEEE Computer Society, 978-1-5386-4652-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Nikolaus Huber, Fabian Brosig, Simon Spinner, Samuel Kounev, Manuel Bähr |
Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 43(5), pp. 432-452, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | María A. Grande-Ortiz, Gonzalo Tevar-Sanz, Esperanza Ayuga-Téllez, Concepción González-García, Álvaro Sánchez-De Medina, Juan José Ramírez-Montoro |
Cooperative learning in Forestry Engineering with NIPPE Descartes software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 25(1), pp. 103-111, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Samuel Kounev, Nikolaus Huber, Fabian Brosig, Simon Spinner, Manuel Bähr |
Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland, pp. 95-96, 2017, GI, 978-3-88579-661-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Jeroen De Maeyer, Bart Moyaers, Eric Demeester |
Cartesian path planning for arc welding robots: Evaluation of the descartes algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Limassol, Cyprus, September 12-15, 2017, pp. 1-8, 2017, IEEE, 978-1-5090-6505-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Frédéric Bihan, Alicia Dickenstein |
Descartes' Rule of Signs for Polynomial Systems supported on Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.05826, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Daniel J. Bates, Jonathan D. Hauenstein, Matthew E. Niemerg, Frank Sottile |
Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 73(1), pp. 281-304, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Nuno Luzia |
A Proof of The Pythagorean Theorem After Descartes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 123(4), pp. 386, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Stuart A. Kauffman |
Answering Descartes: Beyond Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 163-192, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Pierre Boutry, Gabriel Braun, Julien Narboux |
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 14-28, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Jürgen Walter, Simon Eismann, Adrian Hildebrandt |
Automated Transformation of Descartes Modeling Language to Palladio Component Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 35(3), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Jens Forsgård, Vladimir P. Kostov, Boris Z. Shapiro |
Could René Descartes Have Known This? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 24(4), pp. 438-448, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Daniel J. Bates, Jonathan D. Hauenstein, Matthew E. Niemerg, Frank Sottile |
Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.05241, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Manuel Eberl |
Descartes' Rule of Signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Samuel Kounev, Fabian Brosig, Nikolaus Huber |
The Descartes Modeling Language for Self-Aware Performance and Resource Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering & Management ![In: Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany, pp. 33-34, 2015, GI, 978-3-88579-633-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Sam Northshield |
Complex Descartes Circle Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 121(10), pp. 927-931, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Michael Sagraloff |
On the complexity of the Descartes method when using approximate arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 65, pp. 79-110, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Steffen Becker 0001, Wilhelm Hasselbring, André van Hoorn, Samuel Kounev, Ralf H. Reussner (eds.) |
Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![University of Stuttgart, 978-0-7695-4244-7 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Alexandru Danciu, Andreas Brunnert, Helmut Krcmar |
Towards Performance Awareness in Java EE Development Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 152-159, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Christian Wulf, Nils Christian Ehmke, Wilhelm Hasselbring |
Toward a Generic and Concurrency-Aware Pipes & Filters Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 70-82, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Felix Willnecker, Andreas Brunnert, Helmut Krcmar |
Predicting Energy Consumption by Extending the Palladio Component Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 177-188, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Christian Klaussner, Sebastian Lehrig |
Using Java EE ProtoCom for SAP HANA Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 17-27, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Misha Strittmatter, Michael Langhammer |
Identifying Semantically Cohesive Modules within the Palladio Meta-Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 160-176, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Marigianna Skouradaki, Vincenzo Ferme, Cesare Pautasso, Dieter Roller 0001, Frank Leymann |
Benchmarking Workflow Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 105-112, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Dusan Okanovic, Milan Vidakovic |
Evaluation of Alternative Instrumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 83-90, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Sebastian Lehrig, Matthias Becker 0001 |
Approaching the Cloud: Using Palladio for Scalability, Elasticity, and Efficiency Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 141-151, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Andreas Brunnert, Stefan Neubig, Helmut Krcmar |
Evaluating the Prediction Accuracy of Generated Performance Models in Up- and Downscaling Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 113-130, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Jóakim von Kistowski, Nikolas Herbst, Samuel Kounev |
Using and Extending LIMBO for the Descriptive Modeling of Arrival Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 131-140, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Christian Stier, Henning Groenda, Anne Koziolek |
Towards Modeling and Analysis of Power Consumption of Self-Adaptive Software Systems in Palladio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 28-45, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Werner Dirlewanger |
The DIN/ISO Definition and a Measurement Procedure of SW-Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 91-104, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Jan Waller, Florian Fittkau, Wilhelm Hasselbring |
Application Performance Monitoring: Trade-Off between Overhead Reduction and Maintainability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSP ![In: Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014, pp. 46-69, 2014, University of Stuttgart, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Michael Sagraloff, Kurt Mehlhorn |
Computing Real Roots of Real Polynomials - An Efficient Method Based on Descartes' Rule of Signs and Newton Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.4088, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Elodie Cassan |
Descartes' Theory of Judgement: Warranted Assertions, the Key to Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Judgement and the Epistemic Foundation of Logic ![In: Judgement and the Epistemic Foundation of Logic, pp. 39-47, 2013, Springer, 978-94-007-5136-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Fabian Gorsler, Fabian Brosig, Samuel Kounev |
Controlling the Palladio Bench using the Descartes Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KPDAYS ![In: Proceedings of the Symposium on Software Performance: Joint Kieker/Palladio Days 2013, Karlsruhe, Germany, November 27-29, 2013., pp. 109-118, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Vinitha Hannah Subburaj |
Executable specifications for agent systems using the extended Descartes specification language with tool support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
23 | John A. Schuster |
Physico-mathematics and the search for causes in Descartes' optics - 1619-1637. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 185(3), pp. 467-499, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Shuichi Moritsugu |
Extending the Descartes Circle Theorem for Steiner n-Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, pp. 48-58, 2012, Springer, 978-3-642-40671-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Michael Sagraloff |
When Newton meets Descartes: a simple and fast algorithm to isolate the real roots of a polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012, pp. 297-304, 2012, ACM, 978-1-4503-1269-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Pentti Haukkanen, Timo Tossavainen |
A generalization of Descartes' rule of signs and fundamental theorem of algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(4), pp. 1203-1207, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Graham White 0001 |
Descartes Among the Robots - Computer Science and the Inner/Outer Distinction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 21(2), pp. 179-202, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Michael Sagraloff |
When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.6279, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Stuart A. Kauffman |
Answering Descartes: Beyond Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life: 20th Anniversary Edition - Back to the Origins of Alife, ECAL 2011, Paris, France, August 8-12, 2011, pp. 11-22, 2011, MIT Press, 978-0-262-29714-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Vinitha Hannah Subburaj, Joseph E. Urban |
Intelligent Agent Software Development Using AUML and the Descartes Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC Workshops ![In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2011, Newport Beach, CA, USA, March 28-31, 2011, pp. 297-305, 2011, IEEE Computer Society, 978-0-7695-4377-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Joseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy |
Extending the Descartes Specification Language Towards Process Modeling. ![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. 337-340, 2011, 978-83-60810-22-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Vinitha Hannah Subburaj, Joseph E. Urban |
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010, pp. 668-671, 2010, Knowledge Systems Institute Graduate School, 1-891706-26-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Hajrudin Fejzic, Chris Freiling, Dan Rinne |
Descartes' Rule of Signs, Alternations of Data Sets, and Balanced Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 116(4), pp. 316-327, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Arno Eigenwillig |
Real root isolation for exact and approximate polynomials using Descartes' rule of signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
23 | Michael A. Medina, Joseph E. Urban |
An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA, pp. 363-367, 2007, IEEE Computer Society, 0-7695-2804-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Vilmos Komornik |
Another Short Proof of Descartes's Rule of Signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 113(9), pp. 829-830, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
23 | Werner Krandick, Kurt Mehlhorn |
New bounds for the Descartes method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 41(1), pp. 49-66, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, Nicola Wolpert |
A Descartes Algorithms for Polynomials with Bit-Stream Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
23 | Werner Krandick, Kurt Mehlhorn |
New bounds for the Descartes method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 39(3), pp. 94, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Pierre Schott, Laurent Beaudoin |
Different approximations to the computation of reflected and refracted angles thanks to snell-descartes laws and fresnel coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience & Remote Sensing Symposium, IGARSS 2005, July 25-29, 2005, Seoul, Korea, Proceedings, pp. 3188-3191, 2005, IEEE, 0-7803-9050-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Michael Schmitt 0001 |
New Designs for the Descartes Rule of Signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 111(2), pp. 159-164, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
23 | Xiaoshen Wang |
A Simple Proof of Descartes's Rule of Signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 111(6), pp. 525-526, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
23 | Jaume Paradís, Josep Pla, Pelegrí Viader |
Fermat and the Quadrature of the Folium of Descartes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 111(3), pp. 216-229, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
23 | Justin T. Maris, Matthew D. Roper, Ronald A. Olsson |
DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 29(4), pp. 75-100, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Michael Schmitt 0001 |
Descartes' Rule of Signs for Radial Basis Function Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. ![In: Neural Comput. 14(12), pp. 2997-3011, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks |
Beyond the Descartes Circle Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 109(4), pp. 338-361, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
23 | Gennady L. Andrienko, Natalia V. Andrienko |
Intelligent support of visual data analysis in Descartes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Proceedings of the 2nd International Symposium on Smart Graphics, Smart Graphics 2002, Hawthorne, New York, USA, June 11-13, 2002, pp. 21-26, 2002, ACM, 978-1-58113-555-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|